Comparing State-Representations for DEL Model Checking