punroll-0.3 -b=8 -p -D -O1 byzagr4_2a.ll_net > byzagr4_2a-b8-p-D-O1.SAT.bc punroll-0.3 -b=8 -s -D -O1 byzagr4_2a.ll_net > byzagr4_2a-b8-s-D-O1.SAT.bc punroll-0.3 -b=7 -i -D -O1 byzagr4_2a.ll_net > byzagr4_2a-b7-i-D-O1.UNSAT.bc punroll-0.3 -b=32 -p -D -O1 dartes_1.fsa.ll_net > dartes_1.fsa-b32-p-D-O1.SAT.bc punroll-0.3 -b=32 -s -D -O1 dartes_1.fsa.ll_net > dartes_1.fsa-b32-s-D-O1.SAT.bc punroll-0.3 -b=32 -i -D -O1 dartes_1.fsa.ll_net > dartes_1.fsa-b32-i-D-O1.SAT.bc punroll-0.3 -b=1 -p -D -O1 dp_12.fsa.ll_net > dp_12.fsa-b1-p-D-O1.SAT.bc punroll-0.3 -b=1 -s -D -O1 dp_12.fsa.ll_net > dp_12.fsa-b1-s-D-O1.SAT.bc punroll-0.3 -b=12 -i -D -O1 dp_12.fsa.ll_net > dp_12.fsa-b12-i-D-O1.SAT.bc punroll-0.3 -b=4 -p -D -O1 elevator_1.ll_net > elevator_1-b4-p-D-O1.SAT.bc punroll-0.3 -b=4 -s -D -O1 elevator_1.ll_net > elevator_1-b4-s-D-O1.SAT.bc punroll-0.3 -b=9 -i -D -O1 elevator_1.ll_net > elevator_1-b9-i-D-O1.SAT.bc punroll-0.3 -b=6 -p -D -O1 elevator_2.ll_net > elevator_2-b6-p-D-O1.SAT.bc punroll-0.3 -b=6 -s -D -O1 elevator_2.ll_net > elevator_2-b6-s-D-O1.SAT.bc punroll-0.3 -b=12 -i -D -O1 elevator_2.ll_net > elevator_2-b12-i-D-O1.SAT.bc punroll-0.3 -b=8 -p -D -O1 elevator_3.ll_net > elevator_3-b8-p-D-O1.SAT.bc punroll-0.3 -b=8 -s -D -O1 elevator_3.ll_net > elevator_3-b8-s-D-O1.SAT.bc punroll-0.3 -b=15 -i -D -O1 elevator_3.ll_net > elevator_3-b15-i-D-O1.SAT.bc punroll-0.3 -b=10 -p -D -O1 elevator_4.ll_net > elevator_4-b10-p-D-O1.SAT.bc punroll-0.3 -b=10 -s -D -O1 elevator_4.ll_net > elevator_4-b10-s-D-O1.SAT.bc punroll-0.3 -b=13 -i -D -O1 elevator_4.ll_net > elevator_4-b13-i-D-O1.UNSAT.bc punroll-0.3 -b=1 -p -D -O1 hartstone_25.fsa.ll_net > hartstone_25.fsa-b1-p-D-O1.SAT.bc punroll-0.3 -b=1 -s -D -O1 hartstone_25.fsa.ll_net > hartstone_25.fsa-b1-s-D-O1.SAT.bc punroll-0.3 -b=5 -i -D -O1 hartstone_25.fsa.ll_net > hartstone_25.fsa-b5-i-D-O1.UNSAT.bc punroll-0.3 -b=1 -p -D -O1 hartstone_50.fsa.ll_net > hartstone_50.fsa-b1-p-D-O1.SAT.bc punroll-0.3 -b=1 -s -D -O1 hartstone_50.fsa.ll_net > hartstone_50.fsa-b1-s-D-O1.SAT.bc punroll-0.3 -b=5 -i -D -O1 hartstone_50.fsa.ll_net > hartstone_50.fsa-b5-i-D-O1.UNSAT.bc punroll-0.3 -b=1 -p -D -O1 hartstone_75.fsa.ll_net > hartstone_75.fsa-b1-p-D-O1.SAT.bc punroll-0.3 -b=1 -s -D -O1 hartstone_75.fsa.ll_net > hartstone_75.fsa-b1-s-D-O1.SAT.bc punroll-0.3 -b=5 -i -D -O1 hartstone_75.fsa.ll_net > hartstone_75.fsa-b5-i-D-O1.UNSAT.bc punroll-0.3 -b=1 -p -D -O1 hartstone_100.fsa.ll_net > hartstone_100.fsa-b1-p-D-O1.SAT.bc punroll-0.3 -b=1 -s -D -O1 hartstone_100.fsa.ll_net > hartstone_100.fsa-b1-s-D-O1.SAT.bc punroll-0.3 -b=5 -i -D -O1 hartstone_100.fsa.ll_net > hartstone_100.fsa-b5-i-D-O1.UNSAT.bc punroll-0.3 -b=36 -p -D -O1 key_2.ll_net > key_2-b36-p-D-O1.SAT.bc punroll-0.3 -b=27 -s -D -O1 key_2.ll_net > key_2-b27-s-D-O1.UNSAT.bc punroll-0.3 -b=27 -i -D -O1 key_2.ll_net > key_2-b27-i-D-O1.UNSAT.bc punroll-0.3 -b=30 -p -D -O1 key_3.ll_net > key_3-b30-p-D-O1.UNSAT.bc punroll-0.3 -b=27 -s -D -O1 key_3.ll_net > key_3-b27-s-D-O1.UNSAT.bc punroll-0.3 -b=27 -i -D -O1 key_3.ll_net > key_3-b27-i-D-O1.UNSAT.bc punroll-0.3 -b=27 -p -D -O1 key_4.ll_net > key_4-b27-p-D-O1.UNSAT.bc punroll-0.3 -b=27 -s -D -O1 key_4.ll_net > key_4-b27-s-D-O1.UNSAT.bc punroll-0.3 -b=27 -i -D -O1 key_4.ll_net > key_4-b27-i-D-O1.UNSAT.bc punroll-0.3 -b=6 -p -D -O1 mmgt_2.fsa.ll_net > mmgt_2.fsa-b6-p-D-O1.SAT.bc punroll-0.3 -b=6 -s -D -O1 mmgt_2.fsa.ll_net > mmgt_2.fsa-b6-s-D-O1.SAT.bc punroll-0.3 -b=8 -i -D -O1 mmgt_2.fsa.ll_net > mmgt_2.fsa-b8-i-D-O1.SAT.bc punroll-0.3 -b=7 -p -D -O1 mmgt_3.fsa.ll_net > mmgt_3.fsa-b7-p-D-O1.SAT.bc punroll-0.3 -b=7 -s -D -O1 mmgt_3.fsa.ll_net > mmgt_3.fsa-b7-s-D-O1.SAT.bc punroll-0.3 -b=10 -i -D -O1 mmgt_3.fsa.ll_net > mmgt_3.fsa-b10-i-D-O1.SAT.bc punroll-0.3 -b=8 -p -D -O1 mmgt_4.fsa.ll_net > mmgt_4.fsa-b8-p-D-O1.SAT.bc punroll-0.3 -b=8 -s -D -O1 mmgt_4.fsa.ll_net > mmgt_4.fsa-b8-s-D-O1.SAT.bc punroll-0.3 -b=11 -i -D -O1 mmgt_4.fsa.ll_net > mmgt_4.fsa-b11-i-D-O1.UNSAT.bc punroll-0.3 -b=9 -p -D -O1 q_1.fsa.ll_net > q_1.fsa-b9-p-D-O1.SAT.bc punroll-0.3 -b=9 -s -D -O1 q_1.fsa.ll_net > q_1.fsa-b9-s-D-O1.SAT.bc punroll-0.3 -b=17 -i -D -O1 q_1.fsa.ll_net > q_1.fsa-b17-i-D-O1.UNSAT.bc punroll-0.3 -b=2 -p -D -O1 sentest_100.fsa.ll_net > sentest_100.fsa-b2-p-D-O1.SAT.bc punroll-0.3 -b=2 -s -D -O1 sentest_100.fsa.ll_net > sentest_100.fsa-b2-s-D-O1.SAT.bc punroll-0.3 -b=3 -i -D -O1 sentest_100.fsa.ll_net > sentest_100.fsa-b3-i-D-O1.SAT.bc punroll-0.3 -b=1 -p -D -O1 speed_1.fsa.ll_net > speed_1.fsa-b1-p-D-O1.SAT.bc punroll-0.3 -b=1 -s -D -O1 speed_1.fsa.ll_net > speed_1.fsa-b1-s-D-O1.SAT.bc punroll-0.3 -b=4 -i -D -O1 speed_1.fsa.ll_net > speed_1.fsa-b4-i-D-O1.SAT.bc