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

InstanceResultTime
s1196_d7_uFAIL600
s1196_d4_uFAIL600
s1196_d3_uFAIL600
s1196_d2_sFAIL600
s1196_d5_uFAIL600
s1196_d6_uFAIL600