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

