Struct GpuSolverProductionMaxSatReport 

pub struct GpuSolverProductionMaxSatReport {
    pub candidate_evidence_records: u64,
    pub optimum_score: u64,
    pub candidates_checked: u64,
    pub satisfiable_candidates: u64,
    pub unsat_candidates_pruned: u64,
    pub gpu_cdcl_candidate_encodes: u64,
    pub gpu_cdcl_candidate_solves: u64,
    pub frontier_upper_bound_certificates: u64,
}

Summary of one bounded GPU-backed MaxSAT production adapter run.

Fields

candidate_evidence_records: u64

Number of accepted GPU epistemic candidate evidence records consumed.

optimum_score: u64

Best score among GPU-certified satisfiable candidates.

candidates_checked: u64

Number of candidate CNFs checked.

satisfiable_candidates: u64

Number of GPU-certified satisfiable candidates eligible for scoring.

unsat_candidates_pruned: u64

Number of GPU-certified UNSAT candidates pruned from scoring.

gpu_cdcl_candidate_encodes: u64

Number of weighted MaxSAT selections encoded into GPU CNF candidates.

gpu_cdcl_candidate_solves: u64

Number of candidate solves dispatched through GPU CDCL.

frontier_upper_bound_certificates: u64

Number of encoded weighted frontiers with a certified optimum upper bound.

Trait Implementations

impl Clone for GpuSolverProductionMaxSatReport

fn clone(&self) -> GpuSolverProductionMaxSatReport

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for GpuSolverProductionMaxSatReport

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for GpuSolverProductionMaxSatReport

fn default() -> GpuSolverProductionMaxSatReport

Returns the “default value” for a type.

impl PartialEq for GpuSolverProductionMaxSatReport

fn eq(&self, other: &GpuSolverProductionMaxSatReport) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for GpuSolverProductionMaxSatReport

impl Eq for GpuSolverProductionMaxSatReport

impl StructuralPartialEq for GpuSolverProductionMaxSatReport