details

property	value
status	complete
benchmark	cime4.xml
ran by	Akihisa Yamada
cpu timeout	1200 seconds
wallclock timeout	300 seconds
memory limit	137438953472 bytes
execution host	n185.star.cs.uiowa.edu
space	Secret_05_TRS

run statistics

property	value
solver	ttt2-1.20
configuration	ttt2
runtime (wallclock)	79.4387 seconds
cpu usage	242.6
user time	240.582
system time	2.01792
max virtual memory	5349360.0
max residence set size	199356.0

stage attributes

key	value
starexec-result	MAYBE

output

MAYBE Problem: g(X) -> u(h(X),h(X),X) u(d(),c(Y),X) -> k(Y) h(d()) -> c(a()) h(d()) -> c(b()) f(k(a()),k(b()),X) -> f(X,X,X) Proof: Open popout

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

job log

popout

actions

all output return to TRS Standard