klee가 해결한 문제

#	제목	푼 사람 수	평균 시도
2163	초콜릿 자르기 STANDARD	26,554	1.40
2217	로프	24,377	2.30
2231	분해합	57,883	2.20
2252	줄 세우기	20,633	1.75
2292	벌집 STANDARD	70,723	2.23
2293	동전 1	23,740	2.11
2309	일곱 난쟁이	43,362	2.40
2438	별 찍기 - 1 STANDARD	171,899	1.61
2439	별 찍기 - 2 STANDARD	157,089	1.79
2440	별 찍기 - 3 STANDARD	60,584	1.46
2441	별 찍기 - 4	55,021	1.35
2442	별 찍기 - 5 STANDARD	36,896	1.81
2446	별 찍기 - 9 STANDARD	31,303	1.67
2447	별 찍기 - 10	31,568	1.80
2455	지능형 기차	19,568	1.32
2475	검증수 STANDARD	47,833	1.33
2490	윷놀이	22,083	1.76
2523	별 찍기 - 13	21,571	1.39
2557	Hello World STANDARD	332,006	2.54
2558	A+B - 2 STANDARD	71,263	1.38
2562	최댓값	125,290	2.20
2577	숫자의 개수	96,899	1.67
2579	계단 오르기 STANDARD	49,411	2.93
2580	스도쿠	19,028	3.70
2581	소수 STANDARD	50,947	2.54
2588	곱셈 STANDARD	156,879	2.14
2606	바이러스 STANDARD	56,210	2.18
2609	최대공약수와 최소공배수	54,055	1.73
2661	좋은수열	5,827	2.01
2667	단지번호붙이기	53,868	2.34
2675	문자열 반복	100,109	2.00
2739	구구단 STANDARD	182,686	1.97
2741	N 찍기 STANDARD	131,553	1.75
2742	기찍 N	115,166	1.45
2747	피보나치 수	30,082	2.02
2748	피보나치 수 2	36,263	2.43
2749	피보나치 수 3	9,024	2.52
2750	수 정렬하기 STANDARD	82,566	1.72
2751	수 정렬하기 2 STANDARD	69,245	3.20
2753	윤년 STANDARD	167,553	1.93
2775	부녀회장이 될테야	50,055	1.74
2798	블랙잭	70,003	2.05
2805	나무 자르기	37,525	3.81
2839	설탕 배달 STANDARD	94,938	2.67
2869	달팽이는 올라가고 싶다	65,372	3.19
2884	알람 시계	153,070	2.65
2902	KMP는 왜 KMP일까?	12,904	1.21
2908	상수	89,157	1.45
2920	음계	51,012	1.75
2941	크로아티아 알파벳	68,856	2.24

1234