rn3: 'test/results/-r5654#integration-predicateAnalysis-abm.12-02-17.1331.results.xml'
rn2: 'test/results/-r5647#integration-predicateAnalysis-abm.12-02-17.1107.results.xml'
rn1: 'test/results/-r5643#integration-predicateAnalysis-abm.12-02-17.1030.results.xml'
rn5: 'test/results/-r5662#integration-predicateAnalysis-abm.12-02-19.0041.results.xml'
rn4: 'test/results/-r5656#integration-predicateAnalysis-abm.12-02-17.1402.results.xml'