Reports for April 04, 2024 to April 11, 2024:

unique logins: 11
jobs initiated: 20
job pairs run: 7119
solvers uploaded: 6
benchmarks uploaded: 0
benchmark archives uploaded: 0


queue: long.q
  job pairs run: 844
  jobs initiated: 2
queue: chccomp.q
  job pairs run: 436
queue: satcomp.q
  job pairs run: 30
  jobs initiated: 3
queue: all.q
  job pairs run: 5657
  jobs initiated: 15


-STAREXEC TEAM