name | method, % | block, % |
---|
lightSolver (): ISolver | 0% (0/1) | 0% (0/2) |
newActiveLearning (): ISolver | 0% (0/1) | 0% (0/27) |
newAdaptiveSolver (): ISolver | 0% (0/1) | 0% (0/5) |
newBackjumping (): ISolver | 0% (0/1) | 0% (0/23) |
newLight (): ISolver | 0% (0/1) | 0% (0/2) |
newMini3SAT (): ISolver | 0% (0/1) | 0% (0/33) |
newMini3SATb (): ISolver | 0% (0/1) | 0% (0/36) |
newMiniCard (): ISolver | 0% (0/1) | 0% (0/5) |
newMiniLearning (): ISolver | 0% (0/1) | 0% (0/3) |
newMiniLearning (DataStructureFactory): ISolver | 0% (0/1) | 0% (0/4) |
newMiniLearning (DataStructureFactory, int): ISolver | 0% (0/1) | 0% (0/22) |
newMiniLearning (int): ISolver | 0% (0/1) | 0% (0/6) |
newMiniLearning2 (): ISolver | 0% (0/1) | 0% (0/5) |
newMiniLearning23 (): ISolver | 0% (0/1) | 0% (0/5) |
newMiniLearning2Heap (): ISolver | 0% (0/1) | 0% (0/5) |
newMiniLearning2NewOrder (): ISolver | 0% (0/1) | 0% (0/8) |
newMiniLearningCB (): ISolver | 0% (0/1) | 0% (0/5) |
newMiniLearningCBWL (): ISolver | 0% (0/1) | 0% (0/5) |
newMiniLearningCBWLPure (): ISolver | 0% (0/1) | 0% (0/8) |
newMiniLearningEZSimp (): ISolver | 0% (0/1) | 0% (0/5) |
newMiniLearningEZSimp (DataStructureFactory): ISolver | 0% (0/1) | 0% (0/26) |
newMiniLearningHeapEZSimpLongRestarts (): ISolver | 0% (0/1) | 0% (0/32) |
newMiniLearningHeapEZSimpNoRestarts (): ISolver | 0% (0/1) | 0% (0/32) |
newMiniLearningPure (): ISolver | 0% (0/1) | 0% (0/8) |
newMiniOPBClauseAtLeastConstrMax (): ISolver | 0% (0/1) | 0% (0/27) |
newMiniOPBClauseAtLeastMinPueblo (): ISolver | 0% (0/1) | 0% (0/27) |
newMiniOPBClauseCardConstrMax (): ISolver | 0% (0/1) | 0% (0/27) |
newMiniOPBClauseCardConstrMaxImplied (): ISolver | 0% (0/1) | 0% (0/27) |
newMiniOPBClauseCardConstrMaxReduceToCard (): ISolver | 0% (0/1) | 0% (0/27) |
newMiniOPBClauseCardConstrMaxReduceToClause (): ISolver | 0% (0/1) | 0% (0/27) |
newMiniOPBClauseCardConstrMaxSpecificOrder (): ISolver | 0% (0/1) | 0% (0/27) |
newMiniOPBClauseCardMin (): ISolver | 0% (0/1) | 0% (0/27) |
newMiniOPBClauseCardMinPueblo (): ISolver | 0% (0/1) | 0% (0/27) |
newMiniOPBCounterBasedClauseCardConstrMax (): ISolver | 0% (0/1) | 0% (0/27) |
newMiniOPBMax (): ISolver | 0% (0/1) | 0% (0/27) |
newMiniOPBMin (): ISolver | 0% (0/1) | 0% (0/27) |
newMiniOPBMinPueblo (): ISolver | 0% (0/1) | 0% (0/27) |
newMiniSAT (): ISolver | 0% (0/1) | 0% (0/5) |
newMiniSAT (DataStructureFactory): ISolver | 0% (0/1) | 0% (0/25) |
newMiniSAT2 (): ISolver | 0% (0/1) | 0% (0/5) |
newMiniSAT23 (): ISolver | 0% (0/1) | 0% (0/5) |
newMiniSAT23Heap (): ISolver | 0% (0/1) | 0% (0/5) |
newMiniSAT2Heap (): ISolver | 0% (0/1) | 0% (0/5) |
newMiniSATHeap (): ISolver | 0% (0/1) | 0% (0/5) |
newMiniSATHeap (DataStructureFactory): ISolver | 0% (0/1) | 0% (0/25) |
newMiniSATHeapEZSimp (): ISolver | 0% (0/1) | 0% (0/9) |
newMiniSATNoRestarts (): ISolver | 0% (0/1) | 0% (0/31) |
newMinimalOPBMax (): ISolver | 0% (0/1) | 0% (0/27) |
newMinimalOPBMin (): ISolver | 0% (0/1) | 0% (0/27) |
newMinimalOPBMinPueblo (): ISolver | 0% (0/1) | 0% (0/27) |
newRelsat (): ISolver | 0% (0/1) | 0% (0/27) |
SolverFactory (): void | 100% (1/1) | 100% (3/3) |
defaultSolver (): ISolver | 100% (1/1) | 100% (2/2) |
instance (): SolverFactory | 100% (1/1) | 100% (8/8) |
newDefault (): ISolver | 100% (1/1) | 100% (2/2) |
newMiniLearning (DataStructureFactory, IOrder): ISolver | 100% (1/1) | 100% (20/20) |
newMiniLearningHeap (): ISolver | 100% (1/1) | 100% (5/5) |
newMiniLearningHeap (DataStructureFactory): ISolver | 100% (1/1) | 100% (6/6) |
newMiniLearningHeapEZSimp (): ISolver | 100% (1/1) | 100% (9/9) |