details

property	value
status	complete
benchmark	FlattenTree.jar-obl-9.smt2
ran by	Akihisa Yamada
cpu timeout	1200 seconds
wallclock timeout	300 seconds
memory limit	137438953472 bytes
execution host	n164.star.cs.uiowa.edu
space	From_AProVE_2014

run statistics

property	value
solver	irankfinder v1.2
configuration	competition
runtime (wallclock)	19.9624 seconds
cpu usage	19.9376
user time	19.7611
system time	0.17654
max virtual memory	602940.0
max residence set size	43380.0

stage attributes

key	value
starexec-result	MAYBE

output

19.85/19.88 MAYBE 19.85/19.88 19.85/19.88 19.85/19.88 Termination: (Ranking Functions Found) 19.85/19.88 ------------ 19.85/19.88 f1733_0_createTree_LE: < < arg3 >, < arg3 >, < arg3 >, < arg3 >, < arg3 >, < arg3 > > 19.85/19.88 19.85/19.88 19.85/19.88 Connected Subgraphs where we couldn't prove Termination: 19.85/19.88 -------------------------------------------------------- 19.85/19.88 SCC: 19.85/19.88 +--transitions: t3,t4,t5,t6 19.85/19.88 +--nodes: n_n_n_f1830_0_flatten_NULL___1___1___1,n_n_n_f1830_0_flatten_NULL___2___3___3 19.85/19.88 19.85/19.88 19.85/19.96 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