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	n145.star.cs.uiowa.edu
space	Secret_05_TRS

run statistics

property	value
solver	MnM3.21.7
configuration	default
runtime (wallclock)	6.08928203583 seconds
cpu usage	14.921406103
max memory	6.803267584E9

stage attributes

key	value
output-size	1118
starexec-result	"NO"

output

/export/starexec/sandbox/solver/bin/starexec_run_default /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- NO Loop of length 5 starting with a source of size 10. Possible projection steps are implicit: f(k(a),k(b),u(d,h(d),_x_11873)) Applying rule (instance) f(k(a),k(b),u(_x_11871,h(_x_11872),_x_11873)) ⟶ f(u(_x_11871,h(_x_11872),_x_11873),u(_x_11871,h(_x_11872),_x_11873),u(_x_11871,h(_x_11872),_x_11873)) at position [] results in f(u(d,h(d),_x_11873),u(d,h(d),_x_11873),u(d,h(d),_x_11873)) Applying rule (instance) h(d) ⟶ c(a) at position [0, 1] results in f(u(d,c(a),_x_11873),u(d,h(d),_x_11873),u(d,h(d),_x_11873)) Applying rule (instance) u(d,c(_Y),_X) ⟶ k(_Y) at position [0] results in f(k(a),u(d,h(d),_x_11873),u(d,h(d),_x_11873)) Applying rule (instance) h(d) ⟶ c(b) at position [1, 1] results in f(k(a),u(d,c(b),_x_11873),u(d,h(d),_x_11873)) Applying rule (instance) u(d,c(_Y),_X) ⟶ k(_Y) at position [1] results in f(k(a),k(b),u(d,h(d),_x_11873)) popout

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

job log

popout

actions

all output return to TRS Standard