Reports for July 13, 2017 to July 20, 2017:

unique logins: 50
jobs initiated: 102
job pairs run: 640483
solvers uploaded: 59
benchmarks uploaded: 8753
benchmark archives uploaded: 24

queue: syguscomp.q
  jobs initiated: 18
  job pairs run: 7763

queue: maxsateval.q
  jobs initiated: 2
  job pairs run: 1299

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

queue: smtcomp.q
  job pairs run: 70117
  jobs initiated: 1

queue: long.q
  job pairs run: 4510
  jobs initiated: 5

queue: satcomp.q
  job pairs run: 2763

queue: casc.q
  job pairs run: 383046
  jobs initiated: 33

queue: qbfeval.q
  job pairs run: 17146

queue: all.q
  job pairs run: 153825
  jobs initiated: 42


-STAREXEC TEAM