結果
| 問題 | No.2090 否定論理積と充足可能性 |
| コンテスト | |
| ユーザー |
Forested
|
| 提出日時 | 2022-09-30 21:41:50 |
| 言語 | Python3 (3.14.3 + numpy 2.4.4 + scipy 1.17.1) |
| 結果 |
WA
|
| 実行時間 | - |
| コード長 | 12 bytes |
| 記録 | |
| コンパイル時間 | 756 ms |
| コンパイル使用メモリ | 20,828 KB |
| 実行使用メモリ | 15,488 KB |
| 最終ジャッジ日時 | 2026-05-29 02:00:11 |
| 合計ジャッジ時間 | 3,980 ms |
|
ジャッジサーバーID (参考情報) |
judge1_0 / judge3_1 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| other | AC * 16 WA * 4 |
Forested