Instances of family s641 solved by sSolve
QBFEVAL'04

InstanceResultTime
s641_d3_sFAIL0.02
s641_d5_sFAIL0.02
s641_d2_sFAIL0.02
s641_d6_sFAIL0.02
s641_d7_uFAIL0.02
s641_d8_uFAIL0.02
s641_d10_uFAIL0.03
s641_d11_uFAIL0.03