Reports for July 06, 2017 to July 13, 2017:

unique logins: 41
jobs initiated: 117
job pairs run: 591180
solvers uploaded: 57
benchmarks uploaded: 32791
benchmark archives uploaded: 14

queue: syguscomp.q
  jobs initiated: 46
  job pairs run: 1856

queue: smtcomp.q
  job pairs run: 63270

queue: long.q
  job pairs run: 5467
  jobs initiated: 1

queue: satcomp.q
  jobs initiated: 7
  job pairs run: 87069

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

queue: all.q
  job pairs run: 281191
  jobs initiated: 48

queue: casc.q
  jobs initiated: 11
  job pairs run: 126245


-STAREXEC TEAM