QBF Solver Evaluation Portal
qbflib.orgUnique instances for QUANTOR
QBFEVAL'05
| Instance | Time | Result |
|---|---|---|
| BLOCKS4i.6.4 | 6.31 | UNSAT |
| C432.blif_0.10_0.20_0_0_out_exact | 737.06 | UNSAT |
| k_grz_n-20 | 5.38 | SAT |
| k_grz_n-21 | 6.73 | SAT |
| Instance | Time | Result |
|---|---|---|
| BLOCKS4i.6.4 | 6.31 | UNSAT |
| C432.blif_0.10_0.20_0_0_out_exact | 737.06 | UNSAT |
| k_grz_n-20 | 5.38 | SAT |
| k_grz_n-21 | 6.73 | SAT |