# | Name | Publish time | Difficulty | Compiler | Source code policy | |
---|---|---|---|---|---|---|
55 | Sum of n^3 | 2020/08/16 20:00:00 | 1 | Coq 8.11.1 | Public | |
56 | Rotate once | 2020/08/16 20:00:00 | 2 | Coq 8.11.1 | Public | |
57 | Fibonacci numbers modulo 2 | 2020/08/16 20:00:00 | 2 | Coq 8.11.1 | Public | |
58 | The set of all finite sequences of bool is countable | 2020/08/16 20:00:00 | 2 | Coq 8.11.1 | Public |
# | User | A (1000) | B (2000) | C (2000) | D (2000) | Total |
---|---|---|---|---|---|---|
1 | kozima | 990 | 1345 | 1857 | 4192 | |
2 | kik | 953 | 1267 | 2220 | ||
3 | sorata | 973 | 1144 | 2117 | ||
4 | kano | 934 | 934 | |||
5 | mttm | 889 | 889 |
# | Time | Task Name | User Name | Status | ||
---|---|---|---|---|---|---|
1690 | 2020/08/16 21:42:40 | Rotate once | sorata | Success | ||
1689 | 2020/08/16 21:27:51 | Fibonacci numbers modulo 2 | kik | Success | ||
1688 | 2020/08/16 21:18:35 | Rotate once | kozima | Success | ||
1687 | 2020/08/16 20:26:26 | Sum of n^3 | mttm | Success | ||
1686 | 2020/08/16 20:21:59 | Sum of n^3 | mttm | Rejected | ||
1685 | 2020/08/16 20:17:04 | Fibonacci numbers modulo 2 | kozima | Success | ||
1684 | 2020/08/16 20:15:44 | Sum of n^3 | kano | Success | ||
1683 | 2020/08/16 20:11:15 | Sum of n^3 | kik | Success | ||
1682 | 2020/08/16 20:06:17 | Sum of n^3 | sorata | Success | ||
1681 | 2020/08/16 20:02:15 | Sum of n^3 | kozima | Success |