TopProver ver.0.7.0

#2: Sprint Round 1

# Name Publish time Difficulty Compiler Source code policy
9 forall l: list nat, l @ [0] <> [] 2019/08/25 21:00:00 1 Coq 8.11.1 Public
10 Cumulative sum of list 2019/08/25 21:00:00 2 Coq 8.11.1 Public
11 l1 <> l2 if l2 is an odd permutation of l1 2019/08/25 21:00:00 4 Coq 8.11.1 Public

Scoreboard

# User A (1000) B (2000) C (4000) Total
1 kozima 986 1875 2372 5233
2 kaz 993 1913 2906
3 splatoon_suki 991 1897 2888
4 momohatt 987 1857 2844
5 yodvhskd 994 1812 2806
6 taisei 919 1859 2778
7 drafear 992 1757 2749
8 satos 945 1793 2738
9 suibaka 954 1751 2705
10 kimiyuki 994 1634 2628
11 prime 969 1503 2472
12 pekempey 887 1531 2418
13 okaduki 986 1353 2339
14 yamarten 925 1053 1978
15 kanra824 963 963
16 sorata 955 955
17 utgwkk 950 950
18 spica314 893 893
19 etonagisa 886 886
20 a_happin 883 883
21 satanic0258 864 864

Submissions

# Time Task Name User Name Status
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
302 2019/08/25 21:42:18 forall l: list nat, l @ [0] <> [] 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
281 2019/08/25 21:12:16 Cumulative sum of list splatoon_suki Success
280 2019/08/25 21:11:55 forall l: list nat, l @ [0] <> [] utgwkk Success
279 2019/08/25 21:10:57 forall l: list nat, l @ [0] <> [] suibaka Success
278 2019/08/25 21:10:39 forall l: list nat, l @ [0] <> [] sorata Success
277 2019/08/25 21:10:21 Cumulative sum of list kaz Success
276 2019/08/25 21:08:50 forall l: list nat, l @ [0] <> [] kanra824 Success
275 2019/08/25 21:07:19 forall l: list nat, l @ [0] <> [] prime Success
274 2019/08/25 21:03:51 forall l: list nat, l @ [0] <> [] suibaka Failure
273 2019/08/25 21:03:38 forall l: list nat, l @ [0] <> [] suibaka Failure
272 2019/08/25 21:03:18 forall l: list nat, l @ [0] <> [] okaduki Success
271 2019/08/25 21:03:08 forall l: list nat, l @ [0] <> [] kozima Success
270 2019/08/25 21:03:06 forall l: list nat, l @ [0] <> [] momohatt Success
269 2019/08/25 21:02:03 forall l: list nat, l @ [0] <> [] drafear Success
268 2019/08/25 21:01:56 forall l: list nat, l @ [0] <> [] splatoon_suki Success
267 2019/08/25 21:01:54 forall l: list nat, l @ [0] <> [] drafear Success
266 2019/08/25 21:01:32 forall l: list nat, l @ [0] <> [] kaz Success
265 2019/08/25 21:01:23 forall l: list nat, l @ [0] <> [] yodvhskd Success
264 2019/08/25 21:01:17 forall l: list nat, l @ [0] <> [] kimiyuki Success