metrics_progress.json

{
  "5000": 0.5025078553632112,
  "5500": 0.4996305406859976,
  "6000": 0.5008372426317406,
  "6500": 0.5119956614356579,
  "7000": 0.5178643735591884,
  "7500": 0.5242606547265873,
  "8000": 0.5286588214529236,
  "8500": 0.5305105143721974,
  "9000": 0.5343248981447731,
  "9238": 0.5347855089896354
}