Instances of family s510 solved by QUBE-BJ
QBFEVAL'04

InstanceResultTime
s510_d42_sFAIL2.28
s510_d51_uFAIL3.3
s510_d46_sFAIL4.04
s510_d48_uFAIL4.35
s510_d49_uFAIL4.85
s510_d12_sFAIL901.03
s510_d13_sFAIL901.03
s510_d31_sFAIL901.07