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

unique logins: 71
jobs initiated: 237
job pairs run: 360612
solvers uploaded: 158
benchmarks uploaded: 3344
benchmark archives uploaded: 24


queue: smtcomp.q
  job pairs run: 223641
  jobs initiated: 5
queue: long.q
  job pairs run: 428
  jobs initiated: 4
queue: syntcomp.q
  job pairs run: 6087
  jobs initiated: 5
queue: satcomp.q
  job pairs run: 13090
  jobs initiated: 1
queue: all.q
  job pairs run: 110776
  jobs initiated: 219
queue: qbfeval.q
  job pairs run: 6584
  jobs initiated: 3


-STAREXEC TEAM