统计
递交统计
| 状态 | 递交者 | 时间 | 内存 | 语言 | 代码 | 递交时间 |
|---|---|---|---|---|---|---|
| 3ms | 376 KiB | Lean4 | 1.4 KiB | 2026-9-23 15:26:49 | ||
| 3ms | 376 KiB | Lean4 | 1.5 KiB | 2026-10-1 18:16:23 | ||
| 3ms | 376 KiB | Lean4 | 1.5 KiB | 2026-9-22 14:18:05 | ||
| 3ms | 376 KiB | Lean4 | 3.4 KiB | 2026-9-19 3:16:03 | ||
| 3ms | 504 KiB | Lean4 | 1.6 KiB | 2026-9-20 18:54:56 | ||
| 3ms | 376 KiB | Lean4 | 1.2 KiB | 2026-9-19 11:13:02 | ||
| 3ms | 632 KiB | Lean4 | 2 KiB | 2026-10-2 21:17:25 | ||
| 3ms | 376 KiB | Lean4 | 4.5 KiB | 2026-9-19 10:02:34 | ||
| 3ms | 504 KiB | Lean4 | 2.8 KiB | 2026-9-21 19:02:39 | ||
| 3ms | 376 KiB | Lean4 | 1.4 KiB | 2026-9-22 21:42:28 | ||
| 3ms | 376 KiB | Lean4 | 1.3 KiB | 2026-9-19 14:17:55 | ||
| 3ms | 380 KiB | Lean4 | 1.4 KiB | 2026-9-19 2:08:01 | ||
| 3ms | 376 KiB | Lean4 | 1.2 KiB | 2026-9-19 17:23:13 | ||
| 3ms | 376 KiB | Lean4 | 1.1 KiB | 2026-9-20 15:51:32 | ||
| 3ms | 376 KiB | Lean4 | 1.3 KiB | 2026-9-29 14:35:19 | ||
| 3ms | 504 KiB | Lean4 | 3 KiB | 2026-9-22 16:35:55 | ||
| 3ms | 376 KiB | Lean4 | 6.5 KiB | 2026-10-1 16:20:16 | ||
| 3ms | 636 KiB | Lean4 | 4 KiB | 2026-9-19 1:36:34 | ||
| 3ms | 632 KiB | Lean4 | 1.2 KiB | 2026-9-19 1:07:11 | ||
| 3ms | 376 KiB | Lean4 | 1.5 KiB | 2026-9-20 15:07:18 | ||
| 3ms | 376 KiB | Lean4 | 2.4 KiB | 2026-9-29 22:44:26 | ||
| 3ms | 504 KiB | Lean4 | 2.8 KiB | 2026-9-19 3:29:11 | ||
| 3ms | 376 KiB | Lean4 | 977 Bytes | 2026-9-25 11:48:24 | ||
| 3ms | 632 KiB | Lean4 | 631 Bytes | 2026-9-19 22:45:52 | ||
| 3ms | 636 KiB | Lean4 | 3.8 KiB | 2026-9-20 0:53:16 | ||
| 3ms | 376 KiB | Lean4 | 2.7 KiB | 2026-9-21 22:40:03 | ||
| 3ms | 376 KiB | Lean4 | 1.2 KiB | 2026-9-29 21:24:08 | ||
| 3ms | 636 KiB | Lean4 | 1.9 KiB | 2026-9-18 23:53:32 | ||
| 3ms | 376 KiB | Lean4 | 1.8 KiB | 2026-9-29 19:05:34 | ||
| 3ms | 376 KiB | Lean4 | 3.2 KiB | 2026-9-29 19:34:11 | ||
| 3ms | 504 KiB | Lean4 | 1.4 KiB | 2026-9-19 0:27:37 | ||
| 4ms | 504 KiB | Lean4 | 2.1 KiB | 2026-9-19 13:40:11 | ||
| 4ms | 492 KiB | Lean4 | 3 KiB | 2026-9-20 14:41:19 | ||
| 4ms | 376 KiB | Lean4 | 1.4 KiB | 2026-9-19 17:39:34 | ||
| 4ms | 376 KiB | Lean4 | 3.7 KiB | 2026-9-19 5:06:33 | ||
| 4ms | 376 KiB | Lean4 | 3.7 KiB | 2026-9-21 6:21:33 | ||
| 4ms | 376 KiB | Lean4 | 1.9 KiB | 2026-9-20 8:53:37 | ||
| 4ms | 504 KiB | Lean4 | 1.1 KiB | 2026-9-19 8:36:33 | ||
| 4ms | 376 KiB | Lean4 | 1.2 KiB | 2026-9-20 10:27:41 | ||
| 4ms | 376 KiB | Lean4 | 2.9 KiB | 2026-9-19 12:12:26 | ||
| 4ms | 376 KiB | Lean4 | 3.8 KiB | 2026-9-21 22:22:06 | ||
| 4ms | 504 KiB | Lean4 | 1.1 KiB | 2026-9-20 15:16:53 | ||
| 4ms | 376 KiB | Lean4 | 2.5 KiB | 2026-9-20 17:16:18 | ||
| 4ms | 652 KiB | Lean4 | 3.4 KiB | 2026-9-20 0:45:43 | ||
| 4ms | 504 KiB | Lean4 | 1.5 KiB | 2026-10-14 2:19:44 | ||
| 4ms | 376 KiB | Lean4 | 1.4 KiB | 2026-9-19 21:31:56 | ||
| 4ms | 532 KiB | Lean4 | 1.2 KiB | 2026-9-20 23:50:04 | ||
| 4ms | 376 KiB | Lean4 | 1.6 KiB | 2026-9-19 14:21:17 | ||
| 4ms | 376 KiB | Lean4 | 1.1 KiB | 2026-9-20 12:50:46 | ||
| 4ms | 376 KiB | Lean4 | 1.1 KiB | 2026-9-19 17:43:13 | ||
| 4ms | 376 KiB | Lean4 | 1.6 KiB | 2026-9-19 21:49:53 | ||
| 4ms | 376 KiB | Lean4 | 1.1 KiB | 2026-10-1 22:57:36 | ||
| 4ms | 376 KiB | Lean4 | 3.2 KiB | 2026-9-22 1:37:37 | ||
| 4ms | 376 KiB | Lean4 | 2.2 KiB | 2026-9-20 18:29:09 | ||
| 4ms | 380 KiB | Lean4 | 3.5 KiB | 2026-9-20 22:40:38 | ||
| 4ms | 376 KiB | Lean4 | 1.3 KiB | 2026-9-19 20:43:18 | ||
| 4ms | 504 KiB | Lean4 | 57.6 KiB | 2026-9-20 1:55:14 | ||
| 4ms | 376 KiB | Lean4 | 3.1 KiB | 2026-9-23 18:56:37 | ||
| 4ms | 376 KiB | Lean4 | 1 KiB | 2026-9-20 2:53:35 | ||
| 4ms | 504 KiB | Lean4 | 1.3 KiB | 2026-9-19 14:11:19 | ||
| 4ms | 376 KiB | Lean4 | 1.4 KiB | 2026-9-19 15:20:26 | ||
| 4ms | 376 KiB | Lean4 | 2.9 KiB | 2026-9-19 10:26:52 | ||
| 4ms | 376 KiB | Lean4 | 1.2 KiB | 2026-9-19 14:27:29 | ||
| 4ms | 380 KiB | Lean4 | 1.1 KiB | 2026-9-20 21:29:30 | ||
| 4ms | 512 KiB | Lean4 | 1.2 KiB | 2026-9-19 2:13:06 | ||
| 4ms | 376 KiB | Lean4 | 1.1 KiB | 2026-9-21 10:20:31 | ||
| 4ms | 376 KiB | Lean4 | 2.1 KiB | 2026-9-27 22:11:31 | ||
| 4ms | 520 KiB | Lean4 | 3.3 KiB | 2026-9-19 11:07:47 | ||
| 4ms | 632 KiB | Lean4 | 6.5 KiB | 2026-9-19 20:27:33 | ||
| 5ms | 376 KiB | Lean4 | 2.3 KiB | 2026-9-21 13:53:49 | ||
| 5ms | 504 KiB | Lean4 | 2 KiB | 2026-9-20 10:14:02 |
- 1
信息
- ID
- 25
- 时间
- 1000ms
- 内存
- 256MiB
- 难度
- 8
- 标签
- (无)
- 递交数
- 503
- 已通过
- 71
- 上传者