6 lines
240 B
Text
6 lines
240 B
Text
|
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.
|