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

InstanceResultTime
s1269_d5_sFAIL901.03
s1269_d6_sFAIL901.03
s1269_d9_sFAIL901.03
s1269_d15_uFAIL901.03
s1269_d4_sFAIL901.03
s1269_d2_sFAIL901.03
s1269_d3_sFAIL901.04
s1269_d10_sFAIL901.04