Reports for May 10, 2018 to May 17, 2018:

unique logins: 34
jobs initiated: 72
job pairs run: 563271
solvers uploaded: 48
benchmarks uploaded: 52
benchmark archives uploaded: 5


queue: long.q
  job pairs run: 82
  jobs initiated: 1
queue: satcomp.q
  job pairs run: 10297
  jobs initiated: 4
queue: all.q
  job pairs run: 552700
  jobs initiated: 67


-STAREXEC TEAM