This ZIP-file contains all data needed to run SMTQuery within the TACAS '23 Ubuntu VM. For further information we refer to https://smtquery.github.io. The package contains: 1. The Python 3 source code of SMTQuery is located in `code`, 2. SMTLib files, cached abstract syntax trees, and database containing our recorded solver results in `SMTQueryData/data/smtfiles`, `SMTQueryData/smtquery/data/pickle`, and `SMTQueryData/db.sql`, respectively, 3. all required Linux and Python packages in `packages`, 4. a binary of cvc5 which does not seem to be available in the standard Ubuntu repositories at `solvers/cvc5`, 5. handy scripts to set up the specific environments at the root of our artefact. 6. logs of our tests within the TACAS-AEC VM ran on a '19 MacBook Pro, 1,4 GHz Quad-Core Intel Core i5, 16 GB RAM using VirtualBox Version 7.0.2. 7. The submitted paper Unzip the artefact into your home directory `/home/tacas23` using `unzip artefact.zip`. This will create a folder `artefact` containing all relevant files.