0.00/0.01	ERROR: unknown parameter '/home/linjk/smt/2021_qf_bv/asp/graphcolouring/graph_colouring_nodes'
0.00/0.01	Legal parameters are:
0.00/0.01	  auto_config (bool) (default: true)
0.00/0.01	  debug_ref_count (bool) (default: false)
0.00/0.01	  dot_proof_file (string) (default: proof.dot)
0.00/0.01	  dump_models (bool) (default: false)
0.00/0.01	  encoding (string) (default: unicode)
0.00/0.01	  memory_high_watermark (unsigned int) (default: 0)
0.00/0.01	  memory_max_alloc_count (unsigned int) (default: 0)
0.00/0.01	  memory_max_size (unsigned int) (default: 0)
0.00/0.01	  model (bool) (default: true)
0.00/0.01	  model_validate (bool) (default: false)
0.00/0.01	  proof (bool) (default: false)
0.00/0.01	  rlimit (unsigned int) (default: 0)
0.00/0.01	  smtlib2_compliant (bool) (default: false)
0.00/0.01	  stats (bool) (default: false)
0.00/0.01	  timeout (unsigned int) (default: 4294967295)
0.00/0.01	  trace (bool) (default: false)
0.00/0.01	  trace_file_name (string) (default: z3.log)
0.00/0.01	  type_check (bool) (default: true)
0.00/0.01	  unsat_core (bool) (default: false)
0.00/0.01	  verbose (unsigned int) (default: 0)
0.00/0.01	  warning (bool) (default: true)
0.00/0.01	  well_sorted_check (bool) (default: false)
0.00/0.02	
