/export/starexec/sandbox2/solver/bin/starexec_run_default /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files


--------------------------------------------------------------------------------


NO
Loop of length 4 starting with a string of length 7 using right expansion
and the encoding {a=b, b=c, c=a}:

.abbcb.bb
	rule abbcb -> bbcbaabbc at position 0
.bbcbaabbc.bb
	rule abbcb -> bbcbaabbc at position 5
.bbcbabbcbaabbc.b
	rule abbcb -> bbcbaabbc at position 10
.bbcbabbcbabbcbaabbc.
	rule abbcb -> bbcbaabbc at position 9
.bbcbabbcbbbcbaabbcaabbc.