331 
2019/08/26 00:38:37

forall l: list nat, l @ [0] <> []

yishibashi 
Success 


330 
2019/08/26 00:17:20

Cumulative sum of list

a_happin 
Success 


329 
2019/08/26 00:12:22

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

yishibashi 
Success 


328 
2019/08/25 23:49:36

l1 <> l2 if l2 is an odd permutation of l1

kaz 
Failure 


327 
2019/08/25 23:45:38

1 + 1 = 2

yishibashi 
Success 


326 
2019/08/25 23:45:15

1 + 1 = 2

yishibashi 
Failure 


325 
2019/08/25 23:43:51

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

spica314 
Success 


324 
2019/08/25 23:42:08

Cumulative sum of list

kkob 
Success 


323 
2019/08/25 23:37:32

l1 <> l2 if l2 is an odd permutation of l1

kaz 
Success 


322 
2019/08/25 23:32:16

l1 <> l2 if l2 is an odd permutation of l1

prime 
Success 


321 
2019/08/25 23:22:46

l1 <> l2 if l2 is an odd permutation of l1

kaz 
Success 


320 
2019/08/25 23:22:37

1 + 1 = 2

spica314 
Success 


319 
2019/08/25 23:20:57

forall l: list nat, l @ [0] <> []

siotouto 
Success 


318 
2019/08/25 23:20:08

forall l: list nat, l @ [0] <> []

siotouto 
Failure 


317 
2019/08/25 23:17:23

l1 <> l2 if l2 is an odd permutation of l1

satos 
Success 


316 
2019/08/25 23:17:01

l1 <> l2 if l2 is an odd permutation of l1

satos 
Failure 


315 
2019/08/25 23:16:21

Cumulative sum of list

koba 
Success 


314 
2019/08/25 23:15:54

Cumulative sum of list

koba 
Failure 


313 
2019/08/25 23:14:27

l1 <> l2 if l2 is an odd permutation of l1

koba 
Success 


312 
2019/08/25 23:00:00

Cumulative sum of list

yamarten 
Rejected 


311 
2019/08/25 22:59:19

l1 <> l2 if l2 is an odd permutation of l1

satos 
Failure 


310 
2019/08/25 22:53:38

Cumulative sum of list

yamarten 
Success 


309 
2019/08/25 22:53:17

Cumulative sum of list

yamarten 
Failure 


308 
2019/08/25 22:37:37

l1 <> l2 if l2 is an odd permutation of l1

kozima 
Success 


307 
2019/08/25 22:17:35

Cumulative sum of list

okaduki 
Success 


306 
2019/08/25 21:59:34

Cumulative sum of list

prime 
Success 


305 
2019/08/25 21:56:16

Cumulative sum of list

pekempey 
Success 


304 
2019/08/25 21:43:53

Cumulative sum of list

kimiyuki 
Success 


303 
2019/08/25 21:42:38

1 + 1 = 2

minaminao 
Success 


302 
2019/08/25 21:42:18

forall l: list nat, l @ [0] <> []

minaminao 
Failure 


301 
2019/08/25 21:41:09

1 + 1 = 2

minaminao 
Failure 


300 
2019/08/25 21:32:24

forall l: list nat, l @ [0] <> []

satanic0258 
Success 


299 
2019/08/25 21:31:49

Cumulative sum of list

sorata 
Failure 


298 
2019/08/25 21:29:46

Cumulative sum of list

suibaka 
Success 


297 
2019/08/25 21:29:02

Cumulative sum of list

drafear 
Success 


296 
2019/08/25 21:28:07

l1 <> l2 if l2 is an odd permutation of l1

drafear 
Failure 


295 
2019/08/25 21:28:02

forall l: list nat, l @ [0] <> []

a_happin 
Success 


294 
2019/08/25 21:27:14

forall l: list nat, l @ [0] <> []

etonagisa 
Success 


293 
2019/08/25 21:26:53

forall l: list nat, l @ [0] <> []

pekempey 
Success 


292 
2019/08/25 21:25:30

forall l: list nat, l @ [0] <> []

spica314 
Success 


291 
2019/08/25 21:24:47

Cumulative sum of list

satos 
Success 


290 
2019/08/25 21:23:01

forall l: list nat, l @ [0] <> []

spica314 
Failure 


289 
2019/08/25 21:22:31

Cumulative sum of list

yodvhskd 
Success 


288 
2019/08/25 21:19:26

Cumulative sum of list

yodvhskd 
Failure 


287 
2019/08/25 21:19:25

forall l: list nat, l @ [0] <> []

taisei 
Success 


286 
2019/08/25 21:17:58

forall l: list nat, l @ [0] <> []

yamarten 
Success 


285 
2019/08/25 21:17:06

Cumulative sum of list

momohatt 
Success 


284 
2019/08/25 21:16:50

Cumulative sum of list

taisei 
Success 


283 
2019/08/25 21:14:54

Cumulative sum of list

kozima 
Success 


282 
2019/08/25 21:13:07

forall l: list nat, l @ [0] <> []

satos 
Success 

