Solved by klee

#	Title	# Solved	Avg. Tries
10871	X보다 작은 수 STANDARD	157,887	1.84
10870	피보나치 수 5	63,577	1.64
10869	사칙연산 STANDARD	232,719	2.24
10866	덱	44,061	1.78
10844	쉬운 계단 수	38,882	3.22
10818	최소, 최대	147,402	2.25
10817	세 수	60,415	1.97
10816	숫자 카드 2	49,636	2.61
10815	숫자 카드	42,135	2.33
10814	나이순 정렬	59,060	2.27
10809	알파벳 찾기	113,078	1.87
10773	Zero That Out	62,142	1.46
10757	큰 수 A+B STANDARD	44,219	1.97
10718	We love kriii STANDARD	183,040	1.53
10451	Permutation Cycles	10,153	1.59
10430	나머지 STANDARD	200,091	1.95
10272	Bounty Hunter	370	2.24
10250	ACM Hotel	61,514	3.00
10212	Mystery STANDARD	1,446	14.26
10172	Dogs STANDARD	183,641	2.33
10171	Cats STANDARD	188,037	2.79
10039	평균 점수	44,533	1.59
9663	N-Queen	41,260	2.14
9498	시험 성적 STANDARD	209,496	1.82
9461	Padovan Sequence	43,882	2.30
9375	Incognito	23,106	1.79
9184	Function Run Fun	17,516	2.33
9020	Goldbach’s Conjecture	27,993	2.53
9012	Parenthesis	81,727	2.15
8958	Score	100,921	1.93
8393	Sum STANDARD	170,886	1.56
7287	Registration STANDARD	63,417	1.92
6064	Cain Calendar	16,108	3.67
5622	BAKA	78,627	1.71
5543	상근날드	28,441	1.47
4948	Chebyshev's Theorem	36,387	2.55
4673	Self Numbers	73,395	2.02
4344	Above Average	82,691	2.47
4307	Ants	2,481	2.00
4153	Egypt	50,433	2.00
3053	HERMAN	22,251	2.04
3052	MODULO	118,052	1.73
3009	CETVRTA	44,039	1.36
2941	LJESNJAK	76,881	2.24
2920	NOTE	56,633	1.74
2908	FILIP	98,544	1.46
2902	AUTORI	13,638	1.21
2884	SPAVANAC	170,215	2.64
2869	PUŽ	73,614	3.16
2839	ŠEĆER STANDARD	103,943	2.63

1234