2026-02-09 Mon 21:59:06 No.14019222To be fair in the solver test suite it is about 30-40% faster. But I just realized the problem:
The solver evaluation test suite has minimized test cases where the package universe only contains the packages reachable from the "root" set.
So it contains significantly fewer literals and clauses, and overly benefits from the cache locality because they now get more into paging area.
This also explains why my switch to a newVar() scheme showed no improvements - I always added all packages...
The solver evaluation test suite has minimized test cases where the package universe only contains the packages reachable from the "root" set.
So it contains significantly fewer literals and clauses, and overly benefits from the cache locality because they now get more into paging area.
This also explains why my switch to a newVar() scheme showed no improvements - I always added all packages...