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

InstanceResultTime
s713_d4_sFAIL901.03
s713_d7_uFAIL901.03
s713_d8_uFAIL901.03
s713_d9_uFAIL901.03
s713_d10_uFAIL901.03
s713_d3_sFAIL901.03
s713_d2_sFAIL901.04
s713_d6_sFAIL901.04