167 |
2019/08/19 11:34:46
|
Product of n consecutive integers is divisible by n!
|
satanic0258 |
Success |
|
|
166 |
2019/08/19 11:17:26
|
forall f: bool -> bool, f^3(x) = f(x)
|
Mayimg |
Success |
|
|
165 |
2019/08/19 10:36:23
|
plus_comm
|
Mayimg |
Success |
|
|
164 |
2019/08/19 10:28:19
|
plus_assoc
|
Mayimg |
Success |
|
|
163 |
2019/08/19 10:27:19
|
plus_assoc
|
Mayimg |
Failure |
|
|
162 |
2019/08/19 10:26:33
|
plus_assoc
|
Mayimg |
Failure |
|
|
161 |
2019/08/19 10:20:09
|
plus_assoc
|
Mayimg |
Failure |
|
|
160 |
2019/08/19 08:57:56
|
n < m \/ n = m \/ n > m
|
pekempey |
Success |
|
|
159 |
2019/08/19 08:55:45
|
plus_assoc
|
pekempey |
Success |
|
|
158 |
2019/08/19 08:55:02
|
plus_assoc
|
pekempey |
Failure |
|
|
157 |
2019/08/19 06:00:58
|
n * S m = n + n * m
|
pekempey |
Success |
|
|
156 |
2019/08/19 05:47:38
|
n < m \/ n = m \/ n > m
|
satanic0258 |
Success |
|
|
155 |
2019/08/19 05:46:20
|
1 + 1 = 2
|
Mayimg |
Success |
|
|
154 |
2019/08/19 05:41:42
|
1 + 1 = 2
|
Mayimg |
Success |
|
|
153 |
2019/08/19 05:38:28
|
forall f: bool -> bool, f^3(x) = f(x)
|
pekempey |
Success |
|
|
152 |
2019/08/19 05:26:24
|
n * S m = n + n * m
|
satanic0258 |
Success |
|
|
151 |
2019/08/19 05:15:39
|
forall f: bool -> bool, f^3(x) = f(x)
|
satanic0258 |
Success |
|
|
150 |
2019/08/19 04:48:04
|
1 + 1 = 2
|
pekempey |
Success |
|
|
149 |
2019/08/19 04:47:24
|
plus_comm
|
pekempey |
Success |
|
|
148 |
2019/08/19 04:47:00
|
plus_comm
|
pekempey |
Failure |
|
|
147 |
2019/08/19 04:44:32
|
1 + 1 = 2
|
satanic0258 |
Success |
|
|
146 |
2019/08/19 04:42:20
|
plus_comm
|
satanic0258 |
Success |
|
|
145 |
2019/08/19 04:38:00
|
plus_assoc
|
pekempey |
Success |
|
|
144 |
2019/08/19 04:37:22
|
plus_assoc
|
satanic0258 |
Success |
|
|
143 |
2019/08/19 04:36:19
|
plus_assoc
|
satanic0258 |
Success |
|
|
142 |
2019/08/19 03:08:03
|
Equivalent two quicksorts
|
koba |
Success |
|
|
141 |
2019/08/19 03:00:23
|
Product of n consecutive integers is divisible by n!
|
drafear |
Success |
|
|
140 |
2019/08/19 02:59:48
|
Equivalent two quicksorts
|
drafear |
Failure |
|
|
139 |
2019/08/19 01:42:35
|
1 + 1 = 2
|
kanra824 |
Success |
|
|
138 |
2019/08/19 01:41:53
|
1 + 1 = 2
|
kanra824 |
Failure |
|
|
137 |
2019/08/19 01:36:57
|
1 + 1 = 2
|
kanra824 |
Failure |
|
|
136 |
2019/08/19 01:26:08
|
Equivalent two quicksorts
|
koba |
Success |
|
|
135 |
2019/08/19 00:56:32
|
Equivalent two quicksorts
|
koba |
Rejected |
|
|
134 |
2019/08/18 23:56:39
|
Equivalent two quicksorts
|
koba |
Rejected |
|
|
133 |
2019/08/18 23:47:12
|
n < m \/ n = m \/ n > m
|
OKU_K |
Success |
|
|
132 |
2019/08/18 23:35:07
|
n * S m = n + n * m
|
OKU_K |
Success |
|
|
131 |
2019/08/18 23:24:19
|
forall f: bool -> bool, f^3(x) = f(x)
|
OKU_K |
Success |
|
|
130 |
2019/08/18 23:11:29
|
1 + 1 = 2
|
OKU_K |
Success |
|
|
129 |
2019/08/18 23:08:11
|
plus_comm
|
OKU_K |
Success |
|
|
128 |
2019/08/18 23:07:26
|
plus_comm
|
OKU_K |
Failure |
|
|
127 |
2019/08/18 22:22:08
|
plus_comm
|
kurgm |
Success |
|
|
126 |
2019/08/18 22:17:26
|
plus_assoc
|
kurgm |
Success |
|
|
125 |
2019/08/18 22:17:13
|
Product of n consecutive integers is divisible by n!
|
suibaka |
Success |
|
|
124 |
2019/08/18 20:54:31
|
Equivalent two quicksorts
|
koba |
Rejected |
|
|
123 |
2019/08/18 20:50:01
|
n < m \/ n = m \/ n > m
|
kurgm |
Success |
|
|
122 |
2019/08/18 20:29:16
|
n < m \/ n = m \/ n > m
|
satos |
Success |
|
|
121 |
2019/08/18 20:27:46
|
n < m \/ n = m \/ n > m
|
satos |
Success |
|
|
120 |
2019/08/18 20:25:26
|
n * S m = n + n * m
|
kurgm |
Success |
|
|
119 |
2019/08/18 20:24:35
|
n * S m = n + n * m
|
etonagisa |
Success |
|
|
118 |
2019/08/18 20:01:22
|
Product of n consecutive integers is divisible by n!
|
prime |
Success |
|
|