Traceback (most recent call last):
  File "../pe/CHC-COMP/format/format.py", line 240, in <module>
    args.simplify, args.skip_err, args.datalog
  File "../pe/CHC-COMP/format/format.py", line 44, in parse_with_z3
    simplify
  File "/home/agurfink/.local/lib/python2.7/site-packages/z3/z3.py", line 6428, in set
    Z3_fixedpoint_set_params(self.ctx.ref(), self.fixedpoint, p.params)
  File "/home/agurfink/.local/lib/python2.7/site-packages/z3/z3core.py", line 4830, in Z3_fixedpoint_set_params
    raise Z3Exception(lib().Z3_get_error_msg(a0, err))
z3.z3types.Z3Exception: unknown parameter 'xform.subsumption_checker'
Legal parameters are:
  datalog.all_or_nothing_deltas (bool) (default: false)
  datalog.check_relation (symbol) (default: null)
  datalog.compile_with_widening (bool) (default: false)
  datalog.dbg_fpr_nonempty_relation_signature (bool) (default: false)
  datalog.default_relation (symbol) (default: pentagon)
  datalog.default_table (symbol) (default: sparse)
  datalog.default_table_checked (bool) (default: false)
  datalog.default_table_checker (symbol) (default: null)
  datalog.explanations_on_relation_level (bool) (default: false)
  datalog.generate_explanations (bool) (default: false)
  datalog.initial_restart_timeout (unsigned int) (default: 0)
  datalog.magic_sets_for_queries (bool) (default: false)
  datalog.output_profile (bool) (default: false)
  datalog.print.tuples (bool) (default: true)
  datalog.profile_timeout_milliseconds (unsigned int) (default: 0)
  datalog.similarity_compressor (bool) (default: true)
  datalog.similarity_compressor_threshold (unsigned int) (default: 11)
  datalog.unbound_compressor (bool) (default: true)
  datalog.use_map_names (bool) (default: true)
  duality.batch_expand (bool) (default: false)
  duality.conjecture_file (string) (default: )
  duality.enable_restarts (bool) (default: false)
  duality.feasible_edges (bool) (default: true)
  duality.full_expand (bool) (default: false)
  duality.mbqi (bool) (default: true)
  duality.no_conj (bool) (default: false)
  duality.profile (bool) (default: false)
  duality.recursion_bound (unsigned int) (default: 4294967295)
  duality.stratified_inlining (bool) (default: false)
  duality.use_underapprox (bool) (default: false)
  engine (symbol) (default: auto-config)
  generate_proof_trace (bool) (default: false)
  pdr.bfs_model_search (bool) (default: true)
  pdr.cache_mode (unsigned int) (default: 0)
  pdr.farkas (bool) (default: true)
  pdr.flexible_trace (bool) (default: false)
  pdr.inductive_reachability_check (bool) (default: false)
  pdr.max_num_contexts (unsigned int) (default: 500)
  pdr.simplify_formulas_post (bool) (default: false)
  pdr.simplify_formulas_pre (bool) (default: false)
  pdr.try_minimize_core (bool) (default: false)
  pdr.use_arith_inductive_generalizer (bool) (default: false)
  pdr.use_convex_closure_generalizer (bool) (default: false)
  pdr.use_convex_interior_generalizer (bool) (default: false)
  pdr.use_inductive_generalizer (bool) (default: true)
  pdr.use_model_generalizer (bool) (default: false)
  pdr.use_multicore_generalizer (bool) (default: false)
  pdr.utvpi (bool) (default: true)
  pdr.validate_result (bool) (default: false)
  print_aig (symbol) (default: )
  print_answer (bool) (default: false)
  print_boogie_certificate (bool) (default: false)
  print_certificate (bool) (default: false)
  print_fixedpoint_extensions (bool) (default: true)
  print_low_level_smt2 (bool) (default: false)
  print_statistics (bool) (default: false)
  print_with_variable_declarations (bool) (default: true)
  tab.selection (symbol) (default: weight)
  timeout (unsigned int) (default: 4294967295)
  xform.bit_blast (bool) (default: false)
  xform.coalesce_rules (bool) (default: false)
  xform.coi (bool) (default: true)
  xform.compress_unbound (bool) (default: true)
  xform.fix_unbound_vars (bool) (default: false)
  xform.inline_eager (bool) (default: true)
  xform.inline_linear (bool) (default: true)
  xform.inline_linear_branch (bool) (default: false)
  xform.instantiate_quantifiers (bool) (default: false)
  xform.karr (bool) (default: false)
  xform.magic (bool) (default: false)
  xform.quantify_arrays (bool) (default: false)
  xform.scale (bool) (default: false)
  xform.slice (bool) (default: true)
  xform.unfold_rules (unsigned int) (default: 0)

../pe/CHC-COMP/chcNorm: 5: exec: /root/cs0/ciao/build/eng/ciaoengine/objs/ciaoengine: Permission denied
../ciao_bundles/build/bin/raf: 5: exec: /root/cs0/bin/ciao/build/eng/ciaoengine/objs/ciaoengine: Permission denied
../ciao_bundles/build/bin/qa: 5: exec: /root/cs0/bin/ciao/build/eng/ciaoengine/objs/ciaoengine: Permission denied
../ciao_bundles/build/bin/thresholds1: 5: exec: /root/cs0/bin/ciao/build/eng/ciaoengine/objs/ciaoengine: Permission denied
../ciao_bundles/build/bin/cpascc: 5: exec: /root/cs0/bin/ciao/build/eng/ciaoengine/objs/ciaoengine: Permission denied
../ciao_bundles/build/bin/insertProps: 5: exec: /root/cs0/bin/ciao/build/eng/ciaoengine/objs/ciaoengine: Permission denied
../pe/CHC-COMP/counterExample: 5: exec: /root/cs0/ciao/build/eng/ciaoengine/objs/ciaoengine: Permission denied
../pe/CHC-COMP/props: 5: exec: /root/cs0/ciao/build/eng/ciaoengine/objs/ciaoengine: Permission denied
../pe/CHC-COMP/peunf_smt_2: 5: exec: /root/cs0/ciao/build/eng/ciaoengine/objs/ciaoengine: Permission denied
../ciao_bundles/build/bin/qa: 5: exec: /root/cs0/bin/ciao/build/eng/ciaoengine/objs/ciaoengine: Permission denied
../ciao_bundles/build/bin/thresholds1: 5: exec: /root/cs0/bin/ciao/build/eng/ciaoengine/objs/ciaoengine: Permission denied
../ciao_bundles/build/bin/cpascc: 5: exec: /root/cs0/bin/ciao/build/eng/ciaoengine/objs/ciaoengine: Permission denied
../ciao_bundles/build/bin/insertProps: 5: exec: /root/cs0/bin/ciao/build/eng/ciaoengine/objs/ciaoengine: Permission denied
../pe/CHC-COMP/counterExample: 5: exec: /root/cs0/ciao/build/eng/ciaoengine/objs/ciaoengine: Permission denied
../pe/CHC-COMP/props: 5: exec: /root/cs0/ciao/build/eng/ciaoengine/objs/ciaoengine: Permission denied
../pe/CHC-COMP/peunf_smt_2: 5: exec: /root/cs0/ciao/build/eng/ciaoengine/objs/ciaoengine: Permission denied
../ciao_bundles/build/bin/qa: 5: exec: /root/cs0/bin/ciao/build/eng/ciaoengine/objs/ciaoengine: Permission denied
../ciao_bundles/build/bin/thresholds1: 5: exec: /root/cs0/bin/ciao/build/eng/ciaoengine/objs/ciaoengine: Permission denied
../ciao_bundles/build/bin/cpascc: 5: exec: /root/cs0/bin/ciao/build/eng/ciaoengine/objs/ciaoengine: Permission denied
../ciao_bundles/build/bin/insertProps: 5: exec: /root/cs0/bin/ciao/build/eng/ciaoengine/objs/ciaoengine: Permission denied
../pe/CHC-COMP/counterExample: 5: exec: /root/cs0/ciao/build/eng/ciaoengine/objs/ciaoengine: Permission denied
../pe/CHC-COMP/props: 5: exec: /root/cs0/ciao/build/eng/ciaoengine/objs/ciaoengine: Permission denied
../pe/CHC-COMP/peunf_smt_2: 5: exec: /root/cs0/ciao/build/eng/ciaoengine/objs/ciaoengine: Permission denied
../ciao_bundles/build/bin/qa: 5: exec: /root/cs0/bin/ciao/build/eng/ciaoengine/objs/ciaoengine: Permission denied
../ciao_bundles/build/bin/thresholds1: 5: exec: /root/cs0/bin/ciao/build/eng/ciaoengine/objs/ciaoengine: Permission denied
../ciao_bundles/build/bin/cpascc: 5: exec: /root/cs0/bin/ciao/build/eng/ciaoengine/objs/ciaoengine: Permission denied
../ciao_bundles/build/bin/insertProps: 5: exec: /root/cs0/bin/ciao/build/eng/ciaoengine/objs/ciaoengine: Permission denied
../pe/CHC-COMP/counterExample: 5: exec: /root/cs0/ciao/build/eng/ciaoengine/objs/ciaoengine: Permission denied
../pe/CHC-COMP/props: 5: exec: /root/cs0/ciao/build/eng/ciaoengine/objs/ciaoengine: Permission denied
../pe/CHC-COMP/peunf_smt_2: 5: exec: /root/cs0/ciao/build/eng/ciaoengine/objs/ciaoengine: Permission denied
../ciao_bundles/build/bin/qa: 5: exec: /root/cs0/bin/ciao/build/eng/ciaoengine/objs/ciaoengine: Permission denied
../ciao_bundles/build/bin/thresholds1: 5: exec: /root/cs0/bin/ciao/build/eng/ciaoengine/objs/ciaoengine: Permission denied
../ciao_bundles/build/bin/cpascc: 5: exec: /root/cs0/bin/ciao/build/eng/ciaoengine/objs/ciaoengine: Permission denied
../ciao_bundles/build/bin/insertProps: 5: exec: /root/cs0/bin/ciao/build/eng/ciaoengine/objs/ciaoengine: Permission denied
../pe/CHC-COMP/counterExample: 5: exec: /root/cs0/ciao/build/eng/ciaoengine/objs/ciaoengine: Permission denied
../pe/CHC-COMP/props: 5: exec: /root/cs0/ciao/build/eng/ciaoengine/objs/ciaoengine: Permission denied
../pe/CHC-COMP/peunf_smt_2: 5: exec: /root/cs0/ciao/build/eng/ciaoengine/objs/ciaoengine: Permission denied
../ciao_bundles/build/bin/qa: 5: exec: /root/cs0/bin/ciao/build/eng/ciaoengine/objs/ciaoengine: Permission denied
../ciao_bundles/build/bin/thresholds1: 5: exec: /root/cs0/bin/ciao/build/eng/ciaoengine/objs/ciaoengine: Permission denied
../ciao_bundles/build/bin/cpascc: 5: exec: /root/cs0/bin/ciao/build/eng/ciaoengine/objs/ciaoengine: Permission denied
../ciao_bundles/build/bin/insertProps: 5: exec: /root/cs0/bin/ciao/build/eng/ciaoengine/objs/ciaoengine: Permission denied
../pe/CHC-COMP/counterExample: 5: exec: /root/cs0/ciao/build/eng/ciaoengine/objs/ciaoengine: Permission denied
../pe/CHC-COMP/props: 5: exec: /root/cs0/ciao/build/eng/ciaoengine/objs/ciaoengine: Permission denied
../pe/CHC-COMP/peunf_smt_2: 5: exec: /root/cs0/ciao/build/eng/ciaoengine/objs/ciaoengine: Permission denied
../ciao_bundles/build/bin/qa: 5: exec: /root/cs0/bin/ciao/build/eng/ciaoengine/objs/ciaoengine: Permission denied
../ciao_bundles/build/bin/thresholds1: 5: exec: /root/cs0/bin/ciao/build/eng/ciaoengine/objs/ciaoengine: Permission denied
../ciao_bundles/build/bin/cpascc: 5: exec: /root/cs0/bin/ciao/build/eng/ciaoengine/objs/ciaoengine: Permission denied
../ciao_bundles/build/bin/insertProps: 5: exec: /root/cs0/bin/ciao/build/eng/ciaoengine/objs/ciaoengine: Permission denied
../pe/CHC-COMP/counterExample: 5: exec: /root/cs0/ciao/build/eng/ciaoengine/objs/ciaoengine: Permission denied
../pe/CHC-COMP/props: 5: exec: /root/cs0/ciao/build/eng/ciaoengine/objs/ciaoengine: Permission denied
../pe/CHC-COMP/peunf_smt_2: 5: exec: /root/cs0/ciao/build/eng/ciaoengine/objs/ciaoengine: Permission denied
../ciao_bundles/build/bin/qa: 5: exec: /root/cs0/bin/ciao/build/eng/ciaoengine/objs/ciaoengine: Permission denied
../ciao_bundles/build/bin/thresholds1: 5: exec: /root/cs0/bin/ciao/build/eng/ciaoengine/objs/ciaoengine: Permission denied
../ciao_bundles/build/bin/cpascc: 5: exec: /root/cs0/bin/ciao/build/eng/ciaoengine/objs/ciaoengine: Permission denied
../ciao_bundles/build/bin/insertProps: 5: exec: /root/cs0/bin/ciao/build/eng/ciaoengine/objs/ciaoengine: Permission denied
../pe/CHC-COMP/counterExample: 5: exec: /root/cs0/ciao/build/eng/ciaoengine/objs/ciaoengine: Permission denied
../pe/CHC-COMP/props: 5: exec: /root/cs0/ciao/build/eng/ciaoengine/objs/ciaoengine: Permission denied
../pe/CHC-COMP/peunf_smt_2: 5: exec: /root/cs0/ciao/build/eng/ciaoengine/objs/ciaoengine: Permission denied
../ciao_bundles/build/bin/qa: 5: exec: /root/cs0/bin/ciao/build/eng/ciaoengine/objs/ciaoengine: Permission denied
../ciao_bundles/build/bin/thresholds1: 5: exec: /root/cs0/bin/ciao/build/eng/ciaoengine/objs/ciaoengine: Permission denied
../ciao_bundles/build/bin/cpascc: 5: exec: /root/cs0/bin/ciao/build/eng/ciaoengine/objs/ciaoengine: Permission denied
../ciao_bundles/build/bin/insertProps: 5: exec: /root/cs0/bin/ciao/build/eng/ciaoengine/objs/ciaoengine: Permission denied
../pe/CHC-COMP/counterExample: 5: exec: /root/cs0/ciao/build/eng/ciaoengine/objs/ciaoengine: Permission denied
../pe/CHC-COMP/props: 5: exec: /root/cs0/ciao/build/eng/ciaoengine/objs/ciaoengine: Permission denied