Instances of family BMC solved by <a href='solver_detail.php?solver=62'>AQME-C4.5</a> <br> QBFEVAL'07

Instances of family BMC solved by AQME-C4.5
QBFEVAL'07

Instance	Result	Time
c4_BMC_p2_k4	UNSAT	0.57
c4_BMC_p1_k4	SAT	0.58
c4_BMC_p2_k8	UNSAT	0.61
c4_BMC_p1_k8	SAT	0.61
c4_BMC_p2_k16	UNSAT	0.62
c4_BMC_p2_k2	UNSAT	0.62
c4_BMC_p1_k2	SAT	0.63
c4_BMC_p1_k32	SAT	0.64
c6_BMC_p2_k4	UNSAT	0.64
c4_BMC_p2_k32	UNSAT	0.65
c4_BMC_p1_k16	SAT	0.65
c3_BMC_p2_k2	UNSAT	0.66
c3_BMC_p1_k2	SAT	0.67
c6_BMC_p2_k2	UNSAT	0.67
c4_BMC_p1_k64	SAT	0.68
c6_BMC_p1_k4	SAT	0.68
c4_BMC_p2_k64	UNSAT	0.68
c3_BMC_p2_k4	UNSAT	0.7
c6_BMC_p1_k2	SAT	0.71
c6_BMC_p2_k8	UNSAT	0.78
c6_BMC_p1_k8	SAT	0.78
c4_BMC_p2_k128	UNSAT	0.81
c6_BMC_p2_k16	UNSAT	0.82
c2_BMC_p2_k2	UNSAT	0.84
c4_BMC_p1_k128	SAT	0.87
c2_BMC_p1_k2	SAT	0.91
c6_BMC_p1_k16	SAT	0.97
c3_BMC_p2_k16	UNSAT	1.1
c4_BMC_p2_k512	UNSAT	1.12
c3_BMC_p1_k4	SAT	1.17
c2_BMC_p1_k4	SAT	1.17
c3_BMC_p2_k8	UNSAT	1.22
c1_BMC_p2_k2	UNSAT	1.3
c3_BMC_p2_k64	UNSAT	1.41
c1_BMC_p1_k2	SAT	1.42
c6_BMC_p2_k128	UNSAT	1.64
c4_BMC_p2_k1024	UNSAT	1.67
c2_BMC_p1_k8	SAT	1.68
c5_BMC_p2_k4	UNSAT	1.69
c1_BMC_p2_k4	UNSAT	1.79
c5_BMC_p1_k4	SAT	1.83
c3_BMC_p2_k128	UNSAT	1.85
c2_BMC_p2_k16	UNSAT	1.99
c3_BMC_p2_k32	UNSAT	2.02
c3_BMC_p1_k16	SAT	2.18
c2_BMC_p2_k4	UNSAT	2.26
c2_BMC_p2_k32	UNSAT	2.51
c1_BMC_p2_k8	UNSAT	2.66
c3_BMC_p2_k256	UNSAT	2.7
c6_BMC_p2_k256	UNSAT	2.74
c1_BMC_p1_k4	SAT	3.14
c6_BMC_p1_k128	SAT	3.16
c5_BMC_p2_k16	UNSAT	3.39
c2_BMC_p1_k16	SAT	3.51
c2_BMC_p2_k64	UNSAT	3.55
c6_BMC_p2_k512	UNSAT	3.72
c3_BMC_p2_k512	UNSAT	4.29
c1_BMC_p2_k16	UNSAT	4.55
c5_BMC_p1_k16	SAT	4.93
c5_BMC_p2_k32	UNSAT	5.11
c1_BMC_p2_k32	UNSAT	5.72
c5_BMC_p1_k32	SAT	5.78
c3_BMC_p1_k64	SAT	6.24
c6_BMC_p2_k1024	UNSAT	6.78
c4_BMC_p1_k256	SAT	7.62
c1_BMC_p2_k64	UNSAT	7.98
c2_BMC_p1_k32	SAT	8.65
c3_BMC_p2_k1024	UNSAT	9.19
c5_BMC_p1_k2	SAT	9.89
c1_BMC_p1_k32	SAT	10.02
c2_BMC_p2_k8	UNSAT	10.25
c4_BMC_p1_k512	SAT	10.38
c5_BMC_p2_k2	UNSAT	12.05
c6_BMC_p2_k2048	UNSAT	13.14
c1_BMC_p1_k64	SAT	13.18
c1_BMC_p2_k128	UNSAT	13.68
c3_BMC_p2_k2048	UNSAT	17.47
c3_BMC_p1_k128	SAT	19.52
c4_BMC_p2_k256	UNSAT	20.34
c4_BMC_p1_k1024	SAT	20.78
c1_BMC_p2_k512	UNSAT	27.67
c1_BMC_p2_k256	UNSAT	28.01
c6_BMC_p2_k32	UNSAT	35.27
c6_BMC_p2_k64	UNSAT	44.8
c6_BMC_p1_k32	SAT	76.91
c6_BMC_p1_k64	SAT	96.76
c6_BMC_p1_k256	SAT	99.56
c3_BMC_p1_k8	SAT	102.88
c5_BMC_p2_k8	UNSAT	106.83
c5_BMC_p1_k8	SAT	107.34
c1_BMC_p1_k8	FAIL	128.06
c3_BMC_p1_k32	SAT	128.78
c4_BMC_p2_k2048	UNSAT	133.34
c2_BMC_p2_k128	UNSAT	133.91
c1_BMC_p1_k16	SAT	146.02
c4_BMC_p1_k2048	SAT	147.45
c6_BMC_p1_k512	SAT	148.33
c2_BMC_p2_k256	UNSAT	162.77
c2_BMC_p2_k512	FAIL	191.2
c2_BMC_p1_k512	FAIL	197.77
c2_BMC_p1_k256	FAIL	204.27
c2_BMC_p1_k1024	FAIL	205.14
c1_BMC_p1_k128	FAIL	213.13
c2_BMC_p1_k64	FAIL	216.78
c1_BMC_p1_k256	SAT	217.33
c1_BMC_p1_k2048	FAIL	228.93
c5_BMC_p2_k2048	FAIL	231.85
c1_BMC_p2_k1024	FAIL	231.99
c5_BMC_p1_k2048	FAIL	232.93
c1_BMC_p2_k2048	FAIL	248.93
c3_BMC_p1_k256	SAT	283.4
c1_BMC_p1_k512	SAT	315
c2_BMC_p1_k128	SAT	333.85
c5_BMC_p2_k256	FAIL	600
c3_BMC_p1_k2048	FAIL	600
c5_BMC_p1_k1024	FAIL	600
c5_BMC_p1_k512	FAIL	600
c1_BMC_p1_k1024	FAIL	600
c5_BMC_p1_k128	FAIL	600
c5_BMC_p1_k64	FAIL	600
c6_BMC_p1_k2048	FAIL	600
c2_BMC_p1_k2048	FAIL	600
c2_BMC_p2_k1024	FAIL	600
c5_BMC_p2_k1024	FAIL	600
c5_BMC_p2_k512	FAIL	600
c5_BMC_p1_k256	FAIL	600
c5_BMC_p2_k128	FAIL	600
c5_BMC_p2_k64	FAIL	600
c2_BMC_p2_k2048	FAIL	600
c3_BMC_p1_k1024	FAIL	600
c3_BMC_p1_k512	FAIL	600
c6_BMC_p1_k1024	FAIL	600

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family BMC solved by AQME-C4.5
QBFEVAL'07

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family BMC solved by AQME-C4.5 QBFEVAL'07

Instances of family BMC solved by AQME-C4.5
QBFEVAL'07