The current pipeline does not retain any information pertaining to shared clauses across worlds, and is therefore lost after the refining step. For future replay/repair solutions, this information is required, so we need to retain the shared model.
The current pipeline does not retain any information pertaining to shared clauses across worlds, and is therefore lost after the refining step.
For future replay/repair solutions, this information is required, so we need to retain the shared model.