Clover Coverage Report
Coverage timestamp: mer. juin 27 2007 07:27:16 CEST
Overview   Package   File
    FRAMES   NO FRAMES     
5 662   27 496   1 294   3,82
2 564   13 526   0,49   7,37
1 481   198   1,87   11,17
201   18  
201 classes, 4 535 / 9 707 elements
46,7% 0.46718863
1. 15,9% 0.15924658
org.sat4j.reader (307)
2. 73,2% 0.73221517
org.sat4j.minisat.constraints.pb (274)
3. 0% 0.0
org.sat4j (116)
4. 59,3% 0.59322035
org.sat4j.minisat.constraints.card (106)
5. 65% 0.64994776
org.sat4j.minisat.core (100)
1. 84,9% 0.84917355
ConflictMap (98)
2. 72,5% 0.7250384
Solver (78)
3. 0% 0.0
OPBReader2005 (65)
4. 62,9% 0.62857145
MinWatchCard (52)
5. 60,6% 0.6062718
WatchPb (50)
2 460 / 2 541 tests 27330,09 secs
96,8%
1. 0% Lanceur.configureSolver(String[]) : ISolver (18)
2. 0% CSPReader.readProblem(LineNumberReader) : void (8)
3. 0% ExtendedDimacsReader.handleConstr(String,IVecInt) : boolean (13)
4. 0% CardDimacsReader.readConstrs(LineNumberReader) : void (13)
5. 0% OPBReader2005.readConstraint() : void (11)
6. 0% OPBReader2005.readObjective() : void (11)
7. 0% OPBReader2007.readMetaData() : void (8)
8. 0% GenericOptLauncher.configureSolver(String[]) : ISolver (7)
9. 0% Lanceur.runValidationFile(ISolver,String,boolean) : void (12)
10. 0% DimacsReader.readConstrs(LineNumberReader) : void (10)
11. 0% AbstractOptimizationLauncher.solve(IProblem) : void (7)
12. 0% ExtendedDimacsArrayReader.handleConstr(int,int,int[]) : boolean (9)
13. 0% ExtendedDimacsArrayToDimacsConverter.handleConstr(int,int,int[]) : boolean (9)
14. 0% AIGReader.parseInstance(InputStream) : IProblem (8)
15. 0% DimacsReader.readProblemLine(LineNumberReader) : void (8)
16. 0% AbstractLauncher.displayHeader() : void (6)
17. 0% OPBReader2005.readIdentifier(StringBuffer) : boolean (6)
18. 0% OPBReader2005.parse() : void (6)
19. 0% AAGReader.parseInstance(java.io.Reader) : IProblem (4)
20. 0% Lanceur.setupObject(String,Properties,T) : T (7)
 
 
CloverReport generated by Clover Code Coverage v2.0a5
mer. juin 27 2007 07:27:33 CEST.		   Beta Testers License registered to clover-support@cenqua.com. This license of Clover2 is provided for beta testing only. You have 5 day(s) before your Beta Tester License expires.