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

InstanceResultTime
c4_Debug_s5_f2_e1_v3SAT57.08
c4_Debug_s5_f2_e2_v3SAT57.22
c4_Debug_s5_f2_e2_v1SAT57.57
c4_Debug_s5_f2_e1_v2SAT57.81
c4_Debug_s5_f2_e2_v2SAT58.03
c1_Debug_s3_f1_e1_v2SAT84.48
c4_Debug_s3_f1_e1_v2SAT103.99
c4_Debug_s3_f1_e2_v1SAT104.55
c4_Debug_s3_f1_e1_v1SAT105.54
c2_Debug_s5_f1_e1_v2SAT121.4
c4_Debug_s5_f2_e1_v1SAT142.94
c2_Debug_s3_f1_e1_v2SAT163.48
c3_Debug_s3_f2_e2_v2FAIL176.6
c1_Debug_s3_f1_e1_v1FAIL180.81
c4_Debug_s3_f1_e1_v3SAT181.44
c3_Debug_s3_f2_e2_v3FAIL181.52
c1_Debug_s3_f1_e1_v3FAIL183.52
c4_Debug_s3_f1_e2_v2SAT359.06
c1_Debug_s5_f1_e1_v1FAIL596.34
c1_Debug_s5_f1_e1_v3FAIL596.66
c1_Debug_s5_f1_e1_v2FAIL598.86
c2_Debug_s3_f1_e1_v1FAIL600
c2_Debug_s5_f1_e1_v3FAIL600
c4_Debug_s3_f1_e2_v3FAIL600
c4_Debug_s3_f2_e1_v1FAIL600
c1_Debug_s3_f2_e1_v1FAIL600
c2_Debug_s3_f1_e1_v3FAIL600
c4_Debug_s3_f2_e1_v2FAIL600
c1_Debug_s3_f2_e1_v2FAIL600
c2_Debug_s3_f2_e1_v1FAIL600
c4_Debug_s3_f2_e1_v3FAIL600
c1_Debug_s3_f2_e1_v3FAIL600
c2_Debug_s3_f2_e1_v2FAIL600
c4_Debug_s3_f2_e2_v1FAIL600
c2_Debug_s3_f2_e1_v3FAIL600
c4_Debug_s3_f2_e2_v2FAIL600
c2_Debug_s5_f1_e1_v1FAIL600
c4_Debug_s3_f2_e2_v3FAIL600