Higher_Order_Rewriting_Union_Beta 2019-03-28 22.10 pair #432270424

details

property	value
status	timeout (wallclock)
benchmark	h31.xml
ran by	Akihisa Yamada
cpu timeout	1200 seconds
wallclock timeout	300 seconds
memory limit	137438953472 bytes
space	Hamana_Kikuchi_18

run statistics

property	value
solver	SizeChangeTool_v2019
configuration	default
runtime (wallclock)	300.044 seconds
cpu usage	300.016
user time	299.428
system time	0.587442
max virtual memory	153868.0
max residence set size	30088.0

stage attributes

unavailable

output

300.00/300.04	MAYBE
300.00/300.04	SizeChangeTool has timed out on /export/starexec/sandbox/benchmark/theBenchmark.xml
300.00/300.04	EOF

popout

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

job log

popout

actions all output return to Higher_Order_Rewriting_Union_Beta 2019-03-28 22.10