Instances of family s641 solved by skizzo_v0.4
QBFEVAL'05

InstanceResultTime
s641_d2_sFAIL0
s641_d4_sFAIL0.01
s641_d6_sFAIL0.01
s641_d7_uFAIL0.01