QBF Solver Evaluation Portal
qbflib.orgUnique instances for AIGSolve
QBFEVAL'17 - Prenex CNF Track
| Instance | Time | Result |
|---|---|---|
| adder-14-sat | 26.04 | SAT |
| test1_quant_squaring3 | 6.31 | SAT |
| test3_quant_squaring4 | 1.31 | UNSAT |
| adder-12-unsat | 29.69 | UNSAT |
| test1_quant_squaring2 | 1.34 | SAT |
| cnt16r | 53.87 | SAT |
| ken.oop^2.C-d3 | 10.24 | UNSAT |
| ken.oop^2.C-d4 | 127.34 | UNSAT |
| ken.flash^11.C-f3 | 120.08 | UNSAT |
| genbuf9b4n.sat | 362.6 | SAT |
| mult_bool_matrix_10_9_11.unsat | 18.3 | UNSAT |
| mult_bool_matrix_17_17_17.unsat | 20.5 | UNSAT |