Instances of family s641 solved by openQbf
QBFEVAL'04

InstanceResultTime
s641_d2_sFAIL0.22
s641_d3_sFAIL0.23
s641_d7_uFAIL0.27
s641_d5_sFAIL0.27
s641_d6_sFAIL0.27
s641_d8_uFAIL0.28
s641_d11_uFAIL0.29
s641_d10_uFAIL0.31