QBF Solver Evaluation Portal
qbflib.orgInstances of family k_lin_n solved by caqe-minisat-cert
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.
| Instance | Result | Time | |
|---|---|---|---|
| k_lin_n-5 | FAIL | 340.95 | |
| k_lin_n-6 | FAIL | 344.51 | |
| k_lin_n-7 | FAIL | 392.88 | |
| k_lin_n-3 | FAIL | 397.83 | |
| k_lin_n-8 | FAIL | 427.8 | |
| k_lin_n-9 | FAIL | 471.66 | |
| k_lin_n-11 | FAIL | 572.84 | |
| k_lin_n-14 | FAIL | 600 | |
| k_lin_n-15 | FAIL | 600 | |
| k_lin_n-17 | FAIL | 600 |