MAYBE

Problem:
 a(b(x1)) -> b(c(a(x1)))
 b(c(x1)) -> c(b(b(x1)))
 b(a(x1)) -> a(c(b(x1)))

Proof:
 Complexity Transformation Processor:
  strict:
   a(b(x1)) -> b(c(a(x1)))
   b(c(x1)) -> c(b(b(x1)))
   b(a(x1)) -> a(c(b(x1)))
  weak:
   
  Bounds Processor:
   bound: 2
   enrichment: match
   automaton:
    final states: {4}
    transitions:
     b1(206) -> 207*
     b1(86) -> 87*
     b1(11) -> 12*
     b1(340) -> 341*
     c1(10) -> 11*
     c1(112) -> 113*
     a1(37) -> 38*
     a1(9) -> 10*
     a1(113) -> 114*
     a2(434) -> 435*
     a2(224) -> 225*
     a2(460) -> 461*
     a2(198) -> 199*
     a2(43) -> 44*
     a2(544) -> 545*
     a0(4) -> 4*
     c2(666) -> 667*
     c2(459) -> 460*
     c2(197) -> 198*
     c2(1374) -> 1375*
     c2(1132) -> 1133*
     c2(92) -> 93*
     c2(658) -> 659*
     c2(1042) -> 1043*
     c2(992) -> 993*
     c2(1346) -> 1347*
     c2(543) -> 544*
     c2(44) -> 45*
     c2(842) -> 843*
     c2(433) -> 434*
     c2(540) -> 541*
     c2(1328) -> 1329*
     c2(520) -> 521*
     c2(223) -> 224*
     c2(976) -> 977*
     c2(886) -> 887*
     c2(73) -> 74*
     c2(846) -> 847*
     c2(1240) -> 1241*
     c2(1038) -> 1039*
     c2(998) -> 999*
     c2(1160) -> 1161*
     c2(125) -> 126*
     c2(1282) -> 1283*
     c2(282) -> 283*
     b0(4) -> 4*
     b2(656) -> 657*
     b2(45) -> 46*
     b2(1040) -> 1041*
     b2(222) -> 223*
     b2(1020) -> 1021*
     b2(990) -> 991*
     b2(975) -> 976*
     b2(1344) -> 1345*
     b2(344) -> 345*
     b2(516) -> 517*
     b2(885) -> 886*
     b2(1072) -> 1073*
     b2(72) -> 73*
     b2(254) -> 255*
     b2(845) -> 846*
     b2(840) -> 841*
     b2(1239) -> 1240*
     b2(1037) -> 1038*
     b2(997) -> 998*
     b2(1396) -> 1397*
     b2(1159) -> 1160*
     b2(538) -> 539*
     b2(1326) -> 1327*
     b2(124) -> 125*
     b2(518) -> 519*
     b2(892) -> 893*
     b2(1281) -> 1282*
     b2(281) -> 282*
     b2(665) -> 666*
     b2(458) -> 459*
     b2(256) -> 257*
     b2(196) -> 197*
     b2(974) -> 975*
     b2(1373) -> 1374*
     b2(752) -> 753*
     b2(141) -> 142*
     b2(1131) -> 1132*
     b2(91) -> 92*
     b2(884) -> 885*
     b2(71) -> 72*
     b2(657) -> 658*
     b2(844) -> 845*
     b2(1041) -> 1042*
     b2(1238) -> 1239*
     b2(1036) -> 1037*
     b2(1198) -> 1199*
     b2(996) -> 997*
     b2(991) -> 992*
     b2(582) -> 583*
     b2(1158) -> 1159*
     b2(1345) -> 1346*
     b2(542) -> 543*
     b2(123) -> 124*
     b2(1280) -> 1281*
     b2(280) -> 281*
     b2(664) -> 665*
     b2(841) -> 842*
     b2(432) -> 433*
     b2(1372) -> 1373*
     b2(539) -> 540*
     b2(1130) -> 1131*
     b2(1327) -> 1328*
     b2(519) -> 520*
     b2(90) -> 91*
     c0(4) -> 4*
     4 -> 86,9
     9 -> 256*
     10 -> 71*
     11 -> 43,37
     12 -> 10,4
     1021 -> 885*
     37 -> 254*
     1038 -> 1158*
     38 -> 10*
     1039 -> 991*
     1042 -> 1130*
     1043 -> 846*
     43 -> 196*
     44 -> 90*
     46 -> 10*
     1073 -> 72*
     73 -> 141*
     74 ->
     1374,1346,1328,1282,1240,1160,1038,1073,976,998,997,886,842,893,
     517,540,341,520,345,539,282,125,281,142,73,257,197,255,87,12
     87 -> 112,72
     92 -> 123*
     93 -> 46*
     112 -> 280*
     113 -> 222,206
     114 -> 87,4
     125 -> 344,340
     126 ->
     1397,1373,1345,1327,1281,1239,1159,1073,1037,998,997,975,886,893,
     841,517,540,341,345,539,519,282,125,281,142,73,257,87,4,72
     1132 -> 1198*
     1133 -> 1021*
     142 -> 124*
     1160 -> 1238*
     1161 -> 992*
     197 -> 518*
     198 -> 432*
     1199 -> 72*
     199 -> 91*
     207 -> 112*
     223 -> 538*
     224 -> 458*
     225 -> 281,73,257,87
     1240 -> 1280*
     1241 -> 1041*
     255 -> 223*
     257 -> 223*
     1282 -> 1326*
     282 -> 516*
     1283 -> 1042*
     283 -> 207,223
     1328 -> 1344*
     1329 -> 1131*
     341 -> 72*
     345 -> 72*
     1346 -> 1372*
     1347 -> 1132*
     1374 -> 1396*
     1375 -> 1199*
     1397 -> 72*
     433 -> 664*
     434 -> 542*
     435 -> 92*
     459 -> 656*
     460 -> 582*
     461 -> 1073,998,997,886,893,345,540,341,517,125,282,539,142,281,73
     517 -> 72*
     520 -> 840*
     521 -> 433*
     540 -> 892*
     541 -> 459*
     543 -> 844*
     544 -> 752*
     545 -> 124*
     583 -> 459*
     658 -> 884*
     659 -> 583*
     666 -> 990*
     667 -> 543*
     753 -> 459*
     842 -> 974*
     843 -> 665*
     846 -> 1020*
     847 -> 753*
     886 -> 996*
     887 -> 657*
     893 -> 885*
     976 -> 1036*
     977 -> 666*
     992 -> 1040*
     993 -> 845*
     998 -> 1072*
     999 -> 658*
   problem:
    strict:
     b(c(x1)) -> c(b(b(x1)))
     b(a(x1)) -> a(c(b(x1)))
    weak:
     a(b(x1)) -> b(c(a(x1)))
   Open