Reports for May 25, 2023 to June 01, 2023:

unique logins: 75
jobs initiated: 192
job pairs run: 361572
solvers uploaded: 129
benchmarks uploaded: 2867
benchmark archives uploaded: 18


queue: smtcomp.q
  job pairs run: 80005
  jobs initiated: 1
queue: chcseq.q
  job pairs run: 40
  jobs initiated: 1
queue: long.q
  job pairs run: 3623
  jobs initiated: 3
queue: satcomp.q
  job pairs run: 179
  jobs initiated: 14
queue: all.q
  job pairs run: 277015
  jobs initiated: 168
queue: new.q
  job pairs run: 655
  jobs initiated: 5


-STAREXEC TEAM