TopProver ver.0.7.0

Ranking

Rank User Name Affiliation Rating
1 kkob DaiLambda, Inc. 7.937
2 kaz Inria 7.922
3 kozima Kyoto Universty 7.504
4 yodvhskd 7.427
5 sorata 7.187
6 pekempey 5.982
7 kik 5.718
8 drafear KMC 5.220
9 prime LeapMind 4.940
10 kimiyuki Kobe University 4.511
11 tzik 3.535
12 momohatt University of Tokyo 3.451
13 yamarten 3.220
14 satos TSG/\KMC 3.166
15 tanakh 3.078
16 taisei ku 2.889
17 okaduki Rabbit Horse 2.884
18 mttm 2.806
19 na4zagin3 Indeed Japan K.K. 2.802
20 hirosegolf 2.710
21 efk 2.645
22 suibaka Kyoto University 2.607
23 muratak Kyushu Institute of Technology 2.603
24 fetburner NEET 2.553
25 cympfh 魔界天使 2.539
26 chy 2.459
27 coorde University of Tsukuba 2.414
28 koba koba 2.333
29 splatoon_suki MIT 2.159
30 utgwkk KMC / Kyoto University 2.092
31 natsugiri 1.906
32 spica314 1.823
33 kano Waseda University 1.548
34 hanazuki KMC 1.333
35 wass88 1.309
36 miya 1.250
37 CoiL TSG 1.166
38 etonagisa Kyoto University 1.089
39 saitou 1.071
40 kcz 1.000
41 siotouto KMC 0.864
42 kanra824 Kyoto University 0.795
43 heno239 Kyoto University 0.499
44 kurgm TSG 0.432
45 Haar 0.357
46 minaminao University of Tsukuba 0.238
47 a_happin 0.227
48 yishibashi 0.208
49 wass80 0.166
50 mkakh 0.119
51 satanic0258 Muroran Institute of Technology 0.113
52 asi1024 0.000
53 sugim48 0.000
54 ksuenaga Kyoto University 0.000
55 tunhua KMC 0.000
56 ir5 0.000
57 yamunaku 0.000
58 OKU_K Kaisha 0.000
59 hakatashi TSG 0.000
60 yuma Kyoto University 0.000
61 blue_jam Indeed Japan K.K. 0.000
62 shakayami Kyoto University 0.000
63 ukikagi 0.000
64 snuke KFC 0.000
65 Eldora WIXOSS 0.000
66 sortreew Tsukuba University 0.000
67 gazelle Kyoto University 0.000
68 xuzijian629 0.000
69 komori3 0.000
70 rikein12 The University of Tokyo 0.000
71 Tqk Tokyo Institute of Technology 0.000
72 luma Student 0.000
73 Mayimg 0.000
74 hei 0.000
75 Shuzaei 0.000
76 kawacchu 0.000
77 hamadu 0.000
78 takakin 0.000
79 titia 0.000
80 minus3theta 0.000
81 kakira 0.000
82 omochana2 0.000
83 selpo 0.000
84 tmiya NaviPlus, Inc. 0.000
85 face4 0.000
86 taro MOMO 0.000
87 yerdr 0.000
88 Ymgch_K Kobe University 0.000
89 aauaa 0.000
90 AC_Lay 0.000
91 cielavenir ut 0.000
92 pandanoir 0.000
93 stp 0.000
94 zeptometer nyaan 0.000
95 pontaryagin 0.000
96 nuip 0.000
97 inazuma110 tut 0.000
98 tamac 0.000
99 ushitapunichiakun uku 0.000
100 toof 0.000
101 n_knuu 0.000
102 clkbug 0.000
103 suzusime KMC 0.000
104 keymoon 0.000
105 admitted 0.000
106 ojjiy ASI 0.000
107 admjgptw1357 ASI 0.000
108 37zigen 0.000
109 kebus 0.000
110 zaki Kyoto University 0.000
111 TanakaTaroh Waseda University 0.000
112 uenoku 0.000
113 keep_OC Mie University 0.000
114 mtsd 0.000
115 idsigma house 0.000
116 sigma425 0.000
117 lp6m KyotoUniv 0.000
118 hattarist Mie University 0.000
119 toto HIL-TKR 0.000
120 hkdnet 0.000
121 chiguri TITECH 0.000
122 ugnom1121 0.000
123 uesugi 0.000
124 marv 0.000
125 lrmystp 0.000
126 omasanori 0.000
127 srup 0.000
128 yagura 0.000
129 stretchybox Tokyo Institute of Technology 0.000
130 byonon The University Of Tokyo 0.000
131 skwbc 0.000
132 egashira university 0.000
133 chir 0.000
134 hiromi_mi 0.000
135 murata Kyoto Univ 0.000
136 ta12ka7shi 0.000
137 youjotape 0.000
138 anqou 0.000
139 kivantium 0.000
140 ats5515 The University of Tokyo 0.000
141 himkt 0.000
142 melan 0.000
143 nejineji 0.000
144 JP3BGY 東京大学 0.000
145 nikeya 0.000
146 tomomo2b2 0.000
147 ikubaku Kyoto Institute of Technology 0.000
148 kenkoooo 0.000
149 sykwer The University of Tokyo 0.000
150 a_kawashiro Kyoto University 0.000
151 y_tsune 0.000
152 sh_mug 大学 0.000
153 zunda1st Kyoto University 0.000
154 tsutaj Hokkaido University 0.000
155 nekodesu internet 0.000
156 yamunaku_ 0.000
157 yreb 0.000
158 emoken Kyushu Institute of Technology 0.000
159 lo48576 titech 0.000
160 yumetodo 0.000
161 yuntan_t 0.000
162 khibino 0.000
163 lion 0.000
164 xyz600 0.000
165 cyan 0.000
166 sntea Nagoya University 0.000
167 saitofu 0.000
168 yhirano 0.000
169 kenta29254 0.000
170 jbking 0.000
171 pachico 0.000
172 maple 0.000
173 eldesh 0.000
174 TAB Hokkaido University 0.000
175 tanimanianima364 0.000
176 ry3s 0.000
177 nmjr31 0.000
178 syoshinsha 0.000
179 wh317706 Kyushu Institute of Technology 0.000
180 alphakai University of Tsukuba 0.000
181 Naoki 0.000
182 kaito_tateyama HiCoder 0.000
183 proofninja proof ninja, Inc 0.000
184 cutsea110 0.000
185 zer0star 0.000
186 ahyo the University of Tokyo 0.000
187 keizo042 0.000
188 gaxiiiiiiiiiiii 0.000
189 KisaragiEffective First, write readable code. 0.000
190 tonegawa 0.000
191 tamaron 0.000
192 totechite 0.000
193 0x6797 0.000
194 america 0.000
195 kktk 0.000
196 shimomire 0.000
197 aaa 0.000
198 smizoe 0.000
199 hiphi 0.000
200 tantal 0.000
201 m129 0.000
202 Imperi TokyoTech 0.000
203 skrihjm 0.000
204 eliza0x 0.000
205 beam2d 0.000
206 soda 0.000
207 motikaku 0.000
208 jambo 0.000
209 nem 0.000
210 かつまた 0.000
211 hammer 0.000
212 masa6372 0.000
213 saka_bar 0.000
214 tatyam Tokyo Institute of Technology 0.000
215 yamaNote 0.000
216 fujiy Waseda University 0.000
217 marusa TUAT 0.000
218 peroxyacyl 0.000
219 simamumu 0.000
220 algon 0.000
221 11Takanori 0.000
222 ttkaki 0.000
223 dareka 0.000
224 pandaman 0.000
225 kariya1975 home 0.000
226 ogiekako 0.000
227 fellp1 0.000
228 mado 0.000
229 umiurukanojokara 0.000
230 Endered The University of Aizu 0.000
231 shift0 University 0.000
232 evs 0.000
233 hellorusk NII 0.000
234 trasta Tokyo Institute of Technology 0.000
235 SSlime 0.000
236 TOSUKUi 0.000
237 Eki1009 Kyoto University 0.000
238 xsd 0.000
239 sabataro 0.000
240 aaaaaa 0.000
241 aaaa 0.000
242 shama 0.000
243 pyusuke University of Tsukuba 0.000
244 cyanolupus 0.000
245 matonix 0.000
246 kamadat 0.000
247 hashiryo 0.000
248 honyacho 0.000
249 jeb 0.000
250 3_3_nk TNCT 0.000
251 fairy_lettuce University of Tokyo 0.000
252 platypus 0.000
253 sumou1011 0.000
254 mencotton 0.000
255 sash0 0.000
256 htrl567 0.000
257 heabi 0.000
258 yuu 0.000
259 nanikamado The University of Electro-Communications 0.000
260 ikd 0.000
261 ishioka0222 0.000
262 magurofly Thunnus 0.000
263 myazakky 0.000
264 itleigns 0.000
265 toga 0.000
266 sapphire15 0.000
267 Yu_212 0.000
268 zjkmxy UCLA 0.000
269 nikosai Waseda University 0.000
270 pura 0.000
271 hotman78 Waseda University 0.000
272 mii 0.000
273 settyan117 0.000
274 packer_jp The University of Tokyo 0.000
275 gue 0.000
276 minera 0.000
277 yosswi414 0.000
278 syun0713 0.000
279 yolFutami 0.000
280 dogfish998 0.000
281 kazmatsuda 0.000
282 fakeprogrammer 0.000
283 CleyL 0.000
284 aai 0.000
285 shino16 0.000
286 behare 0.000
287 test1234 0.000
288 hakataprover 0.000
289 NUNUNU 0.000
290 knukio 0.000
291 linsho Preferred Networks .inc 0.000
292 joe pfn 0.000
293 PCT 0.000
294 Mitarushi 0.000
295 sakem1 0.000
296 mojashi tokyo tech 0.000
297 fermionium 0.000