Reports for June 09, 2022 to June 16, 2022:

unique logins: 43
jobs initiated: 38
job pairs run: 201646
solvers uploaded: 33
benchmarks uploaded: 11357
benchmark archives uploaded: 8


queue: long.q
  job pairs run: 2641
  jobs initiated: 10
queue: satcomp.q
  job pairs run: 65160
queue: all.q
  job pairs run: 133845
  jobs initiated: 28


-STAREXEC TEAM