Instances of family s641 solved by qbfbdd
QBFEVAL'05

InstanceResultTime
s641_d4_sFAIL0
s641_d6_sFAIL0
s641_d7_uFAIL0
s641_d2_sFAIL0.01