details

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

run statistics

property	value
solver	MultumNonMulta3.12_29June2018A
configuration	default
runtime (wallclock)	13.7923221588 seconds
cpu usage	52.387182128
max memory	3.4628083712E10

stage attributes

key	value
output-size	46943
starexec-result	NO

output

/export/starexec/sandbox2/solver/bin/starexec_run_default /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- NO Loop of length 128 starting with a string of length 52 using right expansion and the encoding {a=c, b=a, c=b}: .abaccccccc.cccccccccccccccccccccccccccccccccccccccccc rule abaccccccc -> cccccccabaabac at position 0 .cccccccabaabac.cccccccccccccccccccccccccccccccccccccccccc rule abaccccccc -> cccccccabaabac at position 10 .cccccccabacccccccabaabac.cccccccccccccccccccccccccccccccccccc rule abaccccccc -> cccccccabaabac at position 20 .cccccccabacccccccabacccccccabaabac.cccccccccccccccccccccccccccccc rule abaccccccc -> cccccccabaabac at position 17 .cccccccabaccccccccccccccabaabacabaabac.cccccccccccccccccccccccccccccc rule abaccccccc -> cccccccabaabac at position 34 .cccccccabaccccccccccccccabaabacabacccccccabaabac.cccccccccccccccccccccccc rule abaccccccc -> cccccccabaabac at position 31 .cccccccabaccccccccccccccabaabaccccccccabaabacabaabac.cccccccccccccccccccccccc rule abaccccccc -> cccccccabaabac at position 27 .cccccccabaccccccccccccccabacccccccabaabaccabaabacabaabac.cccccccccccccccccccccccc rule abaccccccc -> cccccccabaabac at position 24 .cccccccabacccccccccccccccccccccabaabacabaabaccabaabacabaabac.cccccccccccccccccccccccc rule abaccccccc -> cccccccabaabac at position 56 .cccccccabacccccccccccccccccccccabaabacabaabaccabaabacabacccccccabaabac.cccccccccccccccccc rule abaccccccc -> cccccccabaabac at position 53 .cccccccabacccccccccccccccccccccabaabacabaabaccabaabaccccccccabaabacabaabac.cccccccccccccccccc rule abaccccccc -> cccccccabaabac at position 49 .cccccccabacccccccccccccccccccccabaabacabaabaccabacccccccabaabaccabaabacabaabac.cccccccccccccccccc rule abaccccccc -> cccccccabaabac at position 46 .cccccccabacccccccccccccccccccccabaabacabaabacccccccccabaabacabaabaccabaabacabaabac.cccccccccccccccccc rule abaccccccc -> cccccccabaabac at position 41 .cccccccabacccccccccccccccccccccabaabacabacccccccabaabacccabaabacabaabaccabaabacabaabac.cccccccccccccccccc rule abaccccccc -> cccccccabaabac at position 38 .cccccccabacccccccccccccccccccccabaabaccccccccabaabacabaabacccabaabacabaabaccabaabacabaabac.cccccccccccccccccc rule abaccccccc -> cccccccabaabac at position 34 .cccccccabacccccccccccccccccccccabacccccccabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.cccccccccccccccccc rule abaccccccc -> cccccccabaabac at position 31 .cccccccabaccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.cccccccccccccccccc rule abaccccccc -> cccccccabaabac at position 94 .cccccccabaccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabacccccccabaabac.cccccccccccc rule abaccccccc -> cccccccabaabac at position 91 .cccccccabaccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabaccccccccabaabacabaabac.cccccccccccc rule abaccccccc -> cccccccabaabac at position 87 .cccccccabaccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabacccccccabaabaccabaabacabaabac.cccccccccccc rule abaccccccc -> cccccccabaabac at position 84 .cccccccabaccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabacccccccccabaabacabaabaccabaabacabaabac.cccccccccccc rule abaccccccc -> cccccccabaabac at position 79 .cccccccabaccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabacccccccabaabacccabaabacabaabaccabaabacabaabac.cccccccccccc rule abaccccccc -> cccccccabaabac at position 76 .cccccccabaccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabaccccccccabaabacabaabacccabaabacabaabaccabaabacabaabac.cccccccccccc rule abaccccccc -> cccccccabaabac at position 72 .cccccccabaccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabacccccccabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.cccccccccccc rule abaccccccc -> cccccccabaabac at position 69 .cccccccabaccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabaccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.cccccccccccc rule abaccccccc -> cccccccabaabac at position 63 .cccccccabaccccccccccccccccccccccccccccabaabacabaabaccabaabacabacccccccabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.cccccccccccc rule abaccccccc -> cccccccabaabac at position 60 .cccccccabaccccccccccccccccccccccccccccabaabacabaabaccabaabaccccccccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.cccccccccccc rule abaccccccc -> cccccccabaabac at position 56 .cccccccabaccccccccccccccccccccccccccccabaabacabaabaccabacccccccabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.cccccccccccc rule abaccccccc -> cccccccabaabac at position 53 .cccccccabaccccccccccccccccccccccccccccabaabacabaabacccccccccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.cccccccccccc rule abaccccccc -> cccccccabaabac at position 48 .cccccccabaccccccccccccccccccccccccccccabaabacabacccccccabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.cccccccccccc rule abaccccccc -> cccccccabaabac at position 45 .cccccccabaccccccccccccccccccccccccccccabaabaccccccccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.cccccccccccc rule abaccccccc -> cccccccabaabac at position 41 .cccccccabaccccccccccccccccccccccccccccabacccccccabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.cccccccccccc rule abaccccccc -> cccccccabaabac at position 38 .cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.cccccccccccc rule abaccccccc -> cccccccabaabac at position 164 .cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabacccccccabaabac.cccccc rule abaccccccc -> cccccccabaabac at position 161 .cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabaccccccccabaabacabaabac.cccccc rule abaccccccc -> cccccccabaabac at position 157 .cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabacccccccabaabaccabaabacabaabac.cccccc rule abaccccccc -> cccccccabaabac at position 154 .cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabacccccccccabaabacabaabaccabaabacabaabac.cccccc rule abaccccccc -> cccccccabaabac at position 149 .cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabacccccccabaabacccabaabacabaabaccabaabacabaabac.cccccc rule abaccccccc -> cccccccabaabac at position 146 .cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabaccccccccabaabacabaabacccabaabacabaabaccabaabacabaabac.cccccc rule abaccccccc -> cccccccabaabac at position 142 .cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabacccccccabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.cccccc rule abaccccccc -> cccccccabaabac at position 139 .cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabaccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.cccccc rule abaccccccc -> cccccccabaabac at position 133 .cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabacccccccabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.cccccc rule abaccccccc -> cccccccabaabac at position 130 .cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabaccccccccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.cccccc rule abaccccccc -> cccccccabaabac at position 126 .cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabacccccccabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.cccccc rule abaccccccc -> cccccccabaabac at position 123 .cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabacccccccccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.cccccc rule abaccccccc -> cccccccabaabac at position 118 popout

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

job log

popout

actions

all output return to SRS Stand 10685