Benchmark

non-incremental/AUFLIA/20170829-Rodin/smt2655504501027043127.smt2

Benchmark without description.

Benchmark
Size	407
Compressed Size	263
License	Creative Commons Attribution Non Commercial 4.0 International (CC-BY-NC-4.0)
Category	industrial
First Occurrence	2019-07-07
Generated By	—
Generated On	—
Generator	Rodin SMT Plug-in
Dolmen OK	1
strict Dolmen OK	1
check-sat calls	1

Query 1

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

Symbols

not

1

exists

1

Int

1

Evaluations

Evaluation	Rating	Solver	Variant	Result	Wallclock	CPU Time
SMT-COMP 2020	0.57 (3/7)	Alt-Ergo	Alt-Ergo-SMTComp-2020_default	unknown ❌	0.04607	0.12627
		CVC4	CVC4-sq-final_default	unknown ❌	0.20162	0.15451
			master-2018-06-10-b19c840-competition-default_default	unknown ❌	394.20700	390.84000
		SMTInterpol	smtinterpol-2.5-679-gacfde87a_default	sat ✅	0.37458	0.56274
		UltimateEliminator	UltimateEliminator+MathSAT-5.6.3_s_default	unknown ❌	2.39989	3.29324
		Vampire	vampire_smt_4.5_vampire_smtcomp	sat ✅	0.09878	0.20577
		veriT	veriT_default	unknown ❌	520.05100	520.02500
			veriT+vite_default	unknown ❌	5.02094	5.02207
		Z3	z3-4.8.8_default	sat ✅	0.03295	0.03289
SMT-COMP 2021	0.57 (3/7)	CVC4	CVC4-sq-final_default	unknown ❌	0.20822	0.16389
			master-2018-06-10-b19c840-competition-default_default	unknown ❌	394.82000	390.93500
		cvc5	cvc5-fixed_default	unknown ❌	0.20265	0.15710
		SMTInterpol	smtinterpol-2.5-823-g881e8631_default	sat ✅	0.37759	0.56188
		UltimateEliminator	UltimateEliminator+MathSAT-5.6.6_default	unknown ❌	2.81359	4.64396
		Vampire	vampire_smt_4.6-fixed_vampire_smtcomp	sat ✅	0.05324	0.05315
			vampire_smt_4.5_vampire_smtcomp	sat ✅	0.06631	0.11851
		veriT	veriT_default	unknown ❌	0.04833	0.05126
		Z3	z3-4.8.11_default	sat ✅	0.01788	0.01782
			z3-4.8.8_default	sat ✅	0.03388	0.03374
SMT-COMP 2022	0.57 (3/7)	CVC4	CVC4-sq-final_default	unknown ❌	0.25505	0.18417
		cvc5	cvc5-default-2022-07-02-b15e116-wrapped_sq	unknown ❌	0.19656	0.18511
		SMTInterpol	smtinterpol-fixed-2.5-1148-gf2d8e6b0_default	sat ✅	0.38215	0.57257
		UltimateEliminator	UltimateEliminator+MathSAT-5.6.7-wrapped_default	unknown ❌	2.86694	4.56371
		Vampire	vampire_4.7_smt_fix-wrapped_vampire_smtcomp	sat ✅	0.05407	0.04954
		veriT	veriT_default	unknown ❌	0.04890	0.05194
		Z3	z3-4.8.17_default	sat ✅	0.01870	0.02050
SMT-COMP 2025	0.50 (2/4)	cvc5	cvc5	sat ✅	0.36995	0.23748
		iProver	iProver v3.9.3	unknown ❌	14.34917	6.57865
		SMTInterpol	SMTInterpol	sat ✅	0.43198	0.42564
		UltimateEliminator	UltimateEliminator+MathSAT	unknown ❌	1.89643	4.03261