Benchmark

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

Benchmark without description.

Benchmark
Size	117528
Compressed Size	10843
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	unsat
Inferred Status	unsat
Size	117519
Compressed Size	10839
Max. Term Depth	12
Asserts	120
Declared Functions	5
Declared Constants	28
Declared Sorts	7
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	0
Declared Datatypes	0

Symbols

not	133	or	57	and	504	=>	262
=	466	forall	275	exists	375	Int	9
<=	2

Evaluations

Evaluation	Rating	Solver	Variant	Result	Wallclock	CPU Time
SMT-COMP 2020	0.14 (6/7)	Alt-Ergo	Alt-Ergo-SMTComp-2020_default	unsat ✅	0.08575	0.08791
		CVC4	CVC4-sq-final_default	unsat ✅	0.19386	0.19006
			master-2018-06-10-b19c840-competition-default_default	unsat ✅	0.11811	0.11841
		SMTInterpol	smtinterpol-2.5-679-gacfde87a_default	unsat ✅	2.79305	7.89685
		UltimateEliminator	UltimateEliminator+MathSAT-5.6.3_s_default	unknown ❌	2.96002	4.81854
		Vampire	vampire_smt_4.5_vampire_smtcomp	unsat ✅	0.33900	0.22967
		veriT	veriT_default	unsat ✅	0.03011	0.03048
			veriT+vite_default	unsat ✅	0.02834	0.02852
		Z3	z3-4.8.8_default	unsat ✅	0.85849	0.85851
SMT-COMP 2022	0.14 (6/7)	CVC4	CVC4-sq-final_default	unsat ✅	0.13237	0.13272
		cvc5	cvc5-default-2022-07-02-b15e116-wrapped_sq	unsat ✅	0.11594	0.11651
		SMTInterpol	smtinterpol-fixed-2.5-1148-gf2d8e6b0_default	unsat ✅	5.42999	12.67040
		UltimateEliminator	UltimateEliminator+MathSAT-5.6.7-wrapped_default	unknown ❌	2.88181	4.68259
		Vampire	vampire_4.7_smt_fix-wrapped_vampire_smtcomp	unsat ✅	0.26466	0.27019
		veriT	veriT_default	unsat ✅	0.02767	0.02804
		Z3	z3-4.8.17_default	unsat ✅	0.22710	0.22896
SMT-COMP 2025	0.25 (3/4)	cvc5	cvc5	unsat ✅	0.29836	0.18022
		iProver	iProver v3.9.3	unsat ✅	0.88457	1.94114
		SMTInterpol	SMTInterpol	unsat ✅	1.50374	4.02146
		UltimateEliminator	UltimateEliminator+MathSAT	unknown ❌	1.93960	4.08146