details

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

run statistics

property	value
solver	AProVE
configuration	c
runtime (wallclock)	300.101 seconds
cpu usage	1172.69
user time	1135.02
system time	37.67
max virtual memory	1.078696E8
max residence set size	8612952.0

stage attributes

unavailable

output

/export/starexec/sandbox/solver/bin/starexec_run_c: line 3: 39527 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_Integer