Submissions

Filter

Task Name
User Name
Judge Status

Found 1723 submissions.

# Time Task Name User Name Status
273 2019/08/25 21:03:38 forall l: list nat, l @ [0] <> [] suibaka Failure
272 2019/08/25 21:03:18 forall l: list nat, l @ [0] <> [] okaduki Success
271 2019/08/25 21:03:08 forall l: list nat, l @ [0] <> [] kozima Success
270 2019/08/25 21:03:06 forall l: list nat, l @ [0] <> [] momohatt Success
269 2019/08/25 21:02:03 forall l: list nat, l @ [0] <> [] drafear Success
268 2019/08/25 21:01:56 forall l: list nat, l @ [0] <> [] splatoon_suki Success
267 2019/08/25 21:01:54 forall l: list nat, l @ [0] <> [] drafear Success
266 2019/08/25 21:01:32 forall l: list nat, l @ [0] <> [] kaz Success
265 2019/08/25 21:01:23 forall l: list nat, l @ [0] <> [] yodvhskd Success
264 2019/08/25 21:01:17 forall l: list nat, l @ [0] <> [] kimiyuki Success
263 2019/08/25 20:56:46 1 + 1 = 2 spica314 Success
262 2019/08/25 20:54:16 1 + 1 = 2 kanra824 Success
261 2019/08/25 19:57:58 plus_assoc yodvhskd Success
260 2019/08/25 11:40:11 1 + 1 = 2 momohatt Success
259 2019/08/25 11:39:43 1 + 1 = 2 momohatt Failure
258 2019/08/25 01:40:53 forall l: list nat, l @ [0] <> [] asi1024 Success
257 2019/08/24 23:41:45 plus_comm asi1024 Success
256 2019/08/24 21:41:33 plus_comm clkbug Failure
255 2019/08/24 21:41:28 plus_comm clkbug Failure
254 2019/08/24 21:37:21 plus_comm clkbug Failure
253 2019/08/24 21:36:26 plus_comm clkbug Failure
252 2019/08/24 21:29:45 plus_assoc clkbug Failure
251 2019/08/24 21:24:32 plus_assoc clkbug Failure
250 2019/08/24 21:23:25 plus_assoc clkbug Failure
249 2019/08/24 20:38:23 1 + 1 = 2 yamarten Success
248 2019/08/24 20:27:29 1 + 1 = 2 yamarten Rejected
247 2019/08/24 08:44:10 1 + 1 = 2 koba Failure
246 2019/08/24 08:43:24 1 + 1 = 2 koba Rejected
245 2019/08/23 16:10:05 forall f: bool -> bool, f^3(x) = f(x) luma Rejected
244 2019/08/23 15:04:04 plus_comm rikein12 Failure
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

>>Show ALL