Reports for June 07, 2018 to June 14, 2018:

unique logins: 69
jobs initiated: 175
job pairs run: 1480890
solvers uploaded: 148
benchmarks uploaded: 2834
benchmark archives uploaded: 12


queue: maxsateval.q
  job pairs run: 582
  jobs initiated: 1
queue: smtcomp.q
  job pairs run: 314132
  jobs initiated: 7
queue: long.q
  job pairs run: 1037
  jobs initiated: 1
queue: all.q
  job pairs run: 1142753
  jobs initiated: 162
queue: qbfeval.q
  job pairs run: 22368
  jobs initiated: 4


-STAREXEC TEAM