Benchmark

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

Benchmark without description.

Benchmark
Size	2343
Compressed Size	596
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	2334
Compressed Size	588
Max. Term Depth	13
Asserts	5
Declared Functions	2
Declared Constants	2
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	0
Declared Datatypes	0

Symbols

not	2	or	2	and	8	=>	2
=	8	forall	5	exists	6	Int	7
+	6	<=	6

Evaluations

Evaluation	Rating	Solver	Variant	Result	Wallclock	CPU Time
SMT-COMP 2021	0.14 (6/7)	CVC4	CVC4-sq-final_default	unsat ✅	0.01932	0.01964
			master-2018-06-10-b19c840-competition-default_default	unsat ✅	0.01791	0.01823
		cvc5	cvc5-fixed_default	unsat ✅	0.02142	0.02199
		SMTInterpol	smtinterpol-2.5-823-g881e8631_default	unsat ✅	0.44732	0.71417
		UltimateEliminator	UltimateEliminator+MathSAT-5.6.6_default	unknown ❌	3.26954	11.60000
		Vampire	vampire_smt_4.6-fixed_vampire_smtcomp	unsat ✅	0.09978	0.13898
			vampire_smt_4.5_vampire_smtcomp	unknown ❌	0.22157	0.26602
		veriT	veriT_default	unsat ✅	0.01237	0.01188
		Z3	z3-4.8.11_default	unsat ✅	0.01929	0.01926
			z3-4.8.8_default	unsat ✅	0.03488	0.03484
SMT-COMP 2022	0.14 (6/7)	CVC4	CVC4-sq-final_default	unsat ✅	0.01928	0.01959
		cvc5	cvc5-default-2022-07-02-b15e116-wrapped_sq	unsat ✅	0.05027	0.05080
		SMTInterpol	smtinterpol-fixed-2.5-1148-gf2d8e6b0_default	unsat ✅	0.52472	0.90009
		UltimateEliminator	UltimateEliminator+MathSAT-5.6.7-wrapped_default	unknown ❌	2.94985	4.65307
		Vampire	vampire_4.7_smt_fix-wrapped_vampire_smtcomp	unsat ✅	0.09155	0.09150
		veriT	veriT_default	unsat ✅	0.01318	0.01279
		Z3	z3-4.8.17_default	unsat ✅	0.02005	0.02183
SMT-COMP 2023	0.20 (4/5)	cvc5	cvc5-default-2023-05-16-ea045f305_sq	unsat ✅	0.02133	0.02188
			cvc5-default-2022-07-02-b15e116-wrapped_sq	unsat ✅	0.02665	0.02714
		iProver	iProver-3.8-fix_iprover_SMT	unsat ✅	0.65044	0.45033
		SMTInterpol	smtinterpol-2.5-1272-g2d6d356c_default	unsat ✅	0.52406	0.90749
		UltimateEliminator	UltimateEliminator+MathSAT-5.6.9_default	unknown ❌	3.08620	5.22009
		Vampire	vampire_4.8_smt_pre_vampire_smtcomp	unsat ✅	0.09444	0.09440