rn3: 'test/results/-r5680#benchmark-cpachecker.12-02-21.1712.results.xml'
rn2: 'test/results/-r5671#benchmark-cpachecker.12-02-20.2024.results.xml'
rn1: 'test/results/-r5669#benchmark-cpachecker.12-02-20.1446.results.xml'
rn5: 'test/results/-r5692#benchmark-cpachecker.12-02-22.1404.results.xml'
rn4: 'test/results/-r5690#benchmark-cpachecker.12-02-22.1254.results.xml'