Benchmark

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

Benchmark without description.
Benchmark
Size129846
Compressed Size13579
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 129837
Compressed Size13577
Max. Term Depth18
Asserts 52
Declared Functions8
Declared Constants6
Declared Sorts 5
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants0
Declared Datatypes0

Symbols

not15 or15 and382 =>296
=179 forall348 exists214 Int423
+44 -18 <4 <=321