Submissions

Filter

Task Name
User Name
Judge Status

Found 1477 submissions.

# Time Task Name User Name Status
377 2019/08/26 21:03:24 forall f: bool -> bool, f^3(x) = f(x) chiguri Success
376 2019/08/26 20:59:40 1 + 1 = 2 chiguri Success
375 2019/08/26 20:59:29 plus_comm cympfh Success
374 2019/08/26 20:58:31 plus_comm chiguri Success
373 2019/08/26 20:56:24 plus_assoc coorde Success
372 2019/08/26 20:50:10 plus_assoc chiguri Success
371 2019/08/26 20:49:02 plus_assoc chiguri Failure
370 2019/08/26 20:34:32 1 + 1 = 2 coorde Success
369 2019/08/26 20:22:31 plus_comm drafear Success
368 2019/08/26 20:21:59 plus_comm drafear Failure
367 2019/08/26 19:43:13 plus_assoc cympfh Success
366 2019/08/26 19:42:32 plus_assoc cympfh Failure
365 2019/08/26 18:58:12 plus_comm mttm Success
364 2019/08/26 18:20:38 Cumulative sum of list sorata Success
363 2019/08/26 14:30:09 forall l: list nat, l @ [0] <> [] heno239 Success
362 2019/08/26 12:30:16 l1 <> l2 if l2 is an odd permutation of l1 kkob Success
361 2019/08/26 10:22:23 n < m \/ n = m \/ n > m a_happin Success
360 2019/08/26 08:57:52 plus_comm spica314 Success
359 2019/08/26 08:32:58 plus_assoc spica314 Success
358 2019/08/26 04:20:30 forall l: list nat, l @ [0] <> [] pekempey Success
357 2019/08/26 03:52:57 l1 <> l2 if l2 is an odd permutation of l1 suibaka Success
356 2019/08/26 03:51:12 l1 <> l2 if l2 is an odd permutation of l1 suibaka Failure
355 2019/08/26 03:48:10 l1 <> l2 if l2 is an odd permutation of l1 suibaka Failure
354 2019/08/26 03:45:48 n * S m = n + n * m omochana2 Success
353 2019/08/26 03:37:39 plus_comm omochana2 Success
352 2019/08/26 03:30:24 plus_comm omochana2 Failure
351 2019/08/26 03:29:33 plus_assoc omochana2 Success
350 2019/08/26 02:58:33 forall f: bool -> bool, f^3(x) = f(x) omochana2 Success
349 2019/08/26 02:40:25 plus_comm mttm Success
348 2019/08/26 02:36:37 plus_assoc mttm Success
347 2019/08/26 02:36:18 n < m \/ n = m \/ n > m spica314 Success
346 2019/08/26 02:34:30 plus_assoc mttm Failure
345 2019/08/26 02:23:02 Product of n consecutive integers is divisible by n! prime Success
344 2019/08/26 01:50:30 n * S m = n + n * m mttm Success
343 2019/08/26 01:46:22 1 + 1 = 2 omochana2 Success
342 2019/08/26 01:45:15 n * S m = n + n * m spica314 Success
341 2019/08/26 01:19:10 n * S m = n + n * m prime Success
340 2019/08/26 01:16:25 1 + 1 = 2 prime Success
339 2019/08/26 01:13:50 forall f: bool -> bool, f^3(x) = f(x) prime Success
338 2019/08/26 01:11:50 l1 <> l2 if l2 is an odd permutation of l1 drafear Success
337 2019/08/26 01:11:06 l1 <> l2 if l2 is an odd permutation of l1 drafear Failure
336 2019/08/26 01:11:02 forall l: list nat, l @ [0] <> [] prime Success
335 2019/08/26 01:10:31 Cumulative sum of list prime Success
334 2019/08/26 01:09:41 forall f: bool -> bool, f^3(x) = f(x) mttm Success
333 2019/08/26 01:08:42 l1 <> l2 if l2 is an odd permutation of l1 prime Success
332 2019/08/26 00:47:39 1 + 1 = 2 mttm Success
331 2019/08/26 00:38:37 forall l: list nat, l @ [0] <> [] yishibashi Success
330 2019/08/26 00:17:20 Cumulative sum of list a_happin Success
329 2019/08/26 00:12:22 forall f: bool -> bool, f^3(x) = f(x) yishibashi Success
328 2019/08/25 23:49:36 l1 <> l2 if l2 is an odd permutation of l1 kaz Failure

>>Show ALL