TopProver ver.0.7.0

#5: Sprint Round 4

# Name Publish time Difficulty Compiler Source code policy
21 mult_n_O 2019/09/22 20:00:00 1 Coq 8.11.1 Public
22 De Morgan's laws in Coq 2019/09/22 20:00:00 1 Coq 8.11.1 Public
23 Any natural number is expressible in binary notation 2019/09/22 20:00:00 2 Coq 8.11.1 Public
24 Multiplication of non-zero value in F_p is injective 2019/09/22 20:00:00 3 Coq 8.11.1 Public

Scoreboard

# User A (1000) B (1000) C (2000) D (3000) Total
1 kkob 994 985 1846 2587 6412
2 kozima 994 988 1892 2426 6300
3 sorata 987 962 1784 2218 5951
4 pekempey 998 976 1695 1549 5218
5 drafear 976 905 1713 3594
6 coorde 951 896 1667 3514
7 kaz 898 898 1614 3410
8 prime 994 897 1444 3335
9 taisei 986 961 1385 3332
10 wass88 958 915 1356 3229
11 muratak 995 975 1113 3083
12 efk 955 914 1207 3076
13 yamarten 989 954 1106 3049
14 spica314 994 935 1090 3019
15 cympfh 990 943 1933
16 mttm 953 896 1849
17 okaduki 897 799 1696
18 Haar 982 646 1628
19 minaminao 810 724 1534
20 mkakh 995 995

Submissions

# Time Task Name User Name Status
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
727 2019/09/22 20:34:24 Any natural number is expressible in binary notation drafear Success
726 2019/09/22 20:32:58 Multiplication of non-zero value in F_p is injective kkob Success
725 2019/09/22 20:32:37 Any natural number is expressible in binary notation pekempey Failure
724 2019/09/22 20:30:10 Any natural number is expressible in binary notation drafear Failure
723 2019/09/22 20:25:52 Any natural number is expressible in binary notation sorata Success
722 2019/09/22 20:24:48 De Morgan's laws in Coq coorde Success
721 2019/09/22 20:24:44 De Morgan's laws in Coq mttm Success
720 2019/09/22 20:24:35 De Morgan's laws in Coq prime Success
719 2019/09/22 20:24:29 mult_n_O okaduki Success
718 2019/09/22 20:24:22 De Morgan's laws in Coq kaz Success
717 2019/09/22 20:24:21 mult_n_O kaz Success
716 2019/09/22 20:22:37 De Morgan's laws in Coq drafear Success
715 2019/09/22 20:20:25 De Morgan's laws in Coq efk Success
714 2019/09/22 20:20:23 De Morgan's laws in Coq wass88 Success
713 2019/09/22 20:19:12 Any natural number is expressible in binary notation drafear Failure
712 2019/09/22 20:18:25 Any natural number is expressible in binary notation kkob Success
711 2019/09/22 20:15:35 De Morgan's laws in Coq spica314 Success
710 2019/09/22 20:13:32 De Morgan's laws in Coq cympfh Success
709 2019/09/22 20:12:54 Any natural number is expressible in binary notation kozima Success
708 2019/09/22 20:11:41 mult_n_O coorde Success
707 2019/09/22 20:11:15 mult_n_O mttm Success
706 2019/09/22 20:11:00 De Morgan's laws in Coq yamarten Success
705 2019/09/22 20:10:38 mult_n_O efk Success
704 2019/09/22 20:10:05 De Morgan's laws in Coq drafear Rejected
703 2019/09/22 20:09:57 mult_n_O wass88 Success
702 2019/09/22 20:09:28 Any natural number is expressible in binary notation drafear Failure
701 2019/09/22 20:09:13 De Morgan's laws in Coq taisei Success
700 2019/09/22 20:09:02 De Morgan's laws in Coq sorata Success
699 2019/09/22 20:05:48 De Morgan's laws in Coq muratak Success
698 2019/09/22 20:05:37 De Morgan's laws in Coq pekempey Success
697 2019/09/22 20:05:32 mult_n_O drafear Success
696 2019/09/22 20:04:10 mult_n_O Haar Success
695 2019/09/22 20:03:31 De Morgan's laws in Coq kkob Success
694 2019/09/22 20:03:19 mult_n_O taisei Success
693 2019/09/22 20:02:57 mult_n_O sorata Success
692 2019/09/22 20:02:46 De Morgan's laws in Coq kozima Success
691 2019/09/22 20:02:37 mult_n_O yamarten Success
690 2019/09/22 20:02:09 mult_n_O cympfh Success
689 2019/09/22 20:01:22 mult_n_O kozima Success
688 2019/09/22 20:01:21 mult_n_O spica314 Success
687 2019/09/22 20:01:19 mult_n_O kkob Success
686 2019/09/22 20:01:13 mult_n_O prime Success
685 2019/09/22 20:01:08 mult_n_O mkakh Success
684 2019/09/22 20:01:06 mult_n_O muratak Success
683 2019/09/22 20:00:52 mult_n_O cympfh Failure
682 2019/09/22 20:00:27 mult_n_O pekempey Success