| 1772193415 | World | main | 5.0+0.05 | MODIFY |
| 1772193408 | World | main | 5.0+0.05 | MODIFY |
| 1772193380 | World | main | 5.0+0.05 | STOP |
| 1772191438 | World | main | 5.0+0.05 | CREATE P=0 TP=1000 |
| 1772191418 | World | main | 5.0+0.05 | STOP |
| 1772188418 | Cj5716 | lmr-ext-tweak2 | 40.0+0.40 | CREATE P=0 TP=1000 |
| 1772187695 | World | main | 5.0+0.05 | CREATE P=0 TP=1000 |
| 1772187690 | World | main | 5.0+0.05 | DELETE |
| 1772187671 | World | main | 5.0+0.05 | DELETE |
| 1772187666 | World | main | 5.0+0.05 | CREATE P=0 TP=1000 |
| 1772187656 | World | main | 8.0+0.08 | DELETE |
| 1772187652 | World | main | 5.0+0.05 | CREATE P=0 TP=1000 |
| 1772187608 | World | main | 8.0+0.08 | CREATE P=0 TP=1000 |
| 1772181341 | World | main | 60.0+0.60 | STOP |
| 1772174088 | Cj5716 | lmr-ext-tweak2 | 8.0+0.08 | CREATE P=0 TP=1000 |
| 1772173967 | Cj5716 | lmr-ext-tweak | 8.0+0.08 | CREATE P=0 TP=1000 |
| 1772173862 | Cj5716 | lmr-bound-reduction | 8.0+0.08 | CREATE P=0 TP=1000 |
| 1772172402 | World | main | 8.0+0.08 | DELETE |
| 1772172031 | World | main | 8.0+0.08 | MODIFY |
| 1772172028 | World | main | 8.0+0.08 | MODIFY |
| 1772171871 | World | main | 8.0+0.08 | CREATE P=1 TP=1000 |
| 1772171485 | World | simplify-pcm-rule | 40.0+0.40 | RESTART |
| 1772171402 | World | simplify-pcm-rule | 40.0+0.40 | STOP |
| 1772171396 | World | simplify-pcm-rule | 40.0+0.40 | MODIFY |
| 1772167917 | World | main | 60.0+0.60 | CREATE P=1 TP=1000 |