[47451] Failed to execute script irankfinder
Traceback (most recent call last):
  File "irankfinder.py", line 350, in <module>
  File "irankfinder.py", line 181, in launch
  File "irankfinder.py", line 200, in launch_file
  File "irankfinder.py", line 186, in parse_file
  File "genericparser/__init__.py", line 98, in parse
  File "genericparser/Parser_smt2.py", line 25, in parse
  File "genericparser/Parser_fc.py", line 28, in parse_string
  File "lark/lark.py", line 228, in parse
  File "lark/parser_frontends.py", line 38, in parse
  File "lark/parsers/lalr_parser.py", line 68, in parse
  File "lark/lexer.py", line 335, in lex
  File "lark/lexer.py", line 151, in lex
  File "lark/lexer.py", line 75, in __new__
  File "src/cysignals/signals.pyx", line 320, in cysignals.signals.python_check_interrupt
cysignals.signals.AlarmInterrupt