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

unique logins: 41
jobs initiated: 225
job pairs run: 817033
solvers uploaded: 90
benchmarks uploaded: 12167
benchmark archives uploaded: 27


queue: maxsateval.q
  job pairs run: 2227
  jobs initiated: 9
queue: syguscomp.q
  job pairs run: 12879
  jobs initiated: 27
queue: smtcomp.q
  job pairs run: 35
queue: syntcomp.q
  job pairs run: 1
queue: all.q
  job pairs run: 801758
  jobs initiated: 189


-STAREXEC TEAM