Reports for May 11, 2023 to May 18, 2023:

unique logins: 2
jobs initiated: 38
job pairs run: 288802
solvers uploaded: 13
benchmarks uploaded: 0
benchmark archives uploaded: 0


queue: all.q
  job pairs run: 288796
  jobs initiated: 38


-STAREXEC TEAM