Sota solver results for family evader-pursuer-6x6-logarithmic
QBFEVAL'16 - Prenex CNF Track.


InstanceSolverResultTime
ev-pr-6x6-11-5-0-1-2-lghiqqer1UNSAT32.48
ev-pr-6x6-13-5-0-1-2-lghiqqer1UNSAT85.32
ev-pr-6x6-15-5-0-1-2-lghiqqer1UNSAT148.75
ev-pr-6x6-5-5-0-1-2-lgdepqbf-v1UNSAT0.51
ev-pr-6x6-7-5-0-1-2-lgrareqsUNSAT1.36
ev-pr-6x6-9-5-0-1-2-lghiqqer1UNSAT7.87