caqe-portfolio

Submitter: Leander Tentrup
Description: Devised by L. Tentrup and M. N. Rabe, is the portfolio version of the solver caqe.
Results: