interleaveDR {true,false} [true]
interleaveDR_Bound_Large [1,1000] [50]i
interleaveDR_Constant_Large [1,20] [2]i
interleaveDR_Constant_Small [1,20] [2]i
rule1QueueSize [1,200000] [7500]i
rule1UseSumAsCount {true,false} [false]
rule1MaxUnsuccess [1,10000] [500]i
rule2 {true,false} [true]
rule3 {true,false} [true]
rule4 {true,false} [true]
rule5 {true,false} [true]
rule6 {true,false} [true]
rule7 {true,false} [true]
Rule0_InterleavingConst [1,100] [1]i
Rule1_InterleavingConst [1,100] [1]i
Rule2_InterleavingConst [1,100] [1]i
Rule3_InterleavingConst [1,100] [1]i
Rule4_InterleavingConst [1,100] [1]i
Rule5_InterleavingConst [1,100] [1]i
Rule6_InterleavingConst [1,100] [100]i
Rule7_InterleavingConst [1,100] [100]i
randomizeRuleOrderAtBeginning {true,false} [false]
randomizeRuleOrderEachApplication {true,false} [false]
applyRulesExhaustively {true,false} [true]
offset_DR [0,20] [0]i
useLevelForKernelInterleavingConstant {true,false} [false]
useLevelForLPInterleavingConstant {true,false} [true]
interleaveLP {true,false} [true]
interleaveLP_Bound_Medium [1,1000] [50]i
interleaveLP_BoundFraction_Small [0.0,1.0] [0.4]
interleaveLP_Constant_Large [1,20] [9]i
interleaveLP_Constant_Medium [1,20] [7]i
interleaveLP_Constant_Small [1,20] [3]i
offset_LP [0,20] [2]i
StepIncreaser_AlwaysRoundStepsToPowOfTwo {true,false} [false]
StepIncreaser_StepIncreaseExponent [0.5,10.0] [1.2]
lowerBoundTimeProportion [0.01,0.5] [0.03]
GreedyheuristicUpperBoundRuns [1,1000] [10]i
upperBoundTimeProportion [0.01,0.9] [0.08]
GreedyLowerBound_highestShuffleFrac [0,1] [0.2]
GreedyLowerBound_modShuffle [2,20] [6]i
LP_LowerBound_N_Threshold [10,1000] [100]i
LP_LowerBound_ILP_Part_First_Run [2,100] [5]i
LP_LowerBound_Time_Fac [0,4] [2.0]
GreedyLowerBound_Time_Frac [0,4] [0.75]
GreedyLowerBound_numOfIndpendentGreedyRuns [1,6] [2]i
GreedyUpperBound_RANDOM_ADD_COMPARISON [0,20] [2.0]
GreedyUpperBound_RANDOM_SCORE_ADD [0,20] [3.0]
GreedyUpperBound_Max_Queue_Size [10,100000] [1000]i

Conditionals:
Rule2_InterleavingConst|rule2 in {true}
Rule3_InterleavingConst|rule3 in {true}
Rule4_InterleavingConst|rule4 in {true}
Rule5_InterleavingConst|rule5 in {true}
Rule6_InterleavingConst|rule6 in {true}
Rule7_InterleavingConst|rule7 in {true}
interleaveDR_Bound_Large|interleaveDR in {true}
interleaveDR_Constant_Large|interleaveDR in {true}
interleaveDR_Constant_Small|interleaveDR in {true}
randomizeRuleOrderEachApplication|interleaveDR in {true}
offset_DR|interleaveDR in {true}
useLevelForKernelInterleavingConstant|interleaveDR in {true}
useLevelForLPInterleavingConstant|interleaveLP in {true}
interleaveLP_Bound_Medium|interleaveLP in {true}
interleaveLP_BoundFraction_Small|interleaveLP in {true}
interleaveLP_Constant_Large|interleaveLP in {true}
interleaveLP_Constant_Medium|interleaveLP in {true}
interleaveLP_Constant_Small|interleaveLP in {true}
offset_LP|interleaveLP in {true}