details

property	value
status	timeout (wallclock)
benchmark	s4.t2_fixed.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.118 seconds
cpu usage	300.13
user time	295.87
system time	4.26
max virtual memory	3510852.0
max residence set size	1388.0

stage attributes

unavailable

output

300.13/300.10 [12732] Failed to execute script irankfinder 300.13/300.10 Traceback (most recent call last): 300.13/300.10 File "irankfinder.py", line 350, in <module> 300.13/300.10 File "irankfinder.py", line 181, in launch 300.13/300.10 File "irankfinder.py", line 200, in launch_file 300.13/300.10 File "irankfinder.py", line 186, in parse_file 300.13/300.10 File "genericparser/__init__.py", line 98, in parse 300.13/300.10 File "genericparser/Parser_smt2.py", line 25, in parse 300.13/300.10 File "genericparser/Parser_fc.py", line 28, in parse_string 300.13/300.10 File "lark/lark.py", line 228, in parse 300.13/300.10 File "lark/parser_frontends.py", line 38, in parse 300.13/300.10 File "lark/parsers/lalr_parser.py", line 68, in parse 300.13/300.10 File "lark/lexer.py", line 335, in lex 300.13/300.10 File "lark/lexer.py", line 143, in lex 300.13/300.10 File "src/cysignals/signals.pyx", line 320, in cysignals.signals.python_check_interrupt 300.13/300.10 cysignals.signals.AlarmInterrupt 300.13/300.34 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