details

property	value
status	timeout (wallclock)
benchmark	GulwaniJainKoskinen-PLDI2009-Fig1_true-termination.c
ran by	Akihisa Yamada
cpu timeout	1200 seconds
wallclock timeout	300 seconds
memory limit	137438953472 bytes
space	SV-COMP_Termination_Category

run statistics

property	value
solver	AProVE
configuration	c
runtime (wallclock)	300.092 seconds
cpu usage	1124.88
user time	1006.42
system time	118.46
max virtual memory	8.5231636E7
max residence set size	5839624.0

stage attributes

unavailable

output

/export/starexec/sandbox/solver/bin/starexec_run_c: line 3: 39244 Alarm clock LD_LIBRARY_PATH=../lib:../c_lib:$LD_LIBRARY_PATH PATH=.:$PATH T2_PATH=../t2 C_INCLUDE_PATH=../fake_include ../jre/bin/java -Xmx14G -Xms14G -ea -cp ../jre/lib -jar ../aprove.jar -m wst -w 4 -p plain $1 2> /dev/null popout

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

job log

popout

actions

all output return to C