Instances of family BMC solved by qSS
QBFEVAL'07

InstanceResultTime
c4_BMC_p2_k2UNSAT0.05
c4_BMC_p1_k4SAT0.06
c4_BMC_p1_k2SAT0.06
c4_BMC_p1_k8SAT0.07
c4_BMC_p2_k4UNSAT0.08
c4_BMC_p2_k8UNSAT0.08
c4_BMC_p1_k16SAT0.08
c4_BMC_p2_k16UNSAT0.08
c4_BMC_p1_k32SAT0.13
c4_BMC_p2_k32UNSAT0.15
c4_BMC_p1_k64SAT0.17
c4_BMC_p2_k64UNSAT0.18
c3_BMC_p2_k4UNSAT0.19
c6_BMC_p1_k4SAT0.21
c6_BMC_p1_k2SAT0.24
c6_BMC_p2_k2UNSAT0.24
c6_BMC_p2_k8UNSAT0.25
c3_BMC_p2_k8UNSAT0.25
c4_BMC_p2_k128UNSAT0.26
c6_BMC_p1_k8SAT0.26
c4_BMC_p1_k128SAT0.27
c3_BMC_p2_k2UNSAT0.35
c6_BMC_p2_k16UNSAT0.36
c4_BMC_p2_k256UNSAT0.36
c6_BMC_p1_k16SAT0.38
c3_BMC_p2_k16UNSAT0.4
c6_BMC_p2_k32UNSAT0.4
c6_BMC_p2_k4UNSAT0.43
c3_BMC_p2_k32UNSAT0.52
c4_BMC_p1_k256SAT0.52
c5_BMC_p2_k128FAIL0.55
c6_BMC_p2_k64UNSAT0.66
c3_BMC_p1_k2SAT0.68
c3_BMC_p2_k64UNSAT0.78
c2_BMC_p2_k2UNSAT1.02
c6_BMC_p2_k128UNSAT1.18
c2_BMC_p2_k4UNSAT1.28
c3_BMC_p2_k128UNSAT1.38
c6_BMC_p1_k64SAT1.39
c4_BMC_p1_k512SAT1.6
c3_BMC_p2_k512UNSAT1.77
c3_BMC_p2_k256UNSAT2.07
c6_BMC_p1_k32SAT2.14
c2_BMC_p1_k2SAT2.17
c6_BMC_p2_k256UNSAT2.36
c6_BMC_p2_k512UNSAT2.47
c6_BMC_p1_k128SAT3.19
c1_BMC_p2_k4UNSAT3.35
c3_BMC_p2_k1024UNSAT3.46
c2_BMC_p2_k128UNSAT4.4
c6_BMC_p2_k1024UNSAT5.56
c5_BMC_p2_k2UNSAT5.78
c4_BMC_p1_k1024SAT6.01
c5_BMC_p1_k2SAT6.18
c2_BMC_p2_k256UNSAT6.38
c6_BMC_p1_k256SAT6.42
c3_BMC_p2_k2048UNSAT7.28
c1_BMC_p2_k8UNSAT9.02
c6_BMC_p2_k2048UNSAT9.7
c1_BMC_p2_k2UNSAT11.26
c1_BMC_p1_k2SAT11.54
c2_BMC_p2_k512UNSAT12.84
c5_BMC_p2_k4UNSAT17.43
c1_BMC_p2_k64UNSAT18.45
c6_BMC_p1_k512SAT23.94
c2_BMC_p2_k1024UNSAT24.65
c1_BMC_p2_k32UNSAT24.72
c3_BMC_p1_k4SAT25.41
c1_BMC_p2_k128UNSAT35.49
c1_BMC_p1_k64SAT36.48
c4_BMC_p1_k2048SAT37.78
c1_BMC_p1_k32SAT39.14
c1_BMC_p2_k2048FAIL42.14
c1_BMC_p1_k2048FAIL42.45
c2_BMC_p2_k2048UNSAT48.86
c5_BMC_p1_k512FAIL53.96
c5_BMC_p2_k512FAIL54.37
c4_BMC_p2_k512UNSAT56.68
c2_BMC_p1_k2048FAIL57.52
c1_BMC_p1_k128SAT63.79
c1_BMC_p2_k256UNSAT75.06
c5_BMC_p2_k1024FAIL77.98
c5_BMC_p1_k1024FAIL78.29
c5_BMC_p2_k8UNSAT98.69
c2_BMC_p2_k8UNSAT101.71
c5_BMC_p2_k2048FAIL106.5
c5_BMC_p1_k2048FAIL107.05
c1_BMC_p1_k256SAT107.9
c2_BMC_p1_k128FAIL117.12
c5_BMC_p1_k4SAT123.79
c4_BMC_p2_k1024UNSAT137.7
c1_BMC_p1_k4SAT145.57
c2_BMC_p1_k4SAT190.89
c1_BMC_p2_k512UNSAT202.12
c3_BMC_p1_k256FAIL229.37
c2_BMC_p1_k256FAIL237.35
c1_BMC_p2_k16UNSAT238.6
c2_BMC_p1_k1024FAIL241.24
c3_BMC_p1_k512FAIL277.21
c3_BMC_p1_k8SAT278.09
c3_BMC_p1_k2048FAIL281.15
c5_BMC_p1_k256FAIL308.64
c5_BMC_p2_k256FAIL318.18
c6_BMC_p1_k2048FAIL319.52
c1_BMC_p1_k512FAIL325.38
c6_BMC_p1_k1024FAIL337.74
c5_BMC_p1_k128FAIL373.46
c5_BMC_p2_k64FAIL376.24
c3_BMC_p1_k1024FAIL386.46
c5_BMC_p1_k64FAIL394.51
c2_BMC_p1_k512FAIL536.39
c4_BMC_p2_k2048UNSAT573.32
c1_BMC_p2_k1024FAIL600
c2_BMC_p2_k16FAIL600
c2_BMC_p1_k32FAIL600
c3_BMC_p1_k128FAIL600
c3_BMC_p1_k64FAIL600
c5_BMC_p2_k16FAIL600
c3_BMC_p1_k16FAIL600
c5_BMC_p1_k32FAIL600
c2_BMC_p1_k64FAIL600
c2_BMC_p2_k32FAIL600
c1_BMC_p1_k1024FAIL600
c2_BMC_p1_k16FAIL600
c2_BMC_p1_k8FAIL600
c5_BMC_p2_k32FAIL600
c1_BMC_p1_k16FAIL600
c1_BMC_p1_k8FAIL600
c2_BMC_p2_k64FAIL600
c3_BMC_p1_k32FAIL600
c5_BMC_p1_k16FAIL600
c5_BMC_p1_k8FAIL600