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.5163934 51,6%

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

0.0

0.43661973 43,7%

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.3031359 30,3%

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

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.1557377 15,6%

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

0.0

0.10906298 10,9%

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

0.0

0.0952381 9,5%

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

0.0

0.09415584 9,4%

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%