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 lines1096
Total number of duplicate blocks116
Total number of files with duplicates63
Total number of files193
Total number of significant lines9010
% Duplication6.04%

Files

File NameDuplications
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/card/MinWatchCard.java, 2, 3, 4, 5, 6, 7, 8, 997
/usr/local/anthill/work/core/src/org/sat4j/tools/ExtendedDimacsArrayToDimacsConverter.java, 2, 3, 4, 596
/usr/local/anthill/work/core/src/org/sat4j/tools/GateTranslator.java, 2, 374
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/card/MaxWatchCard.java, 2, 3, 4, 565
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/MinWatchPb.java, 2, 3, 4, 536
/usr/local/anthill/work/core/src/org/sat4j/reader/DimacsReader.java, 2, 328
/usr/local/anthill/work/core/src/org/sat4j/minisat/orders/VarOrderHeap.java, 225
/usr/local/anthill/work/core/src/org/sat4j/minisat/orders/VarOrder.java, 225
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/MinWatchCardPB.java, 2, 324
/usr/local/anthill/work/core/src/org/sat4j/core/VecInt.java, 2, 323
/usr/local/anthill/work/core/src/org/sat4j/core/Vec.java, 2, 323
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/PuebloMinWatchPb.java, 2, 322
/usr/local/anthill/work/core/src/org/sat4j/tools/ExtendedDimacsArrayReader.java, 222
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/AtLeastPB.java, 2, 322
/usr/local/anthill/work/core/src/org/sat4j/reader/AAGReader.java, 222
/usr/local/anthill/work/core/src/org/sat4j/reader/AIGReader.java, 222
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/MaxWatchPb.java, 2, 320
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/MixableCBClausePB.java, 2, 318
/usr/local/anthill/work/core/src/org/sat4j/reader/OPBReader2005.java, 218
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/ConflictMapMerging.java, 217
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/ConflictMapClause.java, 217
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/card/AtLeast.java, 216
/usr/local/anthill/work/core/src/org/sat4j/reader/ExtendedDimacsReader.java16
/usr/local/anthill/work/core/src/org/sat4j/reader/LecteurDimacs.java14
/usr/local/anthill/work/core/src/org/sat4j/opt/MinCostDecorator.java, 213
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/MixedDataStructureWithBinaryAndTernary.java, 213
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/MixedDataStructureWithBinary.java, 213
/usr/local/anthill/work/core/src/org/sat4j/GenericOptLauncher.java, 213
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/WLClausePB.java, 212
/usr/local/anthill/work/core/src/org/sat4j/reader/OPBReader2007.java12
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/cnf/LearntWLClause.java12
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/cnf/DefaultWLClause.java12
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/cnf/BinaryClauses.java11
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/cnf/TernaryClauses.java11
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/WatchPb.java10
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/MixedDataStructureDaniel.java10
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/ClausalDataStructureWL.java10
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/PBMinClauseCardConstrDataStructure.java9
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/PuebloPBMinClauseCardConstrDataStructure.java9
/usr/local/anthill/work/core/src/org/sat4j/minisat/orders/VarOrderHeapObjective.java9
/usr/local/anthill/work/core/src/org/sat4j/minisat/orders/VarOrderHeapRsat.java9
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/PuebloPBMinClauseAtLeastConstrDataStructure.java8
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/PBMaxClauseAtLeastConstrDataStructure.java8
/usr/local/anthill/work/core/src/org/sat4j/reader/CSPReader.java8
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/ConflictMap.java8
/usr/local/anthill/work/core/src/org/sat4j/minisat/SolverFactory.java7
/usr/local/anthill/work/core/src/org/sat4j/opt/MinOneDecorator.java7
/usr/local/anthill/work/core/src/org/sat4j/tools/ModelIterator.java7
/usr/local/anthill/work/core/src/org/sat4j/tools/SolutionCounter.java7
/usr/local/anthill/work/core/src/org/sat4j/MaxSatLauncher.java7
/usr/local/anthill/work/core/src/org/sat4j/reader/CardDimacsReader.java6
/usr/local/anthill/work/core/src/org/sat4j/opt/PseudoOptDecorator.java6
/usr/local/anthill/work/core/src/org/sat4j/minisat/orders/MyOrder.java6
/usr/local/anthill/work/core/src/org/sat4j/minisat/orders/JWOrder.java6
/usr/local/anthill/work/core/src/org/sat4j/opt/WeightedMaxSatDecorator.java6
/usr/local/anthill/work/core/src/org/sat4j/opt/MaxSatDecorator.java6
/usr/local/anthill/work/core/src/org/sat4j/reader/GoodOPBReader.java6
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/CardinalityDataStructureYanMin.java6
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/CardinalityDataStructureYanMax.java6
/usr/local/anthill/work/core/src/org/sat4j/Lanceur.java6
/usr/local/anthill/work/core/src/org/sat4j/minisat/core/SearchListener.java6
/usr/local/anthill/work/core/src/org/sat4j/minisat/core/NullSearchListener.java6
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/cnf/WLClause.java6

Duplications

Duplication: 6 lines

FileLocation
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/PuebloMinWatchPb.java124 - 134
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/PuebloMinWatchPb.java108 - 118

Duplication: 6 lines

FileLocation
/usr/local/anthill/work/core/src/org/sat4j/reader/DimacsReader.java175 - 184
/usr/local/anthill/work/core/src/org/sat4j/reader/CardDimacsReader.java72 - 81

Duplication: 6 lines

FileLocation
/usr/local/anthill/work/core/src/org/sat4j/opt/PseudoOptDecorator.java62 - 69
/usr/local/anthill/work/core/src/org/sat4j/opt/MinCostDecorator.java126 - 133

Duplication: 6 lines

FileLocation
/usr/local/anthill/work/core/src/org/sat4j/minisat/orders/MyOrder.java56 - 62
/usr/local/anthill/work/core/src/org/sat4j/minisat/orders/JWOrder.java77 - 83

Duplication: 6 lines

FileLocation
/usr/local/anthill/work/core/src/org/sat4j/core/VecInt.java198 - 213
/usr/local/anthill/work/core/src/org/sat4j/core/Vec.java96 - 114

Duplication: 6 lines

FileLocation
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/WLClausePB.java91 - 97
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/MixableCBClausePB.java120 - 126

Duplication: 6 lines

FileLocation
/usr/local/anthill/work/core/src/org/sat4j/opt/WeightedMaxSatDecorator.java75 - 84
/usr/local/anthill/work/core/src/org/sat4j/opt/MaxSatDecorator.java58 - 67

Duplication: 6 lines

FileLocation
/usr/local/anthill/work/core/src/org/sat4j/reader/OPBReader2005.java637 - 645
/usr/local/anthill/work/core/src/org/sat4j/reader/GoodOPBReader.java204 - 212

Duplication: 6 lines

FileLocation
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/CardinalityDataStructureYanMin.java50 - 65
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/CardinalityDataStructureYanMax.java51 - 66

Duplication: 6 lines

FileLocation
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/MixedDataStructureWithBinaryAndTernary.java61 - 74
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/MixedDataStructureWithBinary.java60 - 73

Duplication: 6 lines

FileLocation
/usr/local/anthill/work/core/src/org/sat4j/tools/ExtendedDimacsArrayToDimacsConverter.java91 - 96
/usr/local/anthill/work/core/src/org/sat4j/tools/ExtendedDimacsArrayReader.java93 - 98

Duplication: 6 lines

FileLocation
/usr/local/anthill/work/core/src/org/sat4j/minisat/orders/VarOrderHeap.java71 - 97
/usr/local/anthill/work/core/src/org/sat4j/minisat/orders/VarOrder.java95 - 121

Duplication: 6 lines

FileLocation
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/MaxWatchPb.java290 - 300
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/MaxWatchPb.java171 - 178

Duplication: 6 lines

FileLocation
/usr/local/anthill/work/core/src/org/sat4j/Lanceur.java110 - 116
/usr/local/anthill/work/core/src/org/sat4j/GenericOptLauncher.java50 - 56

Duplication: 6 lines

FileLocation
/usr/local/anthill/work/core/src/org/sat4j/minisat/core/SearchListener.java74 - 105
/usr/local/anthill/work/core/src/org/sat4j/minisat/core/NullSearchListener.java45 - 60

Duplication: 6 lines

FileLocation
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/MinWatchPb.java220 - 228
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/MaxWatchPb.java162 - 169

Duplication: 6 lines

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

Duplication: 6 lines

FileLocation
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/WLClausePB.java61 - 68
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/MixableCBClausePB.java71 - 83

Duplication: 6 lines

FileLocation
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/AtLeastPB.java69 - 76
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/cnf/WLClause.java314 - 321

Duplication: 7 lines

FileLocation
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/MinWatchPb.java68 - 76
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/MinWatchPb.java83 - 91

Duplication: 7 lines

FileLocation
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/MinWatchPb.java230 - 254
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/MinWatchPb.java257 - 285

Duplication: 7 lines

FileLocation
/usr/local/anthill/work/core/src/org/sat4j/minisat/SolverFactory.java530 - 536
/usr/local/anthill/work/core/src/org/sat4j/minisat/SolverFactory.java548 - 555

Duplication: 7 lines

FileLocation
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/AtLeastPB.java113 - 124
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/MinWatchCardPB.java178 - 189

Duplication: 7 lines

FileLocation
/usr/local/anthill/work/core/src/org/sat4j/opt/MinCostDecorator.java128 - 138
/usr/local/anthill/work/core/src/org/sat4j/opt/MinOneDecorator.java58 - 69

Duplication: 7 lines

FileLocation
/usr/local/anthill/work/core/src/org/sat4j/tools/ModelIterator.java74 - 82
/usr/local/anthill/work/core/src/org/sat4j/tools/SolutionCounter.java60 - 68

Duplication: 7 lines

FileLocation
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/MixedDataStructureWithBinary.java54 - 60
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/MixedDataStructureWithBinaryAndTernary.java51 - 57

Duplication: 7 lines

FileLocation
/usr/local/anthill/work/core/src/org/sat4j/GenericOptLauncher.java70 - 79
/usr/local/anthill/work/core/src/org/sat4j/MaxSatLauncher.java49 - 58

Duplication: 7 lines

FileLocation
/usr/local/anthill/work/core/src/org/sat4j/core/Vec.java446 - 458
/usr/local/anthill/work/core/src/org/sat4j/core/VecInt.java581 - 593

Duplication: 8 lines

FileLocation
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/PuebloMinWatchPb.java141 - 153
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/MinWatchPb.java426 - 438
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/MaxWatchPb.java261 - 273

Duplication: 8 lines

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

Duplication: 8 lines

FileLocation
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/PuebloPBMinClauseAtLeastConstrDataStructure.java38 - 49
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/PBMaxClauseAtLeastConstrDataStructure.java38 - 49

Duplication: 8 lines

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

Duplication: 8 lines

FileLocation
/usr/local/anthill/work/core/src/org/sat4j/reader/DimacsReader.java234 - 252
/usr/local/anthill/work/core/src/org/sat4j/reader/CSPReader.java119 - 129

Duplication: 8 lines

FileLocation
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/PuebloMinWatchPb.java97 - 107
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/MinWatchPb.java215 - 225

Duplication: 8 lines

FileLocation
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/ConflictMapMerging.java15 - 24
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/ConflictMapClause.java40 - 49
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/ConflictMap.java67 - 76

Duplication: 8 lines

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

Duplication: 8 lines

FileLocation
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/card/MinWatchCard.java303 - 326
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/card/MaxWatchCard.java256 - 279

Duplication: 9 lines

FileLocation
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/card/MaxWatchCard.java138 - 180
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/card/MinWatchCard.java160 - 201

Duplication: 9 lines

FileLocation
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/PBMinClauseCardConstrDataStructure.java44 - 56
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/PuebloPBMinClauseCardConstrDataStructure.java59 - 71

Duplication: 9 lines

FileLocation
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/ConflictMapClause.java37 - 49
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/ConflictMapMerging.java13 - 24

Duplication: 9 lines

FileLocation
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/AtLeastPB.java89 - 108
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/MinWatchCardPB.java154 - 173

Duplication: 9 lines

FileLocation
/usr/local/anthill/work/core/src/org/sat4j/minisat/orders/VarOrderHeapObjective.java71 - 81
/usr/local/anthill/work/core/src/org/sat4j/minisat/orders/VarOrderHeapRsat.java18 - 28

Duplication: 10 lines

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

Duplication: 10 lines

FileLocation
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/MixedDataStructureDaniel.java63 - 76
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/ClausalDataStructureWL.java50 - 63

Duplication: 10 lines

FileLocation
/usr/local/anthill/work/core/src/org/sat4j/core/VecInt.java406 - 419
/usr/local/anthill/work/core/src/org/sat4j/core/Vec.java311 - 324

Duplication: 11 lines

FileLocation
/usr/local/anthill/work/core/src/org/sat4j/reader/AAGReader.java107 - 122
/usr/local/anthill/work/core/src/org/sat4j/reader/AIGReader.java151 - 166

Duplication: 11 lines

FileLocation
/usr/local/anthill/work/core/src/org/sat4j/reader/AAGReader.java51 - 66
/usr/local/anthill/work/core/src/org/sat4j/reader/AIGReader.java49 - 64

Duplication: 11 lines

FileLocation
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/cnf/BinaryClauses.java143 - 207
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/cnf/TernaryClauses.java145 - 208

Duplication: 12 lines

FileLocation
/usr/local/anthill/work/core/src/org/sat4j/reader/OPBReader2007.java130 - 145
/usr/local/anthill/work/core/src/org/sat4j/reader/OPBReader2005.java376 - 391

Duplication: 12 lines

FileLocation
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/cnf/LearntWLClause.java49 - 64
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/cnf/DefaultWLClause.java70 - 86

Duplication: 12 lines

FileLocation
/usr/local/anthill/work/core/src/org/sat4j/tools/GateTranslator.java171 - 188
/usr/local/anthill/work/core/src/org/sat4j/tools/ExtendedDimacsArrayToDimacsConverter.java191 - 208

Duplication: 13 lines

FileLocation
/usr/local/anthill/work/core/src/org/sat4j/tools/ExtendedDimacsArrayToDimacsConverter.java168 - 187
/usr/local/anthill/work/core/src/org/sat4j/tools/GateTranslator.java111 - 137

Duplication: 14 lines

FileLocation
/usr/local/anthill/work/core/src/org/sat4j/reader/LecteurDimacs.java213 - 230
/usr/local/anthill/work/core/src/org/sat4j/reader/DimacsReader.java265 - 282

Duplication: 16 lines

FileLocation
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/card/MinWatchCard.java433 - 470
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/card/MaxWatchCard.java365 - 401

Duplication: 16 lines

FileLocation
/usr/local/anthill/work/core/src/org/sat4j/tools/ExtendedDimacsArrayToDimacsConverter.java44 - 74
/usr/local/anthill/work/core/src/org/sat4j/tools/ExtendedDimacsArrayReader.java43 - 73
/usr/local/anthill/work/core/src/org/sat4j/reader/ExtendedDimacsReader.java46 - 80

Duplication: 19 lines

FileLocation
/usr/local/anthill/work/core/src/org/sat4j/minisat/orders/VarOrder.java199 - 245
/usr/local/anthill/work/core/src/org/sat4j/minisat/orders/VarOrderHeap.java145 - 190

Duplication: 24 lines

FileLocation
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/card/MinWatchCard.java86 - 122
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/card/MaxWatchCard.java79 - 114

Duplication: 49 lines

FileLocation
/usr/local/anthill/work/core/src/org/sat4j/tools/ExtendedDimacsArrayToDimacsConverter.java228 - 293
/usr/local/anthill/work/core/src/org/sat4j/tools/GateTranslator.java208 - 285