Skip to main content

GpuSolverProductionMaxSatScheduleReport

Struct GpuSolverProductionMaxSatScheduleReport

pub struct GpuSolverProductionMaxSatScheduleReport {Show 14 fields
    pub candidate_evidence_records: u64,
    pub jobs: u64,
    pub candidate_set_jobs: u64,
    pub search_jobs: u64,
    pub encoded_search_jobs: u64,
    pub unknown_jobs: u64,
    pub timeout_jobs: 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,
}

Expand description

Summary of a heterogeneous GPU-backed MaxSAT scheduler batch.

Fields§

§candidate_evidence_records: u64

Number of accepted GPU epistemic candidate evidence records consumed.

§jobs: u64

Number of scheduled jobs executed.

§candidate_set_jobs: u64

Number of weighted candidate-set jobs.

§search_jobs: u64

Number of search-pruning jobs.

§encoded_search_jobs: u64

Number of weighted soft-clause encoding plus search jobs.

§unknown_jobs: u64

Number of UNKNOWN statuses propagated without CPU search.

§timeout_jobs: u64

Number of TIMEOUT statuses propagated without CPU search.

§optimum_score: u64

Best optimum score observed across all GPU-certified scheduled MaxSAT jobs.

§candidates_checked: u64

Number of candidate CNFs checked across scheduled MaxSAT jobs.

§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 GpuSolverProductionMaxSatScheduleReport

fn clone(&self) -> GpuSolverProductionMaxSatScheduleReport

Returns a duplicate of the value. Read more

1.0.0 · Source§

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

Performs copy-assignment from source. Read more

impl Debug for GpuSolverProductionMaxSatScheduleReport

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

Formats the value using the given formatter. Read more

impl Default for GpuSolverProductionMaxSatScheduleReport

fn default() -> GpuSolverProductionMaxSatScheduleReport

Returns the “default value” for a type. Read more

impl PartialEq for GpuSolverProductionMaxSatScheduleReport

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

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

1.0.0 · Source§

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 GpuSolverProductionMaxSatScheduleReport

impl Eq for GpuSolverProductionMaxSatScheduleReport

impl StructuralPartialEq for GpuSolverProductionMaxSatScheduleReport

Auto Trait Implementations§

Blanket Implementations§

impl<T> Any for T
where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T
where T: ?Sized,

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> CloneToUninit for T
where T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)

Performs copy-assignment from self to dest. Read more

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T, U> Into<U> for T
where U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T> ToOwned for T
where T: Clone,

type Owned = T

The resulting type after obtaining ownership.

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more

impl<T, U> TryFrom<U> for T
where U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.

impl<T> Allocation for T
where T: RefUnwindSafe + Send + Sync,