details

property	value
status	complete
benchmark	311.xml
ran by	Akihisa Yamada
cpu timeout	1200 seconds
wallclock timeout	300 seconds
memory limit	137438953472 bytes
execution host	n121.star.cs.uiowa.edu
space	COPS

run statistics

property	value
solver	muterm 6.0.3
configuration	default
runtime (wallclock)	202.548 seconds
cpu usage	202.216
user time	198.058
system time	4.15821
max virtual memory	1155820.0
max residence set size	411668.0

stage attributes

key	value
starexec-result	MAYBE

output

202.17/202.54 MAYBE 202.17/202.54 EOF popout

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

job log

popout

actions

all output return to TRS_Conditional 2019-03-28 22.59