{ "verification-check" "MemoryLeak__VC_561022993723_004" "model" "SW_BereSerra_2006_GaN__MO_861114678890_001" "domain" "openkim.org" "verification-result-id" "VC_561022993723_004-and-MO_861114678890_001-1669765242-vr" }