| 10356 | Grammar | 다국어 | 11 | 85 | 37.931% |
| 10374 | Combinator Expression | 다국어 | 3 | 3 | 100.000% |
| 10418 | Yet Satisfiability Again! | 다국어 | 19 | 81 | 36.538% |
| 10499 | Out of context | 다국어 | 3 | 25 | 18.750% |
| 10591 | Cactus Generator | 스페셜 저지다국어 | 12 | 50 | 28.571% |
| 10620 | Urdu orthography verification | 다국어 | 2 | 7 | 100.000% |
| 11114 | Paper | 다국어 | 5 | 28 | 100.000% |
| 11289 | Boolean Postfix | 다국어 | 75 | 195 | 63.025% |
| 11330 | Implication | 다국어 | 1 | 6 | 100.000% |
| 11411 | Equivalence | 다국어 | 2 | 18 | 100.000% |
| 11471 | Fygon | 스페셜 저지다국어 | 4 | 8 | 57.143% |
| 11516 | Interpreter | 다국어 | 33 | 376 | 12.268% |
| 12643 | Decision Tree (Small) | 스페셜 저지다국어 | 14 | 23 | 73.684% |
| 12644 | Decision Tree (Large) | 스페셜 저지다국어 | 15 | 33 | 68.182% |
| 12703 | Cheating a Boolean Tree (Small) | 다국어 | 55 | 84 | 74.324% |
| 12704 | Cheating a Boolean Tree (Large) | 다국어 | 66 | 82 | 84.615% |
| 13234 | George Boole | 다국어 | 598 | 842 | 77.361% |
| 13403 | Infallibly Crack Perplexing Cryptarithm | 다국어 | 34 | 120 | 40.000% |
| 13404 | Three Kingdoms of Bourdelot | 다국어 | 21 | 77 | 38.182% |
| 13450 | László Babai | 다국어 | 167 | 262 | 78.774% |
| 13451 | Stephen Cook | 다국어 | 4 | 14 | 57.143% |
| 13452 | Edsger Dijkstra | 다국어 | 9 | 44 | 24.324% |
| 13455 | Kurt Gödel | 다국어 | 6 | 21 | 46.154% |
| 13956 | Lost Logic | 스페셜 저지다국어 | 39 | 77 | 54.167% |
| 13996 | Hard Refactoring | 스페셜 저지다국어 | 56 | 163 | 38.356% |
| 14198 | Halting Machine | 다국어 | 0 | 8 | 0.000% |
| 14518 | Ili | 서브태스크다국어 | 22 | 57 | 57.895% |
| 14524 | COWBASIC | 다국어 | 21 | 44 | 53.846% |
| 14973 | Boolean Expression Compressor | 다국어 | 9 | 49 | 30.000% |
| 15116 | Unsatisfying | 다국어 | 19 | 82 | 35.185% |
| 15132 | Boolean Satisfiability | 다국어 | 58 | 100 | 65.909% |
| 15136 | Fygon 2.0 | 다국어 | 14 | 37 | 38.889% |
| 15172 | False Intelligence | 다국어 | 14 | 20 | 93.333% |
| 15278 | Decisions, Decisions | 다국어 | 20 | 31 | 71.429% |
| 16038 | Expression Mining | 다국어 | 2 | 9 | 22.222% |
| 16054 | Pants On Fire | 다국어 | 64 | 97 | 71.111% |
| 16133 | 공학용 계산기 (Calculator) | 서브태스크 | 83 | 670 | 18.242% |
| 16291 | Suffix-Freeness | 다국어채점 준비 중 | 0 | 0 | 0.000% |
| 16454 | Modificando SAT | 다국어 | 3 | 9 | 75.000% |
| 16667 | Harder Satisfiability | 다국어 | 19 | 52 | 40.426% |
| 16669 | JS Minification | 스페셜 저지다국어 | 9 | 43 | 52.941% |
| 17585 | Circuit Math | 다국어 | 87 | 136 | 74.359% |
| 17903 | Counting Clauses | 다국어 | 1342 | 1986 | 74.888% |
| 18166 | Evaluation | 서브태스크 | 14 | 150 | 12.844% |
| 18167 | Functional Analysis | | 5 | 52 | 19.231% |
| 18639 | Three Vectors | 스페셜 저지다국어 | 25 | 54 | 55.556% |
| 18765 | 정*수-를+[만들자!] | 서브태스크스페셜 저지다국어 | 98 | 679 | 24.500% |
| 19534 | 삼항 연산자 | | 53 | 300 | 33.333% |
| 19837 | Game of 2-SAT | 다국어인터랙티브 | 3 | 25 | 20.000% |
