| 1777315557 | Enfmarinho | tuned2 | 16.0+0.16 | MODIFY |
| 1777315552 | Enfmarinho | tuned2 | 40.0+0.40 | CREATE P=5 TP=1000 |
| 1777315503 | Enfmarinho | negative_extension | 16.0+0.16 | MODIFY |
| 1777315500 | Enfmarinho | nmp_reduction_simplification | 16.0+0.16 | MODIFY |
| 1777315497 | Enfmarinho | nmp_reduction_simplification | 16.0+0.16 | MODIFY |
| 1777313173 | Enfmarinho | tune_lmr | 16.0+0.16 | STOP |
| 1777313153 | Enfmarinho | tuned2 | 16.0+0.16 | CREATE P=10 TP=1000 |
| 1777312386 | Enfmarinho | negative_extension | 16.0+0.16 | RESTART |
| 1777312309 | Enfmarinho | negative_extension | 16.0+0.16 | STOP |
| 1777311752 | Enfmarinho | nmp_reduction_simplification | 16.0+0.16 | RESTART |
| 1777311728 | Enfmarinho | tune_lmr | 16.0+0.16 | CREATE P=5 TP=1000 |
| 1777308501 | Enfmarinho | nmp_reduction_simplification | 16.0+0.16 | STOP |
| 1777308498 | Enfmarinho | negative_extension | 16.0+0.16 | MODIFY |
| 1777299920 | Enfmarinho | negative_extension | 16.0+0.16 | RESTART |
| 1777299847 | Enfmarinho | negative_extension | 16.0+0.16 | STOP |
| 1777299741 | Enfmarinho | negative_extension | 16.0+0.16 | RESTART |
| 1777299738 | Enfmarinho | negative_extension | 16.0+0.16 | STOP |
| 1777299734 | Enfmarinho | nmp_reduction_simplification | 16.0+0.16 | CREATE P=2 TP=1000 |
| 1777293591 | Enfmarinho | tune2 | 40.0+0.40 | RESTART |
| 1777293578 | Enfmarinho | tune2 | 40.0+0.40 | STOP |
| 1777293441 | Enfmarinho | negative_extension | 16.0+0.16 | CREATE P=1 TP=1000 |
| 1777293410 | Enfmarinho | negative_extension | 16.0+0.16 | DELETE |
| 1777293002 | Enfmarinho | negative_extension | 16.0+0.16 | CREATE P=1 TP=1000 |
| 1777105733 | Enfmarinho | v6.0.0 | 8.0+0.08 | CREATE P=1 TP=1000 |
| 1777105711 | Enfmarinho | v6.0.0 | 8.0+0.08 | DELETE |