Summary

Report generated by Similarity Analyser 2.1.6-beta.

Copyright (c) 2003-04 RedHill Consulting, Pty. Ltd. All rights reserved.

Simian is not free unless used solely for non-commercial or evaluation purposes.

Similarity threshold (lines)6
Total number of duplicate lines558
Total number of duplicate blocks57
Total number of files with duplicates28
Total number of files104
Total number of significant lines5268
% Duplication5.37%

Files

File NameDuplications
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/minisat/constraints/card/MinWatchCard.java, 2, 3, 4, 5, 685
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/minisat/constraints/card/MaxWatchCard.java, 2, 3, 4, 5, 685
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/reader/CSPReader.java, 2, 328
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/core/VecInt.java, 2, 325
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/core/Vec.java, 2, 325
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/minisat/orders/VarOrderHeap.java, 225
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/minisat/orders/VarOrder.java, 225
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/reader/OPBReader2005.java, 222
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/reader/GoodOPBReader.java, 220
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/reader/DimacsReader.java, 2, 319
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/minisat/orders/MyOrder.java, 219
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/minisat/orders/JWOrder.java, 219
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/minisat/constraints/MixedDataStructureWithBinaryAndTernary.java, 218
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/minisat/constraints/MixedDataStructureWithBinary.java, 218
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/reader/CardDimacsReader.java, 212
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/minisat/constraints/pb/MinWatchPb.java, 212
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/minisat/constraints/pb/MaxWatchPb.java, 212
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/minisat/constraints/cnf/BinaryClauses.java11
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/minisat/constraints/cnf/TernaryClauses.java11
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/minisat/constraints/cnf/WLClause.java10
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/minisat/constraints/cnf/CBClause.java10
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/reader/ExtendedDimacsReader.java8
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/minisat/constraints/card/AtLeast.java8
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/tools/ModelIterator.java7
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/tools/SolutionCounter.java7
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/reader/LecteurDimacs.java7
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/minisat/constraints/CardinalityDataStructureYanMin.java6
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/minisat/constraints/CardinalityDataStructureYanMax.java6

Duplications

Duplication: 6 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/reader/DimacsReader.java165 - 174
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/reader/CardDimacsReader.java49 - 58

Duplication: 6 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/minisat/constraints/CardinalityDataStructureYanMin.java31 - 46
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/minisat/constraints/CardinalityDataStructureYanMax.java32 - 47

Duplication: 6 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/core/VecInt.java183 - 198
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/core/Vec.java71 - 89

Duplication: 6 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/minisat/orders/MyOrder.java45 - 58
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/minisat/orders/JWOrder.java80 - 93

Duplication: 6 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/reader/CSPReader.java300 - 309
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/reader/CSPReader.java231 - 240

Duplication: 6 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/minisat/constraints/pb/MinWatchPb.java145 - 160
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/minisat/constraints/pb/MaxWatchPb.java83 - 98

Duplication: 6 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/minisat/constraints/MixedDataStructureWithBinaryAndTernary.java58 - 71
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/minisat/constraints/MixedDataStructureWithBinary.java53 - 66

Duplication: 6 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/minisat/constraints/pb/MinWatchPb.java220 - 230
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/minisat/constraints/pb/MaxWatchPb.java160 - 167

Duplication: 6 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/reader/DimacsReader.java211 - 216
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/reader/CardDimacsReader.java89 - 94

Duplication: 6 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/minisat/orders/VarOrderHeap.java80 - 106
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/minisat/orders/VarOrder.java96 - 116

Duplication: 7 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/tools/ModelIterator.java57 - 65
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/tools/SolutionCounter.java35 - 43

Duplication: 7 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/reader/DimacsReader.java277 - 284
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/reader/LecteurDimacs.java199 - 206

Duplication: 8 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/reader/ExtendedDimacsReader.java307 - 315
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/reader/ExtendedDimacsReader.java280 - 288

Duplication: 8 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/minisat/constraints/card/MinWatchCard.java245 - 253
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/minisat/constraints/card/MaxWatchCard.java216 - 224

Duplication: 8 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/minisat/constraints/card/MinWatchCard.java301 - 324
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/minisat/constraints/card/MaxWatchCard.java255 - 278

Duplication: 8 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/minisat/constraints/card/MinWatchCard.java441 - 454
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/minisat/constraints/card/MaxWatchCard.java388 - 401
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/minisat/constraints/card/AtLeast.java249 - 262

Duplication: 9 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/minisat/constraints/card/MaxWatchCard.java137 - 179
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/minisat/constraints/card/MinWatchCard.java130 - 172

Duplication: 9 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/core/Vec.java397 - 416
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/core/VecInt.java497 - 516

Duplication: 10 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/reader/OPBReader2005.java585 - 597
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/reader/GoodOPBReader.java188 - 199

Duplication: 10 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/minisat/constraints/cnf/WLClause.java314 - 324
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/minisat/constraints/cnf/CBClause.java234 - 244

Duplication: 10 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/core/VecInt.java395 - 408
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/core/Vec.java285 - 298

Duplication: 10 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/reader/GoodOPBReader.java57 - 70
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/reader/CSPReader.java44 - 56

Duplication: 11 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/minisat/constraints/cnf/BinaryClauses.java122 - 186
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/minisat/constraints/cnf/TernaryClauses.java132 - 195

Duplication: 12 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/minisat/constraints/MixedDataStructureWithBinaryAndTernary.java29 - 54
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/minisat/constraints/MixedDataStructureWithBinary.java28 - 53

Duplication: 12 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/reader/OPBReader2005.java559 - 575
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/reader/CSPReader.java47 - 61

Duplication: 13 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/minisat/orders/JWOrder.java102 - 117
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/minisat/orders/MyOrder.java67 - 82

Duplication: 19 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/minisat/orders/VarOrder.java190 - 234
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/minisat/orders/VarOrderHeap.java155 - 200

Duplication: 24 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/minisat/constraints/card/MinWatchCard.java82 - 117
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/minisat/constraints/card/MaxWatchCard.java78 - 113

Duplication: 28 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/minisat/constraints/card/MinWatchCard.java400 - 458
/usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/minisat/constraints/card/MaxWatchCard.java348 - 405