Reports for June 15, 2023 to June 22, 2023:

unique logins: 39
jobs initiated: 44
job pairs run: 49703
solvers uploaded: 24
benchmarks uploaded: 0
benchmark archives uploaded: 0


queue: maxsateval.q
  job pairs run: 10263
  jobs initiated: 7
queue: smtcomp.q
  job pairs run: 22201
queue: long.q
  job pairs run: 11773
  jobs initiated: 17
queue: satcomp.q
  job pairs run: 10
  jobs initiated: 1
queue: all.q
  job pairs run: 5056
  jobs initiated: 18
queue: new.q
  job pairs run: 400
  jobs initiated: 1


-STAREXEC TEAM