QBF Solver Evaluation Portal
qbflib.orgSota solver results for family evader-pursuer-6x6-standard
QBFEVAL'17 - Prenex CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| ev-pr-6x6-5-5-0-1-2-s | prefix-opt-depqbf | UNSAT | 47.66 |  |
| ev-pr-6x6-7-5-0-1-2-s | prefix-opt-depqbf | UNSAT | 140.02 | |