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

InstanceResultTime
s386_d2_sSAT1.31
s386_d3_sSAT4.54
s386_d4_sSAT17.35
s386_d5_sSAT39.14
s386_d6_sSAT62.67
s386_d7_sFAIL598.61
s386_d8_uFAIL599.01
s386_d9_uFAIL599.39
s386_d10_uFAIL599.69
s386_d11_uFAIL600
s386_d12_uFAIL600