{ "model" "SW_ZhangXieHu_2014OptimizedSW2_Si__MO_475612090600_004" "verification-result-id" "VC_881176209980_001-and-MO_475612090600_004-1544835938-vr" "verification-check" "ThreadSafety__VC_881176209980_001" "domain" "openkim.org" }