Reports for June 01, 2023 to June 08, 2023:

unique logins: 52
jobs initiated: 108
job pairs run: 493039
solvers uploaded: 84
benchmarks uploaded: 7389
benchmark archives uploaded: 30


queue: maxsateval.q
  job pairs run: 1118
  jobs initiated: 6
queue: smtcomp.q
  job pairs run: 420556
  jobs initiated: 1
queue: long.q
  job pairs run: 7573
  jobs initiated: 11
queue: syntcomp.q
  job pairs run: 48698
  jobs initiated: 14
queue: satcomp.q
  job pairs run: 177
  jobs initiated: 5
queue: all.q
  job pairs run: 14899
  jobs initiated: 71


-STAREXEC TEAM