Clover Test Report
Coverage timestamp: mer. juin 27 2007 07:27:16 CEST
 
Test
testncirc63 0% 1 PASS 0.721
 
    testncirc63.
org.sat4j.minisat.constraints.PBMaxClauseAtLeastConstrDataStructure   org.sat4j.minisat.constraints.PBMaxClauseAtLeastConstrDataStructure 0.0 1.0 100%
org.sat4j.minisat.constraints.PuebloPBMinClauseAtLeastConstrDataStructure   org.sat4j.minisat.constraints.PuebloPBMinClauseAtLeastConstrDataStructure 0.0 1.0 100%
org.sat4j.minisat.constraints.cnf.LearntWLClause   org.sat4j.minisat.constraints.cnf.LearntWLClause 0.0 0.9583333 95,8%
org.sat4j.minisat.constraints.pb.ConflictMapClause   org.sat4j.minisat.constraints.pb.ConflictMapClause 0.0 0.9310345 93,1%
org.sat4j.minisat.core.NullSearchListener   org.sat4j.minisat.core.NullSearchListener 0.0 0.90909094 90,9%
org.sat4j.minisat.constraints.cnf.DefaultWLClause   org.sat4j.minisat.constraints.cnf.DefaultWLClause 0.0 0.89285713 89,3%
org.sat4j.minisat.core.Heap   org.sat4j.minisat.core.Heap 0.0 0.8701299 87%
org.sat4j.minisat.constraints.PuebloPBMinClauseCardConstrDataStructure   org.sat4j.minisat.constraints.PuebloPBMinClauseCardConstrDataStructure 0.0 0.85714287 85,7%
org.sat4j.minisat.constraints.pb.ConflictMap   org.sat4j.minisat.constraints.pb.ConflictMap 0.0 0.82438016 82,4%
org.sat4j.minisat.constraints.AbstractPBClauseCardConstrDataStructure   org.sat4j.minisat.constraints.AbstractPBClauseCardConstrDataStructure 0.0 0.81632656 81,6%
org.sat4j.minisat.constraints.pb.MapPb   org.sat4j.minisat.constraints.pb.MapPb 0.0 0.79591835 79,6%
org.sat4j.minisat.restarts.MiniSATRestarts   org.sat4j.minisat.restarts.MiniSATRestarts 0.0 0.7777778 77,8%
org.sat4j.minisat.constraints.pb.MinWatchPb   org.sat4j.minisat.constraints.pb.MinWatchPb 0.0 0.75457877 75,5%
org.sat4j.minisat.uip.FirstUIP   org.sat4j.minisat.uip.FirstUIP 0.0 0.75 75%
org.sat4j.minisat.constraints.pb.PuebloMinWatchPb   org.sat4j.minisat.constraints.pb.PuebloMinWatchPb 0.0 0.6896552 69%
org.sat4j.minisat.constraints.cnf.Lits   org.sat4j.minisat.constraints.cnf.Lits 0.0 0.6803279 68%
org.sat4j.minisat.constraints.PBMaxCBClauseCardConstrDataStructure   org.sat4j.minisat.constraints.PBMaxCBClauseCardConstrDataStructure 0.0 0.6666667 66,7%
org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure   org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure 0.0 0.6666667 66,7%
org.sat4j.minisat.constraints.pb.MaxWatchPb   org.sat4j.minisat.constraints.pb.MaxWatchPb 0.0 0.6619718 66,2%
org.sat4j.minisat.constraints.pb.WLClausePB   org.sat4j.minisat.constraints.pb.WLClausePB 0.0 0.6333333 63,3%
org.sat4j.minisat.learning.AbstractLearning   org.sat4j.minisat.learning.AbstractLearning 0.0 0.61538464 61,5%
org.sat4j.minisat.orders.VarOrderHeap   org.sat4j.minisat.orders.VarOrderHeap 0.0 0.6136364 61,4%
org.sat4j.minisat.constraints.pb.AtLeastPB   org.sat4j.minisat.constraints.pb.AtLeastPB 0.0 0.6041667 60,4%
org.sat4j.minisat.constraints.pb.WatchPb   org.sat4j.minisat.constraints.pb.WatchPb 0.0 0.60278744 60,3%
org.sat4j.minisat.constraints.pb.MinWatchCardPB   org.sat4j.minisat.constraints.pb.MinWatchCardPB 0.0 0.6 60%
org.sat4j.minisat.constraints.pb.PBSolver   org.sat4j.minisat.constraints.pb.PBSolver 0.0 0.59090906 59,1%
org.sat4j.minisat.core.ConflictTimer   org.sat4j.minisat.core.ConflictTimer 0.0 0.5833333 58,3%
org.sat4j.reader.GoodOPBReader   org.sat4j.reader.GoodOPBReader 0.0 0.5548387 55,5%
org.sat4j.reader.Reader   org.sat4j.reader.Reader 0.0 0.5555556 55,6%
org.sat4j.minisat.constraints.pb.MixableCBClausePB   org.sat4j.minisat.constraints.pb.MixableCBClausePB 0.0 0.55263156 55,3%
org.sat4j.minisat.constraints.cnf.WLClause   org.sat4j.minisat.constraints.cnf.WLClause 0.0 0.5496183 55%
org.sat4j.minisat.constraints.AbstractDataStructureFactory   org.sat4j.minisat.constraints.AbstractDataStructureFactory 0.0 0.53846157 53,8%
org.sat4j.minisat.constraints.card.MinWatchCard   org.sat4j.minisat.constraints.card.MinWatchCard 0.0 0.50714284 50,7%
org.sat4j.minisat.constraints.PBMaxDataStructure   org.sat4j.minisat.constraints.PBMaxDataStructure 0.0 0.5 50%
org.sat4j.minisat.constraints.PBMinDataStructure   org.sat4j.minisat.constraints.PBMinDataStructure 0.0 0.5 50%
org.sat4j.minisat.constraints.PuebloPBMinDataStructure   org.sat4j.minisat.constraints.PuebloPBMinDataStructure 0.0 0.5 50%
org.sat4j.core.VecInt   org.sat4j.core.VecInt 0.0 0.48701298 48,7%
org.sat4j.minisat.core.Solver   org.sat4j.minisat.core.Solver 0.0 0.4623656 46,2%
org.sat4j.minisat.constraints.cnf.MixableCBClause   org.sat4j.minisat.constraints.cnf.MixableCBClause 0.0 0.45454547 45,5%
org.sat4j.minisat.constraints.cnf.CBClause   org.sat4j.minisat.constraints.cnf.CBClause 0.0 0.43564355 43,6%
org.sat4j.minisat.core.SolverStats   org.sat4j.minisat.core.SolverStats 0.0 0.3888889 38,9%
org.sat4j.minisat.constraints.card.AtLeast   org.sat4j.minisat.constraints.card.AtLeast 0.0 0.36290324 36,3%
org.sat4j.minisat.constraints.pb.PBSolverClause   org.sat4j.minisat.constraints.pb.PBSolverClause 0.0 0.33333334 33,3%
org.sat4j.minisat.learning.MiniSATLearning   org.sat4j.minisat.learning.MiniSATLearning 0.0 0.3 30%
org.sat4j.minisat.AbstractAcceptanceTestCase   org.sat4j.minisat.AbstractAcceptanceTestCase 0.0 0.29411766 29,4%
org.sat4j.minisat.constraints.AbstractPBDataStructureFactory   org.sat4j.minisat.constraints.AbstractPBDataStructureFactory 0.0 0.2857143 28,6%
org.sat4j.reader.InstanceReader   org.sat4j.reader.InstanceReader 0.0 0.23484848 23,5%
org.sat4j.minisat.core.SearchParams   org.sat4j.minisat.core.SearchParams 0.0 0.19512194 19,5%
org.sat4j.core.Vec   org.sat4j.core.Vec 0.0 0.1762295 17,6%