QBF Solver Evaluation Portal
qbflib.orgUnique instances for AIGSolve
QBFEVAL'10 - Small Hard Track.
| Instance | Time | Result |
|---|---|---|
| ken.oop^1.C-d2 | 0.44 | UNSAT |
| eijk.S344.S-f3 | 20.31 | SAT |
| stmt38_943_942 | 0.48 | SAT |
| test1_quant_squaring3 | 22.81 | SAT |
| counter_e_16 | 116.17 | SAT |
| C499.blif_0.10_0.20_0_1_out_exact | 2.33 | UNSAT |
| test1_quant_squaring2 | 1.75 | SAT |
| C499.blif_0.10_0.20_0_0_out_exact | 2.05 | UNSAT |
| counter_re_16 | 164.46 | SAT |
| test1_quant3 | 4.16 | SAT |
| test4_quant_squaring4 | 5.43 | UNSAT |
| eijk.S386.S-f2 | 12.36 | SAT |
| C880.blif_0.10_1.00_0_0_out_exact | 0.27 | UNSAT |
| C880.blif_0.10_0.20_0_0_out_exact | 0.44 | UNSAT |
| test1_quant2 | 1.75 | SAT |
| test3_quant_squaring4 | 2.37 | UNSAT |
| uclid-pipe3a | 12.09 | SAT |
| counter_r_16 | 105.05 | SAT |
| C880.blif_0.10_0.20_0_1_out_exact | 0.44 | UNSAT |