details

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

run statistics

property	value
solver	MnM3.21.7
configuration	default
runtime (wallclock)	5.37287187576 seconds
cpu usage	14.968302287
max memory	6.783881216E9

stage attributes

key	value
output-size	882
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 7. Possible projection steps are implicit: f(0,1,g(1,0,0)) Applying rule (instance) f(0,1,g(1,0,_x_487)) ⟶ f(g(1,0,_x_487),g(1,0,_x_487),g(1,0,_x_487)) at position [] results in f(g(1,0,0),g(1,0,0),g(1,0,0)) Applying rule (instance) 1 ⟶ 2 at position [0, 0] results in f(g(2,0,0),g(1,0,0),g(1,0,0)) Applying rule (instance) 0 ⟶ 2 at position [0, 1] results in f(g(2,2,0),g(1,0,0),g(1,0,0)) Applying rule (instance) g(_x,_x,_y) ⟶ _y at position [0] results in f(0,g(1,0,0),g(1,0,0)) Applying rule (instance) g(_x,_y,_y) ⟶ _x at position [1] results in f(0,1,g(1,0,0)) popout

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

job log

popout

actions

all output return to TRS Standard