xb-qsts

Submitter: Shahab Tasharrofi
Description: Devised by B. Bogaerts, T. Janhunen, and S. Tasharrofi, is an extenstion of the QSTS solver. It uses using both QXBF and BLOQQER preprocessors.
Results: