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