Reports for January 10, 2019 to January 17, 2019:

unique logins: 27
jobs initiated: 128
job pairs run: 1551311
solvers uploaded: 50
benchmarks uploaded: 228
benchmark archives uploaded: 6


queue: long.q
  job pairs run: 3323
  jobs initiated: 24
queue: tptp.q
  job pairs run: 2289
  jobs initiated: 4
queue: all.q
  job pairs run: 1545681
  jobs initiated: 100


-STAREXEC TEAM