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

unique logins: 48
jobs initiated: 202
job pairs run: 491789
solvers uploaded: 87
benchmarks uploaded: 22246
benchmark archives uploaded: 36


queue: maxsateval.q
  job pairs run: 4729
  jobs initiated: 12
queue: satsing.q
  job pairs run: 7323
  jobs initiated: 1
queue: smtcomp.q
  job pairs run: 297698
  jobs initiated: 6
queue: long.q
  job pairs run: 4963
  jobs initiated: 39
queue: smtnew.q
  job pairs run: 88756
  jobs initiated: 1
queue: syntcomp.q
  job pairs run: 32030
  jobs initiated: 1
queue: satcomp.q
  job pairs run: 9035
  jobs initiated: 8
queue: all.q
  job pairs run: 32487
  jobs initiated: 102
queue: termcomp.q
  job pairs run: 11825
  jobs initiated: 13
queue: new.q
  job pairs run: 2935
  jobs initiated: 19


-STAREXEC TEAM