Instances of family s510 solved by depqbf-v1
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
s510_d31_sFAIL31.35
s510_d32_sFAIL31.55
s510_d28_sFAIL32.55
s510_d35_sFAIL36.65
s510_d36_sFAIL38.27
s510_d11_sFAIL591.84
s510_d23_sFAIL592.32
s510_d24_sFAIL592.32
s510_d3_sFAIL592.83
s510_d6_sFAIL592.85