go_bmc
check_ltlspec_ic3 -d
quit