Reports for June 16, 2016 to June 23, 2016: unique logins: 30 jobs initiated: 195 job pairs run: 1464612 solvers uploaded: 100 benchmarks uploaded: 5153 benchmark archives uploaded: 32 queue: syguscomp.q jobs initiated: 12 job pairs run: 3863 queue: smtcomp.q job pairs run: 1298 queue: long.q job pairs run: 3669 jobs initiated: 60 queue: satcomp.q jobs initiated: 2 job pairs run: 870 queue: all.q job pairs run: 1434666 jobs initiated: 80 queue: casc.q job pairs run: 13279 jobs initiated: 14 queue: all2.q jobs initiated: 27 job pairs run: 6579 -STAREXEC TEAM