TopProver ver.0.7.0

#11: Sprint Round 10

# Name Publish time Difficulty Compiler Source code policy
46 Swap twice 2020/05/03 20:00:00 1 Coq 8.11.1 Public
47 Drinker paradox? 2020/05/03 20:00:00 2 Coq 8.11.1 Public
48 Upper triangular (soundness) 2020/05/03 20:00:00 2 Coq 8.11.1 Public
49 Upper triangular (completeness) 2020/05/03 20:00:00 2 Coq 8.11.1 Public
50 Infinite duplication 2020/05/03 20:00:00 3 Coq 8.11.1 Public

Scoreboard

# User A (1000) B (2000) C (2000) D (2000) E (3000) Total
1 yodvhskd 995 1854 1809 1740 1703 8101
2 kik 992 1953 1816 1653 1605 8019
3 fetburner 993 1946 1927 1829 6695
4 tanakh 995 1952 1927 1727 6601
5 tzik 980 1657 1908 1482 6027
6 hirosegolf 973 1781 1725 1542 6021
7 natsugiri 980 1833 1780 1089 5682
8 mttm 991 991
9 kano 986 986

Submissions

# Time Task Name User Name Status
1527 2020/05/03 21:51:34 Infinite duplication kik Success
1526 2020/05/03 21:49:17 Upper triangular (completeness) natsugiri Success
1525 2020/05/03 21:43:42 Infinite duplication yodvhskd Success
1524 2020/05/03 21:42:51 Infinite duplication hirosegolf Failure
1523 2020/05/03 21:02:03 Upper triangular (completeness) tzik Success
1522 2020/05/03 20:54:52 Upper triangular (completeness) hirosegolf Success
1521 2020/05/03 20:54:27 Upper triangular (soundness) hirosegolf Failure
1520 2020/05/03 20:41:38 Upper triangular (completeness) kik Success
1519 2020/05/03 20:41:08 Drinker paradox? tzik Success
1518 2020/05/03 20:32:54 Upper triangular (soundness) hirosegolf Success
1517 2020/05/03 20:32:43 Upper triangular (completeness) tanakh Success
1516 2020/05/03 20:31:11 Upper triangular (completeness) yodvhskd Success
1515 2020/05/03 20:26:22 Upper triangular (soundness) natsugiri Success
1514 2020/05/03 20:26:13 Drinker paradox? hirosegolf Success
1513 2020/05/03 20:22:53 Upper triangular (soundness) yodvhskd Success
1512 2020/05/03 20:21:57 Upper triangular (soundness) kik Success
1511 2020/05/03 20:20:25 Upper triangular (completeness) fetburner Success
1510 2020/05/03 20:19:57 Drinker paradox? natsugiri Success
1509 2020/05/03 20:17:30 Drinker paradox? yodvhskd Success
1508 2020/05/03 20:11:01 Upper triangular (soundness) tzik Success
1507 2020/05/03 20:08:44 Upper triangular (soundness) fetburner Success
1506 2020/05/03 20:08:43 Upper triangular (soundness) tanakh Success
1505 2020/05/03 20:06:25 Drinker paradox? fetburner Success
1504 2020/05/03 20:06:18 Swap twice hirosegolf Success
1503 2020/05/03 20:05:43 Drinker paradox? tanakh Success
1502 2020/05/03 20:05:33 Drinker paradox? kik Success
1501 2020/05/03 20:04:35 Swap twice natsugiri Success
1500 2020/05/03 20:04:34 Swap twice tzik Success
1499 2020/05/03 20:03:08 Swap twice kano Success
1498 2020/05/03 20:02:01 Swap twice mttm Success
1497 2020/05/03 20:01:42 Swap twice kik Success
1496 2020/05/03 20:01:36 Swap twice fetburner Success
1495 2020/05/03 20:01:00 Swap twice yodvhskd Success
1494 2020/05/03 20:00:59 Swap twice tanakh Success