adaptive {0, 1} [1] #uniform
adaptivenoisescheme {1, 2} [1]
adaptiveprom {0, 1} [0]
adaptpromwalkprob {0, 1} [0]
adaptwalkprob {0, 1} [0] #uniform
alpha {1.3} [1.3]
c {0.1, 0.01, 0.001, 0.0001, 0.00001, 0.000001} [0.01]
clausepen {0,1} [1]
decreasingvariable {1,2,3,4,5,6,7,8,9,10,11} [3]
dp {0.01, 0.03, 0.05, 0.07, 0.1, 0.15, 0.20} [0.05]
heuristic {1,2,3,4,5,6,7,8,9,10,11,12,13} [2]
maxinc {10} [10]
novnoise {0.1, 0.2, 0.3, 0.4, 0.5, 0.6, 0.7 , 0.8} [0.5]
performalternatenovelty {0, 1} [1] 
performrandomwalk {0,1} [0]
pflat {0.15} [0.15]
phi {3,4,5,6,7,8,9,10} [5]
promdp {0.01, 0.03, 0.05, 0.07, 0.1, 0.15, 0.20} [0.05]
promisinglist {0,1} [1]
promphi {3,4,5,6,7,8,9,10} [5]
promnovnoise {0.1, 0.2, 0.3, 0.4, 0.5, 0.6, 0.7 , 0.8} [0.5]
promtheta {3,4,5,6,7,8,9,10} [6]
promwp {0.01, 0.03, 0.05, 0.07, 0.1, 0.15, 0.20} [0.01]
ps {0.1, 0.2, 0.3, 0.4, 0.5, 0.6, 0.7, 0.8, 0.9, 1.0} [0.4]
randomwalk {1,3,4,5} [1]
rdp {0.01, 0.03, 0.05, 0.07, 0.1, 0.15} [0.05]
rfp {0.01, 0.03, 0.05, 0.07, 0.1, 0.15} [0.01]
rho {0.8} [0.8]
rwp {0.01, 0.03, 0.05, 0.07, 0.1, 0.15} [0.01]
rwpwalk {0.01, 0.03, 0.05, 0.07, 0.1, 0.15} [0.05]
s {0.1, 0.01, 0.001} [0.01]
sapsthresh {-0.1} [-0.1]
scoringmeasure {1} [1]
selectclause {1,7} [1]
singleclause {1} [1]
smoothingscheme {1,2} [1]
tabu {1, 3, 5, 7, 10, 15, 20} [1]
tabusearch {0,1} [0]
theta {3,4,5,6,7,8,9,10} [6]
tiebreaking {1, 2, 3, 4} [1]
updateschemepromlist {1, 2, 3} [3]
varinfalse {1} [1]
wp {0.01, 0.03, 0.05, 0.07, 0.1, 0.15, 0.20} [0.01]  
wpwalk {0.1,0.2,0.3,0.4,0.5,0.6, 0.7, 0.8} [0.5]


Conditionals:
adaptwalkprob | adaptive in {1}
adaptiveprom | promisinglist in {1}
adaptivenoisescheme | adaptive in {1}
adaptivenoisescheme | promisinglist in {1}  
adaptpromwalkprob | adaptiveprom in {1}
adaptpromwalkprob | promisinglist in {1}
decreasingvariable | promisinglist in {1}
novnoise | heuristic in {1,2,3,4,5,6,10,11,12,13}
novnoise | adaptive in {0}
wpwalk | heuristic in {7,8,9}
wpwalk | adaptive in {0}
promnovnoise | decreasingvariable in {7,8,9,10,11}
promnovnoise | promisinglist in {1}
promnovnoise | adaptiveprom in {0}
wp | heuristic in {2,6,11}
wp | adaptwalkprob in {0}
dp | heuristic in {3,4,12,13}
dp | adaptwalkprob in {0}
randomwalk| performrandomwalk in {1}
phi | adaptive in {1}
theta | adaptive in {1}
phi | heuristic in {1,2,3,4,5,6,7,9,10,11,12,13}
theta | heuristic in {1,2,3,4,5,6,7,9,10,11,12,13}
promtheta | adaptiveprom in {1}
promtheta | promisinglist in {1}
promtheta | decreasingvariable in {7,8,9,10,11}
promphi | adaptiveprom in {1}
promphi | promisinglist in {1}
promphi | decreasingvariable in {7,8,9,10,11}
promwp | promisinglist in {1}
promwp | decreasingvariable in {8,9,10}
promwp | adaptpromwalkprob in {0}
promdp | promisinglist in {1}
promdp | decreasingvariable in {8,9,10}
promwp | adaptpromwalkprob in {0}
rwp | performrandomwalk in {1} 
rwp | randomwalk in {1}
rfp | performrandomwalk in {1} 
rfp | randomwalk in {4,5}
rdp| performrandomwalk in {1} 
rdp | randomwalk in {3}
rwpwalk| performrandomwalk in {1} 
rwpwalk | randomwalk in {}
s | heuristic in {8}
c | heuristic in {8}
tabu | tabusearch in {1}
ps | clausepen in {1}
performalternatenovelty | heuristic in {1,2,3,4,10,11,12,13}
updateschemepromlist | promisinglist in {1}
tiebreaking | promisinglist in {1}
tiebreaking | decreasingvariable in {1,4,5}
smoothingscheme | clausepen in {1}

Forbidden:
{clausepen = 0 , selectclause = 7}
