Benchmark

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

Benchmark without description.

Benchmark
Size	601
Compressed Size	315
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	592
Compressed Size	310
Max. Term Depth	5
Asserts	3
Declared Functions	2
Declared Constants	2
Declared Sorts	2
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	0
Declared Datatypes	0

Symbols

not

2

exists

1

Evaluations

Evaluation	Rating	Solver	Variant	Result	Wallclock	CPU Time
SMT-COMP 2021	0.29 (5/7)	CVC4	CVC4-sq-final_default	sat ✅	0.20428	0.20251
			master-2018-06-10-b19c840-competition-default_default	sat ✅	0.10163	0.10388
		cvc5	cvc5-fixed_default	sat ✅	0.15661	0.12476
		SMTInterpol	smtinterpol-2.5-823-g881e8631_default	sat ✅	0.38419	0.57248
		UltimateEliminator	UltimateEliminator+MathSAT-5.6.6_default	unknown ❌	2.83240	4.63513
		Vampire	vampire_smt_4.6-fixed_vampire_smtcomp	sat ✅	0.11986	0.19720
			vampire_smt_4.5_vampire_smtcomp	sat ✅	0.04667	0.04651
		veriT	veriT_default	unknown ❌	0.04863	0.05154
		Z3	z3-4.8.11_default	sat ✅	0.01832	0.01829
			z3-4.8.8_default	sat ✅	0.03457	0.03452
SMT-COMP 2022	0.29 (5/7)	CVC4	CVC4-sq-final_default	sat ✅	0.15227	0.12919
		cvc5	cvc5-default-2022-07-02-b15e116-wrapped_sq	sat ✅	0.15644	0.15274
		SMTInterpol	smtinterpol-fixed-2.5-1148-gf2d8e6b0_default	sat ✅	0.39879	0.58168
		UltimateEliminator	UltimateEliminator+MathSAT-5.6.7-wrapped_default	unknown ❌	2.75988	4.68175
		Vampire	vampire_4.7_smt_fix-wrapped_vampire_smtcomp	sat ✅	0.09823	0.25101
		veriT	veriT_default	unknown ❌	0.04897	0.05210
		Z3	z3-4.8.17_default	sat ✅	0.01880	0.02062
SMT-COMP 2024	0.33 (2/3)	cvc5	cvc5	sat ✅	0.32865	0.23006
		iProver	iProver v3.9	unknown ❌	14.26430	8.27719
		SMTInterpol	SMTInterpol	sat ✅	0.43074	0.44633
SMT-COMP 2025	0.50 (2/4)	cvc5	cvc5	sat ✅	0.31149	0.19402
		iProver	iProver v3.9.3	unknown ❌	14.34968	6.92294
		SMTInterpol	SMTInterpol	sat ✅	0.46951	0.45697
		UltimateEliminator	UltimateEliminator+MathSAT	unknown ❌	1.87101	4.04677