Instances of family s510 solved by depqbf-cert-v1
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

InstanceResultTime
s510_d32_sFAIL32.87
s510_d31_sFAIL34.15
s510_d28_sFAIL34.65
s510_d36_sFAIL38.15
s510_d35_sFAIL38.17
s510_d23_sFAIL618.19
s510_d11_sFAIL620.22
s510_d6_sFAIL623.32
s510_d3_sFAIL624.32
s510_d24_sFAIL640.13