| 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.62M / 0.62M |
| 12342 | Rosenthj | None | Linux | double_negative_reductions_pv | 4 | 1.37M / 1.38M |
| 12360 | WorkerPool | None | Linux | double_negative_reductions_pv | 8 | 0.56M / 0.56M |
| 12407 | WorkerPool | None | Linux | double_negative_reductions_pv | 8 | 0.51M / 0.50M |
| 12472 | Kieren | desktop | Windows | double_negative_reductions_pv | 32 | 1.61M / 1.60M |
| 12476 | WorkerPool | None | Linux | double_negative_reductions_pv | 8 | 0.49M / 0.49M |