#802832 (Kotlin) No.2090 否定論理積と充足可能性

提出ソース

問題	No.2090 否定論理積と充足可能性
コンテスト
ユーザー	ripity
提出日時	2022-09-30 21:46:13
言語	Kotlin (2.4.10 + ACL) コンパイル: `kotlinc -cp /opt/aclib/ac_library.jar _filename_ -include-runtime -d main.jar` 実行: `java -cp main.jar:/opt/aclib/ac_library.jar _class_`
結果	CE
実行時間	-
コード長	434 bytes
記録記録タグの例: 初AC ショートコード純ショートコード純主流ショートコード最速実行時間
コンパイル時間	4,632 ms
コンパイル使用メモリ	362,888 KB
最終ジャッジ日時	2026-05-29 02:08:15
合計ジャッジ時間	6,882 ms
ジャッジサーバーID （参考情報）	judge1_1 / judge3_1

このコードへのチャレンジ
（要ログイン）

コンパイルエラー時のメッセージ・ソースコードは、提出者また管理者しか表示できないようにしております。（リジャッジ後のコンパイルエラーは公開されます）
ただし、clay言語の場合は開発者のデバッグのため、公開されます。