Reports for June 30, 2022 to July 07, 2022: unique logins: 63 jobs initiated: 370 job pairs run: 369225 solvers uploaded: 220 benchmarks uploaded: 41950 benchmark archives uploaded: 54 queue: maxsateval.q job pairs run: 71382 jobs initiated: 49 queue: smtcomp.q job pairs run: 57174 jobs initiated: 16 queue: long.q job pairs run: 20322 jobs initiated: 43 queue: satcomp.q job pairs run: 2015 jobs initiated: 5 queue: all.q job pairs run: 213393 jobs initiated: 257 queue: qbfeval.q job pairs run: 4568 -STAREXEC TEAM