Benchmark

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

Benchmark without description.
Benchmark
Size273575
Compressed Size28531
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 273566
Compressed Size28521
Max. Term Depth25
Asserts 111
Declared Functions10
Declared Constants9
Declared Sorts 4
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants0
Declared Datatypes0

Symbols

not18 or19 and794 =>586
=400 forall691 exists508 Int890
+96 -64 <15 <=611

Evaluations

Evaluation Rating Solver Variant Result Wallclock CPU Time
SMT-COMP 2024 1.00 (0/3) cvc5 cvc5 unknown ❌ 1201.71459 1201.27975
iProver iProver v3.9 unknown ❌ 1201.74232 4750.13350
SMTInterpol SMTInterpol unknown ❌ 1202.71626 2755.67101