Submissions

Filter

Task Name
User Name
Judge Status

Found 1887 submissions.

# Time Task Name User Name Status
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
617 2019/09/15 22:37:50 unique count mttm Success
616 2019/09/15 22:02:07 count l n = count (rev l) n kurgm Success
615 2019/09/15 22:01:31 gcd(n, n+1) = 1 minaminao Success
614 2019/09/15 22:01:23 count l n = count (rev l) n kurgm Failure
613 2019/09/15 22:00:55 gcd(n, n+1) = 1 minaminao Failure
612 2019/09/15 21:44:49 gcd(n, n+1) = 1 kurgm Success
611 2019/09/15 19:15:21 count l n = count (rev l) n yishibashi Success
610 2019/09/15 19:12:46 gcd(n, n+1) = 1 cympfh Success
609 2019/09/15 19:07:29 unique (unique l) = l efk Success
608 2019/09/15 18:59:21 unique (unique l) = l mttm Success
607 2019/09/15 18:57:06 unique (unique l) = l cympfh Success
606 2019/09/15 18:40:52 unique (unique l) = l yamarten Success
605 2019/09/15 18:40:21 count l n = count (rev l) n yamarten Success
604 2019/09/15 18:39:00 unique count pekempey Success
603 2019/09/15 18:38:55 unique (unique l) = l yamarten Failure
602 2019/09/15 18:37:22 Grand Garden kozima Success
601 2019/09/15 18:36:41 unique count prime Success
600 2019/09/15 18:20:18 count l n = count (rev l) n yamarten Failure
599 2019/09/15 18:10:24 unique (unique l) = l pekempey Success
598 2019/09/15 18:09:33 count l n = count (rev l) n mttm Success
597 2019/09/15 18:01:23 count l n = count (rev l) n okaduki Success
596 2019/09/15 17:58:09 unique count sorata Success
595 2019/09/15 17:57:32 count l n = count (rev l) n spica314 Success
594 2019/09/15 17:56:06 count l n = count (rev l) n cympfh Success
593 2019/09/15 17:45:39 gcd(n, n+1) = 1 yamarten Success
592 2019/09/15 17:44:42 gcd(n, n+1) = 1 yamarten Failure
591 2019/09/15 17:44:15 gcd(n, n+1) = 1 yishibashi Success
590 2019/09/15 17:44:01 count l n = count (rev l) n yishibashi Failure
589 2019/09/15 17:36:32 gcd(n, n+1) = 1 cympfh Success
588 2019/09/15 17:35:47 unique (unique l) = l sorata Success

>>Show ALL