Reports for April 18, 2024 to April 25, 2024:

unique logins: 19
jobs initiated: 46
job pairs run: 5483
solvers uploaded: 29
benchmarks uploaded: 364
benchmark archives uploaded: 11


queue: satcomp.q
  job pairs run: 468
  jobs initiated: 20
queue: all.q
  job pairs run: 5015
  jobs initiated: 26


-STAREXEC TEAM