Reports for July 13, 2023 to July 20, 2023:

unique logins: 35
jobs initiated: 139
job pairs run: 316318
solvers uploaded: 73
benchmarks uploaded: 3988
benchmark archives uploaded: 8


queue: long.q
  job pairs run: 46019
  jobs initiated: 68
queue: all.q
  job pairs run: 269192
  jobs initiated: 55
queue: termcomp.q
  jobs initiated: 1
queue: new.q
  job pairs run: 1101
  jobs initiated: 16


-STAREXEC TEAM