I was only skimming the article, but it seems they were comparing against benchmarks form this contest: http://maxsat.ia.udl.cat/introduction/ http://maxsat.ia

I was only skimming the article, but it seems they were comparing against benchmarks form this contest: http://maxsat.ia.udl.cat/introduction/ http://maxsat.ia.udl.cat/introduction/