Sota solver results for family evader-pursuer-8x8-logarithmic
QBFEVAL'10 - Competitive Track.


InstanceSolverResultTime
ev-pr-8x8-11-7-0-1-2-lgaqme-10UNSAT6.38
ev-pr-8x8-5-7-0-1-2-lgdepqbfUNSAT0.66
ev-pr-8x8-7-7-0-1-2-lgaqme-10UNSAT4.74
ev-pr-8x8-9-7-0-1-2-lgdepqbf-preUNSAT28.35