| 1762484171 | World | decouple-potential-singularity | 40.0+0.40 | STOP |
| 1762481981 | World | nmp-decouple-2 | 8.0+0.08 | DELETE |
| 1762481278 | World | main | N=25000 | CREATE P=0 TP=1000 |
| 1762481268 | World | main | N=25000 | DELETE |
| 1762480594 | World | decouple-potential-singularity | 40.0+0.40 | RESTART |
| 1762480592 | World | decouple-potential-singularity | 40.0+0.40 | MODIFY |
| 1762480586 | World | main | N=25000 | CREATE P=1 TP=1000 |
| 1762480573 | World | nmp-decouple-2 | 8.0+0.08 | CREATE P=0 TP=1000 |
| 1762480351 | World | decouple-potential-singularity | 40.0+0.40 | STOP |
| 1762480348 | World | main | N=25000 | CREATE P=0 TP=1000 |
| 1762480225 | World | decouple-potential-singularity | 40.0+0.40 | MODIFY |
| 1762474432 | World | main | 8.0+0.08 | STOP |
| 1762447325 | World | main | 8.0+0.08 | MODIFY |
| 1762447316 | World | main | 8.0+0.08 | MODIFY |
| 1762430569 | World | simplify-doshallower | 8.0+0.08 | STOP |
| 1762430565 | World | qs-dive-lmr-reduction | 8.0+0.08 | STOP |
| 1762429145 | World | reuse-recapture-sq-qs | 8.0+0.08 | CREATE P=0 TP=1000 |
| 1762426724 | World | decouple-potential-singularity | 40.0+0.40 | CREATE P=-1 TP=1000 |
| 1762426685 | World | fds-simplify-low-impact-rules | 40.0+0.40 | CREATE P=-1 TP=1000 |
| 1762426588 | World | fds-simplify-low-impact-rules | 40.0+0.40 | DELETE |
| 1762426584 | World | fds-simplify-low-impact-rules | 40.0+0.40 | CREATE P=-1 TP=1000 |
| 1762426560 | World | nmp-hs | 8.0+0.08 | CREATE P=0 TP=1000 |
| 1762422115 | World | decouple-potential-singularity | 8.0+0.08 | MODIFY |
| 1762422026 | World | decouple-potential-singularity | 8.0+0.08 | CREATE P=0 TP=1000 |
| 1762419767 | World | fds-hs-red | 8.0+0.08 | DELETE |