EEM requires 10GB of memory and cannot handle words with more than 200,000 MDSs: for UF we left the SAT solver running for a week without ever terminating.
it takes about 4 hours if we limit the set Figure 1: Human classification of (in)consistent words.