Reports for May 18, 2023 to May 25, 2023:

unique logins: 47
jobs initiated: 112
job pairs run: 88827
solvers uploaded: 63
benchmarks uploaded: 252
benchmark archives uploaded: 6


queue: long.q
  job pairs run: 3066
  jobs initiated: 24
queue: satcomp.q
  job pairs run: 15388
  jobs initiated: 8
queue: all.q
  job pairs run: 68191
  jobs initiated: 74
queue: new.q
  job pairs run: 2140
  jobs initiated: 6


-STAREXEC TEAM