| 2224 | 명제 증명 | |
| 3682 | 동치 증명 | 다국어 |
| 4265 | Tautology | 다국어 |
| 9170 | Single Digit Adder | 다국어 |
| 4817 | 괄호 | 다국어 |
| 6582 | Artificial Intelligence? | 다국어 |
| 11159 | Neurotic Network | 다국어 |
| 7622 | The (Bayesian) Hound and the Hare | 다국어 |
| 11264 | Logical Functions: AND-OR | 다국어 |
| 10658 | Learning by Example | 다국어 |
| 7778 | Intelligent Design | 스페셜 저지 다국어 |
| 1013 | Contact | |
| 15910 | 바나나나빠나나 | |
| 3593 | DFA | 다국어 |
| 3993 | Disjoint Regular Expressions | 스페셜 저지 다국어 |
| 10356 | Grammar | 다국어 |
| 10499 | Out of context | 다국어 |
| 9167 | 도발 봇 | 다국어 |
| 6670 | C Looooops | 다국어 |
| 11516 | Interpreter | 다국어 |
| 7607 | 리스트 계산기 | 다국어 |
| 2733 | Brainf*ck | 다국어 |
