Submissions

Filter

Task Name
User Name
Judge Status

Found 1792 submissions.

# Time Task Name User Name Status
292 2019/08/25 21:25:30 forall l: list nat, l @ [0] <> [] spica314 Success
291 2019/08/25 21:24:47 Cumulative sum of list satos Success
290 2019/08/25 21:23:01 forall l: list nat, l @ [0] <> [] spica314 Failure
289 2019/08/25 21:22:31 Cumulative sum of list yodvhskd Success
288 2019/08/25 21:19:26 Cumulative sum of list yodvhskd Failure
287 2019/08/25 21:19:25 forall l: list nat, l @ [0] <> [] taisei Success
286 2019/08/25 21:17:58 forall l: list nat, l @ [0] <> [] yamarten Success
285 2019/08/25 21:17:06 Cumulative sum of list momohatt Success
284 2019/08/25 21:16:50 Cumulative sum of list taisei Success
283 2019/08/25 21:14:54 Cumulative sum of list kozima Success
282 2019/08/25 21:13:07 forall l: list nat, l @ [0] <> [] satos Success
281 2019/08/25 21:12:16 Cumulative sum of list splatoon_suki Success
280 2019/08/25 21:11:55 forall l: list nat, l @ [0] <> [] utgwkk Success
279 2019/08/25 21:10:57 forall l: list nat, l @ [0] <> [] suibaka Success
278 2019/08/25 21:10:39 forall l: list nat, l @ [0] <> [] sorata Success
277 2019/08/25 21:10:21 Cumulative sum of list kaz Success
276 2019/08/25 21:08:50 forall l: list nat, l @ [0] <> [] kanra824 Success
275 2019/08/25 21:07:19 forall l: list nat, l @ [0] <> [] prime Success
274 2019/08/25 21:03:51 forall l: list nat, l @ [0] <> [] suibaka Failure
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

>>Show ALL