read_blif_mv crd.mv
init_verify
model_check -d 0 agtrue
print_fairness
lang_empty -d 0
model_check -d 0 affalse
read_fairness crd.fair
print_fairness
model_check -d 0 starvation.ctl
model_check -d 0 starvation2.ctl
model_check -d 0 safety.ctl
read_fairness safety.fair
print_fairness
lang_empty -d 0
time
quit -s