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 

