sal-atg stopwatch clock stopwatch_goals.scm -ed 5 --incremental -v 3

sal-atg stopwatch clock stopwatch_goals.scm -ed 5 -id 101 --latching --incrext -v 3

sal-atg stopwatch clock stopwatch_goals.scm -ed 5 -id 101 --smcinit --incremental -v 3

sal-atg stopwatch clock stopwatch_goals.scm -ed 0 --incremental -v 3

sal-atg stopwatch clock stopwatch_goals.scm -ed 5 -id 0 --smcinit --incremental -v 3

% the previous command can be repeated with t10 uncommented in stopwatch_goals.scm

sal-atg trans_ga system trans_ga_goals.scm -id 15 --incremental -v 3

sal-atg trans_ga monitored_system trans_ga_goals.scm -ed 15 --incremental --testpurpose -v 3

sal-atg sched.sal mon_sched --incremental schedgoals.scm -v 3

sal-atg sched.sal ischeduler --incremental ischedgoals.scm -v 3

sal-atg sched.sal mon_isched --incremental -ed 4 prodgoals.scm -v 3

sal-atg FGS05 main stategoals.scm -ed 5 -id 5 --incremental --latching --simplenames -v 3

sal-atg FGS05 main stategoals.scm -ed 5 -id 5 --incremental --noprune -md 1 --simplenames -v 3

sal-atg FGS05 main stategoals.scm -ed 0 -id 5 --incremental --simplenames -v 3

sal-atg FGS05 main transgoals.scm -ed 5 -id 5 --incremental --simplenames -v 3

sal-atg FGS05 main transgoals.scm -ed 5 -id 5 --incremental --noprune-md 1 --simplenames -v 3 

sal-atg FGS05 main transgoals.scm -ed 0 -id 5 --incremental --simplenames -v 3

sal-atg FGS05 system stategoals.scm -ed 5 -id 5 --incremental --testpurpose --simplenames -v 3

sal-atg FGS05 system stategoals.scm -ed 0 -id 5 --incremental --testpurpose --simplenames -v 3

sal-atg FGS05 system stategoals.scm -ed 5 -id 5 --incremental itr.scm --simplenames -v 3
