Benchmark

non-incremental/QF_IDL/queens_bench/n_queen/queen44-1.smt2

Queens benchmarks generated by Hyondeuk Kim in SMT-LIB format.

Benchmark
Size	80164
Compressed Size	11086
License	Creative Commons Attribution 4.0 International (CC-BY-4.0)
Category	crafted
First Occurrence	2006-08-21
Generated By	—
Generated On	—
Generator	—
Dolmen OK	1
strict Dolmen OK	1
check-sat calls	1

Query 1

Status	sat
Inferred Status	sat
Size	80156
Compressed Size	11141
Max. Term Depth	5
Asserts	1
Declared Functions	0
Declared Constants	45
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	0
Declared Datatypes	0

Symbols

not	2838	and	1	=	2838	let	1
-	1936	<=	44	>=	44

Evaluations

Evaluation	Rating	Solver	Variant	Result	Wallclock	CPU Time
SMT Evaluation 2013	0.20 (4/5)	CVC3	CVC3-SMT-COMP-2010 default	unknown ❌	—	—
			CVC3-SMT-COMP-2011 default	unknown ❌	—	—
			CVC3-SMT-COMP-2012 default	unknown ❌	—	—
		CVC4	CVC4-SMT-COMP-2012-Resubmission default	sat ✅	25.97810	—
			CVC4-SMT-EVAL-2013 default	sat ✅	20.77890	—
		OpenSMT	OpenSMT-SMT-COMP-2010 default	sat ✅	14.49340	—
			OpenSMT-SMT-COMP-2011 default	sat ✅	19.77930	—
		veriT	veriT-SMT-COMP-2010 default	unknown ❌	—	—
			veriT-SMT-COMP-2011 default	unknown ❌	—	—
			veriT-SMT-EVAL-2013 default	sat ✅	712.82400	—
		Z3	Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-EVAL-2013 default	sat ✅	0.20980	—
			Z3-SMT-COMP-2011 default	sat ✅	0.20266	—
SMT-COMP 2014		CVC4	CVC4 f7118b2 default	sat ✅	26.37350	26.36800
		veriT	veriT-smtcomp2014 default	sat ✅	75.39800	75.42750
		Yices2	Yices-2.2.1-smtcomp2014 default	sat ✅	0.09572	0.08699
		Z3	Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-COMP-2014 default	sat ✅	0.17263	0.16497
SMT-COMP 2015		CVC4	CVC4-master-2015-06-15-9b32405-main default	sat ✅	49.95190	49.97040
			CVC4-experimental-2015-06-15-ff5745a-main default	sat ✅	50.35510	50.37330
		SMTInterpol	SMTInterpol v2.1-206-g86e9531 default	sat ✅	12.30480	19.07210
		veriT	veriT default	sat ✅	67.93630	67.94970
		Yices2	Yices default	sat ✅	0.36166	0.36094
		Z3	z3 4.4.0 default	sat ✅	0.20511	0.20497
SMT-COMP 2016		CVC4	CVC4-master-2016-05-27-cfef263-main default	sat ✅	25.44090	25.45410
		SMTInterpol	smtinterpol-2.1-258-g92ab3df default	sat ✅	4.47554	12.69370
		veriT	veriT-dev default	sat ✅	111.70200	111.77600
		Yices2	Yices-2.4.2 default	sat ✅	0.52773	0.52804
		Z3	z3-4.4.1 default	sat ✅	0.20529	0.20665
SMT-COMP 2017		CVC4	CVC4-smtcomp2017-main default	sat ✅	26.66190	26.66270
		SMTInterpol	SMTInterpol default	sat ✅	6.41504	14.61310
		veriT	veriT-2017-06-17 default	sat ✅	88.97580	88.96790
		Yices2	Yices2-Main default	sat ✅	0.10272	0.10206
		Z3	z3-4.5.0 default	sat ✅	0.21482	0.20799
SMT-COMP 2018	0.14 (6/7)	CVC4	CVC4-experimental-idl-2_default	sat ✅	1.10801	1.10812
			master-2018-06-10-b19c840-competition-default_default	sat ✅	17.13740	17.13650
		MathSAT	mathsat-5.5.2-linux-x86_64-Main_default	sat ✅	59.82630	59.82490
		SMTInterpol	SMTInterpol-2.5-19-g0d39cdee_default	sat ✅	4.93545	11.99110
		SMT-RAT	SMTRAT-Rat-final_default	unknown ❌	1200.02000	1200.03000
		veriT	veriT_default	sat ✅	62.13040	62.12690
		Yices2	Yices 2.6.0_default	sat ✅	0.05303	0.05296
		Z3	z3-4.7.1_default	sat ✅	0.14466	0.14455
SMT-COMP 2021		cvc5	cvc5-fixed_default	sat ✅	12.08630	12.08630
		MathSAT	mathsat-5.6.6_default	sat ✅	45.96390	45.96410
		OpenSMT	OpenSMT-fixed_default	sat ✅	14.62000	14.62050
		Par4	Par4-wrapped-sq_default	sat ✅	0.07778	0.00645
		SMTInterpol	smtinterpol-2.5-823-g881e8631_default	sat ✅	100.12500	113.84000
		veriT	veriT_default	sat ✅	23.80510	23.80250
		YicesLS	YicesLS_0611_1448_default	sat ✅	0.08486	0.01954
		Z3	z3-4.8.11_default	sat ✅	0.29912	0.29459
SMT-COMP 2022		cvc5	cvc5-default-2022-07-02-b15e116-wrapped_sq	sat ✅	24.46400	24.46380
		MathSAT	MathSAT-5.6.8_default	sat ✅	19.23540	19.23540
		Par4	Par4-wrapped-sq_default	sat ✅	0.07578	0.01088
		veriT	veriT_default	sat ✅	17.18150	17.17850
		Yices2	Yices 2.6.2 for SMTCOMP 2021_default	sat ✅	0.05560	0.05556
		Z3	z3-4.8.17_default	sat ✅	0.19383	0.19567
SMT-COMP 2023		cvc5	cvc5-default-2023-05-16-ea045f305_sq	sat ✅	19.90460	19.90340
		OpenSMT	OpenSMT a78dcf01_default	sat ✅	34.87680	34.87360
		Par4	Par4-wrapped-sq_default	sat ✅	0.20117	0.00651
		SMTInterpol	smtinterpol-2.5-1272-g2d6d356c_default	sat ✅	53.20770	67.66660
		Yices2	Yices 2 for SMTCOMP 2023_default	sat ✅	0.17328	0.17324
		Z3++	Z3++_sq_0526_default	sat ✅	0.35542	0.35541
SMT-COMP 2024		cvc5	cvc5	sat ✅	14.19837	14.09436
		OpenSMT	OpenSMT	sat ✅	19.06889	18.96060
		SMTInterpol	SMTInterpol	sat ✅	28.15785	39.66596
		Yices2	Yices2	sat ✅	0.30026	0.20054
		Z3alpha	Z3-alpha	sat ✅	0.46737	0.36794