TopProver ver.0.7.0

#9: Sprint Round 8

# Name Publish time Difficulty Compiler Source code policy
37 Zero test 2019/12/08 20:00:00 1 Coq 8.11.1 Public
38 Midpoint 2019/12/08 20:00:00 1 Coq 8.11.1 Public
39 Boolean-hole principle revisited 2019/12/08 20:00:00 2 Coq 8.11.1 Public
40 Binary search 2019/12/08 20:00:00 3 Coq 8.11.1 Public

Scoreboard

# User A (1000) B (1000) C (2000) D (3000) Total
1 kkob 971 950 1838 2476 6235
2 kik 959 876 1669 1731 5235
3 kaz 971 869 1720 3560
4 yodvhskd 983 841 1478 3302
5 na4zagin3 975 558 1483 3016
6 chy 872 759 1294 2925
7 mttm 904 1147 2051
8 tzik 620 519 1139
9 natsugiri 821 821
10 tanakh 804 804

Submissions

# Time Task Name User Name Status
1230 2019/12/08 21:55:21 Midpoint tzik Success
1229 2019/12/08 21:46:19 Boolean-hole principle revisited mttm Success
1228 2019/12/08 21:45:50 Midpoint na4zagin3 Success
1227 2019/12/08 21:42:20 Boolean-hole principle revisited mttm Success
1226 2019/12/08 21:41:27 Binary search kik Success
1225 2019/12/08 21:31:06 Zero test tzik Success
1224 2019/12/08 21:24:36 Boolean-hole principle revisited chy Success
1223 2019/12/08 21:02:38 Boolean-hole principle revisited yodvhskd Success
1222 2019/12/08 21:02:00 Boolean-hole principle revisited na4zagin3 Success
1221 2019/12/08 20:57:39 Midpoint chy Success
1220 2019/12/08 20:46:49 Midpoint tanakh Success
1219 2019/12/08 20:42:55 Zero test natsugiri Success
1218 2019/12/08 20:41:59 Zero test natsugiri Failure
1217 2019/12/08 20:41:54 Binary search kkob Success
1216 2019/12/08 20:39:42 Boolean-hole principle revisited kik Success
1215 2019/12/08 20:37:59 Midpoint yodvhskd Success
1214 2019/12/08 20:33:35 Boolean-hole principle revisited kaz Success
1213 2019/12/08 20:31:14 Midpoint kaz Success
1212 2019/12/08 20:30:40 Zero test chy Success
1211 2019/12/08 20:29:42 Midpoint kik Success
1210 2019/12/08 20:22:49 Zero test mttm Success
1209 2019/12/08 20:19:22 Boolean-hole principle revisited kkob Success
1208 2019/12/08 20:11:47 Midpoint kkob Success
1207 2019/12/08 20:09:50 Zero test kik Success
1206 2019/12/08 20:06:56 Zero test kaz Success
1205 2019/12/08 20:06:55 Zero test kkob Success
1204 2019/12/08 20:05:45 Zero test na4zagin3 Success
1203 2019/12/08 20:03:56 Zero test yodvhskd Success