Reports for July 07, 2022 to July 14, 2022:

unique logins: 74
jobs initiated: 304
job pairs run: 460995
solvers uploaded: 120
benchmarks uploaded: 42271
benchmark archives uploaded: 33


queue: coco.q
  job pairs run: 16
  jobs initiated: 4
queue: maxsateval.q
  job pairs run: 14755
  jobs initiated: 17
queue: phase2
  job pairs run: 994
  jobs initiated: 2
queue: satsing.q
  job pairs run: 4252
  jobs initiated: 3
queue: smtcomp.q
  job pairs run: 395863
queue: long.q
  job pairs run: 5991
  jobs initiated: 27
queue: syntcomp.q
  job pairs run: 14800
  jobs initiated: 18
queue: satcomp.q
  job pairs run: 2556
  jobs initiated: 5
queue: all.q
  job pairs run: 16728
  jobs initiated: 216
queue: termcomp.q
  job pairs run: 3965
  jobs initiated: 10
queue: new.q
  job pairs run: 994
  jobs initiated: 2


-STAREXEC TEAM