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 lines | 1096 |
Total number of duplicate blocks | 116 |
Total number of files with duplicates | 63 |
Total number of files | 193 |
Total number of significant lines | 9010 |
% Duplication | 6.04% |
File | Location |
---|---|
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/PuebloMinWatchPb.java | 124 - 134 |
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/PuebloMinWatchPb.java | 108 - 118 |
File | Location |
---|---|
/usr/local/anthill/work/core/src/org/sat4j/reader/DimacsReader.java | 175 - 184 |
/usr/local/anthill/work/core/src/org/sat4j/reader/CardDimacsReader.java | 72 - 81 |
File | Location |
---|---|
/usr/local/anthill/work/core/src/org/sat4j/opt/PseudoOptDecorator.java | 62 - 69 |
/usr/local/anthill/work/core/src/org/sat4j/opt/MinCostDecorator.java | 126 - 133 |
File | Location |
---|---|
/usr/local/anthill/work/core/src/org/sat4j/minisat/orders/MyOrder.java | 56 - 62 |
/usr/local/anthill/work/core/src/org/sat4j/minisat/orders/JWOrder.java | 77 - 83 |
File | Location |
---|---|
/usr/local/anthill/work/core/src/org/sat4j/core/VecInt.java | 198 - 213 |
/usr/local/anthill/work/core/src/org/sat4j/core/Vec.java | 96 - 114 |
File | Location |
---|---|
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/WLClausePB.java | 91 - 97 |
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/MixableCBClausePB.java | 120 - 126 |
File | Location |
---|---|
/usr/local/anthill/work/core/src/org/sat4j/opt/WeightedMaxSatDecorator.java | 75 - 84 |
/usr/local/anthill/work/core/src/org/sat4j/opt/MaxSatDecorator.java | 58 - 67 |
File | Location |
---|---|
/usr/local/anthill/work/core/src/org/sat4j/reader/OPBReader2005.java | 637 - 645 |
/usr/local/anthill/work/core/src/org/sat4j/reader/GoodOPBReader.java | 204 - 212 |
File | Location |
---|---|
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/CardinalityDataStructureYanMin.java | 50 - 65 |
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/CardinalityDataStructureYanMax.java | 51 - 66 |
File | Location |
---|---|
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/MixedDataStructureWithBinaryAndTernary.java | 61 - 74 |
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/MixedDataStructureWithBinary.java | 60 - 73 |
File | Location |
---|---|
/usr/local/anthill/work/core/src/org/sat4j/tools/ExtendedDimacsArrayToDimacsConverter.java | 91 - 96 |
/usr/local/anthill/work/core/src/org/sat4j/tools/ExtendedDimacsArrayReader.java | 93 - 98 |
File | Location |
---|---|
/usr/local/anthill/work/core/src/org/sat4j/minisat/orders/VarOrderHeap.java | 71 - 97 |
/usr/local/anthill/work/core/src/org/sat4j/minisat/orders/VarOrder.java | 95 - 121 |
File | Location |
---|---|
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/MaxWatchPb.java | 290 - 300 |
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/MaxWatchPb.java | 171 - 178 |
File | Location |
---|---|
/usr/local/anthill/work/core/src/org/sat4j/Lanceur.java | 110 - 116 |
/usr/local/anthill/work/core/src/org/sat4j/GenericOptLauncher.java | 50 - 56 |
File | Location |
---|---|
/usr/local/anthill/work/core/src/org/sat4j/minisat/core/SearchListener.java | 74 - 105 |
/usr/local/anthill/work/core/src/org/sat4j/minisat/core/NullSearchListener.java | 45 - 60 |
File | Location |
---|---|
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/MinWatchPb.java | 220 - 228 |
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/MaxWatchPb.java | 162 - 169 |
File | Location |
---|---|
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/MixableCBClausePB.java | 100 - 112 |
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/card/MinWatchCard.java | 542 - 549 |
File | Location |
---|---|
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/WLClausePB.java | 61 - 68 |
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/MixableCBClausePB.java | 71 - 83 |
File | Location |
---|---|
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/AtLeastPB.java | 69 - 76 |
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/cnf/WLClause.java | 314 - 321 |
File | Location |
---|---|
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/MinWatchPb.java | 68 - 76 |
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/MinWatchPb.java | 83 - 91 |
File | Location |
---|---|
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/MinWatchPb.java | 230 - 254 |
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/MinWatchPb.java | 257 - 285 |
File | Location |
---|---|
/usr/local/anthill/work/core/src/org/sat4j/minisat/SolverFactory.java | 530 - 536 |
/usr/local/anthill/work/core/src/org/sat4j/minisat/SolverFactory.java | 548 - 555 |
File | Location |
---|---|
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/AtLeastPB.java | 113 - 124 |
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/MinWatchCardPB.java | 178 - 189 |
File | Location |
---|---|
/usr/local/anthill/work/core/src/org/sat4j/opt/MinCostDecorator.java | 128 - 138 |
/usr/local/anthill/work/core/src/org/sat4j/opt/MinOneDecorator.java | 58 - 69 |
File | Location |
---|---|
/usr/local/anthill/work/core/src/org/sat4j/tools/ModelIterator.java | 74 - 82 |
/usr/local/anthill/work/core/src/org/sat4j/tools/SolutionCounter.java | 60 - 68 |
File | Location |
---|---|
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/MixedDataStructureWithBinary.java | 54 - 60 |
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/MixedDataStructureWithBinaryAndTernary.java | 51 - 57 |
File | Location |
---|---|
/usr/local/anthill/work/core/src/org/sat4j/GenericOptLauncher.java | 70 - 79 |
/usr/local/anthill/work/core/src/org/sat4j/MaxSatLauncher.java | 49 - 58 |
File | Location |
---|---|
/usr/local/anthill/work/core/src/org/sat4j/core/Vec.java | 446 - 458 |
/usr/local/anthill/work/core/src/org/sat4j/core/VecInt.java | 581 - 593 |
File | Location |
---|---|
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/PuebloMinWatchPb.java | 141 - 153 |
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/MinWatchPb.java | 426 - 438 |
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/MaxWatchPb.java | 261 - 273 |
File | Location |
---|---|
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/card/MinWatchCard.java | 453 - 466 |
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/card/MaxWatchCard.java | 384 - 397 |
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/card/AtLeast.java | 241 - 254 |
File | Location |
---|---|
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/PuebloPBMinClauseAtLeastConstrDataStructure.java | 38 - 49 |
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/PBMaxClauseAtLeastConstrDataStructure.java | 38 - 49 |
File | Location |
---|---|
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/card/MinWatchCard.java | 426 - 433 |
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/card/AtLeast.java | 276 - 283 |
File | Location |
---|---|
/usr/local/anthill/work/core/src/org/sat4j/reader/DimacsReader.java | 234 - 252 |
/usr/local/anthill/work/core/src/org/sat4j/reader/CSPReader.java | 119 - 129 |
File | Location |
---|---|
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/PuebloMinWatchPb.java | 97 - 107 |
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/MinWatchPb.java | 215 - 225 |
File | Location |
---|---|
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/ConflictMapMerging.java | 15 - 24 |
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/ConflictMapClause.java | 40 - 49 |
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/ConflictMap.java | 67 - 76 |
File | Location |
---|---|
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/MinWatchCardPB.java | 124 - 133 |
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/card/MinWatchCard.java | 275 - 284 |
File | Location |
---|---|
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/card/MinWatchCard.java | 303 - 326 |
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/card/MaxWatchCard.java | 256 - 279 |
File | Location |
---|---|
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/card/MaxWatchCard.java | 138 - 180 |
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/card/MinWatchCard.java | 160 - 201 |
File | Location |
---|---|
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/PBMinClauseCardConstrDataStructure.java | 44 - 56 |
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/PuebloPBMinClauseCardConstrDataStructure.java | 59 - 71 |
File | Location |
---|---|
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/ConflictMapClause.java | 37 - 49 |
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/ConflictMapMerging.java | 13 - 24 |
File | Location |
---|---|
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/AtLeastPB.java | 89 - 108 |
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/MinWatchCardPB.java | 154 - 173 |
File | Location |
---|---|
/usr/local/anthill/work/core/src/org/sat4j/minisat/orders/VarOrderHeapObjective.java | 71 - 81 |
/usr/local/anthill/work/core/src/org/sat4j/minisat/orders/VarOrderHeapRsat.java | 18 - 28 |
File | Location |
---|---|
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/WatchPb.java | 487 - 499 |
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/card/MinWatchCard.java | 427 - 439 |
File | Location |
---|---|
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/MixedDataStructureDaniel.java | 63 - 76 |
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/ClausalDataStructureWL.java | 50 - 63 |
File | Location |
---|---|
/usr/local/anthill/work/core/src/org/sat4j/core/VecInt.java | 406 - 419 |
/usr/local/anthill/work/core/src/org/sat4j/core/Vec.java | 311 - 324 |
File | Location |
---|---|
/usr/local/anthill/work/core/src/org/sat4j/reader/AAGReader.java | 107 - 122 |
/usr/local/anthill/work/core/src/org/sat4j/reader/AIGReader.java | 151 - 166 |
File | Location |
---|---|
/usr/local/anthill/work/core/src/org/sat4j/reader/AAGReader.java | 51 - 66 |
/usr/local/anthill/work/core/src/org/sat4j/reader/AIGReader.java | 49 - 64 |
File | Location |
---|---|
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/cnf/BinaryClauses.java | 143 - 207 |
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/cnf/TernaryClauses.java | 145 - 208 |
File | Location |
---|---|
/usr/local/anthill/work/core/src/org/sat4j/reader/OPBReader2007.java | 130 - 145 |
/usr/local/anthill/work/core/src/org/sat4j/reader/OPBReader2005.java | 376 - 391 |
File | Location |
---|---|
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/cnf/LearntWLClause.java | 49 - 64 |
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/cnf/DefaultWLClause.java | 70 - 86 |
File | Location |
---|---|
/usr/local/anthill/work/core/src/org/sat4j/tools/GateTranslator.java | 171 - 188 |
/usr/local/anthill/work/core/src/org/sat4j/tools/ExtendedDimacsArrayToDimacsConverter.java | 191 - 208 |
File | Location |
---|---|
/usr/local/anthill/work/core/src/org/sat4j/tools/ExtendedDimacsArrayToDimacsConverter.java | 168 - 187 |
/usr/local/anthill/work/core/src/org/sat4j/tools/GateTranslator.java | 111 - 137 |
File | Location |
---|---|
/usr/local/anthill/work/core/src/org/sat4j/reader/LecteurDimacs.java | 213 - 230 |
/usr/local/anthill/work/core/src/org/sat4j/reader/DimacsReader.java | 265 - 282 |
File | Location |
---|---|
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/card/MinWatchCard.java | 433 - 470 |
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/card/MaxWatchCard.java | 365 - 401 |
File | Location |
---|---|
/usr/local/anthill/work/core/src/org/sat4j/tools/ExtendedDimacsArrayToDimacsConverter.java | 44 - 74 |
/usr/local/anthill/work/core/src/org/sat4j/tools/ExtendedDimacsArrayReader.java | 43 - 73 |
/usr/local/anthill/work/core/src/org/sat4j/reader/ExtendedDimacsReader.java | 46 - 80 |
File | Location |
---|---|
/usr/local/anthill/work/core/src/org/sat4j/minisat/orders/VarOrder.java | 199 - 245 |
/usr/local/anthill/work/core/src/org/sat4j/minisat/orders/VarOrderHeap.java | 145 - 190 |