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

unique logins: 65
jobs initiated: 144
job pairs run: 251043
solvers uploaded: 137
benchmarks uploaded: 442003
benchmark archives uploaded: 27


queue: long.q
  job pairs run: 2345
  jobs initiated: 5
queue: satcomp.q
  job pairs run: 11008
  jobs initiated: 7
queue: all.q
  job pairs run: 237124
  jobs initiated: 129
queue: new.q
  job pairs run: 563
  jobs initiated: 3


-STAREXEC TEAM