Instances of family s510 solved by depqbf-pre
QBFEVAL'10 - Competitive Track.

InstanceResultTime
s510_d31_sFAIL27.27
s510_d4_sFAIL1200.19
s510_d12_sFAIL1200.21