test/*: new 'RESULTS' line format (easier to parse);