Submissions

Filter

Task Name
User Name
Judge Status

Found 1967 submissions.

# Time Task Name User Name Status
167 2019/08/19 11:34:46 Product of n consecutive integers is divisible by n! satanic0258 Success
166 2019/08/19 11:17:26 forall f: bool -> bool, f^3(x) = f(x) Mayimg Success
165 2019/08/19 10:36:23 plus_comm Mayimg Success
164 2019/08/19 10:28:19 plus_assoc Mayimg Success
163 2019/08/19 10:27:19 plus_assoc Mayimg Failure
162 2019/08/19 10:26:33 plus_assoc Mayimg Failure
161 2019/08/19 10:20:09 plus_assoc Mayimg Failure
160 2019/08/19 08:57:56 n < m \/ n = m \/ n > m pekempey Success
159 2019/08/19 08:55:45 plus_assoc pekempey Success
158 2019/08/19 08:55:02 plus_assoc pekempey Failure
157 2019/08/19 06:00:58 n * S m = n + n * m pekempey Success
156 2019/08/19 05:47:38 n < m \/ n = m \/ n > m satanic0258 Success
155 2019/08/19 05:46:20 1 + 1 = 2 Mayimg Success
154 2019/08/19 05:41:42 1 + 1 = 2 Mayimg Success
153 2019/08/19 05:38:28 forall f: bool -> bool, f^3(x) = f(x) pekempey Success
152 2019/08/19 05:26:24 n * S m = n + n * m satanic0258 Success
151 2019/08/19 05:15:39 forall f: bool -> bool, f^3(x) = f(x) satanic0258 Success
150 2019/08/19 04:48:04 1 + 1 = 2 pekempey Success
149 2019/08/19 04:47:24 plus_comm pekempey Success
148 2019/08/19 04:47:00 plus_comm pekempey Failure
147 2019/08/19 04:44:32 1 + 1 = 2 satanic0258 Success
146 2019/08/19 04:42:20 plus_comm satanic0258 Success
145 2019/08/19 04:38:00 plus_assoc pekempey Success
144 2019/08/19 04:37:22 plus_assoc satanic0258 Success
143 2019/08/19 04:36:19 plus_assoc satanic0258 Success
142 2019/08/19 03:08:03 Equivalent two quicksorts koba Success
141 2019/08/19 03:00:23 Product of n consecutive integers is divisible by n! drafear Success
140 2019/08/19 02:59:48 Equivalent two quicksorts drafear Failure
139 2019/08/19 01:42:35 1 + 1 = 2 kanra824 Success
138 2019/08/19 01:41:53 1 + 1 = 2 kanra824 Failure
137 2019/08/19 01:36:57 1 + 1 = 2 kanra824 Failure
136 2019/08/19 01:26:08 Equivalent two quicksorts koba Success
135 2019/08/19 00:56:32 Equivalent two quicksorts koba Rejected
134 2019/08/18 23:56:39 Equivalent two quicksorts koba Rejected
133 2019/08/18 23:47:12 n < m \/ n = m \/ n > m OKU_K Success
132 2019/08/18 23:35:07 n * S m = n + n * m OKU_K Success
131 2019/08/18 23:24:19 forall f: bool -> bool, f^3(x) = f(x) OKU_K Success
130 2019/08/18 23:11:29 1 + 1 = 2 OKU_K Success
129 2019/08/18 23:08:11 plus_comm OKU_K Success
128 2019/08/18 23:07:26 plus_comm OKU_K Failure
127 2019/08/18 22:22:08 plus_comm kurgm Success
126 2019/08/18 22:17:26 plus_assoc kurgm Success
125 2019/08/18 22:17:13 Product of n consecutive integers is divisible by n! suibaka Success
124 2019/08/18 20:54:31 Equivalent two quicksorts koba Rejected
123 2019/08/18 20:50:01 n < m \/ n = m \/ n > m kurgm Success
122 2019/08/18 20:29:16 n < m \/ n = m \/ n > m satos Success
121 2019/08/18 20:27:46 n < m \/ n = m \/ n > m satos Success
120 2019/08/18 20:25:26 n * S m = n + n * m kurgm Success
119 2019/08/18 20:24:35 n * S m = n + n * m etonagisa Success
118 2019/08/18 20:01:22 Product of n consecutive integers is divisible by n! prime Success

>>Show ALL