In this section we discuss how the above execution method can be included in ILP algorithms, and illustrate this in more detail for two existing ILP algorithms. Experimental results concerning actual efficiency improvements this yields are presented in the next section.