Reports for July 21, 2022 to July 28, 2022:

unique logins: 45
jobs initiated: 166
job pairs run: 504321
solvers uploaded: 65
benchmarks uploaded: 12215
benchmark archives uploaded: 40


queue: coco.q
  job pairs run: 13574
  jobs initiated: 4
queue: satsing.q
  job pairs run: 11758
  jobs initiated: 1
queue: smtcomp.q
  job pairs run: 298908
  jobs initiated: 8
queue: long.q
  job pairs run: 5380
  jobs initiated: 33
queue: smtnew.q
  job pairs run: 74117
queue: satcomp.q
  job pairs run: 42
queue: all.q
  job pairs run: 23109
  jobs initiated: 70
queue: termcomp.q
  job pairs run: 73733
  jobs initiated: 34
queue: new.q
  job pairs run: 3678
  jobs initiated: 16


-STAREXEC TEAM