Struct MBQIStats 

pub struct MBQIStats {
    pub num_quantifiers: usize,
    pub total_instantiations: usize,
    pub max_instantiations: usize,
    pub unique_instantiations: usize,
    pub num_checks: usize,
    pub num_completions: usize,
    pub num_counterexamples: usize,
    pub num_conflicts: usize,
    pub total_time_us: u64,
    pub completion_time_us: u64,
    pub cex_search_time_us: u64,
}

Statistics about MBQI

Fields

num_quantifiers: usize

Number of tracked quantifiers

total_instantiations: usize

Total instantiations generated

max_instantiations: usize

Maximum allowed instantiations

unique_instantiations: usize

Unique instantiations (after deduplication)

num_checks: usize

Number of MBQI check calls

num_completions: usize

Number of successful model completions

num_counterexamples: usize

Number of counterexamples found

num_conflicts: usize

Number of conflicts generated

total_time_us: u64

Total time spent in MBQI (microseconds)

completion_time_us: u64

Time spent in model completion (microseconds)

cex_search_time_us: u64

Time spent in counterexample search (microseconds)

Implementations

impl MBQIStats

pub fn new() -> Self

Create new empty statistics

pub fn reset(&mut self)

Reset all statistics

pub fn avg_instantiations_per_check(&self) -> f64

Get average instantiations per check

pub fn avg_time_per_check_us(&self) -> f64

Get average time per check (microseconds)

Trait Implementations

impl Clone for MBQIStats

fn clone(&self) -> MBQIStats

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MBQIStats

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

Formats the value using the given formatter.

impl Default for MBQIStats

fn default() -> MBQIStats

Returns the “default value” for a type.

impl Display for MBQIStats

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

Formats the value using the given formatter.