# | Name | Publish time | Difficulty | Compiler | Source code policy | |
---|---|---|---|---|---|---|
61 | Flat CPO | 2020/09/27 20:00:00 | 1 | Coq 8.11.1 | Public | |
62 | If zero were not nat | 2020/09/27 20:00:00 | 2 | Coq 8.11.1 | Public | |
63 | Perfect Square? | 2020/09/27 20:00:00 | 2 | Coq 8.11.1 | Public | |
64 | Eat the Candies | 2020/09/27 20:00:00 | 3 | Coq 8.11.1 | Public |
# | User | A (1000) | B (2000) | C (2000) | D (3000) | Total |
---|---|---|---|---|---|---|
1 | kkob | 991 | 1958 | 1896 | 1683 | 6528 |
2 | yodvhskd | 990 | 1953 | 1880 | 4823 | |
3 | kik | 981 | 1917 | 1785 | 4683 | |
4 | sorata | 994 | 1888 | 1608 | 4490 | |
5 | kano | 782 | 1587 | 2369 |
# | Time | Task Name | User Name | Status | ||
---|---|---|---|---|---|---|
1729 | 2020/09/27 21:57:52 | Eat the Candies | kik | Failure | ||
1728 | 2020/09/27 21:45:17 | Eat the Candies | kkob | Success | ||
1727 | 2020/09/27 20:52:06 | Flat CPO | kano | Success | ||
1726 | 2020/09/27 20:49:26 | If zero were not nat | kano | Success | ||
1725 | 2020/09/27 20:46:56 | Perfect Square? | sorata | Success | ||
1724 | 2020/09/27 20:46:17 | Perfect Square? | sorata | Failure | ||
1723 | 2020/09/27 20:25:42 | Perfect Square? | kik | Success | ||
1722 | 2020/09/27 20:14:16 | Perfect Square? | yodvhskd | Success | ||
1721 | 2020/09/27 20:13:24 | If zero were not nat | sorata | Success | ||
1720 | 2020/09/27 20:12:24 | Perfect Square? | kkob | Success | ||
1719 | 2020/09/27 20:09:54 | If zero were not nat | kik | Success | ||
1718 | 2020/09/27 20:05:32 | If zero were not nat | yodvhskd | Success | ||
1717 | 2020/09/27 20:04:59 | If zero were not nat | kkob | Success | ||
1716 | 2020/09/27 20:04:22 | Flat CPO | kik | Success | ||
1715 | 2020/09/27 20:02:15 | Flat CPO | yodvhskd | Success | ||
1714 | 2020/09/27 20:01:56 | Flat CPO | kkob | Success | ||
1713 | 2020/09/27 20:01:18 | Flat CPO | sorata | Success |