Reports for May 07, 2020 to May 14, 2020:

unique logins: 63
jobs initiated: 122
job pairs run: 851369
solvers uploaded: 96
benchmarks uploaded: 383229
benchmark archives uploaded: 22


queue: smtcomp.q
  job pairs run: 29213
  jobs initiated: 12
queue: long.q
  job pairs run: 3267
  jobs initiated: 17
queue: chccomp.q
  job pairs run: 1002
  jobs initiated: 1
queue: all.q
  job pairs run: 816859
  jobs initiated: 92


-STAREXEC TEAM