Reports for June 21, 2018 to June 28, 2018:

unique logins: 69
jobs initiated: 153
job pairs run: 1310488
solvers uploaded: 104
benchmarks uploaded: 5544
benchmark archives uploaded: 27


queue: maxsateval.q
  job pairs run: 7238
  jobs initiated: 7
queue: syguscomp.q
  job pairs run: 5847
  jobs initiated: 11
queue: smtcomp.q
  job pairs run: 745387
  jobs initiated: 4
queue: all.q
  job pairs run: 528760
  jobs initiated: 124
queue: casc.q
  job pairs run: 23107
  jobs initiated: 7


-STAREXEC TEAM