Benchmark

non-incremental/QF_BV/20221012-MCMPC/mean_buckets/mean_buckets.t1.i19.c8de50c3.smt2

Benchmark without description.

Benchmark
Size	48925
Compressed Size	5015
License	Creative Commons Attribution 4.0 International (CC-BY-4.0)
Category	industrial
First Occurrence	2023-07-06
Generated By	Maximilian A. Zinkus
Generated On	2022-10-12 00:00:00
Generator	MCMPC
Dolmen OK	1
strict Dolmen OK	1
`check-sat` calls	1

Query 1

Status	unknown
Inferred Status	None
Size	48918
Compressed Size	5041
Max. Term Depth	8
Asserts	228
Declared Functions	0
Declared Constants	170
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	0
Declared Datatypes	0