read_blif s1269.blif
flatten_hierarchy
static_order -s input_and_latch s1269.ord
#dvo -e sift
build_partition_mdds inout
set hd_partial_image_threshold 0
set hd_partial_image_size 0
compute_reach -v 1  -A 1
time
quit -s
