QBF Solver Evaluation Portal
qbflib.orgInstances of family k_t4p_p solved by depqbf-cert-v2
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.
| Instance | Result | Time | |
|---|---|---|---|
| k_t4p_p-4 | UNSAT | 70.71 | |
| k_t4p_p-9 | FAIL | 620.34 | |
| k_t4p_p-18 | FAIL | 620.44 | |
| k_t4p_p-16 | FAIL | 621.82 | |
| k_t4p_p-17 | FAIL | 626.73 | |
| k_t4p_p-20 | FAIL | 627.63 | |
| k_t4p_p-15 | FAIL | 629.14 | |
| k_t4p_p-12 | FAIL | 632.12 | |
| k_t4p_p-10 | FAIL | 634.82 | |
| k_t4p_p-6 | FAIL | 644.72 |