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

unique logins: 28
jobs initiated: 41
job pairs run: 33984
solvers uploaded: 37
benchmarks uploaded: 27
benchmark archives uploaded: 1


queue: long.q
  job pairs run: 1222
  jobs initiated: 1
queue: satcomp.q
  job pairs run: 83
  jobs initiated: 2
queue: all.q
  job pairs run: 32614
  jobs initiated: 38


-STAREXEC TEAM