EDACC - An Advanced Platform for the Experiment Design, Administration and Analysis of Empirical Algorithms
The design, execution and analysis of experiments using heuristic algorithms can be a very time consuming task in the development of an algorithm. There are a lot of problems that have to be solved throughout this process. To speed up this process we have designed and implemented a framework called EDACC, which supports all the tasks that arise throughout the experimentation with algorithms. A graphical user interface together with a database facilitates archiving and management of solvers and problem instances. It also enables the creation of complex experiments and the generation of the computation jobs needed to perform the experiment. The task of running the jobs on an arbitrary computer system (or computer cluster or grid) is taken by a compute client, which is designed to increase computation throughput to a maximum. Real-time monitoring of running jobs can be done with the GUI or with a web frontend, both of which provide a wide variety of descriptive statistics and statistic testing to analyze the results. The web frontend also provides all the tools needed for the organization and execution of solver competitions.
KeywordsGraphical User Interface Result Property Instance Property Competition Mode Solver Competition
Unable to display preview. Download preview PDF.
- 1.Balint, A., Gall, D., Kapler, G., Retz, R.: Experiment design and administration for computer clusters for SAT-solvers (EDACC). JSAT 7, 77–82 (2010); system descriptionGoogle Scholar
- 2.bwGRiD, member of the German D-Grid initiative, funded by the Ministry for Education and Research (Bundesministerium für Bildung und Forschung) and the Ministry for Science, Research and Arts Baden-Württemberg (Ministerium für Wissenschaft, Forschung und Kunst Baden-Württemberg), http://www.bw-grid.de
- 4.Bouton, T., de Oliveira, D.C.B., Déharbe, D., Fontaine, P.: GridTPT: a distributed platform for Theorem Prover. In: Proc. Workshop on Practical Aspects of Automated Reasoning 2010 (2010)Google Scholar
- 5.Hutter, F., Hoos, H., Stützle, T.: Automatic Algorithm Configuration based on Local Search. In: AAAI 2007 (2007)Google Scholar
- 7.The SAT Competition Homepage, http://www.satcompetition.org
- 8.SAT-Race 2010 Homepage, http://baldur.iti.uka.de/sat-race-2010/
- 10.Homepage of the project, http://sourceforge.net/projects/edacc/