QBF Solver Evaluation Portal
qbflib.orgInstances of family s713 solved by cheq
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.
| Instance | Result | Time | |
|---|---|---|---|
| s713_d3_s | FAIL | 491.99 | |
| s713_d6_s | FAIL | 494.7 | |
| s713_d4_s | FAIL | 497.51 | |
| s713_d7_u | FAIL | 511.32 | |
| s713_d2_s | FAIL | 516.56 | |
| s713_d11_u | FAIL | 519.96 | |
| s713_d5_s | FAIL | 521.59 | |
| s713_d10_u | FAIL | 549.02 | |
| s713_d8_u | FAIL | 549.61 | |
| s713_d9_u | FAIL | 579.16 |