Mizar
さんの提出一覧
# 提出日時 提出者 問題 言語 結果 実行時間 コード長
1133795 2025-11-15 01:08:09 Mizar No.3397 Max Weighted Floor of Linear Rust AC 53 ms 3,920 bytes
1133789 2025-11-15 00:51:05 Mizar No.3397 Max Weighted Floor of Linear Haskell AC 496 ms 2,997 bytes
1133788 2025-11-15 00:50:35 Mizar No.3397 Max Weighted Floor of Linear Haskell AC 153 ms 3,530 bytes
1132466 2025-11-13 04:04:41 Mizar No.3397 Max Weighted Floor of Linear Rust AC 56 ms 2,888 bytes
1132428 2025-11-13 00:08:36 Mizar No.3397 Max Weighted Floor of Linear Haskell AC 164 ms 3,902 bytes
1132427 2025-11-13 00:06:23 Mizar No.3397 Max Weighted Floor of Linear Haskell AC 433 ms 3,369 bytes
1132345 2025-11-12 13:12:21 Mizar No.3398 Accuracy of Integer Division Approximate Function 2 Haskell AC 22 ms 4,150 bytes
1132343 2025-11-12 12:04:10 Mizar No.3398 Accuracy of Integer Division Approximate Function 2 Rust AC 42 ms 27,440 bytes
1132339 2025-11-12 11:37:37 Mizar No.3397 Max Weighted Floor of Linear C++17 AC 69 ms 1,834 bytes
1132324 2025-11-12 08:49:40 Mizar No.3397 Max Weighted Floor of Linear Python3 TLE - 3,747 bytes
1132323 2025-11-12 08:49:09 Mizar No.3397 Max Weighted Floor of Linear PyPy3 AC 255 ms 3,745 bytes
1132247 2025-11-11 22:31:00 Mizar No.3397 Max Weighted Floor of Linear Rust AC 55 ms 2,865 bytes
1132053 2025-11-10 22:59:25 Mizar No.3397 Max Weighted Floor of Linear Haskell AC 440 ms 2,747 bytes
1132052 2025-11-10 22:56:50 Mizar No.3397 Max Weighted Floor of Linear Haskell AC 161 ms 3,280 bytes
1132043 2025-11-10 21:14:13 Mizar No.3398 Accuracy of Integer Division Approximate Function 2 Haskell AC 22 ms 5,528 bytes
1132042 2025-11-10 21:13:46 Mizar No.3398 Accuracy of Integer Division Approximate Function 2 Haskell AC 79 ms 4,228 bytes
1131131 2025-11-03 22:08:05 Mizar No.3398 Accuracy of Integer Division Approximate Function 2 Ruby AC 152 ms 1,520 bytes
1131130 2025-11-03 22:00:51 Mizar No.3398 Accuracy of Integer Division Approximate Function 2 Ruby AC 450 ms 1,236 bytes
1131123 2025-11-03 21:12:46 Mizar No.3397 Max Weighted Floor of Linear Nim AC 185 ms 1,190 bytes
1131115 2025-11-03 19:36:27 Mizar No.3397 Max Weighted Floor of Linear Rust AC 56 ms 2,751 bytes
1131059 2025-11-03 10:55:45 Mizar No.3397 Max Weighted Floor of Linear PyPy3 AC 271 ms 2,085 bytes
1131058 2025-11-03 10:55:16 Mizar No.3397 Max Weighted Floor of Linear Python3 TLE - 2,085 bytes
1131057 2025-11-03 10:54:32 Mizar No.3397 Max Weighted Floor of Linear C++17 AC 68 ms 1,692 bytes
1130849 2025-11-02 20:40:57 Mizar No.3398 Accuracy of Integer Division Approximate Function 2 Python3 AC 215 ms 7,719 bytes
1130846 2025-11-02 20:24:17 Mizar No.3398 Accuracy of Integer Division Approximate Function 2 Python3 AC 554 ms 4,893 bytes
1130822 2025-11-02 15:19:26 Mizar No.3398 Accuracy of Integer Division Approximate Function 2 JavaScript AC 129 ms 2,005 bytes
1130821 2025-11-02 15:19:03 Mizar No.3398 Accuracy of Integer Division Approximate Function 2 JavaScript AC 305 ms 1,894 bytes
1130820 2025-11-02 15:17:00 Mizar No.3398 Accuracy of Integer Division Approximate Function 2 Rust AC 42 ms 27,186 bytes
1130819 2025-11-02 15:16:20 Mizar No.3398 Accuracy of Integer Division Approximate Function 2 Rust AC 158 ms 26,934 bytes
1130818 2025-11-02 15:14:29 Mizar No.3398 Accuracy of Integer Division Approximate Function 2 C++17 AC 47 ms 6,621 bytes
1130816 2025-11-02 15:07:01 Mizar No.3398 Accuracy of Integer Division Approximate Function 2 PyPy3 AC 144 ms 7,719 bytes
1130793 2025-11-02 03:22:21 Mizar No.3398 Accuracy of Integer Division Approximate Function 2 PyPy3 AC 153 ms 4,893 bytes
1130792 2025-11-02 03:18:11 Mizar No.3398 Accuracy of Integer Division Approximate Function 2 C++17 AC 157 ms 4,712 bytes
1106490 2025-07-23 12:53:59 Mizar No.8030 ミラー・ラビン素数判定法のテスト Rust CE
(最新)
--
AC
- 30,186 bytes
1090212 2025-06-07 17:41:14 Mizar No.8056 量子コンピュータで素因数分解 Easy Python3 RE - 123 bytes
1084489 2025-05-14 18:35:33 Mizar No.3047 Verification of Sorting Network C++23 AC 537 ms 5,243 bytes
1084488 2025-05-14 18:33:26 Mizar No.3047 Verification of Sorting Network C++23 AC 535 ms 5,203 bytes
1084486 2025-05-14 18:31:07 Mizar No.3047 Verification of Sorting Network Rust CE - 5,203 bytes
1084476 2025-05-14 17:21:27 Mizar No.3047 Verification of Sorting Network C++23 AC 555 ms 5,236 bytes
1084474 2025-05-14 17:19:35 Mizar No.3047 Verification of Sorting Network C++23 AC 529 ms 5,220 bytes
1065064 2025-04-06 01:09:59 Mizar No.3085 Easy Problems C++23 RE - 1,164 bytes
1065063 2025-04-06 01:00:55 Mizar No.3085 Easy Problems C++23 RE - 1,163 bytes
1064876 2025-04-05 07:36:42 Mizar No.3088 XOR = SUM Rust CE
(最新)
--
AC
- 51,264 bytes
1064875 2025-04-05 07:34:55 Mizar No.3088 XOR = SUM Rust CE
(最新)
--
AC
- 51,206 bytes
1064874 2025-04-05 07:18:40 Mizar No.3088 XOR = SUM Rust CE - 51,260 bytes
1064828 2025-04-05 00:43:11 Mizar No.3085 Easy Problems Rust CE
(最新)
--
AC
- 51,393 bytes
1064822 2025-04-05 00:25:02 Mizar No.3086 Re One Two Rust CE
(最新)
--
AC
- 51,550 bytes
1064809 2025-04-05 00:09:12 Mizar No.3088 XOR = SUM Rust CE
(最新)
--
AC
- 51,351 bytes
1064807 2025-04-05 00:07:35 Mizar No.3088 XOR = SUM Rust CE - 51,265 bytes
1064779 2025-04-04 23:38:48 Mizar No.3088 XOR = SUM Rust CE
(最新)
--
AC
- 51,344 bytes
検索
結果
言語