Instances of family s386 solved by ssolve-A
QBFEVAL'08

InstanceResultTime
s386_d12_uFAIL600
s386_d10_uFAIL600
s386_d2_sFAIL600
s386_d3_sFAIL600
s386_d7_sFAIL600
s386_d11_uFAIL600
s386_d4_sFAIL600
s386_d6_sFAIL600
s386_d8_uFAIL600
s386_d5_sFAIL600
s386_d9_uFAIL600