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


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


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

.c.babbbabbab
	rule c -> baa at position 0
.baa.babbbabbab
	rule abab -> cbc at position 2
.bacbc.bbabbab
	rule c -> baa at position 2
.babaabc.bbabbab
	rule a ->  at position 3
.bababc.bbabbab
	rule abab -> cbc at position 1
.bcbcc.bbabbab
	rule c -> baa at position 3
.bcbbaac.bbabbab
	rule c -> baa at position 6
.bcbbaabaa.bbabbab
	rule a ->  at position 7
.bcbbaaba.bbabbab
	rule abab -> cbc at position 5
.bcbbacbc.babbab
	rule c -> baa at position 5
.bcbbabaabc.babbab
	rule a ->  at position 6
.bcbbababc.babbab
	rule abab -> cbc at position 4
.bcbbcbcc.babbab
	rule c -> baa at position 6
.bcbbcbbaac.babbab
	rule c -> baa at position 9
.bcbbcbbaabaa.babbab
	rule abab -> cbc at position 11
.bcbbcbbaabacbc.bab
	rule c -> baa at position 11
.bcbbcbbaababaabc.bab
	rule abab -> cbc at position 8
.bcbbcbbacbcaabc.bab
	rule c -> baa at position 8
.bcbbcbbabaabcaabc.bab
	rule a ->  at position 9
.bcbbcbbababcaabc.bab
	rule abab -> cbc at position 7
.bcbbcbbcbccaabc.bab
	rule c -> baa at position 10
.bcbbcbbcbcbaaaabc.bab
	rule a ->  at position 11
.bcbbcbbcbcbaaabc.bab
	rule a ->  at position 11
.bcbbcbbcbcbaabc.bab
	rule a ->  at position 11
.bcbbcbbcbcbabc.bab
	rule c -> baa at position 13
.bcbbcbbcbcbabbaa.bab
	rule abab -> cbc at position 15
.bcbbcbbcbcbabbacbc.
	rule c -> baa at position 15
.bcbbcbbcbcbabbabaabc.
	rule a ->  at position 16
.bcbbcbbcbcbabbababc.
	rule abab -> cbc at position 14
.bcbbcbbcbcbabbcbcc.
	rule c -> baa at position 14
.bcbbcbbcbcbabbbaabcc.
	rule a ->  at position 15
.bcbbcbbcbcbabbbabcc.
	rule c -> baa at position 17
.bcbbcbbcbcbabbbabbaac.
	rule a ->  at position 18
.bcbbcbbcbcbabbbabbac.
	rule c -> baa at position 19
.bcbbcbbcbcbabbbabbabaa.