193 
2019/08/21 04:59:24

Equivalent two quicksorts

satos 
Failure 


192 
2019/08/20 23:30:02

Product of n consecutive integers is divisible by n!

kozima 
Success 


191 
2019/08/20 20:02:54

plus_comm

minus3theta 
Success 


190 
2019/08/20 19:39:23

plus_assoc

minus3theta 
Success 


189 
2019/08/20 00:30:26

Product of n consecutive integers is divisible by n!

pekempey 
Success 


188 
2019/08/19 23:39:05

Product of n consecutive integers is divisible by n!

satos 
Success 


187 
2019/08/19 23:36:07

Product of n consecutive integers is divisible by n!

satos 
Failure 


186 
2019/08/19 19:09:04

plus_comm

heno239 
Success 


185 
2019/08/19 19:02:43

plus_assoc

heno239 
Success 


184 
2019/08/19 18:51:48

1 + 1 = 2

drafear 
Success 


183 
2019/08/19 17:57:32

n < m \/ n = m \/ n > m

okaduki 
Success 


182 
2019/08/19 17:09:42

n * S m = n + n * m

okaduki 
Success 


181 
2019/08/19 17:00:12

forall f: bool > bool, f^3(x) = f(x)

okaduki 
Success 


180 
2019/08/19 16:14:13

1 + 1 = 2

okaduki 
Success 


179 
2019/08/19 16:05:38

plus_comm

okaduki 
Success 


178 
2019/08/19 15:36:40

plus_comm

okaduki 
Failure 


177 
2019/08/19 15:36:09

plus_comm

okaduki 
Failure 


176 
2019/08/19 15:32:33

plus_assoc

okaduki 
Success 


175 
2019/08/19 15:30:47

plus_assoc

okaduki 
Success 


174 
2019/08/19 14:11:42

1 + 1 = 2

taro 
Failure 


173 
2019/08/19 14:07:14

n * S m = n + n * m

selpo 
Success 


172 
2019/08/19 13:54:08

forall f: bool > bool, f^3(x) = f(x)

selpo 
Success 


171 
2019/08/19 13:47:06

n * S m = n + n * m

minus3theta 
Success 


170 
2019/08/19 13:36:10

forall f: bool > bool, f^3(x) = f(x)

minus3theta 
Success 


169 
2019/08/19 12:46:09

1 + 1 = 2

selpo 
Success 


168 
2019/08/19 11:43:34

1 + 1 = 2

minus3theta 
Success 


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 

