Reports for June 15, 2017 to June 22, 2017: unique logins: 55 jobs initiated: 165 job pairs run: 1538685 solvers uploaded: 116 benchmarks uploaded: 17778 benchmark archives uploaded: 13 queue: smtcomp.q jobs initiated: 10 job pairs run: 483832 queue: long.q job pairs run: 327111 jobs initiated: 41 queue: all.q job pairs run: 727705 jobs initiated: 114 -STAREXEC TEAM