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

unique logins: 30
jobs initiated: 107
job pairs run: 266250
solvers uploaded: 44
benchmarks uploaded: 35841
benchmark archives uploaded: 6


queue: maxsateval.q
  job pairs run: 1365
  jobs initiated: 15
queue: smtcomp.q
  job pairs run: 193067
  jobs initiated: 5
queue: long.q
  job pairs run: 17452
  jobs initiated: 24
queue: all.q
  job pairs run: 53050
  jobs initiated: 62
queue: new.q
  job pairs run: 1222
  jobs initiated: 1


-STAREXEC TEAM