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


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


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

.aa.bcabccacc
	rule aa -> ab at position 0
.ab.bcabccacc
	rule bbc -> ccaaa at position 1
.accaaa.abccacc
	rule aa -> ab at position 5
.accaaab.bccacc
	rule aa -> ab at position 4
.accaabb.bccacc
	rule aa -> ab at position 3
.accabbb.bccacc
	rule bbc -> ccaaa at position 6
.accabbccaaa.cacc
	rule bbc -> ccaaa at position 4
.accaccaaacaaa.cacc
	rule aa -> ab at position 7
.accaccaabcaaa.cacc
	rule aa -> ab at position 6
.accaccabbcaaa.cacc
	rule bbc -> ccaaa at position 7
.accaccaccaaaaaa.cacc
	rule aa -> ab at position 13
.accaccaccaaaaab.cacc
	rule aa -> ab at position 12
.accaccaccaaaabb.cacc
	rule aa -> ab at position 11
.accaccaccaaabbb.cacc
	rule aa -> ab at position 10
.accaccaccaabbbb.cacc
	rule bbc -> ccaaa at position 13
.accaccaccaabbccaaa.acc
	rule bbc -> ccaaa at position 11
.accaccaccaaccaaacaaa.acc
	rule aa -> ab at position 14
.accaccaccaaccaabcaaa.acc
	rule aa -> ab at position 19
.accaccaccaaccaabcaaab.cc
	rule aa -> ab at position 18
.accaccaccaaccaabcaabb.cc
	rule aa -> ab at position 17
.accaccaccaaccaabcabbb.cc
	rule bbc -> ccaaa at position 19
.accaccaccaaccaabcabccaaa.c
	rule aa -> ab at position 22
.accaccaccaaccaabcabccaab.c
	rule aa -> ab at position 21
.accaccaccaaccaabcabccabb.c
	rule bbc -> ccaaa at position 22
.accaccaccaaccaabcabccaccaaa.