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

InstanceResultTime
c1_Debug_s5_f1_e1_v2FAIL160.41
c2_Debug_s5_f1_e1_v3FAIL226.22
c2_Debug_s5_f1_e1_v1FAIL226.5
c4_Debug_s5_f2_e1_v3SAT227.04
c4_Debug_s5_f2_e2_v3SAT227.08
c4_Debug_s5_f2_e1_v1SAT229.67
c4_Debug_s5_f2_e2_v1SAT229.95
c4_Debug_s5_f2_e1_v2SAT230.25
c4_Debug_s5_f2_e2_v2SAT230.31
c2_Debug_s3_f1_e1_v2SAT238.1
c1_Debug_s5_f1_e1_v3UNSAT263.98
c1_Debug_s3_f1_e1_v1FAIL306.98
c2_Debug_s5_f1_e1_v2FAIL338.39
c4_Debug_s3_f1_e1_v3SAT378.23
c4_Debug_s3_f1_e1_v2FAIL488.69
c4_Debug_s3_f1_e2_v2FAIL510.07
c4_Debug_s3_f1_e2_v1FAIL567.47
c4_Debug_s3_f1_e1_v1FAIL569.45
c3_Debug_s3_f2_e2_v2FAIL586.75
c2_Debug_s3_f1_e1_v1SAT599.63
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
c1_Debug_s5_f1_e1_v1FAIL600
c2_Debug_s3_f2_e1_v3FAIL600
c4_Debug_s3_f2_e2_v2FAIL600
c4_Debug_s3_f2_e2_v3FAIL600
c1_Debug_s3_f1_e1_v2FAIL600
c4_Debug_s3_f1_e2_v3FAIL600
c1_Debug_s3_f1_e1_v3FAIL600
c4_Debug_s3_f2_e1_v1FAIL600
c1_Debug_s3_f2_e1_v1FAIL600
c2_Debug_s3_f1_e1_v3FAIL600
c3_Debug_s3_f2_e2_v3FAIL600
c4_Debug_s3_f2_e1_v2FAIL600