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

• 問題: No.2090 否定論理積と充足可能性
• ユーザー: FF256grhy
• 提出日時: 2022-09-30 22:22:59
• 言語: cLay (20240104-1)
• 結果: AC
• 実行時間: 2 ms / 2,000 ms
• コード長: 59 bytes
• コンパイル時間: 3,273 ms
• コンパイル使用メモリ: 159,552 KB
• 実行使用メモリ: 4,380 KB
• 最終ジャッジ日時: 2023-08-24 15:56:58
• 合計ジャッジ時間: 2,814 ms
• ジャッジサーバーID （参考情報）: judge11 / judge12

入力	結果	実行時間; 実行使用メモリ
testcase_00	AC	1 ms; 4,376 KB
testcase_01	AC	1 ms; 4,376 KB
testcase_02	AC	2 ms; 4,380 KB
testcase_03	AC	1 ms; 4,376 KB
testcase_04	AC	1 ms; 4,380 KB
testcase_05	AC	1 ms; 4,380 KB
testcase_06	AC	1 ms; 4,380 KB
testcase_07	AC	1 ms; 4,376 KB
testcase_08	AC	1 ms; 4,376 KB
testcase_09	AC	1 ms; 4,376 KB
testcase_10	AC	1 ms; 4,380 KB
testcase_11	AC	1 ms; 4,376 KB
testcase_12	AC	1 ms; 4,380 KB
testcase_13	AC	2 ms; 4,380 KB
testcase_14	AC	2 ms; 4,376 KB
testcase_15	AC	1 ms; 4,380 KB
testcase_16	AC	1 ms; 4,376 KB
testcase_17	AC	2 ms; 4,376 KB
testcase_18	AC	1 ms; 4,376 KB
testcase_19	AC	1 ms; 4,376 KB

ソースコード

string@a,@b,@c,@x,@y,@z;wt(a!=b|b!=c|x!=y|y!=z?"YES":"NO");