qZilla

Submitter: Horst Samulowitz
Description: Predict the "best" QBF solver on a per instance basis
Results: