Benchmark

non-incremental/QF_IDL/asp/HierarchicalClustering/xy.10.x.10.r.3.1268203948.99614.data_k=4_l=7_sat.gph.smt2

Benchmark without description.

Benchmark
Size	2064308
Compressed Size	208552
License	Creative Commons Attribution 4.0 International (CC-BY-4.0)
Category	industrial
First Occurrence	2011-06-30
Generated By	—
Generated On	—
Generator	—
Dolmen OK	1
strict Dolmen OK	1
check-sat calls	1

Query 1

Status	sat
Inferred Status	sat
Size	2064300
Compressed Size	208562
Max. Term Depth	4
Asserts	1
Declared Functions	0
Declared Constants	23793
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	0
Declared Datatypes	0

Symbols

true	650	not	18676	or	545	and	9801
=>	15606	=	31595	-	8539	>=	736

Evaluations

Evaluation	Rating	Solver	Variant	Result	Wallclock	CPU Time
SMT Evaluation 2013	0.20 (4/5)	CVC3	CVC3-SMT-COMP-2010 default	sat ✅	41.41820	—
			CVC3-SMT-COMP-2011 default	sat ✅	41.59570	—
			CVC3-SMT-COMP-2012 default	sat ✅	41.42210	—
		CVC4	CVC4-SMT-COMP-2012-Resubmission default	sat ✅	12.54360	—
			CVC4-SMT-EVAL-2013 default	sat ✅	19.70940	—
		OpenSMT	OpenSMT-SMT-COMP-2010 default	unknown ❌	—	—
			OpenSMT-SMT-COMP-2011 default	sat ✅	1097.14000	—
		veriT	veriT-SMT-COMP-2010 default	unknown ❌	—	—
			veriT-SMT-COMP-2011 default	unknown ❌	—	—
			veriT-SMT-EVAL-2013 default	unknown ❌	—	—
		Z3	Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-EVAL-2013 default	sat ✅	26.23590	—
			Z3-SMT-COMP-2011 default	sat ✅	6.65917	—
SMT-COMP 2015	0.20 (4/5)	CVC4	CVC4-master-2015-06-15-9b32405-main default	sat ✅	16.84880	16.85340
			CVC4-experimental-2015-06-15-ff5745a-main default	sat ✅	16.75030	16.75450
		SMTInterpol	SMTInterpol v2.1-206-g86e9531 default	sat ✅	104.24400	158.08400
		veriT	veriT default	unknown ❌	2400.01000	2401.00000
		Yices2	Yices default	sat ✅	1.35888	1.35779
		Z3	z3 4.4.0 default	sat ✅	20.14070	20.14890
SMT-COMP 2016		CVC4	CVC4-master-2016-05-27-cfef263-main default	sat ✅	16.77340	16.78340
		SMTInterpol	smtinterpol-2.1-258-g92ab3df default	sat ✅	87.45090	127.46800
		veriT	veriT-dev default	sat ✅	2153.63000	2154.84000
		Yices2	Yices-2.4.2 default	sat ✅	3.28906	3.29093
		Z3	z3-4.4.1 default	sat ✅	25.89420	25.91080
SMT-COMP 2017	0.20 (4/5)	CVC4	CVC4-smtcomp2017-main default	sat ✅	22.32150	22.31740
		SMTInterpol	SMTInterpol default	sat ✅	84.85190	129.40000
		veriT	veriT-2017-06-17 default	unknown ❌	600.01200	600.02000
		Yices2	Yices2-Main default	sat ✅	6.24636	6.24483
		Z3	z3-4.5.0 default	sat ✅	30.30950	30.30810
SMT-COMP 2018	0.29 (5/7)	CVC4	CVC4-experimental-idl-2_default	unknown ❌	1200.02000	1199.67000
			master-2018-06-10-b19c840-competition-default_default	sat ✅	18.27370	18.27440
		MathSAT	mathsat-5.5.2-linux-x86_64-Main_default	sat ✅	158.19200	158.17300
		SMTInterpol	SMTInterpol-2.5-19-g0d39cdee_default	sat ✅	90.60820	133.59200
		SMT-RAT	SMTRAT-Rat-final_default	unknown ❌	1200.06000	1199.88000
		veriT	veriT_default	unknown ❌	1200.02000	1199.85000
		Yices2	Yices 2.6.0_default	sat ✅	2.05161	2.05158
		Z3	z3-4.7.1_default	sat ✅	25.10640	25.10630
SMT-COMP 2020		CVC4	CVC4-sq-final_default	sat ✅	29.74150	29.72440
		MathSAT	MathSAT5_default.sh	sat ✅	118.50800	118.49700
		Par4	Par4-wrapped-sq_default	sat ✅	12.12800	47.87000
		SMTInterpol	smtinterpol-2.5-679-gacfde87a_default	sat ✅	54.00270	77.54990
		veriT	veriT_default	sat ✅	1156.87000	1156.84000
		Yices2	Yices 2.6.2 bug fix_default	sat ✅	8.43297	8.42911
		Z3	z3-4.8.8_default	sat ✅	12.68830	12.68630
			z3-4.8.4-d6df51951f4c-wrapped-sq_default	sat ✅	22.96180	22.96150
SMT-COMP 2021		cvc5	cvc5-fixed_default	sat ✅	26.91280	26.91240
		MathSAT	mathsat-5.6.6_default	sat ✅	198.28000	198.23700
		OpenSMT	OpenSMT-fixed_default	sat ✅	464.06900	463.97700
		Par4	Par4-wrapped-sq_default	sat ✅	3.30448	12.73000
		SMTInterpol	smtinterpol-2.5-823-g881e8631_default	sat ✅	77.56710	104.40600
		veriT	veriT_default	sat ✅	839.56400	839.46600
		YicesLS	YicesLS_0611_1448_default	sat ✅	2.69244	2.69250
		Z3	z3-4.8.11_default	sat ✅	11.25770	11.25630
SMT-COMP 2022		cvc5	cvc5-default-2022-07-02-b15e116-wrapped_sq	sat ✅	37.06380	37.04150
		MathSAT	MathSAT-5.6.8_default	sat ✅	113.04100	113.03600
		Par4	Par4-wrapped-sq_default	sat ✅	3.55632	13.88000
		veriT	veriT_default	sat ✅	876.92800	876.72300
		Yices2	Yices 2.6.2 for SMTCOMP 2021_default	sat ✅	2.60548	2.60541
		Z3	z3-4.8.17_default	sat ✅	9.02491	9.02443
SMT-COMP 2024		cvc5	cvc5	sat ✅	13.34833	13.24751
		OpenSMT	OpenSMT	sat ✅	68.40264	68.28879
		SMTInterpol	SMTInterpol	sat ✅	43.70171	65.77050
		Yices2	Yices2	sat ✅	2.29069	2.18989
		Z3alpha	Z3-alpha	sat ✅	6.50790	6.40809