NTP Servers Configured but not Operational: Check Point Configuration Alert Guide

indeni uses different commands for different devices to determine if NTP is working. Examples: See here