| 12161 | Kieren | None | Linux | lmr_allow_pv_zero_reduction | 8 | 1.24M / 1.23M |
| 12182 | Kieren | None | Linux | lmr_allow_pv_zero_reduction | 8 | 1.29M / 1.27M |
| 12189 | WorkerPool | None | Linux | lmr_allow_pv_zero_reduction | 8 | 0.63M / 0.62M |
| 12190 | WorkerPool | None | Linux | lmr_allow_pv_zero_reduction | 8 | 0.59M / 0.59M |
| 12191 | WorkerPool | None | Linux | always_lmr_reduce | 8 | 0.55M / 0.55M |
| 12193 | WorkerPool | None | Linux | cleanup_continuation_history | 8 | 0.22M / 0.22M |
| 12194 | WorkerPool | None | Linux | cleanup_continuation_history | 8 | 0.26M / 0.27M |
| 12195 | WorkerPool | None | Linux | cleanup_continuation_history | 8 | 0.27M / 0.26M |
| 12196 | WorkerPool | None | Linux | cleanup_continuation_history | 8 | 0.23M / 0.23M |
| 12197 | WorkerPool | None | Linux | cleanup_continuation_history | 8 | 0.33M / 0.33M |
| 12198 | WorkerPool | None | Linux | always_lmr_reduce | 8 | 0.63M / 0.62M |
| 12201 | Kieren | None | Linux | lmr_allow_pv_zero_reduction | 8 | 1.25M / 1.23M |
| 12205 | Kieren | None | Linux | always_lmr_reduce | 8 | 1.30M / 1.28M |
| 12206 | Kieren | None | Linux | always_lmr_reduce | 8 | 1.23M / 1.22M |
| 12207 | Kieren | None | Linux | lmr_allow_pv_zero_reduction | 8 | 1.31M / 1.30M |
| 12208 | Kieren | None | Linux | always_lmr_reduce | 8 | 1.31M / 1.29M |
| 12209 | Kieren | None | Linux | always_lmr_reduce | 8 | 1.06M / 1.05M |