Reports for July 11, 2019 to July 18, 2019:

unique logins: 45
jobs initiated: 133
job pairs run: 733499
solvers uploaded: 79
benchmarks uploaded: 8023
benchmark archives uploaded: 10


queue: maxsateval.q
  job pairs run: 528
  jobs initiated: 8
queue: syguscomp.q
  job pairs run: 3373
  jobs initiated: 6
queue: syntcomp.q
  job pairs run: 1
queue: all.q
  job pairs run: 728878
  jobs initiated: 119


-STAREXEC TEAM