Reports for June 03, 2021 to June 10, 2021:

unique logins: 65
jobs initiated: 277
job pairs run: 165864
solvers uploaded: 123
benchmarks uploaded: 8384
benchmark archives uploaded: 33


queue: smtcomp.q
  job pairs run: 28095
  jobs initiated: 14
queue: long.q
  job pairs run: 12027
  jobs initiated: 15
queue: syntcomp.q
  job pairs run: 48074
  jobs initiated: 14
queue: satcomp.q
  job pairs run: 9043
  jobs initiated: 4
queue: all.q
  job pairs run: 68127
  jobs initiated: 230


-STAREXEC TEAM