Reports for April 21, 2016 to April 28, 2016: unique logins: 51 jobs initiated: 277 job pairs run: 1319816 solvers uploaded: 179 benchmarks uploaded: 25388 benchmark archives uploaded: 23 queue: long.q jobs initiated: 8 job pairs run: 1872 queue: satcomp.q jobs initiated: 9 job pairs run: 1154 queue: all.q jobs initiated: 243 job pairs run: 1226523 queue: all2.q jobs initiated: 6 job pairs run: 50596 queue: qbfeval.q jobs initiated: 11 job pairs run: 39109 -STAREXEC TEAM