Unit Test Results

Package org.sat4j.minisat.constraints

Classes

Name	Tests	Errors	Failures	Time(s)
CounterCardConstrOnRandomCardProblemsTest	32	0	1	319.358
CounterPBConstrOnRandomCardProblemsTest	32	0	1	361.331
CounterPBConstrWithCBClauseCardConstrLearningTest	53	0	0	66.341
CounterPBConstrWithClauseAtLeastConstrLearningTest	53	0	0	58.728
CounterPBConstrWithClauseCardConstrLearningTest	53	0	0	60.586
CounterPBConstrWithClauseLearningTest	53	0	21	6430.657
CounterPBConstrWithPBConstrLearningTest	53	0	0	85.899
CounterPBWithClauseCardConstrLearningReduceToClauseTest	53	0	0	60.874
LitTest	5	0	0	0.041
MyCounterCardConstrOnRandomCardProblemsTest	32	0	1	318.994
PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest	53	0	0	344.844
PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest	53	0	0	75.903
PuebloWatchedPBConstrOnRandomCardProblemsTest	32	0	1	339.930
PuebloWatchedPBConstrWithClauseLearningTest	53	0	21	6425.776
PuebloWatchedPBConstrWithPBConstrLearningTest	53	0	0	62.212
WatchedCardConstrOnRandomCardProblemsTest	32	0	1	318.882
WatchedPBConstrOnRandomCardProblemsTest	32	0	1	341.263
WatchedPBConstrWithClauseLearningTest	53	0	21	6430.103
WatchedPBConstrWithPBConstrLearningTest	53	0	0	83.197