adaptive {0, 1} [0] #uniform adaptivenoisescheme {1} [1] adaptiveprom {0} [0] adaptpromwalkprob {0} [0] adaptwalkprob {0} [0] #uniform alpha {1.01, 1.066, 1.126, 1.189, 1.3, 1.256, 1.326, 1.4} [1.189] c {0.1, 0.01, 0.001, 0.0001, 0.00001, 0.000001} [0.01] clausepen {0,1} [1] decreasingvariable {3} [3] dp {0.05} [0.05] heuristic {2} [2] maxinc {5,10,15,20} [10] novnoise {0.5} [0.5] performalternatenovelty {1} [1] performrandomwalk {0,1} [0] pflat {0.05, 0.10,0.15, 0.20} [0.15] phi {5} [5] promdp {0.05} [0.05] promisinglist {0} [0] promphi {5} [5] promnovnoise {0.5} [0.5] promtheta {6} [6] promwp {0.01} [0.01] ps {0, 0.033, 0.05, 0.066, 0.1, 0.133, 0.166, 0.2} [0.1] #uniform 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, 0.17, 0.333, 0.5, 0.666, 0.8, 0.83, 1} [0.5] #uniform rwp {0.01, 0.03, 0.05, 0.07, 0.1, 0.15} [0.01] rwpwalk {0.05} [0.05] s {0.1, 0.01, 0.001} [0.01] sapsthresh {-0.1} [-0.1] scoringmeasure {1,2,3} [1] selectclause {1} [1] singleclause {0} [0] smoothingscheme {1,2} [1] tabu {1, 3, 5, 7, 10, 15, 20} [1] tabusearch {0,1} [0] theta {6} [6] tiebreaking {1, 2, 3, 4} [1] updateschemepromlist {3} [3] varinfalse {1} [1] wp {0, 0.01, 0.02, 0.03, 0.04, 0.05, 0.06} [0.03] wpwalk {0.1,0.2,0.3,0.4,0.5,0.6, 0.7, 0.8} [0.5] Conditionals: randomwalk| performrandomwalk in {1} 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 {2} tabu | tabusearch in {1} ps | clausepen in {1} sapsthresh | clausepen in {2} ps | smoothingscheme in {1} ps | adaptive in {0} rho | clausepen in {1} rho | smoothingscheme in {1} alpha | clausepen in {1} alpha | smoothingscheme in {1} wp | clausepen in {1} wp | smoothingscheme in {1} pflat | clausepen in {1} pflat | smoothingscheme in {2} maxinc | clausepen in {1} maxinc | smoothingscheme in {2} smoothingscheme | clausepen in {1} s | adaptive in {0} c | adaptive in {0}