Instances of family s1269 solved by ssolveB
QBFEVAL'08

InstanceResultTime
s1269_d10_sFAIL600
s1269_d15_uFAIL600
s1269_d4_sFAIL600
s1269_d3_sFAIL600
s1269_d11_uFAIL600
s1269_d13_uFAIL600
s1269_d8_sFAIL600
s1269_d12_uFAIL600
s1269_d2_sFAIL600
s1269_d14_uFAIL600
s1269_d5_sFAIL600
s1269_d7_sFAIL600
s1269_d6_sFAIL600
s1269_d9_sFAIL600