Certification Problem

Input (TPDB SRS_Standard/Zantema_04/z060)

The rewrite relation of the following TRS is considered.

Property / Task

Answer / Result

Proof (by ttt2 @ termCOMP 2023)

1 Bounds

• final states:

  {3}

• transitions:

  33	→	17
  15	→	20
  15	→	26
  3	→	12
  21	→	13
  19	→	3
  19	→	15
  a1(20)	→	21
  a1(12)	→	13
  a1(18)	→	19
  b1(17)	→	18
  b1(15)	→	16
  b1(16)	→	17
  b1(14)	→	15
  b1(13)	→	14
  a0(3)	→	3
  b2(28)	→	29
  b2(29)	→	30
  b2(31)	→	32
  b2(27)	→	28
  b2(30)	→	31
  b0(3)	→	3
  a2(26)	→	27
  a2(32)	→	33