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


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


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

.bb.aaaaa
	rule bb -> c at position 0
.c.aaaaa
	rule ca -> aabc at position 0
.aabc.aaaa
	rule ca -> aabc at position 3
.aabaabc.aaa
	rule a ->  at position 3
.aababc.aaa
	rule a ->  at position 3
.aabbc.aaa
	rule ca -> aabc at position 4
.aabbaabc.aa
	rule ca -> aabc at position 7
.aabbaabaabc.a
	rule a ->  at position 7
.aabbaababc.a
	rule a ->  at position 7
.aabbaabbc.a
	rule bb -> c at position 6
.aabbaacc.a
	rule ca -> aabc at position 7
.aabbaacaabc.
	rule ca -> aabc at position 6
.aabbaaaabcabc.
	rule ab ->  at position 7
.aabbaaacabc.
	rule ca -> aabc at position 7
.aabbaaaaabcbc.