Reports for February 14, 2019 to February 21, 2019:

unique logins: 35
jobs initiated: 73
job pairs run: 1469031
solvers uploaded: 41
benchmarks uploaded: 4325
benchmark archives uploaded: 7


queue: tptp.q
  job pairs run: 29199
  jobs initiated: 3
queue: all.q
  job pairs run: 1439831
  jobs initiated: 70


-STAREXEC TEAM