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

testHasASingleSolution

0,6%

1 PASS

0.118

Target Class

Unique

Coverage contributed by testHasASingleSolution.

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

0.0

0.90909094 90,9%

org.sat4j.minisat.constraints.cnf.OriginalWLClause org.sat4j.minisat.constraints.cnf.OriginalWLClause

0.0

0.85714287 85,7%

org.sat4j.minisat.restarts.MiniSATRestarts org.sat4j.minisat.restarts.MiniSATRestarts

0.0

0.7777778 77,8%

org.sat4j.tools.SingleSolutionDetector org.sat4j.tools.SingleSolutionDetector

0.11111111 11,1%

0.7777778 77,8%

org.sat4j.minisat.uip.FirstUIP org.sat4j.minisat.uip.FirstUIP

0.0

0.75 75%

org.sat4j.minisat.core.Lbool org.sat4j.minisat.core.Lbool

0.0

0.6 60%

org.sat4j.minisat.core.ConflictTimer org.sat4j.minisat.core.ConflictTimer

0.0

0.5833333 58,3%

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

0.0

0.57983196 58%

org.sat4j.minisat.constraints.MixedDataStructureDaniel org.sat4j.minisat.constraints.MixedDataStructureDaniel

0.0

0.53846157 53,8%

org.sat4j.minisat.constraints.cnf.WLClause org.sat4j.minisat.constraints.cnf.WLClause

0.0

0.46564886 46,6%

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

0.0

0.44262296 44,3%

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

0.0030721966 0,3%

0.437788 43,8%

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

0.0

0.34615386 34,6%

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

0.0

0.25974026 26%

org.sat4j.minisat.core.SearchParams org.sat4j.minisat.core.SearchParams

0.0

0.19512194 19,5%

org.sat4j.tools.SolverDecorator org.sat4j.tools.SolverDecorator

0.0

0.17857143 17,9%

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

0.0

0.16393442 16,4%

org.sat4j.minisat.constraints.cnf.LearntWLClause org.sat4j.minisat.constraints.cnf.LearntWLClause

0.0

0.083333336 8,3%

org.sat4j.minisat.learning.AbstractLearning org.sat4j.minisat.learning.AbstractLearning

0.0

0.07692308 7,7%