read_blif_mv eight_queens.mv init_verify print_network_stats quit -s