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 


63 
2019/08/18 16:11:15

plus_assoc

etonagisa 
Failure 


62 
2019/08/18 16:09:58

1 + 1 = 2

kcz 
Success 


61 
2019/08/18 16:09:16

1 + 1 = 2

kcz 
Failure 


60 
2019/08/18 16:09:07

n * S m = n + n * m

utgwkk 
Success 


59 
2019/08/18 16:08:51

n * S m = n + n * m

utgwkk 
Failure 


58 
2019/08/18 16:08:47

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

drafear 
Failure 


57 
2019/08/18 16:08:35

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

drafear 
Failure 


56 
2019/08/18 16:08:06

1 + 1 = 2

etonagisa 
Success 


55 
2019/08/18 16:06:47

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

suibaka 
Success 


54 
2019/08/18 16:06:14

1 + 1 = 2

kimiyuki 
Success 


53 
2019/08/18 16:06:12

1 + 1 = 2

CoiL 
Success 


52 
2019/08/18 16:02:38

1 + 1 = 2

prime 
Success 


51 
2019/08/18 16:01:46

1 + 1 = 2

CoiL 
Failure 


50 
2019/08/18 16:01:21

1 + 1 = 2

drafear 
Success 


49 
2019/08/18 16:00:54

1 + 1 = 2

suibaka 
Success 


48 
2019/08/18 16:00:47

plus_comm

prime 
Success 


47 
2019/08/18 16:00:42

1 + 1 = 2

utgwkk 
Success 


46 
2019/08/18 16:00:30

1 + 1 = 2

koba 
Success 


45 
2019/08/18 15:53:01

plus_assoc

prime 
Success 


44 
2019/08/18 15:50:06

plus_assoc

koba 
Success 


43 
2019/08/18 15:39:21

plus_assoc

koba 
Success 


42 
2019/08/18 15:38:54

plus_assoc

koba 
Failure 


41 
2019/08/18 12:33:58

plus_comm

suibaka 
Success 


40 
2019/08/18 12:30:09

plus_assoc

suibaka 
Success 


39 
2019/08/18 09:15:05

plus_comm

asi1024 
Success 


38 
2019/08/17 17:55:48

1 + 1 = 2

asi1024 
Success 


37 
2019/08/15 07:44:49

plus_comm

taisei 
Success 


36 
2019/08/15 07:40:23

plus_comm

taisei 
Failure 


35 
2019/08/15 07:39:51

plus_comm

taisei 
Failure 


34 
2019/08/15 07:39:26

plus_assoc

taisei 
Success 


33 
2019/08/15 07:38:13

plus_assoc

taisei 
Failure 


32 
2019/08/14 19:55:28

plus_assoc

kimiyuki 
Rejected 


31 
2019/08/14 19:54:23

plus_assoc

kimiyuki 
Failure 

