Packed binary PCS including the GHASH field switch, over 2^31 Boolean evaluations. Score: median prover process time in milliseconds across five sequential runs. Also records each run's time and proof size, plus the verified commitment modulus.