Submissions

Filter

Task Name
User Name
Judge Status

Found 1477 submissions.

# Time Task Name User Name Status
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
522 2019/09/09 00:02:22 Identity permutation taisei Success
521 2019/09/08 23:48:44 Multiplication in F_2 is idempotent kurgm Success
520 2019/09/08 23:35:28 Multiplication in F_2 is idempotent cympfh Success
519 2019/09/08 23:30:05 Identity permutation okaduki Success
518 2019/09/08 23:12:17 Identity permutation okaduki Success
517 2019/09/08 22:51:49 Identity permutation koba Success
516 2019/09/08 22:49:39 Definitions of injectivity kurgm Success
515 2019/09/08 22:34:34 Identity permutation kkob Success
514 2019/09/08 22:26:18 Multiplication in F_2 is idempotent koba Success
513 2019/09/08 22:17:51 Identity permutation kkob Success
512 2019/09/08 22:15:20 Definitions of injectivity koba Success
511 2019/09/08 22:10:57 Definitions of injectivity spica314 Rejected
510 2019/09/08 22:06:45 Multiplication in F_2 is idempotent prime Success
509 2019/09/08 22:03:37 Multiplication in F_2 is idempotent efk Success
508 2019/09/08 22:00:03 Summand of one koba Success
507 2019/09/08 21:59:21 Identity permutation kkob Success
506 2019/09/08 21:52:23 Definitions of injectivity spica314 Rejected
505 2019/09/08 21:47:13 Summand of one kurgm Success
504 2019/09/08 21:39:55 Identity permutation mttm Success
503 2019/09/08 21:34:09 Definitions of injectivity okaduki Success
502 2019/09/08 21:28:09 Definitions of injectivity yamarten Success
501 2019/09/08 21:25:31 Identity permutation muratak Success
500 2019/09/08 21:25:05 Identity permutation muratak Failure
499 2019/09/08 21:24:25 Identity permutation muratak Failure
498 2019/09/08 21:12:32 Summand of one yamarten Success
497 2019/09/08 21:10:48 Identity permutation drafear Success
496 2019/09/08 21:10:31 Identity permutation drafear Success
495 2019/09/08 21:10:18 Identity permutation kimiyuki Success
494 2019/09/08 21:09:02 Definitions of injectivity efk Success
493 2019/09/08 21:08:04 Definitions of injectivity efk Failure
492 2019/09/08 21:07:35 Multiplication in F_2 is idempotent okaduki Success
491 2019/09/08 20:55:08 Multiplication in F_2 is idempotent drafear Success
490 2019/09/08 20:54:17 Identity permutation satos Success
489 2019/09/08 20:52:05 Identity permutation pekempey Success
488 2019/09/08 20:51:22 Definitions of injectivity cympfh Success
487 2019/09/08 20:47:35 Identity permutation sorata Success
486 2019/09/08 20:45:16 Identity permutation sorata Failure
485 2019/09/08 20:43:39 Multiplication in F_2 is idempotent kimiyuki Success
484 2019/09/08 20:36:35 Multiplication in F_2 is idempotent satos Success
483 2019/09/08 20:35:30 Multiplication in F_2 is idempotent muratak Success
482 2019/09/08 20:31:57 Definitions of injectivity drafear Success
481 2019/09/08 20:25:47 Identity permutation kaz Success
480 2019/09/08 20:25:46 Multiplication in F_2 is idempotent sorata Success
479 2019/09/08 20:25:16 Summand of one siotouto Success
478 2019/09/08 20:24:41 Multiplication in F_2 is idempotent pekempey Success

>>Show ALL