Submissions

Filter

Task Name
User Name
Judge Status

Found 1967 submissions.

# Time Task Name User Name Status
1067 2019/11/24 20:11:21 Constructor is injective yamarten Success
1066 2019/11/24 20:10:35 Tree addressing is injective kozima Success
1065 2019/11/24 20:09:43 Tree addressing is injective kaz Success
1064 2019/11/24 20:09:41 Constructor is injective kaz Success
1063 2019/11/24 20:09:22 Constructor is injective mttm Success
1062 2019/11/24 20:09:21 Tree addressing is injective yodvhskd Success
1061 2019/11/24 20:05:09 Constructor is injective hirosegolf Success
1060 2019/11/24 20:03:30 Constructor is injective saitou Success
1059 2019/11/24 20:03:05 Constructor is injective pekempey Success
1058 2019/11/24 20:03:02 Constructor is injective tzik Success
1057 2019/11/24 20:02:16 Constructor is injective na4zagin3 Success
1056 2019/11/24 20:01:44 Constructor is injective sorata Success
1055 2019/11/24 20:01:25 Constructor is injective chy Success
1054 2019/11/24 20:01:06 Constructor is injective kozima Success
1053 2019/11/24 20:01:01 Constructor is injective yodvhskd Success
1052 2019/11/24 17:53:38 1 + 1 = 2 kano Success
1051 2019/11/24 17:46:46 plus_comm kano Success
1050 2019/11/24 17:41:25 plus_assoc kano Success
1049 2019/11/24 17:38:56 plus_assoc kano Failure
1048 2019/11/24 17:37:45 plus_assoc kano Failure
1047 2019/11/24 17:36:56 plus_assoc kano Failure
1046 2019/11/22 03:07:00 count l n = count (rev l) n tzik Success
1045 2019/11/22 02:42:23 gcd(n, n+1) = 1 tzik Success
1044 2019/11/22 02:29:50 Multiplication in F_2 is idempotent tzik Success
1043 2019/11/22 01:53:49 Definitions of injectivity tzik Success
1042 2019/11/21 21:09:59 Summand of one tzik Success
1041 2019/11/21 20:39:21 Cumulative sum of list tzik Success
1040 2019/11/21 20:08:40 Multiplication in F_2 is idempotent nekodesu Failure
1039 2019/11/21 20:06:02 forall l: list nat, l @ [0] <> [] tzik Success
1038 2019/11/21 19:55:59 Product of n consecutive integers is divisible by n! tzik Success
1037 2019/11/21 19:54:29 Product of n consecutive integers is divisible by n! tzik Failure
1036 2019/11/21 19:53:42 n < m \/ n = m \/ n > m tzik Success
1035 2019/11/21 00:10:55 Relative prime squares kkob Success
1034 2019/11/20 20:27:36 n * S m = n + n * m tanakh Success
1033 2019/11/20 20:10:26 plus_comm tanakh Success
1032 2019/11/20 19:50:06 plus_assoc tanakh Success
1031 2019/11/20 19:32:16 forall f: bool -> bool, f^3(x) = f(x) tanakh Success
1030 2019/11/20 19:09:36 1 + 1 = 2 tanakh Success
1029 2019/11/20 18:56:43 1 + 1 = 2 a_kawashiro Success
1028 2019/11/19 02:48:05 n * S m = n + n * m tzik Success
1027 2019/11/19 02:33:59 forall f: bool -> bool, f^3(x) = f(x) tzik Success
1026 2019/11/18 20:57:49 plus_comm tzik Success
1025 2019/11/18 20:55:03 plus_assoc tzik Success
1024 2019/11/18 20:53:25 1 + 1 = 2 tzik Success
1023 2019/11/18 20:52:58 1 + 1 = 2 tzik Failure
1022 2019/11/18 05:49:58 infinite bool sequence is uncountable kkob Success
1021 2019/11/18 05:48:11 Tree addressing is injective kkob Success
1020 2019/11/18 05:46:25 Constructor is injective kkob Success
1019 2019/11/14 20:34:43 gcd(n, n+1) = 1 blue_jam Failure
1018 2019/11/14 20:33:02 gcd(n, n+1) = 1 nuip Failure

>>Show ALL