Benchmark

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

Benchmark without description.
Benchmark
Size19640
Compressed Size2817
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 unsat
Inferred Status unsat
Size 19631
Compressed Size2829
Max. Term Depth10
Asserts 32
Declared Functions9
Declared Constants6
Declared Sorts 4
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants0
Declared Datatypes0

Symbols

not20 or2 and90 =>37
=38 forall55 exists62

Evaluations

Evaluation Rating Solver Variant Result Wallclock CPU Time
SMT-COMP 2020 0.29 (5/7) Alt-Ergo Alt-Ergo-SMTComp-2020_default unsat ✅ 0.06936 0.06764
CVC4 CVC4-sq-final_default unsat ✅ 0.04453 0.04475
master-2018-06-10-b19c840-competition-default_default unsat ✅ 0.04050 0.04083
SMTInterpol smtinterpol-2.5-679-gacfde87a_default unknown ❌ 1200.02000 1217.13000
UltimateEliminator UltimateEliminator+MathSAT-5.6.3_s_default unknown ❌ 2.37679 3.49224
Vampire vampire_smt_4.5_vampire_smtcomp unsat ✅ 0.11413 0.11399
veriT veriT_default unsat ✅ 0.01898 0.01931
veriT+vite_default unsat ✅ 0.01763 0.01793
Z3 z3-4.8.8_default unsat ✅ 0.04397 0.04393
SMT-COMP 2021 0.29 (5/7) CVC4 CVC4-sq-final_default unsat ✅ 0.03951 0.03984
master-2018-06-10-b19c840-competition-default_default unsat ✅ 0.03562 0.03596
cvc5 cvc5-fixed_default unsat ✅ 0.04187 0.04246
SMTInterpol smtinterpol-2.5-823-g881e8631_default unknown ❌ 1200.03000 3684.85000
UltimateEliminator UltimateEliminator+MathSAT-5.6.6_default unknown ❌ 2.92545 4.92819
Vampire vampire_smt_4.6-fixed_vampire_smtcomp unsat ✅ 0.17061 0.15484
vampire_smt_4.5_vampire_smtcomp unsat ✅ 0.13736 0.13607
veriT veriT_default unsat ✅ 0.01902 0.01938
Z3 z3-4.8.11_default unsat ✅ 0.02904 0.02900
z3-4.8.8_default unsat ✅ 0.04406 0.04401
SMT-COMP 2025 0.25 (3/4) cvc5 cvc5 unsat ✅ 0.27513 0.15450
iProver iProver v3.9.3 unsat ✅ 0.90909 1.50888
SMTInterpol SMTInterpol unsat ✅ 156.01890 168.69940
UltimateEliminator UltimateEliminator+MathSAT unknown ❌ 1.90215 4.07940