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

testPropagation

1 PASS

0.082

Target Class

Unique

Coverage contributed by testPropagation.

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

0.0

0.5 50%

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

0.0

0.46886447 46,9%

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

0.0

0.39455783 39,5%

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

0.0

0.2578397 25,8%

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

0.0

0.25 25%

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

0.0

0.23076923 23,1%

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

0.0

0.17213115 17,2%

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

0.0

0.10906298 10,9%

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

0.0

0.10714286 10,7%

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

0.0

0.0952381 9,5%

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

0.0

0.09090909 9,1%

org.sat4j.minisat.orders.VarOrderHeap org.sat4j.minisat.orders.VarOrderHeap

0.0

0.022727273 2,3%