Reports for May 24, 2018 to May 31, 2018: unique logins: 53 jobs initiated: 169 job pairs run: 1344177 solvers uploaded: 178 benchmarks uploaded: 191464 benchmark archives uploaded: 39 queue: long.q job pairs run: 1529 jobs initiated: 1 queue: satcomp.q job pairs run: 13174 jobs initiated: 1 queue: all.q job pairs run: 1329282 jobs initiated: 167 -STAREXEC TEAM