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

unique logins: 62
jobs initiated: 199
job pairs run: 412438
solvers uploaded: 135
benchmarks uploaded: 78463
benchmark archives uploaded: 47


queue: maxsateval.q
  job pairs run: 13573
  jobs initiated: 20
queue: smtcomp.q
  job pairs run: 7641
  jobs initiated: 11
queue: long.q
  job pairs run: 27013
  jobs initiated: 55
queue: all.q
  job pairs run: 358105
  jobs initiated: 110
queue: qbfeval.q
  job pairs run: 6088
  jobs initiated: 3


-STAREXEC TEAM