QBF Solver Evaluation Portal
qbflib.orgSota solver results for family evader-pursuer-4x4-standard
QBFEVAL'05
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| ev-pr-4x4-5-3-0-0-1-s | skizzo_v0.5 | SAT | 5.78 |  |
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| ev-pr-4x4-5-3-0-0-1-s | skizzo_v0.5 | SAT | 5.78 | |