:reset

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

(init-state 3)

(time (load "~/SRI/teleolog/dimension-checker/examples/sldemo_clutch/ge/sldemo_clutch_if__FrictionModeLogic__BreakApartDetection"))
(time (load "~/SRI/teleolog/dimension-checker/examples/sldemo_clutch/ge/sldemo_clutch_if__FrictionModeLogic__LockupDetection__FrictionCalc"))
(time (load "~/SRI/teleolog/dimension-checker/examples/sldemo_clutch/ge/sldemo_clutch_if__FrictionModeLogic__LockupDetection__RequiredFrictionforLockup"))
(time (load "~/SRI/teleolog/dimension-checker/examples/sldemo_clutch/ge/sldemo_clutch_if__FrictionModeLogic__LockupDetection"))
(time (load "~/SRI/teleolog/dimension-checker/examples/sldemo_clutch/ge/sldemo_clutch_if__FrictionModeLogic__LockupFSM"))
(time (load "~/SRI/teleolog/dimension-checker/examples/sldemo_clutch/ge/sldemo_clutch_if__FrictionModeLogic__RequisiteFriction"))
(time (load "~/SRI/teleolog/dimension-checker/examples/sldemo_clutch/ge/sldemo_clutch_if__FrictionModeLogic"))
(time (load "~/SRI/teleolog/dimension-checker/examples/sldemo_clutch/ge/sldemo_clutch_if__FrictionModel"))
(time (load "~/SRI/teleolog/dimension-checker/examples/sldemo_clutch/ge/sldemo_clutch_if__Locked"))
(time (load "~/SRI/teleolog/dimension-checker/examples/sldemo_clutch/ge/sldemo_clutch_if__Unlocked"))
(time (load "~/SRI/teleolog/dimension-checker/examples/sldemo_clutch/ge/sldemo_clutch_if"))
