2224 | 명제 증명 | | 517 | 2188 | 29.193% |
3682 | 동치 증명 | 다국어 | 255 | 1331 | 25.628% |
4265 | Tautology | 다국어 | 4 | 5 | 80.000% |
9170 | Single Digit Adder | 다국어 | 39 | 95 | 53.425% |
4817 | 괄호 | 다국어 | 16 | 59 | 45.714% |
6582 | Artificial Intelligence? | 다국어 | 15 | 24 | 83.333% |
11159 | Neurotic Network | 다국어 | 6 | 10 | 60.000% |
7622 | The (Bayesian) Hound and the Hare | 다국어 | 1 | 2 | 50.000% |
11264 | Logical Functions: AND-OR | 다국어 | 28 | 32 | 87.500% |
10658 | Learning by Example | 다국어 | 34 | 169 | 27.200% |
7778 | Intelligent Design | 스페셜 저지다국어 | 4 | 45 | 9.091% |
1013 | Contact | | 2952 | 10521 | 35.782% |
15910 | 바나나나빠나나 | | 55 | 99 | 66.265% |
3593 | DFA | 다국어 | 6 | 18 | 40.000% |
3993 | Disjoint Regular Expressions | 스페셜 저지다국어 | 6 | 41 | 20.000% |
10356 | Grammar | 다국어 | 8 | 59 | 19.048% |
10499 | Out of context | 다국어 | 3 | 25 | 18.750% |
9167 | 도발 봇 | 다국어 | 35 | 296 | 21.739% |
6670 | C Looooops | 다국어 | 5 | 20 | 45.455% |
11516 | Interpreter | 다국어 | 7 | 66 | 17.949% |
7607 | 리스트 계산기 | 다국어 | 5 | 29 | 18.519% |
2733 | Brainf*ck | 다국어 | 124 | 1013 | 17.740% |