Performance Benchmarking

Fix array refinement crash with CaDiCaL SAT solver #1922

Sign in to view logs

Triggered via pull request March 4, 2026 19:35

tautschnig

synchronize #8849

tautschnig:arrays/get-fixup

Status Success

Total duration 21m 19s

Artifacts –

performance.yaml

on: pull_request