Reports for May 05, 2016 to May 12, 2016: unique logins: 39 jobs initiated: 121 job pairs run: 1663402 solvers uploaded: 78 benchmarks uploaded: 41993 benchmark archives uploaded: 17 queue: long.q job pairs run: 1173 jobs initiated: 1 queue: satcomp.q jobs initiated: 4 job pairs run: 2558 queue: all.q job pairs run: 1630507 jobs initiated: 114 queue: all2.q jobs initiated: 2 job pairs run: 29035 -STAREXEC TEAM