boundsmodels1.0 -D -O2 -i -b=32 dartes_1.fsa.ll_net > dartes_1.fsa-D-i-O2-b32.smo2
boundsmodels1.0 -D -O2 -s -b=32 dartes_1.fsa.ll_net > dartes_1.fsa-D-s-O2-b32.smo2
boundsmodels1.0 -D -O2 -i -b=10 dp_10.fsa.ll_net > dp_10.fsa-D-i-O2-b10.smo2
boundsmodels1.0 -D -O2 -s -b=1 dp_10.fsa.ll_net > dp_10.fsa-D-s-O2-b1.smo2
boundsmodels1.0 -D -O2 -i -b=9 dp_12.fsa.ll_net > dp_12.fsa-D-i-O2-b9.smo2
boundsmodels1.0 -D -O2 -s -b=1 dp_12.fsa.ll_net > dp_12.fsa-D-s-O2-b1.smo2
boundsmodels1.0 -D -O2 -i -b=6 dp_6.fsa.ll_net > dp_6.fsa-D-i-O2-b6.smo2
boundsmodels1.0 -D -O2 -s -b=1 dp_6.fsa.ll_net > dp_6.fsa-D-s-O2-b1.smo2
boundsmodels1.0 -D -O2 -i -b=8 dp_8.fsa.ll_net > dp_8.fsa-D-i-O2-b8.smo2
boundsmodels1.0 -D -O2 -s -b=1 dp_8.fsa.ll_net > dp_8.fsa-D-s-O2-b1.smo2
boundsmodels1.0 -D -O2 -i -b=9 elevator_1.ll_net > elevator_1-D-i-O2-b9.smo2
boundsmodels1.0 -D -O2 -s -b=4 elevator_1.ll_net > elevator_1-D-s-O2-b4.smo2
boundsmodels1.0 -D -O2 -i -b=12 elevator_2.ll_net > elevator_2-D-i-O2-b12.smo2
boundsmodels1.0 -D -O2 -s -b=6 elevator_2.ll_net > elevator_2-D-s-O2-b6.smo2
boundsmodels1.0 -D -O2 -i -b=15 elevator_3.ll_net > elevator_3-D-i-O2-b15.smo2
boundsmodels1.0 -D -O2 -s -b=8 elevator_3.ll_net > elevator_3-D-s-O2-b8.smo2
boundsmodels1.0 -D -O2 -i -b=13 elevator_4.ll_net > elevator_4-D-i-O2-b13.smo2
boundsmodels1.0 -D -O2 -s -b=10 elevator_4.ll_net > elevator_4-D-s-O2-b10.smo2
boundsmodels1.0 -D -O2 -i -b=5 hartstone_100.fsa.ll_net > hartstone_100.fsa-D-i-O2-b5.smo2
boundsmodels1.0 -D -O2 -s -b=1 hartstone_100.fsa.ll_net > hartstone_100.fsa-D-s-O2-b1.smo2
boundsmodels1.0 -D -O2 -i -b=5 hartstone_25.fsa.ll_net > hartstone_25.fsa-D-i-O2-b5.smo2
boundsmodels1.0 -D -O2 -s -b=1 hartstone_25.fsa.ll_net > hartstone_25.fsa-D-s-O2-b1.smo2
boundsmodels1.0 -D -O2 -i -b=5 hartstone_50.fsa.ll_net > hartstone_50.fsa-D-i-O2-b5.smo2
boundsmodels1.0 -D -O2 -s -b=1 hartstone_50.fsa.ll_net > hartstone_50.fsa-D-s-O2-b1.smo2
boundsmodels1.0 -D -O2 -i -b=5 hartstone_75.fsa.ll_net > hartstone_75.fsa-D-i-O2-b5.smo2
boundsmodels1.0 -D -O2 -s -b=1 hartstone_75.fsa.ll_net > hartstone_75.fsa-D-s-O2-b1.smo2
boundsmodels1.0 -D -O2 -i -b=29 key_2.ll_net > key_2-D-i-O2-b29.smo2
boundsmodels1.0 -D -O2 -s -b=29 key_2.ll_net > key_2-D-s-O2-b29.smo2
boundsmodels1.0 -D -O2 -i -b=10 mmgt_3.fsa.ll_net > mmgt_3.fsa-D-i-O2-b10.smo2
boundsmodels1.0 -D -O2 -s -b=7 mmgt_3.fsa.ll_net > mmgt_3.fsa-D-s-O2-b7.smo2
boundsmodels1.0 -D -O2 -i -b=12 mmgt_4.fsa.ll_net > mmgt_4.fsa-D-i-O2-b12.smo2
boundsmodels1.0 -D -O2 -s -b=8 mmgt_4.fsa.ll_net > mmgt_4.fsa-D-s-O2-b8.smo2
boundsmodels1.0 -D -O2 -i -b=17 q_1.fsa.ll_net > q_1.fsa-D-i-O2-b17.smo2
boundsmodels1.0 -D -O2 -s -b=9 q_1.fsa.ll_net > q_1.fsa-D-s-O2-b9.smo2
boundsmodels1.0 -D -O2 -i -b=3 sentest_100.fsa.ll_net > sentest_100.fsa-D-i-O2-b3.smo2
boundsmodels1.0 -D -O2 -s -b=2 sentest_100.fsa.ll_net > sentest_100.fsa-D-s-O2-b2.smo2
boundsmodels1.0 -D -O2 -i -b=3 sentest_25.fsa.ll_net > sentest_25.fsa-D-i-O2-b3.smo2
boundsmodels1.0 -D -O2 -s -b=2 sentest_25.fsa.ll_net > sentest_25.fsa-D-s-O2-b2.smo2
boundsmodels1.0 -D -O2 -i -b=3 sentest_50.fsa.ll_net > sentest_50.fsa-D-i-O2-b3.smo2
boundsmodels1.0 -D -O2 -s -b=2 sentest_50.fsa.ll_net > sentest_50.fsa-D-s-O2-b2.smo2
boundsmodels1.0 -D -O2 -i -b=3 sentest_75.fsa.ll_net > sentest_75.fsa-D-i-O2-b3.smo2
boundsmodels1.0 -D -O2 -s -b=2 sentest_75.fsa.ll_net > sentest_75.fsa-D-s-O2-b2.smo2
boundsmodels1.0 -D -O2 -i -b=4 speed_1.fsa.ll_net > speed_1.fsa-D-i-O2-b4.smo2
boundsmodels1.0 -D -O2 -s -b=1 speed_1.fsa.ll_net > speed_1.fsa-D-s-O2-b1.smo2
