QBF Solver Evaluation Portal
qbflib.orgInstances of family SzymanskiP solved by iprover-QBF-bloqqer
QBFEVAL'16 - Prenex CNF Track.
| Instance | Result | Time | |
|---|---|---|---|
| szymanski-5-s | FAIL | 0.36 | |
| szymanski-6-s | FAIL | 0.84 | |
| szymanski-8-s | FAIL | 2.97 | |
| szymanski-10-s | FAIL | 8.18 | |
| szymanski-12-s | FAIL | 20.76 | |
| szymanski-14-s | FAIL | 47.23 | |
| szymanski-16-s | FAIL | 175.88 | |
| szymanski-18-s | FAIL | 513.82 | |
| szymanski-24-s | FAIL | 599.12 | |
| szymanski-20-s | FAIL | 599.13 |