rn3: 'test/results/-r5621#benchmark-cpachecker.12-02-16.0055.results.xml'
rn2: 'test/results/-r5613#benchmark-cpachecker.12-02-15.1405.results.xml'
rn1: 'test/results/-r5611#benchmark-cpachecker.12-02-15.0946.results.xml'
rn5: 'test/results/-r5628#benchmark-cpachecker.12-02-16.1745.results.xml'
rn4: 'test/results/-r5623#benchmark-cpachecker.12-02-16.0925.results.xml'