:reset

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

(init-state 2)

(time (load "~/SRI/teleolog/dimension-checker/examples/cd2d/ge/cd2d__horizontal_los?"))
(time (load "~/SRI/teleolog/dimension-checker/examples/cd2d/ge/cd2d__omega_vv__IfActionSubsystem"))
(time (load "~/SRI/teleolog/dimension-checker/examples/cd2d/ge/cd2d__omega_vv__IfActionSubsystem1__tau_vv"))
(time (load "~/SRI/teleolog/dimension-checker/examples/cd2d/ge/cd2d__omega_vv__IfActionSubsystem1__tau_vv1"))
(time (load "~/SRI/teleolog/dimension-checker/examples/cd2d/ge/cd2d__omega_vv__IfActionSubsystem1"))
(time (load "~/SRI/teleolog/dimension-checker/examples/cd2d/ge/cd2d__omega_vv__on_D?"))
(time (load "~/SRI/teleolog/dimension-checker/examples/cd2d/ge/cd2d__omega_vv"))
(time (load "~/SRI/teleolog/dimension-checker/examples/cd2d/ge/cd2d"))
