rn3: 'test/results/-r5669#benchmark-cpachecker.12-02-20.1446.results.xml'
rn2: 'test/results/-r5668#benchmark-cpachecker.12-02-20.1434.results.xml'
rn1: 'test/results/-r5662#benchmark-cpachecker.12-02-19.0041.results.xml'
rn5: 'test/results/-r5680#benchmark-cpachecker.12-02-21.1712.results.xml'
rn4: 'test/results/-r5671#benchmark-cpachecker.12-02-20.2024.results.xml'