Reports for May 19, 2016 to May 26, 2016: unique logins: 50 jobs initiated: 133 job pairs run: 1641695 solvers uploaded: 99 benchmarks uploaded: 265162 benchmark archives uploaded: 80 queue: smtcomp.q jobs initiated: 3 job pairs run: 33119 queue: long.q job pairs run: 5410 jobs initiated: 21 queue: satcomp.q job pairs run: 2858 jobs initiated: 5 queue: satcomp2.q jobs initiated: 4 job pairs run: 145626 queue: all.q job pairs run: 1406726 jobs initiated: 94 queue: all2.q job pairs run: 47928 jobs initiated: 6 -STAREXEC TEAM