| 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.49M / 0.48M |
| 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.51M / 0.49M |
| 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.31M / 1.29M |
| 12206 | Kieren | None | Linux | lmr_allow_pv_zero_reduction | 8 | 1.25M / 1.23M |
| 12207 | Kieren | None | Linux | sf_fail_medium | 8 | 1.08M / 1.05M |
| 12208 | Kieren | None | Linux | sf_fail_medium | 8 | 1.30M / 1.28M |
| 12209 | Kieren | None | Linux | sf_fail_medium | 8 | 1.16M / 1.16M |
| 12211 | Kieren | None | Linux | sf_fail_medium | 8 | 1.26M / 1.26M |
| 12212 | WorkerPool | None | Linux | lmr_allow_pv_zero_reduction | 8 | 0.63M / 0.62M |