Published October 29, 2025 | Version v1
Dataset Open

TACAS'26 Artifact for Massively Parallel Verification with Bitwuzla and Mallob

Authors/Creators

  • 1. ROR icon Karlsruhe Institute of Technology
  • 2. Stanford University

Description

This artifact contains the source code, log files, data and scripts to replicate the experiments in the paper "Massively Parallel Bit-Precise Verification with Bitwuzla and Mallob" submitted to TACAS'26. Please refer to the Readme.md for further instructions.

Files

paper.pdf

Files (2.5 GB)

Name Size
md5:b3f46cd0b31fa520112e7006a186c83b
1.4 MB Preview Download
md5:16bdd3c97c30ab091d9b3270e38667bf
2.5 GB Preview Download