Submissions

Filter

Task Name
User Name
Judge Status

Found 1993 submissions.

# Time Task Name User Name Status
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
477 2019/09/08 20:24:19 Summand of one efk Success
476 2019/09/08 20:20:41 Summand of one spica314 Success
475 2019/09/08 20:18:29 Summand of one coorde Success
474 2019/09/08 20:17:04 Summand of one coorde Failure
473 2019/09/08 20:15:34 Multiplication in F_2 is idempotent kaz Success
472 2019/09/08 20:14:54 Definitions of injectivity sorata Success
471 2019/09/08 20:12:59 Definitions of injectivity sorata Failure
470 2019/09/08 20:12:52 Definitions of injectivity kkob Success
469 2019/09/08 20:11:41 Definitions of injectivity kimiyuki Success
468 2019/09/08 20:11:06 Definitions of injectivity muratak Success
467 2019/09/08 20:10:30 Definitions of injectivity satos Success
466 2019/09/08 20:09:51 Summand of one prime Success
465 2019/09/08 20:08:16 Summand of one cympfh Success
464 2019/09/08 20:08:07 Multiplication in F_2 is idempotent kkob Success
463 2019/09/08 20:07:04 Definitions of injectivity pekempey Success
462 2019/09/08 20:06:49 Definitions of injectivity kaz Success
461 2019/09/08 20:05:37 Summand of one sorata Success
460 2019/09/08 20:03:37 Summand of one kimiyuki Success
459 2019/09/08 20:02:56 Summand of one drafear Success
458 2019/09/08 20:02:54 Summand of one okaduki Success
457 2019/09/08 20:02:29 Summand of one satos Success
456 2019/09/08 20:01:23 Summand of one kkob Success
455 2019/09/08 20:01:20 Summand of one kaz Success
454 2019/09/08 20:01:17 Summand of one muratak Success
453 2019/09/08 20:00:44 Summand of one pekempey Success
452 2019/09/08 18:22:29 Identity permutation kozima Success
451 2019/09/08 18:22:07 Multiplication in F_2 is idempotent kozima Success
450 2019/09/08 18:21:27 Definitions of injectivity kozima Success
449 2019/09/08 18:20:38 Summand of one kozima Success
448 2019/09/05 01:14:15 forall l: list nat, l @ [0] <> [] cympfh Success
447 2019/09/03 20:55:59 forall f: bool -> bool, f^3(x) = f(x) cympfh Success
446 2019/09/03 20:51:57 forall f: bool -> bool, f^3(x) = f(x) cympfh Success
445 2019/09/03 20:43:18 forall f: bool -> bool, f^3(x) = f(x) cympfh Failure
444 2019/09/03 20:36:23 1 + 1 = 2 cympfh Success

>>Show ALL