source: http://www.cs.ubc.ca/labs/beta/Projects/SATzilla/ authors: L. Xu, F. Hutter, H. Hoos, K. Leyton-Brown translator in coseal format: M. Lindauer with the help of Alexandre Frechette the data do…
0 runs0 likes0 downloads0 reach0 impact
296 instances - 116 features - 14 classes - 1810 missing values
source: http://www.cs.ubc.ca/labs/beta/Projects/SATzilla/ authors: L. Xu, F. Hutter, H. Hoos, K. Leyton-Brown translator in coseal format: M. Lindauer with the help of Alexandre Frechette the data do…
3 runs0 likes0 downloads0 reach0 impact
4440 instances - 117 features - 0 classes - 27150 missing values
source: http://plato.asu.edu/ftp/solvable.html authors: Rolf-David Bergdoll PAR10 performances of modern solvers on the solvable instances of MIPLIB2010. http://miplib.zib.de/ The algorithm runtime…
0 runs0 likes0 downloads0 reach0 impact
218 instances - 144 features - 5 classes - 0 missing values
source: http://plato.asu.edu/ftp/solvable.html authors: Rolf-David Bergdoll PAR10 performances of modern solvers on the solvable instances of MIPLIB2010. http://miplib.zib.de/ The algorithm runtime…
0 runs0 likes0 downloads0 reach0 impact
1090 instances - 145 features - 0 classes - 0 missing values
source: An Algorithm Selection Benchmark for the Container Pre-Marshalling Problem (CPMP) authors: K. Tierney and Y. Malitsky (features) / K. Tierney and D. Pacino and S. Voss (algorithms) translator…
0 runs0 likes0 downloads0 reach0 impact
2108 instances - 24 features - 0 classes - 0 missing values
source: An Algorithm Selection Benchmark for the Container Pre-Marshalling Problem (CPMP) authors: K. Tierney and Y. Malitsky (features) / K. Tierney and D. Pacino and S. Voss (algorithms) translator…
14 runs0 likes0 downloads0 reach0 impact
527 instances - 23 features - 4 classes - 0 missing values
Author: Marius Lindauer Date: 27.02.2014 These data set was generated for a publication about claspfolio 2.0, i.e., an algorithm selector for ASP. The algorithm portfolio of clasp (2.1.4)…
0 runs0 likes0 downloads0 reach0 impact
1294 instances - 143 features - 11 classes - 18258 missing values
Author: Marius Lindauer Date: 27.02.2014 These data set was generated for a publication about claspfolio 2.0, i.e., an algorithm selector for ASP. The algorithm portfolio of clasp (2.1.4)…
0 runs0 likes0 downloads0 reach0 impact
14234 instances - 143 features - 0 classes - 200838 missing values
source: http://plato.asu.edu/ftp/solvable.html authors: Rolf-David Bergdoll PAR10 performances of modern solvers on the solvable instances of MIPLIB2010. http://miplib.zib.de/ The algorithm runtime…
0 runs0 likes0 downloads0 reach0 impact
218 instances - 148 features - 5 classes - 0 missing values
source: http://plato.asu.edu/ftp/solvable.html authors: Rolf-David Bergdoll PAR10 performances of modern solvers on the solvable instances of MIPLIB2010. http://miplib.zib.de/ The algorithm runtime…
0 runs0 likes0 downloads0 reach0 impact
1090 instances - 148 features - 0 classes - 0 missing values
source: An Algorithm Selection Benchmark for the Container Pre-Marshalling Problem (CPMP) authors: K. Tierney and Y. Malitsky (features) / K. Tierney and D. Pacino and S. Voss (algorithms) translator…
14 runs0 likes0 downloads0 reach0 impact
527 instances - 27 features - 4 classes - 0 missing values
source: An Algorithm Selection Benchmark for the Container Pre-Marshalling Problem (CPMP) authors: K. Tierney and Y. Malitsky (features) / K. Tierney and D. Pacino and S. Voss (algorithms) translator…
20 runs0 likes0 downloads0 reach0 impact
2108 instances - 27 features - 0 classes - 0 missing values
Traveling Thief Problem Author: Marius Lindauer Source: http://cs.adelaide.edu.au/ optlog/research/ttp.php Some algorithms had bugs and crashed. These algorithms were penalized with a score of -1. All…
0 runs0 likes0 downloads0 reach0 impact
Traveling Thief Problem Author: Marius Lindauer Source: http://cs.adelaide.edu.au/ optlog/research/ttp.php Some algorithms had bugs and crashed. These algorithms were penalized with a score of -1. All…
0 runs0 likes0 downloads0 reach0 impact
source: http://baldur.iti.kit.edu/sat-race-2015/index.php?cat=results authors: Marius Lindauer translator in coseal format: Marius Lindauer There is no information concerning feature time. For some…
0 runs0 likes0 downloads0 reach0 impact
source: http://baldur.iti.kit.edu/sat-race-2015/index.php?cat=results authors: Marius Lindauer translator in coseal format: Marius Lindauer There is no information concerning feature time. For some…
0 runs0 likes0 downloads0 reach0 impact
source: http://www.cs.ubc.ca/labs/beta/Projects/SATzilla/ authors: L. Xu, F. Hutter, H. Hoos, K. Leyton-Brown translator in coseal format: M. Lindauer with the help of Alexandre Frechette the data do…
0 runs0 likes0 downloads0 reach0 impact
source: http://www.cs.ubc.ca/labs/beta/Projects/SATzilla/ authors: L. Xu, F. Hutter, H. Hoos, K. Leyton-Brown translator in coseal format: M. Lindauer with the help of Alexandre Frechette the data do…
0 runs0 likes0 downloads0 reach0 impact
source: http://www.cs.ubc.ca/labs/beta/Projects/SATzilla/ authors: L. Xu, F. Hutter, H. Hoos, K. Leyton-Brown translator in coseal format: M. Lindauer with the help of Alexandre Frechette the data do…
0 runs0 likes0 downloads0 reach0 impact
source: http://www.cs.ubc.ca/labs/beta/Projects/SATzilla/ authors: L. Xu, F. Hutter, H. Hoos, K. Leyton-Brown translator in coseal format: M. Lindauer with the help of Alexandre Frechette the data do…
0 runs0 likes0 downloads0 reach0 impact
source: http://www.cs.ubc.ca/labs/beta/Projects/SATzilla/ authors: L. Xu, F. Hutter, H. Hoos, K. Leyton-Brown translator in coseal format: M. Lindauer with the help of Alexandre Frechette the data do…
0 runs0 likes0 downloads0 reach0 impact
source: http://www.cs.ubc.ca/labs/beta/Projects/SATzilla/ authors: L. Xu, F. Hutter, H. Hoos, K. Leyton-Brown translator in coseal format: M. Lindauer with the help of Alexandre Frechette the data do…
0 runs0 likes0 downloads0 reach0 impact
source: http://www.cs.ubc.ca/labs/beta/Projects/SATzilla/ authors: L. Xu, F. Hutter, H. Hoos, K. Leyton-Brown translator in coseal format: M. Lindauer with the help of Alexandre Frechette the data do…
0 runs0 likes0 downloads0 reach0 impact
source: http://www.cs.ubc.ca/labs/beta/Projects/SATzilla/ authors: L. Xu, F. Hutter, H. Hoos, K. Leyton-Brown translator in coseal format: M. Lindauer with the help of Alexandre Frechette the data do…
0 runs0 likes0 downloads0 reach0 impact
source: http://www.cs.ubc.ca/labs/beta/Projects/SATzilla/ authors: L. Xu, F. Hutter, H. Hoos, K. Leyton-Brown translator in coseal format: M. Lindauer with the help of Alexandre Frechette the data do…
0 runs0 likes0 downloads0 reach0 impact
source: http://www.cs.ubc.ca/labs/beta/Projects/SATzilla/ authors: L. Xu, F. Hutter, H. Hoos, K. Leyton-Brown translator in coseal format: M. Lindauer with the help of Alexandre Frechette the data do…
0 runs0 likes0 downloads0 reach0 impact
source: http://www.cs.ubc.ca/labs/beta/Projects/SATzilla/ authors: L. Xu, F. Hutter, H. Hoos, K. Leyton-Brown translator in coseal format: M. Lindauer with the help of Alexandre Frechette the data do…
0 runs0 likes0 downloads0 reach0 impact
source: http://www.cs.ubc.ca/labs/beta/Projects/SATzilla/ authors: L. Xu, F. Hutter, H. Hoos, K. Leyton-Brown translator in coseal format: M. Lindauer with the help of Alexandre Frechette the data do…
0 runs0 likes0 downloads0 reach0 impact
source: http://www.cs.ubc.ca/labs/beta/Projects/SATzilla/ authors: L. Xu, F. Hutter, H. Hoos, K. Leyton-Brown translator in coseal format: M. Lindauer with the help of Alexandre Frechette the data do…
0 runs0 likes0 downloads0 reach0 impact
source: http://www.cs.ubc.ca/labs/beta/Projects/SATzilla/ authors: L. Xu, F. Hutter, H. Hoos, K. Leyton-Brown translator in coseal format: M. Lindauer with the help of Alexandre Frechette the data do…
0 runs0 likes0 downloads0 reach0 impact
authors: Rolf-David Bergdoll This scenario contains 10 modern SAT solvers run on 2000 industrial instances of SAT-Competitions. The algorithms were selected based on their performance on the…
0 runs0 likes0 downloads0 reach0 impact
authors: Rolf-David Bergdoll This scenario contains 10 modern SAT solvers run on 2000 industrial instances of SAT-Competitions. The algorithms were selected based on their performance on the…
0 runs0 likes0 downloads0 reach0 impact
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…
0 runs0 likes0 downloads0 reach0 impact
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…
0 runs0 likes0 downloads0 reach0 impact
source: http://qbf.satisfiability.org/gallery/ authors: Lars Kotthoff translator in coseal format: Lars Kotthoff There is no information concerning feature time, memout, crashes, ground_truth, etc.…
0 runs0 likes0 downloads0 reach0 impact
source: http://qbf.satisfiability.org/gallery/ authors: Lars Kotthoff translator in coseal format: Lars Kotthoff There is no information concerning feature time, memout, crashes, ground_truth, etc.…
0 runs0 likes0 downloads0 reach0 impact
source: https://4c.ucc.ie/~larsko/papers/asc-aicom-final.pdf authors: L. Kotthoff, I. P. Gent, I. Miguel translator in coseal format: L. Kotthoff There is no information concerning feature time,…
0 runs0 likes0 downloads0 reach0 impact
source: https://4c.ucc.ie/~larsko/papers/asc-aicom-final.pdf authors: L. Kotthoff, I. P. Gent, I. Miguel translator in coseal format: L. Kotthoff There is no information concerning feature time,…
0 runs0 likes0 downloads0 reach0 impact
source: Proteus: A Hierarchical Portfolio of Solvers and Transformations authors: Barry Hurley, Lars Kotthoff, Yuri Malitsky, Barry O'Sullivan translator in coseal format: Barry Hurley This data set…
0 runs0 likes0 downloads0 reach0 impact
source: Proteus: A Hierarchical Portfolio of Solvers and Transformations authors: Barry Hurley, Lars Kotthoff, Yuri Malitsky, Barry O'Sullivan translator in coseal format: Barry Hurley This data set…
0 runs0 likes0 downloads0 reach0 impact
source: https://www.openml.org/ authors: Jan van Rijn and Marius Lindauer Classification on ML data sets. Data extracted from openml.org Part of Open Algorithm Challenge 2017 ("Oberon").
0 runs0 likes0 downloads0 reach0 impact
source: https://www.openml.org/ authors: Jan van Rijn and Marius Lindauer Classification on ML data sets. Data extracted from openml.org Part of Open Algorithm Challenge 2017 ("Oberon").
0 runs0 likes0 downloads0 reach0 impact
source: http://plato.asu.edu/ftp/solvable.html authors: Rolf-David Bergdoll PAR10 performances of modern solvers on the solvable instances of MIPLIB2010. http://miplib.zib.de/ The algorithm runtime…
0 runs0 likes0 downloads0 reach0 impact
source: http://plato.asu.edu/ftp/solvable.html authors: Rolf-David Bergdoll PAR10 performances of modern solvers on the solvable instances of MIPLIB2010. http://miplib.zib.de/ The algorithm runtime…
0 runs0 likes0 downloads0 reach0 impact
source: http://www.maxsat.udl.cat/15/results/index.html authors: Marius Lindauer translator in coseal format: Marius Lindauer The scenario consists of the instances and solvers from the industrial…
0 runs0 likes0 downloads0 reach0 impact
source: http://www.maxsat.udl.cat/15/results/index.html authors: Marius Lindauer translator in coseal format: Marius Lindauer The scenario consists of the instances and solvers from the industrial…
0 runs0 likes0 downloads0 reach0 impact
source: COSEAL Portfolio Benchmark authors: Carlos Ansotegui, Yuri Malitsky, Meinolf Sellmann translator into coseal format: Yuri Malitsky The data does not distinguish between timeout, memout or…
0 runs0 likes0 downloads0 reach0 impact
source: COSEAL Portfolio Benchmark authors: Carlos Ansotegui, Yuri Malitsky, Meinolf Sellmann translator into coseal format: Yuri Malitsky The data does not distinguish between timeout, memout or…
0 runs0 likes0 downloads0 reach0 impact
source: http://maxsat.ia.udl.cat/results/ authors: Rolf-David Bergdoll PAR10 performances of Eleventh Max-SAT Evaluation, category Weighted Partial Max-SAT industrial. All runtimes were taken from the…
0 runs0 likes0 downloads0 reach0 impact
source: http://maxsat.ia.udl.cat/results/ authors: Rolf-David Bergdoll PAR10 performances of Eleventh Max-SAT Evaluation, category Weighted Partial Max-SAT industrial. All runtimes were taken from the…
0 runs0 likes0 downloads0 reach0 impact
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…
0 runs0 likes0 downloads0 reach0 impact
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…
0 runs0 likes0 downloads0 reach0 impact
Source: Kotthoff, Lars, Ciaran McCreesh, and Christine Solnon. "Portfolios of Subgraph Isomorphism Algorithms." In LION 10, 2016. Translator in coseal format: Lars Kotthoff The dataset contains…
0 runs0 likes0 downloads0 reach0 impact
Source: Kotthoff, Lars, Ciaran McCreesh, and Christine Solnon. "Portfolios of Subgraph Isomorphism Algorithms." In LION 10, 2016. Translator in coseal format: Lars Kotthoff The dataset contains…
0 runs0 likes0 downloads0 reach0 impact
Authors ======= Roberto Amadini (amadini@cs.unibo.it) Jacopo Mauro (jmauro@cs.unibo.it) Sources ======= Third International CSP Solver Competition (http://cpai.ucc.ie/08/) MiniZinc 1.6 benchmarks…
0 runs0 likes0 downloads0 reach0 impact
Authors ======= Roberto Amadini (amadini@cs.unibo.it) Jacopo Mauro (jmauro@cs.unibo.it) Sources ======= Third International CSP Solver Competition (http://cpai.ucc.ie/08/) MiniZinc 1.6 benchmarks…
0 runs0 likes0 downloads0 reach0 impact
source: http://www.minizinc.org/challenge2016/results2016.html authors: Rolf-David Bergdoll PAR10 performances of the 2016 MiniZinc Challenge ('Free Search' Category). In order to translate the…
0 runs0 likes0 downloads0 reach0 impact
source: http://www.minizinc.org/challenge2016/results2016.html authors: Rolf-David Bergdoll PAR10 performances of the 2016 MiniZinc Challenge ('Free Search' Category). In order to translate the…
0 runs0 likes0 downloads0 reach0 impact
source: http://www.minizinc.org/challenge2016/results2016.html authors: Rolf-David Bergdoll Performances of the 2016 MiniZinc Challenge ('Free Search' Category) based on the provided objective values.…
0 runs0 likes0 downloads0 reach0 impact
source: http://www.minizinc.org/challenge2016/results2016.html authors: Rolf-David Bergdoll Performances of the 2016 MiniZinc Challenge ('Free Search' Category) based on the provided objective values.…
0 runs0 likes0 downloads0 reach0 impact
source: http://www-circa.mcs.st-and.ac.uk/Preprints/AnalyserECAI.pdf authors: I. P. Gent, C. Jefferson, L. Kotthoff, I. Miguel, N. C. A. Moore, P. Nightingale, K. Petrie translator in coseal format:…
0 runs0 likes0 downloads0 reach0 impact
source: http://www-circa.mcs.st-and.ac.uk/Preprints/AnalyserECAI.pdf authors: I. P. Gent, C. Jefferson, L. Kotthoff, I. Miguel, N. C. A. Moore, P. Nightingale, K. Petrie translator in coseal format:…
0 runs0 likes0 downloads0 reach0 impact
source: An Algorithm Selection Benchmark for the Container Pre-Marshalling Problem (CPMP) authors: K. Tierney and Y. Malitsky (features) / K. Tierney and D. Pacino and S. Voss (algorithms) translator…
0 runs0 likes0 downloads0 reach0 impact
source: An Algorithm Selection Benchmark for the Container Pre-Marshalling Problem (CPMP) authors: K. Tierney and Y. Malitsky (features) / K. Tierney and D. Pacino and S. Voss (algorithms) translator…
0 runs0 likes0 downloads0 reach0 impact
source: http://bnportfolio.cs.helsinki.fi/ authors: B. Malone, K. Kangas, M. Jarvisalo, M. Koivisto, P. Myllymaki translator in coseal format: K. Kangas The problem concerns score-based structure…
0 runs0 likes0 downloads0 reach0 impact
source: http://bnportfolio.cs.helsinki.fi/ authors: B. Malone, K. Kangas, M. Jarvisalo, M. Koivisto, P. Myllymaki translator in coseal format: K. Kangas The problem concerns score-based structure…
0 runs0 likes0 downloads0 reach0 impact
Author: Marius Lindauer Date: 27.02.2014 These data set was generated for a publication about claspfolio 2.0, i.e., an algorithm selector for ASP. The algorithm portfolio of clasp (2.1.4)…
0 runs0 likes0 downloads0 reach0 impact
Author: Marius Lindauer Date: 27.02.2014 These data set was generated for a publication about claspfolio 2.0, i.e., an algorithm selector for ASP. The algorithm portfolio of clasp (2.1.4)…
0 runs0 likes0 downloads0 reach0 impact