details

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

run statistics

property	value
solver	MnM3.21.7
configuration	default
runtime (wallclock)	1.16488218307 seconds
cpu usage	3.70670675
max memory	6.33081856E8

stage attributes

key	value
output-size	983
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 1. Possible projection steps are implicit: oddNs Applying rule (instance) oddNs ⟶ incr(pairNs) at position [] results in incr(pairNs) Applying rule (instance) pairNs ⟶ cons(0,n__incr(n__oddNs)) at position [0] results in incr(cons(0,n__incr(n__oddNs))) Applying rule (instance) incr(cons(_X,_XS)) ⟶ cons(s(_X),n__incr(activate(_XS))) at position [] results in cons(s(0),n__incr(activate(n__incr(n__oddNs)))) Applying rule (instance) activate(n__incr(_X)) ⟶ incr(activate(_X)) at position [1, 0] results in cons(s(0),n__incr(incr(activate(n__oddNs)))) Applying rule (instance) activate(n__oddNs) ⟶ oddNs at position [1, 0, 0] results in cons(s(0),n__incr(incr(oddNs))) popout

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

job log

popout

actions

all output return to TRS Standard