C 2019-03-28 11.48 pair #432171315

loading
details
property value
status complete
benchmark NestedRecursion_1b_true-termination.c
ran by Akihisa Yamada
cpu timeout 1200 seconds
wallclock timeout 300 seconds
memory limit 137438953472 bytes
execution host n049.star.cs.uiowa.edu
space Ton_Chanh_15
run statistics
property value
solver UltimateAutomizer2019
configuration default
runtime (wallclock) 10.3287 seconds
cpu usage 22.5677
user time 21.1095
system time 1.45817
max virtual memory 6.0715376E7
max residence set size 591636.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 C 2019-03-28 11.48