Instances of family s1269 solved by GRL
QBFEVAL'05

InstanceResultTime
s1269_d2_sFAIL900.64
s1269_d10_sFAIL900.86
s1269_d11_uFAIL900.9
s1269_d4_sFAIL900.91
s1269_d8_sFAIL900.91