Answer

The IP Certification Matrix posted provides details on the devices that are certified. You can also run:

./dmctl -s <DM_NAME> get
ICF_TopologyManager::ICF-TopologyManager| grep <Sys_OID>
.1.3.6.1.4.1.9.1.947.2.2
./dmctl -s <DM_NAME> get
ICF_TopologyManager::ICF-TopologyManager| grep 
.1.3.6.1.4.1.9.1.947.2.2

where .1.3.6.1.4.1.9.1.947.2.2 is the SystemOID.

If the command does not return a result, then device is not certified.