Clover Test Report

Coverage timestamp: mer. juin 27 2007 07:27:16 CEST

FRAMES NO FRAMES SHOW HELP

Test

Unique Coverage

Status

Time (seconds)

Message

testAim50SAT6

1 PASS

0.034

Target Class

Unique

Coverage contributed by testAim50SAT6.

org.sat4j.minisat.learning.NoLearningButHeuristics org.sat4j.minisat.learning.NoLearningButHeuristics

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.core.NullSearchListener org.sat4j.minisat.core.NullSearchListener

0.0

0.90909094 90,9%

org.sat4j.minisat.core.Heap org.sat4j.minisat.core.Heap

0.0

0.8701299 87%

org.sat4j.minisat.constraints.cnf.OriginalWLClause org.sat4j.minisat.constraints.cnf.OriginalWLClause

0.0

0.85714287 85,7%

org.sat4j.minisat.constraints.cnf.Lits2 org.sat4j.minisat.constraints.cnf.Lits2

0.0

0.84615386 84,6%

org.sat4j.minisat.constraints.MixedDataStructureWithBinary org.sat4j.minisat.constraints.MixedDataStructureWithBinary

0.0

0.8181818 81,8%

org.sat4j.minisat.restarts.MiniSATRestarts org.sat4j.minisat.restarts.MiniSATRestarts

0.0

0.7777778 77,8%

org.sat4j.minisat.orders.JWOrder org.sat4j.minisat.orders.JWOrder

0.0

0.775 77,5%

org.sat4j.reader.LecteurDimacs org.sat4j.reader.LecteurDimacs

0.0

0.76870745 76,9%

org.sat4j.minisat.uip.FirstUIP org.sat4j.minisat.uip.FirstUIP

0.0

0.75 75%

org.sat4j.minisat.constraints.MixedDataStructureWithBinaryAndTernary org.sat4j.minisat.constraints.MixedDataStructureWithBinaryAndTernary

0.0

0.7419355 74,2%

org.sat4j.minisat.constraints.cnf.Lits23 org.sat4j.minisat.constraints.cnf.Lits23

0.0

0.72727275 72,7%

org.sat4j.minisat.constraints.ClausalDataStructureCB org.sat4j.minisat.constraints.ClausalDataStructureCB

0.0

0.71428573 71,4%

org.sat4j.minisat.constraints.cnf.TernaryClauses org.sat4j.minisat.constraints.cnf.TernaryClauses

0.0

0.6933333 69,3%

org.sat4j.minisat.constraints.pb.MinWatchPb org.sat4j.minisat.constraints.pb.MinWatchPb

0.0

0.6923077 69,2%

org.sat4j.minisat.constraints.cnf.Lits org.sat4j.minisat.constraints.cnf.Lits

0.0

0.6885246 68,9%

org.sat4j.minisat.constraints.CardinalityDataStructureYanMin org.sat4j.minisat.constraints.CardinalityDataStructureYanMin

0.0

0.6666667 66,7%

org.sat4j.minisat.constraints.CardinalityDataStructureYanMax org.sat4j.minisat.constraints.CardinalityDataStructureYanMax

0.0

0.6666667 66,7%

org.sat4j.minisat.constraints.CardinalityDataStructure org.sat4j.minisat.constraints.CardinalityDataStructure

0.0

0.6666667 66,7%

org.sat4j.minisat.uip.DecisionUIP org.sat4j.minisat.uip.DecisionUIP

0.0

0.6666667 66,7%

org.sat4j.minisat.constraints.cnf.CBClause org.sat4j.minisat.constraints.cnf.CBClause

0.0

0.6633663 66,3%

org.sat4j.minisat.constraints.pb.MapPb org.sat4j.minisat.constraints.pb.MapPb

0.0

0.6530612 65,3%

org.sat4j.minisat.orders.VarOrder org.sat4j.minisat.orders.VarOrder

0.0

0.64705884 64,7%

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.59090906 59,1%

org.sat4j.minisat.constraints.pb.PBSolver org.sat4j.minisat.constraints.pb.PBSolver

0.0

0.59090906 59,1%

org.sat4j.minisat.constraints.pb.MaxWatchPb org.sat4j.minisat.constraints.pb.MaxWatchPb

0.0

0.58450705 58,5%

org.sat4j.minisat.core.ConflictTimer org.sat4j.minisat.core.ConflictTimer

0.0

0.5833333 58,3%

org.sat4j.minisat.constraints.cnf.WLClause org.sat4j.minisat.constraints.cnf.WLClause

0.0

0.5648855 56,5%

org.sat4j.minisat.constraints.AbstractDataStructureFactory org.sat4j.minisat.constraints.AbstractDataStructureFactory

0.0

0.53846157 53,8%

org.sat4j.minisat.constraints.MixedDataStructureDaniel org.sat4j.minisat.constraints.MixedDataStructureDaniel

0.0

0.53846157 53,8%

org.sat4j.minisat.constraints.PBMaxDataStructure org.sat4j.minisat.constraints.PBMaxDataStructure

0.0

0.5 50%

org.sat4j.minisat.constraints.pb.ConflictMap org.sat4j.minisat.constraints.pb.ConflictMap

0.0

0.5 50%

org.sat4j.minisat.constraints.PBMinDataStructure org.sat4j.minisat.constraints.PBMinDataStructure

0.0

0.5 50%

org.sat4j.minisat.constraints.card.AtLeast org.sat4j.minisat.constraints.card.AtLeast

0.0

0.4919355 49,2%

org.sat4j.minisat.constraints.AbstractPBDataStructureFactory org.sat4j.minisat.constraints.AbstractPBDataStructureFactory

0.0

0.47619048 47,6%

org.sat4j.minisat.core.Solver org.sat4j.minisat.core.Solver

0.0

0.47158217 47,2%

org.sat4j.minisat.constraints.pb.WatchPb org.sat4j.minisat.constraints.pb.WatchPb

0.0

0.4599303 46%

org.sat4j.reader.Reader org.sat4j.reader.Reader

0.0

0.44444445 44,4%

org.sat4j.minisat.constraints.card.MaxWatchCard org.sat4j.minisat.constraints.card.MaxWatchCard

0.0

0.4247312 42,5%

org.sat4j.minisat.learning.LimitedLearning org.sat4j.minisat.learning.LimitedLearning

0.0

0.42424244 42,4%

org.sat4j.minisat.constraints.card.MinWatchCard org.sat4j.minisat.constraints.card.MinWatchCard

0.0

0.41785714 41,8%

org.sat4j.core.VecInt org.sat4j.core.VecInt

0.0

0.41558442 41,6%

org.sat4j.minisat.core.SolverStats org.sat4j.minisat.core.SolverStats

0.0

0.3888889 38,9%

org.sat4j.minisat.constraints.cnf.BinaryClauses org.sat4j.minisat.constraints.cnf.BinaryClauses

0.0

0.38333333 38,3%

org.sat4j.minisat.learning.ActiveLearning org.sat4j.minisat.learning.ActiveLearning

0.0

0.36 36%

org.sat4j.minisat.constraints.cnf.DefaultWLClause org.sat4j.minisat.constraints.cnf.DefaultWLClause

0.0

0.35714287 35,7%

org.sat4j.minisat.orders.ValuedLit org.sat4j.minisat.orders.ValuedLit

0.0

0.33333334 33,3%

org.sat4j.minisat.learning.MiniSATLearning org.sat4j.minisat.learning.MiniSATLearning

0.0

0.3 30%

org.sat4j.reader.InstanceReader org.sat4j.reader.InstanceReader

0.0

0.29545453 29,5%

org.sat4j.minisat.AbstractAcceptanceTestCase org.sat4j.minisat.AbstractAcceptanceTestCase

0.0

0.29411766 29,4%

org.sat4j.core.Vec org.sat4j.core.Vec

0.0

0.21721311 21,7%

org.sat4j.minisat.core.SearchParams org.sat4j.minisat.core.SearchParams

0.0

0.19512194 19,5%

org.sat4j.minisat.learning.FixedLengthLearning org.sat4j.minisat.learning.FixedLengthLearning

0.0

0.16666667 16,7%