Sota solver results for family evader-pursuer-6x6-logarithmic
QBFEVAL'05


InstanceSolverResultTime
ev-pr-6x6-11-5-0-1-2-lgQChaffLearnUNSAT434.71
ev-pr-6x6-5-5-0-1-2-lgsSolveUNSAT0.32
ev-pr-6x6-7-5-0-1-2-lgskizzo_v0.5UNSAT2.08
ev-pr-6x6-9-5-0-1-2-lgQChaffLearnUNSAT52.6