Interface: SatSolverStatsDto

@kortexya/reasoninglayer / Sat / SatSolverStatsDto

Interface: SatSolverStatsDto

Defined in: src/types/sat.ts:43

CDCL solver statistics reported for every SAT solve, whatever the verdict.

Remarks

Counters are cumulative for the single (stateless) solver instance that served the request.

Example

const stats: SatSolverStatsDto = {
  conflicts: 12,
  decisions: 30,
  deletedClauses: 0,
  learnedClauses: 12,
  propagations: 145,
  restarts: 1,
};

Properties

conflicts

conflicts: number

Defined in: src/types/sat.ts:45

Number of conflicts encountered and analysed.

decisions

decisions: number

Defined in: src/types/sat.ts:47

Number of branching decisions made.

deletedClauses

deletedClauses: number

Defined in: src/types/sat.ts:49

Number of learned clauses deleted during database reduction.

learnedClauses

learnedClauses: number

Defined in: src/types/sat.ts:51

Number of learned clauses generated.

propagations

propagations: number

Defined in: src/types/sat.ts:53

Number of unit propagations performed.

restarts

restarts: number

Defined in: src/types/sat.ts:55

Number of restarts executed.