QBF Solver Evaluation Portal
qbflib.orgSota solver results for family k_t4p_p
QBFEVAL'04
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| k_t4p_p-1 | QUANTOR | UNSAT | 0.01 |  |
| k_t4p_p-10 | QMRes | UNSAT | 1.73 | |
| k_t4p_p-12 | QMRes | UNSAT | 2.58 | |
| k_t4p_p-15 | QMRes | UNSAT | 3.52 | |
| k_t4p_p-16 | QMRes | UNSAT | 4.12 | |
| k_t4p_p-18 | QMRes | UNSAT | 5.07 | |
| k_t4p_p-19 | QMRes | UNSAT | 5.48 | |
| k_t4p_p-4 | QUANTOR | UNSAT | 0.07 | |