Reports for June 08, 2023 to June 15, 2023:

unique logins: 38
jobs initiated: 51
job pairs run: 814671
solvers uploaded: 24
benchmarks uploaded: 2029
benchmark archives uploaded: 13


queue: maxsateval.q
  job pairs run: 9809
  jobs initiated: 9
queue: smtcomp.q
  job pairs run: 783751
  jobs initiated: 10
queue: long.q
  job pairs run: 1437
  jobs initiated: 6
queue: syntcomp.q
  job pairs run: 2451
queue: satcomp.q
  job pairs run: 195
  jobs initiated: 8
queue: all.q
  job pairs run: 17001
  jobs initiated: 18


-STAREXEC TEAM