Submissions

Filter

Task Name
User Name
Judge Status

Found 1993 submissions.

# Time Task Name User Name Status
243 2019/08/23 15:01:02 n * S m = n + n * m rikein12 Success
242 2019/08/23 08:57:00 forall f: bool -> bool, f^3(x) = f(x) splatoon_suki Success
241 2019/08/23 03:59:42 forall f: bool -> bool, f^3(x) = f(x) rikein12 Success
240 2019/08/23 03:55:16 1 + 1 = 2 rikein12 Success
239 2019/08/23 03:35:18 plus_assoc rikein12 Success
238 2019/08/23 01:42:15 forall f: bool -> bool, f^3(x) = f(x) kaz Success
237 2019/08/23 01:32:12 Product of n consecutive integers is divisible by n! kaz Success
236 2019/08/23 01:11:02 Product of n consecutive integers is divisible by n! kaz Success
235 2019/08/23 01:08:08 Product of n consecutive integers is divisible by n! kaz Success
234 2019/08/23 01:07:00 Product of n consecutive integers is divisible by n! kaz Success
233 2019/08/23 01:05:17 Product of n consecutive integers is divisible by n! kaz Failure
232 2019/08/23 00:02:06 1 + 1 = 2 kaz Success
231 2019/08/22 23:40:30 n < m \/ n = m \/ n > m kaz Success
230 2019/08/22 23:36:57 n * S m = n + n * m kaz Success
229 2019/08/22 23:35:05 forall f: bool -> bool, f^3(x) = f(x) kaz Success
228 2019/08/22 23:31:37 plus_comm sorata Success
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

>>Show ALL