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

unique logins: 39
jobs initiated: 424
job pairs run: 1070724
solvers uploaded: 126
benchmarks uploaded: 30315
benchmark archives uploaded: 28

queue: maxsateval.q
  jobs initiated: 1
  job pairs run: 34

queue: long.q
  job pairs run: 10060
  jobs initiated: 4

queue: all.q
  job pairs run: 1039368
  jobs initiated: 212

queue: termcomp.q
  job pairs run: 19410
  jobs initiated: 207

queue: qbfeval.q
  job pairs run: 996


-STAREXEC TEAM