Reports for April 28, 2022 to May 05, 2022:

unique logins: 50
jobs initiated: 227
job pairs run: 1984724
solvers uploaded: 113
benchmarks uploaded: 17885
benchmark archives uploaded: 16


queue: long.q
  job pairs run: 536107
  jobs initiated: 67
queue: satcomp.q
  job pairs run: 3
queue: all.q
  job pairs run: 1448121
  jobs initiated: 160


-STAREXEC TEAM