Reports for June 09, 2016 to June 16, 2016:

unique logins: 38
jobs initiated: 117
job pairs run: 1102222
solvers uploaded: 101
benchmarks uploaded: 26906
benchmark archives uploaded: 32

queue: testing.q
  jobs initiated: 1
  job pairs run: 1

queue: smtcomp.q
  job pairs run: 778904
  jobs initiated: 5

queue: long.q
  job pairs run: 2357
  jobs initiated: 4

queue: all.q
  job pairs run: 254210
  jobs initiated: 77

queue: all2.q
  jobs initiated: 11
  job pairs run: 51135

queue: casc.q
  jobs initiated: 19
  job pairs run: 15601


-STAREXEC TEAM