source: http://www.qbflib.org/event_page.php?year=2016
authors: Rolf-David Bergdoll

PAR10 performances for the QBF Evalution 2016 - Prenex CNF Track.

The algorithm runtime data was directly parsed from the data provided on the
evaluation's website.

Part of Open Algorithm Challenge 2017 ("Quill").