squeezebf+aqme

Submitter: Luca Pulina
Description: Devised by L. Pulina and A. Tacchella, it is a version of the solver AQME-10 that uses SQUEEZEBF at the preprocessing stage.
Results: