Reports for June 24, 2021 to July 01, 2021:

unique logins: 60
jobs initiated: 151
job pairs run: 531008
solvers uploaded: 122
benchmarks uploaded: 9654
benchmark archives uploaded: 27


queue: maxsateval.q
  job pairs run: 8813
  jobs initiated: 23
queue: smtcomp.q
  job pairs run: 301398
  jobs initiated: 4
queue: long.q
  job pairs run: 11654
  jobs initiated: 14
queue: satcomp.q
  job pairs run: 1895
queue: all.q
  job pairs run: 207190
  jobs initiated: 110


-STAREXEC TEAM