Benchmark

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

Benchmark without description.

Benchmark
Size	13705
Compressed Size	1591
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	13696
Compressed Size	1605
Max. Term Depth	11
Asserts	11
Declared Functions	10
Declared Constants	5
Declared Sorts	2
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	0
Declared Datatypes	0

Symbols

not	19	or	7	and	59	=>	34
=	52	forall	35	exists	37

Evaluations

Evaluation	Rating	Solver	Variant	Result	Wallclock	CPU Time
SMT-COMP 2021	0.43 (4/7)	CVC4	CVC4-sq-final_default	sat ✅	8.75000	8.74243
			master-2018-06-10-b19c840-competition-default_default	sat ✅	9.23205	9.23467
		cvc5	cvc5-fixed_default	sat ✅	4.48515	4.48834
		SMTInterpol	smtinterpol-2.5-823-g881e8631_default	unknown ❌	1.05319	2.71180
		UltimateEliminator	UltimateEliminator+MathSAT-5.6.6_default	unknown ❌	3.20815	5.79219
		Vampire	vampire_smt_4.6-fixed_vampire_smtcomp	sat ✅	0.12012	0.06075
			vampire_smt_4.5_vampire_smtcomp	sat ✅	0.10968	0.05103
		veriT	veriT_default	unknown ❌	0.13724	0.14008
		Z3	z3-4.8.11_default	sat ✅	0.02568	0.02563
			z3-4.8.8_default	sat ✅	0.04320	0.04317
SMT-COMP 2022	0.43 (4/7)	CVC4	CVC4-sq-final_default	sat ✅	7.54415	7.53748
		cvc5	cvc5-default-2022-07-02-b15e116-wrapped_sq	sat ✅	3.25644	3.25045
		SMTInterpol	smtinterpol-fixed-2.5-1148-gf2d8e6b0_default	unknown ❌	0.70217	1.60970
		UltimateEliminator	UltimateEliminator+MathSAT-5.6.7-wrapped_default	unknown ❌	2.91196	4.72526
		Vampire	vampire_4.7_smt_fix-wrapped_vampire_smtcomp	sat ✅	0.05530	0.05528
		veriT	veriT_default	unknown ❌	0.14625	0.14914
		Z3	z3-4.8.17_default	sat ✅	0.03629	0.03807
SMT-COMP 2023	0.60 (2/5)	cvc5	cvc5-default-2023-05-16-ea045f305_sq	sat ✅	3.68894	3.69211
			cvc5-default-2022-07-02-b15e116-wrapped_sq	sat ✅	3.32654	3.32958
		iProver	iProver-3.8-fix_iprover_SMT	unknown ❌	5.31984	2.49905
		SMTInterpol	smtinterpol-2.5-1272-g2d6d356c_default	unknown ❌	0.85165	2.11262
		UltimateEliminator	UltimateEliminator+MathSAT-5.6.9_default	unknown ❌	3.05829	5.10096
		Vampire	vampire_4.8_smt_pre_vampire_smtcomp	sat ✅	0.11648	0.06289