QBF Solver Evaluation Portal
qbflib.orgSota solver results for family SzymanskiP
Prenex CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| szymanski-20-s | Rareqs_2018 | UNSAT | 22.5 |  |
| szymanski-24-s | Rareqs_2018 | UNSAT | 64.54 | |
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| szymanski-20-s | Rareqs_2018 | UNSAT | 22.5 | |
| szymanski-24-s | Rareqs_2018 | UNSAT | 64.54 | |