| 12240 | WorkerPool | None | Linux | double_negative_reductions_pv | 8 | 0.62M / 0.62M |
| 12241 | WorkerPool | None | Linux | double_negative_reductions_pv | 8 | 0.55M / 0.55M |
| 12243 | WorkerPool | None | Linux | double_negative_reductions_pv | 8 | 0.61M / 0.62M |
| 12342 | Rosenthj | None | Linux | double_negative_reductions_pv | 4 | 1.38M / 1.39M |
| 12360 | WorkerPool | None | Linux | double_negative_reductions_pv | 8 | 0.56M / 0.56M |
| 12407 | WorkerPool | None | Linux | double_negative_reductions_pv | 8 | 0.48M / 0.50M |
| 12472 | Kieren | desktop | Windows | double_negative_reductions_pv | 32 | 1.61M / 1.61M |
| 12474 | WorkerPool | None | Linux | double_negative_reductions_pv | 8 | 0.55M / 0.55M |