jgex_ag_231
This is an accompanying benchmark with 231 problems to the more remarkable imo_ag_30 from the original AlphaGeometry paper. Unfortunately, we couldn’t track its origin, or if it was created specifically for the AlphaGeometry testing, nor the original statements of problems. This lack of information makes it harder to use this database to understand the engine’s behavior, but problems are usually shorter than IMO ones, allowing for a faster benchmarking over many problems. We do know some heavier definitions were clearly created to address specific problems from the jgex_ag_231 database, as they show up in the statement of a single problem and contain composed constructions (see Definitions).
The sum up of results is that the original DDAR running solo solved 198/231 problems, and with the addition of LLM suggestions its performance increased to 228/231 problems. Newclid, on its hand, solved 201/231 problems.
We present a list of the problems in the jgex_ag_231 database below, making explicit which ones are solvable with the original DDAR and which ones with Newclid.
# |
Problem Name |
Solved w/ original DDAR? |
Solved w/ Newclid? |
|---|---|---|---|
1 |
examples–complete2–012–complete_004_6_GDD_FULL_81-109_101.gex |
Yes |
Yes |
2 |
examples–complete2–012–complete_002_6_GDD_FULL_41-60_59.gex |
Yes |
Yes |
3 |
examples–complete2–012–complete_002_6_GDD_FULL_01-20_04.gex |
Yes |
Yes |
4 |
examples–complete2–012–complete_004_6_GDD_FULL_81-109_90.gex |
Yes |
Yes |
5 |
examples–complete2–012–complete_004_6_GDD_FULL_81-109_94.gex |
Yes |
Yes |
6 |
examples–complete2–012–complete_003_6_GDD_FULL_21-40_37.gex |
Yes |
Yes |
7 |
examples–complete2–012–complete_003_6_GDD_FULL_21-40_22.gex |
Yes |
Yes |
8 |
examples–complete2–012–complete_001_6_GDD_FULL_01-20_19.gex |
Yes |
Yes |
9 |
examples–complete2–012–complete_001_6_GDD_FULL_61-80_74.gex |
Yes |
Yes |
10 |
examples–complete2–013–complete_002_6_GDD_FULL_41-60_49.gex |
Yes |
Yes |
11 |
examples–complete2–013–complete_006_Other_ndgTest_70.gex |
Yes |
Yes |
12 |
examples–complete2–013–complete_001_6_GDD_FULL_01-20_16.gex |
Yes |
Yes |
13 |
examples–complete2–013–complete_001_6_GDD_FULL_61-80_67.gex |
Yes |
Yes |
14 |
examples–complete2–013–complete_000_2_PWW_A018.gex |
Yes |
Yes |
15 |
examples–complete2–013–complete_004_6_GDD_FULL_81-109_88.gex |
Yes |
Yes |
16 |
examples–complete2–013–complete_003_6_GDD_FULL_21-40_24.gex |
Yes |
Yes |
17 |
examples–complete2–013–complete_003_6_GDD_FULL_21-40_32.gex |
Yes |
Yes |
18 |
examples–complete2–013–complete_002_6_GDD_FULL_41-60_54.gex |
Yes |
Yes |
19 |
examples–complete2–013–complete_005_Other_ndg1_53.gex |
Yes |
Yes |
20 |
examples–complete2–013–complete_002_6_GDD_FULL_41-60_56.gex |
Yes |
Yes |
21 |
examples–complete2–013–complete_002_6_GDD_FULL_41-60_52.gex |
Yes |
Yes |
22 |
examples–complete2–014–complete_008_7_Book_LLL_L053-1.gex |
||
23 |
examples–complete2–014–complete_007_7_Book_LLL_L058-9.gex |
||
24 |
examples–complete2–007–complete_003_6_GDD_FULL_more_E015-6.gex |
Yes |
Yes |
25 |
examples–complete2–007–complete_003_6_GDD_FULL_more_E022-9.gex |
Yes |
Yes |
26 |
examples–complete2–007–complete_012_7_Book_00EE_02_E028-2.gex |
Yes |
Yes |
27 |
examples–complete2–007–complete_012_7_Book_00EE_05_E051-22.gex |
Yes |
Yes |
28 |
examples–complete2–007–complete_005_Other_other_E075-25-sss.gex |
Yes |
Yes |
29 |
examples–complete2–007–complete_001_6_GDD_FULL_01-20_01.gex |
Yes |
Yes |
30 |
examples–complete2–007–complete_000_2_PWW_B016x.gex |
Yes |
Yes |
31 |
examples–complete2–007–complete_001_6_GDD_FULL_61-80_66.gex |
Yes |
Yes |
32 |
examples–complete2–007–complete_016_7_Book_00EE_06_E051-30.gex |
Yes |
Yes |
33 |
examples–complete2–007–complete_016_7_Book_00EE_06_E051-24.gex |
Yes |
Yes |
34 |
examples–complete2–007–complete_013_7_Book_00EE_11_E077-37.gex |
Yes |
Yes |
35 |
examples–complete2–007–complete_013_7_Book_00EE_07_E059-54-1.gex |
Yes |
Yes |
36 |
examples–complete2–007–complete_008_ex-gao_ex160_e201f.gex |
Yes |
Yes |
37 |
examples–complete2–000–complete_016_ex-gao_gao_M_M020-52.gex |
Yes |
Yes |
38 |
examples–complete2–000–complete_010_Other_gao_L_L190-7.gex |
Yes |
Yes |
39 |
examples–complete2–000–complete_007_7_Book_LLL_L017-11.gex |
Yes |
Yes |
40 |
examples–complete2–000–complete_016_ex-gao_gao_M_M024-94.gex |
Yes |
Yes |
41 |
examples–complete2–000–complete_007_7_Book_LLL_L054-2-1.gex |
Yes |
Yes |
42 |
examples–complete2–000–complete_007_7_Book_LLL_L057-1-1.gex |
Yes |
Yes |
43 |
examples–complete2–000–complete_016_ex-gao_gao_M_M021-64.gex |
Yes |
Yes |
44 |
examples–complete2–000–complete_007_7_Book_LLL_L057-3-2.gex |
Yes |
Yes |
45 |
examples–complete2–000–complete_004_6_GDD_FULL_81-109_95.gex |
Yes |
Yes |
46 |
examples–complete2–000–complete_001_6_GDD_FULL_01-20_02.gex |
Yes |
Yes |
47 |
examples–complete2–000–complete_004_6_GDD_FULL_81-109_96.gex |
Yes |
Yes |
48 |
examples–complete2–000–complete_007_7_Book_LLL_L194-2.gex |
Yes |
Yes |
49 |
examples–complete2–000–complete_017_ex-gao_gao_L_L022-1.gex |
Yes |
Yes |
50 |
examples–complete2–000–complete_016_ex-gao_gao_M_M09-14.gex |
Yes |
Yes |
51 |
examples–complete2–009–complete_014_7_Book_00EE_09_E071-4.gex |
Yes |
Yes |
52 |
examples–complete2–009–complete_013_7_Book_00EE_10_E072-13.gex |
Yes |
Yes |
53 |
examples–complete2–009–complete_014_7_Book_00EE_09_E071-2.gex |
Yes |
Yes |
54 |
examples–complete2–009–complete_014_7_Book_00EE_09_E071-1.gex |
Yes |
Yes |
55 |
examples–complete2–009–complete_017_ex-gao_ex160_4_e10.gex |
Yes |
Yes |
56 |
examples–complete2–009–complete_003_6_GDD_FULL_more_E022-12.gex |
Yes |
Yes |
57 |
examples–complete2–009–complete_001_6_GDD_FULL_61-80_69.gex |
Yes |
Yes |
58 |
examples–complete2–009–complete_012_7_Book_00EE_05_E051-19.gex |
Yes |
Yes |
59 |
examples–complete2–009–complete_016_7_Book_00EE_06_E051-32.gex |
Yes |
Yes |
60 |
examples–complete2–009–complete_013_7_Book_00EE_10_E074-23.gex |
Yes |
Yes |
61 |
examples–complete2–009–complete_011_Other_Auxiliary_aux2_trapezoid.gex |
Yes |
Yes |
62 |
examples–complete2–009–complete_016_7_Book_00EE_06_E057-37.gex |
Yes |
Yes |
63 |
examples–complete2–008–complete_004_6_GDD_FULL_81-109_100.gex |
Yes |
Yes |
64 |
examples–complete2–008–complete_005_Other_ndgs_02.gex |
Yes |
Yes |
65 |
examples–complete2–008–complete_008_ex-gao_ex160_205.gex |
Yes |
Yes |
66 |
examples–complete2–008–complete_015_7_Book_00EE_08_E061-62.gex |
Yes |
Yes |
67 |
examples–complete2–008–complete_015_7_Book_00EE_06_E051-31.gex |
Yes |
Yes |
68 |
examples–complete2–008–complete_011_7_Book_00EE_03_E037-22.gex |
Yes |
Yes |
69 |
examples–complete2–008–complete_011_7_Book_00EE_03_E037-21.gex |
Yes |
Yes |
70 |
examples–complete2–008–complete_011_7_Book_00EE_04_E051-5.gex |
Yes |
Yes |
71 |
examples–complete2–008–complete_003_6_GDD_FULL_more_E009-1.gex |
Yes |
Yes |
72 |
examples–complete2–008–complete_011_7_Book_00EE_03_E039-28.gex |
Yes |
Yes |
73 |
examples–complete2–008–complete_011_7_Book_00EE_03_E040-28-1.gex |
Yes |
Yes |
74 |
examples–complete2–008–complete_018_ex-gao_ex160_4_004.gex |
Yes |
Yes |
75 |
examples–complete2–008–complete_014_7_Book_00EE_07_E059-50.gex |
Yes |
Yes |
76 |
examples–complete2–008–complete_013_7_Book_00EE_07_E057-44.gex |
Yes |
Yes |
77 |
examples–complete2–001–complete_006_7_Book_LLL_L046-16.gex |
Yes |
Yes |
78 |
examples–complete2–001–complete_016_ex-gao_gao_M_M010-32.gex |
Yes |
Yes |
79 |
examples–complete2–001–complete_016_ex-gao_gao_M_M010-26.gex |
Yes |
Yes |
80 |
examples–complete2–001–complete_016_ex-gao_gao_C_C101.gex |
Yes |
Yes |
81 |
examples–complete2–001–complete_016_ex-gao_gao_C_C100.gex |
Yes |
Yes |
82 |
examples–complete2–001–complete_016_ex-gao_gao_L_L182-6.gex |
Yes |
Yes |
83 |
examples–complete2–001–complete_016_ex-gao_gao_C_C111.gex |
Yes |
Yes |
84 |
examples–complete2–001–complete_016_ex-gao_gao_L_L025-5.gex |
Yes |
Yes |
85 |
examples–complete2–001–complete_017_ex-gao_gao_L_L189-2.gex |
Yes |
Yes |
86 |
examples–complete2–001–complete_016_ex-gao_gao_L_L182-5.gex |
Yes |
Yes |
87 |
examples–complete2–001–complete_017_ex-gao_gao_L_L189-1.gex |
Yes |
Yes |
88 |
examples–complete2–001–complete_016_ex-gao_gao_C_C109.gex |
Yes |
Yes |
89 |
examples–complete2–001–complete_016_ex-gao_gao_L_LL153-1.gex |
Yes |
Yes |
90 |
examples–complete2–001–complete_010_Other_gao_Y_yL182-4.gex |
Yes |
Yes |
91 |
examples–complete2–006–complete_012_7_Book_00EE_02_E028-3.gex |
Yes |
Yes |
92 |
examples–complete2–006–complete_003_6_GDD_FULL_more_E022-11.gex |
Yes |
Yes |
93 |
examples–complete2–006–complete_010_Other_Auxiliary_aux2_e04f.gex |
Yes |
Yes |
94 |
examples–complete2–006–complete_004_6_GDD_FULL_81-109_98.gex |
Yes |
Yes |
95 |
examples–complete2–006–complete_001_6_GDD_FULL_61-80_72.gex |
Yes |
Yes |
96 |
examples–complete2–006–complete_013_7_Book_00EE_11_E075-26.gex |
Yes |
Yes |
97 |
examples–complete2–006–complete_015_7_Book_00EE_06_E057-38.gex |
Yes |
Yes |
98 |
examples–complete2–006–complete_014_7_Book_00EE_07_E059-47.gex |
Yes |
Yes |
99 |
examples–complete2–006–complete_014_7_Book_00EE_07_E059-53.gex |
Yes |
Yes |
100 |
examples–complete2–006–complete_003_6_GDD_FULL_more_E023-15.gex |
Yes |
Yes |
101 |
examples–complete2–011–complete_002_6_GDD_FULL_01-20_12.gex |
Yes |
Yes |
102 |
examples–complete2–011–complete_002_6_GDD_FULL_01-20_05.gex |
Yes |
Yes |
103 |
examples–complete2–011–complete_003_6_GDD_FULL_21-40_34.gex |
Yes |
Yes |
104 |
examples–complete2–011–complete_004_6_GDD_FULL_81-109_99.gex |
Yes |
Yes |
105 |
examples–complete2–011–complete_003_6_GDD_FULL_21-40_35.gex |
Yes |
Yes |
106 |
examples–complete2–011–complete_003_6_GDD_FULL_21-40_31.gex |
Yes |
Yes |
107 |
examples–complete2–011–complete_002_6_GDD_FULL_41-60_41.gex |
Yes |
|
108 |
examples–complete2–011–complete_002_6_GDD_FULL_41-60_43.gex |
Yes |
Yes |
109 |
examples–complete2–011–complete_002_6_GDD_FULL_41-60_51.gex |
Yes |
Yes |
110 |
examples–complete2–011–complete_002_6_GDD_FULL_41-60_44.gex |
Yes |
Yes |
111 |
examples–complete2–010–complete_004_6_GDD_FULL_21-40_29.gex |
Yes |
Yes |
112 |
examples–complete2–010–complete_002_6_GDD_FULL_01-20_10.gex |
Yes |
Yes |
113 |
examples–complete2–010–complete_013_7_Book_00EE_10_E072-15.gex |
Yes |
Yes |
114 |
examples–complete2–010–complete_011_7_Book_00EE_04_E051-6.gex |
Yes |
Yes |
115 |
examples–complete2–010–complete_012_7_Book_00EE_05_E051-20.gex |
Yes |
Yes |
116 |
examples–complete2–010–complete_011_7_Book_00EE_03_E037-20.gex |
Yes |
Yes |
117 |
examples–complete2–010–complete_012_7_Book_00EE_11_E076-32.gex |
Yes |
Yes |
118 |
examples–complete2–010–complete_000_3_JAR_JAR02-new_fig214.gex |
Yes |
Yes |
119 |
examples–complete2–010–complete_003_6_GDD_FULL_more_E021-3.gex |
Yes |
Yes |
120 |
examples–complete2–010–complete_013_7_Book_00EE_10_E074-22.gex |
Yes |
Yes |
121 |
examples–complete2–010–complete_001_6_GDD_FULL_01-20_20.gex |
Yes |
Yes |
122 |
examples–complete2–010–complete_002_6_GDD_FULL_41-60_57.gex |
Yes |
Yes |
123 |
examples–complete2–010–complete_010_Other_Auxiliary_ye_aux_ppara.gex |
Yes |
Yes |
124 |
examples–complete2–003–complete_003_6_GDD_FULL_more_E013-3.gex |
Yes |
Yes |
125 |
examples–complete2–003–complete_005_Other_ndgs_01.gex |
Yes |
Yes |
126 |
examples–complete2–003–complete_013_7_Book_00EE_10_E072-12.gex |
Yes |
Yes |
127 |
examples–complete2–003–complete_010_Other_Auxiliary_ye_aux_wang3.gex |
Yes |
Yes |
128 |
examples–complete2–003–complete_003_6_GDD_FULL_more_E022-8.gex |
Yes |
Yes |
129 |
examples–complete2–003–complete_008_ex-gao_ex160_206.gex |
Yes |
Yes |
130 |
examples–complete2–003–complete_013_7_Book_00EE_11_E077-38.gex |
Yes |
Yes |
131 |
examples–complete2–003–complete_004_6_GDD_FULL_81-109_84.gex |
Yes |
Yes |
132 |
examples–complete2–003–complete_003_6_GDD_FULL_more_E022-10.gex |
Yes |
Yes |
133 |
examples–complete2–003–complete_011_7_Book_00EE_03_E037-25.gex |
Yes |
Yes |
134 |
examples–complete2–003–complete_016_7_Book_00EE_06_E051-25.gex |
Yes |
Yes |
135 |
examples–complete2–003–complete_013_7_Book_00EE_10_E074-20.gex |
Yes |
Yes |
136 |
examples–complete2–003–complete_017_ex-gao_ex160_4_003.gex |
Yes |
Yes |
137 |
examples–complete2–003–complete_015_7_Book_00EE_08_E059-56.gex |
Yes |
Yes |
138 |
examples–complete2–003–complete_014_7_Book_00EE_07_E059-52.gex |
Yes |
Yes |
139 |
examples–complete2–004–complete_002_6_GDD_FULL_01-20_13.gex |
Yes |
Yes |
140 |
examples–complete2–004–complete_006_Other_Auxiliary_E092-5.gex |
||
141 |
examples–complete2–004–complete_004_6_GDD_FULL_81-109_86.gex |
Yes |
Yes |
142 |
examples–complete2–004–complete_011_7_Book_00EE_03_E037-26.gex |
Yes |
Yes |
143 |
examples–complete2–004–complete_016_7_Book_00EE_06_E051-27.gex |
Yes |
Yes |
144 |
examples–complete2–004–complete_001_6_GDD_FULL_61-80_73.gex |
Yes |
Yes |
145 |
examples–complete2–004–complete_014_7_Book_00EE_07_E057-42.gex |
Yes |
Yes |
146 |
examples–complete2–005–complete_005_Other_ndgs_03.gex |
Yes |
Yes |
147 |
examples–complete2–005–complete_000_rebuilt example_9point.gex |
Yes |
Yes |
148 |
examples–complete2–005–complete_013_7_Book_00EE_11_E081-2.gex |
Yes |
Yes |
149 |
examples–complete2–005–complete_002_6_GDD_FULL_41-60_58.gex |
Yes |
Yes |
150 |
examples–complete2–005–complete_016_7_Book_00EE_06_E051-26.gex |
Yes |
Yes |
151 |
examples–complete2–005–complete_001_6_GDD_FULL_61-80_61.gex |
Yes |
Yes |
152 |
examples–complete2–005–complete_017_ex-gao_ex160_4_e03a_lratio.gex |
Yes |
Yes |
153 |
examples–complete2–005–complete_008_ex-gao_ex160_e122.gex |
Yes |
Yes |
154 |
examples–complete2–002–complete_007_7_Book_LLL_yL251-1.gex |
Yes |
Yes |
155 |
examples–complete2–002–complete_017_ex-gao_ex160_4_e12.gex |
Yes |
Yes |
156 |
examples–complete2–002–complete_013_7_Book_00EE_10_E073-18.gex |
Yes |
Yes |
157 |
examples–complete2–002–complete_011_7_Book_00EE_03_E043-3.gex |
Yes |
Yes |
158 |
examples–complete2–002–complete_012_7_Book_00EE_02_E028-2-1.gex |
Yes |
Yes |
159 |
examples–complete2–002–complete_008_ex-gao_ex160_e124.gex |
Yes |
Yes |
160 |
examples–complete2–000–complete_004_6_GDD_FULL_81-109_106.gex |
Yes |
Yes |
161 |
examples–complete2–unsolved2–complete_010_Other_Auxiliary_ye_aux_think2.gex |
||
162 |
examples–complete2–unsolved2–complete_012_7_Book_00EE_02_E023-21.gex |
Yes |
Yes |
163 |
examples–complete2–unsolved2–complete_006_7_Book_LLL_yL252-6.gex |
Yes |
Yes |
164 |
examples–complete2–unsolved2–complete_015_7_Book_00EE_08_E059-59.gex |
||
165 |
examples–complete2–unsolved2–complete_013_7_Book_00EE_10_E072-16.gex |
||
166 |
examples–complete2–unsolved2–complete_003_6_GDD_FULL_more_E023-19.gex |
Yes |
Yes |
167 |
examples–complete2–unsolved2–complete_010_Other_Auxiliary_ye_aux_ll43.gex |
||
168 |
examples–complete2–unsolved2–complete_010_Other_Auxiliary_aux2_22.gex |
||
169 |
examples–complete2–unsolved2–complete_014_7_Book_00EE_09_E066-04.gex |
Yes |
Yes |
170 |
examples–complete2–unsolved2–complete_014_7_Book_00EE_08_E061-66.gex |
Yes |
Yes |
171 |
examples–complete2–unsolved2–complete_011_7_Book_00EE_03_E037-24.gex |
Yes |
Yes |
172 |
examples–complete2–unsolved2–complete_014_7_Book_00EE_08_E061-65.gex |
Yes |
Yes |
173 |
examples–complete2–unsolved2–complete_012_7_Book_00EE_11_E076-31.gex |
||
174 |
examples–complete2–unsolved2–complete_010_Other_Auxiliary_ye_aux_y1.gex |
||
175 |
examples–complete2–unsolved2–complete_004_6_GDD_FULL_21-40_40.gex |
Yes |
Yes |
176 |
examples–complete2–unsolved2–complete_014_7_Book_00EE_09_E069-8.gex |
||
177 |
examples–complete2–unsolved2–complete_011_7_Book_00EE_04_E051-9.gex |
||
178 |
examples–complete2–unsolved2–complete_003_6_GDD_FULL_21-40_27.gex |
Yes |
Yes |
179 |
examples–complete2–unsolved2–complete_017_ex-gao_ex160_4_e08.gex |
Yes |
Yes |
180 |
examples–complete2–unsolved2–complete_015_7_Book_00EE_06_E051-29.gex |
Yes |
Yes |
181 |
examples–complete2–unsolved2–complete_002_6_GDD_FULL_41-60_42.gex |
||
182 |
examples–complete2–unsolved2–complete_014_7_Book_00EE_08_E061-63f.gex |
Yes |
Yes |
183 |
examples–complete2–unsolved2–complete_007_7_Book_LLL_yL198-1.gex |
||
184 |
examples–complete2–unsolved–complete_015_7_Book_00EE_08_E061-61.gex |
||
185 |
examples–complete2–unsolved–complete_008_ex-gao_ex160_204.gex |
Yes |
Yes |
186 |
examples–complete2–unsolved–complete_005_Other_unsolved_65.gex |
Yes |
Yes |
187 |
examples–complete2–unsolved–complete_008_ex-gao_ex160_005.gex |
||
188 |
examples–complete2–unsolved–complete_006_Other_ndgTest_65.gex |
Yes |
Yes |
189 |
examples–complete2–unsolved–complete_005_Other_unsolved_E051-7.gex |
Yes |
Yes |
190 |
examples–complete2–unsolved–complete_005_Other_unsolved_E046-10.gex |
Yes |
Yes |
191 |
examples–complete2–unsolved–ex-gao_ex160_103.gex |
Yes |
Yes |
192 |
examples–complete2–unsolved–ex-gao_ex160_104.gex |
Yes |
Yes |
193 |
examples–complete2–unsolved–complete_005_Other_unsolved_109f.gex |
||
194 |
examples–complete2–unsolved–complete_005_Other_unsolved_E046-7.gex |
Yes |
Yes |
195 |
examples–complete2–unsolved–complete_008_ex-gao_ex160_e121.gex |
Yes |
Yes |
196 |
examples–complete2–unsolved–complete_018_ex-gao_ex160_4_010.gex |
Yes |
Yes |
197 |
examples–complete2–unsolved–complete_005_Other_unsolved_82.gex |
Yes |
|
198 |
examples–complete2–unsolved–complete_014_7_Book_00EE_07_E057-41.gex |
||
199 |
examples–complete2–unsolved–complete_015_7_Book_00EE_08_E059-55.gex |
Yes |
Yes |
200 |
examples–complete2–unsolved–complete_005_Other_unsolved_E073-17.gex |
Yes |
Yes |
201 |
examples–complete2–unsolved–complete_015_7_Book_00EE_06_E056-33.gex |
Yes |
Yes |
202 |
examples–complete2–unsolved–complete_005_Other_unsolved_E074-24.gex |
Yes |
Yes |
203 |
examples–complete2–unsolved1–complete_008_7_Book_LLL_L057-3.gex |
Yes |
Yes |
204 |
examples–complete2–unsolved1–complete_006_7_Book_LLL_L046-17.gex |
Yes |
Yes |
205 |
examples–complete2–unsolved1–complete_008_7_Book_LLL_L057-2.gex |
Yes |
Yes |
206 |
examples–complete2–unsolved1–complete_008_ex-gao_ex160_e102.gex |
||
207 |
examples–complete2–unsolved1–complete_012_7_Book_00EE_11_E075-27f.gex |
||
208 |
examples–complete2–unsolved1–complete_006_7_Book_LLL_L091-13.gex |
||
209 |
examples–complete2–unsolved1–complete_010_Other_gao_Y_yL157-1.gex |
||
210 |
examples–complete2–unsolved1–complete_008_7_Book_LLL_L055-5.gex |
Yes |
|
211 |
examples–complete2–unsolved1–complete_013_7_Book_00EE_11_E075-29.gex |
Yes |
Yes |
212 |
examples–complete2–unsolved1–complete_012_7_Book_00EE_05_E051-14-1.gex |
||
213 |
examples–complete2–unsolved1–complete_007_7_Book_LLL_L057-3-1.gex |
Yes |
Yes |
214 |
examples–complete2–unsolved1–complete_001_6_GDD_FULL_61-80_80.gex |
Yes |
Yes |
215 |
examples–complete2–unsolved1–complete_008_ex-gao_ex160_e213.gex |
Yes |
Yes |
216 |
examples–complete2–unsolved1–complete_011_7_Book_00EE_04_E051-2.gex |
||
217 |
examples–complete2–unsolved1–complete_007_7_Book_LLL_L043-5.gex |
Yes |
Yes |
218 |
examples–complete2–unsolved1–complete_001_6_GDD_FULL_61-80_71.gex |
Yes |
Yes |
219 |
examples–complete2–unsolved1–complete_007_7_Book_LLL_L043-5-1.gex |
Yes |
Yes |
220 |
examples–complete2–unsolved1–complete_011_7_Book_00EE_04_E051-8.gex |
Yes |
Yes |
221 |
examples–complete2–unsolved1–complete_013_7_Book_00EE_10_E072-8.gex |
Yes |
Yes |
222 |
examples–complete2–unsolved1–complete_003_6_GDD_FULL_more_E023-14.gex |
Yes |
Yes |
223 |
examples–complete2–unsolved1–complete_010_Other_gao_Y_yL182-1.gex |
||
224 |
examples–complete2–unsolved1–complete_008_ex-gao_ex160_e120.gex |
Yes |
Yes |
225 |
new_unsolved–0.gex |
||
226 |
new_unsolved–1.gex |
||
227 |
examples–complete2–unsolved1–complete_009_Other_paper_Thebault_t5.gex |
||
228 |
examples–complete2–unsolved–complete_013_7_Book_00EE_10_E072-11.gex |
Yes |
Yes |
229 |
examples–complete2–unsolved2–complete_015_7_Book_00EE_06_E051-28.gex |
Yes |
Yes |
230 |
examples–complete2–unsolved2–complete_010_Other_Auxiliary_ye_aux_think.gex |
||
231 |
examples–complete2–unsolved–morley.gex |
||
Total numbers |
198 |
201 |