Supported-trace SAT enumeration; all emitted RAFs independently checked
satisfiable: complete, 5 cores, 3 SAT calls from 3 known cores, output 151 bits
unsatisfiable: complete, 3 cores, 1 SAT calls from 3 known cores, output 91 bits
Completion trusts the PySAT backend's UNSAT answer. Solver-call count is not a runtime guarantee.