The proceeding theorems and corollaries generate several key results:

- All three categories of software engineering methodologies are complete for static environments. See Theorems 2, 3, and 4.
- Only cyclical and WaterSluice are complete for dynamic environments. See Corollaries 2.4, 3.4, and 4.1.
- Only WaterSluice is complete for non-monotonic environments. See Corollaries 2.5, 3.5, and 4.2.
- The best case performance of sequential software engineering methodology is O(N). See Corollaries 2.1.
- The best case performance of cyclical and WaterSluice software engineering methodologies is O(1). See Corollaries 3.1, and 4.3.
- The worst case performance of all three categories of methodologies are the same. See Corollaries 2.2, 3.2, and 4.4.
- On average, the sequential methodology will find a solution in O(N). See Corollary 2.3.
On average, the cyclical methodology will find a solution in O(N).
^{5.5}See Corollary 3.3. On average, the WaterSluice will find a solution an order-of-magnitude less than N. See Corollary 4.5.

The observations are summarized in Table 5.1 on page and Table 5.2 on page .