This file contains (I) the code for expSAT CDCL SAT solvers, (II) 52 hard SATCoin instances.
A companion paper of these two items has been accepted for for AAAI-2020 with the following title: "Guiding CDCL SAT Search via Random Exploration amid Conflict Depression".