:reset

(load "~/SRI/teleolog/dimension-checker/examples/cruise_ctrl/ge/../../../src/GaussElim2")

(init-state 4)

(time (load "~/SRI/teleolog/dimension-checker/examples/cruise_ctrl/ge/cruise_ctrl__Controller"))
(time (load "~/SRI/teleolog/dimension-checker/examples/cruise_ctrl/ge/cruise_ctrl__VehiclesDynamics__DisturbanceForce__RollingFrictionAndAerodynamicDrag"))
(time (load "~/SRI/teleolog/dimension-checker/examples/cruise_ctrl/ge/cruise_ctrl__VehiclesDynamics__DisturbanceForce"))
(time (load "~/SRI/teleolog/dimension-checker/examples/cruise_ctrl/ge/cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve"))
(time (load "~/SRI/teleolog/dimension-checker/examples/cruise_ctrl/ge/cruise_ctrl__VehiclesDynamics__DrivingForce"))
(time (load "~/SRI/teleolog/dimension-checker/examples/cruise_ctrl/ge/cruise_ctrl__VehiclesDynamics"))
(time (load "~/SRI/teleolog/dimension-checker/examples/cruise_ctrl/ge/cruise_ctrl"))
