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

testaloul1015

3 FAIL

300.143

Timeout: need more time to complete!

junit.framework.AssertionFailedError: Timeout: need more time to complete! at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:71) at org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul1015(AbstractPseudoBooleanAndPigeonHoleTest.java:928) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)

Target Class

Unique

Coverage contributed by testaloul1015.

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

0.0

0.9583333 95,8%

org.sat4j.minisat.core.Heap org.sat4j.minisat.core.Heap

0.0

0.8701299 87%

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

0.0

0.8333333 83,3%

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

0.0

0.8181818 81,8%

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

0.0

0.7777778 77,8%

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

0.0

0.75 75%

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

0.0

0.70454544 70,5%

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

0.0

0.6803279 68%

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

0.0

0.62068963 62,1%

org.sat4j.minisat.constraints.pb.PBSolver org.sat4j.minisat.constraints.pb.PBSolver

0.0

0.6212121 62,1%

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

0.0

0.61538464 61,5%

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

0.0

0.6122449 61,2%

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

0.0

0.5555556 55,6%

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

0.0

0.5496183 55%

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

0.0

0.54212457 54,2%

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

0.0

0.53846157 53,8%

org.sat4j.minisat.constraints.AbstractPBClauseCardConstrDataStructure org.sat4j.minisat.constraints.AbstractPBClauseCardConstrDataStructure

0.0

0.53061223 53,1%

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

0.0

0.52903223 52,9%

org.sat4j.minisat.constraints.pb.ConflictMapClause org.sat4j.minisat.constraints.pb.ConflictMapClause

0.0

0.51724136 51,7%

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

0.0

0.5140845 51,4%

org.sat4j.minisat.constraints.PBMaxClauseAtLeastConstrDataStructure org.sat4j.minisat.constraints.PBMaxClauseAtLeastConstrDataStructure

0.0

0.5 50%

org.sat4j.minisat.constraints.PuebloPBMinClauseAtLeastConstrDataStructure org.sat4j.minisat.constraints.PuebloPBMinClauseAtLeastConstrDataStructure

0.0

0.5 50%

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

0.0

0.4562212 45,6%

org.sat4j.minisat.constraints.cnf.MixableCBClause org.sat4j.minisat.constraints.cnf.MixableCBClause

0.0

0.45454547 45,5%

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

0.0

0.4025974 40,3%

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

0.0

0.3888889 38,9%

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

0.0

0.37979093 38%

org.sat4j.minisat.constraints.pb.ConflictMap org.sat4j.minisat.constraints.pb.ConflictMap

0.0

0.36570248 36,6%

org.sat4j.minisat.constraints.pb.MinWatchCardPB org.sat4j.minisat.constraints.pb.MinWatchCardPB

0.0

0.35714287 35,7%

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

0.0

0.3548387 35,5%

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

0.0

0.3529412 35,3%

org.sat4j.minisat.constraints.pb.PBSolverClause org.sat4j.minisat.constraints.pb.PBSolverClause

0.0

0.33333334 33,3%

org.sat4j.minisat.constraints.PBMaxCBClauseCardConstrDataStructure org.sat4j.minisat.constraints.PBMaxCBClauseCardConstrDataStructure

0.0

0.33333334 33,3%

org.sat4j.minisat.constraints.pb.WLClausePB org.sat4j.minisat.constraints.pb.WLClausePB

0.0

0.33333334 33,3%

org.sat4j.minisat.constraints.cnf.CBClause org.sat4j.minisat.constraints.cnf.CBClause

0.0

0.31683168 31,7%

org.sat4j.minisat.learning.MiniSATLearning org.sat4j.minisat.learning.MiniSATLearning

0.0

0.3 30%

org.sat4j.minisat.constraints.pb.AtLeastPB org.sat4j.minisat.constraints.pb.AtLeastPB

0.0

0.29166666 29,2%

org.sat4j.minisat.constraints.PuebloPBMinClauseCardConstrDataStructure org.sat4j.minisat.constraints.PuebloPBMinClauseCardConstrDataStructure

0.0

0.2857143 28,6%

org.sat4j.minisat.constraints.cnf.DefaultWLClause org.sat4j.minisat.constraints.cnf.DefaultWLClause

0.0

0.2857143 28,6%

org.sat4j.minisat.constraints.pb.MixableCBClausePB org.sat4j.minisat.constraints.pb.MixableCBClausePB

0.0

0.2631579 26,3%

org.sat4j.minisat.constraints.card.MinWatchCard org.sat4j.minisat.constraints.card.MinWatchCard

0.0

0.25 25%

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.specs.TimeoutException org.sat4j.specs.TimeoutException

0.0

0.25 25%

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

0.0

0.25 25%

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

0.0

0.23484848 23,5%

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

0.0

0.19512194 19,5%

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

0.0

0.1904762 19%

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

0.0

0.1762295 17,6%