Reports for June 30, 2016 to July 07, 2016:

unique logins: 30
jobs initiated: 55
job pairs run: 1879189
solvers uploaded: 42
benchmarks uploaded: 1
benchmark archives uploaded: 1

queue: syguscomp.q
  job pairs run: 948

queue: long.q
  job pairs run: 7626
  jobs initiated: 27

queue: casc.q
  job pairs run: 1

queue: all.q
  jobs initiated: 23
  job pairs run: 1866698

queue: qbfeval.q
  jobs initiated: 3

queue: all2.q
  jobs initiated: 2
  job pairs run: 3916


-STAREXEC TEAM