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 


87 
2019/08/18 16:38:17

1 + 1 = 2

siotouto 
Success 


86 
2019/08/18 16:37:58

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

prime 
Success 


85 
2019/08/18 16:37:41

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

etonagisa 
Success 


84 
2019/08/18 16:37:24

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

drafear 
Success 


83 
2019/08/18 16:36:01

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

hanazuki 
Success 


82 
2019/08/18 16:32:41

n * S m = n + n * m

prime 
Success 


81 
2019/08/18 16:32:27

plus_comm

prime 
Failure 


80 
2019/08/18 16:30:46

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

CoiL 
Success 


79 
2019/08/18 16:27:01

n * S m = n + n * m

utgwkk 
Success 


78 
2019/08/18 16:25:43

plus_comm

etonagisa 
Success 


77 
2019/08/18 16:21:36

n * S m = n + n * m

prime 
Success 


76 
2019/08/18 16:20:59

n * S m = n + n * m

suibaka 
Success 


75 
2019/08/18 16:18:54

n * S m = n + n * m

drafear 
Success 


74 
2019/08/18 16:18:42

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

koba 
Success 


73 
2019/08/18 16:17:35

1 + 1 = 2

hanazuki 
Success 


72 
2019/08/18 16:16:33

n * S m = n + n * m

koba 
Success 


71 
2019/08/18 16:16:26

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

utgwkk 
Success 


70 
2019/08/18 16:16:21

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

prime 
Success 


69 
2019/08/18 16:14:40

n * S m = n + n * m

kimiyuki 
Success 


68 
2019/08/18 16:12:50

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

drafear 
Success 


67 
2019/08/18 16:12:03

plus_assoc

etonagisa 
Success 


66 
2019/08/18 16:11:57

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

koba 
Success 


65 
2019/08/18 16:11:48

1 + 1 = 2

heno239 
Success 


64 
2019/08/18 16:11:45

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

kimiyuki 
Success 

