rn3: 'test/results/-r5639#integration-predicateAnalysis.12-02-17.1004.results.xml'
rn2: 'test/results/-r5637#integration-predicateAnalysis.12-02-17.0927.results.xml'
rn1: 'test/results/-r5630#integration-predicateAnalysis.12-02-17.0841.results.xml'
rn5: 'test/results/-r5647#integration-predicateAnalysis.12-02-17.1125.results.xml'
rn4: 'test/results/-r5643#integration-predicateAnalysis.12-02-17.1041.results.xml'