Benchmark

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

Benchmark without description.
Benchmark
Size12973
Compressed Size1469
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 sat
Inferred Status sat
Size 12964
Compressed Size1469
Max. Term Depth11
Asserts 10
Declared Functions9
Declared Constants5
Declared Sorts 2
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants0
Declared Datatypes0

Symbols

not18 or8 and53 =>34
=47 forall34 exists36

Evaluations

Evaluation Rating Solver Variant Result Wallclock CPU Time
SMT-COMP 2020 0.57 (3/7) Alt-Ergo Alt-Ergo-SMTComp-2020_default unknown ❌ 0.08054 0.24545
CVC4 CVC4-sq-final_default sat ✅ 0.41690 0.41957
master-2018-06-10-b19c840-competition-default_default sat ✅ 0.35839 0.36066
SMTInterpol smtinterpol-2.5-679-gacfde87a_default unknown ❌ 0.77382 1.84416
UltimateEliminator UltimateEliminator+MathSAT-5.6.3_s_default unknown ❌ 2.24397 3.34784
Vampire vampire_smt_4.5_vampire_smtcomp sat ✅ 0.09681 0.05148
veriT veriT_default unknown ❌ 520.97000 525.80500
veriT+vite_default unknown ❌ 5.04213 5.04301
Z3 z3-4.8.8_default sat ✅ 0.04141 0.04135
SMT-COMP 2021 0.43 (4/7) CVC4 CVC4-sq-final_default sat ✅ 0.43886 0.44166
master-2018-06-10-b19c840-competition-default_default sat ✅ 0.38273 0.38549
cvc5 cvc5-fixed_default sat ✅ 1.63097 1.63410
SMTInterpol smtinterpol-2.5-823-g881e8631_default unknown ❌ 0.75412 1.78430
UltimateEliminator UltimateEliminator+MathSAT-5.6.6_default unknown ❌ 6.40605 7.57249
Vampire vampire_smt_4.6-fixed_vampire_smtcomp sat ✅ 0.13072 0.05917
vampire_smt_4.5_vampire_smtcomp sat ✅ 0.09129 0.05091
veriT veriT_default unknown ❌ 0.09476 0.09759
Z3 z3-4.8.11_default sat ✅ 0.03095 0.03087
z3-4.8.8_default sat ✅ 0.04418 0.04414
SMT-COMP 2024 0.67 (1/3) cvc5 cvc5 sat ✅ 3.88792 3.78949
iProver iProver v3.9 unknown ❌ 15.75320 17.14728
SMTInterpol SMTInterpol unknown ❌ 0.81111 1.79624