Instances of family BMC solved by Nenofex
QBFEVAL'08

InstanceResultTime
c4_BMC_p2_k2UNSAT0.03
c4_BMC_p1_k2SAT0.03
c3_BMC_p2_k2UNSAT0.05
c4_BMC_p2_k4UNSAT0.06
c4_BMC_p1_k4SAT0.08
c4_BMC_p2_k8UNSAT0.14
c4_BMC_p1_k8SAT0.15
c3_BMC_p2_k4UNSAT0.27
c3_BMC_p1_k2SAT0.27
c3_BMC_p1_k4SAT0.71
c4_BMC_p2_k16UNSAT0.76
c4_BMC_p1_k16SAT0.79
c4_BMC_p2_k32UNSAT0.82
c4_BMC_p1_k32SAT0.84
c3_BMC_p2_k8UNSAT0.84
c4_BMC_p2_k64UNSAT0.96
c4_BMC_p1_k64SAT1.07
c6_BMC_p1_k2SAT1.49
c6_BMC_p2_k2UNSAT1.5
c4_BMC_p2_k128UNSAT1.53
c4_BMC_p1_k128SAT1.82
c6_BMC_p1_k4SAT1.93
c6_BMC_p2_k4UNSAT1.93
c3_BMC_p1_k8SAT2.16
c1_BMC_p2_k2UNSAT2.33
c4_BMC_p2_k256UNSAT2.47
c4_BMC_p1_k256SAT3.04
c2_BMC_p2_k2UNSAT3.19
c6_BMC_p2_k8UNSAT3.42
c6_BMC_p1_k8SAT3.45
c2_BMC_p1_k2SAT3.48
c3_BMC_p2_k16UNSAT3.56
c3_BMC_p2_k32UNSAT4.55
c4_BMC_p2_k512UNSAT4.67
c3_BMC_p2_k64UNSAT5.68
c4_BMC_p1_k512SAT6.02
c6_BMC_p2_k16UNSAT6.63
c6_BMC_p1_k16SAT6.78
c3_BMC_p1_k16SAT7.85
c3_BMC_p2_k128UNSAT8.15
c4_BMC_p2_k1024UNSAT8.27
c6_BMC_p2_k32UNSAT8.36
c6_BMC_p1_k32SAT8.7
c5_BMC_p2_k2UNSAT9.59
c2_BMC_p2_k4UNSAT9.62
c3_BMC_p1_k32SAT9.69
c5_BMC_p1_k2SAT9.9
c2_BMC_p1_k4SAT10.05
c1_BMC_p1_k2SAT12.49
c1_BMC_p2_k4UNSAT12.53
c6_BMC_p2_k64UNSAT12.89
c5_BMC_p2_k2048FAIL12.89
c5_BMC_p1_k2048FAIL12.9
c3_BMC_p2_k256UNSAT13.59
c6_BMC_p1_k64SAT14.49
c1_BMC_p1_k2048FAIL14.58
c1_BMC_p2_k2048FAIL14.63
c4_BMC_p2_k2048UNSAT16.88
c4_BMC_p1_k1024SAT16.98
c5_BMC_p2_k4UNSAT17.37
c5_BMC_p1_k4SAT17.5
c6_BMC_p2_k128UNSAT21.1
c2_BMC_p2_k8UNSAT21.57
c2_BMC_p1_k8SAT22.98
c3_BMC_p2_k512UNSAT24.47
c1_BMC_p1_k4SAT25.2
c3_BMC_p1_k64SAT26.21
c6_BMC_p1_k128SAT29.31
c1_BMC_p2_k8UNSAT29.61
c5_BMC_p2_k8UNSAT32.48
c5_BMC_p1_k8SAT32.95
c6_BMC_p2_k256UNSAT39.37
c3_BMC_p2_k1024UNSAT45.18
c4_BMC_p1_k2048SAT52.71
c2_BMC_p2_k32UNSAT56.65
c1_BMC_p1_k8SAT57.94
c2_BMC_p2_k64UNSAT64.89
c5_BMC_p1_k16SAT65.24
c5_BMC_p2_k16UNSAT65.39
c1_BMC_p2_k16UNSAT68.32
c6_BMC_p2_k512UNSAT76.79
c2_BMC_p1_k16SAT78.17
c2_BMC_p2_k16UNSAT78.55
c2_BMC_p1_k32SAT78.64
c5_BMC_p2_k32UNSAT79.76
c6_BMC_p1_k256SAT81.45
c5_BMC_p1_k32SAT81.54
c3_BMC_p2_k2048UNSAT88.79
c3_BMC_p1_k128SAT89.86
c1_BMC_p2_k64UNSAT112.99
c1_BMC_p2_k32UNSAT124.25
c1_BMC_p1_k16SAT133.57
c6_BMC_p2_k1024UNSAT151.91
c3_BMC_p1_k2048FAIL159.81
c1_BMC_p1_k32SAT169.38
c1_BMC_p2_k128UNSAT174.18
c1_BMC_p1_k64SAT202.75
c2_BMC_p2_k128UNSAT239.71
c3_BMC_p1_k256SAT258.53
c6_BMC_p1_k512SAT300.63
c1_BMC_p2_k256UNSAT302.3
c6_BMC_p2_k2048UNSAT305.64
c2_BMC_p1_k64SAT363.83
c5_BMC_p1_k512FAIL379.54
c5_BMC_p2_k512FAIL383.04
c2_BMC_p2_k1024FAIL383.87
c2_BMC_p1_k1024FAIL385.19
c1_BMC_p1_k128SAT474.03
c2_BMC_p1_k2048FAIL522.87
c2_BMC_p2_k2048FAIL523.32
c1_BMC_p2_k512UNSAT565.24
c2_BMC_p1_k256FAIL600
c5_BMC_p2_k1024FAIL600
c1_BMC_p2_k1024FAIL600
c5_BMC_p1_k256FAIL600
c5_BMC_p2_k128FAIL600
c5_BMC_p2_k64FAIL600
c1_BMC_p1_k256FAIL600
c3_BMC_p1_k1024FAIL600
c3_BMC_p1_k512FAIL600
c2_BMC_p2_k256FAIL600
c6_BMC_p1_k1024FAIL600
c2_BMC_p1_k512FAIL600
c5_BMC_p2_k256FAIL600
c2_BMC_p1_k128FAIL600
c5_BMC_p1_k1024FAIL600
c1_BMC_p1_k1024FAIL600
c1_BMC_p1_k512FAIL600
c5_BMC_p1_k128FAIL600
c5_BMC_p1_k64FAIL600
c6_BMC_p1_k2048FAIL600
c2_BMC_p2_k512FAIL600