6 ms·
As GP noted the issue is that even better versions than competed in MaxSAT are likely in the training data or web resources.
by ericpauley 7mo ago
As GP noted the issue is that even better versions than competed in MaxSAT are likely in the training data or web resources.