Reports for June 27, 2019 to July 04, 2019:

unique logins: 44
jobs initiated: 89
job pairs run: 793426
solvers uploaded: 41
benchmarks uploaded: 4626
benchmark archives uploaded: 8


queue: smtcomp.q
  job pairs run: 460245
  jobs initiated: 7
queue: syntcomp.q
  job pairs run: 7309
  jobs initiated: 2
queue: satrace.q
  job pairs run: 40
  jobs initiated: 2
queue: all.q
  job pairs run: 325823
  jobs initiated: 78


-STAREXEC TEAM