Benchmark

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

Benchmark without description.
Benchmark
Size12902
Compressed Size1600
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 12893
Compressed Size1599
Max. Term Depth12
Asserts 16
Declared Functions2
Declared Constants4
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants0
Declared Datatypes0

Symbols

not16 or17 and55 =>22
=49 forall26 exists12 Int67
+1 -1 <2 <=51

Evaluations

Evaluation Rating Solver Variant Result Wallclock CPU Time
SMT-COMP 2019 0.14 (6/7) Alt-Ergo Alt-Ergo-SMTComp-2019-wrapped-sq_default unsat ✅ 0.73794 2.73000
CVC4 CVC4-2019-06-03-d350fe1-wrapped-sq_default unsat ✅ 0.04412 0.04444
CVC4-SymBreak_03_06_2019-wrapped-sq_default unsat ✅ 0.04607 0.04640
master-2018-06-10-b19c840-competition-default_default unsat ✅ 0.04503 0.04530
SMTInterpol smtinterpol-2.5-514-wrapped-sq_default unsat ✅ 11.27750 20.82250
UltimateEliminator UltimateEliminator+MathSAT-5.5.4-wrapped-sq_default unknown ❌ 2.55978 3.81942
UltimateEliminator+SMTInterpol-wrapped-sq_default unknown ❌ 2.14384 3.82847
UltimateEliminator+Yices-2.6.1-wrapped-sq_default unknown ❌ 2.65359 3.88528
Vampire vampire-4.4-smtcomp-wrapped-sq_default unsat ✅ 0.18067 0.42000
veriT veriT-wrapped-sq_default unsat ✅ 0.04729 0.04763
Z3 z3-4.8.4-d6df51951f4c-wrapped-sq_default unsat ✅ 0.58537 0.58539
SMT-COMP 2021 0.14 (6/7) CVC4 CVC4-sq-final_default unsat ✅ 0.04237 0.04270
master-2018-06-10-b19c840-competition-default_default unsat ✅ 0.04463 0.04490
cvc5 cvc5-fixed_default unsat ✅ 0.04968 0.05006
SMTInterpol smtinterpol-2.5-823-g881e8631_default unsat ✅ 8.68328 20.13360
UltimateEliminator UltimateEliminator+MathSAT-5.6.6_default unknown ❌ 5.68480 11.80460
Vampire vampire_smt_4.6-fixed_vampire_smtcomp unsat ✅ 0.16670 0.16689
vampire_smt_4.5_vampire_smtcomp unsat ✅ 0.10487 0.12958
veriT veriT_default unsat ✅ 0.27883 0.27921
Z3 z3-4.8.11_default unsat ✅ 0.37025 0.37007
z3-4.8.8_default unsat ✅ 0.91565 0.91558
SMT-COMP 2022 0.14 (6/7) CVC4 CVC4-sq-final_default unsat ✅ 0.04492 0.04526
cvc5 cvc5-default-2022-07-02-b15e116-wrapped_sq unsat ✅ 0.08509 0.08563
SMTInterpol smtinterpol-fixed-2.5-1148-gf2d8e6b0_default unsat ✅ 7.42488 17.69720
UltimateEliminator UltimateEliminator+MathSAT-5.6.7-wrapped_default unknown ❌ 2.84097 4.86585
Vampire vampire_4.7_smt_fix-wrapped_vampire_smtcomp unsat ✅ 0.14023 0.17935
veriT veriT_default unsat ✅ 0.26664 0.26699
Z3 z3-4.8.17_default unsat ✅ 0.13086 0.13262