No such diagn name in shot:12700 path btor.xls local path /golem/database/operation/shots/12700/DAS/1011NIbasic.ON/Nidatap_6143 diagn btorerror 'Missing data: btor'