For a newer version of SharpSAT-TD that participated in the model counting competition 2021 see https://github.com/Laakeri/sharpsat-td
Technical Appendix of CP 2021 paper "Integrating Tree Decompositions into Decision Heuristics of Propositional Model Counters"
See appendix.pdf for details.
The instances used are available at https://drive.google.com/file/d/19tkX1sZu4dNgFfrQkPMuhNfh127OtlqY/view?usp=sharing