Java_Bytecode 2019-04-01 06.50 pair #433315533

loading
details
property value
status complete
benchmark Distances.jar
ran by Akihisa Yamada
cpu timeout 1200 seconds
wallclock timeout 300 seconds
memory limit 137438953472 bytes
execution host n153.star.cs.uiowa.edu
space Julia_11_iterative
run statistics
property value
solver AProVE
configuration standard
runtime (wallclock) 164.302 seconds
cpu usage 201.902
user time 191.382
system time 10.5191
max virtual memory 1.25545096E8
max residence set size 5243460.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 Java_Bytecode 2019-04-01 06.50