details

property	value
status	timeout (wallclock)
benchmark	svcomp_openbsd_cstrcspn_alloca.c
ran by	Akihisa Yamada
cpu timeout	1200 seconds
wallclock timeout	300 seconds
memory limit	137438953472 bytes
space	AProVE_memory_alloca

run statistics

property	value
solver	AProVE
configuration	c
runtime (wallclock)	300.109 seconds
cpu usage	1078.73
user time	1045.93
system time	32.8
max virtual memory	6.6111896E7
max residence set size	9413036.0

stage attributes

unavailable

output

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