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

unique logins: 57
jobs initiated: 287
job pairs run: 542050
solvers uploaded: 134
benchmarks uploaded: 21824
benchmark archives uploaded: 13


queue: coco.q
  job pairs run: 22432
  jobs initiated: 11
queue: maxsateval.q
  job pairs run: 11969
  jobs initiated: 20
queue: smtcomp.q
  job pairs run: 223094
  jobs initiated: 9
queue: long.q
  job pairs run: 1224
  jobs initiated: 7
queue: satcomp.q
  job pairs run: 2636
  jobs initiated: 3
queue: all.q
  job pairs run: 226613
  jobs initiated: 184
queue: qbfeval.q
  job pairs run: 6602
  jobs initiated: 3
queue: termcomp.q
  job pairs run: 47355
  jobs initiated: 50


-STAREXEC TEAM