Lingeling, Plingeling and Treengeling.

The parallel portfolio front-end Plingeling was ranked on the first place on
unsatisfiable instances in the parallel track of the SAT Competition 2020, and
second place overall in the parallel track.