{ "verification-check" "ThreadSafety__VC_881176209980_005" "model" "SW_BalamaneHaliciogluTiller_1992_Si__MO_113686039439_005" "domain" "openkim.org" "verification-result-id" "VC_881176209980_005-and-MO_113686039439_005-1628206940-vr" }