TopProver ver.0.7.0

Submissions

Filter

Task Name
User Name
Judge Status

Found 1967 submissions.

# Time Task Name User Name Status
317 2019/08/25 23:17:23 l1 <> l2 if l2 is an odd permutation of l1 satos Success
316 2019/08/25 23:17:01 l1 <> l2 if l2 is an odd permutation of l1 satos Failure
315 2019/08/25 23:16:21 Cumulative sum of list koba Success
314 2019/08/25 23:15:54 Cumulative sum of list koba Failure
313 2019/08/25 23:14:27 l1 <> l2 if l2 is an odd permutation of l1 koba Success
312 2019/08/25 23:00:00 Cumulative sum of list yamarten Rejected
311 2019/08/25 22:59:19 l1 <> l2 if l2 is an odd permutation of l1 satos Failure
310 2019/08/25 22:53:38 Cumulative sum of list yamarten Success
309 2019/08/25 22:53:17 Cumulative sum of list yamarten Failure
308 2019/08/25 22:37:37 l1 <> l2 if l2 is an odd permutation of l1 kozima Success
307 2019/08/25 22:17:35 Cumulative sum of list okaduki Success
306 2019/08/25 21:59:34 Cumulative sum of list prime Success
305 2019/08/25 21:56:16 Cumulative sum of list pekempey Success
304 2019/08/25 21:43:53 Cumulative sum of list kimiyuki Success
303 2019/08/25 21:42:38 1 + 1 = 2 minaminao Success
302 2019/08/25 21:42:18 forall l: list nat, l @ [0] <> [] minaminao Failure
301 2019/08/25 21:41:09 1 + 1 = 2 minaminao Failure
300 2019/08/25 21:32:24 forall l: list nat, l @ [0] <> [] satanic0258 Success
299 2019/08/25 21:31:49 Cumulative sum of list sorata Failure
298 2019/08/25 21:29:46 Cumulative sum of list suibaka Success
297 2019/08/25 21:29:02 Cumulative sum of list drafear Success
296 2019/08/25 21:28:07 l1 <> l2 if l2 is an odd permutation of l1 drafear Failure
295 2019/08/25 21:28:02 forall l: list nat, l @ [0] <> [] a_happin Success
294 2019/08/25 21:27:14 forall l: list nat, l @ [0] <> [] etonagisa Success
293 2019/08/25 21:26:53 forall l: list nat, l @ [0] <> [] pekempey Success
292 2019/08/25 21:25:30 forall l: list nat, l @ [0] <> [] spica314 Success
291 2019/08/25 21:24:47 Cumulative sum of list satos Success
290 2019/08/25 21:23:01 forall l: list nat, l @ [0] <> [] spica314 Failure
289 2019/08/25 21:22:31 Cumulative sum of list yodvhskd Success
288 2019/08/25 21:19:26 Cumulative sum of list yodvhskd Failure
287 2019/08/25 21:19:25 forall l: list nat, l @ [0] <> [] taisei Success
286 2019/08/25 21:17:58 forall l: list nat, l @ [0] <> [] yamarten Success
285 2019/08/25 21:17:06 Cumulative sum of list momohatt Success
284 2019/08/25 21:16:50 Cumulative sum of list taisei Success
283 2019/08/25 21:14:54 Cumulative sum of list kozima Success
282 2019/08/25 21:13:07 forall l: list nat, l @ [0] <> [] satos Success
281 2019/08/25 21:12:16 Cumulative sum of list splatoon_suki Success
280 2019/08/25 21:11:55 forall l: list nat, l @ [0] <> [] utgwkk Success
279 2019/08/25 21:10:57 forall l: list nat, l @ [0] <> [] suibaka Success
278 2019/08/25 21:10:39 forall l: list nat, l @ [0] <> [] sorata Success
277 2019/08/25 21:10:21 Cumulative sum of list kaz Success
276 2019/08/25 21:08:50 forall l: list nat, l @ [0] <> [] kanra824 Success
275 2019/08/25 21:07:19 forall l: list nat, l @ [0] <> [] prime Success
274 2019/08/25 21:03:51 forall l: list nat, l @ [0] <> [] suibaka Failure
273 2019/08/25 21:03:38 forall l: list nat, l @ [0] <> [] suibaka Failure
272 2019/08/25 21:03:18 forall l: list nat, l @ [0] <> [] okaduki Success
271 2019/08/25 21:03:08 forall l: list nat, l @ [0] <> [] kozima Success
270 2019/08/25 21:03:06 forall l: list nat, l @ [0] <> [] momohatt Success
269 2019/08/25 21:02:03 forall l: list nat, l @ [0] <> [] drafear Success
268 2019/08/25 21:01:56 forall l: list nat, l @ [0] <> [] splatoon_suki Success

>>Show ALL