SRS Relat 19260 pair #381725760

loading
details
property value
status complete
benchmark 54097.xml
ran by Akihisa Yamada
cpu timeout 1200 seconds
wallclock timeout 300 seconds
memory limit 137438953472 bytes
execution host n096.star.cs.uiowa.edu
space ICFP_2010_relative
run statistics
property value
solver MultumNonMulta3.12_29June2018A
configuration default
runtime (wallclock) 35.2809810638 seconds
cpu usage 133.324325579
max memory 4.904704E10
stage attributes
key value
output-size 970380
starexec-result YES
loading output popout

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

loading job log

	
				popout
			
actions all output return to SRS Relat 19260