Reports for August 10, 2017 to August 17, 2017:

unique logins: 46
jobs initiated: 343
job pairs run: 849512
solvers uploaded: 88
benchmarks uploaded: 57961
benchmark archives uploaded: 19

queue: maxsateval.q
  job pairs run: 65

queue: testing.q
  jobs initiated: 1

queue: cascltb.q
  job pairs run: 4

queue: long.q
  job pairs run: 105159
  jobs initiated: 6

queue: satcomp.q
  job pairs run: 4626

queue: tptptest.q
  jobs initiated: 3
  job pairs run: 70

queue: all.q
  job pairs run: 728720
  jobs initiated: 145

queue: termcomp.q
  jobs initiated: 186
  job pairs run: 10409

queue: qbfeval.q
  jobs initiated: 2
  job pairs run: 51


-STAREXEC TEAM