Reports for July 28, 2022 to August 04, 2022:

unique logins: 27
jobs initiated: 92
job pairs run: 392135
solvers uploaded: 36
benchmarks uploaded: 861
benchmark archives uploaded: 7


queue: coco.q
  job pairs run: 4526
  jobs initiated: 1
queue: smtcomp.q
  job pairs run: 245251
  jobs initiated: 4
queue: long.q
  job pairs run: 5778
  jobs initiated: 8
queue: smtnew.q
  job pairs run: 89831
queue: all.q
  job pairs run: 16910
  jobs initiated: 59
queue: termcomp.q
  job pairs run: 28110
  jobs initiated: 11
queue: new.q
  job pairs run: 1585
  jobs initiated: 9


-STAREXEC TEAM