Commit 8cb27ec5 authored by Philipp Meyer's avatar Philipp Meyer

Produces lola problem files with less parentheses

parent ee45be29

Too many changes to show.

To preserve performance only 1000 of 1000+ files are displayed.
EF ((((((((((((((((((((((((((((((((((((((((((((('sigma >= 1 AND 'alpha >= alpha) AND 'callToTask.s00000743.input.s00000699 >= callToTask.s00000743.input.s00000699) AND 'callToTask.s00000743.input.s00000709 >= callToTask.s00000743.input.s00000709) AND 'callToTask.s00000743.inputCriterion.s00000700.used >= callToTask.s00000743.inputCriterion.s00000700.used) AND 'callToTask.s00000743.output.s00000713 >= callToTask.s00000743.output.s00000713) AND 'callToTask.s00000743.output.s00000754 >= callToTask.s00000743.output.s00000754) AND 'callToTask.s00000744.input.s00000709 >= callToTask.s00000744.input.s00000709) AND 'callToTask.s00000744.input.s00000752 >= callToTask.s00000744.input.s00000752) AND 'callToTask.s00000744.inputCriterion.s00000700.used >= callToTask.s00000744.inputCriterion.s00000700.used) AND 'callToTask.s00000744.output.s00000713 >= callToTask.s00000744.output.s00000713) AND 'callToTask.s00000744.output.s00000754 >= callToTask.s00000744.output.s00000754) AND 'callToTask.s00000745.input.s00000699 >= callToTask.s00000745.input.s00000699) AND 'callToTask.s00000745.input.s00000709 >= callToTask.s00000745.input.s00000709) AND 'callToTask.s00000745.inputCriterion.s00000700.used >= callToTask.s00000745.inputCriterion.s00000700.used) AND 'callToTask.s00000745.output.s00000702 >= callToTask.s00000745.output.s00000702) AND 'callToTask.s00000745.output.s00000713 >= callToTask.s00000745.output.s00000713) AND 'callToTask.s00000745.output.s00000754 >= callToTask.s00000745.output.s00000754) AND 'callToTask.s00000746.input.s00000699 >= callToTask.s00000746.input.s00000699) AND 'callToTask.s00000746.input.s00000709 >= callToTask.s00000746.input.s00000709) AND 'callToTask.s00000746.inputCriterion.s00000700.used >= callToTask.s00000746.inputCriterion.s00000700.used) AND 'callToTask.s00000746.output.s00000703 >= callToTask.s00000746.output.s00000703) AND 'callToTask.s00000746.output.s00000713 >= callToTask.s00000746.output.s00000713) AND 'callToTask.s00000746.output.s00000754 >= callToTask.s00000746.output.s00000754) AND 'callToTask.s00000747.input.s00000699 >= callToTask.s00000747.input.s00000699) AND 'callToTask.s00000747.input.s00000709 >= callToTask.s00000747.input.s00000709) AND 'callToTask.s00000747.inputCriterion.s00000700.used >= callToTask.s00000747.inputCriterion.s00000700.used) AND 'callToTask.s00000747.output.s00000713 >= callToTask.s00000747.output.s00000713) AND 'callToTask.s00000747.output.s00000754 >= callToTask.s00000747.output.s00000754) AND 'callToTask.s00000748.input.s00000699 >= callToTask.s00000748.input.s00000699) AND 'callToTask.s00000748.input.s00000709 >= callToTask.s00000748.input.s00000709) AND 'callToTask.s00000748.inputCriterion.s00000700.used >= callToTask.s00000748.inputCriterion.s00000700.used) AND 'callToTask.s00000748.output.s00000713 >= callToTask.s00000748.output.s00000713) AND 'callToTask.s00000748.output.s00000754 >= callToTask.s00000748.output.s00000754) AND 'decision.s00000707.activated >= decision.s00000707.activated) AND 'decision.s00000719.activated >= decision.s00000719.activated) AND 'endNode.s00000706.input.default >= endNode.s00000706.input.default) AND 'merge.s00000730.activated >= merge.s00000730.activated) AND 'merge.s00000742.activated >= merge.s00000742.activated) AND 'merge.s00000742.input.s00000709 >= merge.s00000742.input.s00000709) AND 'merge.s00000742.input.s00000737 >= merge.s00000742.input.s00000737) AND 'merge.s00000742.input.s00000740 >= merge.s00000742.input.s00000740) AND 'process.s00000021##s00000698.input.s00000699 >= process.s00000021##s00000698.input.s00000699) AND 'process.s00000021##s00000698.output.s00000701 >= process.s00000021##s00000698.output.s00000701) AND 'process.s00000021##s00000698.outputCriterion.s00000704_omega >= process.s00000021##s00000698.outputCriterion.s00000704_omega))
EF ('sigma >= 1 AND 'alpha >= alpha AND 'callToTask.s00000743.input.s00000699 >= callToTask.s00000743.input.s00000699 AND 'callToTask.s00000743.input.s00000709 >= callToTask.s00000743.input.s00000709 AND 'callToTask.s00000743.inputCriterion.s00000700.used >= callToTask.s00000743.inputCriterion.s00000700.used AND 'callToTask.s00000743.output.s00000713 >= callToTask.s00000743.output.s00000713 AND 'callToTask.s00000743.output.s00000754 >= callToTask.s00000743.output.s00000754 AND 'callToTask.s00000744.input.s00000709 >= callToTask.s00000744.input.s00000709 AND 'callToTask.s00000744.input.s00000752 >= callToTask.s00000744.input.s00000752 AND 'callToTask.s00000744.inputCriterion.s00000700.used >= callToTask.s00000744.inputCriterion.s00000700.used AND 'callToTask.s00000744.output.s00000713 >= callToTask.s00000744.output.s00000713 AND 'callToTask.s00000744.output.s00000754 >= callToTask.s00000744.output.s00000754 AND 'callToTask.s00000745.input.s00000699 >= callToTask.s00000745.input.s00000699 AND 'callToTask.s00000745.input.s00000709 >= callToTask.s00000745.input.s00000709 AND 'callToTask.s00000745.inputCriterion.s00000700.used >= callToTask.s00000745.inputCriterion.s00000700.used AND 'callToTask.s00000745.output.s00000702 >= callToTask.s00000745.output.s00000702 AND 'callToTask.s00000745.output.s00000713 >= callToTask.s00000745.output.s00000713 AND 'callToTask.s00000745.output.s00000754 >= callToTask.s00000745.output.s00000754 AND 'callToTask.s00000746.input.s00000699 >= callToTask.s00000746.input.s00000699 AND 'callToTask.s00000746.input.s00000709 >= callToTask.s00000746.input.s00000709 AND 'callToTask.s00000746.inputCriterion.s00000700.used >= callToTask.s00000746.inputCriterion.s00000700.used AND 'callToTask.s00000746.output.s00000703 >= callToTask.s00000746.output.s00000703 AND 'callToTask.s00000746.output.s00000713 >= callToTask.s00000746.output.s00000713 AND 'callToTask.s00000746.output.s00000754 >= callToTask.s00000746.output.s00000754 AND 'callToTask.s00000747.input.s00000699 >= callToTask.s00000747.input.s00000699 AND 'callToTask.s00000747.input.s00000709 >= callToTask.s00000747.input.s00000709 AND 'callToTask.s00000747.inputCriterion.s00000700.used >= callToTask.s00000747.inputCriterion.s00000700.used AND 'callToTask.s00000747.output.s00000713 >= callToTask.s00000747.output.s00000713 AND 'callToTask.s00000747.output.s00000754 >= callToTask.s00000747.output.s00000754 AND 'callToTask.s00000748.input.s00000699 >= callToTask.s00000748.input.s00000699 AND 'callToTask.s00000748.input.s00000709 >= callToTask.s00000748.input.s00000709 AND 'callToTask.s00000748.inputCriterion.s00000700.used >= callToTask.s00000748.inputCriterion.s00000700.used AND 'callToTask.s00000748.output.s00000713 >= callToTask.s00000748.output.s00000713 AND 'callToTask.s00000748.output.s00000754 >= callToTask.s00000748.output.s00000754 AND 'decision.s00000707.activated >= decision.s00000707.activated AND 'decision.s00000719.activated >= decision.s00000719.activated AND 'endNode.s00000706.input.default >= endNode.s00000706.input.default AND 'merge.s00000730.activated >= merge.s00000730.activated AND 'merge.s00000742.activated >= merge.s00000742.activated AND 'merge.s00000742.input.s00000709 >= merge.s00000742.input.s00000709 AND 'merge.s00000742.input.s00000737 >= merge.s00000742.input.s00000737 AND 'merge.s00000742.input.s00000740 >= merge.s00000742.input.s00000740 AND 'process.s00000021##s00000698.input.s00000699 >= process.s00000021##s00000698.input.s00000699 AND 'process.s00000021##s00000698.output.s00000701 >= process.s00000021##s00000698.output.s00000701 AND 'process.s00000021##s00000698.outputCriterion.s00000704_omega >= process.s00000021##s00000698.outputCriterion.s00000704_omega)
EF (((((((((((((((((((((((((((((((((((((((((((((((((((((('sigma >= 1 AND 'alpha >= alpha) AND 'callToProcess.s00001005.inputCriterion.s00000858.used >= callToProcess.s00001005.inputCriterion.s00000858.used) AND 'callToProcess.s00001005.output.s00000713 >= callToProcess.s00001005.output.s00000713) AND 'callToProcess.s00001005.output.s00000961 >= callToProcess.s00001005.output.s00000961) AND 'callToService.s00001024.inputCriterion.s00000700.used >= callToService.s00001024.inputCriterion.s00000700.used) AND 'callToService.s00001024.output.s00000713 >= callToService.s00001024.output.s00000713) AND 'callToService.s00001024.output.s00001029 >= callToService.s00001024.output.s00001029) AND 'callToTask.s00001020.inputCriterion.s00000700.used >= callToTask.s00001020.inputCriterion.s00000700.used) AND 'callToTask.s00001020.output.s00000713 >= callToTask.s00001020.output.s00000713) AND 'callToTask.s00001020.output.s00000866 >= callToTask.s00001020.output.s00000866) AND 'callToTask.s00001020.output.s00000961 >= callToTask.s00001020.output.s00000961) AND 'callToTask.s00001021.input.s00000709 >= callToTask.s00001021.input.s00000709) AND 'callToTask.s00001021.input.s00000847 >= callToTask.s00001021.input.s00000847) AND 'callToTask.s00001021.input.s00001010 >= callToTask.s00001021.input.s00001010) AND 'callToTask.s00001021.inputCriterion.s00000700.used >= callToTask.s00001021.inputCriterion.s00000700.used) AND 'callToTask.s00001021.output.s00000713 >= callToTask.s00001021.output.s00000713) AND 'callToTask.s00001021.output.s00000849 >= callToTask.s00001021.output.s00000849) AND 'callToTask.s00001021.output.s00001027 >= callToTask.s00001021.output.s00001027) AND 'callToTask.s00001022.input.s00000709 >= callToTask.s00001022.input.s00000709) AND 'callToTask.s00001022.input.s00000847 >= callToTask.s00001022.input.s00000847) AND 'callToTask.s00001022.input.s00001010 >= callToTask.s00001022.input.s00001010) AND 'callToTask.s00001022.inputCriterion.s00000700.used >= callToTask.s00001022.inputCriterion.s00000700.used) AND 'callToTask.s00001022.output.s00000713 >= callToTask.s00001022.output.s00000713) AND 'callToTask.s00001022.output.s00000849 >= callToTask.s00001022.output.s00000849) AND 'callToTask.s00001023.input.s00000709 >= callToTask.s00001023.input.s00000709) AND 'callToTask.s00001023.input.s00000847 >= callToTask.s00001023.input.s00000847) AND 'callToTask.s00001023.inputCriterion.s00000700.used >= callToTask.s00001023.inputCriterion.s00000700.used) AND 'callToTask.s00001023.output.s00000713 >= callToTask.s00001023.output.s00000713) AND 'callToTask.s00001023.output.s00000849 >= callToTask.s00001023.output.s00000849) AND 'callToTask.s00001025.input.s00000709 >= callToTask.s00001025.input.s00000709) AND 'callToTask.s00001025.input.s00000847 >= callToTask.s00001025.input.s00000847) AND 'callToTask.s00001025.inputCriterion.s00000858.used >= callToTask.s00001025.inputCriterion.s00000858.used) AND 'callToTask.s00001025.output.s00000713 >= callToTask.s00001025.output.s00000713) AND 'callToTask.s00001025.output.s00000961 >= callToTask.s00001025.output.s00000961) AND 'callToTask.s00001026.inputCriterion.s00000858.used >= callToTask.s00001026.inputCriterion.s00000858.used) AND 'callToTask.s00001026.output.s00000713 >= callToTask.s00001026.output.s00000713) AND 'callToTask.s00001026.output.s00000849 >= callToTask.s00001026.output.s00000849) AND 'decision.s00001011.activated >= decision.s00001011.activated) AND 'decision.s00001014.activated >= decision.s00001014.activated) AND 'decision.s00001014.input.s00000710 >= decision.s00001014.input.s00000710) AND 'decision.s00001014.input.s00000737 >= decision.s00001014.input.s00000737) AND 'decision.s00001017.activated >= decision.s00001017.activated) AND 'endNode.s00000706.input.default >= endNode.s00000706.input.default) AND 'endNode.s00000850.input.default >= endNode.s00000850.input.default) AND 'merge.s00000730.activated >= merge.s00000730.activated) AND 'merge.s00000730.input.s00000710 >= merge.s00000730.input.s00000710) AND 'merge.s00000730.input.s00000737 >= merge.s00000730.input.s00000737) AND 'merge.s00000742.activated >= merge.s00000742.activated) AND 'merge.s00000742.input.s00000709 >= merge.s00000742.input.s00000709) AND 'process.s00000029##s00001009.input.s00000847 >= process.s00000029##s00001009.input.s00000847) AND 'process.s00000029##s00001009.input.s00001010 >= process.s00000029##s00001009.input.s00001010) AND 'process.s00000029##s00001009.output.s00000849 >= process.s00000029##s00001009.output.s00000849) AND 'process.s00000029##s00001009.outputCriterion.s00000704_omega >= process.s00000029##s00001009.outputCriterion.s00000704_omega))
EF ('sigma >= 1 AND 'alpha >= alpha AND 'callToProcess.s00001005.inputCriterion.s00000858.used >= callToProcess.s00001005.inputCriterion.s00000858.used AND 'callToProcess.s00001005.output.s00000713 >= callToProcess.s00001005.output.s00000713 AND 'callToProcess.s00001005.output.s00000961 >= callToProcess.s00001005.output.s00000961 AND 'callToService.s00001024.inputCriterion.s00000700.used >= callToService.s00001024.inputCriterion.s00000700.used AND 'callToService.s00001024.output.s00000713 >= callToService.s00001024.output.s00000713 AND 'callToService.s00001024.output.s00001029 >= callToService.s00001024.output.s00001029 AND 'callToTask.s00001020.inputCriterion.s00000700.used >= callToTask.s00001020.inputCriterion.s00000700.used AND 'callToTask.s00001020.output.s00000713 >= callToTask.s00001020.output.s00000713 AND 'callToTask.s00001020.output.s00000866 >= callToTask.s00001020.output.s00000866 AND 'callToTask.s00001020.output.s00000961 >= callToTask.s00001020.output.s00000961 AND 'callToTask.s00001021.input.s00000709 >= callToTask.s00001021.input.s00000709 AND 'callToTask.s00001021.input.s00000847 >= callToTask.s00001021.input.s00000847 AND 'callToTask.s00001021.input.s00001010 >= callToTask.s00001021.input.s00001010 AND 'callToTask.s00001021.inputCriterion.s00000700.used >= callToTask.s00001021.inputCriterion.s00000700.used AND 'callToTask.s00001021.output.s00000713 >= callToTask.s00001021.output.s00000713 AND 'callToTask.s00001021.output.s00000849 >= callToTask.s00001021.output.s00000849 AND 'callToTask.s00001021.output.s00001027 >= callToTask.s00001021.output.s00001027 AND 'callToTask.s00001022.input.s00000709 >= callToTask.s00001022.input.s00000709 AND 'callToTask.s00001022.input.s00000847 >= callToTask.s00001022.input.s00000847 AND 'callToTask.s00001022.input.s00001010 >= callToTask.s00001022.input.s00001010 AND 'callToTask.s00001022.inputCriterion.s00000700.used >= callToTask.s00001022.inputCriterion.s00000700.used AND 'callToTask.s00001022.output.s00000713 >= callToTask.s00001022.output.s00000713 AND 'callToTask.s00001022.output.s00000849 >= callToTask.s00001022.output.s00000849 AND 'callToTask.s00001023.input.s00000709 >= callToTask.s00001023.input.s00000709 AND 'callToTask.s00001023.input.s00000847 >= callToTask.s00001023.input.s00000847 AND 'callToTask.s00001023.inputCriterion.s00000700.used >= callToTask.s00001023.inputCriterion.s00000700.used AND 'callToTask.s00001023.output.s00000713 >= callToTask.s00001023.output.s00000713 AND 'callToTask.s00001023.output.s00000849 >= callToTask.s00001023.output.s00000849 AND 'callToTask.s00001025.input.s00000709 >= callToTask.s00001025.input.s00000709 AND 'callToTask.s00001025.input.s00000847 >= callToTask.s00001025.input.s00000847 AND 'callToTask.s00001025.inputCriterion.s00000858.used >= callToTask.s00001025.inputCriterion.s00000858.used AND 'callToTask.s00001025.output.s00000713 >= callToTask.s00001025.output.s00000713 AND 'callToTask.s00001025.output.s00000961 >= callToTask.s00001025.output.s00000961 AND 'callToTask.s00001026.inputCriterion.s00000858.used >= callToTask.s00001026.inputCriterion.s00000858.used AND 'callToTask.s00001026.output.s00000713 >= callToTask.s00001026.output.s00000713 AND 'callToTask.s00001026.output.s00000849 >= callToTask.s00001026.output.s00000849 AND 'decision.s00001011.activated >= decision.s00001011.activated AND 'decision.s00001014.activated >= decision.s00001014.activated AND 'decision.s00001014.input.s00000710 >= decision.s00001014.input.s00000710 AND 'decision.s00001014.input.s00000737 >= decision.s00001014.input.s00000737 AND 'decision.s00001017.activated >= decision.s00001017.activated AND 'endNode.s00000706.input.default >= endNode.s00000706.input.default AND 'endNode.s00000850.input.default >= endNode.s00000850.input.default AND 'merge.s00000730.activated >= merge.s00000730.activated AND 'merge.s00000730.input.s00000710 >= merge.s00000730.input.s00000710 AND 'merge.s00000730.input.s00000737 >= merge.s00000730.input.s00000737 AND 'merge.s00000742.activated >= merge.s00000742.activated AND 'merge.s00000742.input.s00000709 >= merge.s00000742.input.s00000709 AND 'process.s00000029##s00001009.input.s00000847 >= process.s00000029##s00001009.input.s00000847 AND 'process.s00000029##s00001009.input.s00001010 >= process.s00000029##s00001009.input.s00001010 AND 'process.s00000029##s00001009.output.s00000849 >= process.s00000029##s00001009.output.s00000849 AND 'process.s00000029##s00001009.outputCriterion.s00000704_omega >= process.s00000029##s00001009.outputCriterion.s00000704_omega)
EF ((((((((((((((((((((((((((((((((((((((((((((((((((((('sigma >= 1 AND 'alpha >= alpha) AND 'callToProcess.s00001009.inputCriterion.s00000700.used >= callToProcess.s00001009.inputCriterion.s00000700.used) AND 'callToProcess.s00001009.output.s00000713 >= callToProcess.s00001009.output.s00000713) AND 'callToProcess.s00001009.output.s00000849 >= callToProcess.s00001009.output.s00000849) AND 'callToProcess.s00001051.input.s00000709 >= callToProcess.s00001051.input.s00000709) AND 'callToProcess.s00001051.input.s00000847 >= callToProcess.s00001051.input.s00000847) AND 'callToProcess.s00001051.inputCriterion.s00000858.used >= callToProcess.s00001051.inputCriterion.s00000858.used) AND 'callToProcess.s00001051.output.s00000713 >= callToProcess.s00001051.output.s00000713) AND 'callToProcess.s00001051.output.s00000919 >= callToProcess.s00001051.output.s00000919) AND 'callToService.s00001096.input.s00000709 >= callToService.s00001096.input.s00000709) AND 'callToService.s00001096.inputCriterion.s00000700.used >= callToService.s00001096.inputCriterion.s00000700.used) AND 'callToService.s00001096.output.s00000713 >= callToService.s00001096.output.s00000713) AND 'callToService.s00001096.output.s00001027 >= callToService.s00001096.output.s00001027) AND 'callToService.s00001096.output.s00001029 >= callToService.s00001096.output.s00001029) AND 'callToTask.s00000887.input.s00000709 >= callToTask.s00000887.input.s00000709) AND 'callToTask.s00000887.input.s00000847 >= callToTask.s00000887.input.s00000847) AND 'callToTask.s00000887.inputCriterion.s00000858.used >= callToTask.s00000887.inputCriterion.s00000858.used) AND 'callToTask.s00000887.output.s00000713 >= callToTask.s00000887.output.s00000713) AND 'callToTask.s00000887.output.s00000849 >= callToTask.s00000887.output.s00000849) AND 'callToTask.s00000887.output.s00000867 >= callToTask.s00000887.output.s00000867) AND 'callToTask.s00001091.input.s00000709 >= callToTask.s00001091.input.s00000709) AND 'callToTask.s00001091.input.s00001028 >= callToTask.s00001091.input.s00001028) AND 'callToTask.s00001091.inputCriterion.s00000700.used >= callToTask.s00001091.inputCriterion.s00000700.used) AND 'callToTask.s00001091.output.s00000713 >= callToTask.s00001091.output.s00000713) AND 'callToTask.s00001091.output.s00001029 >= callToTask.s00001091.output.s00001029) AND 'callToTask.s00001092.inputCriterion.s00000700.used >= callToTask.s00001092.inputCriterion.s00000700.used) AND 'callToTask.s00001092.output.s00000713 >= callToTask.s00001092.output.s00000713) AND 'callToTask.s00001092.output.s00001029 >= callToTask.s00001092.output.s00001029) AND 'callToTask.s00001093.input.s00000709 >= callToTask.s00001093.input.s00000709) AND 'callToTask.s00001093.input.s00000847 >= callToTask.s00001093.input.s00000847) AND 'callToTask.s00001093.inputCriterion.s00000858.used >= callToTask.s00001093.inputCriterion.s00000858.used) AND 'callToTask.s00001093.output.s00000713 >= callToTask.s00001093.output.s00000713) AND 'callToTask.s00001093.output.s00000849 >= callToTask.s00001093.output.s00000849) AND 'callToTask.s00001094.inputCriterion.s00000700.used >= callToTask.s00001094.inputCriterion.s00000700.used) AND 'callToTask.s00001094.output.s00000713 >= callToTask.s00001094.output.s00000713) AND 'callToTask.s00001094.output.s00001082 >= callToTask.s00001094.output.s00001082) AND 'callToTask.s00001095.input.s00000709 >= callToTask.s00001095.input.s00000709) AND 'callToTask.s00001095.input.s00000847 >= callToTask.s00001095.input.s00000847) AND 'callToTask.s00001095.inputCriterion.s00000700.used >= callToTask.s00001095.inputCriterion.s00000700.used) AND 'callToTask.s00001095.output.s00000713 >= callToTask.s00001095.output.s00000713) AND 'callToTask.s00001095.output.s00001082 >= callToTask.s00001095.output.s00001082) AND 'decision.s00001083.activated >= decision.s00001083.activated) AND 'decision.s00001088.activated >= decision.s00001088.activated) AND 'endNode.s00000706.input.default >= endNode.s00000706.input.default) AND 'merge.s00000730.activated >= merge.s00000730.activated) AND 'merge.s00000730.input.s00000739 >= merge.s00000730.input.s00000739) AND 'merge.s00000730.input.s00000740 >= merge.s00000730.input.s00000740) AND 'merge.s00000742.activated >= merge.s00000742.activated) AND 'merge.s00000742.input.s00000710 >= merge.s00000742.input.s00000710) AND 'process.s00000029##s00001081.input.s00000847 >= process.s00000029##s00001081.input.s00000847) AND 'process.s00000029##s00001081.output.s00000849 >= process.s00000029##s00001081.output.s00000849) AND 'process.s00000029##s00001081.outputCriterion.s00000704_omega >= process.s00000029##s00001081.outputCriterion.s00000704_omega))
EF ('sigma >= 1 AND 'alpha >= alpha AND 'callToProcess.s00001009.inputCriterion.s00000700.used >= callToProcess.s00001009.inputCriterion.s00000700.used AND 'callToProcess.s00001009.output.s00000713 >= callToProcess.s00001009.output.s00000713 AND 'callToProcess.s00001009.output.s00000849 >= callToProcess.s00001009.output.s00000849 AND 'callToProcess.s00001051.input.s00000709 >= callToProcess.s00001051.input.s00000709 AND 'callToProcess.s00001051.input.s00000847 >= callToProcess.s00001051.input.s00000847 AND 'callToProcess.s00001051.inputCriterion.s00000858.used >= callToProcess.s00001051.inputCriterion.s00000858.used AND 'callToProcess.s00001051.output.s00000713 >= callToProcess.s00001051.output.s00000713 AND 'callToProcess.s00001051.output.s00000919 >= callToProcess.s00001051.output.s00000919 AND 'callToService.s00001096.input.s00000709 >= callToService.s00001096.input.s00000709 AND 'callToService.s00001096.inputCriterion.s00000700.used >= callToService.s00001096.inputCriterion.s00000700.used AND 'callToService.s00001096.output.s00000713 >= callToService.s00001096.output.s00000713 AND 'callToService.s00001096.output.s00001027 >= callToService.s00001096.output.s00001027 AND 'callToService.s00001096.output.s00001029 >= callToService.s00001096.output.s00001029 AND 'callToTask.s00000887.input.s00000709 >= callToTask.s00000887.input.s00000709 AND 'callToTask.s00000887.input.s00000847 >= callToTask.s00000887.input.s00000847 AND 'callToTask.s00000887.inputCriterion.s00000858.used >= callToTask.s00000887.inputCriterion.s00000858.used AND 'callToTask.s00000887.output.s00000713 >= callToTask.s00000887.output.s00000713 AND 'callToTask.s00000887.output.s00000849 >= callToTask.s00000887.output.s00000849 AND 'callToTask.s00000887.output.s00000867 >= callToTask.s00000887.output.s00000867 AND 'callToTask.s00001091.input.s00000709 >= callToTask.s00001091.input.s00000709 AND 'callToTask.s00001091.input.s00001028 >= callToTask.s00001091.input.s00001028 AND 'callToTask.s00001091.inputCriterion.s00000700.used >= callToTask.s00001091.inputCriterion.s00000700.used AND 'callToTask.s00001091.output.s00000713 >= callToTask.s00001091.output.s00000713 AND 'callToTask.s00001091.output.s00001029 >= callToTask.s00001091.output.s00001029 AND 'callToTask.s00001092.inputCriterion.s00000700.used >= callToTask.s00001092.inputCriterion.s00000700.used AND 'callToTask.s00001092.output.s00000713 >= callToTask.s00001092.output.s00000713 AND 'callToTask.s00001092.output.s00001029 >= callToTask.s00001092.output.s00001029 AND 'callToTask.s00001093.input.s00000709 >= callToTask.s00001093.input.s00000709 AND 'callToTask.s00001093.input.s00000847 >= callToTask.s00001093.input.s00000847 AND 'callToTask.s00001093.inputCriterion.s00000858.used >= callToTask.s00001093.inputCriterion.s00000858.used AND 'callToTask.s00001093.output.s00000713 >= callToTask.s00001093.output.s00000713 AND 'callToTask.s00001093.output.s00000849 >= callToTask.s00001093.output.s00000849 AND 'callToTask.s00001094.inputCriterion.s00000700.used >= callToTask.s00001094.inputCriterion.s00000700.used AND 'callToTask.s00001094.output.s00000713 >= callToTask.s00001094.output.s00000713 AND 'callToTask.s00001094.output.s00001082 >= callToTask.s00001094.output.s00001082 AND 'callToTask.s00001095.input.s00000709 >= callToTask.s00001095.input.s00000709 AND 'callToTask.s00001095.input.s00000847 >= callToTask.s00001095.input.s00000847 AND 'callToTask.s00001095.inputCriterion.s00000700.used >= callToTask.s00001095.inputCriterion.s00000700.used AND 'callToTask.s00001095.output.s00000713 >= callToTask.s00001095.output.s00000713 AND 'callToTask.s00001095.output.s00001082 >= callToTask.s00001095.output.s00001082 AND 'decision.s00001083.activated >= decision.s00001083.activated AND 'decision.s00001088.activated >= decision.s00001088.activated AND 'endNode.s00000706.input.default >= endNode.s00000706.input.default AND 'merge.s00000730.activated >= merge.s00000730.activated AND 'merge.s00000730.input.s00000739 >= merge.s00000730.input.s00000739 AND 'merge.s00000730.input.s00000740 >= merge.s00000730.input.s00000740 AND 'merge.s00000742.activated >= merge.s00000742.activated AND 'merge.s00000742.input.s00000710 >= merge.s00000742.input.s00000710 AND 'process.s00000029##s00001081.input.s00000847 >= process.s00000029##s00001081.input.s00000847 AND 'process.s00000029##s00001081.output.s00000849 >= process.s00000029##s00001081.output.s00000849 AND 'process.s00000029##s00001081.outputCriterion.s00000704_omega >= process.s00000029##s00001081.outputCriterion.s00000704_omega)
EF ((((((((((((((((((((((((((((((((((((((((((((((((((('sigma >= 1 AND 'alpha >= alpha) AND 'callToProcess.s00001009.inputCriterion.s00000700.used >= callToProcess.s00001009.inputCriterion.s00000700.used) AND 'callToProcess.s00001009.output.s00000713 >= callToProcess.s00001009.output.s00000713) AND 'callToProcess.s00001009.output.s00000849 >= callToProcess.s00001009.output.s00000849) AND 'callToService.s00001143.input.s00000709 >= callToService.s00001143.input.s00000709) AND 'callToService.s00001143.inputCriterion.s00000858.used >= callToService.s00001143.inputCriterion.s00000858.used) AND 'callToService.s00001143.output.s00000713 >= callToService.s00001143.output.s00000713) AND 'callToService.s00001143.output.s00000849 >= callToService.s00001143.output.s00000849) AND 'callToService.s00001143.output.s00001027 >= callToService.s00001143.output.s00001027) AND 'callToService.s00001144.inputCriterion.s00000858.used >= callToService.s00001144.inputCriterion.s00000858.used) AND 'callToService.s00001144.output.s00000713 >= callToService.s00001144.output.s00000713) AND 'callToService.s00001144.output.s00000849 >= callToService.s00001144.output.s00000849) AND 'callToService.s00001144.output.s00001145 >= callToService.s00001144.output.s00001145) AND 'callToTask.s00000887.input.s00000709 >= callToTask.s00000887.input.s00000709) AND 'callToTask.s00000887.input.s00000847 >= callToTask.s00000887.input.s00000847) AND 'callToTask.s00000887.inputCriterion.s00000858.used >= callToTask.s00000887.inputCriterion.s00000858.used) AND 'callToTask.s00000887.output.s00000713 >= callToTask.s00000887.output.s00000713) AND 'callToTask.s00000887.output.s00000849 >= callToTask.s00000887.output.s00000849) AND 'callToTask.s00000887.output.s00000867 >= callToTask.s00000887.output.s00000867) AND 'callToTask.s00001139.inputCriterion.s00000700.used >= callToTask.s00001139.inputCriterion.s00000700.used) AND 'callToTask.s00001139.output.s00000713 >= callToTask.s00001139.output.s00000713) AND 'callToTask.s00001139.output.s00000918 >= callToTask.s00001139.output.s00000918) AND 'callToTask.s00001139.output.s00001029 >= callToTask.s00001139.output.s00001029) AND 'callToTask.s00001140.input.s00000709 >= callToTask.s00001140.input.s00000709) AND 'callToTask.s00001140.input.s00000916 >= callToTask.s00001140.input.s00000916) AND 'callToTask.s00001140.inputCriterion.s00000858.used >= callToTask.s00001140.inputCriterion.s00000858.used) AND 'callToTask.s00001140.output.s00000713 >= callToTask.s00001140.output.s00000713) AND 'callToTask.s00001140.output.s00000867 >= callToTask.s00001140.output.s00000867) AND 'callToTask.s00001141.input.s00000709 >= callToTask.s00001141.input.s00000709) AND 'callToTask.s00001141.input.s00000847 >= callToTask.s00001141.input.s00000847) AND 'callToTask.s00001141.inputCriterion.s00000858.used >= callToTask.s00001141.inputCriterion.s00000858.used) AND 'callToTask.s00001141.output.s00000713 >= callToTask.s00001141.output.s00000713) AND 'callToTask.s00001141.output.s00000849 >= callToTask.s00001141.output.s00000849) AND 'callToTask.s00001141.output.s00001145 >= callToTask.s00001141.output.s00001145) AND 'callToTask.s00001142.input.s00000709 >= callToTask.s00001142.input.s00000709) AND 'callToTask.s00001142.input.s00000847 >= callToTask.s00001142.input.s00000847) AND 'callToTask.s00001142.input.s00001146 >= callToTask.s00001142.input.s00001146) AND 'callToTask.s00001142.inputCriterion.s00000858.used >= callToTask.s00001142.inputCriterion.s00000858.used) AND 'callToTask.s00001142.output.s00000713 >= callToTask.s00001142.output.s00000713) AND 'callToTask.s00001142.output.s00000849 >= callToTask.s00001142.output.s00000849) AND 'decision.s00001136.activated >= decision.s00001136.activated) AND 'fork.s00000981.activated.s00000711 >= fork.s00000981.activated.s00000711) AND 'fork.s00000981.activated.s00000715 >= fork.s00000981.activated.s00000715) AND 'merge.s00000730.activated >= merge.s00000730.activated) AND 'merge.s00000730.input.s00000709 >= merge.s00000730.input.s00000709) AND 'merge.s00000730.input.s00000737 >= merge.s00000730.input.s00000737) AND 'merge.s00000742.activated >= merge.s00000742.activated) AND 'process.s00000029##s00001135.input.s00001028 >= process.s00000029##s00001135.input.s00001028) AND 'process.s00000029##s00001135.output.s00000867 >= process.s00000029##s00001135.output.s00000867) AND 'process.s00000029##s00001135.outputCriterion.s00000704_omega >= process.s00000029##s00001135.outputCriterion.s00000704_omega))
EF ('sigma >= 1 AND 'alpha >= alpha AND 'callToProcess.s00001009.inputCriterion.s00000700.used >= callToProcess.s00001009.inputCriterion.s00000700.used AND 'callToProcess.s00001009.output.s00000713 >= callToProcess.s00001009.output.s00000713 AND 'callToProcess.s00001009.output.s00000849 >= callToProcess.s00001009.output.s00000849 AND 'callToService.s00001143.input.s00000709 >= callToService.s00001143.input.s00000709 AND 'callToService.s00001143.inputCriterion.s00000858.used >= callToService.s00001143.inputCriterion.s00000858.used AND 'callToService.s00001143.output.s00000713 >= callToService.s00001143.output.s00000713 AND 'callToService.s00001143.output.s00000849 >= callToService.s00001143.output.s00000849 AND 'callToService.s00001143.output.s00001027 >= callToService.s00001143.output.s00001027 AND 'callToService.s00001144.inputCriterion.s00000858.used >= callToService.s00001144.inputCriterion.s00000858.used AND 'callToService.s00001144.output.s00000713 >= callToService.s00001144.output.s00000713 AND 'callToService.s00001144.output.s00000849 >= callToService.s00001144.output.s00000849 AND 'callToService.s00001144.output.s00001145 >= callToService.s00001144.output.s00001145 AND 'callToTask.s00000887.input.s00000709 >= callToTask.s00000887.input.s00000709 AND 'callToTask.s00000887.input.s00000847 >= callToTask.s00000887.input.s00000847 AND 'callToTask.s00000887.inputCriterion.s00000858.used >= callToTask.s00000887.inputCriterion.s00000858.used AND 'callToTask.s00000887.output.s00000713 >= callToTask.s00000887.output.s00000713 AND 'callToTask.s00000887.output.s00000849 >= callToTask.s00000887.output.s00000849 AND 'callToTask.s00000887.output.s00000867 >= callToTask.s00000887.output.s00000867 AND 'callToTask.s00001139.inputCriterion.s00000700.used >= callToTask.s00001139.inputCriterion.s00000700.used AND 'callToTask.s00001139.output.s00000713 >= callToTask.s00001139.output.s00000713 AND 'callToTask.s00001139.output.s00000918 >= callToTask.s00001139.output.s00000918 AND 'callToTask.s00001139.output.s00001029 >= callToTask.s00001139.output.s00001029 AND 'callToTask.s00001140.input.s00000709 >= callToTask.s00001140.input.s00000709 AND 'callToTask.s00001140.input.s00000916 >= callToTask.s00001140.input.s00000916 AND 'callToTask.s00001140.inputCriterion.s00000858.used >= callToTask.s00001140.inputCriterion.s00000858.used AND 'callToTask.s00001140.output.s00000713 >= callToTask.s00001140.output.s00000713 AND 'callToTask.s00001140.output.s00000867 >= callToTask.s00001140.output.s00000867 AND 'callToTask.s00001141.input.s00000709 >= callToTask.s00001141.input.s00000709 AND 'callToTask.s00001141.input.s00000847 >= callToTask.s00001141.input.s00000847 AND 'callToTask.s00001141.inputCriterion.s00000858.used >= callToTask.s00001141.inputCriterion.s00000858.used AND 'callToTask.s00001141.output.s00000713 >= callToTask.s00001141.output.s00000713 AND 'callToTask.s00001141.output.s00000849 >= callToTask.s00001141.output.s00000849 AND 'callToTask.s00001141.output.s00001145 >= callToTask.s00001141.output.s00001145 AND 'callToTask.s00001142.input.s00000709 >= callToTask.s00001142.input.s00000709 AND 'callToTask.s00001142.input.s00000847 >= callToTask.s00001142.input.s00000847 AND 'callToTask.s00001142.input.s00001146 >= callToTask.s00001142.input.s00001146 AND 'callToTask.s00001142.inputCriterion.s00000858.used >= callToTask.s00001142.inputCriterion.s00000858.used AND 'callToTask.s00001142.output.s00000713 >= callToTask.s00001142.output.s00000713 AND 'callToTask.s00001142.output.s00000849 >= callToTask.s00001142.output.s00000849 AND 'decision.s00001136.activated >= decision.s00001136.activated AND 'fork.s00000981.activated.s00000711 >= fork.s00000981.activated.s00000711 AND 'fork.s00000981.activated.s00000715 >= fork.s00000981.activated.s00000715 AND 'merge.s00000730.activated >= merge.s00000730.activated AND 'merge.s00000730.input.s00000709 >= merge.s00000730.input.s00000709 AND 'merge.s00000730.input.s00000737 >= merge.s00000730.input.s00000737 AND 'merge.s00000742.activated >= merge.s00000742.activated AND 'process.s00000029##s00001135.input.s00001028 >= process.s00000029##s00001135.input.s00001028 AND 'process.s00000029##s00001135.output.s00000867 >= process.s00000029##s00001135.output.s00000867 AND 'process.s00000029##s00001135.outputCriterion.s00000704_omega >= process.s00000029##s00001135.outputCriterion.s00000704_omega)
EF (((((((((((((((((((((((((((((((((((((((((((((((((((((((('sigma >= 1 AND 'alpha >= alpha) AND 'callToProcess.s00001009.inputCriterion.s00000700.used >= callToProcess.s00001009.inputCriterion.s00000700.used) AND 'callToProcess.s00001009.output.s00000713 >= callToProcess.s00001009.output.s00000713) AND 'callToProcess.s00001009.output.s00000849 >= callToProcess.s00001009.output.s00000849) AND 'callToProcess.s00001081.inputCriterion.s00000700.used >= callToProcess.s00001081.inputCriterion.s00000700.used) AND 'callToProcess.s00001081.output.s00000713 >= callToProcess.s00001081.output.s00000713) AND 'callToProcess.s00001081.output.s00000849 >= callToProcess.s00001081.output.s00000849) AND 'callToProcess.s00001098.input.s00000709 >= callToProcess.s00001098.input.s00000709) AND 'callToProcess.s00001098.input.s00000847 >= callToProcess.s00001098.input.s00000847) AND 'callToProcess.s00001098.inputCriterion.s00000700.used >= callToProcess.s00001098.inputCriterion.s00000700.used) AND 'callToProcess.s00001098.output.s00000713 >= callToProcess.s00001098.output.s00000713) AND 'callToProcess.s00001098.output.s00000849 >= callToProcess.s00001098.output.s00000849) AND 'callToProcess.s00001135.input.s00000709 >= callToProcess.s00001135.input.s00000709) AND 'callToProcess.s00001135.input.s00001028 >= callToProcess.s00001135.input.s00001028) AND 'callToProcess.s00001135.inputCriterion.s00000700.used >= callToProcess.s00001135.inputCriterion.s00000700.used) AND 'callToProcess.s00001135.output.s00000713 >= callToProcess.s00001135.output.s00000713) AND 'callToProcess.s00001135.output.s00000867 >= callToProcess.s00001135.output.s00000867) AND 'callToProcess.s00001135.output.s00001118 >= callToProcess.s00001135.output.s00001118) AND 'callToService.s00001157.input.s00000709 >= callToService.s00001157.input.s00000709) AND 'callToService.s00001157.inputCriterion.s00000700.used >= callToService.s00001157.inputCriterion.s00000700.used) AND 'callToService.s00001157.output.s00000713 >= callToService.s00001157.output.s00000713) AND 'callToService.s00001157.output.s00001027 >= callToService.s00001157.output.s00001027) AND 'callToService.s00001157.output.s00001029 >= callToService.s00001157.output.s00001029) AND 'callToTask.s00000887.input.s00000709 >= callToTask.s00000887.input.s00000709) AND 'callToTask.s00000887.input.s00000847 >= callToTask.s00000887.input.s00000847) AND 'callToTask.s00000887.inputCriterion.s00000858.used >= callToTask.s00000887.inputCriterion.s00000858.used) AND 'callToTask.s00000887.output.s00000713 >= callToTask.s00000887.output.s00000713) AND 'callToTask.s00000887.output.s00000849 >= callToTask.s00000887.output.s00000849) AND 'callToTask.s00000887.output.s00000867 >= callToTask.s00000887.output.s00000867) AND 'callToTask.s00001113.input.s00000709 >= callToTask.s00001113.input.s00000709) AND 'callToTask.s00001113.input.s00000847 >= callToTask.s00001113.input.s00000847) AND 'callToTask.s00001113.inputCriterion.s00000858.used >= callToTask.s00001113.inputCriterion.s00000858.used) AND 'callToTask.s00001113.output.s00000713 >= callToTask.s00001113.output.s00000713) AND 'callToTask.s00001113.output.s00000849 >= callToTask.s00001113.output.s00000849) AND 'callToTask.s00001155.inputCriterion.s00000700.used >= callToTask.s00001155.inputCriterion.s00000700.used) AND 'callToTask.s00001155.output.s00000713 >= callToTask.s00001155.output.s00000713) AND 'callToTask.s00001155.output.s00000848 >= callToTask.s00001155.output.s00000848) AND 'callToTask.s00001155.output.s00001029 >= callToTask.s00001155.output.s00001029) AND 'callToTask.s00001155.output.s00001145 >= callToTask.s00001155.output.s00001145) AND 'callToTask.s00001156.inputCriterion.s00000858.used >= callToTask.s00001156.inputCriterion.s00000858.used) AND 'callToTask.s00001156.output.s00000713 >= callToTask.s00001156.output.s00000713) AND 'callToTask.s00001156.output.s00000849 >= callToTask.s00001156.output.s00000849) AND 'decision.s00001149.activated >= decision.s00001149.activated) AND 'decision.s00001152.activated >= decision.s00001152.activated) AND 'endNode.s00000851.input.default >= endNode.s00000851.input.default) AND 'merge.s00000730.activated >= merge.s00000730.activated) AND 'merge.s00000730.input.s00000710 >= merge.s00000730.input.s00000710) AND 'merge.s00000730.input.s00000737 >= merge.s00000730.input.s00000737) AND 'merge.s00000742.activated >= merge.s00000742.activated) AND 'merge.s00000742.input.s00000710 >= merge.s00000742.input.s00000710) AND 'merge.s00000856.activated >= merge.s00000856.activated) AND 'process.s00000029##s00001148.input.s00001028 >= process.s00000029##s00001148.input.s00001028) AND 'process.s00000029##s00001148.output.s00000867 >= process.s00000029##s00001148.output.s00000867) AND 'process.s00000029##s00001148.output.s00001118 >= process.s00000029##s00001148.output.s00001118) AND 'process.s00000029##s00001148.outputCriterion.s00000704_omega >= process.s00000029##s00001148.outputCriterion.s00000704_omega))
EF ('sigma >= 1 AND 'alpha >= alpha AND 'callToProcess.s00001009.inputCriterion.s00000700.used >= callToProcess.s00001009.inputCriterion.s00000700.used AND 'callToProcess.s00001009.output.s00000713 >= callToProcess.s00001009.output.s00000713 AND 'callToProcess.s00001009.output.s00000849 >= callToProcess.s00001009.output.s00000849 AND 'callToProcess.s00001081.inputCriterion.s00000700.used >= callToProcess.s00001081.inputCriterion.s00000700.used AND 'callToProcess.s00001081.output.s00000713 >= callToProcess.s00001081.output.s00000713 AND 'callToProcess.s00001081.output.s00000849 >= callToProcess.s00001081.output.s00000849 AND 'callToProcess.s00001098.input.s00000709 >= callToProcess.s00001098.input.s00000709 AND 'callToProcess.s00001098.input.s00000847 >= callToProcess.s00001098.input.s00000847 AND 'callToProcess.s00001098.inputCriterion.s00000700.used >= callToProcess.s00001098.inputCriterion.s00000700.used AND 'callToProcess.s00001098.output.s00000713 >= callToProcess.s00001098.output.s00000713 AND 'callToProcess.s00001098.output.s00000849 >= callToProcess.s00001098.output.s00000849 AND 'callToProcess.s00001135.input.s00000709 >= callToProcess.s00001135.input.s00000709 AND 'callToProcess.s00001135.input.s00001028 >= callToProcess.s00001135.input.s00001028 AND 'callToProcess.s00001135.inputCriterion.s00000700.used >= callToProcess.s00001135.inputCriterion.s00000700.used AND 'callToProcess.s00001135.output.s00000713 >= callToProcess.s00001135.output.s00000713 AND 'callToProcess.s00001135.output.s00000867 >= callToProcess.s00001135.output.s00000867 AND 'callToProcess.s00001135.output.s00001118 >= callToProcess.s00001135.output.s00001118 AND 'callToService.s00001157.input.s00000709 >= callToService.s00001157.input.s00000709 AND 'callToService.s00001157.inputCriterion.s00000700.used >= callToService.s00001157.inputCriterion.s00000700.used AND 'callToService.s00001157.output.s00000713 >= callToService.s00001157.output.s00000713 AND 'callToService.s00001157.output.s00001027 >= callToService.s00001157.output.s00001027 AND 'callToService.s00001157.output.s00001029 >= callToService.s00001157.output.s00001029 AND 'callToTask.s00000887.input.s00000709 >= callToTask.s00000887.input.s00000709 AND 'callToTask.s00000887.input.s00000847 >= callToTask.s00000887.input.s00000847 AND 'callToTask.s00000887.inputCriterion.s00000858.used >= callToTask.s00000887.inputCriterion.s00000858.used AND 'callToTask.s00000887.output.s00000713 >= callToTask.s00000887.output.s00000713 AND 'callToTask.s00000887.output.s00000849 >= callToTask.s00000887.output.s00000849 AND 'callToTask.s00000887.output.s00000867 >= callToTask.s00000887.output.s00000867 AND 'callToTask.s00001113.input.s00000709 >= callToTask.s00001113.input.s00000709 AND 'callToTask.s00001113.input.s00000847 >= callToTask.s00001113.input.s00000847 AND 'callToTask.s00001113.inputCriterion.s00000858.used >= callToTask.s00001113.inputCriterion.s00000858.used AND 'callToTask.s00001113.output.s00000713 >= callToTask.s00001113.output.s00000713 AND 'callToTask.s00001113.output.s00000849 >= callToTask.s00001113.output.s00000849 AND 'callToTask.s00001155.inputCriterion.s00000700.used >= callToTask.s00001155.inputCriterion.s00000700.used AND 'callToTask.s00001155.output.s00000713 >= callToTask.s00001155.output.s00000713 AND 'callToTask.s00001155.output.s00000848 >= callToTask.s00001155.output.s00000848 AND 'callToTask.s00001155.output.s00001029 >= callToTask.s00001155.output.s00001029 AND 'callToTask.s00001155.output.s00001145 >= callToTask.s00001155.output.s00001145 AND 'callToTask.s00001156.inputCriterion.s00000858.used >= callToTask.s00001156.inputCriterion.s00000858.used AND 'callToTask.s00001156.output.s00000713 >= callToTask.s00001156.output.s00000713 AND 'callToTask.s00001156.output.s00000849 >= callToTask.s00001156.output.s00000849 AND 'decision.s00001149.activated >= decision.s00001149.activated AND 'decision.s00001152.activated >= decision.s00001152.activated AND 'endNode.s00000851.input.default >= endNode.s00000851.input.default AND 'merge.s00000730.activated >= merge.s00000730.activated AND 'merge.s00000730.input.s00000710 >= merge.s00000730.input.s00000710 AND 'merge.s00000730.input.s00000737 >= merge.s00000730.input.s00000737 AND 'merge.s00000742.activated >= merge.s00000742.activated AND 'merge.s00000742.input.s00000710 >= merge.s00000742.input.s00000710 AND 'merge.s00000856.activated >= merge.s00000856.activated AND 'process.s00000029##s00001148.input.s00001028 >= process.s00000029##s00001148.input.s00001028 AND 'process.s00000029##s00001148.output.s00000867 >= process.s00000029##s00001148.output.s00000867 AND 'process.s00000029##s00001148.output.s00001118 >= process.s00000029##s00001148.output.s00001118 AND 'process.s00000029##s00001148.outputCriterion.s00000704_omega >= process.s00000029##s00001148.outputCriterion.s00000704_omega)
EF ((((((((((((((((((((((((((((((((((((((('sigma >= 1 AND 'alpha >= alpha) AND 'callToProcess.s00001009.inputCriterion.s00000700.used >= callToProcess.s00001009.inputCriterion.s00000700.used) AND 'callToProcess.s00001009.output.s00000713 >= callToProcess.s00001009.output.s00000713) AND 'callToProcess.s00001009.output.s00000849 >= callToProcess.s00001009.output.s00000849) AND 'callToProcess.s00001051.inputCriterion.s00000858.used >= callToProcess.s00001051.inputCriterion.s00000858.used) AND 'callToProcess.s00001051.output.s00000713 >= callToProcess.s00001051.output.s00000713) AND 'callToProcess.s00001051.output.s00000919 >= callToProcess.s00001051.output.s00000919) AND 'callToService.s00001115.inputCriterion.s00000700.used >= callToService.s00001115.inputCriterion.s00000700.used) AND 'callToService.s00001115.output.s00000713 >= callToService.s00001115.output.s00000713) AND 'callToService.s00001115.output.s00000849 >= callToService.s00001115.output.s00000849) AND 'callToService.s00001175.input.s00000709 >= callToService.s00001175.input.s00000709) AND 'callToService.s00001175.inputCriterion.s00000700.used >= callToService.s00001175.inputCriterion.s00000700.used) AND 'callToService.s00001175.output.s00000713 >= callToService.s00001175.output.s00000713) AND 'callToService.s00001175.output.s00000849 >= callToService.s00001175.output.s00000849) AND 'callToService.s00001175.output.s00001027 >= callToService.s00001175.output.s00001027) AND 'callToTask.s00001109.inputCriterion.s00000700.used >= callToTask.s00001109.inputCriterion.s00000700.used) AND 'callToTask.s00001109.output.s00000713 >= callToTask.s00001109.output.s00000713) AND 'callToTask.s00001109.output.s00000900 >= callToTask.s00001109.output.s00000900) AND 'callToTask.s00001109.output.s00001029 >= callToTask.s00001109.output.s00001029) AND 'callToTask.s00001172.inputCriterion.s00000700.used >= callToTask.s00001172.inputCriterion.s00000700.used) AND 'callToTask.s00001172.output.s00000713 >= callToTask.s00001172.output.s00000713) AND 'callToTask.s00001172.output.s00000849 >= callToTask.s00001172.output.s00000849) AND 'callToTask.s00001172.output.s00001171 >= callToTask.s00001172.output.s00001171) AND 'callToTask.s00001173.input.s00000709 >= callToTask.s00001173.input.s00000709) AND 'callToTask.s00001173.input.s00000847 >= callToTask.s00001173.input.s00000847) AND 'callToTask.s00001173.input.s00001176 >= callToTask.s00001173.input.s00001176) AND 'callToTask.s00001173.inputCriterion.s00000700.used >= callToTask.s00001173.inputCriterion.s00000700.used) AND 'callToTask.s00001173.output.s00000713 >= callToTask.s00001173.output.s00000713) AND 'callToTask.s00001173.output.s00000849 >= callToTask.s00001173.output.s00000849) AND 'callToTask.s00001173.output.s00001171 >= callToTask.s00001173.output.s00001171) AND 'callToTask.s00001174.inputCriterion.s00000700.used >= callToTask.s00001174.inputCriterion.s00000700.used) AND 'callToTask.s00001174.output.s00000713 >= callToTask.s00001174.output.s00000713) AND 'callToTask.s00001174.output.s00000849 >= callToTask.s00001174.output.s00000849) AND 'callToTask.s00001174.output.s00001171 >= callToTask.s00001174.output.s00001171) AND 'decision.s00001165.activated >= decision.s00001165.activated) AND 'endNode.s00000706.input.default >= endNode.s00000706.input.default) AND 'process.s00000029##s00001170.input.s00001028 >= process.s00000029##s00001170.input.s00001028) AND 'process.s00000029##s00001170.outputCriterion.s00000704_omega >= process.s00000029##s00001170.outputCriterion.s00000704_omega))
EF ('sigma >= 1 AND 'alpha >= alpha AND 'callToProcess.s00001009.inputCriterion.s00000700.used >= callToProcess.s00001009.inputCriterion.s00000700.used AND 'callToProcess.s00001009.output.s00000713 >= callToProcess.s00001009.output.s00000713 AND 'callToProcess.s00001009.output.s00000849 >= callToProcess.s00001009.output.s00000849 AND 'callToProcess.s00001051.inputCriterion.s00000858.used >= callToProcess.s00001051.inputCriterion.s00000858.used AND 'callToProcess.s00001051.output.s00000713 >= callToProcess.s00001051.output.s00000713 AND 'callToProcess.s00001051.output.s00000919 >= callToProcess.s00001051.output.s00000919 AND 'callToService.s00001115.inputCriterion.s00000700.used >= callToService.s00001115.inputCriterion.s00000700.used AND 'callToService.s00001115.output.s00000713 >= callToService.s00001115.output.s00000713 AND 'callToService.s00001115.output.s00000849 >= callToService.s00001115.output.s00000849 AND 'callToService.s00001175.input.s00000709 >= callToService.s00001175.input.s00000709 AND 'callToService.s00001175.inputCriterion.s00000700.used >= callToService.s00001175.inputCriterion.s00000700.used AND 'callToService.s00001175.output.s00000713 >= callToService.s00001175.output.s00000713 AND 'callToService.s00001175.output.s00000849 >= callToService.s00001175.output.s00000849 AND 'callToService.s00001175.output.s00001027 >= callToService.s00001175.output.s00001027 AND 'callToTask.s00001109.inputCriterion.s00000700.used >= callToTask.s00001109.inputCriterion.s00000700.used AND 'callToTask.s00001109.output.s00000713 >= callToTask.s00001109.output.s00000713 AND 'callToTask.s00001109.output.s00000900 >= callToTask.s00001109.output.s00000900 AND 'callToTask.s00001109.output.s00001029 >= callToTask.s00001109.output.s00001029 AND 'callToTask.s00001172.inputCriterion.s00000700.used >= callToTask.s00001172.inputCriterion.s00000700.used AND 'callToTask.s00001172.output.s00000713 >= callToTask.s00001172.output.s00000713 AND 'callToTask.s00001172.output.s00000849 >= callToTask.s00001172.output.s00000849 AND 'callToTask.s00001172.output.s00001171 >= callToTask.s00001172.output.s00001171 AND 'callToTask.s00001173.input.s00000709 >= callToTask.s00001173.input.s00000709 AND 'callToTask.s00001173.input.s00000847 >= callToTask.s00001173.input.s00000847 AND 'callToTask.s00001173.input.s00001176 >= callToTask.s00001173.input.s00001176 AND 'callToTask.s00001173.inputCriterion.s00000700.used >= callToTask.s00001173.inputCriterion.s00000700.used AND 'callToTask.s00001173.output.s00000713 >= callToTask.s00001173.output.s00000713 AND 'callToTask.s00001173.output.s00000849 >= callToTask.s00001173.output.s00000849 AND 'callToTask.s00001173.output.s00001171 >= callToTask.s00001173.output.s00001171 AND 'callToTask.s00001174.inputCriterion.s00000700.used >= callToTask.s00001174.inputCriterion.s00000700.used AND 'callToTask.s00001174.output.s00000713 >= callToTask.s00001174.output.s00000713 AND 'callToTask.s00001174.output.s00000849 >= callToTask.s00001174.output.s00000849 AND 'callToTask.s00001174.output.s00001171 >= callToTask.s00001174.output.s00001171 AND 'decision.s00001165.activated >= decision.s00001165.activated AND 'endNode.s00000706.input.default >= endNode.s00000706.input.default AND 'process.s00000029##s00001170.input.s00001028 >= process.s00000029##s00001170.input.s00001028 AND 'process.s00000029##s00001170.outputCriterion.s00000704_omega >= process.s00000029##s00001170.outputCriterion.s00000704_omega)
EF ((((((((((((((((((((((((((((((('sigma >= 1 AND 'alpha >= alpha) AND 'callToTask.s00001181.input.s00000709 >= callToTask.s00001181.input.s00000709) AND 'callToTask.s00001181.inputCriterion.s00000700.used >= callToTask.s00001181.inputCriterion.s00000700.used) AND 'callToTask.s00001181.output.s00000713 >= callToTask.s00001181.output.s00000713) AND 'callToTask.s00001181.output.s00000866 >= callToTask.s00001181.output.s00000866) AND 'callToTask.s00001181.output.s00001185 >= callToTask.s00001181.output.s00001185) AND 'callToTask.s00001182.input.s00000709 >= callToTask.s00001182.input.s00000709) AND 'callToTask.s00001182.input.s00001080 >= callToTask.s00001182.input.s00001080) AND 'callToTask.s00001182.input.s00001186 >= callToTask.s00001182.input.s00001186) AND 'callToTask.s00001182.inputCriterion.s00000700.used >= callToTask.s00001182.inputCriterion.s00000700.used) AND 'callToTask.s00001182.output.s00000713 >= callToTask.s00001182.output.s00000713) AND 'callToTask.s00001182.output.s00000866 >= callToTask.s00001182.output.s00000866) AND 'callToTask.s00001182.output.s00001185 >= callToTask.s00001182.output.s00001185) AND 'callToTask.s00001183.input.s00000709 >= callToTask.s00001183.input.s00000709) AND 'callToTask.s00001183.input.s00001080 >= callToTask.s00001183.input.s00001080) AND 'callToTask.s00001183.input.s00001186 >= callToTask.s00001183.input.s00001186) AND 'callToTask.s00001183.inputCriterion.s00000700.used >= callToTask.s00001183.inputCriterion.s00000700.used) AND 'callToTask.s00001183.output.s00000713 >= callToTask.s00001183.output.s00000713) AND 'callToTask.s00001183.output.s00000866 >= callToTask.s00001183.output.s00000866) AND 'callToTask.s00001183.output.s00001185 >= callToTask.s00001183.output.s00001185) AND 'callToTask.s00001184.inputCriterion.s00000700.used >= callToTask.s00001184.inputCriterion.s00000700.used) AND 'callToTask.s00001184.output.s00000713 >= callToTask.s00001184.output.s00000713) AND 'callToTask.s00001184.output.s00000866 >= callToTask.s00001184.output.s00000866) AND 'decision.s00001178.activated >= decision.s00001178.activated) AND 'merge.s00000730.activated >= merge.s00000730.activated) AND 'merge.s00000730.input.s00000710 >= merge.s00000730.input.s00000710) AND 'merge.s00000730.input.s00000734 >= merge.s00000730.input.s00000734) AND 'merge.s00000730.input.s00000740 >= merge.s00000730.input.s00000740) AND 'process.s00000031##s00001177.input.s00001080 >= process.s00000031##s00001177.input.s00001080) AND 'process.s00000031##s00001177.outputCriterion.s00000704_omega >= process.s00000031##s00001177.outputCriterion.s00000704_omega))
EF ('sigma >= 1 AND 'alpha >= alpha AND 'callToTask.s00001181.input.s00000709 >= callToTask.s00001181.input.s00000709 AND 'callToTask.s00001181.inputCriterion.s00000700.used >= callToTask.s00001181.inputCriterion.s00000700.used AND 'callToTask.s00001181.output.s00000713 >= callToTask.s00001181.output.s00000713 AND 'callToTask.s00001181.output.s00000866 >= callToTask.s00001181.output.s00000866 AND 'callToTask.s00001181.output.s00001185 >= callToTask.s00001181.output.s00001185 AND 'callToTask.s00001182.input.s00000709 >= callToTask.s00001182.input.s00000709 AND 'callToTask.s00001182.input.s00001080 >= callToTask.s00001182.input.s00001080 AND 'callToTask.s00001182.input.s00001186 >= callToTask.s00001182.input.s00001186 AND 'callToTask.s00001182.inputCriterion.s00000700.used >= callToTask.s00001182.inputCriterion.s00000700.used AND 'callToTask.s00001182.output.s00000713 >= callToTask.s00001182.output.s00000713 AND 'callToTask.s00001182.output.s00000866 >= callToTask.s00001182.output.s00000866 AND 'callToTask.s00001182.output.s00001185 >= callToTask.s00001182.output.s00001185 AND 'callToTask.s00001183.input.s00000709 >= callToTask.s00001183.input.s00000709 AND 'callToTask.s00001183.input.s00001080 >= callToTask.s00001183.input.s00001080 AND 'callToTask.s00001183.input.s00001186 >= callToTask.s00001183.input.s00001186 AND 'callToTask.s00001183.inputCriterion.s00000700.used >= callToTask.s00001183.inputCriterion.s00000700.used AND 'callToTask.s00001183.output.s00000713 >= callToTask.s00001183.output.s00000713 AND 'callToTask.s00001183.output.s00000866 >= callToTask.s00001183.output.s00000866 AND 'callToTask.s00001183.output.s00001185 >= callToTask.s00001183.output.s00001185 AND 'callToTask.s00001184.inputCriterion.s00000700.used >= callToTask.s00001184.inputCriterion.s00000700.used AND 'callToTask.s00001184.output.s00000713 >= callToTask.s00001184.output.s00000713 AND 'callToTask.s00001184.output.s00000866 >= callToTask.s00001184.output.s00000866 AND 'decision.s00001178.activated >= decision.s00001178.activated AND 'merge.s00000730.activated >= merge.s00000730.activated AND 'merge.s00000730.input.s00000710 >= merge.s00000730.input.s00000710 AND 'merge.s00000730.input.s00000734 >= merge.s00000730.input.s00000734 AND 'merge.s00000730.input.s00000740 >= merge.s00000730.input.s00000740 AND 'process.s00000031##s00001177.input.s00001080 >= process.s00000031##s00001177.input.s00001080 AND 'process.s00000031##s00001177.outputCriterion.s00000704_omega >= process.s00000031##s00001177.outputCriterion.s00000704_omega)
EF ((((((((((((((((((((((((((((((((((((((((((((((((((((((('sigma >= 1 AND 'alpha >= alpha) AND 'callToProcess.s00001005.inputCriterion.s00000858.used >= callToProcess.s00001005.inputCriterion.s00000858.used) AND 'callToProcess.s00001005.output.s00000713 >= callToProcess.s00001005.output.s00000713) AND 'callToProcess.s00001005.output.s00000961 >= callToProcess.s00001005.output.s00000961) AND 'callToProcess.s00001214.input.s00000709 >= callToProcess.s00001214.input.s00000709) AND 'callToProcess.s00001214.input.s00000960 >= callToProcess.s00001214.input.s00000960) AND 'callToProcess.s00001214.inputCriterion.s00000858.used >= callToProcess.s00001214.inputCriterion.s00000858.used) AND 'callToProcess.s00001214.output.s00000713 >= callToProcess.s00001214.output.s00000713) AND 'callToProcess.s00001214.output.s00000867 >= callToProcess.s00001214.output.s00000867) AND 'callToTask.s00001020.input.s00000709 >= callToTask.s00001020.input.s00000709) AND 'callToTask.s00001020.input.s00000960 >= callToTask.s00001020.input.s00000960) AND 'callToTask.s00001020.input.s00001080 >= callToTask.s00001020.input.s00001080) AND 'callToTask.s00001020.input.s00001219 >= callToTask.s00001020.input.s00001219) AND 'callToTask.s00001020.inputCriterion.s00000700.used >= callToTask.s00001020.inputCriterion.s00000700.used) AND 'callToTask.s00001020.output.s00000713 >= callToTask.s00001020.output.s00000713) AND 'callToTask.s00001020.output.s00000961 >= callToTask.s00001020.output.s00000961) AND 'callToTask.s00001215.input.s00000709 >= callToTask.s00001215.input.s00000709) AND 'callToTask.s00001215.input.s00000960 >= callToTask.s00001215.input.s00000960) AND 'callToTask.s00001215.input.s00001219 >= callToTask.s00001215.input.s00001219) AND 'callToTask.s00001215.inputCriterion.s00000858.used >= callToTask.s00001215.inputCriterion.s00000858.used) AND 'callToTask.s00001215.output.s00000713 >= callToTask.s00001215.output.s00000713) AND 'callToTask.s00001215.output.s00000867 >= callToTask.s00001215.output.s00000867) AND 'callToTask.s00001228.input.s00000709 >= callToTask.s00001228.input.s00000709) AND 'callToTask.s00001228.input.s00001219 >= callToTask.s00001228.input.s00001219) AND 'callToTask.s00001228.inputCriterion.s00000700.used >= callToTask.s00001228.inputCriterion.s00000700.used) AND 'callToTask.s00001228.output.s00000713 >= callToTask.s00001228.output.s00000713) AND 'callToTask.s00001228.output.s00001231 >= callToTask.s00001228.output.s00001231) AND 'callToTask.s00001229.input.s00000709 >= callToTask.s00001229.input.s00000709) AND 'callToTask.s00001229.input.s00001219 >= callToTask.s00001229.input.s00001219) AND 'callToTask.s00001229.inputCriterion.s00000700.used >= callToTask.s00001229.inputCriterion.s00000700.used) AND 'callToTask.s00001229.output.s00000713 >= callToTask.s00001229.output.s00000713) AND 'callToTask.s00001229.output.s00001231 >= callToTask.s00001229.output.s00001231) AND 'callToTask.s00001230.input.s00000709 >= callToTask.s00001230.input.s00000709) AND 'callToTask.s00001230.inputCriterion.s00000858.used >= callToTask.s00001230.inputCriterion.s00000858.used) AND 'callToTask.s00001230.output.s00000713 >= callToTask.s00001230.output.s00000713) AND 'callToTask.s00001230.output.s00000866 >= callToTask.s00001230.output.s00000866) AND 'callToTask.s00001230.output.s00000961 >= callToTask.s00001230.output.s00000961) AND 'callToTask.s00001230.output.s00001231 >= callToTask.s00001230.output.s00001231) AND 'decision.s00001220.activated >= decision.s00001220.activated) AND 'decision.s00001220.input.s00000709 >= decision.s00001220.input.s00000709) AND 'decision.s00001220.input.s00000710 >= decision.s00001220.input.s00000710) AND 'decision.s00001220.input.s00000737 >= decision.s00001220.input.s00000737) AND 'decision.s00001220.input.s00000740 >= decision.s00001220.input.s00000740) AND 'decision.s00001225.activated >= decision.s00001225.activated) AND 'merge.s00000730.activated >= merge.s00000730.activated) AND 'merge.s00000730.input.s00000734 >= merge.s00000730.input.s00000734) AND 'merge.s00000730.input.s00000804 >= merge.s00000730.input.s00000804) AND 'merge.s00000730.input.s00000805 >= merge.s00000730.input.s00000805) AND 'merge.s00000742.activated >= merge.s00000742.activated) AND 'process.s00000031##s00001218.input.s00000960 >= process.s00000031##s00001218.input.s00000960) AND 'process.s00000031##s00001218.input.s00001080 >= process.s00000031##s00001218.input.s00001080) AND 'process.s00000031##s00001218.input.s00001219 >= process.s00000031##s00001218.input.s00001219) AND 'process.s00000031##s00001218.output.s00000867 >= process.s00000031##s00001218.output.s00000867) AND 'process.s00000031##s00001218.outputCriterion.s00000704_omega >= process.s00000031##s00001218.outputCriterion.s00000704_omega))
EF ('sigma >= 1 AND 'alpha >= alpha AND 'callToProcess.s00001005.inputCriterion.s00000858.used >= callToProcess.s00001005.inputCriterion.s00000858.used AND 'callToProcess.s00001005.output.s00000713 >= callToProcess.s00001005.output.s00000713 AND 'callToProcess.s00001005.output.s00000961 >= callToProcess.s00001005.output.s00000961 AND 'callToProcess.s00001214.input.s00000709 >= callToProcess.s00001214.input.s00000709 AND 'callToProcess.s00001214.input.s00000960 >= callToProcess.s00001214.input.s00000960 AND 'callToProcess.s00001214.inputCriterion.s00000858.used >= callToProcess.s00001214.inputCriterion.s00000858.used AND 'callToProcess.s00001214.output.s00000713 >= callToProcess.s00001214.output.s00000713 AND 'callToProcess.s00001214.output.s00000867 >= callToProcess.s00001214.output.s00000867 AND 'callToTask.s00001020.input.s00000709 >= callToTask.s00001020.input.s00000709 AND 'callToTask.s00001020.input.s00000960 >= callToTask.s00001020.input.s00000960 AND 'callToTask.s00001020.input.s00001080 >= callToTask.s00001020.input.s00001080 AND 'callToTask.s00001020.input.s00001219 >= callToTask.s00001020.input.s00001219 AND 'callToTask.s00001020.inputCriterion.s00000700.used >= callToTask.s00001020.inputCriterion.s00000700.used AND 'callToTask.s00001020.output.s00000713 >= callToTask.s00001020.output.s00000713 AND 'callToTask.s00001020.output.s00000961 >= callToTask.s00001020.output.s00000961 AND 'callToTask.s00001215.input.s00000709 >= callToTask.s00001215.input.s00000709 AND 'callToTask.s00001215.input.s00000960 >= callToTask.s00001215.input.s00000960 AND 'callToTask.s00001215.input.s00001219 >= callToTask.s00001215.input.s00001219 AND 'callToTask.s00001215.inputCriterion.s00000858.used >= callToTask.s00001215.inputCriterion.s00000858.used AND 'callToTask.s00001215.output.s00000713 >= callToTask.s00001215.output.s00000713 AND 'callToTask.s00001215.output.s00000867 >= callToTask.s00001215.output.s00000867 AND 'callToTask.s00001228.input.s00000709 >= callToTask.s00001228.input.s00000709 AND 'callToTask.s00001228.input.s00001219 >= callToTask.s00001228.input.s00001219 AND 'callToTask.s00001228.inputCriterion.s00000700.used >= callToTask.s00001228.inputCriterion.s00000700.used AND 'callToTask.s00001228.output.s00000713 >= callToTask.s00001228.output.s00000713 AND 'callToTask.s00001228.output.s00001231 >= callToTask.s00001228.output.s00001231 AND 'callToTask.s00001229.input.s00000709 >= callToTask.s00001229.input.s00000709 AND 'callToTask.s00001229.input.s00001219 >= callToTask.s00001229.input.s00001219 AND 'callToTask.s00001229.inputCriterion.s00000700.used >= callToTask.s00001229.inputCriterion.s00000700.used AND 'callToTask.s00001229.output.s00000713 >= callToTask.s00001229.output.s00000713 AND 'callToTask.s00001229.output.s00001231 >= callToTask.s00001229.output.s00001231 AND 'callToTask.s00001230.input.s00000709 >= callToTask.s00001230.input.s00000709 AND 'callToTask.s00001230.inputCriterion.s00000858.used >= callToTask.s00001230.inputCriterion.s00000858.used AND 'callToTask.s00001230.output.s00000713 >= callToTask.s00001230.output.s00000713 AND 'callToTask.s00001230.output.s00000866 >= callToTask.s00001230.output.s00000866 AND 'callToTask.s00001230.output.s00000961 >= callToTask.s00001230.output.s00000961 AND 'callToTask.s00001230.output.s00001231 >= callToTask.s00001230.output.s00001231 AND 'decision.s00001220.activated >= decision.s00001220.activated AND 'decision.s00001220.input.s00000709 >= decision.s00001220.input.s00000709 AND 'decision.s00001220.input.s00000710 >= decision.s00001220.input.s00000710 AND 'decision.s00001220.input.s00000737 >= decision.s00001220.input.s00000737 AND 'decision.s00001220.input.s00000740 >= decision.s00001220.input.s00000740 AND 'decision.s00001225.activated >= decision.s00001225.activated AND 'merge.s00000730.activated >= merge.s00000730.activated AND 'merge.s00000730.input.s00000734 >= merge.s00000730.input.s00000734 AND 'merge.s00000730.input.s00000804 >= merge.s00000730.input.s00000804 AND 'merge.s00000730.input.s00000805 >= merge.s00000730.input.s00000805 AND 'merge.s00000742.activated >= merge.s00000742.activated AND 'process.s00000031##s00001218.input.s00000960 >= process.s00000031##s00001218.input.s00000960 AND 'process.s00000031##s00001218.input.s00001080 >= process.s00000031##s00001218.input.s00001080 AND 'process.s00000031##s00001218.input.s00001219 >= process.s00000031##s00001218.input.s00001219 AND 'process.s00000031##s00001218.output.s00000867 >= process.s00000031##s00001218.output.s00000867 AND 'process.s00000031##s00001218.outputCriterion.s00000704_omega >= process.s00000031##s00001218.outputCriterion.s00000704_omega)
EF ((((((((((((((((((((((((((((((((((((((('sigma >= 1 AND 'alpha >= alpha) AND 'callToProcess.s00000698.input.s00000709 >= callToProcess.s00000698.input.s00000709) AND 'callToProcess.s00000698.inputCriterion.s00000700.used >= callToProcess.s00000698.inputCriterion.s00000700.used) AND 'callToProcess.s00000698.output.s00000701 >= callToProcess.s00000698.output.s00000701) AND 'callToProcess.s00000698.output.s00000702 >= callToProcess.s00000698.output.s00000702) AND 'callToProcess.s00000698.output.s00000703 >= callToProcess.s00000698.output.s00000703) AND 'callToProcess.s00000698.output.s00000713 >= callToProcess.s00000698.output.s00000713) AND 'callToProcess.s00001177.input.s00000709 >= callToProcess.s00001177.input.s00000709) AND 'callToProcess.s00001177.inputCriterion.s00000700.used >= callToProcess.s00001177.inputCriterion.s00000700.used) AND 'callToProcess.s00001177.output.s00000713 >= callToProcess.s00001177.output.s00000713) AND 'callToProcess.s00001177.output.s00000866 >= callToProcess.s00001177.output.s00000866) AND 'callToProcess.s00001232.input.s00000709 >= callToProcess.s00001232.input.s00000709) AND 'callToProcess.s00001232.inputCriterion.s00000858.used >= callToProcess.s00001232.inputCriterion.s00000858.used) AND 'callToProcess.s00001232.output.s00000713 >= callToProcess.s00001232.output.s00000713) AND 'callToProcess.s00001319.input.s00000709 >= callToProcess.s00001319.input.s00000709) AND 'callToProcess.s00001319.inputCriterion.s00000858.used >= callToProcess.s00001319.inputCriterion.s00000858.used) AND 'callToProcess.s00001319.output.s00000713 >= callToProcess.s00001319.output.s00000713) AND 'callToProcess.s00001319.output.s00001263 >= callToProcess.s00001319.output.s00001263) AND 'callToTask.s00001368.input.s00000709 >= callToTask.s00001368.input.s00000709) AND 'callToTask.s00001368.input.s00000847 >= callToTask.s00001368.input.s00000847) AND 'callToTask.s00001368.inputCriterion.s00000858.used >= callToTask.s00001368.inputCriterion.s00000858.used) AND 'callToTask.s00001368.output.s00000713 >= callToTask.s00001368.output.s00000713) AND 'callToTask.s00001368.output.s00000849 >= callToTask.s00001368.output.s00000849) AND 'callToTask.s00001368.output.s00001314 >= callToTask.s00001368.output.s00001314) AND 'callToTask.s00001369.input.s00000709 >= callToTask.s00001369.input.s00000709) AND 'callToTask.s00001369.input.s00000847 >= callToTask.s00001369.input.s00000847) AND 'callToTask.s00001369.inputCriterion.s00000858.used >= callToTask.s00001369.inputCriterion.s00000858.used) AND 'callToTask.s00001369.output.s00000713 >= callToTask.s00001369.output.s00000713) AND 'callToTask.s00001369.output.s00000849 >= callToTask.s00001369.output.s00000849) AND 'decision.s00001362.activated >= decision.s00001362.activated) AND 'fork.s00000981.activated.s00000711 >= fork.s00000981.activated.s00000711) AND 'fork.s00000981.activated.s00000715 >= fork.s00000981.activated.s00000715) AND 'merge.s00000730.activated >= merge.s00000730.activated) AND 'process.s00000031##s00001361.input.s00000699 >= process.s00000031##s00001361.input.s00000699) AND 'process.s00000031##s00001361.input.s00000847 >= process.s00000031##s00001361.input.s00000847) AND 'process.s00000031##s00001361.input.s00001080 >= process.s00000031##s00001361.input.s00001080) AND 'process.s00000031##s00001361.output.s00000849 >= process.s00000031##s00001361.output.s00000849) AND 'process.s00000031##s00001361.outputCriterion.s00000859_omega >= process.s00000031##s00001361.outputCriterion.s00000859_omega))
EF ('sigma >= 1 AND 'alpha >= alpha AND 'callToProcess.s00000698.input.s00000709 >= callToProcess.s00000698.input.s00000709 AND 'callToProcess.s00000698.inputCriterion.s00000700.used >= callToProcess.s00000698.inputCriterion.s00000700.used AND 'callToProcess.s00000698.output.s00000701 >= callToProcess.s00000698.output.s00000701 AND 'callToProcess.s00000698.output.s00000702 >= callToProcess.s00000698.output.s00000702 AND 'callToProcess.s00000698.output.s00000703 >= callToProcess.s00000698.output.s00000703 AND 'callToProcess.s00000698.output.s00000713 >= callToProcess.s00000698.output.s00000713 AND 'callToProcess.s00001177.input.s00000709 >= callToProcess.s00001177.input.s00000709 AND 'callToProcess.s00001177.inputCriterion.s00000700.used >= callToProcess.s00001177.inputCriterion.s00000700.used AND 'callToProcess.s00001177.output.s00000713 >= callToProcess.s00001177.output.s00000713 AND 'callToProcess.s00001177.output.s00000866 >= callToProcess.s00001177.output.s00000866 AND 'callToProcess.s00001232.input.s00000709 >= callToProcess.s00001232.input.s00000709 AND 'callToProcess.s00001232.inputCriterion.s00000858.used >= callToProcess.s00001232.inputCriterion.s00000858.used AND 'callToProcess.s00001232.output.s00000713 >= callToProcess.s00001232.output.s00000713 AND 'callToProcess.s00001319.input.s00000709 >= callToProcess.s00001319.input.s00000709 AND 'callToProcess.s00001319.inputCriterion.s00000858.used >= callToProcess.s00001319.inputCriterion.s00000858.used AND 'callToProcess.s00001319.output.s00000713 >= callToProcess.s00001319.output.s00000713 AND 'callToProcess.s00001319.output.s00001263 >= callToProcess.s00001319.output.s00001263 AND 'callToTask.s00001368.input.s00000709 >= callToTask.s00001368.input.s00000709 AND 'callToTask.s00001368.input.s00000847 >= callToTask.s00001368.input.s00000847 AND 'callToTask.s00001368.inputCriterion.s00000858.used >= callToTask.s00001368.inputCriterion.s00000858.used AND 'callToTask.s00001368.output.s00000713 >= callToTask.s00001368.output.s00000713 AND 'callToTask.s00001368.output.s00000849 >= callToTask.s00001368.output.s00000849 AND 'callToTask.s00001368.output.s00001314 >= callToTask.s00001368.output.s00001314 AND 'callToTask.s00001369.input.s00000709 >= callToTask.s00001369.input.s00000709 AND 'callToTask.s00001369.input.s00000847 >= callToTask.s00001369.input.s00000847 AND 'callToTask.s00001369.inputCriterion.s00000858.used >= callToTask.s00001369.inputCriterion.s00000858.used AND 'callToTask.s00001369.output.s00000713 >= callToTask.s00001369.output.s00000713 AND 'callToTask.s00001369.output.s00000849 >= callToTask.s00001369.output.s00000849 AND 'decision.s00001362.activated >= decision.s00001362.activated AND 'fork.s00000981.activated.s00000711 >= fork.s00000981.activated.s00000711 AND 'fork.s00000981.activated.s00000715 >= fork.s00000981.activated.s00000715 AND 'merge.s00000730.activated >= merge.s00000730.activated AND 'process.s00000031##s00001361.input.s00000699 >= process.s00000031##s00001361.input.s00000699 AND 'process.s00000031##s00001361.input.s00000847 >= process.s00000031##s00001361.input.s00000847 AND 'process.s00000031##s00001361.input.s00001080 >= process.s00000031##s00001361.input.s00001080 AND 'process.s00000031##s00001361.output.s00000849 >= process.s00000031##s00001361.output.s00000849 AND 'process.s00000031##s00001361.outputCriterion.s00000859_omega >= process.s00000031##s00001361.outputCriterion.s00000859_omega)
EF (((((((((((((((((((((((((((((((((((((((((('sigma >= 1 AND 'alpha >= alpha) AND 'callToTask.s00001253.input.s00000709 >= callToTask.s00001253.input.s00000709) AND 'callToTask.s00001253.inputCriterion.s00000858.used >= callToTask.s00001253.inputCriterion.s00000858.used) AND 'callToTask.s00001253.output.s00000713 >= callToTask.s00001253.output.s00000713) AND 'callToTask.s00001253.output.s00001233 >= callToTask.s00001253.output.s00001233) AND 'callToTask.s00001253.output.s00001234 >= callToTask.s00001253.output.s00001234) AND 'callToTask.s00001253.output.s00001235 >= callToTask.s00001253.output.s00001235) AND 'callToTask.s00001253.output.s00001236 >= callToTask.s00001253.output.s00001236) AND 'callToTask.s00001253.output.s00001237 >= callToTask.s00001253.output.s00001237) AND 'callToTask.s00001254.input.s00000709 >= callToTask.s00001254.input.s00000709) AND 'callToTask.s00001254.inputCriterion.s00000858.used >= callToTask.s00001254.inputCriterion.s00000858.used) AND 'callToTask.s00001254.output.s00000713 >= callToTask.s00001254.output.s00000713) AND 'callToTask.s00001254.output.s00001238 >= callToTask.s00001254.output.s00001238) AND 'callToTask.s00001255.input.s00000709 >= callToTask.s00001255.input.s00000709) AND 'callToTask.s00001255.inputCriterion.s00000858.used >= callToTask.s00001255.inputCriterion.s00000858.used) AND 'callToTask.s00001255.output.s00000713 >= callToTask.s00001255.output.s00000713) AND 'callToTask.s00001255.output.s00001238 >= callToTask.s00001255.output.s00001238) AND 'callToTask.s00001256.input.s00000709 >= callToTask.s00001256.input.s00000709) AND 'callToTask.s00001256.inputCriterion.s00000858.used >= callToTask.s00001256.inputCriterion.s00000858.used) AND 'callToTask.s00001256.output.s00000713 >= callToTask.s00001256.output.s00000713) AND 'callToTask.s00001256.output.s00001239 >= callToTask.s00001256.output.s00001239) AND 'callToTask.s00001256.output.s00001240 >= callToTask.s00001256.output.s00001240) AND 'callToTask.s00001257.input.s00000709 >= callToTask.s00001257.input.s00000709) AND 'callToTask.s00001257.inputCriterion.s00000858.used >= callToTask.s00001257.inputCriterion.s00000858.used) AND 'callToTask.s00001257.output.s00000713 >= callToTask.s00001257.output.s00000713) AND 'callToTask.s00001257.output.s00001242 >= callToTask.s00001257.output.s00001242) AND 'callToTask.s00001258.input.s00000709 >= callToTask.s00001258.input.s00000709) AND 'callToTask.s00001258.inputCriterion.s00000858.used >= callToTask.s00001258.inputCriterion.s00000858.used) AND 'callToTask.s00001258.output.s00000713 >= callToTask.s00001258.output.s00000713) AND 'callToTask.s00001258.output.s00001238 >= callToTask.s00001258.output.s00001238) AND 'callToTask.s00001259.input.s00000709 >= callToTask.s00001259.input.s00000709) AND 'callToTask.s00001259.inputCriterion.s00000858.used >= callToTask.s00001259.inputCriterion.s00000858.used) AND 'callToTask.s00001259.output.s00000713 >= callToTask.s00001259.output.s00000713) AND 'callToTask.s00001259.output.s00001241 >= callToTask.s00001259.output.s00001241) AND 'callToTask.s00001260.input.s00000709 >= callToTask.s00001260.input.s00000709) AND 'callToTask.s00001260.inputCriterion.s00000700.used >= callToTask.s00001260.inputCriterion.s00000700.used) AND 'callToTask.s00001260.output.s00000713 >= callToTask.s00001260.output.s00000713) AND 'decision.s00001245.activated >= decision.s00001245.activated) AND 'merge.s00000730.activated >= merge.s00000730.activated) AND 'process.s00000033##s00001232.output.s00001238 >= process.s00000033##s00001232.output.s00001238) AND 'process.s00000033##s00001232.outputCriterion.s00000859_omega >= process.s00000033##s00001232.outputCriterion.s00000859_omega))
EF ('sigma >= 1 AND 'alpha >= alpha AND 'callToTask.s00001253.input.s00000709 >= callToTask.s00001253.input.s00000709 AND 'callToTask.s00001253.inputCriterion.s00000858.used >= callToTask.s00001253.inputCriterion.s00000858.used AND 'callToTask.s00001253.output.s00000713 >= callToTask.s00001253.output.s00000713 AND 'callToTask.s00001253.output.s00001233 >= callToTask.s00001253.output.s00001233 AND 'callToTask.s00001253.output.s00001234 >= callToTask.s00001253.output.s00001234 AND 'callToTask.s00001253.output.s00001235 >= callToTask.s00001253.output.s00001235 AND 'callToTask.s00001253.output.s00001236 >= callToTask.s00001253.output.s00001236 AND 'callToTask.s00001253.output.s00001237 >= callToTask.s00001253.output.s00001237 AND 'callToTask.s00001254.input.s00000709 >= callToTask.s00001254.input.s00000709 AND 'callToTask.s00001254.inputCriterion.s00000858.used >= callToTask.s00001254.inputCriterion.s00000858.used AND 'callToTask.s00001254.output.s00000713 >= callToTask.s00001254.output.s00000713 AND 'callToTask.s00001254.output.s00001238 >= callToTask.s00001254.output.s00001238 AND 'callToTask.s00001255.input.s00000709 >= callToTask.s00001255.input.s00000709 AND 'callToTask.s00001255.inputCriterion.s00000858.used >= callToTask.s00001255.inputCriterion.s00000858.used AND 'callToTask.s00001255.output.s00000713 >= callToTask.s00001255.output.s00000713 AND 'callToTask.s00001255.output.s00001238 >= callToTask.s00001255.output.s00001238 AND 'callToTask.s00001256.input.s00000709 >= callToTask.s00001256.input.s00000709 AND 'callToTask.s00001256.inputCriterion.s00000858.used >= callToTask.s00001256.inputCriterion.s00000858.used AND 'callToTask.s00001256.output.s00000713 >= callToTask.s00001256.output.s00000713 AND 'callToTask.s00001256.output.s00001239 >= callToTask.s00001256.output.s00001239 AND 'callToTask.s00001256.output.s00001240 >= callToTask.s00001256.output.s00001240 AND 'callToTask.s00001257.input.s00000709 >= callToTask.s00001257.input.s00000709 AND 'callToTask.s00001257.inputCriterion.s00000858.used >= callToTask.s00001257.inputCriterion.s00000858.used AND 'callToTask.s00001257.output.s00000713 >= callToTask.s00001257.output.s00000713 AND 'callToTask.s00001257.output.s00001242 >= callToTask.s00001257.output.s00001242 AND 'callToTask.s00001258.input.s00000709 >= callToTask.s00001258.input.s00000709 AND 'callToTask.s00001258.inputCriterion.s00000858.used >= callToTask.s00001258.inputCriterion.s00000858.used AND 'callToTask.s00001258.output.s00000713 >= callToTask.s00001258.output.s00000713 AND 'callToTask.s00001258.output.s00001238 >= callToTask.s00001258.output.s00001238 AND 'callToTask.s00001259.input.s00000709 >= callToTask.s00001259.input.s00000709 AND 'callToTask.s00001259.inputCriterion.s00000858.used >= callToTask.s00001259.inputCriterion.s00000858.used AND 'callToTask.s00001259.output.s00000713 >= callToTask.s00001259.output.s00000713 AND 'callToTask.s00001259.output.s00001241 >= callToTask.s00001259.output.s00001241 AND 'callToTask.s00001260.input.s00000709 >= callToTask.s00001260.input.s00000709 AND 'callToTask.s00001260.inputCriterion.s00000700.used >= callToTask.s00001260.inputCriterion.s00000700.used AND 'callToTask.s00001260.output.s00000713 >= callToTask.s00001260.output.s00000713 AND 'decision.s00001245.activated >= decision.s00001245.activated AND 'merge.s00000730.activated >= merge.s00000730.activated AND 'process.s00000033##s00001232.output.s00001238 >= process.s00000033##s00001232.output.s00001238 AND 'process.s00000033##s00001232.outputCriterion.s00000859_omega >= process.s00000033##s00001232.outputCriterion.s00000859_omega)
EF (((((((((((((((((((('sigma >= 1 AND 'alpha >= alpha) AND 'callToProcess.s00001009.inputCriterion.s00000700.used >= callToProcess.s00001009.inputCriterion.s00000700.used) AND 'callToProcess.s00001009.output.s00000713 >= callToProcess.s00001009.output.s00000713) AND 'callToProcess.s00001009.output.s00000849 >= callToProcess.s00001009.output.s00000849) AND 'callToTask.s00001371.inputCriterion.s00000700.used >= callToTask.s00001371.inputCriterion.s00000700.used) AND 'callToTask.s00001371.output.s00000702 >= callToTask.s00001371.output.s00000702) AND 'callToTask.s00001371.output.s00000713 >= callToTask.s00001371.output.s00000713) AND 'callToTask.s00001371.output.s00001029 >= callToTask.s00001371.output.s00001029) AND 'callToTask.s00001372.inputCriterion.s00000700.used >= callToTask.s00001372.inputCriterion.s00000700.used) AND 'callToTask.s00001372.output.s00000713 >= callToTask.s00001372.output.s00000713) AND 'callToTask.s00001372.output.s00001029 >= callToTask.s00001372.output.s00001029) AND 'callToTask.s00001373.input.s00000709 >= callToTask.s00001373.input.s00000709) AND 'callToTask.s00001373.inputCriterion.s00000858.used >= callToTask.s00001373.inputCriterion.s00000858.used) AND 'callToTask.s00001373.output.s00000713 >= callToTask.s00001373.output.s00000713) AND 'callToTask.s00001373.output.s00000849 >= callToTask.s00001373.output.s00000849) AND 'callToTask.s00001373.output.s00001027 >= callToTask.s00001373.output.s00001027) AND 'process.s00000035##s00001370.input.s00000916 >= process.s00000035##s00001370.input.s00000916) AND 'process.s00000035##s00001370.input.s00001117 >= process.s00000035##s00001370.input.s00001117) AND 'process.s00000035##s00001370.outputCriterion.s00000704_omega >= process.s00000035##s00001370.outputCriterion.s00000704_omega))
EF ('sigma >= 1 AND 'alpha >= alpha AND 'callToProcess.s00001009.inputCriterion.s00000700.used >= callToProcess.s00001009.inputCriterion.s00000700.used AND 'callToProcess.s00001009.output.s00000713 >= callToProcess.s00001009.output.s00000713 AND 'callToProcess.s00001009.output.s00000849 >= callToProcess.s00001009.output.s00000849 AND 'callToTask.s00001371.inputCriterion.s00000700.used >= callToTask.s00001371.inputCriterion.s00000700.used AND 'callToTask.s00001371.output.s00000702 >= callToTask.s00001371.output.s00000702 AND 'callToTask.s00001371.output.s00000713 >= callToTask.s00001371.output.s00000713 AND 'callToTask.s00001371.output.s00001029 >= callToTask.s00001371.output.s00001029 AND 'callToTask.s00001372.inputCriterion.s00000700.used >= callToTask.s00001372.inputCriterion.s00000700.used AND 'callToTask.s00001372.output.s00000713 >= callToTask.s00001372.output.s00000713 AND 'callToTask.s00001372.output.s00001029 >= callToTask.s00001372.output.s00001029 AND 'callToTask.s00001373.input.s00000709 >= callToTask.s00001373.input.s00000709 AND 'callToTask.s00001373.inputCriterion.s00000858.used >= callToTask.s00001373.inputCriterion.s00000858.used AND 'callToTask.s00001373.output.s00000713 >= callToTask.s00001373.output.s00000713 AND 'callToTask.s00001373.output.s00000849 >= callToTask.s00001373.output.s00000849 AND 'callToTask.s00001373.output.s00001027 >= callToTask.s00001373.output.s00001027 AND 'process.s00000035##s00001370.input.s00000916 >= process.s00000035##s00001370.input.s00000916 AND 'process.s00000035##s00001370.input.s00001117 >= process.s00000035##s00001370.input.s00001117 AND 'process.s00000035##s00001370.outputCriterion.s00000704_omega >= process.s00000035##s00001370.outputCriterion.s00000704_omega)
EF ((((((((((((((((('sigma >= 1 AND 'alpha >= alpha) AND 'callToProcess.s00001009.inputCriterion.s00000700.used >= callToProcess.s00001009.inputCriterion.s00000700.used) AND 'callToProcess.s00001009.output.s00000713 >= callToProcess.s00001009.output.s00000713) AND 'callToProcess.s00001009.output.s00000849 >= callToProcess.s00001009.output.s00000849) AND 'callToTask.s00001395.input.s00000709 >= callToTask.s00001395.input.s00000709) AND 'callToTask.s00001395.inputCriterion.s00000700.used >= callToTask.s00001395.inputCriterion.s00000700.used) AND 'callToTask.s00001395.output.s00000713 >= callToTask.s00001395.output.s00000713) AND 'callToTask.s00001395.output.s00000849 >= callToTask.s00001395.output.s00000849) AND 'callToTask.s00001395.output.s00001027 >= callToTask.s00001395.output.s00001027) AND 'callToTask.s00001396.inputCriterion.s00000700.used >= callToTask.s00001396.inputCriterion.s00000700.used) AND 'callToTask.s00001396.output.s00000702 >= callToTask.s00001396.output.s00000702) AND 'callToTask.s00001396.output.s00000713 >= callToTask.s00001396.output.s00000713) AND 'callToTask.s00001396.output.s00001029 >= callToTask.s00001396.output.s00001029) AND 'callToTask.s00001396.output.s00001375 >= callToTask.s00001396.output.s00001375) AND 'process.s00000035##s00001394.input.s00001117 >= process.s00000035##s00001394.input.s00001117) AND 'process.s00000035##s00001394.outputCriterion.s00000704_omega >= process.s00000035##s00001394.outputCriterion.s00000704_omega))
EF ('sigma >= 1 AND 'alpha >= alpha AND 'callToProcess.s00001009.inputCriterion.s00000700.used >= callToProcess.s00001009.inputCriterion.s00000700.used AND 'callToProcess.s00001009.output.s00000713 >= callToProcess.s00001009.output.s00000713 AND 'callToProcess.s00001009.output.s00000849 >= callToProcess.s00001009.output.s00000849 AND 'callToTask.s00001395.input.s00000709 >= callToTask.s00001395.input.s00000709 AND 'callToTask.s00001395.inputCriterion.s00000700.used >= callToTask.s00001395.inputCriterion.s00000700.used AND 'callToTask.s00001395.output.s00000713 >= callToTask.s00001395.output.s00000713 AND 'callToTask.s00001395.output.s00000849 >= callToTask.s00001395.output.s00000849 AND 'callToTask.s00001395.output.s00001027 >= callToTask.s00001395.output.s00001027 AND 'callToTask.s00001396.inputCriterion.s00000700.used >= callToTask.s00001396.inputCriterion.s00000700.used AND 'callToTask.s00001396.output.s00000702 >= callToTask.s00001396.output.s00000702 AND 'callToTask.s00001396.output.s00000713 >= callToTask.s00001396.output.s00000713 AND 'callToTask.s00001396.output.s00001029 >= callToTask.s00001396.output.s00001029 AND 'callToTask.s00001396.output.s00001375 >= callToTask.s00001396.output.s00001375 AND 'process.s00000035##s00001394.input.s00001117 >= process.s00000035##s00001394.input.s00001117 AND 'process.s00000035##s00001394.outputCriterion.s00000704_omega >= process.s00000035##s00001394.outputCriterion.s00000704_omega)