{ "verification-check" "MemoryLeak__VC_561022993723_003" "model" "SW_ZhangXieHu_2014OptimizedSW2_Si__MO_475612090600_005" "domain" "openkim.org" "verification-result-id" "VC_561022993723_003-and-MO_475612090600_005-1620529728-vr" }