QBF Solver Evaluation Portal
qbflib.orgInstances of family s499 solved by iprover-QBF-bloqqer
QBFEVAL'16 - Prenex CNF Track.
| Instance | Result | Time | |
|---|---|---|---|
| s499_d17_s | FAIL | 59.33 | |
| s499_d19_s | FAIL | 86.13 | |
| s499_d18_s | FAIL | 101.63 | |
| s499_d15_s | FAIL | 129.13 | |
| s499_d22_u | FAIL | 133.63 | |
| s499_d24_u | FAIL | 175.05 | |
| s499_d25_u | FAIL | 346.04 | |
| s499_d12_s | FAIL | 453.43 | |
| s499_d7_s | FAIL | 599.22 | |
| s499_d9_s | FAIL | 599.23 |