Reports for May 14, 2020 to May 21, 2020:

unique logins: 64
jobs initiated: 227
job pairs run: 859940
solvers uploaded: 165
benchmarks uploaded: 457520
benchmark archives uploaded: 52


queue: smtcomp.q
  job pairs run: 53134
  jobs initiated: 12
queue: long.q
  job pairs run: 1921
  jobs initiated: 31
queue: satcomp.q
  job pairs run: 4081
  jobs initiated: 2
queue: all.q
  job pairs run: 798235
  jobs initiated: 182


-STAREXEC TEAM