Glucose won the parallel track of the SAT Race 2015

The SAT solver Glucose developped by Gilles Audemard (CRIL) and Laurent Simon (LaBRI) was ranked first in the parallel track of the SAT Race 2015 (and third in the “incremental” track).

The results of the competition are available online.