Reports for June 06, 2019 to June 13, 2019:

unique logins: 53
jobs initiated: 156
job pairs run: 926388
solvers uploaded: 211
benchmarks uploaded: 12526
benchmark archives uploaded: 19


queue: maxsateval.q
  job pairs run: 4677
  jobs initiated: 6
queue: smtcomp.q
  job pairs run: 173943
  jobs initiated: 26
queue: syntcomp.q
  job pairs run: 29
  jobs initiated: 3
queue: satrace.q
  job pairs run: 733
  jobs initiated: 1
queue: all.q
  job pairs run: 733104
  jobs initiated: 116
queue: qbfeval.q
  job pairs run: 13676
  jobs initiated: 4


-STAREXEC TEAM