| Algorithm | Order | Tr. | Y | F | TO |
|---|---|---|---|---|---|
| Thm. 26 | POLO-7.1+7.2 | old | 2 [1.2] | 0 | 1 |
| Thm. 26 | POLO-7.1+7.2 | older | 0 | 3 [19.9] | 0 |
| Example | Thm. 26, POLO-7.1+7.2, old | Thm. 26, POLO-7.1+7.2, older | ||
|---|---|---|---|---|
| JAR_INN/TRS/secret2005/teparla2.trs | YES | 1.22 | MAYBE | 1.22 |
| JAR_INN/TRS/secret2005/teparla3.trs | YES | 1.22 | MAYBE | 0.90 |
| JAR_INN/TRS/TRCSR/Ex3_3_25_Bor03_FR.trs | KILLED | 60.00 | MAYBE | 57.56 |