Reports for June 13, 2019 to June 20, 2019: unique logins: 52 jobs initiated: 225 job pairs run: 687987 solvers uploaded: 105 benchmarks uploaded: 7381 benchmark archives uploaded: 16 queue: maxsateval.q job pairs run: 11442 jobs initiated: 3 queue: smtcomp.q job pairs run: 157941 jobs initiated: 5 queue: syntcomp.q job pairs run: 11184 jobs initiated: 14 queue: all.q job pairs run: 507332 jobs initiated: 203 -STAREXEC TEAM