Reports for June 29, 2017 to July 06, 2017:

unique logins: 58
jobs initiated: 134
job pairs run: 1065650
solvers uploaded: 98
benchmarks uploaded: 2882
benchmark archives uploaded: 15

queue: syguscomp.q
  job pairs run: 9953
  jobs initiated: 9

queue: smtcomp.q
  job pairs run: 135329
  jobs initiated: 9

queue: long.q
  job pairs run: 15613
  jobs initiated: 2

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

queue: all.q
  job pairs run: 891854
  jobs initiated: 109

queue: qbfeval.q
  jobs initiated: 3
  job pairs run: 11837


-STAREXEC TEAM