Benchmark

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

Benchmark without description.
Benchmark
Size2545
Compressed Size626
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 unknown
Inferred Status None
Size 2536
Compressed Size630
Max. Term Depth12
Asserts 4
Declared Functions5
Declared Constants2
Declared Sorts 2
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants0
Declared Datatypes0

Symbols

not3 or2 and11 =>2
=7 forall4 exists6 Int3
<1

Evaluations

Evaluation Rating Solver Variant Result Wallclock CPU Time
SMT-COMP 2024 1.00 (0/3) cvc5 cvc5 unknown ❌ 1201.74223 1200.67219
iProver iProver v3.9 unknown ❌ 1201.73311 4744.74011
SMTInterpol SMTInterpol unknown ❌ 0.80598 1.63342