Reports for July 15, 2021 to July 22, 2021:

unique logins: 29
jobs initiated: 68
job pairs run: 133849
solvers uploaded: 78
benchmarks uploaded: 6020
benchmark archives uploaded: 38


queue: coco.q
  job pairs run: 12675
  jobs initiated: 5
queue: smtcomp.q
  job pairs run: 53641
queue: long.q
  job pairs run: 10364
  jobs initiated: 20
queue: all.q
  job pairs run: 56609
  jobs initiated: 43


-STAREXEC TEAM