Summary

Report generated by Similarity Analyser 2.2.8.

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 lines912
Total number of duplicate blocks97
Total number of files with duplicates43
Total number of files155
Total number of significant lines7191
% Duplication6.30%

Files

File NameDuplications
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/card/MinWatchCard.java, 2, 3, 4, 5, 6, 7, 8, 997
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/ConflictArray.java, 2, 3, 4, 5, 686
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/ConflictMap.java, 2, 3, 4, 5, 686
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/card/MaxWatchCard.java, 2, 3, 4, 565
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/MinWatchPb.java, 2, 3, 428
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/opt/MaxSatDecorator.java, 226
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/opt/WeightedMaxSatDecorator.java, 226
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/orders/VarOrderHeap.java, 225
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/orders/VarOrder.java, 225
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/core/VecInt.java, 2, 323
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/core/Vec.java, 2, 323
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/reader/DimacsReader.java, 2, 322
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/PuebloMinWatchPb.java, 2, 322
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/ArrayPb.java, 221
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/MapPb.java, 221
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/MaxWatchPb.java, 2, 320
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/MinWatchCardPB.java, 2, 320
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/orders/MyOrder.java, 219
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/orders/JWOrder.java, 219
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/AtLeastPB.java, 2, 318
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/MixedDataStructureWithBinaryAndTernary.java, 218
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/MixedDataStructureWithBinary.java, 218
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/card/AtLeast.java, 216
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/MixableCBClausePB.java, 212
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/cnf/BinaryClauses.java11
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/cnf/TernaryClauses.java11
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/WatchPb.java10
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/reader/ExtendedDimacsReader.java9
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/reader/LecteurDimacs.java8
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/reader/CSPReader.java8
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/tools/ModelIterator.java7
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/tools/SolutionCounter.java7
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/PBMaxClauseAtLeastConstrDataStructure.java7
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/PuebloPBMinClauseAtLeastConstrDataStructure.java7
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/reader/CardDimacsReader.java6
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/WLClausePB.java6
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/cnf/WLClause.java6
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/core/SearchListener.java6
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/core/NullSearchListener.java6
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/reader/csp/SupportsDirectEncoding.java6
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/reader/csp/Nogoods.java6
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/CardinalityDataStructureYanMin.java6
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/CardinalityDataStructureYanMax.java6

Duplications

Duplication: 6 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/reader/DimacsReader.java158 - 167
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/reader/CardDimacsReader.java48 - 57

Duplication: 6 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/core/VecInt.java197 - 212
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/core/Vec.java94 - 112

Duplication: 6 lines

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

Duplication: 6 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/MinWatchPb.java249 - 259
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/MinWatchPb.java223 - 233

Duplication: 6 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/WLClausePB.java37 - 44
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/MixableCBClausePB.java45 - 55

Duplication: 6 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/PuebloMinWatchPb.java125 - 135
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/PuebloMinWatchPb.java109 - 119

Duplication: 6 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/MaxWatchPb.java294 - 304
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/MaxWatchPb.java176 - 183
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/MaxWatchPb.java163 - 170

Duplication: 6 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/MixableCBClausePB.java68 - 78
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/card/MinWatchCard.java542 - 549

Duplication: 6 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/MinWatchCardPB.java131 - 147
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/AtLeastPB.java66 - 82

Duplication: 6 lines

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

Duplication: 6 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/AtLeastPB.java46 - 53
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/cnf/WLClause.java347 - 354

Duplication: 6 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/core/SearchListener.java43 - 73
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/core/NullSearchListener.java22 - 37

Duplication: 6 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/reader/csp/SupportsDirectEncoding.java19 - 28
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/reader/csp/Nogoods.java17 - 26

Duplication: 6 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/MinWatchPb.java213 - 221
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/MaxWatchPb.java154 - 161

Duplication: 6 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/orders/VarOrderHeap.java71 - 96
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/orders/VarOrder.java94 - 117

Duplication: 6 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/MinWatchCardPB.java152 - 162
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/AtLeastPB.java87 - 97

Duplication: 6 lines

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

Duplication: 7 lines

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

Duplication: 7 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/ConflictArray.java51 - 70
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/ConflictMap.java62 - 81

Duplication: 7 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/PBMaxClauseAtLeastConstrDataStructure.java14 - 24
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/PuebloPBMinClauseAtLeastConstrDataStructure.java14 - 24

Duplication: 7 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/core/Vec.java443 - 455
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/core/VecInt.java579 - 591

Duplication: 7 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/ConflictArray.java309 - 319
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/ConflictMap.java304 - 313

Duplication: 8 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/PuebloMinWatchPb.java142 - 154
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/MinWatchPb.java387 - 399
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/MaxWatchPb.java266 - 278

Duplication: 8 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/reader/LecteurDimacs.java211 - 219
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/reader/DimacsReader.java247 - 255

Duplication: 8 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/reader/DimacsReader.java217 - 234
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/reader/CSPReader.java40 - 50

Duplication: 8 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/MinWatchCardPB.java101 - 110
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/card/MinWatchCard.java275 - 284

Duplication: 8 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/card/MinWatchCard.java453 - 466
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/card/MaxWatchCard.java370 - 383
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/card/AtLeast.java241 - 254

Duplication: 8 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/card/MinWatchCard.java426 - 433
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/card/AtLeast.java276 - 283

Duplication: 8 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/PuebloMinWatchPb.java98 - 108
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/MinWatchPb.java208 - 218

Duplication: 8 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/ConflictMap.java90 - 101
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/ConflictArray.java79 - 90

Duplication: 8 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/card/MinWatchCard.java303 - 326
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/card/MaxWatchCard.java246 - 267

Duplication: 9 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/ConflictArray.java151 - 170
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/ConflictMap.java150 - 169

Duplication: 9 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/reader/ExtendedDimacsReader.java281 - 292
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/reader/ExtendedDimacsReader.java308 - 319

Duplication: 9 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/card/MaxWatchCard.java134 - 175
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/card/MinWatchCard.java162 - 203

Duplication: 9 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/ArrayPb.java67 - 81
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/MapPb.java57 - 71

Duplication: 10 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/WatchPb.java484 - 496
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/card/MinWatchCard.java427 - 439

Duplication: 10 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/core/VecInt.java409 - 422
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/core/Vec.java308 - 321

Duplication: 11 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/opt/MaxSatDecorator.java69 - 85
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/opt/WeightedMaxSatDecorator.java79 - 95

Duplication: 11 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/cnf/BinaryClauses.java122 - 186
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/cnf/TernaryClauses.java126 - 189

Duplication: 12 lines

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

Duplication: 12 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/MapPb.java77 - 98
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/ArrayPb.java89 - 110

Duplication: 13 lines

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

Duplication: 15 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/opt/MaxSatDecorator.java40 - 61
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/opt/WeightedMaxSatDecorator.java47 - 68

Duplication: 16 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/ConflictMap.java113 - 140
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/ConflictArray.java104 - 142

Duplication: 16 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/card/MinWatchCard.java433 - 470
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/card/MaxWatchCard.java352 - 387

Duplication: 19 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/orders/VarOrder.java192 - 237
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/orders/VarOrderHeap.java142 - 187

Duplication: 24 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/card/MinWatchCard.java85 - 121
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/card/MaxWatchCard.java77 - 112

Duplication: 39 lines

FileLocation
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/ConflictArray.java204 - 304
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/ConflictMap.java202 - 300