details

property	value
status	complete
benchmark	bbcaaaaaa-aaaaaabbcbbca.srs.xml
ran by	Akihisa Yamada
cpu timeout	1200 seconds
wallclock timeout	300 seconds
memory limit	137438953472 bytes
execution host	n114.star.cs.uiowa.edu
space	Wenzel_16

run statistics

property	value
solver	MultumNonMulta3.12_29June2018A
configuration	default
runtime (wallclock)	1.33138203621 seconds
cpu usage	3.374084266
max memory	1.181761536E9

stage attributes

key	value
output-size	14489
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 64 starting with a string of length 39 using right expansion and the encoding {a=c, b=a, c=b}: .aabcccccc.cccccccccccccccccccccccccccccc rule aabcccccc -> ccccccaabaabc at position 0 .ccccccaabaabc.cccccccccccccccccccccccccccccc rule aabcccccc -> ccccccaabaabc at position 9 .ccccccaabccccccaabaabc.ccccccccccccccccccccccccc rule aabcccccc -> ccccccaabaabc at position 18 .ccccccaabccccccaabccccccaabaabc.cccccccccccccccccccc rule aabcccccc -> ccccccaabaabc at position 15 .ccccccaabccccccccccccaabaabcaabaabc.cccccccccccccccccccc rule aabcccccc -> ccccccaabaabc at position 31 .ccccccaabccccccccccccaabaabcaabccccccaabaabc.ccccccccccccccc rule aabcccccc -> ccccccaabaabc at position 28 .ccccccaabccccccccccccaabaabcccccccaabaabcaabaabc.ccccccccccccccc rule aabcccccc -> ccccccaabaabc at position 24 .ccccccaabccccccccccccaabccccccaabaabccaabaabcaabaabc.ccccccccccccccc rule aabcccccc -> ccccccaabaabc at position 21 .ccccccaabccccccccccccccccccaabaabcaabaabccaabaabcaabaabc.ccccccccccccccc rule aabcccccc -> ccccccaabaabc at position 52 .ccccccaabccccccccccccccccccaabaabcaabaabccaabaabcaabccccccaabaabc.cccccccccc rule aabcccccc -> ccccccaabaabc at position 49 .ccccccaabccccccccccccccccccaabaabcaabaabccaabaabcccccccaabaabcaabaabc.cccccccccc rule aabcccccc -> ccccccaabaabc at position 45 .ccccccaabccccccccccccccccccaabaabcaabaabccaabccccccaabaabccaabaabcaabaabc.cccccccccc rule aabcccccc -> ccccccaabaabc at position 42 .ccccccaabccccccccccccccccccaabaabcaabaabccccccccaabaabcaabaabccaabaabcaabaabc.cccccccccc rule aabcccccc -> ccccccaabaabc at position 37 .ccccccaabccccccccccccccccccaabaabcaabccccccaabaabcccaabaabcaabaabccaabaabcaabaabc.cccccccccc rule aabcccccc -> ccccccaabaabc at position 34 .ccccccaabccccccccccccccccccaabaabcccccccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabc.cccccccccc rule aabcccccc -> ccccccaabaabc at position 30 .ccccccaabccccccccccccccccccaabccccccaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabc.cccccccccc rule aabcccccc -> ccccccaabaabc at position 27 .ccccccaabccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabc.cccccccccc rule aabcccccc -> ccccccaabaabc at position 89 .ccccccaabccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabccccccaabaabc.ccccc rule aabcccccc -> ccccccaabaabc at position 86 .ccccccaabccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcccccccaabaabcaabaabc.ccccc rule aabcccccc -> ccccccaabaabc at position 82 .ccccccaabccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabccccccaabaabccaabaabcaabaabc.ccccc rule aabcccccc -> ccccccaabaabc at position 79 .ccccccaabccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccccccccaabaabcaabaabccaabaabcaabaabc.ccccc rule aabcccccc -> ccccccaabaabc at position 74 .ccccccaabccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabccccccaabaabcccaabaabcaabaabccaabaabcaabaabc.ccccc rule aabcccccc -> ccccccaabaabc at position 71 .ccccccaabccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcccccccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabc.ccccc rule aabcccccc -> ccccccaabaabc at position 67 .ccccccaabccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabccccccaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabc.ccccc rule aabcccccc -> ccccccaabaabc at position 64 .ccccccaabccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabc.ccccc rule aabcccccc -> ccccccaabaabc at position 58 .ccccccaabccccccccccccccccccccccccaabaabcaabaabccaabaabcaabccccccaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabc.ccccc rule aabcccccc -> ccccccaabaabc at position 55 .ccccccaabccccccccccccccccccccccccaabaabcaabaabccaabaabcccccccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabc.ccccc rule aabcccccc -> ccccccaabaabc at position 51 .ccccccaabccccccccccccccccccccccccaabaabcaabaabccaabccccccaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabc.ccccc rule aabcccccc -> ccccccaabaabc at position 48 .ccccccaabccccccccccccccccccccccccaabaabcaabaabccccccccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabc.ccccc rule aabcccccc -> ccccccaabaabc at position 43 .ccccccaabccccccccccccccccccccccccaabaabcaabccccccaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabc.ccccc rule aabcccccc -> ccccccaabaabc at position 40 .ccccccaabccccccccccccccccccccccccaabaabcccccccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabc.ccccc rule aabcccccc -> ccccccaabaabc at position 36 .ccccccaabccccccccccccccccccccccccaabccccccaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabc.ccccc rule aabcccccc -> ccccccaabaabc at position 33 .ccccccaabccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabc.ccccc rule aabcccccc -> ccccccaabaabc at position 158 .ccccccaabccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabccccccaabaabc. rule aabcccccc -> ccccccaabaabc at position 155 .ccccccaabccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcccccccaabaabcaabaabc. rule aabcccccc -> ccccccaabaabc at position 151 .ccccccaabccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabccccccaabaabccaabaabcaabaabc. rule aabcccccc -> ccccccaabaabc at position 148 .ccccccaabccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccccccccaabaabcaabaabccaabaabcaabaabc. rule aabcccccc -> ccccccaabaabc at position 143 .ccccccaabccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabccccccaabaabcccaabaabcaabaabccaabaabcaabaabc. rule aabcccccc -> ccccccaabaabc at position 140 .ccccccaabccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcccccccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabc. rule aabcccccc -> ccccccaabaabc at position 136 .ccccccaabccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabccccccaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabc. rule aabcccccc -> ccccccaabaabc at position 133 .ccccccaabccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabc. rule aabcccccc -> ccccccaabaabc at position 127 .ccccccaabccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabccccccaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabc. rule aabcccccc -> ccccccaabaabc at position 124 .ccccccaabccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcccccccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabc. rule aabcccccc -> ccccccaabaabc at position 120 .ccccccaabccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabccccccaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabc. rule aabcccccc -> ccccccaabaabc at position 117 .ccccccaabccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccccccccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabc. rule aabcccccc -> ccccccaabaabc at position 112 popout

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

job log

popout

actions

all output return to SRS Stand 10685