Submissions

Filter

Task Name
User Name
Judge Status

Found 1477 submissions.

# Time Task Name User Name Status
227 2019/08/22 23:31:22 1 + 1 = 2 kaz Success
226 2019/08/22 23:30:52 plus_comm kaz Success
225 2019/08/22 23:30:09 plus_comm kaz Failure
224 2019/08/22 23:29:06 plus_assoc kaz Success
223 2019/08/22 23:27:02 plus_assoc sorata Success
222 2019/08/22 23:26:04 plus_assoc sorata Failure
221 2019/08/22 23:24:12 plus_assoc sorata Failure
220 2019/08/22 14:59:16 1 + 1 = 2 luma Success
219 2019/08/22 09:32:26 forall f: bool -> bool, f^3(x) = f(x) kozima Success
218 2019/08/22 01:02:03 n < m \/ n = m \/ n > m asi1024 Success
217 2019/08/22 01:01:39 n < m \/ n = m \/ n > m asi1024 Failure
216 2019/08/22 01:01:13 n < m \/ n = m \/ n > m asi1024 Failure
215 2019/08/21 19:52:23 n < m \/ n = m \/ n > m efk Success
214 2019/08/21 19:47:05 n * S m = n + n * m efk Success
213 2019/08/21 19:40:34 forall f: bool -> bool, f^3(x) = f(x) efk Success
212 2019/08/21 19:19:08 1 + 1 = 2 efk Success
211 2019/08/21 18:29:23 Product of n consecutive integers is divisible by n! kimiyuki Success
210 2019/08/21 17:53:21 n * S m = n + n * m a_happin Success
209 2019/08/21 17:42:04 n * S m = n + n * m a_happin Rejected
208 2019/08/21 17:21:56 forall f: bool -> bool, f^3(x) = f(x) a_happin Success
207 2019/08/21 16:07:20 1 + 1 = 2 a_happin Failure
206 2019/08/21 16:04:48 1 + 1 = 2 a_happin Failure
205 2019/08/21 16:04:03 1 + 1 = 2 a_happin Success
204 2019/08/21 16:03:38 1 + 1 = 2 a_happin Failure
203 2019/08/21 16:03:18 1 + 1 = 2 a_happin Failure
202 2019/08/21 15:59:43 plus_comm a_happin Success
201 2019/08/21 15:27:39 plus_assoc a_happin Success
200 2019/08/21 11:58:21 n < m \/ n = m \/ n > m pandanoir Success
199 2019/08/21 11:48:05 n * S m = n + n * m pandanoir Success
198 2019/08/21 11:47:59 forall f: bool -> bool, f^3(x) = f(x) pandanoir Failure
197 2019/08/21 11:30:49 forall f: bool -> bool, f^3(x) = f(x) pandanoir Success
196 2019/08/21 11:23:21 1 + 1 = 2 pandanoir Success
195 2019/08/21 05:01:28 Equivalent two quicksorts satos Success
194 2019/08/21 05:00:50 Equivalent two quicksorts satos Failure
193 2019/08/21 04:59:24 Equivalent two quicksorts satos Failure
192 2019/08/20 23:30:02 Product of n consecutive integers is divisible by n! kozima Success
191 2019/08/20 20:02:54 plus_comm minus3theta Success
190 2019/08/20 19:39:23 plus_assoc minus3theta Success
189 2019/08/20 00:30:26 Product of n consecutive integers is divisible by n! pekempey Success
188 2019/08/19 23:39:05 Product of n consecutive integers is divisible by n! satos Success
187 2019/08/19 23:36:07 Product of n consecutive integers is divisible by n! satos Failure
186 2019/08/19 19:09:04 plus_comm heno239 Success
185 2019/08/19 19:02:43 plus_assoc heno239 Success
184 2019/08/19 18:51:48 1 + 1 = 2 drafear Success
183 2019/08/19 17:57:32 n < m \/ n = m \/ n > m okaduki Success
182 2019/08/19 17:09:42 n * S m = n + n * m okaduki Success
181 2019/08/19 17:00:12 forall f: bool -> bool, f^3(x) = f(x) okaduki Success
180 2019/08/19 16:14:13 1 + 1 = 2 okaduki Success
179 2019/08/19 16:05:38 plus_comm okaduki Success
178 2019/08/19 15:36:40 plus_comm okaduki Failure

>>Show ALL