299.98/300.01 [40772] Failed to execute script irankfinder 299.98/300.01 Traceback (most recent call last): 299.98/300.01 File "irankfinder.py", line 350, in 299.98/300.01 File "irankfinder.py", line 181, in launch 299.98/300.01 File "irankfinder.py", line 226, in launch_file 299.98/300.01 File "irankfinder.py", line 253, in analyse 299.98/300.01 File "termination/__init__.py", line 37, in analyse 299.98/300.01 File "genericparser/Cfg.py", line 140, in remove_unsat_edges 299.98/300.01 File "lpi/solvers/z3Solver.py", line 111, in add 299.98/300.01 File "lpi/solvers/z3Solver.py", line 45, in transform 299.98/300.01 File "lpi/solvers/z3Solver.py", line 45, in 299.98/300.01 File "lpi/solvers/z3Solver.py", line 56, in transform 299.98/300.01 File "lpi/constraints.py", line 161, in get 299.98/300.01 File "/usr/lib64/python3.4/enum.py", line 256, in __getattr__ 299.98/300.01 File "/usr/lib64/python3.4/enum.py", line 18, in _is_dunder 299.98/300.01 File "src/cysignals/signals.pyx", line 320, in cysignals.signals.python_check_interrupt 299.98/300.01 cysignals.signals.AlarmInterrupt 299.98/300.03 EOF