Published May 8, 2020
| Version v1
Other
Open
Data for Designing New Phase Selection Heuristics (SAT-20 Paper)
Description
The artifact consists of the necessary data to reproduce the results reported in the SAT-20 Paper titled "Designing New Phase Selection Heuristics".
In particular, the artifact consists of the binaries, the log files generated on our computing cluster.
Files
Files
(128.2 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:76278d1c494812e329eb53b91dcb9846
|
128.2 MB | Download |