Reports for May 30, 2019 to June 06, 2019:

unique logins: 69
jobs initiated: 210
job pairs run: 1640570
solvers uploaded: 368
benchmarks uploaded: 22500
benchmark archives uploaded: 25


queue: maxsateval.q
  job pairs run: 194
  jobs initiated: 1
queue: smtcomp.q
  job pairs run: 7899
  jobs initiated: 11
queue: syntcomp.q
  job pairs run: 8
  jobs initiated: 2
queue: satrace.q
  job pairs run: 3073
queue: all.q
  job pairs run: 1628662
  jobs initiated: 196


-STAREXEC TEAM