Reports for May 21, 2020 to May 28, 2020:

unique logins: 67
jobs initiated: 273
job pairs run: 1060345
solvers uploaded: 210
benchmarks uploaded: 99652
benchmark archives uploaded: 52


queue: smtcomp.q
  job pairs run: 3983
  jobs initiated: 7
queue: long.q
  job pairs run: 58182
  jobs initiated: 22
queue: satcomp.q
  job pairs run: 31928
  jobs initiated: 6
queue: all.q
  job pairs run: 966004
  jobs initiated: 238


-STAREXEC TEAM