| 12161 | Kieren | None | Linux | lmr_allow_pv_zero_reduction | 8 | 1.25M / 1.24M |
| 12182 | Kieren | None | Linux | lmr_allow_pv_zero_reduction | 8 | 1.19M / 1.19M |
| 12189 | WorkerPool | None | Linux | cleanup_continuation_history | 8 | 0.30M / 0.30M |
| 12191 | WorkerPool | None | Linux | lmr_allow_pv_zero_reduction | 8 | 0.55M / 0.54M |
| 12193 | WorkerPool | None | Linux | sf_fail_medium | 8 | 0.48M / 0.49M |
| 12194 | WorkerPool | None | Linux | cleanup_continuation_history | 8 | 0.26M / 0.26M |
| 12195 | WorkerPool | None | Linux | cleanup_continuation_history | 8 | 0.26M / 0.26M |
| 12196 | WorkerPool | None | Linux | sf_fail_medium | 8 | 0.50M / 0.51M |
| 12197 | WorkerPool | None | Linux | cleanup_continuation_history | 8 | 0.33M / 0.33M |
| 12198 | WorkerPool | None | Linux | cleanup_continuation_history | 8 | 0.30M / 0.30M |
| 12205 | Kieren | None | Linux | sf_fail_medium | 8 | 1.32M / 1.28M |
| 12206 | Kieren | None | Linux | lmr_allow_pv_zero_reduction | 8 | 1.24M / 1.23M |
| 12207 | Kieren | None | Linux | sf_fail_medium | 8 | 1.30M / 1.29M |
| 12208 | Kieren | None | Linux | sf_fail_medium | 8 | 1.24M / 1.20M |
| 12209 | Kieren | None | Linux | sf_fail_medium | 8 | 1.17M / 1.15M |
| 12211 | Kieren | None | Linux | sf_fail_medium | 8 | 1.26M / 1.26M |
| 12212 | WorkerPool | None | Linux | lmr_allow_pv_zero_reduction | 8 | 0.62M / 0.62M |