Helper functions for dealing with results files readable by treceval