Instances of family BMC solved by <a href='solver_detail.php?solver=73'>quantor3.0</a> <br> QBFEVAL'08

Instances of family BMC solved by quantor3.0
QBFEVAL'08

Instance	Result	Time
c4_BMC_p2_k2	UNSAT	0.01
c4_BMC_p1_k2	SAT	0.01
c4_BMC_p1_k4	SAT	0.01
c4_BMC_p2_k4	UNSAT	0.01
c4_BMC_p2_k8	UNSAT	0.02
c4_BMC_p1_k8	SAT	0.02
c6_BMC_p2_k2	UNSAT	0.02
c6_BMC_p1_k2	SAT	0.03
c3_BMC_p2_k2	UNSAT	0.03
c3_BMC_p2_k4	UNSAT	0.03
c4_BMC_p2_k16	UNSAT	0.03
c6_BMC_p2_k4	UNSAT	0.03
c4_BMC_p1_k16	SAT	0.03
c6_BMC_p1_k4	SAT	0.04
c4_BMC_p1_k32	SAT	0.05
c3_BMC_p2_k8	UNSAT	0.05
c4_BMC_p2_k32	UNSAT	0.05
c3_BMC_p1_k2	SAT	0.05
c6_BMC_p2_k8	UNSAT	0.05
c4_BMC_p2_k64	UNSAT	0.06
c6_BMC_p1_k8	SAT	0.06
c2_BMC_p2_k2	UNSAT	0.07
c4_BMC_p1_k64	SAT	0.07
c3_BMC_p2_k16	UNSAT	0.09
c3_BMC_p1_k4	SAT	0.09
c2_BMC_p1_k2	SAT	0.1
c3_BMC_p2_k32	UNSAT	0.1
c2_BMC_p2_k4	UNSAT	0.1
c6_BMC_p2_k16	UNSAT	0.11
c4_BMC_p2_k128	UNSAT	0.12
c4_BMC_p1_k128	SAT	0.13
c5_BMC_p2_k2	UNSAT	0.14
c6_BMC_p1_k16	SAT	0.14
c6_BMC_p2_k32	UNSAT	0.14
c3_BMC_p2_k64	UNSAT	0.15
c3_BMC_p2_k128	UNSAT	0.18
c6_BMC_p1_k32	SAT	0.19
c2_BMC_p1_k4	SAT	0.19
c5_BMC_p1_k2	SAT	0.19
c1_BMC_p2_k2	UNSAT	0.2
c3_BMC_p1_k8	SAT	0.24
c1_BMC_p1_k2	SAT	0.24
c4_BMC_p2_k256	UNSAT	0.24
c6_BMC_p2_k64	UNSAT	0.25
c4_BMC_p1_k256	SAT	0.26
c3_BMC_p2_k256	UNSAT	0.29
c1_BMC_p2_k4	UNSAT	0.3
c5_BMC_p2_k4	UNSAT	0.33
c2_BMC_p2_k8	UNSAT	0.34
c5_BMC_p1_k4	SAT	0.34
c6_BMC_p1_k64	SAT	0.4
c2_BMC_p1_k8	SAT	0.42
c6_BMC_p2_k128	UNSAT	0.44
c1_BMC_p1_k4	SAT	0.46
c4_BMC_p2_k512	UNSAT	0.48
c3_BMC_p2_k512	UNSAT	0.5
c3_BMC_p1_k16	SAT	0.55
c4_BMC_p1_k512	SAT	0.55
c5_BMC_p2_k8	UNSAT	0.63
c5_BMC_p1_k8	SAT	0.67
c2_BMC_p2_k16	UNSAT	0.72
c1_BMC_p2_k8	UNSAT	0.82
c6_BMC_p2_k256	UNSAT	0.85
c3_BMC_p1_k32	SAT	0.92
c6_BMC_p1_k128	SAT	0.92
c3_BMC_p2_k1024	UNSAT	0.94
c2_BMC_p1_k16	SAT	1
c4_BMC_p2_k1024	UNSAT	1.02
c1_BMC_p1_k8	SAT	1.08
c2_BMC_p2_k32	UNSAT	1.1
c4_BMC_p1_k1024	SAT	1.17
c5_BMC_p2_k16	UNSAT	1.26
c5_BMC_p1_k16	SAT	1.51
c3_BMC_p1_k64	SAT	1.6
c6_BMC_p2_k512	UNSAT	1.68
c1_BMC_p2_k32	UNSAT	1.8
c1_BMC_p2_k16	UNSAT	1.81
c3_BMC_p2_k2048	UNSAT	1.86
c2_BMC_p2_k64	UNSAT	1.88
c5_BMC_p2_k32	UNSAT	1.99
c2_BMC_p1_k32	SAT	2.06
c1_BMC_p1_k16	SAT	2.11
c4_BMC_p2_k2048	UNSAT	2.13
c5_BMC_p1_k32	SAT	2.32
c1_BMC_p2_k2048	FAIL	2.81
c6_BMC_p1_k256	SAT	2.9
c1_BMC_p1_k32	SAT	2.92
c1_BMC_p2_k64	UNSAT	3.31
c6_BMC_p2_k1024	UNSAT	3.46
c2_BMC_p2_k128	UNSAT	3.49
c4_BMC_p1_k2048	SAT	3.6
c1_BMC_p1_k64	SAT	4.23
c3_BMC_p1_k128	SAT	4.25
c2_BMC_p1_k64	SAT	4.65
c1_BMC_p2_k128	UNSAT	5.38
c2_BMC_p2_k256	UNSAT	6.63
c6_BMC_p2_k2048	UNSAT	7.29
c1_BMC_p1_k128	SAT	7.46
c1_BMC_p2_k256	UNSAT	9.48
c1_BMC_p1_k256	SAT	12.75
c2_BMC_p2_k512	UNSAT	12.76
c1_BMC_p2_k512	UNSAT	12.96
c6_BMC_p1_k512	SAT	15.15
c3_BMC_p1_k256	SAT	15.29
c2_BMC_p1_k128	SAT	20.64
c1_BMC_p1_k512	SAT	24.54
c1_BMC_p2_k1024	UNSAT	24.72
c2_BMC_p2_k1024	UNSAT	25.37
c3_BMC_p1_k512	SAT	39.73
c5_BMC_p2_k1024	FAIL	40.77
c5_BMC_p1_k1024	FAIL	40.78
c2_BMC_p2_k2048	FAIL	41.92
c2_BMC_p1_k2048	FAIL	42.02
c1_BMC_p1_k1024	SAT	47.51
c5_BMC_p1_k2048	FAIL	48.76
c5_BMC_p2_k2048	FAIL	48.85
c1_BMC_p1_k2048	FAIL	60.74
c6_BMC_p1_k1024	SAT	86.27
c2_BMC_p1_k256	SAT	92.2
c2_BMC_p1_k512	SAT	274.37
c3_BMC_p1_k1024	SAT	302.91
c6_BMC_p1_k2048	SAT	340.57
c2_BMC_p1_k1024	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
c5_BMC_p2_k512	FAIL	600
c5_BMC_p1_k256	FAIL	600
c5_BMC_p2_k128	FAIL	600
c5_BMC_p2_k64	FAIL	600

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family BMC solved by quantor3.0
QBFEVAL'08

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family BMC solved by quantor3.0 QBFEVAL'08

Instances of family BMC solved by quantor3.0
QBFEVAL'08