Submissions

Filter

Task Name
User Name
Judge Status

Found 1380 submissions.

# Time Task Name User Name Status
330 2019/08/26 00:17:20 Cumulative sum of list a_happin Success
329 2019/08/26 00:12:22 forall f: bool -> bool, f^3(x) = f(x) yishibashi Success
328 2019/08/25 23:49:36 l1 <> l2 if l2 is an odd permutation of l1 kaz Failure
327 2019/08/25 23:45:38 1 + 1 = 2 yishibashi Success
326 2019/08/25 23:45:15 1 + 1 = 2 yishibashi Failure
325 2019/08/25 23:43:51 forall f: bool -> bool, f^3(x) = f(x) spica314 Success
324 2019/08/25 23:42:08 Cumulative sum of list kkob Success
323 2019/08/25 23:37:32 l1 <> l2 if l2 is an odd permutation of l1 kaz Success
322 2019/08/25 23:32:16 l1 <> l2 if l2 is an odd permutation of l1 prime Success
321 2019/08/25 23:22:46 l1 <> l2 if l2 is an odd permutation of l1 kaz Success
320 2019/08/25 23:22:37 1 + 1 = 2 spica314 Success
319 2019/08/25 23:20:57 forall l: list nat, l @ [0] <> [] siotouto Success
318 2019/08/25 23:20:08 forall l: list nat, l @ [0] <> [] siotouto Failure
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

>>Show ALL