read_blif_mv gcd2.mv
init_verify
compute_reach -v 1 -s 1
dynamic_var_ordering -f sift
write_order gcd2.ord

