Instances of family BMC solved by AQME-1NN
QBFEVAL'07

InstanceResultTime
c4_BMC_p2_k2UNSAT0.48
c4_BMC_p1_k2SAT0.51
c4_BMC_p1_k8SAT0.52
c4_BMC_p2_k8UNSAT0.52
c4_BMC_p1_k16SAT0.55
c4_BMC_p2_k16UNSAT0.55
c4_BMC_p1_k4SAT0.56
c4_BMC_p2_k32UNSAT0.57
c4_BMC_p1_k32SAT0.58
c4_BMC_p2_k4UNSAT0.58
c6_BMC_p2_k2UNSAT0.6
c3_BMC_p2_k2UNSAT0.6
c6_BMC_p1_k4SAT0.61
c4_BMC_p1_k64SAT0.61
c6_BMC_p1_k2SAT0.62
c4_BMC_p2_k64UNSAT0.62
c6_BMC_p2_k4UNSAT0.63
c3_BMC_p2_k4UNSAT0.67
c6_BMC_p2_k8UNSAT0.7
c4_BMC_p2_k128UNSAT0.7
c6_BMC_p1_k8SAT0.72
c4_BMC_p1_k128SAT0.72
c3_BMC_p1_k2SAT0.79
c3_BMC_p2_k8UNSAT0.8
c6_BMC_p2_k16UNSAT0.83
c3_BMC_p1_k4SAT0.85
c6_BMC_p1_k16SAT0.86
c2_BMC_p2_k2UNSAT0.95
c2_BMC_p1_k2SAT0.97
c3_BMC_p2_k16UNSAT1.01
c6_BMC_p2_k32UNSAT1.04
c6_BMC_p1_k32SAT1.07
c2_BMC_p1_k4SAT1.07
c2_BMC_p2_k4UNSAT1.09
c3_BMC_p2_k32UNSAT1.13
c6_BMC_p2_k64UNSAT1.19
c3_BMC_p1_k8SAT1.24
c4_BMC_p2_k256UNSAT1.26
c3_BMC_p2_k64UNSAT1.33
c4_BMC_p1_k256SAT1.34
c2_BMC_p2_k8UNSAT1.35
c5_BMC_p1_k2SAT1.45
c5_BMC_p2_k2UNSAT1.47
c1_BMC_p2_k2UNSAT1.54
c2_BMC_p1_k8SAT1.61
c4_BMC_p2_k1024UNSAT1.61
c5_BMC_p2_k4UNSAT1.64
c6_BMC_p2_k128UNSAT1.69
c5_BMC_p1_k4SAT1.73
c3_BMC_p2_k128UNSAT1.79
c1_BMC_p1_k2SAT1.88
c2_BMC_p2_k16UNSAT1.94
c5_BMC_p2_k8UNSAT2.04
c5_BMC_p1_k8SAT2.32
c1_BMC_p2_k4UNSAT2.34
c3_BMC_p1_k16SAT2.45
c2_BMC_p2_k32UNSAT2.45
c3_BMC_p2_k256UNSAT2.6
c1_BMC_p1_k4SAT2.6
c6_BMC_p2_k256UNSAT2.69
c4_BMC_p2_k2048UNSAT2.72
c4_BMC_p2_k512UNSAT2.96
c3_BMC_p1_k32SAT3.07
c4_BMC_p1_k512SAT3.13
c5_BMC_p2_k16UNSAT3.35
c2_BMC_p1_k16SAT3.46
c2_BMC_p2_k64UNSAT3.49
c3_BMC_p2_k512UNSAT4.27
c1_BMC_p2_k16UNSAT4.5
c6_BMC_p2_k512UNSAT4.7
c5_BMC_p2_k32UNSAT4.91
c5_BMC_p1_k32SAT5.23
c1_BMC_p2_k32UNSAT5.57
c3_BMC_p1_k64SAT6.16
c1_BMC_p1_k16SAT7.88
c1_BMC_p2_k64UNSAT7.99
c3_BMC_p2_k1024UNSAT8.74
c6_BMC_p2_k1024UNSAT8.8
c1_BMC_p1_k32SAT9.99
c4_BMC_p1_k1024SAT10.94
c1_BMC_p1_k64SAT13.12
c6_BMC_p1_k64SAT13.65
c4_BMC_p1_k2048SAT13.68
c1_BMC_p2_k128UNSAT13.76
c6_BMC_p1_k128SAT14.12
c2_BMC_p1_k32SAT15.08
c3_BMC_p2_k2048UNSAT16.6
c6_BMC_p2_k2048UNSAT17.24
c5_BMC_p1_k16SAT18.18
c1_BMC_p2_k8UNSAT18.28
c1_BMC_p1_k8SAT18.96
c2_BMC_p1_k512SAT25.45
c1_BMC_p2_k256UNSAT27.78
c6_BMC_p1_k256SAT99.45
c2_BMC_p2_k128UNSAT134.25
c6_BMC_p1_k512SAT148.76
c2_BMC_p2_k256UNSAT162.73
c2_BMC_p2_k512FAIL165.77
c1_BMC_p2_k512UNSAT172.51
c2_BMC_p1_k256FAIL177.99
c3_BMC_p1_k128FAIL186.52
c1_BMC_p1_k128FAIL187.8
c2_BMC_p1_k64FAIL190.09
c1_BMC_p2_k1024FAIL205.11
c1_BMC_p1_k256SAT217.17
c1_BMC_p1_k2048FAIL229.47
c5_BMC_p1_k2048FAIL232.14
c5_BMC_p2_k2048FAIL232.5
c2_BMC_p1_k2048FAIL236.77
c5_BMC_p1_k1024FAIL239.2
c5_BMC_p2_k1024FAIL240.18
c5_BMC_p1_k512FAIL246.37
c5_BMC_p2_k512FAIL246.78
c1_BMC_p2_k2048FAIL247.92
c3_BMC_p1_k256SAT283.5
c1_BMC_p1_k512SAT314.71
c2_BMC_p1_k128FAIL352.67
c2_BMC_p1_k1024FAIL389.75
c6_BMC_p1_k1024FAIL416.39
c3_BMC_p1_k2048FAIL430.11
c5_BMC_p2_k256FAIL435.61
c5_BMC_p1_k256FAIL439.08
c6_BMC_p1_k2048FAIL444.3
c5_BMC_p1_k64FAIL525.55
c5_BMC_p2_k64FAIL526.08
c3_BMC_p1_k1024FAIL539.28
c1_BMC_p1_k1024FAIL600
c5_BMC_p1_k128FAIL600
c2_BMC_p2_k1024FAIL600
c5_BMC_p2_k128FAIL600
c2_BMC_p2_k2048FAIL600
c3_BMC_p1_k512FAIL600