read_blif_mv minMax30.mv
flatten_hierarchy
build_partition_maigs
bounded_model_check -s1 -k5 -v1 minMax.ltl
time
quit -s