Benchmark

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

Benchmark without description.
Benchmark
Size190465
Compressed Size19454
License Creative Commons Attribution Non Commercial 4.0 International (CC-BY-NC-4.0)
Categoryindustrial
First Occurrence2019-07-07
Generated By—
Generated On—
GeneratorRodin SMT Plug-in
Dolmen OK1
strict Dolmen OK1
check-sat calls1
Query 1
Status unknown
Inferred Status None
Size 190456
Compressed Size18718
Max. Term Depth25
Asserts 45
Declared Functions10
Declared Constants5
Declared Sorts 3
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants0
Declared Datatypes0

Symbols

not8 or15 and536 =>384
=275 forall456 exists358 Int654
+76 -53 <14 <=460

Evaluations

Evaluation Rating Solver Variant Result Wallclock CPU Time
SMT-COMP 2019 1.00 (0/7) Alt-Ergo Alt-Ergo-SMTComp-2019-wrapped-sq_default unknown ❌ 2400.07000 9536.49000
CVC4 CVC4-2019-06-03-d350fe1-wrapped-sq_default unknown ❌ 2400.02000 2303.10000
CVC4-SymBreak_03_06_2019-wrapped-sq_default unknown ❌ 2400.10000 2302.87000
master-2018-06-10-b19c840-competition-default_default unknown ❌ 2400.01000 2333.15000
SMTInterpol smtinterpol-2.5-514-wrapped-sq_default unknown ❌ 2400.06000 5128.60000
UltimateEliminator UltimateEliminator+MathSAT-5.5.4-wrapped-sq_default unknown ❌ 2400.02000 2668.69000
UltimateEliminator+SMTInterpol-wrapped-sq_default unknown ❌ 2400.09000 2690.50000
UltimateEliminator+Yices-2.6.1-wrapped-sq_default unknown ❌ 2400.03000 2667.03000
Vampire vampire-4.4-smtcomp-wrapped-sq_default unknown ❌ 2400.10000 9449.80000
veriT veriT-wrapped-sq_default unknown ❌ 2400.02000 2399.56000
Z3 z3-4.8.4-d6df51951f4c-wrapped-sq_default unknown ❌ 815.29900 815.32600
SMT-COMP 2024 1.00 (0/3) cvc5 cvc5 unknown ❌ 1201.71765 1201.00154
iProver iProver v3.9 unknown ❌ 1201.73437 4745.16709
SMTInterpol SMTInterpol unknown ❌ 1202.74891 1415.78526
SMT-COMP 2025 1.00 (0/4) cvc5 cvc5 unknown ❌ 1201.78465 1201.30627
iProver iProver v3.9.3 unknown ❌ 1201.78845 4764.72857
SMTInterpol SMTInterpol unknown ❌ 1201.35653 1840.63872
UltimateEliminator UltimateEliminator+MathSAT unknown ❌ 2.08056 4.58374