Instances of family evader-pursuer-8x8-logarithmic solved by Nenofex
QBFEVAL'08

InstanceResultTime
ev-pr-8x8-5-7-0-1-2-lgFAIL27
ev-pr-8x8-9-7-0-1-2-lgFAIL36.33
ev-pr-8x8-17-7-0-1-2-lgFAIL43.65
ev-pr-8x8-13-7-0-1-2-lgFAIL46.04
ev-pr-8x8-15-7-0-1-2-lgFAIL47.11
ev-pr-8x8-11-7-0-1-2-lgFAIL50.16
ev-pr-8x8-19-7-0-1-2-lgFAIL53.78
ev-pr-8x8-7-7-0-1-2-lgFAIL55.76