Instances of family s641 solved by sSolve
QBFEVAL'05

InstanceResultTime
s641_d2_sFAIL0
s641_d4_sFAIL0
s641_d7_uFAIL0.01
s641_d6_sFAIL0.01