Reports for June 22, 2017 to June 29, 2017:

unique logins: 64
jobs initiated: 159
job pairs run: 1592996
solvers uploaded: 115
benchmarks uploaded: 16962
benchmark archives uploaded: 7

queue: syguscomp.q
  jobs initiated: 7
  job pairs run: 206

queue: smtcomp.q
  job pairs run: 942806
  jobs initiated: 9

queue: long.q
  job pairs run: 66530
  jobs initiated: 15

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

queue: all.q
  job pairs run: 582801
  jobs initiated: 125


-STAREXEC TEAM