rn3: 'test/results/-r5655#benchmark-cpachecker.12-02-17.1353.results.xml'
rn2: 'test/results/-r5654#benchmark-cpachecker.12-02-17.1351.results.xml'
rn1: 'test/results/-r5647#benchmark-cpachecker.12-02-17.1101.results.xml'
rn5: 'test/results/-r5662#benchmark-cpachecker.12-02-19.0041.results.xml'
rn4: 'test/results/-r5656#benchmark-cpachecker.12-02-17.1413.results.xml'