QBF Solver Evaluation Portal
qbflib.orgSota solver results for family SzymanskiP
QBFEVAL'19 - Prenex CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| szymanski-20-s | Hiqqer2019_2 | UNSAT | 3.73 |  |
| szymanski-24-s | Hiqqer2019_2 | UNSAT | 5.58 | |
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| szymanski-20-s | Hiqqer2019_2 | UNSAT | 3.73 | |
| szymanski-24-s | Hiqqer2019_2 | UNSAT | 5.58 | |