QBF Solver Evaluation Portal
qbflib.orgInstances of family s713 solved by iprover-QBF
QBFEVAL'16 - Prenex CNF Track.
| Instance | Result | Time | |
|---|---|---|---|
| s713_d11_u | FAIL | 56.03 | |
| s713_d10_u | FAIL | 64.73 | |
| s713_d9_u | FAIL | 73.33 | |
| s713_d8_u | FAIL | 81.13 | |
| s713_d7_u | FAIL | 92.13 | |
| s713_d6_s | FAIL | 216.53 | |
| s713_d2_s | FAIL | 432.03 | |
| s713_d3_s | FAIL | 488.93 | |
| s713_d5_s | FAIL | 554.93 | |
| s713_d4_s | FAIL | 599.22 |