Submissions

Filter

Task Name
User Name
Judge Status

Found 1722 submissions.

# Time Task Name User Name Status
572 2019/09/15 17:13:56 count l n = count (rev l) n kkob Success
571 2019/09/15 17:12:22 count l n = count (rev l) n kozima Success
570 2019/09/15 17:06:42 gcd(n, n+1) = 1 sorata Success
569 2019/09/15 17:06:29 gcd(n, n+1) = 1 kkob Success
568 2019/09/15 17:06:16 gcd(n, n+1) = 1 pekempey Success
567 2019/09/15 17:05:53 gcd(n, n+1) = 1 pekempey Failure
566 2019/09/15 17:05:51 gcd(n, n+1) = 1 prime Success
565 2019/09/15 17:05:37 gcd(n, n+1) = 1 sorata Failure
564 2019/09/15 17:04:35 gcd(n, n+1) = 1 pekempey Failure
563 2019/09/15 17:03:52 gcd(n, n+1) = 1 kozima Success
562 2019/09/15 16:53:52 Multiplication in F_2 is idempotent spica314 Success
561 2019/09/15 16:35:29 1 + 1 = 2 asi1024 Success
560 2019/09/14 21:51:35 Equivalent two quicksorts kozima Success
559 2019/09/14 20:37:23 Cumulative sum of list yamarten Success
558 2019/09/14 20:34:38 Cumulative sum of list yamarten Rejected
557 2019/09/14 16:33:21 Grand Garden drafear Success
556 2019/09/14 16:33:00 unique count drafear Success
555 2019/09/14 16:32:40 unique (unique l) = l drafear Success
554 2019/09/14 16:32:20 count l n = count (rev l) n drafear Success
553 2019/09/14 16:31:57 gcd(n, n+1) = 1 drafear Success
552 2019/09/14 02:56:26 Equivalent two quicksorts kkob Success
551 2019/09/14 02:54:55 Equivalent two quicksorts kkob Failure
550 2019/09/13 22:59:28 forall l: list nat, l @ [0] <> [] minaminao Success
549 2019/09/13 22:21:16 n * S m = n + n * m minaminao Success
548 2019/09/13 22:02:40 forall f: bool -> bool, f^3(x) = f(x) minaminao Success
547 2019/09/13 21:04:14 Summand of one minaminao Success
546 2019/09/13 20:33:59 1 + 1 = 2 minaminao Success
545 2019/09/13 20:33:01 plus_comm minaminao Success
544 2019/09/13 18:00:23 forall l: list nat, l @ [0] <> [] cympfh Success
543 2019/09/13 17:57:53 forall l: list nat, l @ [0] <> [] cympfh Success
542 2019/09/12 23:11:18 plus_assoc minaminao Success
541 2019/09/12 20:48:27 n * S m = n + n * m egashira Success
540 2019/09/12 20:30:48 plus_comm egashira Success
539 2019/09/12 20:25:40 plus_assoc egashira Success
538 2019/09/12 20:22:52 1 + 1 = 2 egashira Success
537 2019/09/11 21:30:07 1 + 1 = 2 skwbc Success
536 2019/09/10 07:43:52 n * S m = n + n * m Haar Success
535 2019/09/10 07:36:07 forall f: bool -> bool, f^3(x) = f(x) Haar Success
534 2019/09/09 18:37:57 Identity permutation cympfh Success
533 2019/09/09 17:39:14 l1 <> l2 if l2 is an odd permutation of l1 okaduki Success
532 2019/09/09 10:21:58 1 + 1 = 2 Haar Success
531 2019/09/09 10:15:42 plus_comm Haar Success
530 2019/09/09 10:09:50 plus_assoc Haar Success
529 2019/09/09 01:28:34 Definitions of injectivity spica314 Success
528 2019/09/09 00:42:39 Cumulative sum of list coorde Success
527 2019/09/09 00:36:30 Cumulative sum of list kurgm Success
526 2019/09/09 00:25:06 Definitions of injectivity coorde Success
525 2019/09/09 00:19:57 plus_assoc spica314 Success
524 2019/09/09 00:14:07 forall l: list nat, l @ [0] <> [] kurgm Success
523 2019/09/09 00:02:45 Multiplication in F_2 is idempotent coorde Success

>>Show ALL