read_blif_mv gigamax.mv
init_verify
compute_reach -v 1
print_fairness
lang_empty -d 0
model_check -d 0 affalse
model_check -d 0 gigamax.ctl
time
quit -s
