Reports for July 12, 2018 to July 19, 2018:

unique logins: 50
jobs initiated: 80
job pairs run: 740828
solvers uploaded: 36
benchmarks uploaded: 8201
benchmark archives uploaded: 14


queue: slcomp.q
  job pairs run: 406
  jobs initiated: 2
queue: all.q
  job pairs run: 658169
  jobs initiated: 40
queue: casc.q
  job pairs run: 39112
  jobs initiated: 24
queue: termcomp.q
  job pairs run: 43099
  jobs initiated: 14


-STAREXEC TEAM