24.80/6.30 NO 24.80/6.30 property Termination 24.80/6.30 has value False 24.80/6.30 for SRS ( [a] -> [], [a, b] -> [c, a, a], [c, c] -> [b, c, b, a]) 24.80/6.30 reason 24.80/6.30 remap for 3 rules 24.80/6.30 property Termination 24.80/6.30 has value False 24.80/6.30 for SRS ( [0] -> [], [0, 1] -> [2, 0, 0], [2, 2] -> [1, 2, 1, 0]) 24.80/6.30 reason 24.80/6.30 looping SRS derivation 24.80/6.30 Closure source : aaaaacc 24.80/6.30 target : bcbcabcbcaaaaaccaaa 24.80/6.30 steps : 36 24.80/6.30 strict : True 24.80/6.30 last_rule_app_source : 0 24.80/6.31 last_rule_app_target : 15 24.80/6.31 reason : Overlap (Inside 15) 24.80/6.31 Overlap (Inside 16) 24.80/6.31 Overlap (Inside 14) 24.80/6.31 Overlap (Inside 16) 24.80/6.31 Overlap (Inside 8) 24.80/6.31 Overlap (Inside 5) 24.80/6.31 Overlap (Inside 6) 24.80/6.31 Overlap (Inside 6) 24.80/6.31 Overlap (Inside 5) 24.80/6.31 Overlap (Inside 3) 24.80/6.31 Overlap (Inside 5) 24.80/6.31 Overlap (Inside 0) 24.80/6.32 Overlap (Inside 1) 24.80/6.32 Overlap (Inside 1) 24.80/6.32 Overlap (Left 1) 24.80/6.32 Overlap (Inside 4) 24.80/6.32 Overlap (Inside 4) 24.80/6.32 Overlap (Inside 4) 24.80/6.32 Overlap (Inside 3) 24.80/6.32 Overlap (Inside 0) 24.80/6.32 Overlap (Inside 1) 24.80/6.32 Overlap (Inside 1) 24.80/6.32 Overlap (Left 1) 24.80/6.32 Overlap (Inside 0) 24.80/6.32 Overlap (Inside 1) 24.80/6.32 Overlap (Inside 1) 24.80/6.32 Overlap (Left 1) 24.80/6.32 Overlap (Inside 0) 24.80/6.32 Overlap (Inside 1) 24.80/6.33 Overlap (Inside 1) 24.80/6.33 Overlap (Left 1) 24.80/6.33 Overlap (Inside 0) 24.80/6.33 Overlap (Inside 1) 24.80/6.33 Overlap (Inside 1) 24.80/6.33 Overlap (Left 1) 24.80/6.33 Rule 2 24.80/6.33 Rule 1 24.80/6.33 Rule 0 24.80/6.33 Rule 0 24.80/6.33 Rule 2 24.80/6.33 Rule 1 24.80/6.33 Rule 0 24.80/6.34 Rule 0 24.80/6.34 Rule 2 24.80/6.34 Rule 1 24.80/6.34 Rule 0 24.80/6.34 Rule 0 24.80/6.34 Rule 2 24.80/6.34 Rule 1 24.80/6.34 Rule 0 24.80/6.34 Rule 0 24.80/6.35 Rule 2 24.80/6.35 Rule 1 24.80/6.35 Rule 0 24.80/6.35 Rule 0 24.80/6.35 Rule 1 24.80/6.35 Rule 1 24.80/6.35 Rule 0 24.80/6.35 Rule 0 24.80/6.35 Rule 2 24.80/6.36 Rule 2 24.80/6.36 Rule 1 24.80/6.36 Rule 1 24.80/6.36 Rule 0 24.80/6.36 Rule 0 24.80/6.36 Rule 2 24.80/6.36 Rule 1 24.80/6.36 Rule 0 24.80/6.36 Rule 1 24.80/6.36 Rule 1 24.80/6.36 Rule 0 24.80/6.36 25.15/6.36 25.15/6.36 ************************************************** 25.15/6.36 summary 25.15/6.36 ************************************************** 25.15/6.36 SRS with 3 rules on 3 letters Remap { tracing = False} 25.15/6.36 SRS with 3 rules on 3 letters looping SRS derivation 25.15/6.37 Closure source : aaaaacc 25.15/6.37 target : bcbcabcbcaaaaaccaaa 25.15/6.37 steps : 36 25.15/6.37 strict : True 25.15/6.37 last_rule_app_source : 0 25.15/6.37 last_rule_app_target : 15 25.15/6.38 reason : Overlap (Inside 15) 25.15/6.38 Overlap (Inside 16) 25.15/6.38 Overlap (Inside 14) 25.15/6.38 Overlap (Inside 16) 25.25/6.39 Overlap (Inside 8) 25.25/6.39 Overlap (Inside 5) 25.25/6.40 Overlap (Inside 6) 25.25/6.40 Overlap (Inside 6) 25.25/6.40 Overlap (Inside 5) 25.25/6.40 Overlap (Inside 3) 25.25/6.40 Overlap (Inside 5) 25.25/6.40 Overlap (Inside 0) 25.25/6.41 Overlap (Inside 1) 25.25/6.41 Overlap (Inside 1) 25.25/6.41 Overlap (Left 1) 25.25/6.41 Overlap (Inside 4) 25.25/6.41 Overlap (Inside 4) 25.25/6.41 Overlap (Inside 4) 25.25/6.41 Overlap (Inside 3) 25.25/6.41 Overlap (Inside 0) 25.25/6.42 Overlap (Inside 1) 25.25/6.42 Overlap (Inside 1) 25.25/6.42 Overlap (Left 1) 25.25/6.42 Overlap (Inside 0) 25.25/6.42 Overlap (Inside 1) 25.25/6.42 Overlap (Inside 1) 25.25/6.42 Overlap (Left 1) 25.25/6.42 Overlap (Inside 0) 25.25/6.42 Overlap (Inside 1) 25.25/6.42 Overlap (Inside 1) 25.40/6.42 Overlap (Left 1) 25.40/6.43 Overlap (Inside 0) 25.40/6.43 Overlap (Inside 1) 25.40/6.43 Overlap (Inside 1) 25.40/6.43 Overlap (Left 1) 25.44/6.44 Rule 2 25.44/6.44 Rule 1 25.44/6.44 Rule 0 25.44/6.44 Rule 0 25.44/6.44 Rule 2 25.44/6.44 Rule 1 25.74/6.54 Rule 0 25.99/6.58 Rule 0 25.99/6.62 Rule 2 25.99/6.67 Rule 1 26.37/6.67 Rule 0 26.47/6.72 Rule 0 26.60/6.74 Rule 2 26.67/6.78 Rule 1 26.67/6.80 Rule 0 26.97/6.83 Rule 0 26.97/6.84 Rule 2 27.21/6.88 Rule 1 27.21/6.90 Rule 0 27.57/6.97 Rule 0 27.57/7.00 Rule 1 27.74/7.02 Rule 1 27.83/7.08 Rule 0 27.83/7.10 Rule 0 28.17/7.12 Rule 2 28.17/7.17 Rule 2 28.17/7.18 Rule 1 28.41/7.19 Rule 1 28.41/7.20 Rule 0 28.96/7.33 Rule 0 29.06/7.36 Rule 2 29.06/7.37 Rule 1 29.06/7.38 Rule 0 29.06/7.39 Rule 1 29.06/7.40 Rule 1 29.06/7.41 Rule 0 29.06/7.41 29.06/7.41 29.06/7.42 ************************************************** 29.59/7.49 (3, 3)\Loop[] 29.59/7.50 ************************************************** 31.07/7.91 let { done = Worker No_Strict_Rules;mo = Pre (Or_Else Count (IfSizeLeq 10000 GLPK Fail));wop = Or_Else (Worker (Weight { modus = mo})) Pass;weighted = \ m -> And_Then m wop;tiling = \ m w -> weighted (And_Then (Worker (Tiling { method = m,width = w})) (Worker Remap));when_small = \ m -> And_Then (Worker (SizeAtmost 100)) m;when_medium = \ m -> And_Then (Worker (SizeAtmost 10000)) m;solver = Minisatapi;qpi = \ dim bits -> weighted (when_small (Worker (QPI { tracing = True,dim = dim,bits = bits,solver = solver})));matrix = \ dom dim bits -> weighted (when_small (Worker (Matrix { monotone = Weak,domain = dom,dim = dim,bits = bits,tracing = False,solver = solver})));kbo = \ b -> weighted (when_small (Worker (KBO { bits = b,solver = solver})));mb = Worker (Matchbound { method = RFC,max_size = 100000});remove = First_Of ([ Worker (Weight { modus = mo})] <> ([ Seq [ qpi 2 4, qpi 3 4, qpi 4 4], Seq [ qpi 5 4, qpi 6 3, qpi 7 3]] <> ([ matrix Arctic 4 3, matrix Natural 4 3] <> [ kbo 1, And_Then (Worker Mirror) (kbo 1)])));remove_tile = Seq [ remove, tiling Overlap 3];dp = As_Transformer (Apply (And_Then (Worker (DP { tracing = False})) (Worker Remap)) (Apply wop (Branch (Worker (EDG { tracing = False})) remove_tile)));noh = [ Timeout 10 (Worker (Enumerate { closure = Forward})), Timeout 10 (Worker (Enumerate { closure = Backward}))];yeah = Tree_Search_Preemptive 0 done [ Worker (Weight { modus = mo}), mb, And_Then (Worker Mirror) mb, dp, And_Then (Worker Mirror) dp]} 31.07/7.91 in Apply (Worker Remap) (First_Of ([ yeah] <> noh)) 31.31/8.00 EOF