Submissions

Filter

Task Name
User Name
Judge Status

Found 1967 submissions.

# Time Task Name User Name Status
867 2019/10/06 21:28:07 Iterated iteration hirosegolf Failure
866 2019/10/06 21:21:20 Two is not Three momohatt Success
865 2019/10/06 21:17:34 Two is not Three sorata Success
864 2019/10/06 21:03:23 Iterated iteration yodvhskd Success
863 2019/10/06 20:59:47 Iterated iteration pekempey Rejected
862 2019/10/06 20:48:47 Three is prime sorata Success
861 2019/10/06 20:48:25 Boolean-hole principle sorata Success
860 2019/10/06 20:46:58 Iterated iteration sorata Success
859 2019/10/06 20:46:50 Boolean-hole principle mttm Success
858 2019/10/06 20:42:38 Three is prime coorde Success
857 2019/10/06 20:42:03 Three is prime okaduki Success
856 2019/10/06 20:40:08 Two is not Three yodvhskd Success
855 2019/10/06 20:40:04 Two is not Three kkob Success
854 2019/10/06 20:35:36 Boolean-hole principle coorde Success
853 2019/10/06 20:34:40 Three is prime yamarten Success
852 2019/10/06 20:32:23 Two is not Three hirosegolf Success
851 2019/10/06 20:31:17 Iterated iteration momohatt Success
850 2019/10/06 20:27:29 Three is prime pekempey Success
849 2019/10/06 20:27:27 Iterated iteration kaz Success
848 2019/10/06 20:27:25 Iterated iteration momohatt Rejected
847 2019/10/06 20:26:17 Iterated iteration momohatt Failure
846 2019/10/06 20:22:25 Iterated iteration kkob Success
845 2019/10/06 20:19:44 Boolean-hole principle yamarten Success
844 2019/10/06 20:18:32 Three is prime sorata Failure
843 2019/10/06 20:15:31 Three is prime yodvhskd Success
842 2019/10/06 20:13:00 Three is prime hirosegolf Success
841 2019/10/06 20:10:59 Two is not Three kaz Success
840 2019/10/06 20:08:51 Three is prime momohatt Success
839 2019/10/06 20:07:03 Boolean-hole principle yodvhskd Success
838 2019/10/06 20:05:49 Boolean-hole principle okaduki Success
837 2019/10/06 20:04:41 Three is prime kaz Success
836 2019/10/06 20:02:27 Boolean-hole principle kaz Success
835 2019/10/06 20:02:00 Boolean-hole principle sorata Failure
834 2019/10/06 20:01:56 Three is prime kkob Success
833 2019/10/06 20:01:41 Boolean-hole principle hirosegolf Success
832 2019/10/06 20:01:15 Boolean-hole principle momohatt Success
831 2019/10/06 20:01:03 Boolean-hole principle pekempey Success
830 2019/10/06 20:00:50 Boolean-hole principle kkob Success
829 2019/10/05 14:01:43 Any natural number is expressible in binary notation hirosegolf Success
828 2019/10/05 11:43:31 unique (unique l) = l hirosegolf Success
827 2019/10/05 10:20:49 count l n = count (rev l) n hirosegolf Success
826 2019/10/05 10:19:14 count l n = count (rev l) n hirosegolf Failure
825 2019/10/05 10:18:20 count l n = count (rev l) n hirosegolf Failure
824 2019/10/05 09:13:55 gcd(n, n+1) = 1 hirosegolf Success
823 2019/10/05 01:58:21 Multiplication in F_2 is idempotent hirosegolf Success
822 2019/10/05 01:08:07 Definitions of injectivity hirosegolf Success
821 2019/10/05 01:06:07 Definitions of injectivity hirosegolf Failure
820 2019/10/05 00:49:38 Summand of one hirosegolf Success
819 2019/10/05 00:46:51 Cumulative sum of list hirosegolf Success
818 2019/10/04 23:51:04 forall l: list nat, l @ [0] <> [] hirosegolf Success

>>Show ALL