Reports for April 27, 2017 to May 04, 2017: unique logins: 28 jobs initiated: 112 job pairs run: 1252169 solvers uploaded: 48 benchmarks uploaded: 268936 benchmark archives uploaded: 75 queue: long.q job pairs run: 14684 jobs initiated: 27 queue: all.q job pairs run: 1237334 jobs initiated: 82 queue: testBenchexec.q jobs initiated: 3 job pairs run: 52 -STAREXEC TEAM