{ "verification-check" "MemoryLeak__VC_561022993723_004" "model" "SNAP_LiHuChen_2018_NiMo__MO_468686727341_000" "domain" "openkim.org" "verification-result-id" "VC_561022993723_004-and-MO_468686727341_000-1669765241-vr" }