Reports for June 11, 2020 to June 18, 2020:

unique logins: 58
jobs initiated: 285
job pairs run: 835464
solvers uploaded: 176
benchmarks uploaded: 9892
benchmark archives uploaded: 53


queue: coco.q
  job pairs run: 5392
  jobs initiated: 27
queue: maxsateval.q
  job pairs run: 1194
  jobs initiated: 7
queue: smtcomp.q
  job pairs run: 279848
  jobs initiated: 2
queue: long.q
  job pairs run: 1961
  jobs initiated: 14
queue: syntcomp.q
  job pairs run: 3498
  jobs initiated: 5
queue: satcomp.q
  job pairs run: 8009
  jobs initiated: 2
queue: all.q
  job pairs run: 514465
  jobs initiated: 226
queue: qbfeval.q
  job pairs run: 20987
  jobs initiated: 2


-STAREXEC TEAM