Reports for April 28, 2016 to May 05, 2016: unique logins: 39 jobs initiated: 185 job pairs run: 2091169 solvers uploaded: 146 benchmarks uploaded: 2858 benchmark archives uploaded: 25 queue: long.q jobs initiated: 2 job pairs run: 503 queue: satcomp.q jobs initiated: 2 job pairs run: 61 queue: satcomp2.q jobs initiated: 4 job pairs run: 4130 queue: all.q job pairs run: 2046907 jobs initiated: 165 queue: all2.q job pairs run: 16288 jobs initiated: 2 queue: qbfeval.q jobs initiated: 10 job pairs run: 23146 -STAREXEC TEAM