TopProver ver.0.7.0

#3: Sprint Round 2

# Name Publish time Difficulty Compiler Source code policy
12 Summand of one 2019/09/08 20:00:00 1 Coq 8.11.1 Public
13 Definitions of injectivity 2019/09/08 20:00:00 2 Coq 8.11.1 Public
14 Multiplication in F_2 is idempotent 2019/09/08 20:00:00 2 Coq 8.11.1 Public
15 Identity permutation 2019/09/08 20:00:00 3 Coq 8.11.1 Public

Scoreboard

# User A (1000) B (2000) C (2000) D (3000) Total
1 kaz 994 1943 1870 2677 7484
2 pekempey 996 1941 1794 2348 7079
3 sorata 976 1875 1785 2405 7041
4 satos 989 1912 1695 2321 6917
5 kimiyuki 984 1902 1636 2121 6643
6 muratak 994 1907 1704 1931 6536
7 drafear 987 1733 1540 2118 6378
8 kkob 994 1892 1932 1507 6325
9 okaduki 987 1215 1436 3638
10 cympfh 965 1571 2536
11 efk 898 1424 2322
12 yamarten 697 1265 1962
13 mttm 1750 1750
14 prime 958 958
15 coorde 922 922
16 spica314 913 913
17 siotouto 894 894
18 kurgm 553 553

Submissions

# Time Task Name User Name Status
507 2019/09/08 21:59:21 Identity permutation kkob Success
506 2019/09/08 21:52:23 Definitions of injectivity spica314 Rejected
505 2019/09/08 21:47:13 Summand of one kurgm Success
504 2019/09/08 21:39:55 Identity permutation mttm Success
503 2019/09/08 21:34:09 Definitions of injectivity okaduki Success
502 2019/09/08 21:28:09 Definitions of injectivity yamarten Success
501 2019/09/08 21:25:31 Identity permutation muratak Success
500 2019/09/08 21:25:05 Identity permutation muratak Failure
499 2019/09/08 21:24:25 Identity permutation muratak Failure
498 2019/09/08 21:12:32 Summand of one yamarten Success
497 2019/09/08 21:10:48 Identity permutation drafear Success
496 2019/09/08 21:10:31 Identity permutation drafear Success
495 2019/09/08 21:10:18 Identity permutation kimiyuki Success
494 2019/09/08 21:09:02 Definitions of injectivity efk Success
493 2019/09/08 21:08:04 Definitions of injectivity efk Failure
492 2019/09/08 21:07:35 Multiplication in F_2 is idempotent okaduki Success
491 2019/09/08 20:55:08 Multiplication in F_2 is idempotent drafear Success
490 2019/09/08 20:54:17 Identity permutation satos Success
489 2019/09/08 20:52:05 Identity permutation pekempey Success
488 2019/09/08 20:51:22 Definitions of injectivity cympfh Success
487 2019/09/08 20:47:35 Identity permutation sorata Success
486 2019/09/08 20:45:16 Identity permutation sorata Failure
485 2019/09/08 20:43:39 Multiplication in F_2 is idempotent kimiyuki Success
484 2019/09/08 20:36:35 Multiplication in F_2 is idempotent satos Success
483 2019/09/08 20:35:30 Multiplication in F_2 is idempotent muratak Success
482 2019/09/08 20:31:57 Definitions of injectivity drafear Success
481 2019/09/08 20:25:47 Identity permutation kaz Success
480 2019/09/08 20:25:46 Multiplication in F_2 is idempotent sorata Success
479 2019/09/08 20:25:16 Summand of one siotouto Success
478 2019/09/08 20:24:41 Multiplication in F_2 is idempotent pekempey Success
477 2019/09/08 20:24:19 Summand of one efk Success
476 2019/09/08 20:20:41 Summand of one spica314 Success
475 2019/09/08 20:18:29 Summand of one coorde Success
474 2019/09/08 20:17:04 Summand of one coorde Failure
473 2019/09/08 20:15:34 Multiplication in F_2 is idempotent kaz Success
472 2019/09/08 20:14:54 Definitions of injectivity sorata Success
471 2019/09/08 20:12:59 Definitions of injectivity sorata Failure
470 2019/09/08 20:12:52 Definitions of injectivity kkob Success
469 2019/09/08 20:11:41 Definitions of injectivity kimiyuki Success
468 2019/09/08 20:11:06 Definitions of injectivity muratak Success
467 2019/09/08 20:10:30 Definitions of injectivity satos Success
466 2019/09/08 20:09:51 Summand of one prime Success
465 2019/09/08 20:08:16 Summand of one cympfh Success
464 2019/09/08 20:08:07 Multiplication in F_2 is idempotent kkob Success
463 2019/09/08 20:07:04 Definitions of injectivity pekempey Success
462 2019/09/08 20:06:49 Definitions of injectivity kaz Success
461 2019/09/08 20:05:37 Summand of one sorata Success
460 2019/09/08 20:03:37 Summand of one kimiyuki Success
459 2019/09/08 20:02:56 Summand of one drafear Success
458 2019/09/08 20:02:54 Summand of one okaduki Success
457 2019/09/08 20:02:29 Summand of one satos Success
456 2019/09/08 20:01:23 Summand of one kkob Success
455 2019/09/08 20:01:20 Summand of one kaz Success
454 2019/09/08 20:01:17 Summand of one muratak Success
453 2019/09/08 20:00:44 Summand of one pekempey Success