QBF Solver Evaluation Portal
qbflib.orgSota solver results for family k_t4p_p
QBFEVAL'05
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| k_t4p_p-12 | skizzo_v0.5 | UNSAT | 1.32 |  |
| k_t4p_p-16 | skizzo_v0.5 | UNSAT | 1.55 | |
| k_t4p_p-20 | skizzo_v0.5 | UNSAT | 1.92 | |
| k_t4p_p-21 | skizzo_v0.5 | UNSAT | 1.8 | |
| k_t4p_p-4 | QUANTOR | UNSAT | 0.04 | |
| k_t4p_p-8 | QMRes | UNSAT | 1.05 | |