TRS_Conditional 2019-03-28 22.59 pair #432272497

loading
details
property value
status complete
benchmark 326.xml
ran by Akihisa Yamada
cpu timeout 1200 seconds
wallclock timeout 300 seconds
memory limit 137438953472 bytes
execution host n038.star.cs.uiowa.edu
space COPS
run statistics
property value
solver AProVE
configuration standard
runtime (wallclock) 1.63988 seconds
cpu usage 3.6209
user time 3.46449
system time 0.15641
max virtual memory 1.8277584E7
max residence set size 232292.0
stage attributes
key value
starexec-result YES
loading output popout

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

loading job log

	
				popout
			
actions all output return to TRS_Conditional 2019-03-28 22.59