Reports for May 12, 2022 to May 19, 2022: unique logins: 54 jobs initiated: 309 job pairs run: 573328 solvers uploaded: 182 benchmarks uploaded: 606 benchmark archives uploaded: 10 queue: long.q job pairs run: 12121 jobs initiated: 59 queue: satcomp.q job pairs run: 606 jobs initiated: 3 queue: all.q job pairs run: 560164 jobs initiated: 247 -STAREXEC TEAM