Details
-
Improvement
-
Status: Closed
-
Minor
-
Resolution: Fixed
-
None
-
None
-
None
-
New
Description
We need to be careful with disjunctions since scores are not always summed up in the same order, which can result in different sums.