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

unique logins: 62
jobs initiated: 129
job pairs run: 291931
solvers uploaded: 149
benchmarks uploaded: 76499
benchmark archives uploaded: 21


queue: long.q
  job pairs run: 19350
  jobs initiated: 16
queue: satcomp.q
  job pairs run: 7612
queue: all.q
  job pairs run: 260656
  jobs initiated: 111
queue: qbfeval.q
  job pairs run: 3333
  jobs initiated: 2


-STAREXEC TEAM