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


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


NO

After renaming modulo the bijection { b ↦ 0, a ↦ 1 },
it remains to prove termination of the 1-rule system
{ 0 1 0 1 0 1 1 ⟶ 1 1 1 1 1 0 1 0 1 0 1 0 1 }

The system was reversed.

After renaming modulo the bijection { 1 ↦ 0, 0 ↦ 1 },
it remains to prove termination of the 1-rule system
{ 0 0 1 0 1 0 1 ⟶ 0 1 0 1 0 1 0 1 0 0 0 0 0 }

Loop of length 32 starting with a string of length 25
using right expansion and the encoding { 0 ↦ a, 1 ↦ b, ... }:

.aababab.ababababababababab
	rule aababab-> ababababaaaaa at position 0
.ababababaaaaa.ababababababababab
	rule aababab-> ababababaaaaa at position 12
.ababababaaaaababababaaaaa.abababababab
	rule aababab-> ababababaaaaa at position 24
.ababababaaaaababababaaaaababababaaaaa.ababab
	rule aababab-> ababababaaaaa at position 23
.ababababaaaaababababaaaababababaaaaaabaaaaa.ababab
	rule aababab-> ababababaaaaa at position 22
.ababababaaaaababababaaababababaaaaaabaaaaaabaaaaa.ababab
	rule aababab-> ababababaaaaa at position 21
.ababababaaaaababababaababababaaaaaabaaaaaabaaaaaabaaaaa.ababab
	rule aababab-> ababababaaaaa at position 20
.ababababaaaaababababababababaaaaaabaaaaaabaaaaaabaaaaaabaaaaa.ababab
	rule aababab-> ababababaaaaa at position 60
.ababababaaaaababababababababaaaaaabaaaaaabaaaaaabaaaaaabaaaaababababaaaaa.
	rule aababab-> ababababaaaaa at position 59
.ababababaaaaababababababababaaaaaabaaaaaabaaaaaabaaaaaabaaaababababaaaaaabaaaaa.
	rule aababab-> ababababaaaaa at position 58
.ababababaaaaababababababababaaaaaabaaaaaabaaaaaabaaaaaabaaababababaaaaaabaaaaaabaaaaa.
	rule aababab-> ababababaaaaa at position 57
.ababababaaaaababababababababaaaaaabaaaaaabaaaaaabaaaaaabaababababaaaaaabaaaaaabaaaaaabaaaaa.
	rule aababab-> ababababaaaaa at position 56
.ababababaaaaababababababababaaaaaabaaaaaabaaaaaabaaaaaabababababaaaaaabaaaaaabaaaaaabaaaaaabaaaaa.
	rule aababab-> ababababaaaaa at position 53
.ababababaaaaababababababababaaaaaabaaaaaabaaaaaabaaaaababababaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaa.
	rule aababab-> ababababaaaaa at position 52
.ababababaaaaababababababababaaaaaabaaaaaabaaaaaabaaaababababaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaa.
	rule aababab-> ababababaaaaa at position 51
.ababababaaaaababababababababaaaaaabaaaaaabaaaaaabaaababababaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaa.
	rule aababab-> ababababaaaaa at position 50
.ababababaaaaababababababababaaaaaabaaaaaabaaaaaabaababababaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaa.
	rule aababab-> ababababaaaaa at position 49
.ababababaaaaababababababababaaaaaabaaaaaabaaaaaabababababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaa.
	rule aababab-> ababababaaaaa at position 46
.ababababaaaaababababababababaaaaaabaaaaaabaaaaababababaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaa.
	rule aababab-> ababababaaaaa at position 45
.ababababaaaaababababababababaaaaaabaaaaaabaaaababababaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaa.
	rule aababab-> ababababaaaaa at position 44
.ababababaaaaababababababababaaaaaabaaaaaabaaababababaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaa.
	rule aababab-> ababababaaaaa at position 43
.ababababaaaaababababababababaaaaaabaaaaaabaababababaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaa.
	rule aababab-> ababababaaaaa at position 42
.ababababaaaaababababababababaaaaaabaaaaaabababababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaa.
	rule aababab-> ababababaaaaa at position 39
.ababababaaaaababababababababaaaaaabaaaaababababaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaa.
	rule aababab-> ababababaaaaa at position 38
.ababababaaaaababababababababaaaaaabaaaababababaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaa.
	rule aababab-> ababababaaaaa at position 37
.ababababaaaaababababababababaaaaaabaaababababaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaa.
	rule aababab-> ababababaaaaa at position 36
.ababababaaaaababababababababaaaaaabaababababaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaa.
	rule aababab-> ababababaaaaa at position 35
.ababababaaaaababababababababaaaaaabababababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaa.
	rule aababab-> ababababaaaaa at position 32
.ababababaaaaababababababababaaaaababababaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaa.
	rule aababab-> ababababaaaaa at position 31
.ababababaaaaababababababababaaaababababaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaa.
	rule aababab-> ababababaaaaa at position 30
.ababababaaaaababababababababaaababababaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaa.
	rule aababab-> ababababaaaaa at position 29
.ababababaaaaababababababababaababababaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaa.
	rule aababab-> ababababaaaaa at position 28
.ababababaaaaababababababababababababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaa.