Instances of family Debug solved by ncQuBE1.1
QBFEVAL'07

InstanceResultTime
c1_Debug_s3_f1_e1_v2FAIL7.63
c2_Debug_s3_f1_e1_v1FAIL7.72
c2_Debug_s3_f1_e1_v3FAIL7.93
c3_Debug_s3_f2_e2_v3FAIL9.5
c3_Debug_s3_f2_e2_v2FAIL9.75
c1_Debug_s3_f1_e1_v3FAIL11.59
c1_Debug_s3_f1_e1_v1FAIL11.89
c1_Debug_s3_f2_e1_v1FAIL209.71
c1_Debug_s3_f2_e1_v3FAIL457.32
c4_Debug_s3_f1_e1_v2FAIL469.37
c4_Debug_s3_f1_e1_v1FAIL471.95
c4_Debug_s3_f1_e2_v1FAIL481.72
c4_Debug_s3_f1_e2_v2FAIL481.81
c4_Debug_s3_f2_e1_v3FAIL600
c4_Debug_s5_f2_e2_v2FAIL600
c1_Debug_s3_f2_e1_v2FAIL600
c2_Debug_s3_f2_e1_v1FAIL600
c4_Debug_s3_f2_e2_v1FAIL600
c4_Debug_s5_f2_e2_v3FAIL600
c2_Debug_s3_f2_e1_v2FAIL600
c4_Debug_s3_f1_e1_v3FAIL600
c4_Debug_s3_f2_e2_v2FAIL600
c1_Debug_s5_f1_e1_v1FAIL600
c2_Debug_s3_f2_e1_v3FAIL600
c4_Debug_s3_f2_e2_v3FAIL600
c1_Debug_s5_f1_e1_v2FAIL600
c2_Debug_s5_f1_e1_v1FAIL600
c4_Debug_s5_f2_e1_v1FAIL600
c1_Debug_s5_f1_e1_v3FAIL600
c2_Debug_s5_f1_e1_v2FAIL600
c4_Debug_s3_f1_e2_v3FAIL600
c4_Debug_s5_f2_e1_v2FAIL600
c2_Debug_s5_f1_e1_v3FAIL600
c4_Debug_s3_f2_e1_v1FAIL600
c4_Debug_s5_f2_e1_v3FAIL600
c2_Debug_s3_f1_e1_v2FAIL600
c4_Debug_s3_f2_e1_v2FAIL600
c4_Debug_s5_f2_e2_v1FAIL600