Reports for July 27, 2017 to August 03, 2017:

unique logins: 48
jobs initiated: 226
job pairs run: 591132
solvers uploaded: 86
benchmarks uploaded: 11372
benchmark archives uploaded: 32

queue: maxsateval.q
  job pairs run: 11200
  jobs initiated: 77

queue: long.q
  job pairs run: 5417

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

queue: all.q
  job pairs run: 429586
  jobs initiated: 82

queue: casc.q
  job pairs run: 106501
  jobs initiated: 61

queue: qbfeval.q
  jobs initiated: 4
  job pairs run: 18013


-STAREXEC TEAM