Loading...
Class Coverage    
AAGReader AAGReader 0.0 (0%)
AIGReader AIGReader 0.0 (0%)
ASolverFactory ASolverFactory 0.9 (90%)
AbstractAcceptanceTestCase AbstractAcceptanceTestCase 0.9411765 (94,1%)
AbstractCardinalityDataStructure AbstractCardinalityDataStructure 0.8780488 (87,8%)
AbstractDataStructureFactory AbstractDataStructureFactory 0.61538464 (61,5%)
AbstractLauncher AbstractLauncher 0.0 (0%)
AbstractLearning AbstractLearning 0.9230769 (92,3%)
AbstractOptimizationLauncher AbstractOptimizationLauncher 0.0 (0%)
AbstractPBClauseCardConstrDataStructure AbstractPBClauseCardConstrDataStructure 0.8979592 (89,8%)
AbstractPBDataStructureFactory AbstractPBDataStructureFactory 0.7619048 (76,2%)
AbstractSelectorVariablesDecorator AbstractSelectorVariablesDecorator 0.0 (0%)
ActiveLearning ActiveLearning 0.76 (76%)
ActivityComparator ActivityComparator 1.0 (100%)
AllDiff AllDiff 0.0 (0%)
AllTests AllTests 0.0 (0%)
AllTests AllTests 0.0 (0%)
AllTests AllTests 0.0 (0%)
ArminRestarts ArminRestarts 0.88235295 (88,2%)
AtLeast AtLeast 0.67741936 (67,7%)
AtLeastPB AtLeastPB 0.6041667 (60,4%)
BessiereSupports BessiereSupports 0.0 (0%)
BinaryClauses BinaryClauses 0.48333332 (48,3%)
BinarySupportEncoding BinarySupportEncoding 0.0 (0%)
CBClause CBClause 0.6831683 (68,3%)
CSPExtSupportReader CSPExtSupportReader 0.0 (0%)
CSPLauncher CSPLauncher 0.0 (0%)
CSPReader CSPReader 0.0 (0%)
CSPSupportReader CSPSupportReader 0.0 (0%)
CardDimacsReader CardDimacsReader 0.0 (0%)
CardinalityDataStructure CardinalityDataStructure 0.6666667 (66,7%)
CardinalityDataStructureYanMax CardinalityDataStructureYanMax 0.6666667 (66,7%)
CardinalityDataStructureYanMin CardinalityDataStructureYanMin 0.6666667 (66,7%)
ClausalDataStructureCB ClausalDataStructureCB 1.0 (100%)
ClausalDataStructureCBWL ClausalDataStructureCBWL 0.8181818 (81,8%)
ClausalDataStructureWL ClausalDataStructureWL 0.18181819 (18,2%)
ConflictMap ConflictMap 0.84917355 (84,9%)
ConflictMapCardinality ConflictMapCardinality 0.0 (0%)
ConflictMapClause ConflictMapClause 0.9310345 (93,1%)
ConflictMapMerging ConflictMapMerging 0.65217394 (65,2%)
ConflictTimer ConflictTimer 0.8333333 (83,3%)
Constant Constant 0.0 (0%)
ContradictionException ContradictionException 0.5 (50%)
CounterPBConstrClauseImpliedWithClauseCardConstrLearning CounterPBConstrClauseImpliedWithClauseCardConstrLearning 0.0 (0%)
DecisionUIP DecisionUIP 0.6666667 (66,7%)
DefaultComparator DefaultComparator 1.0 (100%)
DefaultWLClause DefaultWLClause 0.96428573 (96,4%)
DimacsArrayReader DimacsArrayReader 0.0 (0%)
DimacsArrayToDimacsConverter DimacsArrayToDimacsConverter 0.0 (0%)
DimacsOutputSolver DimacsOutputSolver 0.30208334 (30,2%)
DimacsReader DimacsReader 0.0 (0%)
DirectEncoding DirectEncoding 0.0 (0%)
DotSearchListener DotSearchListener 0.0 (0%)
EnumeratedDomain EnumeratedDomain 0.0 (0%)
ExitCode ExitCode 0.0 (0%)
ExtendedDimacsArrayReader ExtendedDimacsArrayReader 0.0 (0%)
ExtendedDimacsArrayToDimacsConverter ExtendedDimacsArrayToDimacsConverter 0.0 (0%)
ExtendedDimacsReader ExtendedDimacsReader 0.0 (0%)
FirstUIP FirstUIP 0.75 (75%)
FixedLengthLearning FixedLengthLearning 0.33333334 (33,3%)
GateTranslator GateTranslator 0.0 (0%)
GeneralizedSupportEncoding GeneralizedSupportEncoding 0.0 (0%)
GenericM2Test GenericM2Test 1.0 (100%)
GenericOptLauncher GenericOptLauncher 0.0 (0%)
GentSupports GentSupports 0.0 (0%)
GoodOPBReader GoodOPBReader 0.6903226 (69%)
Heap Heap 0.83116883 (83,1%)
InstanceReader InstanceReader 0.36363637 (36,4%)
IntQueue IntQueue 0.5 (50%)
JWOrder JWOrder 0.925 (92,5%)
Lanceur Lanceur 0.0 (0%)
LanceurPseudo2005 LanceurPseudo2005 0.0 (0%)
LanceurPseudo2007 LanceurPseudo2007 0.0 (0%)
Lbool Lbool 1.0 (100%)
LearntWLClause LearntWLClause 0.9583333 (95,8%)
LecteurDimacs LecteurDimacs 0.7755102 (77,6%)
LimitedLearning LimitedLearning 0.8181818 (81,8%)
LiteralsUtils LiteralsUtils 0.71428573 (71,4%)
Lits Lits 0.647541 (64,8%)
Lits2 Lits2 1.0 (100%)
Lits23 Lits23 0.90909094 (90,9%)
LubyRestarts LubyRestarts 0.83870965 (83,9%)
MapPb MapPb 0.82312924 (82,3%)
MarkableLits MarkableLits 0.9583333 (95,8%)
MaxSatDecorator MaxSatDecorator 0.0 (0%)
MaxSatLauncher MaxSatLauncher 0.0 (0%)
MaxWatchCard MaxWatchCard 0.48387095 (48,4%)
MaxWatchPb MaxWatchPb 0.6971831 (69,7%)
Messages Messages 0.0 (0%)
MinCostDecorator MinCostDecorator 0.0 (0%)
MinOneDecorator MinOneDecorator 0.0 (0%)
MinWatchCard MinWatchCard 0.62857145 (62,9%)
MinWatchCardPB MinWatchCardPB 0.6 (60%)
MinWatchPb MinWatchPb 0.7582418 (75,8%)
MiniSATLearning MiniSATLearning 0.5 (50%)
MiniSATRestarts MiniSATRestarts 0.7777778 (77,8%)
Minimal4CardinalityModel Minimal4CardinalityModel 0.9230769 (92,3%)
Minimal4InclusionModel Minimal4InclusionModel 0.8965517 (89,7%)
MixableCBClause MixableCBClause 0.8181818 (81,8%)
MixableCBClausePB MixableCBClausePB 0.55263156 (55,3%)
MixedDataStructureDaniel MixedDataStructureDaniel 1.0 (100%)
MixedDataStructureDanielCBWL MixedDataStructureDanielCBWL 0.71428573 (71,4%)
MixedDataStructureWithBinary MixedDataStructureWithBinary 1.0 (100%)
MixedDataStructureWithBinaryAndTernary MixedDataStructureWithBinaryAndTernary 1.0 (100%)
ModelIterator ModelIterator 0.53571427 (53,6%)
MoreThanSAT MoreThanSAT 0.0 (0%)
MyOrder MyOrder 0.90909094 (90,9%)
NoLearningButHeuristics NoLearningButHeuristics 1.0 (100%)
NoLearningNoHeuristics NoLearningNoHeuristics 0.0 (0%)
Nogoods Nogoods 0.0 (0%)
NullSearchListener NullSearchListener 0.8181818 (81,8%)
OPBReader2005 OPBReader2005 0.0 (0%)
OPBReader2006 OPBReader2006 0.0 (0%)
OPBReader2007 OPBReader2007 0.0 (0%)
ObjectiveFunction ObjectiveFunction 0.0 (0%)
OriginalWLClause OriginalWLClause 0.85714287 (85,7%)
PBMaxCBClauseCardConstrDataStructure PBMaxCBClauseCardConstrDataStructure 1.0 (100%)
PBMaxClauseAtLeastConstrDataStructure PBMaxClauseAtLeastConstrDataStructure 1.0 (100%)
PBMaxClauseCardConstrDataStructure PBMaxClauseCardConstrDataStructure 0.6666667 (66,7%)
PBMaxDataStructure PBMaxDataStructure 0.75 (75%)
PBMinClauseCardConstrDataStructure PBMinClauseCardConstrDataStructure 0.0 (0%)
PBMinDataStructure PBMinDataStructure 0.75 (75%)
PBSolver PBSolver 0.74242425 (74,2%)
PBSolverClause PBSolverClause 0.6666667 (66,7%)
PBSolverMerging PBSolverMerging 0.6666667 (66,7%)
PBSolverWithImpliedClause PBSolverWithImpliedClause 0.1 (10%)
ParseFormatException ParseFormatException 0.0 (0%)
Predicate Predicate 0.0 (0%)
PseudoOptDecorator PseudoOptDecorator 0.0 (0%)
PuebloMinWatchPb PuebloMinWatchPb 0.7241379 (72,4%)
PuebloPBMinClauseAtLeastConstrDataStructure PuebloPBMinClauseAtLeastConstrDataStructure 1.0 (100%)
PuebloPBMinClauseCardConstrDataStructure PuebloPBMinClauseCardConstrDataStructure 0.85714287 (85,7%)
PuebloPBMinDataStructure PuebloPBMinDataStructure 0.75 (75%)
PureOrder PureOrder 0.84615386 (84,6%)
RangeDomain RangeDomain 0.7916667 (79,2%)
Reader Reader 0.5555556 (55,6%)
RemiUtils RemiUtils 0.0 (0%)
ResultCode ResultCode 0.0 (0%)
ResultsManager ResultsManager 0.0 (0%)
ReturnCounterStub ReturnCounterStub 0.5 (50%)
SearchParams SearchParams 0.46341464 (46,3%)
SingleSolutionDetector SingleSolutionDetector 0.8888889 (88,9%)
SingletonDomain SingletonDomain 0.0 (0%)
SolutionCounter SolutionCounter 0.0 (0%)
Solver Solver 0.7250384 (72,5%)
SolverDecorator SolverDecorator 0.32142857 (32,1%)
SolverFactory SolverFactory 0.97959185 (98%)
SolverStats SolverStats 0.3888889 (38,9%)
Supports Supports 0.0 (0%)
TernaryClauses TernaryClauses 0.6933333 (69,3%)
TextOutputListener TextOutputListener 0.0 (0%)
TimeoutException TimeoutException 0.25 (25%)
ValuedLit ValuedLit 0.33333334 (33,3%)
Var Var 0.0 (0%)
VarOrder VarOrder 0.6722689 (67,2%)
VarOrderHeap VarOrderHeap 0.71590906 (71,6%)
VarOrderHeapObjective VarOrderHeapObjective 0.38235295 (38,2%)
VarOrderHeapRsat VarOrderHeapRsat 0.8181818 (81,8%)
Vec Vec 0.75 (75%)
VecInt VecInt 0.58766234 (58,8%)
WLClause WLClause 0.66412216 (66,4%)
WLClausePB WLClausePB 0.6333333 (63,3%)
WalshSupports WalshSupports 0.0 (0%)
WatchPb WatchPb 0.6062718 (60,6%)
WeightedMaxSatDecorator WeightedMaxSatDecorator 0.0 (0%)
XMLCSPReader XMLCSPReader 0.0 (0%)