Instances of family BMC solved by <a href='solver_detail.php?solver=46'>QUANTOR

Instances of family BMC solved by QUANTOR_2.15
QBFEVAL'07

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.02
c4_BMC_p2_k8	UNSAT	0.02
c4_BMC_p1_k8	SAT	0.02
c3_BMC_p2_k2	UNSAT	0.04
c4_BMC_p2_k16	UNSAT	0.04
c6_BMC_p1_k2	SAT	0.04
c6_BMC_p2_k2	UNSAT	0.04
c4_BMC_p1_k16	SAT	0.05
c3_BMC_p2_k4	UNSAT	0.06
c6_BMC_p2_k4	UNSAT	0.06
c4_BMC_p2_k32	UNSAT	0.07
c6_BMC_p1_k4	SAT	0.07
c4_BMC_p1_k32	SAT	0.07
c3_BMC_p2_k8	UNSAT	0.08
c3_BMC_p1_k2	SAT	0.08
c6_BMC_p2_k8	UNSAT	0.09
c2_BMC_p2_k2	UNSAT	0.12
c4_BMC_p2_k64	UNSAT	0.12
c4_BMC_p1_k64	SAT	0.12
c3_BMC_p2_k16	UNSAT	0.14
c6_BMC_p1_k8	SAT	0.15
c3_BMC_p2_k32	UNSAT	0.15
c2_BMC_p1_k2	SAT	0.16
c2_BMC_p2_k4	UNSAT	0.18
c6_BMC_p2_k16	UNSAT	0.18
c3_BMC_p1_k4	SAT	0.2
c3_BMC_p2_k64	UNSAT	0.2
c4_BMC_p2_k128	UNSAT	0.2
c5_BMC_p2_k2	UNSAT	0.23
c4_BMC_p1_k128	SAT	0.24
c6_BMC_p2_k32	UNSAT	0.26
c3_BMC_p2_k128	UNSAT	0.3
c6_BMC_p1_k16	SAT	0.31
c1_BMC_p2_k2	UNSAT	0.33
c5_BMC_p1_k2	SAT	0.34
c2_BMC_p1_k4	SAT	0.38
c6_BMC_p2_k64	UNSAT	0.4
c4_BMC_p2_k256	UNSAT	0.4
c1_BMC_p1_k2	SAT	0.4
c3_BMC_p1_k8	SAT	0.43
c6_BMC_p1_k32	SAT	0.48
c3_BMC_p2_k256	UNSAT	0.49
c4_BMC_p1_k256	SAT	0.5
c1_BMC_p2_k4	UNSAT	0.51
c5_BMC_p2_k4	UNSAT	0.54
c2_BMC_p2_k8	UNSAT	0.55
c5_BMC_p1_k4	SAT	0.56
c6_BMC_p2_k128	UNSAT	0.71
c1_BMC_p1_k4	SAT	0.74
c2_BMC_p1_k8	SAT	0.81
c4_BMC_p2_k512	UNSAT	0.82
c6_BMC_p1_k64	SAT	0.88
c3_BMC_p2_k512	UNSAT	0.89
c5_BMC_p2_k8	UNSAT	0.98
c3_BMC_p1_k16	SAT	1.03
c5_BMC_p1_k8	SAT	1.06
c4_BMC_p1_k512	SAT	1.07
c2_BMC_p2_k16	UNSAT	1.1
c1_BMC_p2_k8	UNSAT	1.24
c6_BMC_p2_k256	UNSAT	1.39
c1_BMC_p1_k8	SAT	1.59
c2_BMC_p2_k32	UNSAT	1.69
c3_BMC_p2_k1024	UNSAT	1.73
c3_BMC_p1_k32	SAT	1.76
c2_BMC_p1_k16	SAT	1.88
c4_BMC_p2_k1024	UNSAT	1.89
c5_BMC_p2_k16	UNSAT	1.89
c6_BMC_p1_k128	SAT	2.34
c4_BMC_p1_k1024	SAT	2.43
c1_BMC_p2_k32	UNSAT	2.68
c1_BMC_p2_k16	UNSAT	2.69
c6_BMC_p2_k512	UNSAT	2.72
c5_BMC_p1_k16	SAT	2.86
c2_BMC_p2_k64	UNSAT	2.87
c5_BMC_p2_k32	UNSAT	2.98
c3_BMC_p2_k2048	UNSAT	3.31
c1_BMC_p1_k16	SAT	3.51
c3_BMC_p1_k64	SAT	3.63
c5_BMC_p1_k32	SAT	3.76
c2_BMC_p1_k32	SAT	4.12
c4_BMC_p2_k2048	UNSAT	4.56
c1_BMC_p2_k64	UNSAT	4.86
c1_BMC_p1_k32	SAT	4.91
c2_BMC_p2_k128	UNSAT	5.4
c6_BMC_p2_k1024	UNSAT	5.6
c1_BMC_p1_k2048	FAIL	5.87
c4_BMC_p1_k2048	SAT	5.97
c1_BMC_p2_k2048	FAIL	6.31
c6_BMC_p1_k256	SAT	6.68
c1_BMC_p1_k64	SAT	7.81
c1_BMC_p2_k128	UNSAT	7.96
c5_BMC_p1_k2048	FAIL	8.41
c3_BMC_p1_k128	SAT	8.61
c5_BMC_p2_k2048	FAIL	8.69
c2_BMC_p1_k64	SAT	10.38
c2_BMC_p2_k256	UNSAT	11.17
c6_BMC_p2_k2048	UNSAT	12.59
c1_BMC_p2_k256	UNSAT	14.63
c1_BMC_p1_k128	SAT	15.36
c2_BMC_p2_k512	UNSAT	21.43
c1_BMC_p2_k512	UNSAT	21.94
c5_BMC_p1_k512	FAIL	23.79
c3_BMC_p1_k2048	FAIL	23.9
c5_BMC_p2_k512	FAIL	23.91
c2_BMC_p2_k1024	FAIL	24.5
c6_BMC_p1_k512	SAT	24.69
c2_BMC_p1_k1024	FAIL	24.79
c3_BMC_p1_k256	SAT	25.43
c3_BMC_p1_k1024	FAIL	27
c1_BMC_p1_k512	FAIL	27.49
c2_BMC_p1_k2048	FAIL	27.69
c2_BMC_p2_k2048	FAIL	28.09
c5_BMC_p1_k1024	FAIL	29.38
c5_BMC_p2_k1024	FAIL	29.39
c1_BMC_p1_k256	SAT	32.5
c5_BMC_p2_k256	FAIL	39.76
c5_BMC_p1_k256	FAIL	41.75
c1_BMC_p2_k1024	FAIL	44.29
c1_BMC_p1_k1024	FAIL	45.78
c2_BMC_p1_k128	SAT	48.3
c6_BMC_p1_k1024	SAT	106.35
c3_BMC_p1_k512	SAT	129.68
c2_BMC_p1_k256	SAT	416.82
c5_BMC_p1_k128	FAIL	600
c5_BMC_p1_k64	FAIL	600
c6_BMC_p1_k2048	FAIL	600
c5_BMC_p2_k128	FAIL	600
c5_BMC_p2_k64	FAIL	600
c2_BMC_p1_k512	FAIL	600

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family BMC solved by QUANTOR_2.15
QBFEVAL'07

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family BMC solved by QUANTOR_2.15 QBFEVAL'07

Instances of family BMC solved by QUANTOR_2.15
QBFEVAL'07