Reports for June 14, 2018 to June 21, 2018: unique logins: 76 jobs initiated: 287 job pairs run: 1222901 solvers uploaded: 255 benchmarks uploaded: 48494 benchmark archives uploaded: 80 queue: maxsateval.q job pairs run: 39188 jobs initiated: 45 queue: smtcomp.q job pairs run: 635951 jobs initiated: 10 queue: long.q jobs initiated: 2 queue: all.q job pairs run: 547573 jobs initiated: 229 queue: qbfeval.q job pairs run: 160 jobs initiated: 1 -STAREXEC TEAM