Reports for July 05, 2018 to July 12, 2018:

unique logins: 50
jobs initiated: 672
job pairs run: 1404959
solvers uploaded: 183
benchmarks uploaded: 22695
benchmark archives uploaded: 63


queue: coco.q
  job pairs run: 23282
  jobs initiated: 17
queue: maxsateval.q
  job pairs run: 265
queue: syguscomp.q
  job pairs run: 45
  jobs initiated: 1
queue: chccomp.q
  job pairs run: 19503
  jobs initiated: 11
queue: satcomp.q
  job pairs run: 262
  jobs initiated: 4
queue: slcomp.q
  job pairs run: 15035
  jobs initiated: 124
queue: all.q
  job pairs run: 1312445
  jobs initiated: 347
queue: casc.q
  job pairs run: 22210
  jobs initiated: 26
queue: termcomp.q
  job pairs run: 11839
  jobs initiated: 142


-STAREXEC TEAM