Submissions

Filter

Task Name
User Name
Judge Status

Found 1477 submissions.

# Time Task Name User Name Status
777 2019/09/23 04:20:40 plus_assoc kkob Success
776 2019/09/23 04:20:36 plus_assoc kkob Success
775 2019/09/23 04:20:28 plus_assoc kkob Success
774 2019/09/23 04:19:18 plus_assoc kkob Success
773 2019/09/23 04:18:55 plus_assoc kkob Success
772 2019/09/23 03:13:17 plus_assoc kkob Success
771 2019/09/23 03:02:18 plus_assoc kkob Success
770 2019/09/23 02:59:02 plus_assoc kkob Success
769 2019/09/23 02:50:15 plus_assoc kkob Success
768 2019/09/23 02:33:24 1 + 1 = 2 melan Success
767 2019/09/23 02:32:20 1 + 1 = 2 melan Failure
766 2019/09/23 00:17:36 mult_n_O kozima Success
765 2019/09/23 00:00:10 Multiplication of non-zero value in F_p is injective muratak Success
764 2019/09/22 23:59:21 Multiplication of non-zero value in F_p is injective muratak Failure
763 2019/09/22 22:37:07 Multiplication of non-zero value in F_p is injective kkob Success
762 2019/09/22 22:01:31 Multiplication of non-zero value in F_p is injective prime Success
761 2019/09/22 21:56:45 Multiplication of non-zero value in F_p is injective drafear Failure
760 2019/09/22 21:56:02 Multiplication of non-zero value in F_p is injective pekempey Success
759 2019/09/22 21:54:35 De Morgan's laws in Coq mkakh Rejected
758 2019/09/22 21:49:06 Any natural number is expressible in binary notation spica314 Success
757 2019/09/22 21:47:16 Any natural number is expressible in binary notation yamarten Success
756 2019/09/22 21:46:21 Any natural number is expressible in binary notation muratak Success
755 2019/09/22 21:46:10 Any natural number is expressible in binary notation yamarten Failure
754 2019/09/22 21:45:42 Any natural number is expressible in binary notation muratak Failure
753 2019/09/22 21:44:59 Any natural number is expressible in binary notation muratak Failure
752 2019/09/22 21:35:06 Any natural number is expressible in binary notation efk Success
751 2019/09/22 21:24:50 De Morgan's laws in Coq Haar Success
750 2019/09/22 21:17:12 Any natural number is expressible in binary notation wass88 Success
749 2019/09/22 21:16:40 Any natural number is expressible in binary notation wass88 Failure
748 2019/09/22 21:13:42 Any natural number is expressible in binary notation taisei Success
747 2019/09/22 21:12:05 Any natural number is expressible in binary notation wass88 Failure
746 2019/09/22 21:10:58 Any natural number is expressible in binary notation wass88 Failure
745 2019/09/22 21:08:06 Any natural number is expressible in binary notation taisei Failure
744 2019/09/22 21:06:37 Any natural number is expressible in binary notation prime Success
743 2019/09/22 21:06:10 De Morgan's laws in Coq minaminao Success
742 2019/09/22 21:05:27 Any natural number is expressible in binary notation taisei Failure
741 2019/09/22 21:04:28 De Morgan's laws in Coq minaminao Rejected
740 2019/09/22 21:03:14 Any natural number is expressible in binary notation taisei Failure
739 2019/09/22 21:02:29 Multiplication of non-zero value in F_p is injective sorata Success
738 2019/09/22 20:59:35 Any natural number is expressible in binary notation taisei Failure
737 2019/09/22 20:55:34 De Morgan's laws in Coq Haar Rejected
736 2019/09/22 20:53:08 De Morgan's laws in Coq mkakh Rejected
735 2019/09/22 20:48:03 De Morgan's laws in Coq okaduki Success
734 2019/09/22 20:46:14 Any natural number is expressible in binary notation kaz Success
733 2019/09/22 20:45:54 Multiplication of non-zero value in F_p is injective kozima Success
732 2019/09/22 20:45:21 mult_n_O minaminao Success
731 2019/09/22 20:42:52 De Morgan's laws in Coq okaduki Rejected
730 2019/09/22 20:39:55 Any natural number is expressible in binary notation coorde Success
729 2019/09/22 20:36:34 Any natural number is expressible in binary notation pekempey Success
728 2019/09/22 20:34:50 Any natural number is expressible in binary notation pekempey Failure

>>Show ALL