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

unique logins: 49
jobs initiated: 157
job pairs run: 367776
solvers uploaded: 64
benchmarks uploaded: 904
benchmark archives uploaded: 26


queue: coco.q
  job pairs run: 400
  jobs initiated: 2
queue: maxsateval.q
  job pairs run: 705
queue: smtcomp.q
  job pairs run: 202758
  jobs initiated: 5
queue: long.q
  job pairs run: 8090
  jobs initiated: 25
queue: all.q
  job pairs run: 83522
  jobs initiated: 79
queue: termcomp.q
  job pairs run: 71865
  jobs initiated: 46


-STAREXEC TEAM