Submissions

Filter

Task Name
User Name
Judge Status

Found 1967 submissions.

# Time Task Name User Name Status
667 2019/09/20 17:25:12 plus_assoc mkakh Failure
666 2019/09/20 16:59:39 plus_comm mkakh Success
665 2019/09/20 16:36:02 1 + 1 = 2 mkakh Success
664 2019/09/20 16:33:45 gcd(n, n+1) = 1 mkakh Success
663 2019/09/20 12:42:03 n * S m = n + n * m anqou Success
662 2019/09/20 02:44:25 unique (unique l) = l okaduki Success
661 2019/09/20 00:43:05 1 + 1 = 2 hiromi_mi Success
660 2019/09/20 00:09:21 forall f: bool -> bool, f^3(x) = f(x) anqou Success
659 2019/09/19 23:54:47 1 + 1 = 2 anqou Success
658 2019/09/19 20:14:12 n * S m = n + n * m youjotape Success
657 2019/09/19 19:22:45 forall f: bool -> bool, f^3(x) = f(x) youjotape Success
656 2019/09/19 15:27:11 1 + 1 = 2 youjotape Success
655 2019/09/19 15:00:40 plus_comm youjotape Success
654 2019/09/19 14:52:55 plus_assoc youjotape Success
653 2019/09/19 10:02:12 plus_assoc stretchybox Success
652 2019/09/18 22:41:18 plus_comm stretchybox Success
651 2019/09/18 22:40:54 plus_comm stretchybox Success
650 2019/09/18 22:33:54 plus_assoc stretchybox Success
649 2019/09/18 19:54:27 Cumulative sum of list spica314 Success
648 2019/09/18 15:35:28 unique count spica314 Success
647 2019/09/18 15:33:48 unique count spica314 Success
646 2019/09/18 14:41:50 unique (unique l) = l spica314 Success
645 2019/09/18 02:02:04 unique count kimiyuki Success
644 2019/09/18 01:33:41 unique (unique l) = l kimiyuki Success
643 2019/09/18 00:33:37 count l n = count (rev l) n kimiyuki Success
642 2019/09/18 00:12:13 gcd(n, n+1) = 1 kimiyuki Success
641 2019/09/17 22:51:30 unique count yodvhskd Success
640 2019/09/17 22:07:57 unique (unique l) = l yodvhskd Success
639 2019/09/17 20:16:52 gcd(n, n+1) = 1 a_happin Success
638 2019/09/17 20:15:21 gcd(n, n+1) = 1 a_happin Failure
637 2019/09/17 19:57:59 Summand of one a_happin Success
636 2019/09/17 16:24:56 unique count cympfh Success
635 2019/09/17 00:38:09 count l n = count (rev l) n yodvhskd Success
634 2019/09/17 00:16:08 gcd(n, n+1) = 1 yodvhskd Success
633 2019/09/16 20:48:40 forall l: list nat, l @ [0] <> [] efk Success
632 2019/09/16 18:18:07 n < m \/ n = m \/ n > m efk Success
631 2019/09/16 18:17:00 n * S m = n + n * m efk Success
630 2019/09/16 18:15:49 forall f: bool -> bool, f^3(x) = f(x) efk Success
629 2019/09/16 17:56:17 plus_comm efk Success
628 2019/09/16 17:55:38 1 + 1 = 2 efk Success
627 2019/09/16 17:53:50 plus_comm efk Failure
626 2019/09/16 17:52:06 plus_assoc efk Success
625 2019/09/16 17:32:11 Grand Garden sorata Success
624 2019/09/16 14:32:21 gcd(n, n+1) = 1 efk Success
623 2019/09/16 03:32:48 Multiplication in F_2 is idempotent taisei Success
622 2019/09/16 01:15:23 Grand Garden kkob Success
621 2019/09/16 00:47:52 Grand Garden kkob Rejected
620 2019/09/15 23:11:09 unique (unique l) = l kurgm Success
619 2019/09/15 23:10:44 unique (unique l) = l kurgm Failure
618 2019/09/15 22:39:39 Grand Garden kozima Success

>>Show ALL