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

InstanceResultTime
c6_BMC_p1_k256FAIL0.01
c5_BMC_p2_k128FAIL0.01
c4_BMC_p1_k2SAT0.02
c4_BMC_p1_k4SAT0.03
c4_BMC_p2_k2UNSAT0.03
c4_BMC_p2_k4UNSAT0.03
c4_BMC_p2_k8UNSAT0.03
c4_BMC_p1_k8SAT0.04
c3_BMC_p2_k2UNSAT0.04
c4_BMC_p1_k16SAT0.06
c4_BMC_p2_k16UNSAT0.06
c4_BMC_p1_k32SAT0.06
c4_BMC_p2_k32UNSAT0.06
c3_BMC_p2_k4UNSAT0.06
c6_BMC_p2_k2UNSAT0.07
c6_BMC_p1_k2SAT0.07
c6_BMC_p2_k4UNSAT0.09
c6_BMC_p1_k4SAT0.09
c4_BMC_p2_k64UNSAT0.09
c4_BMC_p1_k64SAT0.1
c3_BMC_p2_k8UNSAT0.12
c3_BMC_p1_k2SAT0.13
c6_BMC_p2_k8UNSAT0.13
c6_BMC_p1_k8SAT0.13
c4_BMC_p1_k128SAT0.16
c4_BMC_p2_k128UNSAT0.16
c4_BMC_p2_k256UNSAT0.18
c3_BMC_p1_k4SAT0.21
c6_BMC_p2_k16UNSAT0.21
c6_BMC_p1_k16SAT0.22
c3_BMC_p2_k16UNSAT0.22
c3_BMC_p2_k32UNSAT0.25
c2_BMC_p2_k2UNSAT0.26
c2_BMC_p1_k2SAT0.28
c4_BMC_p1_k256SAT0.3
c6_BMC_p2_k32UNSAT0.32
c3_BMC_p2_k64UNSAT0.32
c2_BMC_p1_k4SAT0.33
c4_BMC_p2_k512UNSAT0.33
c3_BMC_p1_k8SAT0.35
c2_BMC_p2_k4UNSAT0.36
c6_BMC_p2_k64UNSAT0.36
c6_BMC_p1_k32SAT0.37
c2_BMC_p2_k8UNSAT0.46
c3_BMC_p2_k128UNSAT0.46
c5_BMC_p2_k2UNSAT0.54
c5_BMC_p1_k2SAT0.54
c6_BMC_p2_k128UNSAT0.62
c5_BMC_p2_k4UNSAT0.62
c4_BMC_p2_k1024UNSAT0.64
c2_BMC_p1_k8SAT0.73
c3_BMC_p2_k256UNSAT0.76
c5_BMC_p1_k4SAT0.76
c1_BMC_p2_k2UNSAT0.78
c1_BMC_p1_k2SAT0.79
c3_BMC_p1_k16SAT0.82
c2_BMC_p2_k16UNSAT0.84
c5_BMC_p2_k8UNSAT0.9
c1_BMC_p2_k4UNSAT1.03
c6_BMC_p2_k256UNSAT1.11
c2_BMC_p2_k32UNSAT1.17
c5_BMC_p1_k8SAT1.2
c4_BMC_p2_k2048UNSAT1.23
c3_BMC_p2_k512UNSAT1.3
c1_BMC_p1_k4SAT1.3
c5_BMC_p2_k16UNSAT1.6
c2_BMC_p2_k64UNSAT1.84
c6_BMC_p2_k512UNSAT2.1
c3_BMC_p2_k1024UNSAT2.55
c5_BMC_p2_k32UNSAT2.92
c2_BMC_p2_k128UNSAT3.27
c5_BMC_p1_k32SAT3.3
c6_BMC_p2_k1024UNSAT4.18
c3_BMC_p2_k2048UNSAT5.12
c2_BMC_p2_k256UNSAT5.95
c6_BMC_p2_k2048UNSAT8.49
c4_BMC_p1_k512SAT9.18
c4_BMC_p1_k1024SAT10.41
c3_BMC_p1_k32SAT10.91
c2_BMC_p2_k512UNSAT11.7
c3_BMC_p1_k64SAT12.09
c6_BMC_p1_k64SAT12.47
c6_BMC_p1_k128SAT13.71
c5_BMC_p1_k16SAT14.08
c4_BMC_p1_k2048SAT14.52
c2_BMC_p1_k32SAT15.44
c2_BMC_p1_k64SAT16.58
c1_BMC_p2_k64UNSAT17.3
c1_BMC_p2_k8UNSAT17.78
c1_BMC_p1_k8SAT18.39
c2_BMC_p1_k16SAT18.65
c2_BMC_p2_k1024UNSAT23.29
c1_BMC_p2_k32UNSAT23.61
c3_BMC_p1_k128SAT25.92
c1_BMC_p2_k16UNSAT30.83
c6_BMC_p1_k512SAT31.35
c1_BMC_p1_k64SAT31.97
c1_BMC_p2_k128UNSAT33.96
c1_BMC_p1_k32SAT36.23
c1_BMC_p1_k2048FAIL36.72
c1_BMC_p2_k2048FAIL37.22
c2_BMC_p2_k2048UNSAT45.99
c1_BMC_p1_k16SAT49.48
c2_BMC_p1_k256SAT50.17
c1_BMC_p1_k128SAT52.82
c5_BMC_p2_k512FAIL53.91
c5_BMC_p1_k512FAIL54.03
c2_BMC_p1_k2048FAIL55.42
c5_BMC_p2_k1024FAIL65.14
c5_BMC_p1_k1024FAIL65.43
c1_BMC_p2_k256UNSAT71.49
c5_BMC_p2_k2048FAIL94.5
c5_BMC_p1_k2048FAIL94.51
c2_BMC_p1_k128SAT102.23
c1_BMC_p1_k256SAT105.77
c3_BMC_p1_k256SAT146.92
c2_BMC_p1_k1024FAIL176.02
c1_BMC_p1_k512FAIL189.53
c1_BMC_p2_k512FAIL206.84
c3_BMC_p1_k2048FAIL267.25
c5_BMC_p1_k256FAIL274.92
c5_BMC_p2_k256FAIL278.67
c3_BMC_p1_k1024FAIL378.73
c2_BMC_p1_k512FAIL525.1
c1_BMC_p1_k1024FAIL600
c5_BMC_p1_k128FAIL600
c5_BMC_p1_k64FAIL600
c6_BMC_p1_k2048FAIL600
c1_BMC_p2_k1024FAIL600
c3_BMC_p1_k512FAIL600
c5_BMC_p2_k64FAIL600
c6_BMC_p1_k1024FAIL600