Reports for July 02, 2020 to July 09, 2020:

unique logins: 41
jobs initiated: 192
job pairs run: 175010
solvers uploaded: 96
benchmarks uploaded: 13517
benchmark archives uploaded: 57


queue: maxsateval.q
  job pairs run: 12394
  jobs initiated: 62
queue: long.q
  job pairs run: 1612
  jobs initiated: 5
queue: satcomp.q
  job pairs run: 201
  jobs initiated: 1
queue: all.q
  job pairs run: 159528
  jobs initiated: 124


-STAREXEC TEAM