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

testPropagation2

1 PASS

0.0070

Target Class

Unique

Coverage contributed by testPropagation2.

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.3852459 38,5%

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

0.0

0.29965156 30%

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

0.0

0.25 25%

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

0.0

0.25 25%

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

0.0

0.21830986 21,8%

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

0.0

0.12295082 12,3%

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.constraints.AbstractDataStructureFactory org.sat4j.minisat.constraints.AbstractDataStructureFactory

0.0

0.07692308 7,7%

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

0.0

0.035330262 3,5%

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

0.0

0.011363637 1,1%