Benchmark

non-incremental/QF_BV/20221012-MCMPC/mean_buckets/mean_buckets.t1.i24.0d07148a.smt2

Benchmark without description.

Benchmark
Size	42025
Compressed Size	4124
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	42018
Compressed Size	4142
Max. Term Depth	8
Asserts	194
Declared Functions	0
Declared Constants	180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	0
Declared Datatypes	0