Default target attribute(s) could not be found: [NA],Default target attribute(s) could not be found: [NA],Default target attribute(s) could not be found: [NA],Default target attribute(s) could not be found: [NA],Default target attribute(s) could not be found: [NA],Default target attribute(s) could not be found: [NA],Default target attribute(s) could not be found: [NA],Default target attribute(s) could not be found: [NA],Default target attribute(s) could not be found: [NA]
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").
0 features
Data features are not analyzed yet. Refresh the page in a few minutes.
0 properties
Data properties are not analyzed yet. Refresh the page in a few minutes.