QBF Solver Evaluation Portal
qbflib.orgInstances of family k_dum_n solved by depqbf-cert-v2
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.
| Instance | Result | Time | |
|---|---|---|---|
| k_dum_n-1 | SAT | 0.11 | |
| k_dum_n-2 | SAT | 13.51 | |
| k_dum_n-3 | SAT | 66.71 | |
| k_dum_n-5 | FAIL | 593.77 | |
| k_dum_n-11 | FAIL | 606.42 | |
| k_dum_n-18 | FAIL | 607.52 | |
| k_dum_n-21 | FAIL | 609.32 | |
| k_dum_n-12 | FAIL | 613.32 | |
| k_dum_n-17 | FAIL | 616.89 | |
| k_dum_n-9 | FAIL | 622.23 |