QBF Solver Evaluation Portal
qbflib.orgInstances of family k_dum_n solved by depqbf-cert-v1
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.
| Instance | Result | Time | |
|---|---|---|---|
| k_dum_n-1 | FAIL | 0.03 | |
| k_dum_n-3 | FAIL | 0.05 | |
| k_dum_n-2 | FAIL | 0.11 | |
| k_dum_n-5 | FAIL | 1.61 | |
| k_dum_n-11 | FAIL | 600.42 | |
| k_dum_n-9 | FAIL | 602.92 | |
| k_dum_n-17 | FAIL | 609.07 | |
| k_dum_n-12 | FAIL | 609.62 | |
| k_dum_n-18 | FAIL | 613.84 | |
| k_dum_n-21 | FAIL | 636.82 |