details

property	value
status	timeout (wallclock)
benchmark	Test4.jar-obl-10.smt2
ran by	Akihisa Yamada
cpu timeout	1200 seconds
wallclock timeout	300 seconds
memory limit	137438953472 bytes
space	From_AProVE_2014

run statistics

property	value
solver	irankfinder v1.2
configuration	competition
runtime (wallclock)	300.048 seconds
cpu usage	300.02
user time	299.77
system time	0.25
max virtual memory	503084.0
max residence set size	1388.0

stage attributes

unavailable

output

300.02/300.04 [7759] Failed to execute script irankfinder 300.02/300.04 Traceback (most recent call last): 300.02/300.04 File "irankfinder.py", line 350, in <module> 300.02/300.04 File "irankfinder.py", line 181, in launch 300.02/300.04 File "irankfinder.py", line 226, in launch_file 300.02/300.04 File "irankfinder.py", line 253, in analyse 300.02/300.04 File "termination/__init__.py", line 90, in analyse 300.02/300.04 File "termination/__init__.py", line 244, in analyse_scc_termination 300.02/300.04 File "termination/__init__.py", line 268, in run_algs 300.02/300.04 File "termination/algorithm/qnlrf.py", line 122, in run 300.02/300.04 File "termination/algorithm/utils.py", line 36, in get_free_name 300.02/300.04 File "src/cysignals/signals.pyx", line 320, in cysignals.signals.python_check_interrupt 300.02/300.04 cysignals.signals.AlarmInterrupt 300.02/300.05 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