Instances of family s510 solved by xb-qsts
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
s510_d3_sSAT1.91
s510_d6_sSAT23.47
s510_d11_sSAT75.75
s510_d24_sFAIL599.52
s510_d23_sFAIL599.61
s510_d28_sFAIL599.71
s510_d32_sFAIL599.71
s510_d36_sFAIL599.72
s510_d35_sFAIL599.72
s510_d31_sFAIL599.72