Reports for May 09, 2019 to May 16, 2019:

unique logins: 62
jobs initiated: 175
job pairs run: 1790470
solvers uploaded: 86
benchmarks uploaded: 269831
benchmark archives uploaded: 46


queue: satrace.q
  job pairs run: 1522
  jobs initiated: 6
queue: all.q
  job pairs run: 1788043
  jobs initiated: 169


-STAREXEC TEAM