details

property	value
status	timeout (wallclock)
benchmark	Pure3Phase_true-termination.c
ran by	Akihisa Yamada
cpu timeout	1200 seconds
wallclock timeout	300 seconds
memory limit	137438953472 bytes
space	Ultimate

run statistics

property	value
solver	AProVE
configuration	c
runtime (wallclock)	300.109 seconds
cpu usage	1167.51
user time	1131.71
system time	35.8
max virtual memory	1.06045188E8
max residence set size	1.3262988E7

stage attributes

unavailable

output

/export/starexec/sandbox2/solver/bin/starexec_run_c: line 3: 27784 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