Robert Ganian, Filip Pokrývka, André Schidler, Kirill Simonov, Stefan Szeider: Weighted Model Counting with Twin-Width: Experimental Results. Zenodo 2022