Toposat2_Logs
Thorsten Ehlers · Zenodo (CERN European Organization for Nuclear Research) · 2018
Log files for TopoSAT2 and HordeSAT for the Paper "Tuning Parallel SAT Solvers". For TopoSAT2, some non-relevant parts of the log files were removed. The full version can be found at http://doi.org/10.5281/zenodo.1251288