TopProver ver.0.6.0

Submissions

Filter

Task Name
User Name
Judge Status

Found 1380 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
1202 2019/12/08 09:58:50 Identity permutation tanakh Success
1201 2019/12/08 09:21:37 Product of n consecutive integers is divisible by n! tanakh Success
1200 2019/12/08 03:24:24 infinite bool sequence is uncountable tanakh Success
1199 2019/12/08 03:10:19 Tree addressing is injective tanakh Success
1198 2019/12/08 00:18:39 Double tanakh Success
1197 2019/12/08 00:11:10 Two is not Three tanakh Success
1196 2019/12/07 23:45:27 Any natural number is expressible in binary notation tanakh Success
1195 2019/12/07 21:16:45 unique count tanakh Success
1194 2019/12/05 07:33:18 unique (unique l) = l tanakh Success
1193 2019/12/05 07:31:08 unique (unique l) = l tanakh Success
1192 2019/12/04 21:40:19 Multiplication in F_2 is idempotent tanakh Success
1191 2019/12/04 21:39:48 Multiplication in F_2 is idempotent tanakh Failure
1190 2019/12/04 21:35:02 count l n = count (rev l) n tanakh Success
1189 2019/12/04 21:34:27 count l n = count (rev l) n tanakh Failure
1188 2019/12/04 21:33:39 count l n = count (rev l) n tanakh Failure
1187 2019/12/04 20:32:59 Binary search kozima Success
1186 2019/12/04 20:31:47 Boolean-hole principle revisited kozima Success
1185 2019/12/04 20:31:25 Midpoint kozima Success
1184 2019/12/04 20:30:51 Zero test kozima Success
1183 2019/12/04 06:31:07 Definitions of injectivity tanakh Success
1182 2019/12/04 05:17:13 Definitions of injectivity tanakh Rejected
1181 2019/12/04 04:37:21 Cumulative sum of list tanakh Success

>>Show ALL