Reports for May 26, 2016 to June 02, 2016:

unique logins: 48
jobs initiated: 245
job pairs run: 1766852
solvers uploaded: 170
benchmarks uploaded: 2898
benchmark archives uploaded: 21

queue: smtcomp.q
  job pairs run: 779812
  jobs initiated: 32

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

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

queue: satcomp2.q
  job pairs run: 15729
  jobs initiated: 4

queue: all.q
  job pairs run: 779215
  jobs initiated: 155

queue: all2.q
  job pairs run: 187523
  jobs initiated: 27


-STAREXEC TEAM