Instances of family evader-pursuer-4x4-standard solved by qsts
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
ev-pr-4x4-15-3-0-0-1-sFAIL319.23
ev-pr-4x4-9-3-0-0-1-sFAIL383.74
ev-pr-4x4-17-3-0-0-1-sFAIL450.43
ev-pr-4x4-11-3-0-0-1-sFAIL474.38
ev-pr-4x4-13-3-0-0-1-sFAIL478.03
ev-pr-4x4-7-3-0-0-1-sFAIL493.23
ev-pr-4x4-5-3-0-0-1-sFAIL599.71