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