Instances of family s510 solved by caqe-minisat
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
s510_d3_sSAT1.44
s510_d6_sSAT16.85
s510_d11_sSAT83.39
s510_d23_sFAIL599.64
s510_d31_sFAIL599.66
s510_d28_sFAIL599.69
s510_d36_sFAIL599.7
s510_d24_sFAIL599.7
s510_d32_sFAIL599.73
s510_d35_sFAIL599.75