search

NTU-ALComLab / ssatABC

Stochastic SAT solver within ABC
Other
5 stars 2 forks source link

Write a tool-info module for SSAT solvers #9

Closed nianzelee closed 3 years ago

nianzelee commented 3 years ago

Use BenchExec to evaluate the solvers. A tool-info module defines how BenchExec executes a tool and collects the results.

nianzelee commented 3 years ago

TODO:

nianzelee commented 3 years ago

TODO:

  • [ ] Investigate could not open file temp.wcnf when counting with Cachet

This error seems related to container and multi-threading. With benchexec --no-container -N 1 it does not happen.

nianzelee commented 3 years ago

As the tool-info modules are done, this issue can be closed. The above benchmarking error will be discussed in issue #13.