Reports for May 19, 2022 to May 26, 2022:

unique logins: 40
jobs initiated: 92
job pairs run: 499421
solvers uploaded: 50
benchmarks uploaded: 484934
benchmark archives uploaded: 23


queue: long.q
  job pairs run: 8952
  jobs initiated: 26
queue: satcomp.q
  job pairs run: 46194
  jobs initiated: 17
queue: all.q
  job pairs run: 444221
  jobs initiated: 49


-STAREXEC TEAM