read_blif_mv 8-arbit.mv
flatten_hierarchy
build_partition_maigs
bounded_model_check -m1 -k5 -v1 8-arbit.ltl
time
quit -s