117 
2019/08/18 19:57:54

1 + 1 = 2

kcz 
Failure 


116 
2019/08/18 19:57:35

1 + 1 = 2

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 


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 


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 


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 


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 


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 


47 
2019/08/18 16:00:42

1 + 1 = 2

utgwkk 
Success 


46 
2019/08/18 16:00:30

1 + 1 = 2

koba 
Success 

