Reports for May 31, 2018 to June 07, 2018:

unique logins: 83
jobs initiated: 228
job pairs run: 1331106
solvers uploaded: 216
benchmarks uploaded: 144660
benchmark archives uploaded: 44


queue: smtcomp.q
  job pairs run: 5453
  jobs initiated: 1
queue: long.q
  job pairs run: 2679
  jobs initiated: 11
queue: satcomp.q
  job pairs run: 78
  jobs initiated: 1
queue: all.q
  job pairs run: 1322505
  jobs initiated: 215


-STAREXEC TEAM