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

InstanceResultTime
s510_d3_sFAIL208.24
s510_d6_sFAIL236.59
s510_d11_sFAIL276.29
s510_d32_sFAIL382.68
s510_d35_sFAIL415.24
s510_d36_sFAIL427.96
s510_d24_sFAIL600
s510_d28_sFAIL600
s510_d23_sFAIL600
s510_d31_sFAIL600