| 1287 | 할 수 있다 | | 176 | 5053 | 10.304% |
| 1710 | Flattening Tables | 다국어 | 8 | 120 | 9.302% |
| 1901 | 논리식 | 다국어 | 28 | 83 | 46.667% |
| 2224 | 명제 증명 | | 1029 | 4197 | 30.426% |
| 2733 | Brainf*ck | 다국어 | 294 | 2026 | 21.491% |
| 2769 | 논리식 비교 | 다국어 | 65 | 381 | 26.423% |
| 2894 | 명탐정 홍즈 | 스페셜 저지다국어 | 30 | 238 | 27.523% |
| 3203 | 프로그래밍 언어 Z | 다국어 | 63 | 735 | 16.667% |
| 3300 | 무어 기계 | 다국어 | 106 | 704 | 28.649% |
| 3409 | 문자 방정식 | 다국어 | 64 | 818 | 19.453% |
| 3440 | Gates of Logic | 다국어 | 30 | 325 | 23.622% |
| 3490 | Calculating Expressions on Turing Machine | 다국어채점 준비 중 | 0 | 0 | 0.000% |
| 3533 | Explicit Formula | 다국어 | 548 | 1074 | 61.024% |
| 3550 | Auxiliary Question of the Universe | 스페셜 저지다국어 | 28 | 73 | 56.000% |
| 3560 | Kripke Model | 다국어 | 1 | 3 | 50.000% |
| 3579 | Important Wires | 스페셜 저지다국어 | 17 | 33 | 60.714% |
| 3593 | DFA | 다국어 | 15 | 90 | 20.548% |
| 3599 | Formula | 스페셜 저지다국어 | 2 | 3 | 66.667% |
| 3604 | K’ak’-u-pakal and Mayan Script | 다국어 | 1 | 3 | 50.000% |
| 3636 | Horn Clauses | 스페셜 저지다국어 | 7 | 31 | 33.333% |
| 3672 | Common Subexpression Elimination | 다국어 | 4 | 16 | 66.667% |
| 3722 | Term Generator | 다국어 | 2 | 5 | 100.000% |
| 3732 | Proof Generator | 다국어 | 2 | 11 | 20.000% |
| 3796 | Binary Polynomials | 다국어 | 4 | 8 | 57.143% |
| 3993 | Disjoint Regular Expressions | 스페셜 저지다국어 | 14 | 74 | 24.561% |
| 4227 | Smeech | 다국어 | 29 | 99 | 39.189% |
| 4265 | Tautology | 다국어 | 12 | 44 | 27.273% |
| 4270 | WFF 'N PROOF | 스페셜 저지다국어 | 15 | 33 | 48.387% |
| 4341 | 연립 방정식 | 다국어 | 89 | 830 | 22.139% |
| 4387 | Language Cardinality | 다국어 | 11 | 89 | 25.581% |
| 4415 | Spaghetti | 다국어 | 0 | 2 | 0.000% |
| 4466 | A Smart Brain is a Tasty Brain | 다국어 | 65 | 239 | 44.828% |
| 4488 | Symbolic Logic Mechanization | 다국어 | 5 | 13 | 50.000% |
| 4687 | Wheeler Caravans | 다국어 | 12 | 27 | 70.588% |
| 4802 | 함수 오버로딩 | 다국어 | 4 | 24 | 23.529% |
| 4838 | When | 다국어 | 3 | 12 | 100.000% |
| 4882 | 정규형 | 다국어 | 121 | 351 | 40.066% |
| 4928 | The Earth is Flat! | 다국어 | 28 | 140 | 31.818% |
| 4970 | 디지털 회로 개론 | 다국어 | 101 | 287 | 46.759% |
| 5085 | Gooseberry Tart BASIC | 다국어 | 2 | 55 | 6.452% |
| 5112 | Functional Programming Counts | 다국어 | 4 | 334 | 1.434% |
| 6254 | Computerizing a Stockroom | 다국어채점 준비 중 | 4 | 17 | 25.000% |
| 6283 | Universal Question Answering System | 다국어 | 2 | 41 | 6.061% |
| 6311 | Single-Player Games | 다국어 | 1 | 3 | 33.333% |
| 6313 | Instant Complexity | 다국어 | 2 | 14 | 100.000% |
| 6319 | Island of Logic | 다국어 | 10 | 40 | 25.641% |
| 6341 | S-Trees | 다국어 | 19 | 24 | 90.476% |
| 6371 | Follow My Logic | 다국어 | 11 | 54 | 25.581% |
| 6400 | Calculator Language | 다국어 | 7 | 55 | 29.167% |
| 6402 | Strategy | 다국어 | 2 | 2 | 100.000% |
| 6446 | Peter's Calculator | 다국어 | 7 | 100 | 9.091% |
| 6486 | Cowculations | 다국어 | 12 | 35 | 44.444% |
| 6531 | 이런 문제는 유치원생도 해결할 수 있어 | 다국어 | 77 | 317 | 40.741% |
| 6535 | Boolean Logic | 다국어 | 12 | 39 | 54.545% |
| 6560 | Code the Tree | 다국어 | 23 | 103 | 37.097% |
| 6561 | Decode the Tree | 다국어 | 2 | 26 | 10.526% |
| 6702 | Lazy Evaluation | 다국어 | 0 | 1 | 0.000% |
| 6720 | Simplified λ-evaluations | 다국어 | 5 | 6 | 100.000% |
| 6899 | S and K | 다국어 | 7 | 33 | 46.667% |
| 7157 | 조건문 | 다국어 | 3 | 52 | 37.500% |
| 7324 | Parallel Expectations | 다국어 | 1 | 30 | 11.111% |
| 7335 | (Your)((Term)((Project))) | 다국어 | 26 | 80 | 76.471% |
| 7399 | Code Formatting | 다국어 | 18 | 43 | 50.000% |
| 7435 | Expression | 다국어 | 2 | 6 | 40.000% |
| 7460 | Beth Tableaux | 스페셜 저지다국어 | 1 | 5 | 50.000% |
| 7607 | 리스트 계산기 | 다국어 | 19 | 104 | 25.000% |
| 7778 | Intelligent Design | 스페셜 저지다국어 | 4 | 83 | 5.882% |
| 8171 | Algorithm Speedup | 다국어 | 2 | 58 | 4.000% |
| 8424 | Formuły | 다국어 | 0 | 1 | 0.000% |
| 9167 | 도발 봇 | 다국어 | 67 | 548 | 19.591% |
| 9392 | Conditional Statements | 다국어 | 3 | 8 | 42.857% |
| 9452 | J | 다국어 | 10 | 74 | 17.544% |
| 9804 | Intuitionistic Logic | 다국어 | 2 | 27 | 7.692% |
