Reports for June 17, 2021 to June 24, 2021:

unique logins: 66
jobs initiated: 167
job pairs run: 505386
solvers uploaded: 111
benchmarks uploaded: 6539
benchmark archives uploaded: 23


queue: maxsateval.q
  job pairs run: 7938
  jobs initiated: 11
queue: smtcomp.q
  job pairs run: 385221
  jobs initiated: 1
queue: long.q
  job pairs run: 3085
  jobs initiated: 18
queue: satcomp.q
  job pairs run: 5963
  jobs initiated: 3
queue: all.q
  job pairs run: 103036
  jobs initiated: 134


-STAREXEC TEAM