Skip to content
Profile Recursion (PR)

Per-table GPU recursion (RPX) with ZisK-style proof formats: block 25368371 in 78.80 s #450

Sign in to view logs

Per-table GPU recursion (RPX) with ZisK-style proof formats: block 25368371 in 78.80 s

Per-table GPU recursion (RPX) with ZisK-style proof formats: block 25368371 in 78.80 s #450

Triggered via issue September 28, 2026 14:38
@MauroToscanoMauroToscano
commented on #985 ffc4ac1
Status Skipped
Total duration 3s
Artifacts –

profile-recursion.yml

on: issue_comment
Matrix: profile
comment
comment
Fit to window
Zoom out
Zoom in