Issue about the experimental environment configuration

[bossjoker1]

When I was trying to reproduce some of the cases mentioned in backtesting.md, I found that the execution time of certain cases was significantly different from what was stated in the file. For some cases, the ityfuzz run for a day but still failed to produce the expected result. So I would like to ask about the specific experimental environment configuration required to obtain those results, or whether it needs a particular Oracle. Alternatively, is it due to the randomness of the seed that makes it difficult to consistently reproduce the results?