On: Autoresearch for SAT Solvers

[ericpauley]

As GP noted the issue is that even better versions than competed in MaxSAT are likely in the training data or web resources.