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

testRndDeg6

1 PASS

0.035

Target Class

Unique

Coverage contributed by testRndDeg6.

org.sat4j.minisat.constraints.AbstractCardinalityDataStructure org.sat4j.minisat.constraints.AbstractCardinalityDataStructure

0.0

0.68292683 68,3%

org.sat4j.reader.GoodOPBReader org.sat4j.reader.GoodOPBReader

0.0

0.56774193 56,8%

org.sat4j.reader.Reader org.sat4j.reader.Reader

0.0

0.5555556 55,6%

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

0.0

0.5409836 54,1%

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

0.0

0.5 50%

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

0.0

0.40418118 40,4%

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

0.0

0.39455783 39,5%

org.sat4j.minisat.core.SolverStats org.sat4j.minisat.core.SolverStats

0.0

0.3888889 38,9%

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

0.0

0.38311687 38,3%

org.sat4j.minisat.constraints.card.AtLeast org.sat4j.minisat.constraints.card.AtLeast

0.0

0.37096775 37,1%

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

0.0

0.32394367 32,4%

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

0.0

0.25 25%

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

0.0

0.25 25%

org.sat4j.minisat.constraints.PuebloPBMinDataStructure org.sat4j.minisat.constraints.PuebloPBMinDataStructure

0.0

0.25 25%

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

0.0

0.24542125 24,5%

org.sat4j.minisat.constraints.pb.PuebloMinWatchPb org.sat4j.minisat.constraints.pb.PuebloMinWatchPb

0.0

0.2413793 24,1%

org.sat4j.minisat.AbstractAcceptanceTestCase org.sat4j.minisat.AbstractAcceptanceTestCase

0.0

0.23529412 23,5%

org.sat4j.reader.InstanceReader org.sat4j.reader.InstanceReader

0.0

0.23484848 23,5%

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

0.0

0.18032786 18%

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

0.0

0.115384616 11,5%

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

0.0

0.0952381 9,5%

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

0.0

0.078341015 7,8%

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

0.0

0.025210084 2,5%