Instances of family s1269 solved by sSolve
QBFEVAL'05

InstanceResultTime
s1269_d2_sFAIL900.28
s1269_d11_uFAIL900.99
s1269_d8_sFAIL900.99
s1269_d10_sFAIL901
s1269_d4_sFAIL901.01