Fibonacci Prover Race

n = 2,097,152. First to finish has the lowest time.
Times (ms): S-two 31, Jolt 108, SP1 128, OpenVM 516, Risc0 606. (Stone: no data at 2M) — animation durations are proportional to times (runner-up > 3× slower than S-two).