Instances of family BMC solved by ncQuBE1.0
QBFEVAL'07

InstanceResultTime
c6_BMC_p1_k256FAIL0
c5_BMC_p2_k128FAIL0
c4_BMC_p2_k2UNSAT0.02
c4_BMC_p1_k2SAT0.07
c4_BMC_p2_k4UNSAT0.09
c4_BMC_p1_k4SAT0.09
c6_BMC_p2_k2UNSAT0.11
c3_BMC_p2_k2UNSAT0.14
c4_BMC_p1_k8SAT0.15
c6_BMC_p1_k2SAT0.18
c4_BMC_p2_k8UNSAT0.18
c4_BMC_p1_k32SAT0.35
c4_BMC_p2_k32UNSAT0.36
c6_BMC_p2_k4UNSAT0.37
c3_BMC_p1_k2SAT0.42
c4_BMC_p1_k16SAT0.47
c6_BMC_p1_k4SAT0.52
c4_BMC_p1_k64SAT0.53
c4_BMC_p2_k16UNSAT0.53
c4_BMC_p2_k64UNSAT0.56
c3_BMC_p2_k4UNSAT0.6
c2_BMC_p2_k2UNSAT0.76
c4_BMC_p2_k128UNSAT0.87
c4_BMC_p1_k128SAT0.88
c2_BMC_p1_k2SAT1.18
c5_BMC_p2_k2UNSAT1.32
c5_BMC_p1_k2SAT1.53
c6_BMC_p2_k8UNSAT2.13
c3_BMC_p2_k8UNSAT2.79
c1_BMC_p2_k2UNSAT2.93
c6_BMC_p1_k8SAT2.95
c1_BMC_p1_k2SAT4.06
c4_BMC_p2_k256UNSAT5.36
c3_BMC_p1_k4SAT5.38
c5_BMC_p2_k1024FAIL7.52
c5_BMC_p1_k1024FAIL7.63
c4_BMC_p1_k256SAT7.79
c2_BMC_p1_k2048FAIL7.85
c2_BMC_p2_k2048FAIL8.07
c1_BMC_p1_k1024FAIL8.88
c1_BMC_p2_k1024FAIL8.94
c6_BMC_p2_k16UNSAT10.22
c5_BMC_p2_k2048FAIL11.07
c5_BMC_p1_k2048FAIL11.53
c6_BMC_p1_k16SAT11.54
c1_BMC_p2_k2048FAIL12.99
c3_BMC_p2_k64UNSAT13.09
c3_BMC_p2_k32UNSAT13.11
c1_BMC_p1_k2048FAIL13.17
c3_BMC_p2_k16UNSAT13.26
c3_BMC_p2_k256UNSAT13.71
c3_BMC_p2_k128UNSAT13.97
c3_BMC_p2_k512UNSAT15.35
c5_BMC_p1_k4SAT17.8
c5_BMC_p2_k4UNSAT17.87
c3_BMC_p2_k1024UNSAT19.53
c2_BMC_p1_k4SAT23.59
c2_BMC_p2_k4UNSAT25.82
c1_BMC_p2_k4UNSAT28.2
c3_BMC_p2_k2048UNSAT32.05
c3_BMC_p1_k2048FAIL59.95
c5_BMC_p2_k8UNSAT110.36
c6_BMC_p1_k32SAT115.11
c5_BMC_p1_k512FAIL132.47
c5_BMC_p2_k512FAIL133.78
c1_BMC_p1_k4SAT138.8
c4_BMC_p2_k512UNSAT145.18
c5_BMC_p1_k8SAT167.55
c2_BMC_p1_k1024FAIL174.61
c2_BMC_p2_k1024FAIL174.96
c4_BMC_p1_k512SAT224.73
c1_BMC_p2_k8UNSAT230.09
c1_BMC_p1_k512FAIL350.37
c1_BMC_p2_k512FAIL355.97
c3_BMC_p1_k8SAT365.95
c4_BMC_p2_k1024UNSAT448.06
c6_BMC_p2_k32UNSAT457.56
c2_BMC_p2_k8UNSAT533.6
c6_BMC_p2_k128FAIL600
c6_BMC_p2_k64FAIL600
c1_BMC_p1_k16FAIL600
c1_BMC_p1_k8FAIL600
c2_BMC_p1_k256FAIL600
c2_BMC_p2_k128FAIL600
c2_BMC_p2_k64FAIL600
c3_BMC_p1_k32FAIL600
c4_BMC_p1_k1024FAIL600
c5_BMC_p1_k16FAIL600
c2_BMC_p2_k16FAIL600
c6_BMC_p2_k2048FAIL600
c1_BMC_p1_k256FAIL600
c1_BMC_p2_k128FAIL600
c1_BMC_p2_k64FAIL600
c2_BMC_p1_k32FAIL600
c3_BMC_p1_k1024FAIL600
c3_BMC_p1_k512FAIL600
c5_BMC_p1_k256FAIL600
c5_BMC_p2_k64FAIL600
c6_BMC_p2_k256FAIL600
c1_BMC_p2_k16FAIL600
c2_BMC_p2_k256FAIL600
c3_BMC_p1_k128FAIL600
c3_BMC_p1_k64FAIL600
c4_BMC_p1_k2048FAIL600
c5_BMC_p2_k16FAIL600
c6_BMC_p1_k1024FAIL600
c6_BMC_p1_k512FAIL600
c1_BMC_p1_k32FAIL600
c2_BMC_p1_k512FAIL600
c3_BMC_p1_k16FAIL600
c5_BMC_p1_k32FAIL600
c6_BMC_p1_k128FAIL600
c6_BMC_p1_k64FAIL600
c1_BMC_p2_k256FAIL600
c2_BMC_p1_k128FAIL600
c2_BMC_p1_k64FAIL600
c2_BMC_p2_k32FAIL600
c5_BMC_p2_k256FAIL600
c2_BMC_p1_k16FAIL600
c2_BMC_p1_k8FAIL600
c3_BMC_p1_k256FAIL600
c4_BMC_p2_k2048FAIL600
c6_BMC_p1_k2048FAIL600
c6_BMC_p2_k1024FAIL600
c6_BMC_p2_k512FAIL600
c1_BMC_p1_k128FAIL600
c1_BMC_p1_k64FAIL600
c1_BMC_p2_k32FAIL600
c2_BMC_p2_k512FAIL600
c5_BMC_p1_k128FAIL600
c5_BMC_p1_k64FAIL600
c5_BMC_p2_k32FAIL600