Instances of family s1269 solved by QMRes
QBFEVAL'05

InstanceResultTime
s1269_d4_sFAIL14.72
s1269_d10_sFAIL17.07
s1269_d8_sFAIL17.58
s1269_d11_uFAIL18.37
s1269_d2_sFAIL898.51