説明
管理HA環境における同期の問題の原因として、サーバーにインストールされている製品が一致していないという理由が考えられます。一方のデバイスはスタンドアロンサーバーで、もう一方のデバイスはセキュリティ管理サーバーのみです。管理HAでは、両方のサーバーに同じ製品がインストールされている必要があります。つまり、両方のサーバーがスタンドアロンサーバーとして、または両方のサーバーがセキュリティ管理サーバーとしてインストールされている必要があります。そのため、これは正当な理由ではありません。
その他の記述は、管理 HA 環境における同期の問題の原因として考えられるものです。
参考資料: [Check Point Security Expert R81 高可用性管理ガイド]、11 ページ。

SmartEvent Correlation Unitは、ログエントリを分析し、そこからイベントを識別する役割を担います。Log Serverマシンまたは専用マシン1で実行されます。SmartEvent Correlation Unitのステータスを確認するには、インストールされているマシンでコマンドcpstat cpseadを使用します。このコマンドは、処理されたログの数、生成されたイベントの数、CPUとメモリの使用率、SmartEvent Server23への接続ステータスなどの情報を表示します。
参考資料: SmartEvent 管理ガイド R76、SmartEvent 管理ガイド R75、SmartEvent パフォーマンスチューニングガイド

Check Point TEアプライアンス（推奨モード）には、2つのOSイメージが含まれています。1つはアプライアンスの実行に使用され、もう1つはバックアップとリカバリに使用されます。これらのイメージは、インストール時に管理者によって選択されることも、ライセンスや最新バージョンに基づいて選択されることもありません。参考：[Check Point R81 Threat Emulation 管理ガイド]

https://sc1.checkpoint.com/documents/R81/CP_R81_SecMGMT/html_frameset.htm?topic=documents/R81/CP_R81_SecMGMT/124265

ログに対してクエリを実行するときに、マシン IP が 10.0.4.210 であるユーザー Toni のレコードを検索し、タブレット IP が 10.0.4.76 であることを除外するには、次のクエリ構文を使用します。
「Toni」かつ 10.0.4.210 であり、10.0.4.76 ではない
このクエリは、「Toni」という語句とIPアドレス10.0.4.210を含むログに一致しますが、IPアドレス10.0.4.76は一致しません。「Toni」を引用符で囲むことで、Toni?やTo**のような語句のバリエーションではなく、完全に一致する語句を含むログのみが一致します。AND演算子は、両方が真である2つの条件を結合し、NOT演算子は特定の条件に一致するログを除外します。参考：[SmartLogユーザーガイド]