Instances of family Debug solved by preQuel_sKizzo-0.10
QBFEVAL'07

InstanceResultTime
c3_Debug_s3_f2_e2_v2FAIL129.11
c2_Debug_s5_f1_e1_v2FAIL137.96
c1_Debug_s3_f1_e1_v1FAIL245.9
c4_Debug_s5_f2_e1_v3SAT250.57
c4_Debug_s3_f1_e2_v2SAT298.86
c4_Debug_s3_f1_e1_v2SAT303.96
c1_Debug_s3_f1_e1_v2SAT314.25
c4_Debug_s3_f1_e2_v1SAT329.91
c4_Debug_s3_f1_e1_v1SAT329.97
c4_Debug_s5_f2_e2_v2SAT339.09
c4_Debug_s5_f2_e1_v2SAT342.73
c4_Debug_s5_f2_e1_v1SAT353.09
c4_Debug_s3_f1_e2_v3SAT364.11
c4_Debug_s3_f1_e1_v3SAT367.19
c4_Debug_s5_f2_e2_v3SAT379.22
c1_Debug_s5_f1_e1_v2FAIL386.12
c4_Debug_s5_f2_e2_v1SAT399.29
c4_Debug_s3_f2_e2_v3SAT421.86
c4_Debug_s3_f2_e2_v1SAT476.73
c2_Debug_s3_f1_e1_v1FAIL506.4
c4_Debug_s3_f2_e2_v2SAT516.18
c2_Debug_s3_f1_e1_v3FAIL590.02
c1_Debug_s3_f1_e1_v3FAIL600
c2_Debug_s3_f1_e1_v2FAIL600
c4_Debug_s3_f2_e1_v1FAIL600
c1_Debug_s3_f2_e1_v1FAIL600
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
c1_Debug_s3_f2_e1_v3FAIL600
c2_Debug_s3_f2_e1_v2FAIL600
c1_Debug_s5_f1_e1_v1FAIL600
c2_Debug_s3_f2_e1_v3FAIL600
c2_Debug_s5_f1_e1_v1FAIL600
c1_Debug_s5_f1_e1_v3FAIL600
c2_Debug_s5_f1_e1_v3FAIL600