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