Reports for May 26, 2022 to June 02, 2022:

unique logins: 50
jobs initiated: 110
job pairs run: 110748
solvers uploaded: 84
benchmarks uploaded: 805
benchmark archives uploaded: 2


queue: long.q
  job pairs run: 4506
  jobs initiated: 31
queue: satcomp.q
  job pairs run: 74448
queue: all.q
  job pairs run: 31775
  jobs initiated: 79


-STAREXEC TEAM