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


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


NO
Loop of length 2 starting with a string of length 4 using right expansion
and the encoding {0=a, 1=c, h=m, q0=b, q1=d, q2=e, q3=f, q4=g, q5=h, q6=i, q7=j, q8=k, q9=l}:

.aba.m
	rule aba -> aab at position 0
.aab.m
	rule bm -> bam at position 2
.aabam.