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

InstanceResultTime
s386_d12_uFAIL901.03
s386_d10_uFAIL901.03
s386_d3_sFAIL901.03
s386_d7_sFAIL901.03
s386_d8_uFAIL901.03
s386_d5_sFAIL901.03
s386_d9_uFAIL901.03
s386_d4_sFAIL901.04