QBF Solver Evaluation Portal
qbflib.orgSota solver results for family SzymanskiP
QBFEVAL'18 - Prenex CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| szymanski-20-s | ijtihad | UNSAT | 22.42 |  |
| szymanski-24-s | Caqe-bloqqer | UNSAT | 63.61 | |
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| szymanski-20-s | ijtihad | UNSAT | 22.42 | |
| szymanski-24-s | Caqe-bloqqer | UNSAT | 63.61 | |