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