Published January 21, 2026
| Version v2
Software
Open
Parallel SMT Solving via Iterative Tree Partitioning: Artifact
Authors/Creators
-
1.
Università della Svizzera italiana
- 2. Università della Svizzera Italiana
Description
Artifact of the paper "Parallel SMT Solving via Iterative Tree Partitioning" accepted at TACAS 2026.
Follow the instructions in 'README.md'.
The license is placed at 'LICENSE'.
The updates wrt. the previous version are:
- Fixed file paths in the list of benchmark files
- Added `smoke` mode that allows to run within 30 minutes
- Minor fixes in plotting scripts
- Extended the instructions on retrieving the plots to the host machine
Files
tacas26_submission1788.zip
Files
(2.6 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:1a4469ece1b2745af1a60947759766dc
|
2.6 GB | Preview Download |
Additional details
Software
- Repository URL
- https://github.com/usi-verification-and-security/SMTS