Reports for July 01, 2021 to July 08, 2021:

unique logins: 44
jobs initiated: 172
job pairs run: 558297
solvers uploaded: 51
benchmarks uploaded: 21092
benchmark archives uploaded: 28


queue: coco.q
  job pairs run: 136
  jobs initiated: 34
queue: maxsateval.q
  job pairs run: 3718
  jobs initiated: 8
queue: smtcomp.q
  job pairs run: 390527
  jobs initiated: 6
queue: long.q
  job pairs run: 5918
  jobs initiated: 4
queue: satcomp.q
  job pairs run: 742
  jobs initiated: 3
queue: all.q
  job pairs run: 85342
  jobs initiated: 78
queue: termcomp.q
  job pairs run: 71507
  jobs initiated: 39


-STAREXEC TEAM