Reports for June 28, 2018 to July 05, 2018: unique logins: 67 jobs initiated: 213 job pairs run: 930534 solvers uploaded: 101 benchmarks uploaded: 8972 benchmark archives uploaded: 23 queue: maxsateval.q job pairs run: 795 jobs initiated: 11 queue: syguscomp.q job pairs run: 675 jobs initiated: 15 queue: smtcomp.q job pairs run: 83538 queue: chccomp.q job pairs run: 13547 jobs initiated: 17 queue: all.q job pairs run: 791130 jobs initiated: 163 queue: casc.q job pairs run: 40829 jobs initiated: 7 -STAREXEC TEAM