Reports for May 28, 2020 to June 04, 2020:

unique logins: 60
jobs initiated: 155
job pairs run: 425707
solvers uploaded: 124
benchmarks uploaded: 1389
benchmark archives uploaded: 16


queue: smtcomp.q
  job pairs run: 349121
  jobs initiated: 5
queue: long.q
  job pairs run: 805
  jobs initiated: 6
queue: syntcomp.q
  job pairs run: 176
  jobs initiated: 8
queue: satcomp.q
  job pairs run: 15206
  jobs initiated: 1
queue: osupgrade.q
  job pairs run: 998
  jobs initiated: 1
queue: all.q
  job pairs run: 59385
  jobs initiated: 134


-STAREXEC TEAM