QBF Solver Evaluation Portal
qbflib.orgSota solver results for family evader-pursuer-6x6-logarithmic
QBFEVAL'17 - Prenex CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| ev-pr-6x6-11-5-0-1-2-lg | qbfrelay-limited-depqbf | UNSAT | 55.34 |  |
| ev-pr-6x6-13-5-0-1-2-lg | prefix-opt-depqbf | UNSAT | 242.74 | |
| ev-pr-6x6-15-5-0-1-2-lg | qbfrelay-limited-depqbf | UNSAT | 715.8 | |