|
Initial sample metric dumps are available here. They consist of dump files from runs of the Berkmin, Chaff, HaifaSat and MiniSat solvers on some SAT 2002 Competition CNFs.
Documentation about the metrics dumps and their formatting can be found here. More dumps will be posted soon. A modified version of the Chaff solver that generates dump files when run on any CNF input is also available for download as a tgz or zip. |
Home
|
Get TigerDisp
|
Documentation
|
Metric Dumps
|
Screenshots
|
TigerDisp Paper
© Copyright: 2001-2006 SAT Research Group, Princeton University