Certification Problem

Input (TPDB SRS_Standard/ICFP_2010/40093)

The rewrite relation of the following TRS is considered.

Property / Task

Answer / Result

Proof (by ttt2 @ termCOMP 2023)

1 Bounds

• final states:

  {7}

• transitions:

  205	→	86
  205	→	74
  81	→	34
  81	→	40
  87	→	69
  80	→	88
  80	→	180
  181	→	161
  41	→	54
  57	→	29
  213	→	187
  185	→	167
  55	→	29
  107	→	40
  49	→	35
  40	→	48
  40	→	112
  135	→	69
  179	→	68
  178	→	186
  207	→	193
  172	→	184
  204	→	212
  106	→	136
  106	→	160
  100	→	134
  7	→	28
  113	→	63
  137	→	63
  46	→	56
  46	→	62
  198	→	206
  47	→	7
  47	→	34
  74	→	86
  41(29)	→	30
  41(35)	→	36
  41(43)	→	44
  52(88)	→	89
  52(134)	→	135
  52(62)	→	63
  52(102)	→	103
  52(86)	→	87
  52(76)	→	77
  52(68)	→	69
  52(112)	→	113
  52(136)	→	137
  52(94)	→	95
  22(79)	→	80
  22(71)	→	72
  22(65)	→	66
  22(97)	→	98
  22(105)	→	106
  22(91)	→	92
  12(74)	→	75
  12(101)	→	102
  12(75)	→	76
  12(72)	→	73
  12(92)	→	93
  12(80)	→	81
  12(66)	→	67
  12(100)	→	101
  12(106)	→	107
  12(98)	→	99
  43(187)	→	188
  43(201)	→	202
  43(175)	→	176
  43(193)	→	194
  43(161)	→	162
  43(167)	→	168
  01(39)	→	40
  01(33)	→	34
  40(7)	→	7
  53(206)	→	207
  53(166)	→	167
  53(184)	→	185
  53(160)	→	161
  53(200)	→	201
  53(180)	→	181
  53(192)	→	193
  53(212)	→	213
  53(174)	→	175
  53(186)	→	187
  33(188)	→	189
  33(176)	→	177
  33(162)	→	163
  33(168)	→	169
  33(194)	→	195
  33(202)	→	203
  50(7)	→	7
  02(67)	→	68
  02(73)	→	74
  02(99)	→	100
  02(93)	→	94
  23(195)	→	196
  23(163)	→	164
  23(177)	→	178
  23(189)	→	190
  23(203)	→	204
  23(169)	→	170
  30(7)	→	7
  11(46)	→	47
  11(41)	→	42
  11(40)	→	41
  11(32)	→	33
  11(38)	→	39
  21(31)	→	32
  21(45)	→	46
  21(37)	→	38
  10(7)	→	7
  20(7)	→	7
  51(34)	→	35
  51(48)	→	49
  51(56)	→	57
  51(54)	→	55
  51(28)	→	29
  51(42)	→	43
  13(196)	→	197
  13(170)	→	171
  13(173)	→	174
  13(199)	→	200
  13(198)	→	199
  13(172)	→	173
  13(190)	→	191
  13(204)	→	205
  13(164)	→	165
  13(178)	→	179
  31(36)	→	37
  31(44)	→	45
  31(30)	→	31
  42(63)	→	64
  42(89)	→	90
  42(77)	→	78
  42(103)	→	104
  42(69)	→	70
  42(95)	→	96
  03(165)	→	166
  03(197)	→	198
  03(191)	→	192
  03(171)	→	172
  00(7)	→	7
  32(70)	→	71
  32(64)	→	65
  32(78)	→	79
  32(104)	→	105
  32(90)	→	91
  32(96)	→	97