Reports for June 23, 2016 to June 30, 2016:

unique logins: 30
jobs initiated: 119
job pairs run: 527942
solvers uploaded: 43
benchmarks uploaded: 25723
benchmark archives uploaded: 50

queue: syguscomp.q
  job pairs run: 3794
  jobs initiated: 36

queue: testing.q
  jobs initiated: 5
  job pairs run: 412

queue: long.q
  job pairs run: 5101
  jobs initiated: 8

queue: casc.q
  job pairs run: 80594
  jobs initiated: 35

queue: all.q
  job pairs run: 434307
  jobs initiated: 35


-STAREXEC TEAM