Non-deterministic test failures for `OR`/`XOR` tests

[maxkratz]

Sometimes, one of the many OR/XOR tests fails in a non-deterministic way. Re-running the tests let them pass.
(IIRC, the configured solver is irrelevant for this issue.)