Instances of family s510 solved by QuBE7-c
QBFEVAL'10 - Competitive Track.

InstanceResultTime
s510_d4_sSAT154.19
s510_d31_sFAIL1200
s510_d12_sFAIL1200.06