The issue with that in terms of the simulation argument, is that the simulation argument doesn't require a complete simulation in either space or time.

It also doesn't require a super-universe with identical properties and constraints.

There's no guarantee their logic is the same as our logic. It needs to be able to simulate our logic, but that doesn't mean it's defined or bound by it.