:reset

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

(init-state 3)

(time (load "~/SRI/teleolog/dimension-checker/examples/sldemo_engine/ge/sldemo_enginewc__Combustion"))
(time (load "~/SRI/teleolog/dimension-checker/examples/sldemo_engine/ge/sldemo_enginewc__Compression"))
(time (load "~/SRI/teleolog/dimension-checker/examples/sldemo_engine/ge/sldemo_enginewc__Controller__preventswindup"))
(time (load "~/SRI/teleolog/dimension-checker/examples/sldemo_engine/ge/sldemo_enginewc__Controller"))
(time (load "~/SRI/teleolog/dimension-checker/examples/sldemo_engine/ge/sldemo_enginewc__ThrottleAndManifold__IntakeManifold"))
(time (load "~/SRI/teleolog/dimension-checker/examples/sldemo_engine/ge/sldemo_enginewc__ThrottleAndManifold__Throttle"))
(time (load "~/SRI/teleolog/dimension-checker/examples/sldemo_engine/ge/sldemo_enginewc__ThrottleAndManifold"))
(time (load "~/SRI/teleolog/dimension-checker/examples/sldemo_engine/ge/sldemo_enginewc__VehicleDynamics"))
(time (load "~/SRI/teleolog/dimension-checker/examples/sldemo_engine/ge/sldemo_enginewc__dragtorque"))
(time (load "~/SRI/teleolog/dimension-checker/examples/sldemo_engine/ge/sldemo_enginewc__valvetiming__TDCandBDCdetection"))
(time (load "~/SRI/teleolog/dimension-checker/examples/sldemo_engine/ge/sldemo_enginewc__valvetiming__positiveedgetodualedgeconversion"))
(time (load "~/SRI/teleolog/dimension-checker/examples/sldemo_engine/ge/sldemo_enginewc__valvetiming"))
(time (load "~/SRI/teleolog/dimension-checker/examples/sldemo_engine/ge/sldemo_enginewc"))
