Reports for June 20, 2019 to June 27, 2019:

unique logins: 51
jobs initiated: 111
job pairs run: 574344
solvers uploaded: 62
benchmarks uploaded: 3451
benchmark archives uploaded: 13


queue: maxsateval.q
  job pairs run: 40542
  jobs initiated: 28
queue: smtcomp.q
  job pairs run: 334554
  jobs initiated: 4
queue: syntcomp.q
  job pairs run: 880
  jobs initiated: 1
queue: satrace.q
  job pairs run: 52
  jobs initiated: 5
queue: all.q
  job pairs run: 190013
  jobs initiated: 70
queue: qbfeval.q
  job pairs run: 8223
  jobs initiated: 3


-STAREXEC TEAM