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

unique logins: 61
jobs initiated: 206
job pairs run: 937021
solvers uploaded: 146
benchmarks uploaded: 1216
benchmark archives uploaded: 15


queue: satrace.q
  job pairs run: 22615
  jobs initiated: 8
queue: all.q
  job pairs run: 914211
  jobs initiated: 198


-STAREXEC TEAM