| FAMILY | BENCHMARK | BEST SOLVER | TIME | SOLVED |
| Adder | adder-10-sat.qdimacs | QMRes | 32.38 | 1 |
| Adder | Adder2-12-s.qdimacs | none | - | - |
| Adder | Adder2-16-c.qdimacs | none | - | - |
| Adder | Adder2-2-c.qdimacs | qsat | 0 | 15 |
| Adder | adder-4-unsat.qdimacs | QMRes | 0.84 | 1 |
| Adder | adder-6-sat.qdimacs | QMRes | 1.48 | 2 |
| Adder | adder-6-unsat.qdimacs | QMRes | 11.93 | 1 |
| Adder | adder-8-unsat.qdimacs | QMRes | 85.89 | 1 |
| Blocks | BLOCKS3i.4.4.qdimacs | qsat | 0.02 | 4 |
| Blocks | BLOCKS3i.5.3.qdimacs | quantor-2.1 | 0.48 | 4 |
| Blocks | BLOCKS3ii.4.3.qdimacs | qsat | 0 | 11 |
| Blocks | BLOCKS3ii.5.3.qdimacs | qsat | 0.08 | 7 |
| Blocks | BLOCKS3iii.5.qdimacs | qsat | 0.03 | 6 |
| Blocks | BLOCKS4i.6.4.qdimacs | qsat | 0.12 | 2 |
| Blocks | BLOCKS4ii.6.3.qdimacs | qsat | 0.12 | 3 |
| Blocks | BLOCKS4ii.7.2.qdimacs | qsat | 0.2 | 3 |
| C432 | C432.blif_0.10_0.20_0_0_inp_exact.qdimacs | semprop | 541.58 | 1 |
| C432 | C432.blif_0.10_0.20_0_0_out_exact.qdimacs | quantor-2.1 | 588.53 | 1 |
| C432 | C432.blif_0.10_0.20_0_1_inp_exact.qdimacs | semprop | 0.04 | 8 |
| C432 | C432.blif_0.10_0.20_0_1_out_exact.qdimacs | quantor-2.1 | 657.69 | 1 |
| C432 | C432.blif_0.10_1.00_0_0_inp_exact.qdimacs | quantor-2.1 | 0.04 | 8 |
| C432 | C432.blif_0.10_1.00_0_0_out_exact.qdimacs | quantor-2.1 | 0.08 | 5 |
| C432 | C432.blif_0.10_1.00_0_1_inp_exact.qdimacs | ssolve | 0 | 15 |
| C432 | C432.blif_0.10_1.00_0_1_out_exact.qdimacs | Clearn | 0.01 | 13 |
| C499 | C499.blif_0.10_0.20_0_0_inp_exact.qdimacs | none | - | - |
| C499 | C499.blif_0.10_0.20_0_0_out_exact.qdimacs | none | - | - |
| C499 | C499.blif_0.10_0.20_0_1_inp_exact.qdimacs | yquaffle | 1.79 | 3 |
| C499 | C499.blif_0.10_0.20_0_1_out_exact.qdimacs | none | - | - |
| C499 | C499.blif_0.10_1.00_0_0_inp_exact.qdimacs | quantor-2.1 | 4.88 | 3 |
| C499 | C499.blif_0.10_1.00_0_0_out_exact.qdimacs | quantor-2.1 | 13.05 | 1 |
| C499 | C499.blif_0.10_1.00_0_1_inp_exact.qdimacs | ssolve | 0.02 | 12 |
| C499 | C499.blif_0.10_1.00_0_1_out_exact.qdimacs | ssolve | 0.01 | 15 |
| C5315 | C5315.blif_0.10_0.20_0_0_inp_exact.qdimacs | none | - | - |
| C5315 | C5315.blif_0.10_0.20_0_0_out_exact.qdimacs | none | - | - |
| C5315 | C5315.blif_0.10_0.20_0_1_inp_exact.qdimacs | none | - | - |
| C5315 | C5315.blif_0.10_0.20_0_1_out_exact.qdimacs | none | - | - |
| C5315 | C5315.blif_0.10_1.00_0_0_inp_exact.qdimacs | quantor-2.1 | 85.29 | 3 |
| C5315 | C5315.blif_0.10_1.00_0_0_out_exact.qdimacs | quantor-2.1 | 49.18 | 1 |
| C5315 | C5315.blif_0.10_1.00_0_1_inp_exact.qdimacs | yquaffle | 0.13 | 7 |
| C5315 | C5315.blif_0.10_1.00_0_1_out_exact.qdimacs | Clearn | 0.08 | 6 |
| C6288 | C6288.blif_0.10_0.20_0_0_inp_exact.qdimacs | none | - | - |
| C6288 | C6288.blif_0.10_0.20_0_0_out_exact.qdimacs | none | - | - |
| C6288 | C6288.blif_0.10_0.20_0_1_inp_exact.qdimacs | none | - | - |
| C6288 | C6288.blif_0.10_0.20_0_1_out_exact.qdimacs | none | - | - |
| C6288 | C6288.blif_0.10_1.00_0_0_inp_exact.qdimacs | none | - | - |
| C6288 | C6288.blif_0.10_1.00_0_0_out_exact.qdimacs | none | - | - |
| C6288 | C6288.blif_0.10_1.00_0_1_inp_exact.qdimacs | none | - | - |
| C6288 | C6288.blif_0.10_1.00_0_1_out_exact.qdimacs | semprop | 3.93 | 1 |
| C880 | C880.blif_0.10_0.20_0_0_inp_exact.qdimacs | none | - | - |
| C880 | C880.blif_0.10_0.20_0_0_out_exact.qdimacs | none | - | - |
| C880 | C880.blif_0.10_0.20_0_1_inp_exact.qdimacs | none | - | - |
| C880 | C880.blif_0.10_0.20_0_1_out_exact.qdimacs | none | - | - |
| C880 | C880.blif_0.10_1.00_0_0_inp_exact.qdimacs | none | - | - |
| C880 | C880.blif_0.10_1.00_0_0_out_exact.qdimacs | none | - | - |
| C880 | C880.blif_0.10_1.00_0_1_inp_exact.qdimacs | yquaffle | 0.1 | 7 |
| C880 | C880.blif_0.10_1.00_0_1_out_exact.qdimacs | Clearn | 0.12 | 6 |
| Chain | CHAIN12v.13.qdimacs | quantor-2.1 | 0.02 | 15 |
| Chain | CHAIN13v.14.qdimacs | quantor-2.1 | 0.01 | 15 |
| Chain | CHAIN14v.15.qdimacs | quantor-2.1 | 0.01 | 15 |
| Chain | CHAIN16v.17.qdimacs | quantor-2.1 | 0.01 | 15 |
| Chain | CHAIN17v.18.qdimacs | quantor-2.1 | 0.03 | 14 |
| Chain | CHAIN19v.20.qdimacs | quantor-2.1 | 0.04 | 12 |
| Chain | CHAIN20v.21.qdimacs | quantor-2.1 | 0.03 | 10 |
| Chain | CHAIN23v.24.qdimacs | quantor-2.1 | 0.07 | 7 |
| comp | comp.blif_0.10_0.20_0_0_inp_exact.qdimacs | semprop | 0.02 | 12 |
| comp | comp.blif_0.10_0.20_0_0_out_exact.qdimacs | quantor-2.1 | 0.08 | 7 |
| comp | comp.blif_0.10_0.20_0_1_inp_exact.qdimacs | semprop | 0 | 14 |
| comp | comp.blif_0.10_0.20_0_1_out_exact.qdimacs | GRL | 0 | 14 |
| comp | comp.blif_0.10_1.00_0_0_inp_exact.qdimacs | semprop | 0.01 | 12 |
| comp | comp.blif_0.10_1.00_0_0_out_exact.qdimacs | quantor-2.1 | 0.03 | 8 |
| comp | comp.blif_0.10_1.00_0_1_inp_exact.qdimacs | Clearn | 0.01 | 15 |
| comp | comp.blif_0.10_1.00_0_1_out_exact.qdimacs | GRL | 0 | 15 |
| Connect2 | cf_2_2x3_w_.qdimacs | quantor-2.1 | 0.01 | 15 |
| Connect2 | cf_2_3x2_r_.qdimacs | semprop | 0.02 | 15 |
| Connect2 | cf_2_4x8_d_.qdimacs | qbfl.BS | 0.05 | 15 |
| Connect2 | cf_2_4x8_r_.qdimacs | qbfl.BS | 0.06 | 13 |
| Connect2 | cf_2_5x4_r_.qdimacs | qbfl.JW | 0.04 | 13 |
| Connect2 | cf_2_8x3_r_.qdimacs | qbfl.BS | 0.04 | 13 |
| Connect2 | cf_2_8x5_r_.qdimacs | qbfl.BS | 0.28 | 10 |
| Connect2 | cf_2_9x5_w_.qdimacs | quantor-2.1 | 0.3 | 11 |
| Connect3 | cf_3_5x4_r_.qdimacs | qbfl.JW | 0.03 | 12 |
| Connect3 | cf_3_6x4_w_.qdimacs | qbfl.BS | 0.04 | 14 |
| Connect3 | cf_3_7x9_w_.qdimacs | qbfl.BS | 0.48 | 9 |
| Connect3 | cf_3_8x8_w_.qdimacs | qbfl.JW | 0.39 | 10 |
| Connect3 | cf_3_8x9_d_.qdimacs | qbfl.BS | 0.54 | 10 |
| Connect3 | cf_3_9x5_d_.qdimacs | quantor-2.1 | 0.3 | 11 |
| Connect3 | cf_3_9x5_r_.qdimacs | qbfl.JW | 0.31 | 2 |
| Connect3 | cf_3_9x9_w_.qdimacs | qbfl.BS | 0.57 | 10 |
| Connect4 | cf_4_5x4_d_.qdimacs | qbfl.BS | 0.03 | 16 |
| Connect4 | cf_4_5x5_d_.qdimacs | qbfl.BS | 0.05 | 16 |
| Connect4 | cf_4_5x6_w_.qdimacs | qbfl.JW | 0.06 | 14 |
| Connect4 | cf_4_5x9_d_.qdimacs | quantor-2.1 | 0.24 | 11 |
| Connect4 | cf_4_5x9_r_.qdimacs | qbfl.BS | 0.36 | 2 |
| Connect4 | cf_4_6x5_d_.qdimacs | qbfl.JW | 0.06 | 16 |
| Connect4 | cf_4_6x7_d_.qdimacs | qbfl.BS | 0.09 | 15 |
| Connect4 | cf_4_8x8_w_.qdimacs | qbfl.JW | 0.4 | 10 |
| Connect5 | cf_5_5x5_r_.qdimacs | qbfl.BS | 0.03 | 11 |
| Connect5 | cf_5_5x6_w_.qdimacs | qbfl.BS | 0.05 | 14 |
| Connect5 | cf_5_5x7_d_.qdimacs | qbfl.BS | 0.07 | 15 |
| Connect5 | cf_5_6x5_w_.qdimacs | qbfl.BS | 0.05 | 14 |
| Connect5 | cf_5_6x9_r_.qdimacs | qbfl.JW | 0.38 | 2 |
| Connect5 | cf_5_7x5_d_.qdimacs | qbfl.JW | 0.05 | 16 |
| Connect5 | cf_5_7x6_d_.qdimacs | qbfl.BS | 0.08 | 15 |
| Connect5 | cf_5_8x9_w_.qdimacs | qbfl.BS | 0.5 | 10 |
| Connect6 | cf_6_6x6_d_.qdimacs | qbfl.BS | 0.06 | 16 |
| Connect6 | cf_6_6x6_r_.qdimacs | qbfl.BS | 0.04 | 5 |
| Connect6 | cf_6_6x8_w_.qdimacs | qbfl.BS | 0.08 | 14 |
| Connect6 | cf_6_6x9_r_.qdimacs | qbfl.JW | 0.36 | 2 |
| Connect6 | cf_6_8x6_r_.qdimacs | qbfl.JW | 0.08 | 3 |
| Connect6 | cf_6_8x7_d_.qdimacs | qbfl.BS | 0.12 | 15 |
| Connect6 | cf_6_8x8_r_.qdimacs | qbfl.JW | 0.11 | 3 |
| Connect6 | cf_6_8x9_d_.qdimacs | qbfl.BS | 0.49 | 11 |
| Connect7 | cf_7_7x7_d_.qdimacs | qbfl.JW | 0.07 | 15 |
| Connect7 | cf_7_7x9_d_.qdimacs | quantor-2.1 | 0.37 | 11 |
| Connect7 | cf_7_8x7_d_.qdimacs | qbfl.JW | 0.09 | 15 |
| Connect7 | cf_7_8x8_w_.qdimacs | qbfl.BS | 0.13 | 14 |
| Connect7 | cf_7_9x7_r_.qdimacs | qbfl.BS | 0.11 | 3 |
| Connect7 | cf_7_9x7_w_.qdimacs | qbfl.BS | 0.12 | 14 |
| Connect7 | cf_7_9x8_w_.qdimacs | qbfl.JW | 0.15 | 14 |
| Connect7 | cf_7_9x9_d_.qdimacs | qbfl.BS | 0.52 | 11 |
| Connect8 | cf_8_8x8_r_.qdimacs | qbfl.BS | 0.1 | 3 |
| Connect8 | cf_8_8x8_w_.qdimacs | qbfl.JW | 0.11 | 13 |
| Connect8 | cf_8_8x9_d_.qdimacs | quantor-2.1 | 0.45 | 11 |
| Connect8 | cf_8_8x9_r_.qdimacs | qbfl.BS | 0.46 | 2 |
| Connect8 | cf_8_8x9_w_.qdimacs | quantor-2.1 | 0.42 | 10 |
| Connect8 | cf_8_9x9_d_.qdimacs | qbfl.JW | 0.5 | 11 |
| Connect8 | cf_8_9x9_r_.qdimacs | qbfl.BS | 0.51 | 2 |
| Connect8 | cf_8_9x9_w_.qdimacs | qbfl.JW | 0.51 | 10 |
| Connect9 | cf_9_9x9_d_.qdimacs | qbfl.BS | 0.49 | 11 |
| Connect9 | cf_9_9x9_r_.qdimacs | qbfl.JW | 0.47 | 2 |
| Connect9 | cf_9_9x9_w_.qdimacs | qbfl.BS | 0.49 | 10 |
| counter | cnt02.qdimacs | Clearn | 0 | 16 |
| counter | cnt02e.qdimacs | CSBJ | 0.01 | 16 |
| counter | cnt04e.qdimacs | quantor-2.1 | 0.01 | 10 |
| counter | cnt06.qdimacs | quantor-2.1 | 0.02 | 8 |
| counter | cnt09e.qdimacs | none | - | - |
| counter | cnt09re.qdimacs | none | - | - |
| counter | cnt12e.qdimacs | none | - | - |
| counter | cnt16re.qdimacs | none | - | - |
| DFlipFlop | flipflop-10-c.qdimacs | quantor-2.1 | 0.46 | 14 |
| DFlipFlop | flipflop-11-c.qdimacs | ssolve | 0.77 | 13 |
| DFlipFlop | flipflop-3-c.qdimacs | Clearn | 0 | 16 |
| DFlipFlop | flipflop-4-c.qdimacs | Clearn | 0.01 | 15 |
| DFlipFlop | flipflop-5-c.qdimacs | qbfl.BS | 0.01 | 14 |
| DFlipFlop | flipflop-7-c.qdimacs | quantor-2.1 | 0.07 | 14 |
| DFlipFlop | flipflop-8-c.qdimacs | quantor-2.1 | 0.13 | 14 |
| DFlipFlop | flipflop-9-c.qdimacs | quantor-2.1 | 0.26 | 14 |
| Impl | impl02.qdimacs | orsat | 0 | 16 |
| Impl | impl06.qdimacs | Clearn | 0 | 16 |
| Impl | impl08.qdimacs | Clearn | 0 | 16 |
| Impl | impl12.qdimacs | qbfl.BS | 0 | 16 |
| Impl | impl14.qdimacs | WalkQSAT | 0 | 15 |
| Impl | impl16.qdimacs | qbfl.BS | 0 | 15 |
| Impl | impl18.qdimacs | qbfl.BS | 0 | 14 |
| Impl | impl20.qdimacs | qbfl.BS | 0 | 13 |
| jmc_quant | test1_quant2.qdimacs | none | - | - |
| jmc_quant | test1_quant3.qdimacs | none | - | - |
| jmc_quant | test2_quant2.qdimacs | none | - | - |
| jmc_quant | test2_quant3.qdimacs | none | - | - |
| jmc_quant | test3_quant2.qdimacs | QMRes | 10.03 | 1 |
| jmc_quant | test4_quant4.qdimacs | none | - | - |
| jmc_quant | test5_quant5.qdimacs | QMRes | 5.67 | 2 |
| jmc_quant | test5_quant7.qdimacs | QMRes | 2.98 | 1 |
| jmc_quant_squaring | test1_quant_squaring2.qdimacs | none | - | - |
| jmc_quant_squaring | test2_quant_squaring2.qdimacs | none | - | - |
| jmc_quant_squaring | test2_quant_squaring3.qdimacs | none | - | - |
| jmc_quant_squaring | test3_quant_squaring2.qdimacs | QMRes | 7.19 | 1 |
| jmc_quant_squaring | test3_quant_squaring4.qdimacs | none | - | - |
| jmc_quant_squaring | test4_quant_squaring4.qdimacs | none | - | - |
| jmc_quant_squaring | test5_quant_squaring4.qdimacs | QMRes | 1.17 | 1 |
| jmc_quant_squaring | test5_quant_squaring5.qdimacs | QMRes | 3.09 | 1 |
| k_branch_n | k_branch_n-1.qdimacs | GRL | 0 | 15 |
| k_branch_n | k_branch_n-14.qdimacs | none | - | - |
| k_branch_n | k_branch_n-15.qdimacs | none | - | - |
| k_branch_n | k_branch_n-16.qdimacs | none | - | - |
| k_branch_n | k_branch_n-20.qdimacs | none | - | - |
| k_branch_n | k_branch_n-6.qdimacs | semprop | 1.48 | 1 |
| k_branch_n | k_branch_n-7.qdimacs | semprop | 12.28 | 1 |
| k_branch_n | k_branch_n-9.qdimacs | semprop | 255.29 | 1 |
| k_branch_p | k_branch_p-13.qdimacs | qsat | 7.43 | 1 |
| k_branch_p | k_branch_p-14.qdimacs | qsat | 10.55 | 1 |
| k_branch_p | k_branch_p-15.qdimacs | qsat | 15.43 | 1 |
| k_branch_p | k_branch_p-16.qdimacs | qsat | 21.28 | 1 |
| k_branch_p | k_branch_p-19.qdimacs | qsat | 55.83 | 1 |
| k_branch_p | k_branch_p-3.qdimacs | qsat | 0.02 | 10 |
| k_branch_p | k_branch_p-5.qdimacs | qsat | 0.11 | 2 |
| k_branch_p | k_branch_p-8.qdimacs | qsat | 0.64 | 2 |
| k_d4_n | k_d4_n-12.qdimacs | QMRes | 4.3 | 1 |
| k_d4_n | k_d4_n-13.qdimacs | QMRes | 4.46 | 1 |
| k_d4_n | k_d4_n-14.qdimacs | QMRes | 5.7 | 1 |
| k_d4_n | k_d4_n-15.qdimacs | QMRes | 6.2 | 1 |
| k_d4_n | k_d4_n-16.qdimacs | QMRes | 7.36 | 1 |
| k_d4_n | k_d4_n-6.qdimacs | QMRes | 0.81 | 2 |
| k_d4_n | k_d4_n-8.qdimacs | QMRes | 1.62 | 1 |
| k_d4_n | k_d4_n-9.qdimacs | QMRes | 2.19 | 1 |
| k_d4_p | k_d4_p-13.qdimacs | qsat | 0.01 | 4 |
| k_d4_p | k_d4_p-14.qdimacs | qsat | 0.02 | 4 |
| k_d4_p | k_d4_p-16.qdimacs | qsat | 0.02 | 4 |
| k_d4_p | k_d4_p-17.qdimacs | qsat | 0.01 | 4 |
| k_d4_p | k_d4_p-19.qdimacs | qsat | 0.01 | 3 |
| k_d4_p | k_d4_p-3.qdimacs | qsat | 0 | 13 |
| k_d4_p | k_d4_p-6.qdimacs | qsat | 0.01 | 6 |
| k_d4_p | k_d4_p-7.qdimacs | qsat | 0 | 4 |
| k_dum_n | k_dum_n-1.qdimacs | quantor-2.1 | 0 | 15 |
| k_dum_n | k_dum_n-16.qdimacs | quantor-2.1 | 0.03 | 3 |
| k_dum_n | k_dum_n-18.qdimacs | semprop | 0.12 | 3 |
| k_dum_n | k_dum_n-3.qdimacs | quantor-2.1 | 0.02 | 13 |
| k_dum_n | k_dum_n-4.qdimacs | quantor-2.1 | 0 | 11 |
| k_dum_n | k_dum_n-5.qdimacs | quantor-2.1 | 0.01 | 11 |
| k_dum_n | k_dum_n-6.qdimacs | quantor-2.1 | 0.01 | 9 |
| k_dum_n | k_dum_n-8.qdimacs | quantor-2.1 | 0.02 | 5 |
| k_dum_p | k_dum_p-1.qdimacs | quantor-2.1 | 0.01 | 15 |
| k_dum_p | k_dum_p-11.qdimacs | QMRes | 0.42 | 6 |
| k_dum_p | k_dum_p-15.qdimacs | QMRes | 0.71 | 3 |
| k_dum_p | k_dum_p-16.qdimacs | QMRes | 0.87 | 2 |
| k_dum_p | k_dum_p-17.qdimacs | QMRes | 0.96 | 3 |
| k_dum_p | k_dum_p-20.qdimacs | QMRes | 1.38 | 2 |
| k_dum_p | k_dum_p-6.qdimacs | semprop | 0.06 | 11 |
| k_dum_p | k_dum_p-8.qdimacs | QMRes | 0.22 | 10 |
| k_grz_n | k_grz_n-12.qdimacs | QMRes | 2.4 | 6 |
| k_grz_n | k_grz_n-13.qdimacs | QMRes | 4.65 | 6 |
| k_grz_n | k_grz_n-16.qdimacs | quantor-2.1 | 33.47 | 4 |
| k_grz_n | k_grz_n-17.qdimacs | quantor-2.1 | 35.68 | 4 |
| k_grz_n | k_grz_n-18.qdimacs | QMRes | 601.96 | 1 |
| k_grz_n | k_grz_n-2.qdimacs | quantor-2.1 | 0.01 | 12 |
| k_grz_n | k_grz_n-3.qdimacs | quantor-2.1 | 0.15 | 12 |
| k_grz_n | k_grz_n-9.qdimacs | QMRes | 0.77 | 9 |
| k_grz_p | k_grz_p-10.qdimacs | QMRes | 0.78 | 6 |
| k_grz_p | k_grz_p-14.qdimacs | QMRes | 1.5 | 4 |
| k_grz_p | k_grz_p-16.qdimacs | QMRes | 1.67 | 4 |
| k_grz_p | k_grz_p-17.qdimacs | QMRes | 1.79 | 3 |
| k_grz_p | k_grz_p-19.qdimacs | QMRes | 2.44 | 1 |
| k_grz_p | k_grz_p-3.qdimacs | QMRes | 0.21 | 10 |
| k_grz_p | k_grz_p-4.qdimacs | QMRes | 0.24 | 10 |
| k_grz_p | k_grz_p-9.qdimacs | QMRes | 0.56 | 9 |
| k_lin_n | k_lin_n-1.qdimacs | GRL | 0 | 16 |
| k_lin_n | k_lin_n-14.qdimacs | semprop | 4.11 | 3 |
| k_lin_n | k_lin_n-15.qdimacs | semprop | 4.26 | 3 |
| k_lin_n | k_lin_n-19.qdimacs | semprop | 9.88 | 2 |
| k_lin_n | k_lin_n-2.qdimacs | quantor-2.1 | 0.02 | 15 |
| k_lin_n | k_lin_n-3.qdimacs | semprop | 0.03 | 11 |
| k_lin_n | k_lin_n-6.qdimacs | semprop | 0.16 | 11 |
| k_lin_n | k_lin_n-7.qdimacs | semprop | 0.28 | 8 |
| k_lin_p | k_lin_p-1.qdimacs | quantor-2.1 | 0.01 | 15 |
| k_lin_p | k_lin_p-10.qdimacs | ssolve | 0.01 | 9 |
| k_lin_p | k_lin_p-11.qdimacs | ssolve | 0.01 | 9 |
| k_lin_p | k_lin_p-15.qdimacs | ssolve | 0.01 | 8 |
| k_lin_p | k_lin_p-18.qdimacs | qsat | 0.34 | 7 |
| k_lin_p | k_lin_p-5.qdimacs | ssolve | 0.01 | 11 |
| k_lin_p | k_lin_p-6.qdimacs | ssolve | 0 | 10 |
| k_lin_p | k_lin_p-8.qdimacs | ssolve | 0.01 | 9 |
| k_path_n | k_path_n-1.qdimacs | semprop | 0 | 15 |
| k_path_n | k_path_n-13.qdimacs | quantor-2.1 | 0.03 | 3 |
| k_path_n | k_path_n-3.qdimacs | quantor-2.1 | 0.02 | 14 |
| k_path_n | k_path_n-4.qdimacs | quantor-2.1 | 0.02 | 12 |
| k_path_n | k_path_n-5.qdimacs | quantor-2.1 | 0.01 | 9 |
| k_path_n | k_path_n-6.qdimacs | quantor-2.1 | 0 | 7 |
| k_path_n | k_path_n-7.qdimacs | quantor-2.1 | 0.02 | 3 |
| k_path_n | k_path_n-8.qdimacs | quantor-2.1 | 0.01 | 3 |
| k_path_p | k_path_p-11.qdimacs | quantor-2.1 | 0.02 | 4 |
| k_path_p | k_path_p-14.qdimacs | quantor-2.1 | 0.02 | 4 |
| k_path_p | k_path_p-16.qdimacs | quantor-2.1 | 0.04 | 3 |
| k_path_p | k_path_p-17.qdimacs | quantor-2.1 | 0.04 | 3 |
| k_path_p | k_path_p-2.qdimacs | Clearn | 0.01 | 15 |
| k_path_p | k_path_p-20.qdimacs | quantor-2.1 | 0.05 | 3 |
| k_path_p | k_path_p-3.qdimacs | quantor-2.1 | 0.01 | 15 |
| k_path_p | k_path_p-6.qdimacs | quantor-2.1 | 0.01 | 11 |
| k_ph_n | k_ph_n-1.qdimacs | Clearn | 0 | 16 |
| k_ph_n | k_ph_n-15.qdimacs | eqube-lrn | 18.19 | 3 |
| k_ph_n | k_ph_n-21.qdimacs | qsat | 22.22 | 2 |
| k_ph_n | k_ph_n-3.qdimacs | Clearn | 0 | 15 |
| k_ph_n | k_ph_n-4.qdimacs | semprop | 0 | 15 |
| k_ph_n | k_ph_n-6.qdimacs | Clearn | 0.05 | 13 |
| k_ph_n | k_ph_n-7.qdimacs | quantor-2.1 | 0.16 | 11 |
| k_ph_n | k_ph_n-8.qdimacs | yquaffle | 0.43 | 11 |
| k_ph_p | k_ph_p-14.qdimacs | none | - | - |
| k_ph_p | k_ph_p-15.qdimacs | none | - | - |
| k_ph_p | k_ph_p-17.qdimacs | none | - | - |
| k_ph_p | k_ph_p-19.qdimacs | qsat | 78.25 | 1 |
| k_ph_p | k_ph_p-20.qdimacs | qsat | 8.86 | 1 |
| k_ph_p | k_ph_p-3.qdimacs | GRL | 0 | 14 |
| k_ph_p | k_ph_p-4.qdimacs | Clearn | 0.02 | 14 |
| k_ph_p | k_ph_p-7.qdimacs | quantor-2.1 | 1.28 | 7 |
| k_poly_n | k_poly_n-1.qdimacs | QMRes | 0.01 | 15 |
| k_poly_n | k_poly_n-11.qdimacs | quantor-2.1 | 0.03 | 3 |
| k_poly_n | k_poly_n-15.qdimacs | quantor-2.1 | 0.02 | 3 |
| k_poly_n | k_poly_n-18.qdimacs | quantor-2.1 | 0.05 | 2 |
| k_poly_n | k_poly_n-3.qdimacs | quantor-2.1 | 0.01 | 12 |
| k_poly_n | k_poly_n-4.qdimacs | quantor-2.1 | 0.01 | 3 |
| k_poly_n | k_poly_n-7.qdimacs | quantor-2.1 | 0.02 | 3 |
| k_poly_n | k_poly_n-8.qdimacs | quantor-2.1 | 0.02 | 3 |
| k_poly_p | k_poly_p-10.qdimacs | ssolve | 0.01 | 7 |
| k_poly_p | k_poly_p-11.qdimacs | quantor-2.1 | 0.01 | 7 |
| k_poly_p | k_poly_p-12.qdimacs | quantor-2.1 | 0.01 | 7 |
| k_poly_p | k_poly_p-14.qdimacs | quantor-2.1 | 0.01 | 7 |
| k_poly_p | k_poly_p-17.qdimacs | ssolve | 0.01 | 6 |
| k_poly_p | k_poly_p-2.qdimacs | ssolve | 0 | 13 |
| k_poly_p | k_poly_p-7.qdimacs | quantor-2.1 | 0 | 8 |
| k_poly_p | k_poly_p-8.qdimacs | qsat | 0.01 | 8 |
| k_t4p_n | k_t4p_n-13.qdimacs | QMRes | 10.74 | 1 |
| k_t4p_n | k_t4p_n-14.qdimacs | QMRes | 11.21 | 1 |
| k_t4p_n | k_t4p_n-15.qdimacs | QMRes | 12.76 | 1 |
| k_t4p_n | k_t4p_n-17.qdimacs | QMRes | 16.04 | 1 |
| k_t4p_n | k_t4p_n-18.qdimacs | QMRes | 19.66 | 1 |
| k_t4p_n | k_t4p_n-19.qdimacs | QMRes | 22.15 | 1 |
| k_t4p_n | k_t4p_n-2.qdimacs | quantor-2.1 | 0.05 | 9 |
| k_t4p_n | k_t4p_n-5.qdimacs | quantor-2.1 | 1.11 | 3 |
| k_t4p_p | k_t4p_p-1.qdimacs | quantor-2.1 | 0.01 | 13 |
| k_t4p_p | k_t4p_p-10.qdimacs | QMRes | 1.73 | 2 |
| k_t4p_p | k_t4p_p-12.qdimacs | QMRes | 2.58 | 1 |
| k_t4p_p | k_t4p_p-15.qdimacs | QMRes | 3.52 | 2 |
| k_t4p_p | k_t4p_p-16.qdimacs | QMRes | 4.12 | 1 |
| k_t4p_p | k_t4p_p-18.qdimacs | QMRes | 5.07 | 1 |
| k_t4p_p | k_t4p_p-19.qdimacs | QMRes | 5.48 | 1 |
| k_t4p_p | k_t4p_p-4.qdimacs | quantor-2.1 | 0.07 | 5 |
| Logn | lognBWLARGEA0.qdimacs | semprop | 0 | 11 |
| Logn | lognBWLARGEA1.qdimacs | qsat | 0.08 | 9 |
| Logn | lognBWLARGEB0.qdimacs | semprop | 0 | 11 |
| Logn | lognBWLARGEB1.qdimacs | qsat | 0.23 | 8 |
| mA-t2-2qbf-5cnf-100var-1000cl | 2qbf-5cnf-100var-1000cl.1.qdimacs | ssolve | 1.07 | 3 |
| mA-t2-2qbf-5cnf-100var-1000cl | 2qbf-5cnf-100var-1000cl.2.qdimacs | qsat | 0.01 | 5 |
| mA-t2-2qbf-5cnf-100var-1200cl | 2qbf-5cnf-100var-1200cl.1.qdimacs | ssolve | 0.01 | 6 |
| mA-t2-2qbf-5cnf-100var-1200cl | 2qbf-5cnf-100var-1200cl.2.qdimacs | semprop | 0.01 | 6 |
| mA-t2-2qbf-5cnf-100var-1400cl | 2qbf-5cnf-100var-1400cl.1.qdimacs | CSBJ | 0.01 | 11 |
| mA-t2-2qbf-5cnf-100var-1400cl | 2qbf-5cnf-100var-1400cl.2.qdimacs | semprop | 0 | 10 |
| mA-t2-2qbf-5cnf-100var-1600cl | 2qbf-5cnf-100var-1600cl.1.qdimacs | qsat | 0.01 | 12 |
| mA-t2-2qbf-5cnf-100var-1600cl | 2qbf-5cnf-100var-1600cl.2.qdimacs | WalkQSAT | 0.01 | 12 |
| mA-t2-2qbf-5cnf-100var-1800cl | 2qbf-5cnf-100var-1800cl.1.qdimacs | qsat | 0.02 | 13 |
| mA-t2-2qbf-5cnf-100var-1800cl | 2qbf-5cnf-100var-1800cl.2.qdimacs | ssolve | 0.01 | 13 |
| mA-t2-2qbf-5cnf-100var-200cl | 2qbf-5cnf-100var-200cl.1.qdimacs | qbfl.JW | 0 | 11 |
| mA-t2-2qbf-5cnf-100var-200cl | 2qbf-5cnf-100var-200cl.2.qdimacs | qbfl.JW | 0.01 | 10 |
| mA-t2-2qbf-5cnf-100var-400cl | 2qbf-5cnf-100var-400cl.1.qdimacs | eqube-bj | 0.98 | 3 |
| mA-t2-2qbf-5cnf-100var-400cl | 2qbf-5cnf-100var-400cl.2.qdimacs | eqube-lrn | 1.13 | 2 |
| mA-t2-2qbf-5cnf-100var-600cl | 2qbf-5cnf-100var-600cl.1.qdimacs | eqube-bj | 47.41 | 3 |
| mA-t2-2qbf-5cnf-100var-600cl | 2qbf-5cnf-100var-600cl.2.qdimacs | semprop | 1.22 | 4 |
| mA-t2-2qbf-5cnf-100var-800cl | 2qbf-5cnf-100var-800cl.1.qdimacs | ssolve | 0.45 | 1 |
| mA-t2-2qbf-5cnf-100var-800cl | 2qbf-5cnf-100var-800cl.2.qdimacs | ssolve | 1.01 | 3 |
| mA-t2-2qbf-5cnf-150var-1200cl | 2qbf-5cnf-150var-1200cl.1.qdimacs | qsat | 208.12 | 1 |
| mA-t2-2qbf-5cnf-150var-1200cl | 2qbf-5cnf-150var-1200cl.2.qdimacs | none | - | - |
| mA-t2-2qbf-5cnf-150var-1500cl | 2qbf-5cnf-150var-1500cl.1.qdimacs | ssolve | 0.03 | 3 |
| mA-t2-2qbf-5cnf-150var-1500cl | 2qbf-5cnf-150var-1500cl.2.qdimacs | qsat | 0.01 | 3 |
| mA-t2-2qbf-5cnf-150var-1800cl | 2qbf-5cnf-150var-1800cl.1.qdimacs | semprop | 0.01 | 5 |
| mA-t2-2qbf-5cnf-150var-1800cl | 2qbf-5cnf-150var-1800cl.2.qdimacs | semprop | 0.01 | 4 |
| mA-t2-2qbf-5cnf-150var-2100cl | 2qbf-5cnf-150var-2100cl.1.qdimacs | semprop | 0.01 | 5 |
| mA-t2-2qbf-5cnf-150var-2100cl | 2qbf-5cnf-150var-2100cl.2.qdimacs | semprop | 0.02 | 9 |
| mA-t2-2qbf-5cnf-150var-2400cl | 2qbf-5cnf-150var-2400cl.1.qdimacs | qsat | 0.02 | 12 |
| mA-t2-2qbf-5cnf-150var-2400cl | 2qbf-5cnf-150var-2400cl.2.qdimacs | qsat | 0.02 | 7 |
| mA-t2-2qbf-5cnf-150var-2700cl | 2qbf-5cnf-150var-2700cl.1.qdimacs | semprop | 0.01 | 12 |
| mA-t2-2qbf-5cnf-150var-2700cl | 2qbf-5cnf-150var-2700cl.2.qdimacs | CSBJ | 0.01 | 13 |
| mA-t2-2qbf-5cnf-150var-300cl | 2qbf-5cnf-150var-300cl.1.qdimacs | qbfl.BS | 0 | 11 |
| mA-t2-2qbf-5cnf-150var-300cl | 2qbf-5cnf-150var-300cl.2.qdimacs | qbfl.BS | 0 | 8 |
| mA-t2-2qbf-5cnf-150var-600cl | 2qbf-5cnf-150var-600cl.1.qdimacs | eqube-bj | 1.06 | 3 |
| mA-t2-2qbf-5cnf-150var-600cl | 2qbf-5cnf-150var-600cl.2.qdimacs | ssolve | 0.01 | 3 |
| mA-t2-2qbf-5cnf-150var-900cl | 2qbf-5cnf-150var-900cl.1.qdimacs | none | - | - |
| mA-t2-2qbf-5cnf-150var-900cl | 2qbf-5cnf-150var-900cl.2.qdimacs | none | - | - |
| mA-t2-2qbf-5cnf-50var-100cl | 2qbf-5cnf-50var-100cl.1.qdimacs | qbfl.BS | 0.01 | 13 |
| mA-t2-2qbf-5cnf-50var-100cl | 2qbf-5cnf-50var-100cl.2.qdimacs | qbfl.BS | 0 | 14 |
| mA-t2-2qbf-5cnf-50var-200cl | 2qbf-5cnf-50var-200cl.1.qdimacs | ssolve | 0.09 | 3 |
| mA-t2-2qbf-5cnf-50var-200cl | 2qbf-5cnf-50var-200cl.2.qdimacs | ssolve | 0.27 | 4 |
| mA-t2-2qbf-5cnf-50var-300cl | 2qbf-5cnf-50var-300cl.1.qdimacs | ssolve | 0.13 | 3 |
| mA-t2-2qbf-5cnf-50var-300cl | 2qbf-5cnf-50var-300cl.2.qdimacs | eqube-bj | 2.11 | 3 |
| mA-t2-2qbf-5cnf-50var-400cl | 2qbf-5cnf-50var-400cl.1.qdimacs | ssolve | 0.09 | 6 |
| mA-t2-2qbf-5cnf-50var-400cl | 2qbf-5cnf-50var-400cl.2.qdimacs | ssolve | 0.01 | 4 |
| mA-t2-2qbf-5cnf-50var-500cl | 2qbf-5cnf-50var-500cl.1.qdimacs | ssolve | 0.01 | 13 |
| mA-t2-2qbf-5cnf-50var-500cl | 2qbf-5cnf-50var-500cl.2.qdimacs | qsat | 0.01 | 8 |
| mA-t2-2qbf-5cnf-50var-600cl | 2qbf-5cnf-50var-600cl.1.qdimacs | ssolve | 0 | 12 |
| mA-t2-2qbf-5cnf-50var-600cl | 2qbf-5cnf-50var-600cl.2.qdimacs | qsat | 0 | 12 |
| mA-t2-2qbf-5cnf-50var-700cl | 2qbf-5cnf-50var-700cl.1.qdimacs | qsat | 0.01 | 12 |
| mA-t2-2qbf-5cnf-50var-700cl | 2qbf-5cnf-50var-700cl.2.qdimacs | semprop | 0 | 12 |
| mA-t2-2qbf-5cnf-50var-800cl | 2qbf-5cnf-50var-800cl.1.qdimacs | Clearn | 0 | 13 |
| mA-t2-2qbf-5cnf-50var-800cl | 2qbf-5cnf-50var-800cl.2.qdimacs | Clearn | 0.01 | 12 |
| mA-t2-2qbf-5cnf-50var-900cl | 2qbf-5cnf-50var-900cl.1.qdimacs | qsat | 0 | 13 |
| mA-t2-2qbf-5cnf-50var-900cl | 2qbf-5cnf-50var-900cl.2.qdimacs | ssolve | 0 | 13 |
| mA-t2-3qbf-5cnf-100var-1000cl | 3qbf-5cnf-100var-1000cl.1.qdimacs | eqube-lrn | 1.15 | 2 |
| mA-t2-3qbf-5cnf-100var-1000cl | 3qbf-5cnf-100var-1000cl.2.qdimacs | ssolve | 0.04 | 3 |
| mA-t2-3qbf-5cnf-100var-1200cl | 3qbf-5cnf-100var-1200cl.1.qdimacs | ssolve | 0.04 | 4 |
| mA-t2-3qbf-5cnf-100var-1200cl | 3qbf-5cnf-100var-1200cl.2.qdimacs | ssolve | 0.04 | 5 |
| mA-t2-3qbf-5cnf-100var-1400cl | 3qbf-5cnf-100var-1400cl.1.qdimacs | ssolve | 0.02 | 5 |
| mA-t2-3qbf-5cnf-100var-1400cl | 3qbf-5cnf-100var-1400cl.2.qdimacs | ssolve | 0.01 | 5 |
| mA-t2-3qbf-5cnf-100var-1600cl | 3qbf-5cnf-100var-1600cl.1.qdimacs | ssolve | 0.01 | 8 |
| mA-t2-3qbf-5cnf-100var-1600cl | 3qbf-5cnf-100var-1600cl.2.qdimacs | ssolve | 0 | 7 |
| mA-t2-3qbf-5cnf-100var-1800cl | 3qbf-5cnf-100var-1800cl.1.qdimacs | ssolve | 0.01 | 8 |
| mA-t2-3qbf-5cnf-100var-1800cl | 3qbf-5cnf-100var-1800cl.2.qdimacs | ssolve | 0.01 | 10 |
| mA-t2-3qbf-5cnf-100var-200cl | 3qbf-5cnf-100var-200cl.1.qdimacs | Clearn | 0 | 15 |
| mA-t2-3qbf-5cnf-100var-200cl | 3qbf-5cnf-100var-200cl.2.qdimacs | CSBJ | 0 | 15 |
| mA-t2-3qbf-5cnf-100var-400cl | 3qbf-5cnf-100var-400cl.1.qdimacs | Clearn | 0 | 12 |
| mA-t2-3qbf-5cnf-100var-400cl | 3qbf-5cnf-100var-400cl.2.qdimacs | Clearn | 0 | 13 |
| mA-t2-3qbf-5cnf-100var-600cl | 3qbf-5cnf-100var-600cl.1.qdimacs | qbfl.JW | 0 | 10 |
| mA-t2-3qbf-5cnf-100var-600cl | 3qbf-5cnf-100var-600cl.2.qdimacs | semprop | 0 | 10 |
| mA-t2-3qbf-5cnf-100var-800cl | 3qbf-5cnf-100var-800cl.1.qdimacs | qbfl.JW | 0 | 4 |
| mA-t2-3qbf-5cnf-100var-800cl | 3qbf-5cnf-100var-800cl.2.qdimacs | qbfl.JW | 0.01 | 5 |
| mA-t2-3qbf-5cnf-150var-1200cl | 3qbf-5cnf-150var-1200cl.1.qdimacs | qbfl.BS | 0.01 | 4 |
| mA-t2-3qbf-5cnf-150var-1200cl | 3qbf-5cnf-150var-1200cl.2.qdimacs | qbfl.BS | 0 | 5 |
| mA-t2-3qbf-5cnf-150var-1500cl | 3qbf-5cnf-150var-1500cl.1.qdimacs | eqube-lrn | 3.33 | 2 |
| mA-t2-3qbf-5cnf-150var-1500cl | 3qbf-5cnf-150var-1500cl.2.qdimacs | eqube-lrn | 2.53 | 2 |
| mA-t2-3qbf-5cnf-150var-1800cl | 3qbf-5cnf-150var-1800cl.1.qdimacs | ssolve | 0.03 | 4 |
| mA-t2-3qbf-5cnf-150var-1800cl | 3qbf-5cnf-150var-1800cl.2.qdimacs | ssolve | 1.72 | 4 |
| mA-t2-3qbf-5cnf-150var-2100cl | 3qbf-5cnf-150var-2100cl.1.qdimacs | ssolve | 0.04 | 5 |
| mA-t2-3qbf-5cnf-150var-2100cl | 3qbf-5cnf-150var-2100cl.2.qdimacs | ssolve | 0.04 | 5 |
| mA-t2-3qbf-5cnf-150var-2400cl | 3qbf-5cnf-150var-2400cl.1.qdimacs | ssolve | 0.02 | 5 |
| mA-t2-3qbf-5cnf-150var-2400cl | 3qbf-5cnf-150var-2400cl.2.qdimacs | ssolve | 0.04 | 5 |
| mA-t2-3qbf-5cnf-150var-2700cl | 3qbf-5cnf-150var-2700cl.1.qdimacs | ssolve | 0.02 | 7 |
| mA-t2-3qbf-5cnf-150var-2700cl | 3qbf-5cnf-150var-2700cl.2.qdimacs | ssolve | 0.03 | 7 |
| mA-t2-3qbf-5cnf-150var-300cl | 3qbf-5cnf-150var-300cl.1.qdimacs | Clearn | 0 | 15 |
| mA-t2-3qbf-5cnf-150var-300cl | 3qbf-5cnf-150var-300cl.2.qdimacs | qbfl.BS | 0 | 15 |
| mA-t2-3qbf-5cnf-150var-600cl | 3qbf-5cnf-150var-600cl.1.qdimacs | Clearn | 0 | 12 |
| mA-t2-3qbf-5cnf-150var-600cl | 3qbf-5cnf-150var-600cl.2.qdimacs | qbfl.BS | 0 | 12 |
| mA-t2-3qbf-5cnf-150var-900cl | 3qbf-5cnf-150var-900cl.1.qdimacs | qbfl.BS | 0 | 7 |
| mA-t2-3qbf-5cnf-150var-900cl | 3qbf-5cnf-150var-900cl.2.qdimacs | qbfl.JW | 0.01 | 11 |
| mA-t2-3qbf-5cnf-50var-100cl | 3qbf-5cnf-50var-100cl.1.qdimacs | CSBJ | 0 | 15 |
| mA-t2-3qbf-5cnf-50var-100cl | 3qbf-5cnf-50var-100cl.2.qdimacs | CSBJ | 0 | 15 |
| mA-t2-3qbf-5cnf-50var-200cl | 3qbf-5cnf-50var-200cl.1.qdimacs | CSBJ | 0 | 14 |
| mA-t2-3qbf-5cnf-50var-200cl | 3qbf-5cnf-50var-200cl.2.qdimacs | Clearn | 0 | 14 |
| mA-t2-3qbf-5cnf-50var-300cl | 3qbf-5cnf-50var-300cl.1.qdimacs | semprop | 0 | 13 |
| mA-t2-3qbf-5cnf-50var-300cl | 3qbf-5cnf-50var-300cl.2.qdimacs | qbfl.JW | 0 | 13 |
| mA-t2-3qbf-5cnf-50var-400cl | 3qbf-5cnf-50var-400cl.1.qdimacs | semprop | 0.16 | 8 |
| mA-t2-3qbf-5cnf-50var-400cl | 3qbf-5cnf-50var-400cl.2.qdimacs | qbfl.BS | 0.01 | 12 |
| mA-t2-3qbf-5cnf-50var-500cl | 3qbf-5cnf-50var-500cl.1.qdimacs | eqube-lrn | 1.23 | 4 |
| mA-t2-3qbf-5cnf-50var-500cl | 3qbf-5cnf-50var-500cl.2.qdimacs | qbfl.BS | 0 | 6 |
| mA-t2-3qbf-5cnf-50var-600cl | 3qbf-5cnf-50var-600cl.1.qdimacs | ssolve | 0.02 | 8 |
| mA-t2-3qbf-5cnf-50var-600cl | 3qbf-5cnf-50var-600cl.2.qdimacs | ssolve | 0.02 | 5 |
| mA-t2-3qbf-5cnf-50var-700cl | 3qbf-5cnf-50var-700cl.1.qdimacs | ssolve | 0.01 | 9 |
| mA-t2-3qbf-5cnf-50var-700cl | 3qbf-5cnf-50var-700cl.2.qdimacs | ssolve | 0.01 | 8 |
| mA-t2-3qbf-5cnf-50var-800cl | 3qbf-5cnf-50var-800cl.1.qdimacs | ssolve | 0.01 | 11 |
| mA-t2-3qbf-5cnf-50var-800cl | 3qbf-5cnf-50var-800cl.2.qdimacs | ssolve | 0.01 | 11 |
| mA-t2-3qbf-5cnf-50var-900cl | 3qbf-5cnf-50var-900cl.1.qdimacs | ssolve | 0.01 | 11 |
| mA-t2-3qbf-5cnf-50var-900cl | 3qbf-5cnf-50var-900cl.2.qdimacs | CSBJ | 0.01 | 12 |
| mA-t2-4qbf-5cnf-100var-1000cl | 4qbf-5cnf-100var-1000cl.1.qdimacs | semprop | 0.15 | 6 |
| mA-t2-4qbf-5cnf-100var-1000cl | 4qbf-5cnf-100var-1000cl.2.qdimacs | ssolve | 0.02 | 4 |
| mA-t2-4qbf-5cnf-100var-1200cl | 4qbf-5cnf-100var-1200cl.1.qdimacs | ssolve | 0.01 | 6 |
| mA-t2-4qbf-5cnf-100var-1200cl | 4qbf-5cnf-100var-1200cl.2.qdimacs | ssolve | 0.01 | 7 |
| mA-t2-4qbf-5cnf-100var-1400cl | 4qbf-5cnf-100var-1400cl.1.qdimacs | ssolve | 0.01 | 9 |
| mA-t2-4qbf-5cnf-100var-1400cl | 4qbf-5cnf-100var-1400cl.2.qdimacs | ssolve | 0.01 | 9 |
| mA-t2-4qbf-5cnf-100var-1600cl | 4qbf-5cnf-100var-1600cl.1.qdimacs | ssolve | 0.01 | 9 |
| mA-t2-4qbf-5cnf-100var-1600cl | 4qbf-5cnf-100var-1600cl.2.qdimacs | ssolve | 0.01 | 9 |
| mA-t2-4qbf-5cnf-100var-1800cl | 4qbf-5cnf-100var-1800cl.1.qdimacs | ssolve | 0.01 | 9 |
| mA-t2-4qbf-5cnf-100var-1800cl | 4qbf-5cnf-100var-1800cl.2.qdimacs | semprop | 0.02 | 9 |
| mA-t2-4qbf-5cnf-100var-200cl | 4qbf-5cnf-100var-200cl.1.qdimacs | GRL | 0 | 15 |
| mA-t2-4qbf-5cnf-100var-200cl | 4qbf-5cnf-100var-200cl.2.qdimacs | GRL | 0 | 15 |
| mA-t2-4qbf-5cnf-100var-400cl | 4qbf-5cnf-100var-400cl.1.qdimacs | qbfl.BS | 0 | 5 |
| mA-t2-4qbf-5cnf-100var-400cl | 4qbf-5cnf-100var-400cl.2.qdimacs | qbfl.JW | 0 | 5 |
| mA-t2-4qbf-5cnf-100var-600cl | 4qbf-5cnf-100var-600cl.1.qdimacs | eqube-lrn | 1.76 | 2 |
| mA-t2-4qbf-5cnf-100var-600cl | 4qbf-5cnf-100var-600cl.2.qdimacs | ssolve | 0.08 | 3 |
| mA-t2-4qbf-5cnf-100var-800cl | 4qbf-5cnf-100var-800cl.1.qdimacs | eqube-lrn | 1.02 | 2 |
| mA-t2-4qbf-5cnf-100var-800cl | 4qbf-5cnf-100var-800cl.2.qdimacs | semprop | 0.03 | 4 |
| mA-t2-4qbf-5cnf-150var-1200cl | 4qbf-5cnf-150var-1200cl.1.qdimacs | semprop | 0.8 | 3 |
| mA-t2-4qbf-5cnf-150var-1200cl | 4qbf-5cnf-150var-1200cl.2.qdimacs | eqube-lrn | 30.32 | 2 |
| mA-t2-4qbf-5cnf-150var-1500cl | 4qbf-5cnf-150var-1500cl.1.qdimacs | ssolve | 0.02 | 3 |
| mA-t2-4qbf-5cnf-150var-1500cl | 4qbf-5cnf-150var-1500cl.2.qdimacs | eqube-lrn | 1.28 | 6 |
| mA-t2-4qbf-5cnf-150var-1800cl | 4qbf-5cnf-150var-1800cl.1.qdimacs | ssolve | 0.02 | 7 |
| mA-t2-4qbf-5cnf-150var-1800cl | 4qbf-5cnf-150var-1800cl.2.qdimacs | ssolve | 0.02 | 7 |
| mA-t2-4qbf-5cnf-150var-2100cl | 4qbf-5cnf-150var-2100cl.1.qdimacs | ssolve | 0.02 | 9 |
| mA-t2-4qbf-5cnf-150var-2100cl | 4qbf-5cnf-150var-2100cl.2.qdimacs | ssolve | 0.04 | 7 |
| mA-t2-4qbf-5cnf-150var-2400cl | 4qbf-5cnf-150var-2400cl.1.qdimacs | semprop | 0.01 | 9 |
| mA-t2-4qbf-5cnf-150var-2400cl | 4qbf-5cnf-150var-2400cl.2.qdimacs | ssolve | 0.03 | 9 |
| mA-t2-4qbf-5cnf-150var-2700cl | 4qbf-5cnf-150var-2700cl.1.qdimacs | semprop | 0.03 | 7 |
| mA-t2-4qbf-5cnf-150var-2700cl | 4qbf-5cnf-150var-2700cl.2.qdimacs | semprop | 0.02 | 9 |
| mA-t2-4qbf-5cnf-150var-300cl | 4qbf-5cnf-150var-300cl.1.qdimacs | Clearn | 0 | 14 |
| mA-t2-4qbf-5cnf-150var-300cl | 4qbf-5cnf-150var-300cl.2.qdimacs | CSBJ | 0 | 14 |
| mA-t2-4qbf-5cnf-150var-600cl | 4qbf-5cnf-150var-600cl.1.qdimacs | qbfl.JW | 0 | 5 |
| mA-t2-4qbf-5cnf-150var-600cl | 4qbf-5cnf-150var-600cl.2.qdimacs | ssolve | 0 | 5 |
| mA-t2-4qbf-5cnf-150var-900cl | 4qbf-5cnf-150var-900cl.1.qdimacs | ssolve | 2.03 | 3 |
| mA-t2-4qbf-5cnf-150var-900cl | 4qbf-5cnf-150var-900cl.2.qdimacs | ssolve | 0.01 | 3 |
| mA-t2-4qbf-5cnf-50var-100cl | 4qbf-5cnf-50var-100cl.1.qdimacs | Clearn | 0.01 | 15 |
| mA-t2-4qbf-5cnf-50var-100cl | 4qbf-5cnf-50var-100cl.2.qdimacs | Clearn | 0 | 15 |
| mA-t2-4qbf-5cnf-50var-200cl | 4qbf-5cnf-50var-200cl.1.qdimacs | ssolve | 0 | 12 |
| mA-t2-4qbf-5cnf-50var-200cl | 4qbf-5cnf-50var-200cl.2.qdimacs | ssolve | 0 | 12 |
| mA-t2-4qbf-5cnf-50var-300cl | 4qbf-5cnf-50var-300cl.1.qdimacs | ssolve | 0.01 | 3 |
| mA-t2-4qbf-5cnf-50var-300cl | 4qbf-5cnf-50var-300cl.2.qdimacs | qbfl.JW | 0 | 5 |
| mA-t2-4qbf-5cnf-50var-400cl | 4qbf-5cnf-50var-400cl.1.qdimacs | semprop | 0.46 | 4 |
| mA-t2-4qbf-5cnf-50var-400cl | 4qbf-5cnf-50var-400cl.2.qdimacs | semprop | 0.01 | 8 |
| mA-t2-4qbf-5cnf-50var-500cl | 4qbf-5cnf-50var-500cl.1.qdimacs | semprop | 0 | 6 |
| mA-t2-4qbf-5cnf-50var-500cl | 4qbf-5cnf-50var-500cl.2.qdimacs | semprop | 0 | 8 |
| mA-t2-4qbf-5cnf-50var-600cl | 4qbf-5cnf-50var-600cl.1.qdimacs | semprop | 0.01 | 11 |
| mA-t2-4qbf-5cnf-50var-600cl | 4qbf-5cnf-50var-600cl.2.qdimacs | ssolve | 0.01 | 9 |
| mA-t2-4qbf-5cnf-50var-700cl | 4qbf-5cnf-50var-700cl.1.qdimacs | ssolve | 0.01 | 10 |
| mA-t2-4qbf-5cnf-50var-700cl | 4qbf-5cnf-50var-700cl.2.qdimacs | semprop | 0.01 | 9 |
| mA-t2-4qbf-5cnf-50var-800cl | 4qbf-5cnf-50var-800cl.1.qdimacs | semprop | 0 | 12 |
| mA-t2-4qbf-5cnf-50var-800cl | 4qbf-5cnf-50var-800cl.2.qdimacs | ssolve | 0.01 | 9 |
| mA-t2-4qbf-5cnf-50var-900cl | 4qbf-5cnf-50var-900cl.1.qdimacs | semprop | 0 | 10 |
| mA-t2-4qbf-5cnf-50var-900cl | 4qbf-5cnf-50var-900cl.2.qdimacs | ssolve | 0.01 | 11 |
| mA-t2-5qbf-5cnf-100var-1000cl | 5qbf-5cnf-100var-1000cl.1.qdimacs | qbfl.BS | 0.01 | 4 |
| mA-t2-5qbf-5cnf-100var-1000cl | 5qbf-5cnf-100var-1000cl.2.qdimacs | eqube-bj | 2.79 | 2 |
| mA-t2-5qbf-5cnf-100var-1200cl | 5qbf-5cnf-100var-1200cl.1.qdimacs | eqube-lrn | 2.48 | 2 |
| mA-t2-5qbf-5cnf-100var-1200cl | 5qbf-5cnf-100var-1200cl.2.qdimacs | eqube-lrn | 2.21 | 2 |
| mA-t2-5qbf-5cnf-100var-1400cl | 5qbf-5cnf-100var-1400cl.1.qdimacs | ssolve | 0.54 | 4 |
| mA-t2-5qbf-5cnf-100var-1400cl | 5qbf-5cnf-100var-1400cl.2.qdimacs | ssolve | 0.02 | 4 |
| mA-t2-5qbf-5cnf-100var-1600cl | 5qbf-5cnf-100var-1600cl.1.qdimacs | ssolve | 0.02 | 4 |
| mA-t2-5qbf-5cnf-100var-1600cl | 5qbf-5cnf-100var-1600cl.2.qdimacs | ssolve | 0.03 | 4 |
| mA-t2-5qbf-5cnf-100var-1800cl | 5qbf-5cnf-100var-1800cl.1.qdimacs | ssolve | 0.01 | 6 |
| mA-t2-5qbf-5cnf-100var-1800cl | 5qbf-5cnf-100var-1800cl.2.qdimacs | ssolve | 0.02 | 4 |
| mA-t2-5qbf-5cnf-100var-200cl | 5qbf-5cnf-100var-200cl.1.qdimacs | Clearn | 0 | 15 |
| mA-t2-5qbf-5cnf-100var-200cl | 5qbf-5cnf-100var-200cl.2.qdimacs | Clearn | 0 | 15 |
| mA-t2-5qbf-5cnf-100var-400cl | 5qbf-5cnf-100var-400cl.1.qdimacs | Clearn | 0 | 14 |
| mA-t2-5qbf-5cnf-100var-400cl | 5qbf-5cnf-100var-400cl.2.qdimacs | Clearn | 0 | 14 |
| mA-t2-5qbf-5cnf-100var-600cl | 5qbf-5cnf-100var-600cl.1.qdimacs | qbfl.BS | 0 | 12 |
| mA-t2-5qbf-5cnf-100var-600cl | 5qbf-5cnf-100var-600cl.2.qdimacs | CSBJ | 0.01 | 12 |
| mA-t2-5qbf-5cnf-100var-800cl | 5qbf-5cnf-100var-800cl.1.qdimacs | qbfl.BS | 0 | 7 |
| mA-t2-5qbf-5cnf-100var-800cl | 5qbf-5cnf-100var-800cl.2.qdimacs | qbfl.BS | 0.01 | 5 |
| mA-t2-5qbf-5cnf-150var-1200cl | 5qbf-5cnf-150var-1200cl.1.qdimacs | qbfl.JW | 0 | 4 |
| mA-t2-5qbf-5cnf-150var-1200cl | 5qbf-5cnf-150var-1200cl.2.qdimacs | qbfl.JW | 0 | 4 |
| mA-t2-5qbf-5cnf-150var-1500cl | 5qbf-5cnf-150var-1500cl.1.qdimacs | qbfl.BS | 0.01 | 4 |
| mA-t2-5qbf-5cnf-150var-1500cl | 5qbf-5cnf-150var-1500cl.2.qdimacs | qbfl.BS | 0.01 | 4 |
| mA-t2-5qbf-5cnf-150var-1800cl | 5qbf-5cnf-150var-1800cl.1.qdimacs | eqube-lrn | 17.41 | 2 |
| mA-t2-5qbf-5cnf-150var-1800cl | 5qbf-5cnf-150var-1800cl.2.qdimacs | eqube-bj | 51.22 | 2 |
| mA-t2-5qbf-5cnf-150var-2100cl | 5qbf-5cnf-150var-2100cl.1.qdimacs | ssolve | 0.03 | 4 |
| mA-t2-5qbf-5cnf-150var-2100cl | 5qbf-5cnf-150var-2100cl.2.qdimacs | ssolve | 0.06 | 3 |
| mA-t2-5qbf-5cnf-150var-2400cl | 5qbf-5cnf-150var-2400cl.1.qdimacs | ssolve | 0.03 | 3 |
| mA-t2-5qbf-5cnf-150var-2400cl | 5qbf-5cnf-150var-2400cl.2.qdimacs | ssolve | 0.03 | 4 |
| mA-t2-5qbf-5cnf-150var-2700cl | 5qbf-5cnf-150var-2700cl.1.qdimacs | ssolve | 0.03 | 6 |
| mA-t2-5qbf-5cnf-150var-2700cl | 5qbf-5cnf-150var-2700cl.2.qdimacs | ssolve | 0.03 | 4 |
| mA-t2-5qbf-5cnf-150var-300cl | 5qbf-5cnf-150var-300cl.1.qdimacs | qbfl.BS | 0 | 14 |
| mA-t2-5qbf-5cnf-150var-300cl | 5qbf-5cnf-150var-300cl.2.qdimacs | quantor-2.1 | 0 | 15 |
| mA-t2-5qbf-5cnf-150var-600cl | 5qbf-5cnf-150var-600cl.1.qdimacs | CSBJ | 0 | 13 |
| mA-t2-5qbf-5cnf-150var-600cl | 5qbf-5cnf-150var-600cl.2.qdimacs | CSBJ | 0 | 13 |
| mA-t2-5qbf-5cnf-150var-900cl | 5qbf-5cnf-150var-900cl.1.qdimacs | qbfl.BS | 0.01 | 12 |
| mA-t2-5qbf-5cnf-150var-900cl | 5qbf-5cnf-150var-900cl.2.qdimacs | qbfl.JW | 0.01 | 12 |
| mA-t2-5qbf-5cnf-50var-100cl | 5qbf-5cnf-50var-100cl.1.qdimacs | GRL | 0 | 15 |
| mA-t2-5qbf-5cnf-50var-100cl | 5qbf-5cnf-50var-100cl.2.qdimacs | qbfl.JW | 0 | 15 |
| mA-t2-5qbf-5cnf-50var-200cl | 5qbf-5cnf-50var-200cl.1.qdimacs | CSBJ | 0 | 15 |
| mA-t2-5qbf-5cnf-50var-200cl | 5qbf-5cnf-50var-200cl.2.qdimacs | CSBJ | 0 | 15 |
| mA-t2-5qbf-5cnf-50var-300cl | 5qbf-5cnf-50var-300cl.1.qdimacs | GRL | 0 | 13 |
| mA-t2-5qbf-5cnf-50var-300cl | 5qbf-5cnf-50var-300cl.2.qdimacs | CSBJ | 0 | 12 |
| mA-t2-5qbf-5cnf-50var-400cl | 5qbf-5cnf-50var-400cl.1.qdimacs | qbfl.JW | 0.01 | 10 |
| mA-t2-5qbf-5cnf-50var-400cl | 5qbf-5cnf-50var-400cl.2.qdimacs | qbfl.JW | 0.01 | 10 |
| mA-t2-5qbf-5cnf-50var-500cl | 5qbf-5cnf-50var-500cl.1.qdimacs | qbfl.JW | 0.01 | 4 |
| mA-t2-5qbf-5cnf-50var-500cl | 5qbf-5cnf-50var-500cl.2.qdimacs | qbfl.JW | 0 | 9 |
| mA-t2-5qbf-5cnf-50var-600cl | 5qbf-5cnf-50var-600cl.1.qdimacs | eqube-lrn | 1.08 | 2 |
| mA-t2-5qbf-5cnf-50var-600cl | 5qbf-5cnf-50var-600cl.2.qdimacs | semprop | 0.07 | 7 |
| mA-t2-5qbf-5cnf-50var-700cl | 5qbf-5cnf-50var-700cl.1.qdimacs | ssolve | 0.02 | 7 |
| mA-t2-5qbf-5cnf-50var-700cl | 5qbf-5cnf-50var-700cl.2.qdimacs | ssolve | 0.23 | 8 |
| mA-t2-5qbf-5cnf-50var-800cl | 5qbf-5cnf-50var-800cl.1.qdimacs | ssolve | 0.03 | 5 |
| mA-t2-5qbf-5cnf-50var-800cl | 5qbf-5cnf-50var-800cl.2.qdimacs | ssolve | 0.02 | 8 |
| mA-t2-5qbf-5cnf-50var-900cl | 5qbf-5cnf-50var-900cl.1.qdimacs | semprop | 0.02 | 8 |
| mA-t2-5qbf-5cnf-50var-900cl | 5qbf-5cnf-50var-900cl.2.qdimacs | ssolve | 0.02 | 8 |
| mB-t2-2qbf-5cnf-100var-1000cl | 2qbf-5cnf-100var-1000cl.1.qdimacs | qsat | 0 | 13 |
| mB-t2-2qbf-5cnf-100var-1000cl | 2qbf-5cnf-100var-1000cl.2.qdimacs | CSBJ | 0 | 13 |
| mB-t2-2qbf-5cnf-100var-1200cl | 2qbf-5cnf-100var-1200cl.1.qdimacs | Clearn | 0.01 | 13 |
| mB-t2-2qbf-5cnf-100var-1200cl | 2qbf-5cnf-100var-1200cl.2.qdimacs | qbfl.JW | 0 | 13 |
| mB-t2-2qbf-5cnf-100var-1400cl | 2qbf-5cnf-100var-1400cl.1.qdimacs | Clearn | 0.01 | 13 |
| mB-t2-2qbf-5cnf-100var-1400cl | 2qbf-5cnf-100var-1400cl.2.qdimacs | Clearn | 0.01 | 13 |
| mB-t2-2qbf-5cnf-100var-1600cl | 2qbf-5cnf-100var-1600cl.1.qdimacs | Clearn | 0.01 | 13 |
| mB-t2-2qbf-5cnf-100var-1600cl | 2qbf-5cnf-100var-1600cl.2.qdimacs | Clearn | 0.01 | 13 |
| mB-t2-2qbf-5cnf-100var-1800cl | 2qbf-5cnf-100var-1800cl.1.qdimacs | Clearn | 0.01 | 13 |
| mB-t2-2qbf-5cnf-100var-1800cl | 2qbf-5cnf-100var-1800cl.2.qdimacs | Clearn | 0 | 13 |
| mB-t2-2qbf-5cnf-100var-200cl | 2qbf-5cnf-100var-200cl.1.qdimacs | quantor-2.1 | 0.03 | 11 |
| mB-t2-2qbf-5cnf-100var-200cl | 2qbf-5cnf-100var-200cl.2.qdimacs | ssolve | 0 | 13 |
| mB-t2-2qbf-5cnf-100var-400cl | 2qbf-5cnf-100var-400cl.1.qdimacs | qbfl.BS | 0.01 | 11 |
| mB-t2-2qbf-5cnf-100var-400cl | 2qbf-5cnf-100var-400cl.2.qdimacs | semprop | 0.01 | 11 |
| mB-t2-2qbf-5cnf-100var-600cl | 2qbf-5cnf-100var-600cl.1.qdimacs | Clearn | 0 | 12 |
| mB-t2-2qbf-5cnf-100var-600cl | 2qbf-5cnf-100var-600cl.2.qdimacs | CSBJ | 0.01 | 12 |
| mB-t2-2qbf-5cnf-100var-800cl | 2qbf-5cnf-100var-800cl.1.qdimacs | Clearn | 0 | 12 |
| mB-t2-2qbf-5cnf-100var-800cl | 2qbf-5cnf-100var-800cl.2.qdimacs | semprop | 0 | 13 |
| mB-t2-2qbf-5cnf-150var-1200cl | 2qbf-5cnf-150var-1200cl.1.qdimacs | semprop | 0 | 13 |
| mB-t2-2qbf-5cnf-150var-1200cl | 2qbf-5cnf-150var-1200cl.2.qdimacs | Clearn | 0 | 12 |
| mB-t2-2qbf-5cnf-150var-1500cl | 2qbf-5cnf-150var-1500cl.1.qdimacs | semprop | 0.01 | 13 |
| mB-t2-2qbf-5cnf-150var-1500cl | 2qbf-5cnf-150var-1500cl.2.qdimacs | Clearn | 0.01 | 13 |
| mB-t2-2qbf-5cnf-150var-1800cl | 2qbf-5cnf-150var-1800cl.1.qdimacs | Clearn | 0.01 | 13 |
| mB-t2-2qbf-5cnf-150var-1800cl | 2qbf-5cnf-150var-1800cl.2.qdimacs | Clearn | 0.01 | 13 |
| mB-t2-2qbf-5cnf-150var-2100cl | 2qbf-5cnf-150var-2100cl.1.qdimacs | Clearn | 0.01 | 13 |
| mB-t2-2qbf-5cnf-150var-2100cl | 2qbf-5cnf-150var-2100cl.2.qdimacs | CSBJ | 0.01 | 13 |
| mB-t2-2qbf-5cnf-150var-2400cl | 2qbf-5cnf-150var-2400cl.1.qdimacs | semprop | 0.01 | 13 |
| mB-t2-2qbf-5cnf-150var-2400cl | 2qbf-5cnf-150var-2400cl.2.qdimacs | ssolve | 0.01 | 13 |
| mB-t2-2qbf-5cnf-150var-2700cl | 2qbf-5cnf-150var-2700cl.1.qdimacs | Clearn | 0.02 | 13 |
| mB-t2-2qbf-5cnf-150var-2700cl | 2qbf-5cnf-150var-2700cl.2.qdimacs | Clearn | 0.01 | 13 |
| mB-t2-2qbf-5cnf-150var-300cl | 2qbf-5cnf-150var-300cl.1.qdimacs | semprop | 0 | 13 |
| mB-t2-2qbf-5cnf-150var-300cl | 2qbf-5cnf-150var-300cl.2.qdimacs | Clearn | 0.01 | 14 |
| mB-t2-2qbf-5cnf-150var-600cl | 2qbf-5cnf-150var-600cl.1.qdimacs | Clearn | 0 | 12 |
| mB-t2-2qbf-5cnf-150var-600cl | 2qbf-5cnf-150var-600cl.2.qdimacs | semprop | 0 | 11 |
| mB-t2-2qbf-5cnf-150var-900cl | 2qbf-5cnf-150var-900cl.1.qdimacs | Clearn | 0 | 12 |
| mB-t2-2qbf-5cnf-150var-900cl | 2qbf-5cnf-150var-900cl.2.qdimacs | ssolve | 0 | 12 |
| mB-t2-2qbf-5cnf-50var-100cl | 2qbf-5cnf-50var-100cl.1.qdimacs | quantor-2.1 | 0 | 14 |
| mB-t2-2qbf-5cnf-50var-100cl | 2qbf-5cnf-50var-100cl.2.qdimacs | qsat | 0 | 15 |
| mB-t2-2qbf-5cnf-50var-200cl | 2qbf-5cnf-50var-200cl.1.qdimacs | ssolve | 0 | 14 |
| mB-t2-2qbf-5cnf-50var-200cl | 2qbf-5cnf-50var-200cl.2.qdimacs | semprop | 0.01 | 14 |
| mB-t2-2qbf-5cnf-50var-300cl | 2qbf-5cnf-50var-300cl.1.qdimacs | Clearn | 0 | 13 |
| mB-t2-2qbf-5cnf-50var-300cl | 2qbf-5cnf-50var-300cl.2.qdimacs | CSBJ | 0 | 12 |
| mB-t2-2qbf-5cnf-50var-400cl | 2qbf-5cnf-50var-400cl.1.qdimacs | CSBJ | 0 | 13 |
| mB-t2-2qbf-5cnf-50var-400cl | 2qbf-5cnf-50var-400cl.2.qdimacs | GRL | 0 | 13 |
| mB-t2-2qbf-5cnf-50var-500cl | 2qbf-5cnf-50var-500cl.1.qdimacs | qbfl.JW | 0 | 13 |
| mB-t2-2qbf-5cnf-50var-500cl | 2qbf-5cnf-50var-500cl.2.qdimacs | semprop | 0 | 13 |
| mB-t2-2qbf-5cnf-50var-600cl | 2qbf-5cnf-50var-600cl.1.qdimacs | qsat | 0 | 13 |
| mB-t2-2qbf-5cnf-50var-600cl | 2qbf-5cnf-50var-600cl.2.qdimacs | Clearn | 0 | 13 |
| mB-t2-2qbf-5cnf-50var-700cl | 2qbf-5cnf-50var-700cl.1.qdimacs | Clearn | 0 | 13 |
| mB-t2-2qbf-5cnf-50var-700cl | 2qbf-5cnf-50var-700cl.2.qdimacs | Clearn | 0 | 13 |
| mB-t2-2qbf-5cnf-50var-800cl | 2qbf-5cnf-50var-800cl.1.qdimacs | Clearn | 0 | 13 |
| mB-t2-2qbf-5cnf-50var-800cl | 2qbf-5cnf-50var-800cl.2.qdimacs | Clearn | 0 | 13 |
| mB-t2-2qbf-5cnf-50var-900cl | 2qbf-5cnf-50var-900cl.1.qdimacs | Clearn | 0 | 13 |
| mB-t2-2qbf-5cnf-50var-900cl | 2qbf-5cnf-50var-900cl.2.qdimacs | qbfl.BS | 0 | 13 |
| mB-t2-3qbf-5cnf-100var-1000cl | 3qbf-5cnf-100var-1000cl.1.qdimacs | ssolve | 0 | 15 |
| mB-t2-3qbf-5cnf-100var-1000cl | 3qbf-5cnf-100var-1000cl.2.qdimacs | semprop | 0 | 15 |
| mB-t2-3qbf-5cnf-100var-1200cl | 3qbf-5cnf-100var-1200cl.1.qdimacs | semprop | 0 | 15 |
| mB-t2-3qbf-5cnf-100var-1200cl | 3qbf-5cnf-100var-1200cl.2.qdimacs | CSBJ | 0 | 14 |
| mB-t2-3qbf-5cnf-100var-1400cl | 3qbf-5cnf-100var-1400cl.1.qdimacs | WalkQSAT | 0 | 14 |
| mB-t2-3qbf-5cnf-100var-1400cl | 3qbf-5cnf-100var-1400cl.2.qdimacs | Clearn | 0.01 | 14 |
| mB-t2-3qbf-5cnf-100var-1600cl | 3qbf-5cnf-100var-1600cl.1.qdimacs | CSBJ | 0 | 14 |
| mB-t2-3qbf-5cnf-100var-1600cl | 3qbf-5cnf-100var-1600cl.2.qdimacs | CSBJ | 0 | 15 |
| mB-t2-3qbf-5cnf-100var-1800cl | 3qbf-5cnf-100var-1800cl.1.qdimacs | CSBJ | 0 | 16 |
| mB-t2-3qbf-5cnf-100var-1800cl | 3qbf-5cnf-100var-1800cl.2.qdimacs | CSBJ | 0.01 | 16 |
| mB-t2-3qbf-5cnf-100var-200cl | 3qbf-5cnf-100var-200cl.1.qdimacs | CSBJ | 0 | 15 |
| mB-t2-3qbf-5cnf-100var-200cl | 3qbf-5cnf-100var-200cl.2.qdimacs | Clearn | 0 | 14 |
| mB-t2-3qbf-5cnf-100var-400cl | 3qbf-5cnf-100var-400cl.1.qdimacs | semprop | 0 | 12 |
| mB-t2-3qbf-5cnf-100var-400cl | 3qbf-5cnf-100var-400cl.2.qdimacs | Clearn | 0 | 13 |
| mB-t2-3qbf-5cnf-100var-600cl | 3qbf-5cnf-100var-600cl.1.qdimacs | Clearn | 0.01 | 15 |
| mB-t2-3qbf-5cnf-100var-600cl | 3qbf-5cnf-100var-600cl.2.qdimacs | CSBJ | 0 | 15 |
| mB-t2-3qbf-5cnf-100var-800cl | 3qbf-5cnf-100var-800cl.1.qdimacs | Clearn | 0.01 | 15 |
| mB-t2-3qbf-5cnf-100var-800cl | 3qbf-5cnf-100var-800cl.2.qdimacs | CSBJ | 0 | 15 |
| mB-t2-3qbf-5cnf-150var-1200cl | 3qbf-5cnf-150var-1200cl.1.qdimacs | CSBJ | 0 | 14 |
| mB-t2-3qbf-5cnf-150var-1200cl | 3qbf-5cnf-150var-1200cl.2.qdimacs | CSBJ | 0 | 14 |
| mB-t2-3qbf-5cnf-150var-1500cl | 3qbf-5cnf-150var-1500cl.1.qdimacs | CSBJ | 0 | 14 |
| mB-t2-3qbf-5cnf-150var-1500cl | 3qbf-5cnf-150var-1500cl.2.qdimacs | CSBJ | 0 | 14 |
| mB-t2-3qbf-5cnf-150var-1800cl | 3qbf-5cnf-150var-1800cl.1.qdimacs | CSBJ | 0.01 | 13 |
| mB-t2-3qbf-5cnf-150var-1800cl | 3qbf-5cnf-150var-1800cl.2.qdimacs | semprop | 0.01 | 13 |
| mB-t2-3qbf-5cnf-150var-2100cl | 3qbf-5cnf-150var-2100cl.1.qdimacs | CSBJ | 0.01 | 14 |
| mB-t2-3qbf-5cnf-150var-2100cl | 3qbf-5cnf-150var-2100cl.2.qdimacs | semprop | 0 | 14 |
| mB-t2-3qbf-5cnf-150var-2400cl | 3qbf-5cnf-150var-2400cl.1.qdimacs | WalkQSAT | 0 | 15 |
| mB-t2-3qbf-5cnf-150var-2400cl | 3qbf-5cnf-150var-2400cl.2.qdimacs | WalkQSAT | 0 | 13 |
| mB-t2-3qbf-5cnf-150var-2700cl | 3qbf-5cnf-150var-2700cl.1.qdimacs | CSBJ | 0.01 | 15 |
| mB-t2-3qbf-5cnf-150var-2700cl | 3qbf-5cnf-150var-2700cl.2.qdimacs | CSBJ | 0.01 | 14 |
| mB-t2-3qbf-5cnf-150var-300cl | 3qbf-5cnf-150var-300cl.1.qdimacs | CSBJ | 0 | 14 |
| mB-t2-3qbf-5cnf-150var-300cl | 3qbf-5cnf-150var-300cl.2.qdimacs | CSBJ | 0 | 14 |
| mB-t2-3qbf-5cnf-150var-600cl | 3qbf-5cnf-150var-600cl.1.qdimacs | CSBJ | 0.01 | 12 |
| mB-t2-3qbf-5cnf-150var-600cl | 3qbf-5cnf-150var-600cl.2.qdimacs | quantor-2.1 | 0.01 | 11 |
| mB-t2-3qbf-5cnf-150var-900cl | 3qbf-5cnf-150var-900cl.1.qdimacs | Clearn | 0.01 | 14 |
| mB-t2-3qbf-5cnf-150var-900cl | 3qbf-5cnf-150var-900cl.2.qdimacs | ssolve | 0 | 15 |
| mB-t2-3qbf-5cnf-50var-100cl | 3qbf-5cnf-50var-100cl.1.qdimacs | CSBJ | 0 | 15 |
| mB-t2-3qbf-5cnf-50var-100cl | 3qbf-5cnf-50var-100cl.2.qdimacs | CSBJ | 0 | 15 |
| mB-t2-3qbf-5cnf-50var-200cl | 3qbf-5cnf-50var-200cl.1.qdimacs | CSBJ | 0 | 14 |
| mB-t2-3qbf-5cnf-50var-200cl | 3qbf-5cnf-50var-200cl.2.qdimacs | Clearn | 0 | 15 |
| mB-t2-3qbf-5cnf-50var-300cl | 3qbf-5cnf-50var-300cl.1.qdimacs | CSBJ | 0 | 16 |
| mB-t2-3qbf-5cnf-50var-300cl | 3qbf-5cnf-50var-300cl.2.qdimacs | Clearn | 0 | 15 |
| mB-t2-3qbf-5cnf-50var-400cl | 3qbf-5cnf-50var-400cl.1.qdimacs | Clearn | 0 | 15 |
| mB-t2-3qbf-5cnf-50var-400cl | 3qbf-5cnf-50var-400cl.2.qdimacs | CSBJ | 0 | 16 |
| mB-t2-3qbf-5cnf-50var-500cl | 3qbf-5cnf-50var-500cl.1.qdimacs | Clearn | 0 | 16 |
| mB-t2-3qbf-5cnf-50var-500cl | 3qbf-5cnf-50var-500cl.2.qdimacs | GRL | 0 | 16 |
| mB-t2-3qbf-5cnf-50var-600cl | 3qbf-5cnf-50var-600cl.1.qdimacs | CSBJ | 0 | 16 |
| mB-t2-3qbf-5cnf-50var-600cl | 3qbf-5cnf-50var-600cl.2.qdimacs | CSBJ | 0 | 16 |
| mB-t2-3qbf-5cnf-50var-700cl | 3qbf-5cnf-50var-700cl.1.qdimacs | CSBJ | 0 | 16 |
| mB-t2-3qbf-5cnf-50var-700cl | 3qbf-5cnf-50var-700cl.2.qdimacs | Clearn | 0 | 16 |
| mB-t2-3qbf-5cnf-50var-800cl | 3qbf-5cnf-50var-800cl.1.qdimacs | CSBJ | 0 | 16 |
| mB-t2-3qbf-5cnf-50var-800cl | 3qbf-5cnf-50var-800cl.2.qdimacs | Clearn | 0 | 16 |
| mB-t2-3qbf-5cnf-50var-900cl | 3qbf-5cnf-50var-900cl.1.qdimacs | CSBJ | 0 | 15 |
| mB-t2-3qbf-5cnf-50var-900cl | 3qbf-5cnf-50var-900cl.2.qdimacs | CSBJ | 0 | 16 |
| mB-t2-4qbf-5cnf-100var-1000cl | 4qbf-5cnf-100var-1000cl.1.qdimacs | CSBJ | 0 | 10 |
| mB-t2-4qbf-5cnf-100var-1000cl | 4qbf-5cnf-100var-1000cl.2.qdimacs | CSBJ | 0 | 10 |
| mB-t2-4qbf-5cnf-100var-1200cl | 4qbf-5cnf-100var-1200cl.1.qdimacs | CSBJ | 0 | 10 |
| mB-t2-4qbf-5cnf-100var-1200cl | 4qbf-5cnf-100var-1200cl.2.qdimacs | Clearn | 0.01 | 10 |
| mB-t2-4qbf-5cnf-100var-1400cl | 4qbf-5cnf-100var-1400cl.1.qdimacs | semprop | 0.01 | 11 |
| mB-t2-4qbf-5cnf-100var-1400cl | 4qbf-5cnf-100var-1400cl.2.qdimacs | CSBJ | 0.01 | 12 |
| mB-t2-4qbf-5cnf-100var-1600cl | 4qbf-5cnf-100var-1600cl.1.qdimacs | CSBJ | 0.01 | 12 |
| mB-t2-4qbf-5cnf-100var-1600cl | 4qbf-5cnf-100var-1600cl.2.qdimacs | CSBJ | 0.01 | 12 |
| mB-t2-4qbf-5cnf-100var-1800cl | 4qbf-5cnf-100var-1800cl.1.qdimacs | Clearn | 0.01 | 12 |
| mB-t2-4qbf-5cnf-100var-1800cl | 4qbf-5cnf-100var-1800cl.2.qdimacs | semprop | 0.01 | 12 |
| mB-t2-4qbf-5cnf-100var-200cl | 4qbf-5cnf-100var-200cl.1.qdimacs | qbfl.BS | 0 | 14 |
| mB-t2-4qbf-5cnf-100var-200cl | 4qbf-5cnf-100var-200cl.2.qdimacs | ssolve | 0 | 14 |
| mB-t2-4qbf-5cnf-100var-400cl | 4qbf-5cnf-100var-400cl.1.qdimacs | Clearn | 0 | 13 |
| mB-t2-4qbf-5cnf-100var-400cl | 4qbf-5cnf-100var-400cl.2.qdimacs | Clearn | 0 | 12 |
| mB-t2-4qbf-5cnf-100var-600cl | 4qbf-5cnf-100var-600cl.1.qdimacs | Clearn | 0 | 12 |
| mB-t2-4qbf-5cnf-100var-600cl | 4qbf-5cnf-100var-600cl.2.qdimacs | Clearn | 0 | 12 |
| mB-t2-4qbf-5cnf-100var-800cl | 4qbf-5cnf-100var-800cl.1.qdimacs | Clearn | 0 | 11 |
| mB-t2-4qbf-5cnf-100var-800cl | 4qbf-5cnf-100var-800cl.2.qdimacs | semprop | 0 | 12 |
| mB-t2-4qbf-5cnf-150var-1200cl | 4qbf-5cnf-150var-1200cl.1.qdimacs | Clearn | 0.01 | 10 |
| mB-t2-4qbf-5cnf-150var-1200cl | 4qbf-5cnf-150var-1200cl.2.qdimacs | CSBJ | 0.01 | 10 |
| mB-t2-4qbf-5cnf-150var-1500cl | 4qbf-5cnf-150var-1500cl.1.qdimacs | Clearn | 0.01 | 10 |
| mB-t2-4qbf-5cnf-150var-1500cl | 4qbf-5cnf-150var-1500cl.2.qdimacs | Clearn | 0.01 | 10 |
| mB-t2-4qbf-5cnf-150var-1800cl | 4qbf-5cnf-150var-1800cl.1.qdimacs | semprop | 0.01 | 10 |
| mB-t2-4qbf-5cnf-150var-1800cl | 4qbf-5cnf-150var-1800cl.2.qdimacs | Clearn | 0.01 | 11 |
| mB-t2-4qbf-5cnf-150var-2100cl | 4qbf-5cnf-150var-2100cl.1.qdimacs | Clearn | 0.02 | 11 |
| mB-t2-4qbf-5cnf-150var-2100cl | 4qbf-5cnf-150var-2100cl.2.qdimacs | CSBJ | 0.01 | 11 |
| mB-t2-4qbf-5cnf-150var-2400cl | 4qbf-5cnf-150var-2400cl.1.qdimacs | semprop | 0.01 | 11 |
| mB-t2-4qbf-5cnf-150var-2400cl | 4qbf-5cnf-150var-2400cl.2.qdimacs | semprop | 0.01 | 11 |
| mB-t2-4qbf-5cnf-150var-2700cl | 4qbf-5cnf-150var-2700cl.1.qdimacs | semprop | 0.01 | 11 |
| mB-t2-4qbf-5cnf-150var-2700cl | 4qbf-5cnf-150var-2700cl.2.qdimacs | semprop | 0.01 | 11 |
| mB-t2-4qbf-5cnf-150var-300cl | 4qbf-5cnf-150var-300cl.1.qdimacs | Clearn | 0 | 14 |
| mB-t2-4qbf-5cnf-150var-300cl | 4qbf-5cnf-150var-300cl.2.qdimacs | qbfl.JW | 0 | 14 |
| mB-t2-4qbf-5cnf-150var-600cl | 4qbf-5cnf-150var-600cl.1.qdimacs | qbfl.JW | 0 | 11 |
| mB-t2-4qbf-5cnf-150var-600cl | 4qbf-5cnf-150var-600cl.2.qdimacs | Clearn | 0.01 | 11 |
| mB-t2-4qbf-5cnf-150var-900cl | 4qbf-5cnf-150var-900cl.1.qdimacs | semprop | 0 | 12 |
| mB-t2-4qbf-5cnf-150var-900cl | 4qbf-5cnf-150var-900cl.2.qdimacs | ssolve | 0.01 | 12 |
| mB-t2-4qbf-5cnf-50var-100cl | 4qbf-5cnf-50var-100cl.1.qdimacs | qbfl.BS | 0 | 14 |
| mB-t2-4qbf-5cnf-50var-100cl | 4qbf-5cnf-50var-100cl.2.qdimacs | Clearn | 0 | 15 |
| mB-t2-4qbf-5cnf-50var-200cl | 4qbf-5cnf-50var-200cl.1.qdimacs | CSBJ | 0 | 14 |
| mB-t2-4qbf-5cnf-50var-200cl | 4qbf-5cnf-50var-200cl.2.qdimacs | Clearn | 0.01 | 14 |
| mB-t2-4qbf-5cnf-50var-300cl | 4qbf-5cnf-50var-300cl.1.qdimacs | WalkQSAT | 0 | 12 |
| mB-t2-4qbf-5cnf-50var-300cl | 4qbf-5cnf-50var-300cl.2.qdimacs | Clearn | 0 | 12 |
| mB-t2-4qbf-5cnf-50var-400cl | 4qbf-5cnf-50var-400cl.1.qdimacs | Clearn | 0 | 12 |
| mB-t2-4qbf-5cnf-50var-400cl | 4qbf-5cnf-50var-400cl.2.qdimacs | Clearn | 0 | 13 |
| mB-t2-4qbf-5cnf-50var-500cl | 4qbf-5cnf-50var-500cl.1.qdimacs | semprop | 0 | 13 |
| mB-t2-4qbf-5cnf-50var-500cl | 4qbf-5cnf-50var-500cl.2.qdimacs | Clearn | 0 | 13 |
| mB-t2-4qbf-5cnf-50var-600cl | 4qbf-5cnf-50var-600cl.1.qdimacs | Clearn | 0 | 13 |
| mB-t2-4qbf-5cnf-50var-600cl | 4qbf-5cnf-50var-600cl.2.qdimacs | Clearn | 0 | 12 |
| mB-t2-4qbf-5cnf-50var-700cl | 4qbf-5cnf-50var-700cl.1.qdimacs | Clearn | 0 | 13 |
| mB-t2-4qbf-5cnf-50var-700cl | 4qbf-5cnf-50var-700cl.2.qdimacs | Clearn | 0 | 13 |
| mB-t2-4qbf-5cnf-50var-800cl | 4qbf-5cnf-50var-800cl.1.qdimacs | Clearn | 0 | 13 |
| mB-t2-4qbf-5cnf-50var-800cl | 4qbf-5cnf-50var-800cl.2.qdimacs | ssolve | 0 | 13 |
| mB-t2-4qbf-5cnf-50var-900cl | 4qbf-5cnf-50var-900cl.1.qdimacs | Clearn | 0 | 13 |
| mB-t2-4qbf-5cnf-50var-900cl | 4qbf-5cnf-50var-900cl.2.qdimacs | Clearn | 0 | 13 |
| mB-t2-5qbf-5cnf-100var-1000cl | 5qbf-5cnf-100var-1000cl.1.qdimacs | CSBJ | 0 | 13 |
| mB-t2-5qbf-5cnf-100var-1000cl | 5qbf-5cnf-100var-1000cl.2.qdimacs | CSBJ | 0 | 13 |
| mB-t2-5qbf-5cnf-100var-1200cl | 5qbf-5cnf-100var-1200cl.1.qdimacs | CSBJ | 0 | 14 |
| mB-t2-5qbf-5cnf-100var-1200cl | 5qbf-5cnf-100var-1200cl.2.qdimacs | CSBJ | 0 | 14 |
| mB-t2-5qbf-5cnf-100var-1400cl | 5qbf-5cnf-100var-1400cl.1.qdimacs | CSBJ | 0 | 14 |
| mB-t2-5qbf-5cnf-100var-1400cl | 5qbf-5cnf-100var-1400cl.2.qdimacs | CSBJ | 0 | 13 |
| mB-t2-5qbf-5cnf-100var-1600cl | 5qbf-5cnf-100var-1600cl.1.qdimacs | CSBJ | 0 | 14 |
| mB-t2-5qbf-5cnf-100var-1600cl | 5qbf-5cnf-100var-1600cl.2.qdimacs | CSBJ | 0 | 14 |
| mB-t2-5qbf-5cnf-100var-1800cl | 5qbf-5cnf-100var-1800cl.1.qdimacs | Clearn | 0.01 | 13 |
| mB-t2-5qbf-5cnf-100var-1800cl | 5qbf-5cnf-100var-1800cl.2.qdimacs | Clearn | 0.01 | 14 |
| mB-t2-5qbf-5cnf-100var-200cl | 5qbf-5cnf-100var-200cl.1.qdimacs | CSBJ | 0 | 14 |
| mB-t2-5qbf-5cnf-100var-200cl | 5qbf-5cnf-100var-200cl.2.qdimacs | Clearn | 0 | 14 |
| mB-t2-5qbf-5cnf-100var-400cl | 5qbf-5cnf-100var-400cl.1.qdimacs | CSBJ | 0 | 14 |
| mB-t2-5qbf-5cnf-100var-400cl | 5qbf-5cnf-100var-400cl.2.qdimacs | Clearn | 0 | 14 |
| mB-t2-5qbf-5cnf-100var-600cl | 5qbf-5cnf-100var-600cl.1.qdimacs | semprop | 0 | 12 |
| mB-t2-5qbf-5cnf-100var-600cl | 5qbf-5cnf-100var-600cl.2.qdimacs | WalkQSAT | 0 | 13 |
| mB-t2-5qbf-5cnf-100var-800cl | 5qbf-5cnf-100var-800cl.1.qdimacs | Clearn | 0.01 | 10 |
| mB-t2-5qbf-5cnf-100var-800cl | 5qbf-5cnf-100var-800cl.2.qdimacs | Clearn | 0.01 | 11 |
| mB-t2-5qbf-5cnf-150var-1200cl | 5qbf-5cnf-150var-1200cl.1.qdimacs | ssolve | 0.01 | 11 |
| mB-t2-5qbf-5cnf-150var-1200cl | 5qbf-5cnf-150var-1200cl.2.qdimacs | ssolve | 0 | 10 |
| mB-t2-5qbf-5cnf-150var-1500cl | 5qbf-5cnf-150var-1500cl.1.qdimacs | CSBJ | 0 | 13 |
| mB-t2-5qbf-5cnf-150var-1500cl | 5qbf-5cnf-150var-1500cl.2.qdimacs | CSBJ | 0.01 | 11 |
| mB-t2-5qbf-5cnf-150var-1800cl | 5qbf-5cnf-150var-1800cl.1.qdimacs | Clearn | 0.01 | 13 |
| mB-t2-5qbf-5cnf-150var-1800cl | 5qbf-5cnf-150var-1800cl.2.qdimacs | Clearn | 0.01 | 13 |
| mB-t2-5qbf-5cnf-150var-2100cl | 5qbf-5cnf-150var-2100cl.1.qdimacs | Clearn | 0.01 | 12 |
| mB-t2-5qbf-5cnf-150var-2100cl | 5qbf-5cnf-150var-2100cl.2.qdimacs | Clearn | 0.01 | 12 |
| mB-t2-5qbf-5cnf-150var-2400cl | 5qbf-5cnf-150var-2400cl.1.qdimacs | Clearn | 0.01 | 11 |
| mB-t2-5qbf-5cnf-150var-2400cl | 5qbf-5cnf-150var-2400cl.2.qdimacs | ssolve | 0.01 | 14 |
| mB-t2-5qbf-5cnf-150var-2700cl | 5qbf-5cnf-150var-2700cl.1.qdimacs | CSBJ | 0.01 | 14 |
| mB-t2-5qbf-5cnf-150var-2700cl | 5qbf-5cnf-150var-2700cl.2.qdimacs | CSBJ | 0.01 | 11 |
| mB-t2-5qbf-5cnf-150var-300cl | 5qbf-5cnf-150var-300cl.1.qdimacs | CSBJ | 0 | 14 |
| mB-t2-5qbf-5cnf-150var-300cl | 5qbf-5cnf-150var-300cl.2.qdimacs | Clearn | 0 | 14 |
| mB-t2-5qbf-5cnf-150var-600cl | 5qbf-5cnf-150var-600cl.1.qdimacs | CSBJ | 0 | 14 |
| mB-t2-5qbf-5cnf-150var-600cl | 5qbf-5cnf-150var-600cl.2.qdimacs | CSBJ | 0 | 13 |
| mB-t2-5qbf-5cnf-150var-900cl | 5qbf-5cnf-150var-900cl.1.qdimacs | yquaffle | 0 | 12 |
| mB-t2-5qbf-5cnf-150var-900cl | 5qbf-5cnf-150var-900cl.2.qdimacs | quantor-2.1 | 0.01 | 11 |
| mB-t2-5qbf-5cnf-50var-100cl | 5qbf-5cnf-50var-100cl.1.qdimacs | Clearn | 0 | 15 |
| mB-t2-5qbf-5cnf-50var-100cl | 5qbf-5cnf-50var-100cl.2.qdimacs | Clearn | 0 | 15 |
| mB-t2-5qbf-5cnf-50var-200cl | 5qbf-5cnf-50var-200cl.1.qdimacs | Clearn | 0 | 14 |
| mB-t2-5qbf-5cnf-50var-200cl | 5qbf-5cnf-50var-200cl.2.qdimacs | Clearn | 0 | 14 |
| mB-t2-5qbf-5cnf-50var-300cl | 5qbf-5cnf-50var-300cl.1.qdimacs | Clearn | 0 | 15 |
| mB-t2-5qbf-5cnf-50var-300cl | 5qbf-5cnf-50var-300cl.2.qdimacs | CSBJ | 0 | 14 |
| mB-t2-5qbf-5cnf-50var-400cl | 5qbf-5cnf-50var-400cl.1.qdimacs | CSBJ | 0 | 12 |
| mB-t2-5qbf-5cnf-50var-400cl | 5qbf-5cnf-50var-400cl.2.qdimacs | CSBJ | 0 | 12 |
| mB-t2-5qbf-5cnf-50var-500cl | 5qbf-5cnf-50var-500cl.1.qdimacs | Clearn | 0 | 15 |
| mB-t2-5qbf-5cnf-50var-500cl | 5qbf-5cnf-50var-500cl.2.qdimacs | Clearn | 0 | 12 |
| mB-t2-5qbf-5cnf-50var-600cl | 5qbf-5cnf-50var-600cl.1.qdimacs | Clearn | 0 | 14 |
| mB-t2-5qbf-5cnf-50var-600cl | 5qbf-5cnf-50var-600cl.2.qdimacs | Clearn | 0 | 13 |
| mB-t2-5qbf-5cnf-50var-700cl | 5qbf-5cnf-50var-700cl.1.qdimacs | Clearn | 0 | 13 |
| mB-t2-5qbf-5cnf-50var-700cl | 5qbf-5cnf-50var-700cl.2.qdimacs | Clearn | 0 | 13 |
| mB-t2-5qbf-5cnf-50var-800cl | 5qbf-5cnf-50var-800cl.1.qdimacs | semprop | 0 | 16 |
| mB-t2-5qbf-5cnf-50var-800cl | 5qbf-5cnf-50var-800cl.2.qdimacs | Clearn | 0 | 15 |
| mB-t2-5qbf-5cnf-50var-900cl | 5qbf-5cnf-50var-900cl.1.qdimacs | semprop | 0 | 15 |
| mB-t2-5qbf-5cnf-50var-900cl | 5qbf-5cnf-50var-900cl.2.qdimacs | Clearn | 0 | 15 |
| MutexP | mutex-128-s.qdimacs | ssolve | 0.07 | 4 |
| MutexP | mutex-16-s.qdimacs | qbfl.BS | 0.01 | 5 |
| MutexP | mutex-2-s.qdimacs | qbfl.BS | 0 | 16 |
| MutexP | mutex-32-s.qdimacs | ssolve | 0.01 | 4 |
| MutexP | mutex-4-s.qdimacs | qbfl.BS | 0 | 16 |
| MutexP | mutex-64-s.qdimacs | ssolve | 0.03 | 4 |
| MutexP | mutex-8-s.qdimacs | ssolve | 0 | 13 |
| RobotsD2 | robots_1_5_2_3.5.qdimacs | eqube-bj | 1.11 | 7 |
| RobotsD2 | robots_1_5_2_38.1.qdimacs | semprop | 0.04 | 14 |
| RobotsD2 | robots_1_5_2_42.7.qdimacs | eqube-lrn | 6.42 | 5 |
| RobotsD2 | robots_1_5_2_61.6.qdimacs | eqube-lrn | 13.57 | 6 |
| RobotsD2 | robots_1_5_2_64.1.qdimacs | semprop | 0.03 | 14 |
| RobotsD2 | robots_1_5_2_69.4.qdimacs | eqube-lrn | 3.68 | 8 |
| RobotsD2 | robots_1_5_2_72.7.qdimacs | eqube-bj | 1.22 | 7 |
| RobotsD2 | robots_1_5_2_93.1.qdimacs | semprop | 0.04 | 14 |
| RobotsD3 | robots_1_5_3_15.6.qdimacs | eqube-lrn | 39.84 | 3 |
| RobotsD3 | robots_1_5_3_16.7.qdimacs | eqube-lrn | 263.39 | 2 |
| RobotsD3 | robots_1_5_3_17.2.qdimacs | yquaffle | 0.18 | 12 |
| RobotsD3 | robots_1_5_3_18.7.qdimacs | eqube-lrn | 11.54 | 4 |
| RobotsD3 | robots_1_5_3_27.9.qdimacs | eqube-lrn | 16.69 | 2 |
| RobotsD3 | robots_1_5_3_62.4.qdimacs | eqube-lrn | 3.06 | 8 |
| RobotsD3 | robots_1_5_3_80.4.qdimacs | eqube-lrn | 3.42 | 8 |
| RobotsD3 | robots_1_5_3_84.7.qdimacs | eqube-lrn | 195.8 | 2 |
| RobotsD4 | robots_1_5_4_21.2.qdimacs | yquaffle | 0.17 | 12 |
| RobotsD4 | robots_1_5_4_31.8.qdimacs | eqube-lrn | 7.71 | 4 |
| RobotsD4 | robots_1_5_4_34.8.qdimacs | eqube-lrn | 433.15 | 1 |
| RobotsD4 | robots_1_5_4_73.2.qdimacs | yquaffle | 0.16 | 12 |
| RobotsD4 | robots_1_5_4_78.1.qdimacs | qbfl.JW | 0.02 | 15 |
| RobotsD4 | robots_1_5_4_85.5.qdimacs | eqube-lrn | 1.1 | 7 |
| RobotsD4 | robots_1_5_4_87.8.qdimacs | eqube-bj | 3 | 5 |
| RobotsD4 | robots_1_5_4_91.4.qdimacs | eqube-lrn | 2.3 | 9 |
| RobotsD5 | robots_1_5_5_18.5.qdimacs | eqube-bj | 9.94 | 7 |
| RobotsD5 | robots_1_5_5_29.1.qdimacs | semprop | 0.03 | 15 |
| RobotsD5 | robots_1_5_5_34.6.qdimacs | eqube-bj | 48.68 | 4 |
| RobotsD5 | robots_1_5_5_4.9.qdimacs | eqube-lrn | 3.41 | 6 |
| RobotsD5 | robots_1_5_5_5.2.qdimacs | yquaffle | 0.16 | 12 |
| RobotsD5 | robots_1_5_5_55.6.qdimacs | eqube-bj | 1.12 | 8 |
| RobotsD5 | robots_1_5_5_59.5.qdimacs | eqube-bj | 9.93 | 7 |
| RobotsD5 | robots_1_5_5_75.3.qdimacs | yquaffle | 0.63 | 11 |
| s1196 | s1196_d2_s.qcnf | none | - | - |
| s1196 | s1196_d3_u.qcnf | none | - | - |
| s1196 | s1196_d4_u.qcnf | none | - | - |
| s1196 | s1196_d5_u.qcnf | none | - | - |
| s1196 | s1196_d6_u.qcnf | none | - | - |
| s1196 | s1196_d7_u.qcnf | none | - | - |
| s1269 | s1269_d10_s.qcnf | none | - | - |
| s1269 | s1269_d15_u.qcnf | none | - | - |
| s1269 | s1269_d2_s.qcnf | none | - | - |
| s1269 | s1269_d3_s.qcnf | none | - | - |
| s1269 | s1269_d4_s.qcnf | none | - | - |
| s1269 | s1269_d5_s.qcnf | none | - | - |
| s1269 | s1269_d6_s.qcnf | none | - | - |
| s1269 | s1269_d9_s.qcnf | none | - | - |
| s27 | s27_d2_s.qcnf | ssolve | 0 | 16 |
| s27 | s27_d3_u.qcnf | quantor-2.1 | 0.04 | 6 |
| s27 | s27_d4_u.qcnf | quantor-2.1 | 0.27 | 3 |
| s27 | s27_d5_u.qcnf | quantor-2.1 | 2.72 | 2 |
| s298 | s298_d10_s.qcnf | none | - | - |
| s298 | s298_d14_s.qcnf | none | - | - |
| s298 | s298_d16_s.qcnf | none | - | - |
| s298 | s298_d17_s.qcnf | none | - | - |
| s298 | s298_d19_u.qcnf | none | - | - |
| s298 | s298_d21_u.qcnf | none | - | - |
| s298 | s298_d5_s.qcnf | quantor-2.1 | 452.96 | 1 |
| s298 | s298_d8_s.qcnf | none | - | - |
| s3271 | s3271_d12_s.qcnf | qbfl.JW | 0.16 | 7 |
| s3271 | s3271_d15_s.qcnf | qbfl.BS | 0.22 | 3 |
| s3271 | s3271_d18_u.qcnf | qbfl.BS | 0.31 | 4 |
| s3271 | s3271_d19_u.qcnf | qbfl.BS | 0.32 | 4 |
| s3271 | s3271_d2_s.qcnf | qbfl.BS | 0.02 | 7 |
| s3271 | s3271_d20_u.qcnf | qbfl.JW | 0.35 | 4 |
| s3271 | s3271_d22_u.qcnf | qbfl.JW | 0.4 | 4 |
| s3271 | s3271_d5_s.qcnf | qbfl.BS | 0.05 | 6 |
| s3330 | s3330_d10_u.qcnf | none | - | - |
| s3330 | s3330_d12_u.qcnf | none | - | - |
| s3330 | s3330_d13_u.qcnf | none | - | - |
| s3330 | s3330_d2_s.qcnf | quantor-2.1 | 154.87 | 1 |
| s3330 | s3330_d3_s.qcnf | none | - | - |
| s3330 | s3330_d4_s.qcnf | none | - | - |
| s3330 | s3330_d6_s.qcnf | none | - | - |
| s3330 | s3330_d8_s.qcnf | none | - | - |
| s386 | s386_d10_u.qcnf | none | - | - |
| s386 | s386_d12_u.qcnf | none | - | - |
| s386 | s386_d3_s.qcnf | none | - | - |
| s386 | s386_d4_s.qcnf | none | - | - |
| s386 | s386_d5_s.qcnf | none | - | - |
| s386 | s386_d7_s.qcnf | none | - | - |
| s386 | s386_d8_u.qcnf | none | - | - |
| s386 | s386_d9_u.qcnf | none | - | - |
| s499 | s499_d10_s.qcnf | none | - | - |
| s499 | s499_d14_s.qcnf | none | - | - |
| s499 | s499_d18_s.qcnf | none | - | - |
| s499 | s499_d19_s.qcnf | none | - | - |
| s499 | s499_d2_s.qcnf | quantor-2.1 | 0.28 | 2 |
| s499 | s499_d3_s.qcnf | quantor-2.1 | 11.36 | 1 |
| s499 | s499_d4_s.qcnf | quantor-2.1 | 58.77 | 1 |
| s499 | s499_d7_s.qcnf | none | - | - |
| s510 | s510_d12_s.qcnf | none | - | - |
| s510 | s510_d13_s.qcnf | none | - | - |
| s510 | s510_d31_s.qcnf | none | - | - |
| s510 | s510_d42_s.qcnf | none | - | - |
| s510 | s510_d46_s.qcnf | none | - | - |
| s510 | s510_d48_u.qcnf | none | - | - |
| s510 | s510_d49_u.qcnf | none | - | - |
| s510 | s510_d51_u.qcnf | none | - | - |
| s641 | s641_d10_u.qcnf | none | - | - |
| s641 | s641_d11_u.qcnf | none | - | - |
| s641 | s641_d2_s.qcnf | quantor-2.1 | 350.81 | 1 |
| s641 | s641_d3_s.qcnf | none | - | - |
| s641 | s641_d5_s.qcnf | none | - | - |
| s641 | s641_d6_s.qcnf | none | - | - |
| s641 | s641_d7_u.qcnf | none | - | - |
| s641 | s641_d8_u.qcnf | none | - | - |
| s713 | s713_d10_u.qcnf | none | - | - |
| s713 | s713_d2_s.qcnf | quantor-2.1 | 287.14 | 1 |
| s713 | s713_d3_s.qcnf | none | - | - |
| s713 | s713_d4_s.qcnf | none | - | - |
| s713 | s713_d6_s.qcnf | none | - | - |
| s713 | s713_d7_u.qcnf | none | - | - |
| s713 | s713_d8_u.qcnf | none | - | - |
| s713 | s713_d9_u.qcnf | none | - | - |
| s820 | s820_d11_u.qcnf | none | - | - |
| s820 | s820_d12_u.qcnf | none | - | - |
| s820 | s820_d14_u.qcnf | none | - | - |
| s820 | s820_d3_s.qcnf | none | - | - |
| s820 | s820_d4_s.qcnf | none | - | - |
| s820 | s820_d5_s.qcnf | none | - | - |
| s820 | s820_d8_s.qcnf | none | - | - |
| s820 | s820_d9_s.qcnf | none | - | - |
| SzymanskiP | szymanski-10-s.qdimacs | WalkQSAT | 0.63 | 9 |
| SzymanskiP | szymanski-12-s.qdimacs | WalkQSAT | 1.34 | 9 |
| SzymanskiP | szymanski-14-s.qdimacs | WalkQSAT | 2.23 | 9 |
| SzymanskiP | szymanski-16-s.qdimacs | WalkQSAT | 2.33 | 9 |
| SzymanskiP | szymanski-18-s.qdimacs | CSBJ | 12.98 | 8 |
| SzymanskiP | szymanski-22-s.qdimacs | CSBJ | 35.87 | 8 |
| SzymanskiP | szymanski-4-s.qdimacs | CSBJ | 0 | 13 |
| SzymanskiP | szymanski-6-s.qdimacs | CSBJ | 0.07 | 12 |
| term1 | term1.blif_0.10_0.20_0_0_inp_exact.qdimacs | semprop | 125 | 3 |
| term1 | term1.blif_0.10_0.20_0_0_out_exact.qdimacs | QMRes | 15.74 | 3 |
| term1 | term1.blif_0.10_0.20_0_1_inp_exact.qdimacs | semprop | 0.03 | 15 |
| term1 | term1.blif_0.10_0.20_0_1_out_exact.qdimacs | semprop | 0.02 | 14 |
| term1 | term1.blif_0.10_1.00_0_0_inp_exact.qdimacs | quantor-2.1 | 0.39 | 8 |
| term1 | term1.blif_0.10_1.00_0_0_out_exact.qdimacs | quantor-2.1 | 1.29 | 7 |
| term1 | term1.blif_0.10_1.00_0_1_inp_exact.qdimacs | yquaffle | 0.02 | 15 |
| term1 | term1.blif_0.10_1.00_0_1_out_exact.qdimacs | semprop | 0.06 | 13 |
| Toilet | TOILET10.1.iv.20.qdimacs | Clearn | 0.01 | 10 |
| Toilet | TOILET16.1.iv.32.qdimacs | Clearn | 0.06 | 9 |
| Toilet | TOILET2.1.iv.3.qdimacs | Clearn | 0 | 16 |
| Toilet | TOILET2.1.iv.4.qdimacs | CSBJ | 0 | 16 |
| Toilet | TOILET6.1.iv.11.qdimacs | quantor-2.1 | 0.03 | 14 |
| Toilet | TOILET6.1.iv.12.qdimacs | CSBJ | 0 | 15 |
| Toilet | TOILET7.1.iv.13.qdimacs | quantor-2.1 | 0.51 | 12 |
| Toilet | TOILET7.1.iv.14.qdimacs | GRL | 0 | 13 |
| ToiletA | toilet_a_06_01.5.qdimacs | Clearn | 0 | 16 |
| ToiletA | toilet_a_06_05.2.qdimacs | Clearn | 0.01 | 16 |
| ToiletA | toilet_a_08_01.16.qdimacs | qbfl.BS | 0.09 | 15 |
| ToiletA | toilet_a_08_01.3.qdimacs | Clearn | 0.01 | 16 |
| ToiletA | toilet_a_10_01.15.qdimacs | Clearn | 1.16 | 11 |
| ToiletA | toilet_a_10_01.4.qdimacs | Clearn | 0.06 | 7 |
| ToiletA | toilet_a_10_01.7.qdimacs | Clearn | 0.08 | 15 |
| ToiletA | toilet_a_10_05.3.qdimacs | yquaffle | 0.16 | 12 |
| ToiletC | toilet_c_04_01.6.qdimacs | Clearn | 0 | 16 |
| ToiletC | toilet_c_06_01.9.qdimacs | GRL | 0.01 | 16 |
| ToiletC | toilet_c_06_05.4.qdimacs | Clearn | 0 | 16 |
| ToiletC | toilet_c_08_01.13.qdimacs | Clearn | 0.15 | 15 |
| ToiletC | toilet_c_10_01.3.qdimacs | Clearn | 0 | 16 |
| ToiletC | toilet_c_10_01.9.qdimacs | GRL | 0.01 | 15 |
| ToiletC | toilet_c_10_05.10.qdimacs | qbfl.JW | 0.01 | 15 |
| ToiletC | toilet_c_10_05.4.qdimacs | Clearn | 0 | 13 |
| ToiletG | toilet_g_02_01.2.qdimacs | GRL | 0 | 16 |
| ToiletG | toilet_g_04_01.2.qdimacs | GRL | 0 | 16 |
| ToiletG | toilet_g_06_01.2.qdimacs | GRL | 0 | 16 |
| ToiletG | toilet_g_08_01.2.qdimacs | GRL | 0 | 16 |
| ToiletG | toilet_g_10_01.2.qdimacs | Clearn | 0 | 16 |
| ToiletG | toilet_g_15_01.2.qdimacs | GRL | 0 | 16 |
| ToiletG | toilet_g_20_01.2.qdimacs | Clearn | 0 | 15 |
| Tree | tree-exa10-25.qdimacs | quantor-2.1 | 0 | 14 |
| Tree | tree-exa10-30.qdimacs | QMRes | 0.01 | 9 |
| Tree | tree-exa2-15.qdimacs | Clearn | 0 | 16 |
| Tree | tree-exa2-25.qdimacs | Clearn | 0 | 15 |
| Tree | tree-exa2-30.qdimacs | Clearn | 0 | 15 |
| Tree | tree-exa2-35.qdimacs | Clearn | 0 | 15 |
| Tree | tree-exa2-40.qdimacs | Clearn | 0 | 14 |
| Tree | tree-exa2-45.qdimacs | Clearn | 0 | 9 |
| uclid | uclid-pipe2.dimacs | none | - | - |
| uclid | uclid-pipe3a.dimacs | none | - | - |
| uclid | uclid-pipe3b.dimacs | none | - | - |
| VonNeumann | vonNeumann-ripple-carry-10-c.qdimacs | qbfl.JW | 0.37 | 13 |
| VonNeumann | vonNeumann-ripple-carry-11-c.qdimacs | qbfl.BS | 0.48 | 10 |
| VonNeumann | vonNeumann-ripple-carry-12-c.qdimacs | qbfl.BS | 0.67 | 10 |
| VonNeumann | vonNeumann-ripple-carry-13-c.qdimacs | qbfl.BS | 0.9 | 10 |
| VonNeumann | vonNeumann-ripple-carry-14-c.qdimacs | qbfl.JW | 1.18 | 6 |
| VonNeumann | vonNeumann-ripple-carry-5-c.qdimacs | qbfl.BS | 0.04 | 15 |
| VonNeumann | vonNeumann-ripple-carry-7-c.qdimacs | qbfl.JW | 0.08 | 15 |
| VonNeumann | vonNeumann-ripple-carry-9-c.qdimacs | qbfl.JW | 0.23 | 13 |
| z4ml | z4ml.blif_0.10_0.20_0_0_inp_exact.qdimacs | CSBJ | 0 | 15 |
| z4ml | z4ml.blif_0.10_0.20_0_0_out_exact.qdimacs | GRL | 0.01 | 16 |
| z4ml | z4ml.blif_0.10_0.20_0_1_inp_exact.qdimacs | CSBJ | 0 | 16 |
| z4ml | z4ml.blif_0.10_0.20_0_1_out_exact.qdimacs | CSBJ | 0 | 16 |
| z4ml | z4ml.blif_0.10_1.00_0_0_inp_exact.qdimacs | CSBJ | 0 | 15 |
| z4ml | z4ml.blif_0.10_1.00_0_0_out_exact.qdimacs | CSBJ | 0 | 15 |
| z4ml | z4ml.blif_0.10_1.00_0_1_inp_exact.qdimacs | qsat | 0 | 16 |
| z4ml | z4ml.blif_0.10_1.00_0_1_out_exact.qdimacs | Clearn | 0 | 16 |