details

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

run statistics

property	value
solver	MultumNonMulta3.12_29June2018A
configuration	default
runtime (wallclock)	14.012305975 seconds
cpu usage	54.140830101
max memory	3.499026432E10

stage attributes

key	value
output-size	47847
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 128 starting with a string of length 59 using right expansion and the encoding {a=b, b=a, c=c}: .abcbbbbbbb.bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb rule abcbbbbbbb -> bbbbbbbbabcabc at position 0 .bbbbbbbbabcabc.bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb rule abcbbbbbbb -> bbbbbbbbabcabc at position 11 .bbbbbbbbabcbbbbbbbbabcabc.bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb rule abcbbbbbbb -> bbbbbbbbabcabc at position 22 .bbbbbbbbabcbbbbbbbbabcbbbbbbbbabcabc.bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb rule abcbbbbbbb -> bbbbbbbbabcabc at position 19 .bbbbbbbbabcbbbbbbbbbbbbbbbbabcabcbabcabc.bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb rule abcbbbbbbb -> bbbbbbbbabcabc at position 37 .bbbbbbbbabcbbbbbbbbbbbbbbbbabcabcbabcbbbbbbbbabcabc.bbbbbbbbbbbbbbbbbbbbbbbbbbbb rule abcbbbbbbb -> bbbbbbbbabcabc at position 34 .bbbbbbbbabcbbbbbbbbbbbbbbbbabcabcbbbbbbbbbabcabcbabcabc.bbbbbbbbbbbbbbbbbbbbbbbbbbbb rule abcbbbbbbb -> bbbbbbbbabcabc at position 30 .bbbbbbbbabcbbbbbbbbbbbbbbbbabcbbbbbbbbabcabcbbabcabcbabcabc.bbbbbbbbbbbbbbbbbbbbbbbbbbbb rule abcbbbbbbb -> bbbbbbbbabcabc at position 27 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbbbbbbbbbbbbbbbbbbbbbbb rule abcbbbbbbb -> bbbbbbbbabcabc at position 60 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcbbbbbbbbabcabc.bbbbbbbbbbbbbbbbbbbbb rule abcbbbbbbb -> bbbbbbbbabcabc at position 57 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbbbbbbbbbabcabcbabcabc.bbbbbbbbbbbbbbbbbbbbb rule abcbbbbbbb -> bbbbbbbbabcabc at position 53 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcbbbbbbbbabcabcbbabcabcbabcabc.bbbbbbbbbbbbbbbbbbbbb rule abcbbbbbbb -> bbbbbbbbabcabc at position 50 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbbbbbbbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbbbbbbbbbbbbbbbb rule abcbbbbbbb -> bbbbbbbbabcabc at position 45 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcbbbbbbbbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbbbbbbbbbbbbbbbb rule abcbbbbbbb -> bbbbbbbbabcabc at position 42 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbabcabcbbbbbbbbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbbbbbbbbbbbbbbbb rule abcbbbbbbb -> bbbbbbbbabcabc at position 38 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbabcbbbbbbbbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbbbbbbbbbbbbbbbb rule abcbbbbbbb -> bbbbbbbbabcabc at position 35 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbbbbbbbbbbbbbbbb rule abcbbbbbbb -> bbbbbbbbabcabc at position 99 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcbbbbbbbbabcabc.bbbbbbbbbbbbbb rule abcbbbbbbb -> bbbbbbbbabcabc at position 96 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbbbbbbbbbabcabcbabcabc.bbbbbbbbbbbbbb rule abcbbbbbbb -> bbbbbbbbabcabc at position 92 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcbbbbbbbbabcabcbbabcabcbabcabc.bbbbbbbbbbbbbb rule abcbbbbbbb -> bbbbbbbbabcabc at position 89 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbbbbbbbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbbbbbbbbb rule abcbbbbbbb -> bbbbbbbbabcabc at position 84 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcbbbbbbbbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbbbbbbbbb rule abcbbbbbbb -> bbbbbbbbabcabc at position 81 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbbbbbbbbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbbbbbbbbb rule abcbbbbbbb -> bbbbbbbbabcabc at position 77 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcbbbbbbbbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbbbbbbbbb rule abcbbbbbbb -> bbbbbbbbabcabc at position 74 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbbbbbbbbb rule abcbbbbbbb -> bbbbbbbbabcabc at position 68 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcbbbbbbbbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbbbbbbbbb rule abcbbbbbbb -> bbbbbbbbabcabc at position 65 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbbbbbbbbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbbbbbbbbb rule abcbbbbbbb -> bbbbbbbbabcabc at position 61 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcbbbbbbbbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbbbbbbbbb rule abcbbbbbbb -> bbbbbbbbabcabc at position 58 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbbbbbbbbb rule abcbbbbbbb -> bbbbbbbbabcabc at position 53 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcbbbbbbbbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbbbbbbbbb rule abcbbbbbbb -> bbbbbbbbabcabc at position 50 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbbbbbbbbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbbbbbbbbb rule abcbbbbbbb -> bbbbbbbbabcabc at position 46 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcbbbbbbbbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbbbbbbbbb rule abcbbbbbbb -> bbbbbbbbabcabc at position 43 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbbbbbbbbb rule abcbbbbbbb -> bbbbbbbbabcabc at position 170 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcbbbbbbbbabcabc.bbbbbbb rule abcbbbbbbb -> bbbbbbbbabcabc at position 167 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbbbbbbbbbabcabcbabcabc.bbbbbbb rule abcbbbbbbb -> bbbbbbbbabcabc at position 163 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcbbbbbbbbabcabcbbabcabcbabcabc.bbbbbbb rule abcbbbbbbb -> bbbbbbbbabcabc at position 160 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbbbbbbbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbb rule abcbbbbbbb -> bbbbbbbbabcabc at position 155 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcbbbbbbbbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbb rule abcbbbbbbb -> bbbbbbbbabcabc at position 152 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbbbbbbbbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbb rule abcbbbbbbb -> bbbbbbbbabcabc at position 148 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcbbbbbbbbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbb rule abcbbbbbbb -> bbbbbbbbabcabc at position 145 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbb rule abcbbbbbbb -> bbbbbbbbabcabc at position 139 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcbbbbbbbbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbb rule abcbbbbbbb -> bbbbbbbbabcabc at position 136 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbbbbbbbbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbb rule abcbbbbbbb -> bbbbbbbbabcabc at position 132 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcbbbbbbbbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbb rule abcbbbbbbb -> bbbbbbbbabcabc at position 129 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbb rule abcbbbbbbb -> bbbbbbbbabcabc at position 124 popout

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

job log

popout

actions

all output return to SRS Stand 10685