tlatpdbs12가 해결한 문제

#	제목	푼 사람 수	평균 시도
3003	킹, 퀸, 룩, 비숍, 나이트, 폰 STANDARD	63,154	1.70
2941	크로아티아 알파벳	69,582	2.25
2908	상수	89,932	1.45
2903	중앙 이동 알고리즘	18,433	1.40
2884	알람 시계	154,733	2.65
2869	달팽이는 올라가고 싶다	66,027	3.19
2753	윤년 STANDARD	169,362	1.93
2745	진법 변환 STANDARD	24,542	2.05
2743	단어 길이 재기 STANDARD	59,439	1.25
2739	구구단 STANDARD	184,371	1.97
2738	행렬 덧셈	41,351	1.88
2720	세탁소 사장 동혁	23,911	1.42
2675	문자열 반복	101,243	2.00
2588	곱셈 STANDARD	158,668	2.14
2566	최댓값	33,549	2.43
2563	색종이	38,160	1.54
2562	최댓값	126,779	2.20
2557	Hello World STANDARD	335,113	2.54
2525	오븐 시계 STANDARD	97,722	2.62
2480	주사위 세개	95,811	2.14
2475	검증수 STANDARD	48,546	1.33
2444	별 찍기 - 7	48,908	1.74
2439	별 찍기 - 2 STANDARD	158,575	1.79
2438	별 찍기 - 1 STANDARD	173,501	1.61
2292	벌집 STANDARD	71,395	2.23
1978	소수 찾기 STANDARD	81,120	2.12
1546	평균	118,631	2.00
1330	두 수 비교하기 STANDARD	187,252	2.01
1316	그룹 단어 체커	72,401	1.87
1193	분수찾기	55,676	1.93
1157	단어 공부	94,557	2.51
1152	단어의 개수 STANDARD	105,568	3.02
1085	직사각형에서 탈출	58,268	1.54
1076	저항	13,360	2.13
1008	A/B STANDARD	212,735	2.90
1001	A-B STANDARD	259,309	1.44
1000	A+B STANDARD	302,545	2.57

12