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://maxsat.ia.udl.cat/results/ authors: Rolf-David Bergdoll PAR10 performances of Eleventh Max-SAT Evaluation, category Partial Max-SAT industrial. All runtimes were taken from the competition website, using all instances and (complete) solvers from the category. The feature generation was done with the generator from ISAC+. Part of Open Algorithm Challenge 2017 ("Magnus").
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.