smv.nu -v 1 -f -cp 40000 -i guidance.ord -abs 3 g1.smv
smv.nu -v 1 -f -cp 40000 -i guidance.ord -abs 3 g2.smv
smv.nu -v 1 -f -cp 40000 -i guidance.ord -abs 3 g3.smv
smv.nu -v 1 -f -cp 40000 -i guidance.ord -abs 3 g4.smv
smv.nu -v 1 -f -cp 40000 -i guidance.ord -abs 3 g5.smv
smv.nu -v 1 -f -cp 40000 -i guidance.ord -abs 3 g6.smv
smv.nu -v 1 -f -cp 40000 -i guidance.ord -abs 3 g7.smv
smv.nu -v 1 -f -cp 40000 -i guidance.ord -abs 3 g8.smv

