Benchmark

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

Benchmark without description.
Benchmark
Size4847
Compressed Size1019
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 4838
Compressed Size1023
Max. Term Depth8
Asserts 15
Declared Functions8
Declared Constants2
Declared Sorts 3
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants0
Declared Datatypes0

Symbols

not5 and18 =>13 =13
forall18 exists11

Evaluations

Evaluation Rating Solver Variant Result Wallclock CPU Time
SMT-COMP 2020 0.14 (6/7) Alt-Ergo Alt-Ergo-SMTComp-2020_default unsat ✅ 0.02661 0.02713
CVC4 CVC4-sq-final_default unsat ✅ 0.02183 0.02208
master-2018-06-10-b19c840-competition-default_default unsat ✅ 0.02014 0.02045
SMTInterpol smtinterpol-2.5-679-gacfde87a_default unsat ✅ 0.42195 0.66934
UltimateEliminator UltimateEliminator+MathSAT-5.6.3_s_default unknown ❌ 2.70951 3.74665
Vampire vampire_smt_4.5_vampire_smtcomp unsat ✅ 0.08430 0.08414
veriT veriT_default unsat ✅ 0.01331 0.01364
veriT+vite_default unsat ✅ 0.01119 0.01151
Z3 z3-4.8.8_default unsat ✅ 0.03437 0.03429
SMT-COMP 2021 0.14 (6/7) CVC4 CVC4-sq-final_default unsat ✅ 0.02238 0.02273
master-2018-06-10-b19c840-competition-default_default unsat ✅ 0.01977 0.02014
cvc5 cvc5-fixed_default unsat ✅ 0.02308 0.02358
SMTInterpol smtinterpol-2.5-823-g881e8631_default unsat ✅ 0.43813 0.68595
UltimateEliminator UltimateEliminator+MathSAT-5.6.6_default unknown ❌ 2.83500 4.65321
Vampire vampire_smt_4.6-fixed_vampire_smtcomp unsat ✅ 0.09475 0.09208
vampire_smt_4.5_vampire_smtcomp unsat ✅ 0.08462 0.08300
veriT veriT_default unsat ✅ 0.01213 0.01236
Z3 z3-4.8.11_default unsat ✅ 0.01922 0.01918
z3-4.8.8_default unsat ✅ 0.03503 0.03498
SMT-COMP 2024 cvc5 cvc5 unsat ✅ 0.22111 0.12143
iProver iProver v3.9 unsat ✅ 0.86442 0.43500
SMTInterpol SMTInterpol unsat ✅ 0.52426 0.73777