No such diagn name in shot:12042 path btor.xls local path /golem/database/operation/shots/12042/DAS/0512NIstandard.ONN/Nidatap_6133 diagn btorerror 'Missing data: btor'