QBF Solver Evaluation Portal
qbflib.orgInstances of family s499 solved by cheq
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.
| Instance | Result | Time | |
|---|---|---|---|
| s499_d19_s | FAIL | 569 | |
| s499_d7_s | FAIL | 570.79 | |
| s499_d17_s | FAIL | 574.09 | |
| s499_d18_s | FAIL | 575.79 | |
| s499_d22_u | FAIL | 590.79 | |
| s499_d9_s | FAIL | 596.68 | |
| s499_d12_s | FAIL | 608.01 | |
| s499_d24_u | FAIL | 617.27 | |
| s499_d15_s | FAIL | 623.57 | |
| s499_d25_u | FAIL | 630.35 |