{ "verification-check" "ThreadSafety__VC_881176209980_004" "model" "SW_ZhangXieHu_2014OptimizedSW1_Si__MO_800412945727_005" "domain" "openkim.org" "verification-result-id" "VC_881176209980_004-and-MO_800412945727_005-1620528632-vr" }