Reports for December 13, 2018 to December 20, 2018:

unique logins: 24
jobs initiated: 122
job pairs run: 691810
solvers uploaded: 51
benchmarks uploaded: 555
benchmark archives uploaded: 5


queue: long.q
  job pairs run: 3751
  jobs initiated: 38
queue: tptp.q
  job pairs run: 32301
queue: all.q
  job pairs run: 643596
  jobs initiated: 72
queue: all2.q
  job pairs run: 12152
  jobs initiated: 12


-STAREXEC TEAM