Benchmark

non-incremental/QF_IDL/queens_bench/toroidal_bench/toroidal_queen11-1.smt2

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

Benchmark
Size	7312
Compressed Size	1104
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	7304
Compressed Size	1102
Max. Term Depth	5
Asserts	1
Declared Functions	0
Declared Constants	12
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	0
Declared Datatypes	0

Symbols

not	275	and	1	=	275	let	1
-	176	<=	11	>=	11

Evaluations

Evaluation	Rating	Solver	Variant	Result	Wallclock	CPU Time
SMT Evaluation 2013		CVC3	CVC3-SMT-COMP-2010 default	sat ✅	1.81887	—
			CVC3-SMT-COMP-2011 default	sat ✅	1.68611	—
			CVC3-SMT-COMP-2012 default	sat ✅	1.67965	—
		CVC4	CVC4-SMT-COMP-2012-Resubmission default	sat ✅	0.12346	—
			CVC4-SMT-EVAL-2013 default	sat ✅	0.38914	—
		OpenSMT	OpenSMT-SMT-COMP-2010 default	sat ✅	0.83261	—
			OpenSMT-SMT-COMP-2011 default	sat ✅	0.12988	—
		veriT	veriT-SMT-COMP-2010 default	sat ✅	17.24160	—
			veriT-SMT-COMP-2011 default	sat ✅	2.87513	—
			veriT-SMT-EVAL-2013 default	sat ✅	0.58279	—
		Z3	Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-EVAL-2013 default	sat ✅	0.01039	—
			Z3-SMT-COMP-2011 default	sat ✅	0.01715	—
SMT-COMP 2014		CVC4	CVC4 f7118b2 default	sat ✅	0.56573	0.54492
		veriT	veriT-smtcomp2014 default	sat ✅	0.42343	0.41494
		Yices2	Yices-2.2.1-smtcomp2014 default	sat ✅	0.01224	0.00400
		Z3	Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-COMP-2014 default	sat ✅	0.01836	0.00800
SMT-COMP 2015		CVC4	CVC4-master-2015-06-15-9b32405-main default	sat ✅	0.23287	0.23096
			CVC4-experimental-2015-06-15-ff5745a-main default	sat ✅	0.23358	0.23096
		SMTInterpol	SMTInterpol v2.1-206-g86e9531 default	sat ✅	1.35962	3.14452
		veriT	veriT default	sat ✅	0.04716	0.04599
		Yices2	Yices default	sat ✅	0.00808	0.00400
		Z3	z3 4.4.0 default	sat ✅	0.03197	0.03199
SMT-COMP 2016		CVC4	CVC4-master-2016-05-27-cfef263-main default	sat ✅	0.28433	0.28460
		SMTInterpol	smtinterpol-2.1-258-g92ab3df default	sat ✅	0.74958	2.01249
		veriT	veriT-dev default	sat ✅	0.38235	0.38287
		Yices2	Yices-2.4.2 default	sat ✅	0.01321	0.00575
		Z3	z3-4.4.1 default	sat ✅	0.03033	0.03157
SMT-COMP 2017		CVC4	CVC4-smtcomp2017-main default	sat ✅	0.23179	0.23147
		SMTInterpol	SMTInterpol default	sat ✅	0.91000	2.45177
		veriT	veriT-2017-06-17 default	sat ✅	0.25333	0.24987
		Yices2	Yices2-Main default	sat ✅	0.00853	0.00547
		Z3	z3-4.5.0 default	sat ✅	0.03388	0.03321
SMT-COMP 2018		CVC4	CVC4-experimental-idl-2_default	sat ✅	0.10328	0.10314
			master-2018-06-10-b19c840-competition-default_default	sat ✅	0.30423	0.30437
		MathSAT	mathsat-5.5.2-linux-x86_64-Main_default	sat ✅	0.22255	0.22351
		SMTInterpol	SMTInterpol-2.5-19-g0d39cdee_default	sat ✅	0.90177	2.35305
		SMT-RAT	SMTRAT-Rat-final_default	sat ✅	1.76924	1.76897
		veriT	veriT_default	sat ✅	0.14898	0.14914
		Yices2	Yices 2.6.0_default	sat ✅	0.00883	0.00869
		Z3	z3-4.7.1_default	sat ✅	0.03615	0.03609
SMT-COMP 2022		cvc5	cvc5-default-2022-07-02-b15e116-wrapped_sq	sat ✅	0.44445	0.44429
		MathSAT	MathSAT-5.6.8_default	sat ✅	0.11984	0.11976
		Par4	Par4-wrapped-sq_default	sat ✅	0.01737	0.00634
		veriT	veriT_default	sat ✅	0.33511	0.33534
		Yices2	Yices 2.6.2 for SMTCOMP 2021_default	sat ✅	0.01155	0.00789
		Z3	z3-4.8.17_default	sat ✅	0.01954	0.02135
SMT-COMP 2023		cvc5	cvc5-default-2023-05-16-ea045f305_sq	sat ✅	0.14566	0.14623
		OpenSMT	OpenSMT a78dcf01_default	sat ✅	0.23526	0.23519
		Par4	Par4-wrapped-sq_default	sat ✅	0.01648	0.00630
		SMTInterpol	smtinterpol-2.5-1272-g2d6d356c_default	sat ✅	1.36835	3.73161
		Yices2	Yices 2 for SMTCOMP 2023_default	sat ✅	0.01029	0.00562
		Z3++	Z3++_sq_0526_default	sat ✅	0.01948	0.01942
SMT-COMP 2024		cvc5	cvc5	sat ✅	0.39907	0.29952
		OpenSMT	OpenSMT	sat ✅	0.30892	0.20867
		SMTInterpol	SMTInterpol	sat ✅	1.33374	3.44471
		Yices2	Yices2	sat ✅	0.21171	0.11229
		Z3alpha	Z3-alpha	sat ✅	0.27027	0.17061
SMT-COMP 2025	0.17 (5/6)	cvc5	cvc5	sat ✅	0.59329	0.47181
		OpenSMT	OpenSMT	sat ✅	0.36239	0.24530
		SMTInterpol	SMTInterpol	unknown ❌	0.81683	1.69372
		Yices2	Yices2	sat ✅	0.27216	0.15239
		Z3alpha	Z3-alpha	sat ✅	0.39946	0.28529
		Z3	Z3-alpha-base	sat ✅	0.28523	0.16187