Arena
Scenario editable
Awaiting final result
TIME-TO-SOLUTION RACE lower is better
RESIDUAL (CO-NORM) per-lane scale · not comparable across solvers
GPU UTILIZATION device unknown
—% util
memory—power—
Select Logs during an active experiment to follow solver output.