EDACC is a framework for the design, execution and analysis of large experiments with arbitrary algorithms on computer clusters. It automates many of the tasks commonly done manually such as distributing the algorithm executables across compute nodes, running the required computation tasks and collecting the results.
The latest release contains the GUI application, which can be used to set up an EDACC database, and the computation client. We recommend working with the latest development versions.
EDACC was used to conduct the following solver competitions:
It was also used in tuning some of the solvers that participated in these competitions (see publications).
Adrian Balint, Daniel Gall, Gregor Kapler, Robert Retz, Daniel Diepold and Simon Gerber
EDACC - An advanced Platform for the Experiment Design, Administration and Analysis of Empirical Algorithms
to appear in the proceedings of LION5
Adrian Balint, Daniel Gall, Gregor Kapler, Robert Retz
Experiment Design and Administration for Computer Cluster for SAT-solvers (EDACC), System Description
in JSAT Volume 7
Some references to EDACC in scientific work, publications and articles include:
Oliver Gableske, Sven Müelich, Daniel Diepold
On the Performance of CDCL-based Message Passing Inspired Decimation using Rho-Sigma-PMP-i
EasyChair Proceedings of the Pragmatics of SAT Workshop (POS13), 2013.
Dimetheus SAT Solver