Reports for April 13, 2023 to April 20, 2023:

unique logins: 28
jobs initiated: 142
job pairs run: 71717
solvers uploaded: 71
benchmarks uploaded: 8644
benchmark archives uploaded: 25


queue: chcseq.q
  job pairs run: 19392
  jobs initiated: 32
queue: long.q
  job pairs run: 18474
  jobs initiated: 9
queue: all.q
  job pairs run: 33357
  jobs initiated: 96
queue: new.q
  job pairs run: 413
  jobs initiated: 5


-STAREXEC TEAM