Readme file tests/testruns/test_drs_to_tptp_out.txt too large (598,910 bytes; maximum size is 50,000)