:reset

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

(init-state 4)

(time (load "~/SRI/teleolog/dimension-checker/examples/cruise_ctrl/ge_error/cruise_ctrl_error__Controller"))
(time (load "~/SRI/teleolog/dimension-checker/examples/cruise_ctrl/ge_error/cruise_ctrl_error__VehiclesDynamics__DisturbanceForce__RollingFrictionAndAerodynamicDrag"))
(time (load "~/SRI/teleolog/dimension-checker/examples/cruise_ctrl/ge_error/cruise_ctrl_error__VehiclesDynamics__DisturbanceForce"))
(time (load "~/SRI/teleolog/dimension-checker/examples/cruise_ctrl/ge_error/cruise_ctrl_error__VehiclesDynamics__DrivingForce__TorqueCurve"))
(time (load "~/SRI/teleolog/dimension-checker/examples/cruise_ctrl/ge_error/cruise_ctrl_error__VehiclesDynamics__DrivingForce"))
(time (load "~/SRI/teleolog/dimension-checker/examples/cruise_ctrl/ge_error/cruise_ctrl_error__VehiclesDynamics"))
(time (load "~/SRI/teleolog/dimension-checker/examples/cruise_ctrl/ge_error/cruise_ctrl_error"))
