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

testNormalize

1,4%

1 PASS

0.085

Target Class

Unique

Coverage contributed by testNormalize.

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

0.0

0.4390244 43,9%

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

0.0

0.39455783 39,5%

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

0.0

0.39344263 39,3%

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

0.0

0.33333334 33,3%

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

0.0

0.30769232 30,8%

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

0.0

0.26056337 26,1%

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

0.0

0.25 25%

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

0.0

0.2 20%

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

0.0952381 9,5%

0.1904762 19%

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

0.0

0.17073171 17,1%

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

0.0

0.15384616 15,4%

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

0.0

0.114754096 11,5%

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

0.0

0.10714286 10,7%

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

0.0030721966 0,3%

0.06758833 6,8%

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

0.006802721 0,7%

0.023809524 2,4%

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

0.0

0.016806724 1,7%