Parallel Emptiness Checks Comparisons (TACAS'15)