parallel version of bottom-up enumeration
parallel version of em