Instances of family Debug solved by Adaptive2clsQ
QBFEVAL'07

InstanceResultTime
c2_Debug_s5_f1_e1_v2SAT53.04
c4_Debug_s5_f2_e2_v3SAT56.06
c4_Debug_s5_f2_e1_v3SAT56.74
c4_Debug_s5_f2_e1_v1SAT59.1
c4_Debug_s5_f2_e2_v2SAT59.33
c4_Debug_s5_f2_e1_v2SAT60.09
c4_Debug_s5_f2_e2_v1SAT62.96
c2_Debug_s3_f1_e1_v2SAT74.66
c2_Debug_s5_f1_e1_v1FAIL166.97
c1_Debug_s5_f1_e1_v2SAT257.88
c2_Debug_s5_f1_e1_v3FAIL328.48
c1_Debug_s3_f1_e1_v1FAIL360.51
c3_Debug_s3_f2_e2_v2FAIL440.36
c2_Debug_s3_f2_e1_v2FAIL506.05
c4_Debug_s3_f1_e1_v1SAT563.39
c1_Debug_s3_f2_e1_v3FAIL600
c4_Debug_s3_f1_e1_v2FAIL600
c4_Debug_s3_f2_e2_v1FAIL600
c1_Debug_s5_f1_e1_v1FAIL600
c2_Debug_s3_f2_e1_v3FAIL600
c4_Debug_s3_f1_e1_v3FAIL600
c4_Debug_s3_f2_e2_v2FAIL600
c4_Debug_s3_f1_e2_v1FAIL600
c4_Debug_s3_f2_e2_v3FAIL600
c1_Debug_s5_f1_e1_v3FAIL600
c4_Debug_s3_f1_e2_v2FAIL600
c1_Debug_s3_f1_e1_v2FAIL600
c2_Debug_s3_f1_e1_v1FAIL600
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
c1_Debug_s3_f2_e1_v2FAIL600
c2_Debug_s3_f2_e1_v1FAIL600
c4_Debug_s3_f2_e1_v3FAIL600