Reports for May 22, 2025 to May 29, 2025:

unique logins: 4
jobs initiated: 39
job pairs run: 311676
solvers uploaded: 22
benchmarks uploaded: 512
benchmark archives uploaded: 3


queue: all.q
  job pairs run: 207016
  jobs initiated: 33
queue: casc.q
  job pairs run: 104659
  jobs initiated: 6


-STAREXEC TEAM