qSS

Submitter: Horst Samulowitz
Description: Among only the three solvers SQBF, Skizzo, and Quantor this approach tries to predict the best one on a per instance basis.
Results: