2224 | 명제 증명 | | 776 | 3339 | 29.151% |
3682 | 동치 증명 | 다국어 | 300 | 1552 | 25.231% |
4265 | Tautology | 다국어 | 6 | 13 | 75.000% |
9170 | Single Digit Adder | 다국어 | 48 | 109 | 55.814% |
4817 | 괄호 | 다국어 | 21 | 82 | 39.623% |
6582 | Artificial Intelligence? | 다국어 | 19 | 37 | 63.333% |
11159 | Neurotic Network | 다국어 | 15 | 34 | 44.118% |
7622 | The (Bayesian) Hound and the Hare | 다국어 | 1 | 2 | 50.000% |
11264 | Logical Functions: AND-OR | 다국어 | 48 | 66 | 87.273% |
10658 | Learning by Example | 다국어 | 47 | 208 | 29.747% |
7778 | Intelligent Design | 스페셜 저지다국어 | 3 | 44 | 6.977% |
1013 | Contact | | 4890 | 17000 | 36.806% |
15910 | 바나나나빠나나 | | 66 | 118 | 67.347% |
3593 | DFA | 다국어 | 10 | 53 | 25.641% |
3993 | Disjoint Regular Expressions | 스페셜 저지다국어 | 12 | 64 | 24.000% |
10356 | Grammar | 다국어 | 12 | 90 | 23.529% |
10499 | Out of context | 다국어 | 3 | 25 | 18.750% |
9167 | 도발 봇 | 다국어 | 56 | 495 | 18.855% |
6670 | C Looooops | 다국어 | 18 | 102 | 24.324% |
11516 | Interpreter | 다국어 | 14 | 161 | 14.286% |
7607 | 리스트 계산기 | 다국어 | 9 | 48 | 21.951% |
2733 | Brainf*ck | 다국어 | 210 | 1633 | 18.784% |