Reports for February 23, 2023 to March 02, 2023:

unique logins: 24
jobs initiated: 125
job pairs run: 462236
solvers uploaded: 66
benchmarks uploaded: 576
benchmark archives uploaded: 2


queue: long.q
  job pairs run: 24270
  jobs initiated: 33
queue: satcomp.q
  job pairs run: 48
  jobs initiated: 8
queue: all.q
  job pairs run: 433242
  jobs initiated: 69
queue: new.q
  job pairs run: 3077
  jobs initiated: 15


-STAREXEC TEAM