duplicated block id: 1
size: 19 cleaned lines of code
in 2 files:
 - src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/managed/modelchecking/ModelCheckingStrategyConfiguration.kt (41:61)
 - src/jvm/main/org/jetbrains/lincheck/datastructures/ModelCheckingOptions.kt (33:53)

duplicated block id: 2
size: 16 cleaned lines of code
in 2 files:
 - src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/managed/modelchecking/ModelCheckingStrategyConfiguration.kt (108:125)
 - src/jvm/main/org/jetbrains/lincheck/datastructures/ModelCheckingOptions.kt (100:117)

duplicated block id: 3
size: 16 cleaned lines of code
in 2 files:
 - src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/stress/StressStrategyConfiguration.kt (90:107)
 - src/jvm/main/org/jetbrains/lincheck/datastructures/StressOptions.kt (84:101)

duplicated block id: 4
size: 15 cleaned lines of code
in 2 files:
 - src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/stress/StressStrategyConfiguration.kt (36:52)
 - src/jvm/main/org/jetbrains/lincheck/datastructures/StressOptions.kt (30:46)