/home/projects/qbf04/eval/SecondRun/Benchmarks/Ayari/Adder/adder-6-sat.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Ayari/Adder/adder-10-sat.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Ayari/Adder/adder-4-unsat.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Ayari/Adder/adder-6-unsat.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Ayari/Adder/adder-8-unsat.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Ayari/Adder/Adder2-2-c.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Ayari/Adder/Adder2-16-c.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Ayari/Adder/Adder2-12-s.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Ayari/SzymanskiP/szymanski-12-s.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Ayari/SzymanskiP/szymanski-14-s.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Ayari/SzymanskiP/szymanski-16-s.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Ayari/SzymanskiP/szymanski-18-s.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Ayari/SzymanskiP/szymanski-22-s.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Ayari/SzymanskiP/szymanski-4-s.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Ayari/SzymanskiP/szymanski-10-s.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Ayari/SzymanskiP/szymanski-6-s.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Ayari/MutexP/mutex-8-s.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Ayari/MutexP/mutex-32-s.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Ayari/MutexP/mutex-64-s.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Ayari/MutexP/mutex-128-s.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Ayari/MutexP/mutex-2-s.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Ayari/MutexP/mutex-16-s.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Ayari/MutexP/mutex-4-s.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Ayari/VonNeumann/vonNeumann-ripple-carry-9-c.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Ayari/VonNeumann/vonNeumann-ripple-carry-10-c.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Ayari/VonNeumann/vonNeumann-ripple-carry-11-c.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Ayari/VonNeumann/vonNeumann-ripple-carry-12-c.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Ayari/VonNeumann/vonNeumann-ripple-carry-13-c.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Ayari/VonNeumann/vonNeumann-ripple-carry-14-c.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Ayari/VonNeumann/vonNeumann-ripple-carry-5-c.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Ayari/VonNeumann/vonNeumann-ripple-carry-7-c.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Ayari/DFlipFlop/flipflop-7-c.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Ayari/DFlipFlop/flipflop-8-c.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Ayari/DFlipFlop/flipflop-9-c.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Ayari/DFlipFlop/flipflop-3-c.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Ayari/DFlipFlop/flipflop-10-c.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Ayari/DFlipFlop/flipflop-11-c.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Ayari/DFlipFlop/flipflop-4-c.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Ayari/DFlipFlop/flipflop-5-c.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rowley/Connect2/cf_2_3x2_r_.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rowley/Connect2/cf_2_4x8_d_.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rowley/Connect2/cf_2_4x8_r_.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rowley/Connect2/cf_2_5x4_r_.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rowley/Connect2/cf_2_8x3_r_.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rowley/Connect2/cf_2_8x5_r_.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rowley/Connect2/cf_2_9x5_w_.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rowley/Connect2/cf_2_2x3_w_.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rowley/Connect3/cf_3_6x4_w_.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rowley/Connect3/cf_3_7x9_w_.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rowley/Connect3/cf_3_8x8_w_.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rowley/Connect3/cf_3_8x9_d_.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rowley/Connect3/cf_3_9x5_d_.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rowley/Connect3/cf_3_9x5_r_.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rowley/Connect3/cf_3_9x9_w_.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rowley/Connect3/cf_3_5x4_r_.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rowley/Connect4/cf_4_5x5_d_.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rowley/Connect4/cf_4_5x6_w_.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rowley/Connect4/cf_4_5x9_d_.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rowley/Connect4/cf_4_5x9_r_.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rowley/Connect4/cf_4_6x5_d_.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rowley/Connect4/cf_4_6x7_d_.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rowley/Connect4/cf_4_8x8_w_.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rowley/Connect4/cf_4_5x4_d_.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rowley/Connect5/cf_5_5x6_w_.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rowley/Connect5/cf_5_5x7_d_.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rowley/Connect5/cf_5_6x5_w_.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rowley/Connect5/cf_5_6x9_r_.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rowley/Connect5/cf_5_7x5_d_.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rowley/Connect5/cf_5_7x6_d_.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rowley/Connect5/cf_5_8x9_w_.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rowley/Connect5/cf_5_5x5_r_.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rowley/Connect6/cf_6_6x6_r_.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rowley/Connect6/cf_6_6x8_w_.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rowley/Connect6/cf_6_6x9_r_.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rowley/Connect6/cf_6_8x6_r_.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rowley/Connect6/cf_6_8x7_d_.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rowley/Connect6/cf_6_8x8_r_.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rowley/Connect6/cf_6_8x9_d_.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rowley/Connect6/cf_6_6x6_d_.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rowley/Connect7/cf_7_7x9_d_.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rowley/Connect7/cf_7_8x7_d_.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rowley/Connect7/cf_7_8x8_w_.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rowley/Connect7/cf_7_9x7_r_.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rowley/Connect7/cf_7_9x7_w_.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rowley/Connect7/cf_7_9x8_w_.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rowley/Connect7/cf_7_9x9_d_.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rowley/Connect7/cf_7_7x7_d_.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rowley/Connect8/cf_8_8x8_w_.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rowley/Connect8/cf_8_8x9_d_.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rowley/Connect8/cf_8_8x9_r_.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rowley/Connect8/cf_8_8x9_w_.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rowley/Connect8/cf_8_9x9_d_.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rowley/Connect8/cf_8_9x9_r_.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rowley/Connect8/cf_8_9x9_w_.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rowley/Connect8/cf_8_8x8_r_.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rowley/Connect9/cf_9_9x9_r_.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rowley/Connect9/cf_9_9x9_w_.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rowley/Connect9/cf_9_9x9_d_.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Scholl/C432/C432.blif_0.10_0.20_0_0_out_exact.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Scholl/C432/C432.blif_0.10_0.20_0_1_inp_exact.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Scholl/C432/C432.blif_0.10_0.20_0_1_out_exact.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Scholl/C432/C432.blif_0.10_1.00_0_0_inp_exact.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Scholl/C432/C432.blif_0.10_1.00_0_0_out_exact.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Scholl/C432/C432.blif_0.10_1.00_0_1_inp_exact.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Scholl/C432/C432.blif_0.10_1.00_0_1_out_exact.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Scholl/C432/C432.blif_0.10_0.20_0_0_inp_exact.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Scholl/C499/C499.blif_0.10_0.20_0_0_out_exact.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Scholl/C499/C499.blif_0.10_0.20_0_1_inp_exact.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Scholl/C499/C499.blif_0.10_0.20_0_1_out_exact.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Scholl/C499/C499.blif_0.10_1.00_0_0_inp_exact.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Scholl/C499/C499.blif_0.10_1.00_0_0_out_exact.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Scholl/C499/C499.blif_0.10_1.00_0_1_inp_exact.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Scholl/C499/C499.blif_0.10_1.00_0_1_out_exact.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Scholl/C499/C499.blif_0.10_0.20_0_0_inp_exact.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Scholl/C5315/C5315.blif_0.10_0.20_0_0_out_exact.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Scholl/C5315/C5315.blif_0.10_0.20_0_1_inp_exact.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Scholl/C5315/C5315.blif_0.10_0.20_0_1_out_exact.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Scholl/C5315/C5315.blif_0.10_1.00_0_0_inp_exact.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Scholl/C5315/C5315.blif_0.10_1.00_0_0_out_exact.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Scholl/C5315/C5315.blif_0.10_1.00_0_1_inp_exact.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Scholl/C5315/C5315.blif_0.10_1.00_0_1_out_exact.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Scholl/C5315/C5315.blif_0.10_0.20_0_0_inp_exact.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Scholl/C6288/C6288.blif_0.10_0.20_0_0_out_exact.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Scholl/C6288/C6288.blif_0.10_0.20_0_1_inp_exact.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Scholl/C6288/C6288.blif_0.10_0.20_0_1_out_exact.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Scholl/C6288/C6288.blif_0.10_1.00_0_0_inp_exact.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Scholl/C6288/C6288.blif_0.10_1.00_0_0_out_exact.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Scholl/C6288/C6288.blif_0.10_1.00_0_1_inp_exact.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Scholl/C6288/C6288.blif_0.10_1.00_0_1_out_exact.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Scholl/C6288/C6288.blif_0.10_0.20_0_0_inp_exact.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Scholl/C880/C880.blif_0.10_0.20_0_0_out_exact.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Scholl/C880/C880.blif_0.10_0.20_0_1_inp_exact.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Scholl/C880/C880.blif_0.10_0.20_0_1_out_exact.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Scholl/C880/C880.blif_0.10_1.00_0_0_inp_exact.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Scholl/C880/C880.blif_0.10_1.00_0_0_out_exact.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Scholl/C880/C880.blif_0.10_1.00_0_1_inp_exact.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Scholl/C880/C880.blif_0.10_1.00_0_1_out_exact.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Scholl/C880/C880.blif_0.10_0.20_0_0_inp_exact.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Scholl/z4ml/z4ml.blif_0.10_0.20_0_0_out_exact.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Scholl/z4ml/z4ml.blif_0.10_0.20_0_1_inp_exact.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Scholl/z4ml/z4ml.blif_0.10_0.20_0_1_out_exact.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Scholl/z4ml/z4ml.blif_0.10_1.00_0_0_inp_exact.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Scholl/z4ml/z4ml.blif_0.10_1.00_0_0_out_exact.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Scholl/z4ml/z4ml.blif_0.10_1.00_0_1_inp_exact.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Scholl/z4ml/z4ml.blif_0.10_1.00_0_1_out_exact.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Scholl/z4ml/z4ml.blif_0.10_0.20_0_0_inp_exact.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Scholl/term1/term1.blif_0.10_0.20_0_0_out_exact.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Scholl/term1/term1.blif_0.10_0.20_0_1_inp_exact.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Scholl/term1/term1.blif_0.10_0.20_0_1_out_exact.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Scholl/term1/term1.blif_0.10_1.00_0_0_inp_exact.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Scholl/term1/term1.blif_0.10_1.00_0_0_out_exact.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Scholl/term1/term1.blif_0.10_1.00_0_1_inp_exact.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Scholl/term1/term1.blif_0.10_1.00_0_1_out_exact.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Scholl/term1/term1.blif_0.10_0.20_0_0_inp_exact.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Scholl/comp/comp.blif_0.10_0.20_0_0_out_exact.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Scholl/comp/comp.blif_0.10_0.20_0_1_inp_exact.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Scholl/comp/comp.blif_0.10_0.20_0_1_out_exact.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Scholl/comp/comp.blif_0.10_1.00_0_0_inp_exact.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Scholl/comp/comp.blif_0.10_1.00_0_0_out_exact.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Scholl/comp/comp.blif_0.10_1.00_0_1_inp_exact.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Scholl/comp/comp.blif_0.10_1.00_0_1_out_exact.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Scholl/comp/comp.blif_0.10_0.20_0_0_inp_exact.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Castellini/ToiletA/toilet_a_06_05.2.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Castellini/ToiletA/toilet_a_08_01.3.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Castellini/ToiletA/toilet_a_10_01.15.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Castellini/ToiletA/toilet_a_10_01.4.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Castellini/ToiletA/toilet_a_10_05.3.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Castellini/ToiletA/toilet_a_06_01.5.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Castellini/ToiletA/toilet_a_10_01.7.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Castellini/ToiletA/toilet_a_08_01.16.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Castellini/ToiletC/toilet_c_10_05.4.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Castellini/ToiletC/toilet_c_10_05.10.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Castellini/ToiletC/toilet_c_04_01.6.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Castellini/ToiletC/toilet_c_06_01.9.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Castellini/ToiletC/toilet_c_08_01.13.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Castellini/ToiletC/toilet_c_10_01.3.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Castellini/ToiletC/toilet_c_10_01.9.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Castellini/ToiletC/toilet_c_06_05.4.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Castellini/ToiletG/toilet_g_20_01.2.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Castellini/ToiletG/toilet_g_04_01.2.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Castellini/ToiletG/toilet_g_08_01.2.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Castellini/ToiletG/toilet_g_10_01.2.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Castellini/ToiletG/toilet_g_02_01.2.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Castellini/ToiletG/toilet_g_06_01.2.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Castellini/ToiletG/toilet_g_15_01.2.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_branch_n/k_branch_n-14.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_branch_n/k_branch_n-16.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_branch_n/k_branch_n-20.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_branch_n/k_branch_n-1.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_branch_n/k_branch_n-15.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_branch_n/k_branch_n-6.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_branch_n/k_branch_n-7.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_branch_n/k_branch_n-9.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_branch_p/k_branch_p-14.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_branch_p/k_branch_p-16.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_branch_p/k_branch_p-19.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_branch_p/k_branch_p-15.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_branch_p/k_branch_p-5.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_branch_p/k_branch_p-3.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_branch_p/k_branch_p-8.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_branch_p/k_branch_p-13.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_d4_n/k_d4_n-6.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_d4_n/k_d4_n-8.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_d4_n/k_d4_n-9.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_d4_n/k_d4_n-12.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_d4_n/k_d4_n-13.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_d4_n/k_d4_n-14.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_d4_n/k_d4_n-15.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_d4_n/k_d4_n-16.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_d4_p/k_d4_p-17.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_d4_p/k_d4_p-6.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_d4_p/k_d4_p-19.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_d4_p/k_d4_p-7.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_d4_p/k_d4_p-13.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_d4_p/k_d4_p-14.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_d4_p/k_d4_p-3.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_d4_p/k_d4_p-16.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_dum_n/k_dum_n-3.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_dum_n/k_dum_n-4.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_dum_n/k_dum_n-5.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_dum_n/k_dum_n-8.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_dum_n/k_dum_n-1.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_dum_n/k_dum_n-6.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_dum_n/k_dum_n-16.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_dum_n/k_dum_n-18.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_dum_p/k_dum_p-8.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_dum_p/k_dum_p-1.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_dum_p/k_dum_p-11.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_dum_p/k_dum_p-6.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_dum_p/k_dum_p-15.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_dum_p/k_dum_p-16.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_dum_p/k_dum_p-17.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_dum_p/k_dum_p-20.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_grz_n/k_grz_n-2.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_grz_n/k_grz_n-3.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_grz_n/k_grz_n-9.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_grz_n/k_grz_n-12.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_grz_n/k_grz_n-16.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_grz_n/k_grz_n-17.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_grz_n/k_grz_n-13.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_grz_n/k_grz_n-18.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_grz_p/k_grz_p-4.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_grz_p/k_grz_p-9.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_grz_p/k_grz_p-10.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_grz_p/k_grz_p-19.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_grz_p/k_grz_p-14.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_grz_p/k_grz_p-16.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_grz_p/k_grz_p-17.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_grz_p/k_grz_p-3.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_lin_n/k_lin_n-3.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_lin_n/k_lin_n-7.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_lin_n/k_lin_n-1.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_lin_n/k_lin_n-19.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_lin_n/k_lin_n-6.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_lin_n/k_lin_n-14.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_lin_n/k_lin_n-15.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_lin_n/k_lin_n-2.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_lin_p/k_lin_p-5.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_lin_p/k_lin_p-8.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_lin_p/k_lin_p-10.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_lin_p/k_lin_p-1.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_lin_p/k_lin_p-11.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_lin_p/k_lin_p-6.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_lin_p/k_lin_p-15.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_lin_p/k_lin_p-18.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_path_n/k_path_n-5.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_path_n/k_path_n-7.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_path_n/k_path_n-1.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_path_n/k_path_n-6.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_path_n/k_path_n-3.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_path_n/k_path_n-8.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_path_n/k_path_n-13.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_path_n/k_path_n-4.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_path_p/k_path_p-2.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_path_p/k_path_p-11.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_path_p/k_path_p-6.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_path_p/k_path_p-14.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_path_p/k_path_p-3.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_path_p/k_path_p-16.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_path_p/k_path_p-17.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_path_p/k_path_p-20.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_ph_n/k_ph_n-6.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_ph_n/k_ph_n-8.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_ph_n/k_ph_n-1.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_ph_n/k_ph_n-7.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_ph_n/k_ph_n-21.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_ph_n/k_ph_n-15.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_ph_n/k_ph_n-3.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_ph_n/k_ph_n-4.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_ph_p/k_ph_p-20.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_ph_p/k_ph_p-4.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_ph_p/k_ph_p-19.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_ph_p/k_ph_p-7.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_ph_p/k_ph_p-14.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_ph_p/k_ph_p-15.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_ph_p/k_ph_p-3.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_ph_p/k_ph_p-17.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_poly_n/k_poly_n-4.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_poly_n/k_poly_n-7.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_poly_n/k_poly_n-1.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_poly_n/k_poly_n-11.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_poly_n/k_poly_n-3.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_poly_n/k_poly_n-15.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_poly_n/k_poly_n-8.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_poly_n/k_poly_n-18.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_poly_p/k_poly_p-7.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_poly_p/k_poly_p-10.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_poly_p/k_poly_p-11.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_poly_p/k_poly_p-12.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_poly_p/k_poly_p-14.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_poly_p/k_poly_p-17.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_poly_p/k_poly_p-8.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_poly_p/k_poly_p-2.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_t4p_n/k_t4p_n-2.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_t4p_n/k_t4p_n-5.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_t4p_n/k_t4p_n-19.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_t4p_n/k_t4p_n-14.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_t4p_n/k_t4p_n-15.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_t4p_n/k_t4p_n-17.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_t4p_n/k_t4p_n-13.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_t4p_n/k_t4p_n-18.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_t4p_p/k_t4p_p-4.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_t4p_p/k_t4p_p-10.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_t4p_p/k_t4p_p-1.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_t4p_p/k_t4p_p-12.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_t4p_p/k_t4p_p-19.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_t4p_p/k_t4p_p-15.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_t4p_p/k_t4p_p-16.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Pan/k_t4p_p/k_t4p_p-18.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Narizzano/RobotsD2/robots_1_5_2_64.1.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Narizzano/RobotsD2/robots_1_5_2_93.1.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Narizzano/RobotsD2/robots_1_5_2_69.4.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Narizzano/RobotsD2/robots_1_5_2_3.5.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Narizzano/RobotsD2/robots_1_5_2_61.6.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Narizzano/RobotsD2/robots_1_5_2_42.7.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Narizzano/RobotsD2/robots_1_5_2_72.7.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Narizzano/RobotsD2/robots_1_5_2_38.1.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Narizzano/RobotsD3/robots_1_5_3_62.4.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Narizzano/RobotsD3/robots_1_5_3_80.4.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Narizzano/RobotsD3/robots_1_5_3_15.6.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Narizzano/RobotsD3/robots_1_5_3_16.7.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Narizzano/RobotsD3/robots_1_5_3_18.7.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Narizzano/RobotsD3/robots_1_5_3_84.7.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Narizzano/RobotsD3/robots_1_5_3_27.9.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Narizzano/RobotsD3/robots_1_5_3_17.2.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Narizzano/RobotsD4/robots_1_5_4_21.2.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Narizzano/RobotsD4/robots_1_5_4_73.2.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Narizzano/RobotsD4/robots_1_5_4_91.4.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Narizzano/RobotsD4/robots_1_5_4_85.5.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Narizzano/RobotsD4/robots_1_5_4_31.8.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Narizzano/RobotsD4/robots_1_5_4_34.8.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Narizzano/RobotsD4/robots_1_5_4_87.8.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Narizzano/RobotsD4/robots_1_5_4_78.1.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Narizzano/RobotsD5/robots_1_5_5_5.2.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Narizzano/RobotsD5/robots_1_5_5_75.3.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Narizzano/RobotsD5/robots_1_5_5_18.5.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Narizzano/RobotsD5/robots_1_5_5_59.5.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Narizzano/RobotsD5/robots_1_5_5_34.6.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Narizzano/RobotsD5/robots_1_5_5_55.6.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Narizzano/RobotsD5/robots_1_5_5_4.9.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Narizzano/RobotsD5/robots_1_5_5_29.1.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Biere/counter/cnt02.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Biere/counter/cnt04e.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Biere/counter/cnt06.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Biere/counter/cnt09e.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Biere/counter/cnt09re.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Biere/counter/cnt12e.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Biere/counter/cnt16re.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Biere/counter/cnt02e.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s1196/s1196_d5_u.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s1196/s1196_d6_u.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s1196/s1196_d7_u.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s1196/s1196_d2_s.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s1196/s1196_d3_u.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s1196/s1196_d4_u.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s1269/s1269_d5_s.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s1269/s1269_d6_s.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s1269/s1269_d9_s.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s1269/s1269_d15_u.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s1269/s1269_d2_s.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s1269/s1269_d10_s.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s1269/s1269_d3_s.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s1269/s1269_d4_s.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s27/s27_d4_u.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s27/s27_d5_u.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s27/s27_d2_s.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s27/s27_d3_u.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s298/s298_d8_s.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s298/s298_d14_s.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s298/s298_d16_s.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s298/s298_d17_s.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s298/s298_d19_u.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s298/s298_d21_u.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s298/s298_d10_s.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s298/s298_d5_s.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s3271/s3271_d12_s.qcnf FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s3271/s3271_d15_s.qcnf FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s3271/s3271_d19_u.qcnf FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s3271/s3271_d20_u.qcnf FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s3271/s3271_d22_u.qcnf FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s3271/s3271_d2_s.qcnf FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s3271/s3271_d18_u.qcnf FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s3271/s3271_d5_s.qcnf FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s3330/s3330_d6_s.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s3330/s3330_d8_s.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s3330/s3330_d12_u.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s3330/s3330_d13_u.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s3330/s3330_d2_s.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s3330/s3330_d10_u.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s3330/s3330_d3_s.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s3330/s3330_d4_s.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s386/s386_d5_s.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s386/s386_d7_s.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s386/s386_d8_u.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s386/s386_d9_u.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s386/s386_d12_u.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s386/s386_d10_u.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s386/s386_d3_s.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s386/s386_d4_s.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s499/s499_d7_s.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s499/s499_d14_s.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s499/s499_d19_s.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s499/s499_d2_s.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s499/s499_d10_s.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s499/s499_d18_s.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s499/s499_d3_s.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s499/s499_d4_s.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s510/s510_d13_s.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s510/s510_d31_s.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s510/s510_d42_s.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s510/s510_d48_u.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s510/s510_d49_u.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s510/s510_d51_u.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s510/s510_d46_s.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s510/s510_d12_s.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s641/s641_d6_s.qcnf FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s641/s641_d7_u.qcnf FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s641/s641_d8_u.qcnf FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s641/s641_d2_s.qcnf FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s641/s641_d10_u.qcnf FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s641/s641_d11_u.qcnf FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s641/s641_d3_s.qcnf FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s641/s641_d5_s.qcnf FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s713/s713_d6_s.qcnf FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s713/s713_d7_u.qcnf FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s713/s713_d8_u.qcnf FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s713/s713_d9_u.qcnf FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s713/s713_d2_s.qcnf FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s713/s713_d10_u.qcnf FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s713/s713_d3_s.qcnf FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s713/s713_d4_s.qcnf FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s820/s820_d5_s.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s820/s820_d8_s.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s820/s820_d9_s.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s820/s820_d12_u.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s820/s820_d14_u.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s820/s820_d11_u.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s820/s820_d3_s.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Sakallah/s820/s820_d4_s.qcnf PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Seshia/uclid/uclid-pipe3a.dimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Seshia/uclid/uclid-pipe3b.dimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Seshia/uclid/uclid-pipe2.dimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rintanen/Blocks/BLOCKS3ii.5.3.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rintanen/Blocks/BLOCKS3ii.4.3.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rintanen/Blocks/BLOCKS4i.6.4.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rintanen/Blocks/BLOCKS4ii.6.3.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rintanen/Blocks/BLOCKS4ii.7.2.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rintanen/Blocks/BLOCKS3i.4.4.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rintanen/Blocks/BLOCKS3i.5.3.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rintanen/Blocks/BLOCKS3iii.5.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rintanen/Chain/CHAIN13v.14.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rintanen/Chain/CHAIN14v.15.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rintanen/Chain/CHAIN16v.17.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rintanen/Chain/CHAIN17v.18.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rintanen/Chain/CHAIN19v.20.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rintanen/Chain/CHAIN20v.21.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rintanen/Chain/CHAIN23v.24.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rintanen/Chain/CHAIN12v.13.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rintanen/Logn/lognBWLARGEA1.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rintanen/Logn/lognBWLARGEB0.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rintanen/Logn/lognBWLARGEB1.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rintanen/Logn/lognBWLARGEA0.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rintanen/Impl/impl06.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rintanen/Impl/impl08.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rintanen/Impl/impl12.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rintanen/Impl/impl14.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rintanen/Impl/impl16.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rintanen/Impl/impl18.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rintanen/Impl/impl20.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rintanen/Impl/impl02.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rintanen/Toilet/TOILET16.1.iv.32.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rintanen/Toilet/TOILET2.1.iv.4.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rintanen/Toilet/TOILET6.1.iv.12.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rintanen/Toilet/TOILET7.1.iv.14.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rintanen/Toilet/TOILET2.1.iv.3.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rintanen/Toilet/TOILET6.1.iv.11.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rintanen/Toilet/TOILET7.1.iv.13.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Rintanen/Toilet/TOILET10.1.iv.20.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Letz/Tree/tree-exa10-30.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Letz/Tree/tree-exa2-15.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Letz/Tree/tree-exa2-25.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Letz/Tree/tree-exa2-30.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Letz/Tree/tree-exa2-35.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Letz/Tree/tree-exa2-40.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Letz/Tree/tree-exa2-45.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Letz/Tree/tree-exa10-25.qdimacs FAILED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Katz/jmc_quant/test2_quant2.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Katz/jmc_quant/test2_quant3.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Katz/jmc_quant/test3_quant2.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Katz/jmc_quant/test4_quant4.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Katz/jmc_quant/test5_quant5.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Katz/jmc_quant/test5_quant7.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Katz/jmc_quant/test1_quant2.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Katz/jmc_quant/test1_quant3.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Katz/jmc_quant_squaring/test2_quant_squaring3.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Katz/jmc_quant_squaring/test3_quant_squaring2.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Katz/jmc_quant_squaring/test3_quant_squaring4.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Katz/jmc_quant_squaring/test4_quant_squaring4.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Katz/jmc_quant_squaring/test5_quant_squaring4.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Katz/jmc_quant_squaring/test5_quant_squaring5.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Katz/jmc_quant_squaring/test1_quant_squaring2.qdimacs PASSED
/home/projects/qbf04/eval/SecondRun/Benchmarks/Katz/jmc_quant_squaring/test2_quant_squaring2.qdimacs PASSED