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


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


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

.bc.ccccc
	rule bc -> ccab at position 0
.ccab.ccccc
	rule bc -> ccab at position 3
.ccaccab.cccc
	rule c ->  at position 3
.ccacab.cccc
	rule c ->  at position 3
.ccaab.cccc
	rule bc -> ccab at position 4
.ccaaccab.ccc
	rule c ->  at position 4
.ccaacab.ccc
	rule c ->  at position 4
.ccaaab.ccc
	rule aaa -> b at position 2
.ccbb.ccc
	rule bc -> ccab at position 3
.ccbccab.cc
	rule a ->  at position 5
.ccbccb.cc
	rule bc -> ccab at position 5
.ccbccccab.c
	rule a ->  at position 7
.ccbccccb.c
	rule bc -> ccab at position 7
.ccbccccccab.