299.95/300.02 [27881] Failed to execute script irankfinder 299.95/300.02 Traceback (most recent call last): 299.95/300.02 File "irankfinder.py", line 350, in 299.95/300.02 File "irankfinder.py", line 181, in launch 299.95/300.02 File "irankfinder.py", line 214, in launch_file 299.95/300.02 File "irankfinder.py", line 248, in remove_no_important_variables 299.95/300.02 File "genericparser/Cfg.py", line 242, in remove_no_important_variables 299.95/300.02 File "lpi/constraints.py", line 221, in __eq__ 299.95/300.02 File "lpi/expressions.py", line 358, in __sub__ 299.95/300.02 File "lpi/expressions.py", line 81, in __init__ 299.95/300.02 File "lpi/expressions.py", line 182, in copy 299.95/300.02 File "lpi/expressions.py", line 70, in __init__ 299.95/300.02 File "", line 2264, in _handle_fromlist 299.95/300.02 File "src/cysignals/signals.pyx", line 320, in cysignals.signals.python_check_interrupt 299.95/300.02 cysignals.signals.AlarmInterrupt 299.95/300.03 EOF