[18928] Failed to execute script irankfinder
Traceback (most recent call last):
  File "irankfinder.py", line 350, in <module>
  File "irankfinder.py", line 181, in launch
  File "irankfinder.py", line 226, in launch_file
  File "irankfinder.py", line 253, in analyse
  File "termination/__init__.py", line 141, in analyse
  File "partialevaluation/__init__.py", line 61, in control_flow_refinement
  File "partialevaluation/__init__.py", line 105, in partialevaluate
Exception: b'/export/starexec/sandbox2/solver/irankfinder/partialevaluation/bin/pe.sh: line 63: 19287 Alarm clock             $PEPATH/peunf_smt_2 -prg "$1" -entry "$2" -props "$props" -o "$resultdir/$f.pe.pl"\nError: error doing partial evaluation.\n'