In Table 1, the CP-index model actually timed out in order 6.
"Dominance detection" is misnamed and should be renamed to "domain reduction".