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

testCardModel

5,5%

1 PASS

0.029

Target Class

Unique

Coverage contributed by testCardModel.

org.sat4j.tools.Minimal4CardinalityModel org.sat4j.tools.Minimal4CardinalityModel

0.9230769 92,3%

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

0.0

0.7777778 77,8%

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

0.0

0.71428573 71,4%

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

0.15384616 15,4%

0.6923077 69,2%

org.sat4j.minisat.core.NullSearchListener org.sat4j.minisat.core.NullSearchListener

0.0

0.6363636 63,6%

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

0.0

0.63114756 63,1%

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

0.0

0.5151515 51,5%

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

0.0

0.46153846 46,2%

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

0.0

0.44354838 44,4%

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

0.0

0.42857143 42,9%

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

0.0

0.3740458 37,4%

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

0.0

0.36585367 36,6%

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

0.013824885 1,4%

0.34254992 34,3%

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

0.0

0.2987013 29,9%

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

0.0

0.25 25%

org.sat4j.tools.SolverDecorator org.sat4j.tools.SolverDecorator

0.071428575 7,1%

0.25 25%

org.sat4j.specs.ContradictionException org.sat4j.specs.ContradictionException

0.0

0.25 25%

org.sat4j.minisat.learning.AbstractLearning org.sat4j.minisat.learning.AbstractLearning

0.0

0.23076923 23,1%

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

0.0

0.2 20%

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

0.0

0.1352459 13,5%

org.sat4j.minisat.SolverFactory org.sat4j.minisat.SolverFactory

0.0

0.030612245 3,1%