Reports for April 30, 2020 to May 07, 2020: unique logins: 6 jobs initiated: 34 job pairs run: 400686 solvers uploaded: 20 benchmarks uploaded: 53116 benchmark archives uploaded: 10 queue: all.q job pairs run: 400686 jobs initiated: 34 -STAREXEC TEAM