Reports for March 28, 2024 to April 04, 2024:

unique logins: 15
jobs initiated: 44
job pairs run: 15056
solvers uploaded: 20
benchmarks uploaded: 2912
benchmark archives uploaded: 4


queue: long.q
  job pairs run: 2695
  jobs initiated: 6
queue: chccomp.q
  job pairs run: 5791
  jobs initiated: 14
queue: satcomp.q
  job pairs run: 30
  jobs initiated: 3
queue: all.q
  job pairs run: 6540
  jobs initiated: 21


-STAREXEC TEAM