Mizar
さんの提出一覧
# 提出日時 提出者 問題 言語 結果 実行時間 コード長
1133798 2025-11-15 01:13:47 👑 Mizar No.3397 Max Weighted Floor of Linear Python3 TLE - 2,505 bytes
1133795 2025-11-15 01:08:09 👑 Mizar No.3397 Max Weighted Floor of Linear Rust AC 110 ms 3,920 bytes
1133789 2025-11-15 00:51:05 👑 Mizar No.3397 Max Weighted Floor of Linear Haskell AC 1067 ms 2,997 bytes
1133788 2025-11-15 00:50:35 👑 Mizar No.3397 Max Weighted Floor of Linear Haskell AC 329 ms 3,530 bytes
1132466 2025-11-13 04:04:41 👑 Mizar No.3397 Max Weighted Floor of Linear Rust AC 112 ms 2,888 bytes
1132428 2025-11-13 00:08:36 👑 Mizar No.3397 Max Weighted Floor of Linear Haskell AC 325 ms 3,902 bytes
1132427 2025-11-13 00:06:23 👑 Mizar No.3397 Max Weighted Floor of Linear Haskell AC 919 ms 3,369 bytes
1132345 2025-11-12 13:12:21 👑 Mizar No.3398 Accuracy of Integer Division Approximate Function 2 Haskell AC - -
1132343 2025-11-12 12:04:10 👑 Mizar No.3398 Accuracy of Integer Division Approximate Function 2 Rust AC - -
1132339 2025-11-12 11:37:37 👑 Mizar No.3397 Max Weighted Floor of Linear C++17 AC 199 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 548 ms 3,745 bytes
1132247 2025-11-11 22:31:00 👑 Mizar No.3397 Max Weighted Floor of Linear Rust AC 121 ms 2,865 bytes
1132053 2025-11-10 22:59:25 👑 Mizar No.3397 Max Weighted Floor of Linear Haskell AC 890 ms 2,747 bytes
1132052 2025-11-10 22:56:50 👑 Mizar No.3397 Max Weighted Floor of Linear Haskell AC 330 ms 3,280 bytes
1132043 2025-11-10 21:14:13 👑 Mizar No.3398 Accuracy of Integer Division Approximate Function 2 Haskell AC - -
1132042 2025-11-10 21:13:46 👑 Mizar No.3398 Accuracy of Integer Division Approximate Function 2 Haskell AC - -
1131131 2025-11-03 22:08:05 👑 Mizar No.3398 Accuracy of Integer Division Approximate Function 2 Ruby AC - -
1131130 2025-11-03 22:00:51 👑 Mizar No.3398 Accuracy of Integer Division Approximate Function 2 Ruby AC - -
1131123 2025-11-03 21:12:46 👑 Mizar No.3397 Max Weighted Floor of Linear Nim AC 506 ms 1,190 bytes
1131115 2025-11-03 19:36:27 👑 Mizar No.3397 Max Weighted Floor of Linear Rust AC 116 ms 2,751 bytes
1131059 2025-11-03 10:55:45 👑 Mizar No.3397 Max Weighted Floor of Linear PyPy3 AC 508 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 196 ms 1,692 bytes
1130849 2025-11-02 20:40:57 👑 Mizar No.3398 Accuracy of Integer Division Approximate Function 2 Python3 AC - -
1130846 2025-11-02 20:24:17 👑 Mizar No.3398 Accuracy of Integer Division Approximate Function 2 Python3 AC - -
1130822 2025-11-02 15:19:26 👑 Mizar No.3398 Accuracy of Integer Division Approximate Function 2 JavaScript AC - -
1130821 2025-11-02 15:19:03 👑 Mizar No.3398 Accuracy of Integer Division Approximate Function 2 JavaScript AC - -
1130820 2025-11-02 15:17:00 👑 Mizar No.3398 Accuracy of Integer Division Approximate Function 2 Rust AC - -
1130819 2025-11-02 15:16:20 👑 Mizar No.3398 Accuracy of Integer Division Approximate Function 2 Rust AC - -
1130818 2025-11-02 15:14:29 👑 Mizar No.3398 Accuracy of Integer Division Approximate Function 2 C++17 AC - -
1130816 2025-11-02 15:07:01 👑 Mizar No.3398 Accuracy of Integer Division Approximate Function 2 PyPy3 AC - -
1130793 2025-11-02 03:22:21 👑 Mizar No.3398 Accuracy of Integer Division Approximate Function 2 PyPy3 AC - -
1130792 2025-11-02 03:18:11 👑 Mizar No.3398 Accuracy of Integer Division Approximate Function 2 C++17 AC - -
1106490 2025-07-23 12:53:59 👑 Mizar No.8030 ミラー・ラビン素数判定法のテスト Rust AC 13 ms 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 698 ms 5,243 bytes
1084488 2025-05-14 18:33:26 👑 Mizar No.3047 Verification of Sorting Network C++23 AC 708 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 763 ms 5,236 bytes
1084474 2025-05-14 17:19:35 👑 Mizar No.3047 Verification of Sorting Network C++23 AC 738 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 AC 22 ms 51,264 bytes
1064875 2025-04-05 07:34:55 👑 Mizar No.3088 XOR = SUM Rust AC 84 ms 51,206 bytes
1064874 2025-04-05 07:18:40 👑 Mizar No.3088 XOR = SUM Rust WA - 51,260 bytes
1064828 2025-04-05 00:43:11 👑 Mizar No.3085 Easy Problems Rust AC 83 ms 51,393 bytes
1064822 2025-04-05 00:25:02 👑 Mizar No.3086 Re One Two Rust AC 10 ms 51,550 bytes
1064809 2025-04-05 00:09:12 👑 Mizar No.3088 XOR = SUM Rust AC 18 ms 51,351 bytes
1064807 2025-04-05 00:07:35 👑 Mizar No.3088 XOR = SUM Rust WA - 51,265 bytes
検索
結果
言語