rn3: 'test/results/-r5654#integration-predicateAnalysis.12-02-17.1332.results.xml'
rn2: 'test/results/-r5647#integration-predicateAnalysis.12-02-17.1125.results.xml'
rn1: 'test/results/-r5643#integration-predicateAnalysis.12-02-17.1041.results.xml'
rn5: 'test/results/-r5656#integration-predicateAnalysis.12-02-17.1416.results.xml'
rn4: 'test/results/-r5655#integration-predicateAnalysis.12-02-17.1354.results.xml'