Solved by walnut

#	Title	# Solved	Avg. Tries
1000	A+B STANDARD	325,840	2.59
1001	A-B STANDARD	280,110	1.45
1008	A/B STANDARD	231,492	2.90
1011	Fly me to the Alpha Centauri	24,768	3.12
1018	체스판 다시 칠하기	56,736	1.99
1043	거짓말	13,689	2.19
1065	한수	70,616	1.82
1076	저항	14,499	2.11
1085	직사각형에서 탈출	63,444	1.52
1110	더하기 사이클	104,364	2.11
1115	순열	263	1.91
1120	문자열	11,073	1.68
1126	같은 탑	1,958	3.58
1149	RGB거리 STANDARD	54,223	1.77
1152	단어의 개수 STANDARD	115,904	3.00
1157	단어 공부	102,432	2.50
1182	부분수열의 합	29,132	2.31
1189	Back to the Barn	4,469	1.81
1202	LOPOV	14,415	4.40
1205	등수 구하기	6,328	3.75
1251	단어 나누기	5,954	2.15
1260	DFS와 BFS STANDARD	74,831	2.61
1269	대칭 차집합	20,972	1.54
1302	베스트셀러	13,526	1.83
1311	할 일 정하기 1	1,973	2.45
1330	두 수 비교하기 STANDARD	204,653	2.01
1357	뒤집힌 덧셈	12,020	1.82
1368	Watering Hole	2,016	2.31
1417	국회의원 선거	7,229	2.20
1431	시리얼 번호	8,919	1.74
1461	도서관	5,198	1.97
1463	1로 만들기 STANDARD	76,107	3.00
1546	평균	130,101	1.99
1629	곱셈	30,449	3.62
1647	도시 분할 계획	12,168	2.05
1655	가운데를 말해요	16,349	3.26
1689	겹치는 선분	1,150	2.39
1697	Catch That Cow	52,524	3.80
1715	카드 정렬하기	21,685	2.85
1717	집합의 표현 STANDARD	22,933	3.50
1725	Largest Rectangle in a Histogram	8,096	2.53
1753	최단경로	36,859	3.83
1764	듣보잡	44,216	2.39
1766	문제집	13,127	2.02
1769	3의 배수	5,853	3.18
1780	종이의 개수	23,101	1.66
1851	추 정렬하기	269	1.71
1912	연속합	43,279	2.67
1916	최소비용 구하기	24,478	3.05
1922	네트워크 연결	16,755	1.53

123456