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 


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 

