Benchmark

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

Benchmark without description.
Benchmark
Size783
Compressed Size347
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 774
Compressed Size343
Max. Term Depth4
Asserts 5
Declared Functions1
Declared Constants3
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants0
Declared Datatypes0

Symbols

not2 or2 =5 exists1
Int1

Evaluations

Evaluation Rating Solver Variant Result Wallclock CPU Time
SMT-COMP 2020 Alt-Ergo Alt-Ergo-SMTComp-2020_default unsat ✅ 0.02331 0.02480
CVC4 CVC4-sq-final_default unsat ✅ 0.01485 0.01517
master-2018-06-10-b19c840-competition-default_default unsat ✅ 0.01383 0.01388
SMTInterpol smtinterpol-2.5-679-gacfde87a_default unsat ✅ 0.30966 0.40782
UltimateEliminator UltimateEliminator+MathSAT-5.6.3_s_default unsat ✅ 2.36657 3.34200
Vampire vampire_smt_4.5_vampire_smtcomp unsat ✅ 0.06540 0.06536
veriT veriT_default unsat ✅ 0.01143 0.01177
veriT+vite_default unsat ✅ 0.01039 0.01068
Z3 z3-4.8.8_default unsat ✅ 0.03078 0.03073
SMT-COMP 2021 CVC4 CVC4-sq-final_default unsat ✅ 0.01504 0.01534
master-2018-06-10-b19c840-competition-default_default unsat ✅ 0.01434 0.01450
cvc5 cvc5-fixed_default unsat ✅ 0.01981 0.02035
SMTInterpol smtinterpol-2.5-823-g881e8631_default unsat ✅ 0.32072 0.41727
UltimateEliminator UltimateEliminator+MathSAT-5.6.6_default unsat ✅ 2.87408 4.82606
Vampire vampire_smt_4.6-fixed_vampire_smtcomp unsat ✅ 0.07477 0.07464
vampire_smt_4.5_vampire_smtcomp unsat ✅ 0.07487 0.06689
veriT veriT_default unsat ✅ 0.01070 0.01102
Z3 z3-4.8.11_default unsat ✅ 0.01439 0.01435
z3-4.8.8_default unsat ✅ 0.03076 0.03068
SMT-COMP 2025 cvc5 cvc5 unsat ✅ 0.26281 0.14183
iProver iProver v3.9.3 unsat ✅ 0.87732 0.49936
SMTInterpol SMTInterpol unsat ✅ 0.42811 0.38636
UltimateEliminator UltimateEliminator+MathSAT unsat ✅ 1.91032 3.97825