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

InstanceResultTime
c4_BMC_p1_k2SAT0.87
c4_BMC_p2_k4UNSAT0.91
c4_BMC_p1_k8SAT0.92
c4_BMC_p2_k8UNSAT0.95
c4_BMC_p1_k4SAT0.97
c4_BMC_p1_k16SAT1.15
c4_BMC_p2_k16UNSAT1.16
c4_BMC_p2_k32UNSAT1.18
c4_BMC_p1_k32SAT1.2
c4_BMC_p2_k2UNSAT1.32
c4_BMC_p2_k64UNSAT1.89
c3_BMC_p2_k2UNSAT2.27
c4_BMC_p1_k64SAT2.28
c6_BMC_p1_k2SAT2.38
c3_BMC_p1_k2SAT2.51
c6_BMC_p1_k4SAT2.63
c6_BMC_p2_k4UNSAT2.68
c4_BMC_p2_k256UNSAT2.68
c3_BMC_p2_k8UNSAT2.72
c3_BMC_p1_k4SAT2.72
c6_BMC_p2_k8UNSAT2.74
c4_BMC_p2_k128UNSAT2.77
c3_BMC_p2_k4UNSAT2.82
c6_BMC_p2_k16UNSAT2.82
c2_BMC_p1_k2SAT2.93
c6_BMC_p1_k16SAT2.94
c4_BMC_p1_k256SAT3.02
c4_BMC_p1_k128SAT3.03
c4_BMC_p2_k512UNSAT3.14
c3_BMC_p2_k16UNSAT3.15
c6_BMC_p1_k32SAT3.19
c2_BMC_p2_k2UNSAT3.2
c6_BMC_p2_k32UNSAT3.34
c3_BMC_p1_k8SAT3.37
c3_BMC_p2_k32UNSAT3.38
c6_BMC_p2_k2UNSAT3.39
c6_BMC_p2_k64UNSAT3.44
c6_BMC_p1_k64SAT3.5
c1_BMC_p2_k2UNSAT3.52
c1_BMC_p1_k2SAT3.68
c2_BMC_p1_k8SAT3.75
c2_BMC_p2_k8UNSAT3.76
c3_BMC_p2_k64UNSAT3.8
c1_BMC_p2_k4UNSAT3.88
c5_BMC_p2_k4UNSAT3.92
c6_BMC_p2_k128UNSAT3.94
c5_BMC_p1_k4SAT3.98
c3_BMC_p1_k16SAT4.06
c3_BMC_p2_k128UNSAT4.27
c5_BMC_p2_k2UNSAT4.43
c5_BMC_p1_k2SAT4.52
c2_BMC_p2_k16UNSAT4.56
c1_BMC_p1_k4SAT4.7
c5_BMC_p2_k8UNSAT4.78
c1_BMC_p2_k8UNSAT4.82
c6_BMC_p1_k8SAT4.85
c2_BMC_p1_k16SAT5.03
c4_BMC_p2_k2048UNSAT5.07
c2_BMC_p2_k32UNSAT5.32
c6_BMC_p2_k256UNSAT5.61
c3_BMC_p2_k256UNSAT5.79
c5_BMC_p2_k16UNSAT6.3
c4_BMC_p2_k1024UNSAT6.41
c2_BMC_p1_k32SAT6.74
c1_BMC_p2_k16UNSAT6.86
c3_BMC_p1_k32SAT6.95
c5_BMC_p1_k16SAT7.15
c2_BMC_p2_k64UNSAT7.56
c5_BMC_p1_k32SAT7.72
c6_BMC_p2_k512UNSAT9.01
c3_BMC_p2_k512UNSAT9.15
c1_BMC_p1_k16SAT9.63
c5_BMC_p2_k32UNSAT10.99
c1_BMC_p2_k32UNSAT11.53
c2_BMC_p2_k4UNSAT11.54
c4_BMC_p1_k512SAT11.65
c3_BMC_p1_k64SAT11.95
c2_BMC_p2_k128UNSAT12.08
c1_BMC_p1_k32SAT12.87
c6_BMC_p1_k128SAT13.07
c3_BMC_p1_k128SAT15.32
c4_BMC_p1_k2048SAT15.69
c6_BMC_p1_k256SAT16.09
c3_BMC_p2_k1024UNSAT16.96
c1_BMC_p2_k64UNSAT18.96
c1_BMC_p1_k64SAT20.53
c2_BMC_p1_k4SAT21.89
c6_BMC_p2_k1024UNSAT23.6
c6_BMC_p1_k512SAT25.16
c2_BMC_p2_k256UNSAT26.28
c3_BMC_p2_k2048UNSAT27.84
c1_BMC_p2_k256UNSAT32.2
c2_BMC_p1_k256SAT36.67
c1_BMC_p2_k128UNSAT41.07
c1_BMC_p1_k128SAT43.22
c1_BMC_p1_k256SAT44.79
c6_BMC_p2_k2048UNSAT57.91
c6_BMC_p1_k2048SAT62.21
c2_BMC_p2_k512UNSAT63.82
c2_BMC_p1_k2048FAIL79.37
c2_BMC_p2_k2048FAIL80.29
c1_BMC_p1_k8SAT90.03
c5_BMC_p1_k8SAT90.13
c4_BMC_p1_k1024SAT91.8
c2_BMC_p1_k512SAT92.85
c2_BMC_p1_k64SAT106.21
c6_BMC_p1_k1024SAT109.9
c1_BMC_p1_k512SAT112.87
c5_BMC_p2_k1024FAIL169.35
c5_BMC_p1_k1024FAIL170.38
c1_BMC_p1_k1024FAIL173.54
c1_BMC_p2_k1024FAIL174.3
c1_BMC_p1_k2048FAIL174.35
c5_BMC_p2_k2048FAIL181.22
c2_BMC_p2_k1024UNSAT226.39
c3_BMC_p1_k256SAT319.11
c1_BMC_p2_k512UNSAT329.68
c2_BMC_p1_k128SAT337.91
c2_BMC_p1_k1024SAT485.51
c5_BMC_p1_k2048FAIL512.58
c5_BMC_p2_k512FAIL600
c5_BMC_p1_k256FAIL600
c5_BMC_p2_k128FAIL600
c5_BMC_p2_k64FAIL600
c3_BMC_p1_k1024FAIL600
c3_BMC_p1_k512FAIL600
c1_BMC_p2_k2048FAIL600
c5_BMC_p2_k256FAIL600
c3_BMC_p1_k2048FAIL600
c5_BMC_p1_k512FAIL600
c5_BMC_p1_k128FAIL600
c5_BMC_p1_k64FAIL600