Write equivalent relation test result to a file.