Instances of family s641 solved by QMRes
QBFEVAL'04

InstanceResultTime
s641_d2_sFAIL0.39
s641_d3_sFAIL1.52
s641_d5_sFAIL6.37
s641_d6_sFAIL12.49
s641_d11_uFAIL16.63
s641_d10_uFAIL18.15
s641_d7_uFAIL18.28
s641_d8_uFAIL19.11