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