Reports for March 02, 2023 to March 09, 2023:

unique logins: 29
jobs initiated: 141
job pairs run: 1887069
solvers uploaded: 83
benchmarks uploaded: 4812
benchmark archives uploaded: 10


queue: long.q
  job pairs run: 42401
  jobs initiated: 31
queue: satcomp.q
  job pairs run: 84
  jobs initiated: 14
queue: all.q
  job pairs run: 1840967
  jobs initiated: 88
queue: new.q
  job pairs run: 3234
  jobs initiated: 8


-STAREXEC TEAM