search

NTU-ALComLab / ssatABC

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

Benchmarking errors when counting with Cachet #13

Closed nianzelee closed 3 years ago

nianzelee commented 3 years ago

The Runs result in ERROR when the model-counting calls are handled by Cachet. The log files have a line could not open file temp.wcnf. This seems related to the container mode and multi-thread execution, because with benchexec --no-container -N 1 <XML> this error does not happen.

nianzelee commented 3 years ago

Using --read-only-dir $HOME to avoid the Ubuntu bug discussed in sosy-lab/benchexec#621 prevents all writes, so the weight model counting query cannot be written. A solution is to replace this with --overlay-dir $HOME.