This artifact includes GASOL^v2, a gas and byte-size superoptimization tool for Ethereum smart contracts, that leverages a previous Max-SMT approach for only stack optimization to optimize also wrt. memory and storage. GASOL^v2 can be used to optimize the size in bytes, aligned with the optimization criterion used by the Solidity compiler solc, and it can also be used to optimize gas consumption. The submission contains the source code of the smart contracts that have been used for the tool evaluation in our submitted paper (see Section 5), the scripts for running the complete experiments or a subset of them, the instructions for running the tool and, the submitted paper. Please decompress the zip folder tacas22-artifact-gasol.zip in the root directory (/home/tacas22/). This folder contains: (i) the paper submitted, (ii) a folder called `sources` that contains the artifact, (iii) the file README.txt with the instructions to execute the tool, (iv) the License and artifact-location files and, (v) the corresponding scripts to execute them. The experiments described in the paper have been performed on an Intel Core i7-7700T at 4.2GHz x 8 and &4Gb of memory, running Ubuntu 16.04. Note that, because the SMT solver may return different solutions for different executions, and also due to the different characteristics of the VM used, the experiments may differ slightly from those presented in the submitted paper. The VM has been tested in the following host platforms: - i7-10700 CPU, 2.90GHz �� 16, 16Gb RAM, 1Tb hard disk, Ubuntu 20.04. - i7-8565U CPU, 1.80GHz �� 8, 16GB RAM, 256Gb hard disk, Ubuntu 20.04. - i7-7700T CPU, 2.90Ghz x 8, 8Gb RAM, 1TB hard disk, Ubuntu 20.04. - AMD Ryzen��� 7 4800H CPU, 2.90Ghz x 8, 8Gb RAM, 1TB hard disk, Ubuntu 20.04.