Instances of family s1269 solved by AQME-1NN
QBFEVAL'08

InstanceResultTime
s1269_d2_sSAT3.34
s1269_d3_sFAIL598.69
s1269_d4_sFAIL599.75
s1269_d6_sFAIL600
s1269_d9_sFAIL600
s1269_d10_sFAIL600
s1269_d15_uFAIL600
s1269_d11_uFAIL600
s1269_d13_uFAIL600
s1269_d8_sFAIL600
s1269_d12_uFAIL600
s1269_d14_uFAIL600
s1269_d5_sFAIL600
s1269_d7_sFAIL600