“…Other, more experimental, codes are available to solve semiexplicit systems with index = 1, including LIMEX (Deuflhard and Nowak, 1987), DASP3 (Soderlind, 1980), andDRIBLOCK (Mach, 1986). Pantelides et al (1988) show examples of higher index systems, often involving phase equilibrium. They also show that design specifications can increase the index and that different specifications can result in different indexes.…”