TestBigList
A stress test that recursively builds a list of BigListOptions.SIZE elements (via a hand-written biglist/2 predicate) and checks the resulting list is correct, to catch performance regressions or stack-depth issues that only manifest on deep/large resolutions. Shared by every Solver implementation via the TestBigList.prototype(solverFactory) factory (see TestClassicBigList in :solve-classic for a concrete usage). BigListOptions.SIZE is tuned per platform (smaller on JS, where recursion is costlier).
Properties
A long test max duration, four times mediumDuration; used for queries involving deeper search or recursion.
A medium test max duration, twice shortDuration; used for queries involving a handful of resolution steps.
A short test max duration, used for queries expected to resolve almost immediately.