Instances of family Debug solved by sKizzo-0.10-std
QBFEVAL'07

InstanceResultTime
c4_Debug_s3_f2_e1_v3SAT45.2
c3_Debug_s3_f2_e2_v3FAIL46.6
c4_Debug_s3_f2_e1_v1SAT48.33
c4_Debug_s3_f2_e1_v2SAT49.56
c3_Debug_s3_f2_e2_v2FAIL55.1
c1_Debug_s3_f1_e1_v2SAT64.96
c1_Debug_s3_f2_e1_v2SAT66.24
c1_Debug_s3_f2_e1_v3FAIL68.99
c1_Debug_s3_f2_e1_v1FAIL73.59
c1_Debug_s3_f1_e1_v3FAIL95.26
c1_Debug_s3_f1_e1_v1FAIL102.72
c2_Debug_s5_f1_e1_v2FAIL137.16
c4_Debug_s3_f1_e2_v3SAT146.44
c4_Debug_s3_f1_e1_v3SAT147.77
c4_Debug_s3_f2_e2_v2SAT161.84
c4_Debug_s3_f2_e2_v1SAT168.9
c1_Debug_s5_f1_e1_v2FAIL176.53
c4_Debug_s3_f1_e2_v2SAT186.27
c4_Debug_s3_f2_e2_v3SAT186.67
c4_Debug_s3_f1_e1_v2SAT191.66
c4_Debug_s3_f1_e1_v1SAT203.55
c4_Debug_s3_f1_e2_v1SAT203.79
c2_Debug_s3_f1_e1_v3FAIL248.8
c2_Debug_s3_f1_e1_v1FAIL257.38
c4_Debug_s5_f2_e1_v2SAT328.91
c4_Debug_s5_f2_e2_v2SAT331.07
c4_Debug_s5_f2_e1_v3SAT357.58
c4_Debug_s5_f2_e2_v1SAT367.58
c4_Debug_s5_f2_e2_v3SAT375.33
c4_Debug_s5_f2_e1_v1SAT390.43
c2_Debug_s3_f2_e1_v1FAIL406.49
c2_Debug_s3_f2_e1_v3FAIL413.12
c1_Debug_s5_f1_e1_v3SAT478.63
c1_Debug_s5_f1_e1_v1FAIL489.29
c2_Debug_s5_f1_e1_v3FAIL600
c2_Debug_s3_f1_e1_v2FAIL600
c2_Debug_s3_f2_e1_v2FAIL600
c2_Debug_s5_f1_e1_v1FAIL600