Reports for June 02, 2016 to June 09, 2016:

unique logins: 40
jobs initiated: 167
job pairs run: 1633901
solvers uploaded: 120
benchmarks uploaded: 85469
benchmark archives uploaded: 25

queue: smtcomp.q
  job pairs run: 673787
  jobs initiated: 21

queue: long.q
  job pairs run: 2519
  jobs initiated: 16

queue: satcomp.q
  jobs initiated: 2
  job pairs run: 87

queue: all.q
  job pairs run: 850251
  jobs initiated: 101

queue: all2.q
  jobs initiated: 20
  job pairs run: 107052

queue: casc.q
  jobs initiated: 7
  job pairs run: 115


-STAREXEC TEAM