TopProver ver.0.7.0

#6: Sprint Round 5

# Name Publish time Difficulty Compiler Source code policy
25 Boolean-hole principle 2019/10/06 20:00:00 1 Coq 8.11.1 Public
26 Three is prime 2019/10/06 20:00:00 1 Coq 8.11.1 Public
27 Two is not Three 2019/10/06 20:00:00 2 Coq 8.11.1 Public
28 Iterated iteration 2019/10/06 20:00:00 3 Coq 8.11.1 Public

Scoreboard

# User A (1000) B (1000) C (2000) D (3000) Total
1 kaz 989 980 1908 2656 6533
2 kkob 996 991 1665 2719 6371
3 momohatt 994 963 1322 2608 5887
4 yodvhskd 970 935 1665 2207 5777
5 hirosegolf 992 945 1730 1890 5557
6 sorata 798 796 1353 2412 5359
7 pekempey 995 885 1725 3605
8 okaduki 975 824 1799
9 yamarten 917 855 1772
10 coorde 851 822 1673
11 mttm 804 804

Submissions

# Time Task Name User Name Status
871 2019/10/06 21:41:56 Iterated iteration pekempey Success
870 2019/10/06 21:41:43 Iterated iteration coorde Rejected
869 2019/10/06 21:41:08 Iterated iteration coorde Failure
868 2019/10/06 21:28:45 Iterated iteration hirosegolf Success
867 2019/10/06 21:28:07 Iterated iteration hirosegolf Failure
866 2019/10/06 21:21:20 Two is not Three momohatt Success
865 2019/10/06 21:17:34 Two is not Three sorata Success
864 2019/10/06 21:03:23 Iterated iteration yodvhskd Success
863 2019/10/06 20:59:47 Iterated iteration pekempey Rejected
862 2019/10/06 20:48:47 Three is prime sorata Success
861 2019/10/06 20:48:25 Boolean-hole principle sorata Success
860 2019/10/06 20:46:58 Iterated iteration sorata Success
859 2019/10/06 20:46:50 Boolean-hole principle mttm Success
858 2019/10/06 20:42:38 Three is prime coorde Success
857 2019/10/06 20:42:03 Three is prime okaduki Success
856 2019/10/06 20:40:08 Two is not Three yodvhskd Success
855 2019/10/06 20:40:04 Two is not Three kkob Success
854 2019/10/06 20:35:36 Boolean-hole principle coorde Success
853 2019/10/06 20:34:40 Three is prime yamarten Success
852 2019/10/06 20:32:23 Two is not Three hirosegolf Success
851 2019/10/06 20:31:17 Iterated iteration momohatt Success
850 2019/10/06 20:27:29 Three is prime pekempey Success
849 2019/10/06 20:27:27 Iterated iteration kaz Success
848 2019/10/06 20:27:25 Iterated iteration momohatt Rejected
847 2019/10/06 20:26:17 Iterated iteration momohatt Failure
846 2019/10/06 20:22:25 Iterated iteration kkob Success
845 2019/10/06 20:19:44 Boolean-hole principle yamarten Success
844 2019/10/06 20:18:32 Three is prime sorata Failure
843 2019/10/06 20:15:31 Three is prime yodvhskd Success
842 2019/10/06 20:13:00 Three is prime hirosegolf Success
841 2019/10/06 20:10:59 Two is not Three kaz Success
840 2019/10/06 20:08:51 Three is prime momohatt Success
839 2019/10/06 20:07:03 Boolean-hole principle yodvhskd Success
838 2019/10/06 20:05:49 Boolean-hole principle okaduki Success
837 2019/10/06 20:04:41 Three is prime kaz Success
836 2019/10/06 20:02:27 Boolean-hole principle kaz Success
835 2019/10/06 20:02:00 Boolean-hole principle sorata Failure
834 2019/10/06 20:01:56 Three is prime kkob Success
833 2019/10/06 20:01:41 Boolean-hole principle hirosegolf Success
832 2019/10/06 20:01:15 Boolean-hole principle momohatt Success
831 2019/10/06 20:01:03 Boolean-hole principle pekempey Success
830 2019/10/06 20:00:50 Boolean-hole principle kkob Success