access_date=2026-08-17
cvc5_cpc=https://cvc5.github.io/docs/cvc5-1.3.1/proofs/output_cpc.html
cvc5_news=https://github.com/cvc5/cvc5/blob/main/NEWS.md
ethos=https://github.com/cvc5/ethos
tacas_2026_distributed_incremental_proof_checking=https://doi.org/10.1007/978-3-032-22752-2_18
tacas_2026_artifact=https://zenodo.org/records/18330441
interpretation=F427 adopts independently checked complete-result transport for QF_BV CPC; it does not claim LIDRUP/MallobSat clause sharing or the paper's distributed scaling result.