Submissions

Filter

Task Name
User Name
Judge Status

Found 1723 submissions.

# Time Task Name User Name Status
1273 2019/12/18 14:54:21 gcd(n, n+1) = 1 fetburner Success
1272 2019/12/18 14:34:59 Identity permutation fetburner Success
1271 2019/12/18 14:27:26 Multiplication in F_2 is idempotent fetburner Success
1270 2019/12/18 14:04:07 Summand of one fetburner Success
1269 2019/12/18 14:03:43 Definitions of injectivity fetburner Success
1268 2019/12/18 13:58:24 Summand of one fetburner Failure
1267 2019/12/18 13:55:14 Cumulative sum of list fetburner Success
1266 2019/12/18 13:39:04 forall l: list nat, l @ [0] <> [] fetburner Success
1265 2019/12/17 02:12:58 Equivalent two quicksorts tzik Success
1264 2019/12/14 04:21:16 Product of n consecutive integers is divisible by n! fetburner Success
1263 2019/12/14 04:14:37 Product of n consecutive integers is divisible by n! fetburner Success
1262 2019/12/14 02:46:17 n < m \/ n = m \/ n > m fetburner Success
1261 2019/12/14 02:42:56 n * S m = n + n * m fetburner Success
1260 2019/12/14 02:39:35 forall f: bool -> bool, f^3(x) = f(x) fetburner Success
1259 2019/12/14 02:36:49 1 + 1 = 2 fetburner Success
1258 2019/12/14 02:35:48 plus_comm fetburner Success
1257 2019/12/14 02:32:44 plus_assoc fetburner Success
1256 2019/12/12 23:11:45 Midpoint natsugiri Success
1255 2019/12/12 20:26:03 Zero test CoiL Success
1254 2019/12/12 20:11:40 Iterated iteration CoiL Success
1253 2019/12/12 19:33:10 Iterated iteration CoiL Rejected
1252 2019/12/10 21:38:47 Midpoint maple Success
1251 2019/12/10 18:14:22 Zero test maple Success
1250 2019/12/10 17:04:59 plus_comm maple Success
1249 2019/12/10 16:55:06 plus_assoc maple Success
1248 2019/12/10 12:54:47 Iterated iteration chy Success
1247 2019/12/10 12:54:04 Iterated iteration chy Failure
1246 2019/12/10 03:08:26 Binary search tzik Success
1245 2019/12/09 23:48:52 Midpoint tzik Success
1244 2019/12/09 21:09:15 Boolean-hole principle revisited natsugiri Success
1243 2019/12/09 12:57:53 Zero test muratak Success
1242 2019/12/09 04:21:46 Multiplication of non-zero value in F_p is injective tanakh Success
1241 2019/12/09 04:20:25 Multiplication of non-zero value in F_p is injective tanakh Failure
1240 2019/12/09 02:52:18 Binary search yodvhskd Success
1239 2019/12/09 02:27:53 Binary search yodvhskd Success
1238 2019/12/08 23:54:53 Binary search yodvhskd Success
1237 2019/12/08 23:11:05 Boolean-hole principle revisited tanakh Success
1236 2019/12/08 23:06:52 Boolean-hole principle revisited tzik Success
1235 2019/12/08 23:05:42 Zero test tanakh Success
1234 2019/12/08 23:04:29 Boolean-hole principle revisited tzik Success
1233 2019/12/08 22:32:31 Binary search kkob Success
1232 2019/12/08 22:10:28 Zero test a_kawashiro Success
1231 2019/12/08 22:09:18 Midpoint mttm Success
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

>>Show ALL