Struct GpuSolverProductionPortfolioReport 

pub struct GpuSolverProductionPortfolioReport {

    pub candidate_evidence_records: u64,
    pub jobs: u64,
    pub sat_jobs: u64,
    pub maxsat_jobs: u64,
    pub unknown_jobs: u64,
    pub timeout_jobs: u64,
    pub maxsat_optimum_scores: u64,
    pub maxsat_candidates_checked: u64,
    pub maxsat_satisfiable_candidates: u64,
    pub maxsat_unsat_candidates_pruned: u64,
    pub maxsat_gpu_cdcl_candidate_encodes: u64,
    pub maxsat_gpu_cdcl_candidate_solves: u64,
    pub maxsat_frontier_upper_bound_certificates: u64,
}

Summary of one bounded GPU SAT/MaxSAT/status-aware portfolio run.

Fields

candidate_evidence_records: u64

Number of accepted GPU epistemic candidate evidence records consumed.

jobs: u64

Number of portfolio jobs executed.

sat_jobs: u64

Number of SAT jobs executed.

maxsat_jobs: u64

Number of MaxSAT jobs executed.

unknown_jobs: u64

Number of portfolio jobs that propagated UNKNOWN without CPU search.

timeout_jobs: u64

Number of portfolio jobs that propagated TIMEOUT without CPU search.

maxsat_optimum_scores: u64

Sum of best MaxSAT scores returned by MaxSAT jobs.

maxsat_candidates_checked: u64

Number of MaxSAT candidate CNFs checked by portfolio jobs.

maxsat_satisfiable_candidates: u64

Number of satisfiable MaxSAT candidate CNFs scored by portfolio jobs.

maxsat_unsat_candidates_pruned: u64

Number of unsatisfiable MaxSAT candidate CNFs pruned by portfolio jobs.

maxsat_gpu_cdcl_candidate_encodes: u64

Number of weighted MaxSAT selections encoded into GPU CNF candidates by portfolio jobs.

maxsat_gpu_cdcl_candidate_solves: u64

Number of MaxSAT candidate solves dispatched through GPU CDCL by portfolio jobs.

maxsat_frontier_upper_bound_certificates: u64

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

Trait Implementations

impl Clone for GpuSolverProductionPortfolioReport

fn clone(&self) -> GpuSolverProductionPortfolioReport

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for GpuSolverProductionPortfolioReport

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

Formats the value using the given formatter.

impl Default for GpuSolverProductionPortfolioReport

fn default() -> GpuSolverProductionPortfolioReport

Returns the “default value” for a type.

impl PartialEq for GpuSolverProductionPortfolioReport

fn eq(&self, other: &GpuSolverProductionPortfolioReport) -> 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 GpuSolverProductionPortfolioReport

impl Eq for GpuSolverProductionPortfolioReport

impl StructuralPartialEq for GpuSolverProductionPortfolioReport