rn3: 'test/results/-r5639#benchmark-cpachecker.12-02-17.0957.results.xml'
rn2: 'test/results/-r5638#benchmark-cpachecker.12-02-17.0953.results.xml'
rn1: 'test/results/-r5637#benchmark-cpachecker.12-02-17.0931.results.xml'
rn5: 'test/results/-r5643#benchmark-cpachecker.12-02-17.1030.results.xml'
rn4: 'test/results/-r5641#benchmark-cpachecker.12-02-17.1022.results.xml'