Reports for July 07, 2016 to July 14, 2016:

unique logins: 24
jobs initiated: 63
job pairs run: 573907
solvers uploaded: 55
benchmarks uploaded: 5215
benchmark archives uploaded: 5

queue: smtcomp.q
  jobs initiated: 1

queue: long.q
  job pairs run: 17681
  jobs initiated: 41

queue: all.q
  job pairs run: 553936
  jobs initiated: 21

queue: all2.q
  job pairs run: 2054


-STAREXEC TEAM