QBF Solver Evaluation Portal
qbflib.orgInstances of family k_lin_n solved by caqe-picosat-cert
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.
| Instance | Result | Time | |
|---|---|---|---|
| k_lin_n-3 | SAT | 46.11 | |
| k_lin_n-5 | FAIL | 105.08 | |
| k_lin_n-6 | FAIL | 162.33 | |
| k_lin_n-11 | FAIL | 185.63 | |
| k_lin_n-14 | FAIL | 191.53 | |
| k_lin_n-15 | FAIL | 196.77 | |
| k_lin_n-17 | FAIL | 201.18 | |
| k_lin_n-7 | FAIL | 304.22 | |
| k_lin_n-9 | FAIL | 600 | |
| k_lin_n-8 | FAIL | 600 |