:reset

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

(init-state 3)

(time (load "~/SRI/teleolog/dimension-checker/examples/prb/ge/hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc1"))
(time (load "~/SRI/teleolog/dimension-checker/examples/prb/ge/hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2"))
(time (load "~/SRI/teleolog/dimension-checker/examples/prb/ge/hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc3"))
(time (load "~/SRI/teleolog/dimension-checker/examples/prb/ge/hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant"))
(time (load "~/SRI/teleolog/dimension-checker/examples/prb/ge/hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators"))
(time (load "~/SRI/teleolog/dimension-checker/examples/prb/ge/hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_ctl"))
(time (load "~/SRI/teleolog/dimension-checker/examples/prb/ge/hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure"))
(time (load "~/SRI/teleolog/dimension-checker/examples/prb/ge/hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__shift_schedule"))
(time (load "~/SRI/teleolog/dimension-checker/examples/prb/ge/hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler"))
(time (load "~/SRI/teleolog/dimension-checker/examples/prb/ge/hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques"))
(time (load "~/SRI/teleolog/dimension-checker/examples/prb/ge/hybrid_analysis_prb2__trans_controller_actuator__trans_slow"))
(time (load "~/SRI/teleolog/dimension-checker/examples/prb/ge/hybrid_analysis_prb2__trans_controller_actuator"))
(time (load "~/SRI/teleolog/dimension-checker/examples/prb/ge/hybrid_analysis_prb2__transmission__compute_states___derivatives"))
(time (load "~/SRI/teleolog/dimension-checker/examples/prb/ge/hybrid_analysis_prb2__transmission__compute_states___initialization"))
(time (load "~/SRI/teleolog/dimension-checker/examples/prb/ge/hybrid_analysis_prb2__transmission__compute_states___states__check_wsr"))
(time (load "~/SRI/teleolog/dimension-checker/examples/prb/ge/hybrid_analysis_prb2__transmission__compute_states___states"))
(time (load "~/SRI/teleolog/dimension-checker/examples/prb/ge/hybrid_analysis_prb2__transmission__compute_states__dynamic_mode_selection"))
(time (load "~/SRI/teleolog/dimension-checker/examples/prb/ge/hybrid_analysis_prb2__transmission__compute_states__states_first"))
(time (load "~/SRI/teleolog/dimension-checker/examples/prb/ge/hybrid_analysis_prb2__transmission__compute_states__states_inertia121"))
(time (load "~/SRI/teleolog/dimension-checker/examples/prb/ge/hybrid_analysis_prb2__transmission__compute_states__states_second"))
(time (load "~/SRI/teleolog/dimension-checker/examples/prb/ge/hybrid_analysis_prb2__transmission__compute_states__states_torque121"))
(time (load "~/SRI/teleolog/dimension-checker/examples/prb/ge/hybrid_analysis_prb2__transmission__compute_states"))
(time (load "~/SRI/teleolog/dimension-checker/examples/prb/ge/hybrid_analysis_prb2__transmission__pressure_to_torque__check_c1slip"))
(time (load "~/SRI/teleolog/dimension-checker/examples/prb/ge/hybrid_analysis_prb2__transmission__pressure_to_torque__check_c2slip"))
(time (load "~/SRI/teleolog/dimension-checker/examples/prb/ge/hybrid_analysis_prb2__transmission__pressure_to_torque__check_c3slip"))
(time (load "~/SRI/teleolog/dimension-checker/examples/prb/ge/hybrid_analysis_prb2__transmission__pressure_to_torque"))
(time (load "~/SRI/teleolog/dimension-checker/examples/prb/ge/hybrid_analysis_prb2__transmission__reaction_torques__VectorMerge"))
(time (load "~/SRI/teleolog/dimension-checker/examples/prb/ge/hybrid_analysis_prb2__transmission__reaction_torques__check_RTsp1"))
(time (load "~/SRI/teleolog/dimension-checker/examples/prb/ge/hybrid_analysis_prb2__transmission__reaction_torques__rxtrq_all"))
(time (load "~/SRI/teleolog/dimension-checker/examples/prb/ge/hybrid_analysis_prb2__transmission__reaction_torques__rxtrq_first"))
(time (load "~/SRI/teleolog/dimension-checker/examples/prb/ge/hybrid_analysis_prb2__transmission__reaction_torques__rxtrq_second__RTs"))
(time (load "~/SRI/teleolog/dimension-checker/examples/prb/ge/hybrid_analysis_prb2__transmission__reaction_torques__rxtrq_second__Tc3=0"))
(time (load "~/SRI/teleolog/dimension-checker/examples/prb/ge/hybrid_analysis_prb2__transmission__reaction_torques__rxtrq_second__Tc3~=0"))
(time (load "~/SRI/teleolog/dimension-checker/examples/prb/ge/hybrid_analysis_prb2__transmission__reaction_torques__rxtrq_second"))
(time (load "~/SRI/teleolog/dimension-checker/examples/prb/ge/hybrid_analysis_prb2__transmission__reaction_torques__rxtrq_shift121"))
(time (load "~/SRI/teleolog/dimension-checker/examples/prb/ge/hybrid_analysis_prb2__transmission__reaction_torques__rxtrqs_pre_gear"))
(time (load "~/SRI/teleolog/dimension-checker/examples/prb/ge/hybrid_analysis_prb2__transmission__reaction_torques"))
(time (load "~/SRI/teleolog/dimension-checker/examples/prb/ge/hybrid_analysis_prb2__transmission"))
(time (load "~/SRI/teleolog/dimension-checker/examples/prb/ge/hybrid_analysis_prb2"))
