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

unique logins: 68
jobs initiated: 260
job pairs run: 341491
solvers uploaded: 218
benchmarks uploaded: 328
benchmark archives uploaded: 18


queue: smtcomp.q
  job pairs run: 79174
  jobs initiated: 2
queue: long.q
  job pairs run: 10323
  jobs initiated: 12
queue: syntcomp.q
  job pairs run: 6047
queue: satcomp.q
  job pairs run: 28111
  jobs initiated: 2
queue: all.q
  job pairs run: 217708
  jobs initiated: 244


-STAREXEC TEAM