| 12240 | WorkerPool | None | Linux | triple-singular-extensions | 8 | 0.55M / 0.55M |
| 12241 | WorkerPool | None | Linux | triple-singular-extensions | 8 | 0.49M / 0.47M |
| 12243 | WorkerPool | None | Linux | triple-singular-extensions | 8 | 0.56M / 0.54M |
| 12342 | Rosenthj | None | Linux | triple-singular-extensions | 4 | 1.26M / 1.25M |
| 12360 | WorkerPool | None | Linux | triple-singular-extensions | 8 | 0.49M / 0.49M |
| 12407 | WorkerPool | None | Linux | opportunistic-pruning | 8 | 0.41M / 0.42M |
| 12476 | WorkerPool | None | Linux | triple-singular-extensions | 8 | 0.56M / 0.54M |
| 12541 | WorkerPool | None | Linux | triple-singular-extensions | 8 | 0.45M / 0.43M |
| 12611 | Jshriver | None | Linux | larger-correction-history-tables | 2 | 0.24M / 0.32M |
| 12612 | Jshriver | None | Linux | larger-correction-history-tables | 2 | 0.31M / 0.40M |
| 12614 | Jshriver | None | Linux | opportunistic-pruning | 2 | 0.44M / 0.37M |