TopProver ver.0.7.0

#10: Sprint Round 9

# Name Publish time Difficulty Compiler Source code policy
42 eq_sym? 2020/03/15 20:00:00 1 Coq 8.11.1 Public
43 Not a sum of squares 2020/03/15 20:00:00 2 Coq 8.11.1 Public
44 Postorder traversal 2020/03/15 20:00:00 2 Coq 8.11.1 Public
45 Cycle detection 2020/03/15 20:00:00 4 Coq 8.11.1 Public

Scoreboard

# User A (1000) B (2000) C (2000) D (4000) Total
1 kaz 995 1891 1848 2580 7314
2 kkob 993 1808 1761 4562
3 sorata 984 1755 1651 4390
4 yodvhskd 995 1702 1642 4339
5 tzik 984 1400 1613 3997
6 kik 949 1453 1243 3645
7 kimiyuki 983 1021 1442 3446
8 fetburner 986 1884 2870
9 yamarten 988 1376 2364
10 natsugiri 779 1359 2138
11 tanakh 977 1019 1996
12 prime 982 982
13 mttm 761 761

Submissions

# Time Task Name User Name Status
1430 2020/03/15 21:57:38 Not a sum of squares tanakh Success
1429 2020/03/15 21:57:28 Not a sum of squares kimiyuki Success
1428 2020/03/15 21:30:44 Postorder traversal kik Success
1427 2020/03/15 21:25:10 Cycle detection kaz Success
1426 2020/03/15 21:16:50 Postorder traversal natsugiri Success
1425 2020/03/15 21:14:51 Postorder traversal yamarten Success
1424 2020/03/15 21:11:56 Not a sum of squares tzik Success
1423 2020/03/15 21:06:54 Postorder traversal kimiyuki Success
1422 2020/03/15 21:05:31 Not a sum of squares kik Success
1421 2020/03/15 20:57:09 eq_sym? mttm Success
1420 2020/03/15 20:52:49 eq_sym? natsugiri Success
1419 2020/03/15 20:46:23 Postorder traversal tzik Success
1418 2020/03/15 20:42:52 Postorder traversal yodvhskd Success
1417 2020/03/15 20:41:50 Postorder traversal sorata Success
1416 2020/03/15 20:35:39 Not a sum of squares yodvhskd Success
1415 2020/03/15 20:29:20 Not a sum of squares sorata Success
1414 2020/03/15 20:28:38 Postorder traversal kkob Success
1413 2020/03/15 20:28:17 Postorder traversal sorata Failure
1412 2020/03/15 20:22:59 Not a sum of squares kkob Success
1411 2020/03/15 20:18:13 Postorder traversal kaz Success
1410 2020/03/15 20:13:52 Postorder traversal fetburner Success
1409 2020/03/15 20:13:01 Not a sum of squares kaz Success
1408 2020/03/15 20:12:07 eq_sym? kik Success
1407 2020/03/15 20:05:23 eq_sym? tanakh Success
1406 2020/03/15 20:04:11 eq_sym? prime Success
1405 2020/03/15 20:04:02 eq_sym? kimiyuki Success
1404 2020/03/15 20:03:50 eq_sym? sorata Success
1403 2020/03/15 20:03:45 eq_sym? tzik Success
1402 2020/03/15 20:03:16 eq_sym? fetburner Success
1401 2020/03/15 20:02:44 eq_sym? yamarten Success
1400 2020/03/15 20:01:34 eq_sym? kkob Success
1399 2020/03/15 20:01:02 eq_sym? yodvhskd Success
1398 2020/03/15 20:01:00 eq_sym? kaz Success