| 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 |
|
|
| 117 |
2019/08/18 19:57:54
|
1 + 1 = 2
|
kcz |
Failure |
|
|
| 116 |
2019/08/18 19:57:35
|
1 + 1 = 2
|
kcz |
Failure |
|
|
| 115 |
2019/08/18 19:52:07
|
plus_assoc
|
kcz |
Failure |
|
|
| 114 |
2019/08/18 19:51:54
|
plus_assoc
|
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 |
|
|
| 110 |
2019/08/18 18:44:23
|
plus_assoc
|
etonagisa |
Failure |
|
|
| 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 |
|
|