Instances of family s1269 solved by openQbf
QBFEVAL'05

InstanceResultTime
s1269_d2_sFAIL900.92
s1269_d4_sFAIL900.93
s1269_d11_uFAIL900.93
s1269_d10_sFAIL900.94
s1269_d8_sFAIL900.94