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

unique logins: 43
jobs initiated: 258
job pairs run: 396775
solvers uploaded: 97
benchmarks uploaded: 3740
benchmark archives uploaded: 20

queue: maxsateval.q
  jobs initiated: 74
  job pairs run: 12898

queue: cascltb.q
  jobs initiated: 2
  job pairs run: 3

queue: long.q
  job pairs run: 4248

queue: satcomp.q
  jobs initiated: 3
  job pairs run: 3465

queue: all.q
  job pairs run: 266330
  jobs initiated: 103

queue: casc.q
  jobs initiated: 26
  job pairs run: 108400

queue: termcomp.q
  jobs initiated: 50
  job pairs run: 1044

queue: qbfeval.q
  job pairs run: 137


-STAREXEC TEAM