結果
問題 |
No.2090 否定論理積と充足可能性
|
ユーザー |
|
提出日時 | 2022-09-30 21:25:11 |
言語 | Text (cat 8.3) |
結果 |
WA
|
実行時間 | - |
コード長 | 3 bytes |
コンパイル時間 | 34 ms |
コンパイル使用メモリ | 6,692 KB |
実行使用メモリ | 6,820 KB |
最終ジャッジ日時 | 2024-12-22 22:11:12 |
合計ジャッジ時間 | 759 ms |
ジャッジサーバーID (参考情報) |
judge5 / judge3 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
other | AC * 16 WA * 4 |