cvc5 baselines for the SMT-COMP 2026 cloud track - View it on GitHub