2 problems

Conjecture. The three conditions are equivalent for every additively cancellative semiring $S$.

Classification conjecture. Every multiplicatively idempotent congruence-simple semiring is finite and isomorphic to one of the semirings $\mathbb{S}_1$, $\dots$, $\mathbb{S}_8$.