| 2224 | 명제 증명 | | 1029 | 4197 | 30.426% |
| 3682 | 동치 증명 | 다국어 | 351 | 1748 | 25.620% |
| 4265 | Tautology | 다국어 | 12 | 44 | 27.273% |
| 9170 | Single Digit Adder | 다국어 | 77 | 177 | 61.111% |
| 4817 | 괄호 | 다국어 | 41 | 163 | 37.273% |
| 6582 | Artificial Intelligence? | 다국어 | 38 | 63 | 69.091% |
| 11159 | Neurotic Network | 다국어 | 31 | 72 | 51.667% |
| 7622 | The (Bayesian) Hound and the Hare | 다국어 | 2 | 3 | 66.667% |
| 11264 | Logical Functions: AND-OR | 다국어 | 88 | 125 | 83.810% |
| 10658 | Learning by Example | 다국어 | 60 | 262 | 31.250% |
| 7778 | Intelligent Design | 스페셜 저지다국어 | 4 | 83 | 5.882% |
| 1013 | Contact | | 6719 | 22382 | 37.675% |
| 15910 | 바나나나빠나나 | | 100 | 191 | 66.225% |
| 3593 | DFA | 다국어 | 15 | 90 | 20.548% |
| 3993 | Disjoint Regular Expressions | 스페셜 저지다국어 | 14 | 74 | 24.561% |
| 10356 | Grammar | 다국어 | 11 | 85 | 37.931% |
| 10499 | Out of context | 다국어 | 3 | 25 | 18.750% |
| 9167 | 도발 봇 | 다국어 | 67 | 548 | 19.591% |
| 6670 | C Looooops | 다국어 | 34 | 172 | 30.357% |
| 11516 | Interpreter | 다국어 | 33 | 376 | 12.268% |
| 7607 | 리스트 계산기 | 다국어 | 18 | 89 | 29.508% |
| 2733 | Brainf*ck | 다국어 | 294 | 2026 | 21.491% |