QBF Solver Evaluation Portal
qbflib.orgSota solver results for family k_grz_n
QBFEVAL'04
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| k_grz_n-12 | QMRes | SAT | 2.4 |  |
| k_grz_n-13 | QMRes | SAT | 4.65 | |
| k_grz_n-16 | QUANTOR | SAT | 33.47 | |
| k_grz_n-17 | QUANTOR | SAT | 35.68 | |
| k_grz_n-18 | QMRes | SAT | 601.96 | |
| k_grz_n-2 | QUANTOR | SAT | 0.01 | |
| k_grz_n-3 | QUANTOR | SAT | 0.15 | |
| k_grz_n-9 | QMRes | SAT | 0.77 | |