Benchmark

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

Benchmark without description.

Benchmark
Size	18314
Compressed Size	3022
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	18305
Compressed Size	3033
Max. Term Depth	14
Asserts	39
Declared Functions	10
Declared Constants	7
Declared Sorts	6
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	0
Declared Datatypes	0

Symbols

Bool	6	not	18	or	1	and	64
=>	49	=	33	forall	68	exists	45
Int	50	<	4	<=	13

Evaluations

Evaluation	Rating	Solver	Variant	Result	Wallclock	CPU Time
SMT-COMP 2019	0.14 (6/7)	Alt-Ergo	Alt-Ergo-SMTComp-2019-wrapped-sq_default	unsat ✅	0.03522	0.03545
		CVC4	CVC4-2019-06-03-d350fe1-wrapped-sq_default	unsat ✅	0.04122	0.04160
			CVC4-SymBreak_03_06_2019-wrapped-sq_default	unsat ✅	0.04224	0.04259
			master-2018-06-10-b19c840-competition-default_default	unsat ✅	0.03900	0.03922
		SMTInterpol	smtinterpol-2.5-514-wrapped-sq_default	unsat ✅	0.65391	1.59023
		UltimateEliminator	UltimateEliminator+MathSAT-5.5.4-wrapped-sq_default	unknown ❌	2.12490	3.20311
			UltimateEliminator+SMTInterpol-wrapped-sq_default	unknown ❌	2.12968	3.38971
			UltimateEliminator+Yices-2.6.1-wrapped-sq_default	unknown ❌	2.32555	3.49642
		Vampire	vampire-4.4-smtcomp-wrapped-sq_default	unsat ✅	0.13417	0.12601
		veriT	veriT-wrapped-sq_default	unsat ✅	0.01756	0.01789
		Z3	z3-4.8.4-d6df51951f4c-wrapped-sq_default	unsat ✅	0.04721	0.04720
SMT-COMP 2021	0.14 (6/7)	CVC4	CVC4-sq-final_default	unsat ✅	0.04347	0.04374
			master-2018-06-10-b19c840-competition-default_default	unsat ✅	0.03753	0.03785
		cvc5	cvc5-fixed_default	unsat ✅	0.03900	0.03949
		SMTInterpol	smtinterpol-2.5-823-g881e8631_default	unsat ✅	0.56165	1.08616
		UltimateEliminator	UltimateEliminator+MathSAT-5.6.6_default	unknown ❌	2.76018	4.44141
		Vampire	vampire_smt_4.6-fixed_vampire_smtcomp	unsat ✅	0.10853	0.10319
			vampire_smt_4.5_vampire_smtcomp	unsat ✅	0.09284	0.12878
		veriT	veriT_default	unsat ✅	0.01588	0.01622
		Z3	z3-4.8.11_default	unsat ✅	0.02747	0.02743
			z3-4.8.8_default	unsat ✅	0.04243	0.04240