read_blif_mv eight_queens.mv
init_verify
print_network_stats
quit -s
