Instances of family BMC solved by <a href='solver_detail.php?solver=59'>ncQuBE1.1</a> <br> QBFEVAL'07

Instances of family BMC solved by ncQuBE1.1
QBFEVAL'07

Instance	Result	Time
c6_BMC_p1_k256	FAIL	0
c5_BMC_p2_k128	FAIL	0.01
c4_BMC_p2_k2	UNSAT	0.02
c4_BMC_p1_k2	SAT	0.07
c4_BMC_p1_k4	SAT	0.08
c4_BMC_p2_k4	UNSAT	0.09
c6_BMC_p2_k2	UNSAT	0.11
c3_BMC_p2_k2	UNSAT	0.13
c4_BMC_p1_k8	SAT	0.16
c4_BMC_p2_k8	UNSAT	0.16
c6_BMC_p1_k2	SAT	0.16
c4_BMC_p1_k32	SAT	0.35
c4_BMC_p2_k32	UNSAT	0.36
c6_BMC_p2_k4	UNSAT	0.36
c3_BMC_p1_k2	SAT	0.4
c4_BMC_p1_k64	SAT	0.46
c4_BMC_p2_k64	UNSAT	0.47
c4_BMC_p1_k16	SAT	0.48
c6_BMC_p1_k4	SAT	0.52
c4_BMC_p2_k16	UNSAT	0.53
c3_BMC_p2_k4	UNSAT	0.58
c2_BMC_p2_k2	UNSAT	0.72
c2_BMC_p1_k2	SAT	1.14
c5_BMC_p2_k2	UNSAT	1.24
c5_BMC_p1_k2	SAT	1.63
c4_BMC_p1_k128	SAT	1.93
c6_BMC_p2_k8	UNSAT	2.04
c4_BMC_p2_k128	UNSAT	2.43
c3_BMC_p2_k8	UNSAT	2.72
c1_BMC_p2_k2	UNSAT	2.85
c6_BMC_p1_k8	SAT	2.92
c1_BMC_p1_k2	SAT	3.97
c4_BMC_p1_k256	SAT	5.91
c5_BMC_p2_k1024	FAIL	7.57
c2_BMC_p2_k2048	FAIL	7.8
c5_BMC_p1_k1024	FAIL	7.82
c2_BMC_p1_k2048	FAIL	7.82
c1_BMC_p1_k1024	FAIL	8.96
c1_BMC_p2_k1024	FAIL	8.98
c4_BMC_p2_k256	UNSAT	9.66
c6_BMC_p1_k16	SAT	9.91
c5_BMC_p1_k2048	FAIL	11.27
c5_BMC_p2_k2048	FAIL	11.29
c3_BMC_p1_k4	SAT	11.3
c1_BMC_p1_k2048	FAIL	12.91
c1_BMC_p2_k2048	FAIL	13.08
c3_BMC_p2_k64	UNSAT	13.13
c3_BMC_p2_k32	UNSAT	13.15
c3_BMC_p2_k16	UNSAT	13.34
c3_BMC_p2_k256	UNSAT	13.64
c3_BMC_p2_k128	UNSAT	13.83
c3_BMC_p2_k512	UNSAT	15.08
c6_BMC_p2_k16	UNSAT	15.35
c2_BMC_p2_k4	UNSAT	17.43
c5_BMC_p1_k4	SAT	18.22
c5_BMC_p2_k4	UNSAT	18.43
c3_BMC_p2_k1024	UNSAT	19.03
c1_BMC_p2_k4	UNSAT	27.38
c3_BMC_p2_k2048	UNSAT	31.42
c2_BMC_p1_k4	SAT	43.96
c3_BMC_p1_k2048	FAIL	57.94
c1_BMC_p1_k4	SAT	100.8
c5_BMC_p2_k512	FAIL	130.5
c5_BMC_p1_k512	FAIL	131.35
c6_BMC_p1_k32	SAT	134.58
c2_BMC_p1_k1024	FAIL	172.89
c2_BMC_p2_k1024	FAIL	173.23
c1_BMC_p2_k8	UNSAT	232.64
c5_BMC_p2_k8	UNSAT	266.61
c6_BMC_p1_k2048	FAIL	270.98
c6_BMC_p2_k32	UNSAT	311.82
c4_BMC_p2_k512	UNSAT	337.31
c1_BMC_p1_k512	FAIL	353.44
c1_BMC_p2_k512	FAIL	354.45
c2_BMC_p2_k8	UNSAT	387.72
c5_BMC_p1_k8	SAT	390.71
c4_BMC_p1_k512	SAT	489.59
c3_BMC_p1_k512	FAIL	596.46
c1_BMC_p1_k16	FAIL	600
c1_BMC_p1_k8	FAIL	600
c2_BMC_p1_k256	FAIL	600
c2_BMC_p2_k128	FAIL	600
c2_BMC_p2_k64	FAIL	600
c3_BMC_p1_k32	FAIL	600
c4_BMC_p1_k1024	FAIL	600
c5_BMC_p1_k16	FAIL	600
c6_BMC_p2_k128	FAIL	600
c6_BMC_p2_k64	FAIL	600
c2_BMC_p2_k16	FAIL	600
c1_BMC_p1_k256	FAIL	600
c1_BMC_p2_k128	FAIL	600
c1_BMC_p2_k64	FAIL	600
c2_BMC_p1_k32	FAIL	600
c3_BMC_p1_k1024	FAIL	600
c5_BMC_p1_k256	FAIL	600
c5_BMC_p2_k64	FAIL	600
c6_BMC_p2_k2048	FAIL	600
c1_BMC_p2_k16	FAIL	600
c2_BMC_p2_k256	FAIL	600
c3_BMC_p1_k128	FAIL	600
c3_BMC_p1_k64	FAIL	600
c4_BMC_p1_k2048	FAIL	600
c4_BMC_p2_k1024	FAIL	600
c5_BMC_p2_k16	FAIL	600
c6_BMC_p2_k256	FAIL	600
c1_BMC_p1_k32	FAIL	600
c2_BMC_p1_k512	FAIL	600
c3_BMC_p1_k16	FAIL	600
c3_BMC_p1_k8	FAIL	600
c5_BMC_p1_k32	FAIL	600
c6_BMC_p1_k1024	FAIL	600
c6_BMC_p1_k512	FAIL	600
c1_BMC_p2_k256	FAIL	600
c2_BMC_p1_k128	FAIL	600
c2_BMC_p1_k64	FAIL	600
c2_BMC_p2_k32	FAIL	600
c5_BMC_p2_k256	FAIL	600
c6_BMC_p1_k128	FAIL	600
c6_BMC_p1_k64	FAIL	600
c2_BMC_p1_k16	FAIL	600
c2_BMC_p1_k8	FAIL	600
c3_BMC_p1_k256	FAIL	600
c4_BMC_p2_k2048	FAIL	600
c1_BMC_p1_k128	FAIL	600
c1_BMC_p1_k64	FAIL	600
c1_BMC_p2_k32	FAIL	600
c2_BMC_p2_k512	FAIL	600
c5_BMC_p1_k128	FAIL	600
c5_BMC_p1_k64	FAIL	600
c5_BMC_p2_k32	FAIL	600
c6_BMC_p2_k1024	FAIL	600
c6_BMC_p2_k512	FAIL	600

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family BMC solved by ncQuBE1.1
QBFEVAL'07

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family BMC solved by ncQuBE1.1 QBFEVAL'07

Instances of family BMC solved by ncQuBE1.1
QBFEVAL'07