Instances of family s510 solved by QMRes
QBFEVAL'04

InstanceResultTime
s510_d31_sFAIL17.65
s510_d42_sFAIL18.14
s510_d13_sFAIL19.08
s510_d12_sFAIL19.57
s510_d48_uFAIL20.22
s510_d46_sFAIL20.24
s510_d49_uFAIL20.38
s510_d51_uFAIL20.73