:reset

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

(init-state 5)

(time (load "~/SRI/teleolog/dimension-checker/examples/sldemo_househeat/ge/sldemo_househeat__Heater"))
(time (load "~/SRI/teleolog/dimension-checker/examples/sldemo_househeat/ge/sldemo_househeat__House"))
(time (load "~/SRI/teleolog/dimension-checker/examples/sldemo_househeat/ge/sldemo_househeat__Thermostat"))
(time (load "~/SRI/teleolog/dimension-checker/examples/sldemo_househeat/ge/sldemo_househeat"))
