Reports for May 23, 2019 to May 30, 2019:

unique logins: 61
jobs initiated: 203
job pairs run: 1109388
solvers uploaded: 128
benchmarks uploaded: 2051
benchmark archives uploaded: 41


queue: debug.q
  job pairs run: 34
  jobs initiated: 5
queue: smtcomp.q
  job pairs run: 11991
  jobs initiated: 4
queue: satrace.q
  job pairs run: 7258
  jobs initiated: 1
queue: all.q
  job pairs run: 1089872
  jobs initiated: 193


-STAREXEC TEAM