:reset

(load "~/SRI/teleolog/dimension-checker/src/GaussElim.lisp")

(init-state 4)

(time (load "~/SRI/teleolog/dimension-checker/examples/cruise_ctrl/ge_without_dimension/cruise_ctrl_without_dimension__Controller"))
(time (load "~/SRI/teleolog/dimension-checker/examples/cruise_ctrl/ge_without_dimension/cruise_ctrl_without_dimension__VehiclesDynamics__DisturbanceForce__RollingFrictionAndAerodynamicDrag"))
(time (load "~/SRI/teleolog/dimension-checker/examples/cruise_ctrl/ge_without_dimension/cruise_ctrl_without_dimension__VehiclesDynamics__DisturbanceForce"))
(time (load "~/SRI/teleolog/dimension-checker/examples/cruise_ctrl/ge_without_dimension/cruise_ctrl_without_dimension__VehiclesDynamics__DrivingForce__TorqueCurve"))
(time (load "~/SRI/teleolog/dimension-checker/examples/cruise_ctrl/ge_without_dimension/cruise_ctrl_without_dimension__VehiclesDynamics__DrivingForce"))
(time (load "~/SRI/teleolog/dimension-checker/examples/cruise_ctrl/ge_without_dimension/cruise_ctrl_without_dimension__VehiclesDynamics"))
(time (load "~/SRI/teleolog/dimension-checker/examples/cruise_ctrl/ge_without_dimension/cruise_ctrl_without_dimension"))
