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

InstanceResultTime
s641_d7_uFAIL901.03
s641_d8_uFAIL901.03
s641_d10_uFAIL901.03
s641_d3_sFAIL901.03
s641_d5_sFAIL901.03
s641_d2_sFAIL901.03
s641_d6_sFAIL901.04
s641_d11_uFAIL901.04