Instances of family s641 solved by semprop
QBFEVAL'05

InstanceResultTime
s641_d6_sFAIL0
s641_d7_uFAIL0.01
s641_d2_sFAIL0.01
s641_d4_sFAIL0.01