Instances of family s510 solved by struqs-10
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
s510_d3_sSAT73.29
s510_d6_sFAIL599.81
s510_d31_sFAIL599.82
s510_d24_sFAIL599.82
s510_d11_sFAIL599.82
s510_d35_sFAIL599.83
s510_d28_sFAIL599.83
s510_d32_sFAIL599.84
s510_d23_sFAIL599.84
s510_d36_sFAIL599.84