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.0060

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.2578397 25,8%

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

0.0

0.25 25%

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

0.0

0.25 25%

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

0.0

0.13919415 13,9%

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

0.0

0.13934426 13,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.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%