300.00/300.06 [19955] Failed to execute script irankfinder 300.00/300.06 Traceback (most recent call last): 300.00/300.06 File "irankfinder.py", line 350, in 300.00/300.06 File "irankfinder.py", line 181, in launch 300.00/300.06 File "irankfinder.py", line 226, in launch_file 300.00/300.06 File "irankfinder.py", line 253, in analyse 300.00/300.06 File "termination/__init__.py", line 90, in analyse 300.00/300.06 File "termination/__init__.py", line 244, in analyse_scc_termination 300.00/300.06 File "termination/__init__.py", line 268, in run_algs 300.00/300.06 File "termination/algorithm/qnlrf.py", line 132, in run 300.00/300.06 File "lpi/solvers/z3Solver.py", line 155, in get_point 300.00/300.06 File "z3/z3.py", line 304, in __str__ 300.00/300.06 File "z3/z3printer.py", line 1206, in obj_to_string 300.00/300.06 File "z3/z3printer.py", line 1102, in __call__ 300.00/300.06 File "z3/z3printer.py", line 1076, in main 300.00/300.06 File "z3/z3printer.py", line 972, in pp_expr 300.00/300.06 File "z3/z3.py", line 1094, in is_app 300.00/300.06 File "z3/z3.py", line 435, in _ast_kind 300.00/300.06 File "z3/z3.py", line 818, in as_ast 300.00/300.06 File "src/cysignals/signals.pyx", line 320, in cysignals.signals.python_check_interrupt 300.00/300.06 cysignals.signals.AlarmInterrupt 300.00/300.07 EOF