Reports for May 17, 2018 to May 24, 2018: unique logins: 44 jobs initiated: 113 job pairs run: 486316 solvers uploaded: 64 benchmarks uploaded: 760886 benchmark archives uploaded: 144 queue: long.q job pairs run: 825 queue: satcomp.q job pairs run: 15993 jobs initiated: 4 queue: all.q job pairs run: 465784 jobs initiated: 103 queue: qbfeval.q job pairs run: 3584 jobs initiated: 6 -STAREXEC TEAM