TopProver ver.0.7.0

#1: Trial 1

# Name Publish time Difficulty Compiler Source code policy
3 1 + 1 = 2 2019/08/18 16:00:00 1 Coq 8.11.1 Public
4 forall f: bool -> bool, f^3(x) = f(x) 2019/08/18 16:00:00 1 Coq 8.11.1 Public
5 n * S m = n + n * m 2019/08/18 16:00:00 1 Coq 8.11.1 Public
6 n < m \/ n = m \/ n > m 2019/08/18 16:00:00 2 Coq 8.11.1 Public
7 Product of n consecutive integers is divisible by n! 2019/08/18 16:00:00 3 Coq 8.11.1 Public
8 Equivalent two quicksorts 2019/08/18 16:00:00 4 Coq 8.11.1 Public

Scoreboard

# User A (1000) B (1000) C (1000) D (2000) E (3000) F (4000) Total
1 koba 998 975 965 1922 2623 7483
2 drafear 997 973 960 1844 4774
3 prime 994 965 954 1841 4754
4 kimiyuki 987 975 969 1783 4714
5 utgwkk 998 965 980 1767 4710
6 suibaka 998 985 956 1747 4686
7 hanazuki 963 924 905 1794 4586
8 CoiL 987 935 907 1627 4456
9 kcz 979 777 868 1381 4005
10 etonagisa 983 921 1361 3265
11 siotouto 920 777 676 2373
12 heno239 975 813 527 2315
13 kurgm 874 809 1683
14 wass80 1231 1231

Submissions

# Time Task Name User Name Status
117 2019/08/18 19:57:54 1 + 1 = 2 kcz Failure
116 2019/08/18 19:57:35 1 + 1 = 2 kcz Failure
113 2019/08/18 19:46:33 n * S m = n + n * m heno239 Success
112 2019/08/18 19:10:36 n * S m = n + n * m kcz Failure
111 2019/08/18 19:04:29 n < m \/ n = m \/ n > m wass80 Success
109 2019/08/18 18:35:19 n * S m = n + n * m siotouto Success
108 2019/08/18 18:33:18 n < m \/ n = m \/ n > m etonagisa Success
107 2019/08/18 18:28:32 n < m \/ n = m \/ n > m kcz Success
106 2019/08/18 18:18:40 Equivalent two quicksorts koba Failure
105 2019/08/18 17:47:00 forall f: bool -> bool, f^3(x) = f(x) siotouto Success
104 2019/08/18 17:46:41 forall f: bool -> bool, f^3(x) = f(x) kcz Success
103 2019/08/18 17:31:37 forall f: bool -> bool, f^3(x) = f(x) kurgm Success
102 2019/08/18 17:30:01 n * S m = n + n * m etonagisa Failure
101 2019/08/18 17:29:27 n < m \/ n = m \/ n > m CoiL Success
100 2019/08/18 17:29:26 forall f: bool -> bool, f^3(x) = f(x) heno239 Success
99 2019/08/18 17:17:37 n < m \/ n = m \/ n > m CoiL Failure
98 2019/08/18 17:16:37 n < m \/ n = m \/ n > m CoiL Failure
97 2019/08/18 17:03:48 n < m \/ n = m \/ n > m utgwkk Success
96 2019/08/18 17:03:21 n * S m = n + n * m kcz Success
95 2019/08/18 17:00:39 n < m \/ n = m \/ n > m suibaka Success
94 2019/08/18 17:00:12 Product of n consecutive integers is divisible by n! koba Success
93 2019/08/18 17:00:04 1 + 1 = 2 kurgm Success
92 2019/08/18 16:55:43 n < m \/ n = m \/ n > m utgwkk Success
91 2019/08/18 16:51:57 n < m \/ n = m \/ n > m kimiyuki Success
90 2019/08/18 16:49:26 n < m \/ n = m \/ n > m hanazuki Success
89 2019/08/18 16:45:35 n * S m = n + n * m hanazuki Success
88 2019/08/18 16:44:37 n * S m = n + n * m CoiL Success
87 2019/08/18 16:38:17 1 + 1 = 2 siotouto Success
86 2019/08/18 16:37:58 n < m \/ n = m \/ n > m prime Success
85 2019/08/18 16:37:41 forall f: bool -> bool, f^3(x) = f(x) etonagisa Success
84 2019/08/18 16:37:24 n < m \/ n = m \/ n > m drafear Success
83 2019/08/18 16:36:01 forall f: bool -> bool, f^3(x) = f(x) hanazuki Success
82 2019/08/18 16:32:41 n * S m = n + n * m prime Success
80 2019/08/18 16:30:46 forall f: bool -> bool, f^3(x) = f(x) CoiL Success
79 2019/08/18 16:27:01 n * S m = n + n * m utgwkk Success
77 2019/08/18 16:21:36 n * S m = n + n * m prime Success
76 2019/08/18 16:20:59 n * S m = n + n * m suibaka Success
75 2019/08/18 16:18:54 n * S m = n + n * m drafear Success
74 2019/08/18 16:18:42 n < m \/ n = m \/ n > m koba Success
73 2019/08/18 16:17:35 1 + 1 = 2 hanazuki Success
72 2019/08/18 16:16:33 n * S m = n + n * m koba Success
71 2019/08/18 16:16:26 forall f: bool -> bool, f^3(x) = f(x) utgwkk Success
70 2019/08/18 16:16:21 forall f: bool -> bool, f^3(x) = f(x) prime Success
69 2019/08/18 16:14:40 n * S m = n + n * m kimiyuki Success
68 2019/08/18 16:12:50 forall f: bool -> bool, f^3(x) = f(x) drafear Success
66 2019/08/18 16:11:57 forall f: bool -> bool, f^3(x) = f(x) koba Success
65 2019/08/18 16:11:48 1 + 1 = 2 heno239 Success
64 2019/08/18 16:11:45 forall f: bool -> bool, f^3(x) = f(x) kimiyuki Success
62 2019/08/18 16:09:58 1 + 1 = 2 kcz Success
61 2019/08/18 16:09:16 1 + 1 = 2 kcz Failure
60 2019/08/18 16:09:07 n * S m = n + n * m utgwkk Success
59 2019/08/18 16:08:51 n * S m = n + n * m utgwkk Failure
58 2019/08/18 16:08:47 forall f: bool -> bool, f^3(x) = f(x) drafear Failure
57 2019/08/18 16:08:35 forall f: bool -> bool, f^3(x) = f(x) drafear Failure
56 2019/08/18 16:08:06 1 + 1 = 2 etonagisa Success
55 2019/08/18 16:06:47 forall f: bool -> bool, f^3(x) = f(x) suibaka Success
54 2019/08/18 16:06:14 1 + 1 = 2 kimiyuki Success
53 2019/08/18 16:06:12 1 + 1 = 2 CoiL Success
52 2019/08/18 16:02:38 1 + 1 = 2 prime Success
51 2019/08/18 16:01:46 1 + 1 = 2 CoiL Failure
50 2019/08/18 16:01:21 1 + 1 = 2 drafear Success
49 2019/08/18 16:00:54 1 + 1 = 2 suibaka Success
47 2019/08/18 16:00:42 1 + 1 = 2 utgwkk Success
46 2019/08/18 16:00:30 1 + 1 = 2 koba Success