QBF Solver Evaluation Portal
qbflib.orgUnique instances for QMRes
QBFEVAL'05
| Instance | Time | Result |
|---|---|---|
| adder-14-sat | 222.81 | SAT |
| k_t4p_n-21 | 30.82 | SAT |
| test5_quant7 | 2.97 | SAT |
| adder-16-sat | 573.1 | SAT |
| k_d4_n-12 | 4.27 | SAT |
| term1.blif_0.10_0.20_0_0_out_exact | 15.65 | UNSAT |
| test3_quant4 | 43.03 | UNSAT |
| k_t4p_n-16 | 17.7 | SAT |
| test3_quant_squaring2 | 7.11 | UNSAT |
| Adder2-8-c | 108.41 | UNSAT |
| test3_quant2 | 9.94 | UNSAT |
| test5_quant_squaring5 | 3.08 | SAT |
| adder-12-sat | 88.67 | SAT |
| test5_quant_squaring4 | 1.18 | SAT |
| Adder2-6-c | 22.9 | UNSAT |