299.92/300.01 [27870] Failed to execute script irankfinder 299.92/300.01 Traceback (most recent call last): 299.92/300.01 File "irankfinder.py", line 350, in 299.92/300.01 File "irankfinder.py", line 181, in launch 299.92/300.01 File "irankfinder.py", line 214, in launch_file 299.92/300.01 File "irankfinder.py", line 248, in remove_no_important_variables 299.92/300.01 File "genericparser/Cfg.py", line 242, in remove_no_important_variables 299.92/300.01 File "lpi/constraints.py", line 221, in __eq__ 299.92/300.01 File "lpi/expressions.py", line 358, in __sub__ 299.92/300.01 File "src/cysignals/signals.pyx", line 320, in cysignals.signals.python_check_interrupt 299.92/300.01 cysignals.signals.AlarmInterrupt 299.92/300.04 EOF