| 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 |
|
|