Instances of family BMC solved by EBDDRES
QBFEVAL'07

InstanceResultTime
c6_BMC_p1_k2FAIL25.1
c6_BMC_p2_k2FAIL25.13
c6_BMC_p2_k4FAIL25.14
c6_BMC_p1_k4FAIL25.14
c6_BMC_p2_k8FAIL25.15
c6_BMC_p1_k8FAIL25.21
c6_BMC_p2_k16FAIL25.25
c6_BMC_p1_k16FAIL25.27
c6_BMC_p1_k32FAIL25.31
c4_BMC_p1_k64FAIL25.32
c6_BMC_p2_k32FAIL25.34
c4_BMC_p2_k32FAIL25.4
c6_BMC_p1_k64FAIL25.42
c6_BMC_p2_k64FAIL25.43
c4_BMC_p2_k64FAIL25.45
c4_BMC_p1_k128FAIL25.49
c4_BMC_p2_k128FAIL25.55
c4_BMC_p1_k32FAIL25.55
c6_BMC_p1_k128FAIL25.57
c6_BMC_p2_k128FAIL25.57
c4_BMC_p1_k2FAIL25.61
c4_BMC_p2_k2FAIL25.68
c4_BMC_p1_k16FAIL25.77
c4_BMC_p2_k8FAIL25.79
c4_BMC_p1_k8FAIL25.79
c4_BMC_p1_k4FAIL25.83
c4_BMC_p2_k512FAIL25.83
c6_BMC_p2_k256FAIL25.84
c4_BMC_p2_k4FAIL25.85
c4_BMC_p2_k1024FAIL25.85
c4_BMC_p1_k1024FAIL25.88
c4_BMC_p1_k512FAIL25.88
c4_BMC_p2_k16FAIL25.95
c4_BMC_p1_k256FAIL25.97
c6_BMC_p1_k256FAIL26.02
c4_BMC_p2_k256FAIL26.03
c4_BMC_p1_k2048FAIL26.17
c4_BMC_p2_k2048FAIL26.27
c6_BMC_p1_k512FAIL26.4
c6_BMC_p2_k512FAIL26.6
c1_BMC_p2_k2FAIL27.01
c1_BMC_p1_k2FAIL27.03
c3_BMC_p1_k64FAIL27.23
c3_BMC_p2_k64FAIL27.23
c3_BMC_p2_k128FAIL27.37
c6_BMC_p1_k1024FAIL27.45
c6_BMC_p2_k1024FAIL27.55
c3_BMC_p1_k128FAIL27.65
c3_BMC_p2_k256FAIL27.68
c3_BMC_p1_k256FAIL27.73
c3_BMC_p2_k512FAIL28.46
c3_BMC_p1_k2FAIL28.81
c3_BMC_p2_k2FAIL28.87
c3_BMC_p1_k4FAIL28.97
c3_BMC_p1_k512FAIL28.97
c1_BMC_p2_k4FAIL29.04
c3_BMC_p2_k4FAIL29.1
c1_BMC_p1_k4FAIL29.23
c3_BMC_p1_k8FAIL29.35
c3_BMC_p2_k8FAIL29.41
c6_BMC_p2_k2048FAIL29.75
c6_BMC_p1_k2048FAIL29.75
c3_BMC_p1_k1024FAIL30.2
c3_BMC_p2_k1024FAIL30.26
c3_BMC_p2_k16FAIL31.2
c3_BMC_p2_k32FAIL31.32
c3_BMC_p1_k32FAIL31.43
c5_BMC_p1_k2FAIL31.62
c5_BMC_p2_k2FAIL31.84
c3_BMC_p1_k16FAIL32.21
c5_BMC_p2_k4FAIL32.39
c5_BMC_p1_k4FAIL32.46
c5_BMC_p2_k8FAIL33
c5_BMC_p1_k8FAIL33.01
c3_BMC_p1_k2048FAIL33.09
c3_BMC_p2_k2048FAIL33.28
c1_BMC_p2_k8FAIL34.27
c1_BMC_p1_k8FAIL34.48
c2_BMC_p2_k2FAIL35.41
c2_BMC_p1_k2FAIL35.49
c2_BMC_p1_k4FAIL35.91
c2_BMC_p2_k4FAIL36.06
c2_BMC_p1_k8FAIL36.17
c5_BMC_p1_k16FAIL36.33
c5_BMC_p1_k32FAIL36.53
c5_BMC_p1_k64FAIL36.68
c2_BMC_p2_k8FAIL36.7
c5_BMC_p2_k16FAIL36.76
c5_BMC_p2_k64FAIL36.81
c5_BMC_p2_k32FAIL37.01
c2_BMC_p2_k16FAIL37.86
c2_BMC_p2_k1024FAIL37.91
c2_BMC_p2_k256FAIL37.94
c2_BMC_p1_k16FAIL38.06
c2_BMC_p2_k2048FAIL38.11
c2_BMC_p1_k128FAIL38.12
c5_BMC_p1_k128FAIL38.14
c5_BMC_p2_k128FAIL38.15
c2_BMC_p1_k1024FAIL38.18
c2_BMC_p1_k256FAIL38.27
c2_BMC_p2_k128FAIL38.29
c2_BMC_p1_k2048FAIL38.35
c2_BMC_p1_k512FAIL38.5
c2_BMC_p2_k512FAIL38.66
c2_BMC_p2_k64FAIL38.69
c2_BMC_p1_k64FAIL38.69
c2_BMC_p1_k32FAIL39.07
c2_BMC_p2_k32FAIL39.28
c5_BMC_p1_k256FAIL41.98
c5_BMC_p2_k256FAIL42.17
c5_BMC_p2_k512FAIL48.64
c5_BMC_p1_k512FAIL48.79
c5_BMC_p2_k1024FAIL56.8
c5_BMC_p1_k1024FAIL56.87
c1_BMC_p2_k16FAIL67.29
c1_BMC_p1_k16FAIL67.46
c1_BMC_p2_k32FAIL69.12
c1_BMC_p1_k32FAIL69.31
c1_BMC_p1_k64FAIL70.67
c1_BMC_p2_k64FAIL71.39
c1_BMC_p2_k128FAIL75.99
c5_BMC_p1_k2048FAIL76.23
c1_BMC_p1_k128FAIL76.36
c5_BMC_p2_k2048FAIL76.71
c1_BMC_p2_k256FAIL86.03
c1_BMC_p1_k256FAIL86.8
c1_BMC_p2_k512FAIL107.18
c1_BMC_p1_k512FAIL108.46
c1_BMC_p1_k1024FAIL145.33
c1_BMC_p2_k1024FAIL145.82
c1_BMC_p2_k2048FAIL224.65
c1_BMC_p1_k2048FAIL225.37