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

InstanceResultTime
s510_d3_sSAT10.45
s510_d6_sSAT82.4
s510_d31_sFAIL599.72
s510_d36_sFAIL599.72
s510_d35_sFAIL599.72
s510_d11_sFAIL599.81
s510_d24_sFAIL599.82
s510_d28_sFAIL599.82
s510_d32_sFAIL599.82
s510_d23_sFAIL599.82