QBF Solver Evaluation Portal
qbflib.orgInstances of family k_dum_n solved by caqe-picosat-cert
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.
| Instance | Result | Time | |
|---|---|---|---|
| k_dum_n-1 | SAT | 1.01 | |
| k_dum_n-2 | SAT | 53.68 | |
| k_dum_n-3 | SAT | 93.74 | |
| k_dum_n-21 | FAIL | 153.43 | |
| k_dum_n-18 | FAIL | 155.33 | |
| k_dum_n-5 | FAIL | 369.3 | |
| k_dum_n-17 | FAIL | 386.88 | |
| k_dum_n-12 | FAIL | 448.19 | |
| k_dum_n-11 | FAIL | 524.42 | |
| k_dum_n-9 | FAIL | 601.08 |