details

property	value
status	timeout (wallclock)
benchmark	slayer-3-filtered.t2.smt2
ran by	Akihisa Yamada
cpu timeout	1200 seconds
wallclock timeout	300 seconds
memory limit	137438953472 bytes
space	From_T2

run statistics

property	value
solver	irankfinder v1.2
configuration	competition
runtime (wallclock)	300.043 seconds
cpu usage	300.0
user time	299.68
system time	0.32
max virtual memory	558012.0
max residence set size	1376.0

stage attributes

unavailable

output

300.00/300.03 [55127] Failed to execute script irankfinder 300.00/300.03 Traceback (most recent call last): 300.00/300.03 File "irankfinder.py", line 350, in <module> 300.00/300.03 File "irankfinder.py", line 181, in launch 300.00/300.03 File "irankfinder.py", line 226, in launch_file 300.00/300.03 File "irankfinder.py", line 253, in analyse 300.00/300.03 File "termination/__init__.py", line 90, in analyse 300.00/300.03 File "termination/__init__.py", line 244, in analyse_scc_termination 300.00/300.03 File "termination/__init__.py", line 268, in run_algs 300.00/300.03 File "termination/algorithm/qnlrf.py", line 126, in run 300.00/300.03 File "termination/farkas.py", line 52, in df 300.00/300.03 File "termination/farkas.py", line 89, in farkas 300.00/300.03 File "lpi/expressions.py", line 346, in __add__ 300.00/300.03 File "src/cysignals/signals.pyx", line 320, in cysignals.signals.python_check_interrupt 300.00/300.03 cysignals.signals.AlarmInterrupt 300.00/300.04 EOF popout

output may be truncated. 'popout' for the full output.

job log

popout

actions

all output return to Integer_Transition_Systems 2019-03-29 01.54