deterministic solve_rate = 0.540  (n=150, K=16)
 sigma   pass@K  lam-sel   random  perRoll  AUROC(s|-lam)
  0.05    0.600    0.567    0.527    0.537          0.871
   0.1    0.627    0.573    0.507    0.521          0.872
   0.2    0.720    0.593    0.493    0.505          0.870
   0.4    0.820    0.647    0.467    0.472          0.845
done=2026-06-16T11:01:53-05:00