Reports for June 25, 2020 to July 02, 2020:

unique logins: 51
jobs initiated: 240
job pairs run: 287498
solvers uploaded: 69
benchmarks uploaded: 4208
benchmark archives uploaded: 18


queue: coco.q
  job pairs run: 4246
  jobs initiated: 1
queue: maxsateval.q
  job pairs run: 18185
  jobs initiated: 46
queue: smtcomp.q
  job pairs run: 46527
queue: long.q
  job pairs run: 1406
  jobs initiated: 15
queue: all.q
  job pairs run: 169420
  jobs initiated: 136
queue: qbfeval.q
  job pairs run: 12785
  jobs initiated: 6
queue: termcomp.q
  job pairs run: 34708
  jobs initiated: 36


-STAREXEC TEAM