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

unique logins: 51
jobs initiated: 64
job pairs run: 150148
solvers uploaded: 89
benchmarks uploaded: 24
benchmark archives uploaded: 6


queue: long.q
  job pairs run: 5325
  jobs initiated: 5
queue: satcomp.q
  job pairs run: 42375
queue: all.q
  job pairs run: 102414
  jobs initiated: 59


-STAREXEC TEAM