/export/starexec/sandbox/solver/bin/starexec_run_competition /export/starexec/sandbox/benchmark/theBenchmark.c /export/starexec/sandbox/output/output_files


--------------------------------------------------------------------------------


[17301] Failed to execute script irankfinder
Traceback (most recent call last):
  File "irankfinder.py", line 374, in <module>
  File "irankfinder.py", line 223, in launch
  File "irankfinder.py", line 251, in analyse
  File "termination/__init__.py", line 81, in analyse
  File "partialevaluation/__init__.py", line 61, in control_flow_refinement
  File "partialevaluation/__init__.py", line 101, in partialevaluate
  File "partialevaluation/__init__.py", line 176, in set_props
  File "partialevaluation/__init__.py", line 294, in johns_props1
Exception: b'{ERROR: No handle found for thrown error ppl_invalid_argument(found(v_y_P1_P1),expected(linear_expression_or_constraint),where(ppl_new_NNC_Polyhedron_from_constraints/2))}\n'
method 1