Reports for May 12, 2016 to May 19, 2016:

unique logins: 44
jobs initiated: 176
job pairs run: 1234470
solvers uploaded: 135
benchmarks uploaded: 3358
benchmark archives uploaded: 20

queue: smtcomp.q
  jobs initiated: 1
  job pairs run: 2

queue: long.q
  job pairs run: 3269
  jobs initiated: 11

queue: satcomp.q
  job pairs run: 12329
  jobs initiated: 2

queue: all.q
  job pairs run: 1171803
  jobs initiated: 153

queue: all2.q
  jobs initiated: 9
  job pairs run: 47016


-STAREXEC TEAM