- П. Дьячек @Perpure
- Д. Жук @ZhukDmitryOlegovich
- KBO (Knuth--Bendix ordering) А. Пичугин, Д. Исмагилова, Д. Обущарова, А. Виноградов @DbnStr
- SaZho Д.Жолтиков А.Савин @Klaus1901
- BELIO Ю.Беликова, Т.Ионов @beauty-soup
- А. Штейников, А. Мартынов @Snake5932
- @kpacnayPanda и компания (репозиторий удалён авторами :))
| участник | баллы | монстры | итог |
|---|---|---|---|
| Дьячек | 32 | 0 | 32 |
| Жук | 39 | 1 | 34 |
| KBO | 42/38 | 2/0 | 32/38 |
| BELIO | 34 | 2 | 24 |
| SaZho | 23 | 0 | 23 |
| Sht | 47 | 4 | 27 |
| @kpacnayPanda | 8 | 5 | -17 |
Группы @kpacnayPanda и @Snake5932 не прошли на срезы по чистоте решения.
| участник | KBO | Дьячек | BELIO | SaZho |
|---|---|---|---|---|
| KBO | 3 | 2 | 1 | 2 |
| Дьячек | 4 | 5 | 3 | 5 |
| BELIO | 2 | 2 | 3 | 1 |
| SaZho | 5 | 0 | 2 | 5 |
| Sht | 5 | 2 | 2 | 5 |
| Жук | 3 | 4 | 4 | 2 |
Так было до багфикса группы КВО:
Так стало после багфикса:
- П. Дьячек прошёл алфавитно и линейно убывающие тесты с большим количеством правил и их длиной.
- Д. Жук прошёл почти все тесты на незавершаемость путём построения ограниченной прогонки + унификации.
- Группа KBO прошла тесты, убывающие по порядку следования функциональных термов (рекурсивно убывающие), причём не обязательно убывающие по длине либо по алфавиту (например, факториал и унарное умножение).
- Группа BELIO также реализовала унификацию и проверку на линейное убывание.
Группы @kpacnayPanda и @Snake5932 не отражены в диаграмме, поскольку у них слишком большой процент ошибок, и накрытие не отражает работу алгоритмов.