Instances of family BMC solved by <a href='solver_detail.php?solver=64'>AQME-1NN</a> <br> QBFEVAL'08

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

Instance	Result	Time
c4_BMC_p1_k2	SAT	0.87
c4_BMC_p2_k4	UNSAT	0.91
c4_BMC_p1_k8	SAT	0.92
c4_BMC_p2_k8	UNSAT	0.95
c4_BMC_p1_k4	SAT	0.97
c4_BMC_p1_k16	SAT	1.15
c4_BMC_p2_k16	UNSAT	1.16
c4_BMC_p2_k32	UNSAT	1.18
c4_BMC_p1_k32	SAT	1.2
c4_BMC_p2_k2	UNSAT	1.32
c4_BMC_p2_k64	UNSAT	1.89
c3_BMC_p2_k2	UNSAT	2.27
c4_BMC_p1_k64	SAT	2.28
c6_BMC_p1_k2	SAT	2.38
c3_BMC_p1_k2	SAT	2.51
c6_BMC_p1_k4	SAT	2.63
c6_BMC_p2_k4	UNSAT	2.68
c4_BMC_p2_k256	UNSAT	2.68
c3_BMC_p2_k8	UNSAT	2.72
c3_BMC_p1_k4	SAT	2.72
c6_BMC_p2_k8	UNSAT	2.74
c4_BMC_p2_k128	UNSAT	2.77
c3_BMC_p2_k4	UNSAT	2.82
c6_BMC_p2_k16	UNSAT	2.82
c2_BMC_p1_k2	SAT	2.93
c6_BMC_p1_k16	SAT	2.94
c4_BMC_p1_k256	SAT	3.02
c4_BMC_p1_k128	SAT	3.03
c4_BMC_p2_k512	UNSAT	3.14
c3_BMC_p2_k16	UNSAT	3.15
c6_BMC_p1_k32	SAT	3.19
c2_BMC_p2_k2	UNSAT	3.2
c6_BMC_p2_k32	UNSAT	3.34
c3_BMC_p1_k8	SAT	3.37
c3_BMC_p2_k32	UNSAT	3.38
c6_BMC_p2_k2	UNSAT	3.39
c6_BMC_p2_k64	UNSAT	3.44
c6_BMC_p1_k64	SAT	3.5
c1_BMC_p2_k2	UNSAT	3.52
c1_BMC_p1_k2	SAT	3.68
c2_BMC_p1_k8	SAT	3.75
c2_BMC_p2_k8	UNSAT	3.76
c3_BMC_p2_k64	UNSAT	3.8
c1_BMC_p2_k4	UNSAT	3.88
c5_BMC_p2_k4	UNSAT	3.92
c6_BMC_p2_k128	UNSAT	3.94
c5_BMC_p1_k4	SAT	3.98
c3_BMC_p1_k16	SAT	4.06
c3_BMC_p2_k128	UNSAT	4.27
c5_BMC_p2_k2	UNSAT	4.43
c5_BMC_p1_k2	SAT	4.52
c2_BMC_p2_k16	UNSAT	4.56
c1_BMC_p1_k4	SAT	4.7
c5_BMC_p2_k8	UNSAT	4.78
c1_BMC_p2_k8	UNSAT	4.82
c6_BMC_p1_k8	SAT	4.85
c2_BMC_p1_k16	SAT	5.03
c4_BMC_p2_k2048	UNSAT	5.07
c2_BMC_p2_k32	UNSAT	5.32
c6_BMC_p2_k256	UNSAT	5.61
c3_BMC_p2_k256	UNSAT	5.79
c5_BMC_p2_k16	UNSAT	6.3
c4_BMC_p2_k1024	UNSAT	6.41
c2_BMC_p1_k32	SAT	6.74
c1_BMC_p2_k16	UNSAT	6.86
c3_BMC_p1_k32	SAT	6.95
c5_BMC_p1_k16	SAT	7.15
c2_BMC_p2_k64	UNSAT	7.56
c5_BMC_p1_k32	SAT	7.72
c6_BMC_p2_k512	UNSAT	9.01
c3_BMC_p2_k512	UNSAT	9.15
c1_BMC_p1_k16	SAT	9.63
c5_BMC_p2_k32	UNSAT	10.99
c1_BMC_p2_k32	UNSAT	11.53
c2_BMC_p2_k4	UNSAT	11.54
c4_BMC_p1_k512	SAT	11.65
c3_BMC_p1_k64	SAT	11.95
c2_BMC_p2_k128	UNSAT	12.08
c1_BMC_p1_k32	SAT	12.87
c6_BMC_p1_k128	SAT	13.07
c3_BMC_p1_k128	SAT	15.32
c4_BMC_p1_k2048	SAT	15.69
c6_BMC_p1_k256	SAT	16.09
c3_BMC_p2_k1024	UNSAT	16.96
c1_BMC_p2_k64	UNSAT	18.96
c1_BMC_p1_k64	SAT	20.53
c2_BMC_p1_k4	SAT	21.89
c6_BMC_p2_k1024	UNSAT	23.6
c6_BMC_p1_k512	SAT	25.16
c2_BMC_p2_k256	UNSAT	26.28
c3_BMC_p2_k2048	UNSAT	27.84
c1_BMC_p2_k256	UNSAT	32.2
c2_BMC_p1_k256	SAT	36.67
c1_BMC_p2_k128	UNSAT	41.07
c1_BMC_p1_k128	SAT	43.22
c1_BMC_p1_k256	SAT	44.79
c6_BMC_p2_k2048	UNSAT	57.91
c6_BMC_p1_k2048	SAT	62.21
c2_BMC_p2_k512	UNSAT	63.82
c2_BMC_p1_k2048	FAIL	79.37
c2_BMC_p2_k2048	FAIL	80.29
c1_BMC_p1_k8	SAT	90.03
c5_BMC_p1_k8	SAT	90.13
c4_BMC_p1_k1024	SAT	91.8
c2_BMC_p1_k512	SAT	92.85
c2_BMC_p1_k64	SAT	106.21
c6_BMC_p1_k1024	SAT	109.9
c1_BMC_p1_k512	SAT	112.87
c5_BMC_p2_k1024	FAIL	169.35
c5_BMC_p1_k1024	FAIL	170.38
c1_BMC_p1_k1024	FAIL	173.54
c1_BMC_p2_k1024	FAIL	174.3
c1_BMC_p1_k2048	FAIL	174.35
c5_BMC_p2_k2048	FAIL	181.22
c2_BMC_p2_k1024	UNSAT	226.39
c3_BMC_p1_k256	SAT	319.11
c1_BMC_p2_k512	UNSAT	329.68
c2_BMC_p1_k128	SAT	337.91
c2_BMC_p1_k1024	SAT	485.51
c5_BMC_p1_k2048	FAIL	512.58
c5_BMC_p2_k512	FAIL	600
c3_BMC_p1_k1024	FAIL	600
c3_BMC_p1_k512	FAIL	600
c5_BMC_p1_k256	FAIL	600
c5_BMC_p2_k128	FAIL	600
c5_BMC_p2_k64	FAIL	600
c1_BMC_p2_k2048	FAIL	600
c3_BMC_p1_k2048	FAIL	600
c5_BMC_p2_k256	FAIL	600
c5_BMC_p1_k512	FAIL	600
c5_BMC_p1_k128	FAIL	600
c5_BMC_p1_k64	FAIL	600

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

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

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

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

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