./ubcsat -alg satenstein -adaptivenoisescheme 1 -adaptiveprom 0 -adaptpromwalkprob 0 -adaptwalkprob 0 -c 0.0001 -decreasingvariable 3 -dp 0.05 -heuristic 2 -maxinc 10 -novnoise 0.5 -performalternatenovelty 1 -pflat 0.15 -phi 5 -promdp 0.05 -promisinglist 0 -promnovnoise 0.5 -promphi 5 -promtheta 6 -promwp 0.01 -s 0.01 -scoringmeasure 1 -selectclause 1 -theta 6 -tiebreaking 4 -updateschemepromlist 3 -wpwalk 0.6 -adaptive 0 -clausepen 1 -performrandomwalk 1 -randomwalk 4 -rfp 0.1 -singleclause 0 -smoothingscheme 2 -tabusearch 0 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptivenoisescheme 2 -adaptiveprom 0 -adaptpromwalkprob 0 -adaptwalkprob 0 -c 0.1 -decreasingvariable 3 -dp 0.05 -heuristic 2 -maxinc 10 -novnoise 0.5 -performalternatenovelty 1 -pflat 0.15 -phi 5 -promdp 0.05 -promisinglist 0 -promnovnoise 0.5 -promphi 5 -promtheta 6 -promwp 0.01 -s 0.01 -scoringmeasure 1 -selectclause 1 -theta 6 -tiebreaking 4 -updateschemepromlist 3 -wpwalk 0.1 -adaptive 0 -clausepen 1 -performrandomwalk 1 -randomwalk 4 -rfp 0.01 -singleclause 0 -smoothingscheme 2 -tabu 1 -tabusearch 1 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptivenoisescheme 1 -adaptiveprom 0 -adaptpromwalkprob 0 -adaptwalkprob 0 -c 0.000001 -decreasingvariable 3 -dp 0.05 -heuristic 2 -maxinc 10 -novnoise 0.5 -performalternatenovelty 1 -pflat 0.10 -phi 5 -promdp 0.05 -promisinglist 0 -promnovnoise 0.5 -promphi 5 -promtheta 6 -promwp 0.01 -s 0.001 -scoringmeasure 1 -selectclause 1 -theta 6 -tiebreaking 4 -updateschemepromlist 3 -wpwalk 0.3 -adaptive 0 -clausepen 1 -performrandomwalk 0 -singleclause 0 -smoothingscheme 2 -tabu 3 -tabusearch 1 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptivenoisescheme 2 -adaptiveprom 0 -adaptpromwalkprob 0 -adaptwalkprob 0 -alpha 1.126 -decreasingvariable 3 -dp 0.05 -heuristic 2 -novnoise 0.5 -performalternatenovelty 1 -phi 5 -promdp 0.05 -promisinglist 0 -promnovnoise 0.5 -promphi 5 -promtheta 6 -promwp 0.01 -rho 0.333 -scoringmeasure 1 -selectclause 1 -theta 6 -tiebreaking 2 -updateschemepromlist 3 -wp 0.06 -wpwalk 0.3 -adaptive 1 -clausepen 1 -performrandomwalk 1 -randomwalk 1 -rwp 0.05 -singleclause 0 -smoothingscheme 1 -tabusearch 0 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptive 0 -alpha 1.3 -c 0.00001 -clausepen 0 -heuristic 8 -maxinc 10 -performrandomwalk 1 -pflat 0.15 -promisinglist 0 -randomwalk 5 -rfp 0.05 -rho 0.8 -s 0.1 -sapsthresh -0.1 -scoringmeasure 1 -selectclause 1 -singleclause 1 -tabu 1 -tabusearch 1 -varinfalse 1 -wpwalk 0.2 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptivenoisescheme 2 -adaptiveprom 0 -adaptpromwalkprob 0 -adaptwalkprob 0 -alpha 1.126 -decreasingvariable 3 -dp 0.05 -heuristic 2 -novnoise 0.5 -performalternatenovelty 1 -phi 5 -promdp 0.05 -promisinglist 0 -promnovnoise 0.5 -promphi 5 -promtheta 6 -promwp 0.01 -rho 0 -scoringmeasure 3 -selectclause 1 -theta 6 -tiebreaking 1 -updateschemepromlist 3 -wp 0.01 -wpwalk 0.6 -adaptive 1 -clausepen 1 -performrandomwalk 1 -randomwalk 1 -rwp 0.03 -singleclause 0 -smoothingscheme 1 -tabusearch 0 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptivenoisescheme 2 -adaptiveprom 0 -adaptpromwalkprob 0 -adaptwalkprob 0 -c 0.01 -decreasingvariable 3 -dp 0.05 -heuristic 2 -maxinc 10 -novnoise 0.5 -performalternatenovelty 1 -pflat 0.10 -phi 5 -promdp 0.05 -promisinglist 0 -promnovnoise 0.5 -promphi 5 -promtheta 6 -promwp 0.01 -s 0.1 -scoringmeasure 1 -selectclause 1 -theta 6 -tiebreaking 4 -updateschemepromlist 3 -wpwalk 0.2 -adaptive 0 -clausepen 1 -performrandomwalk 0 -singleclause 0 -smoothingscheme 2 -tabu 1 -tabusearch 1 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptivenoisescheme 1 -adaptiveprom 0 -adaptpromwalkprob 0 -adaptwalkprob 0 -c 0.1 -decreasingvariable 3 -dp 0.05 -heuristic 2 -maxinc 5 -novnoise 0.5 -performalternatenovelty 1 -pflat 0.10 -phi 5 -promdp 0.05 -promisinglist 0 -promnovnoise 0.5 -promphi 5 -promtheta 6 -promwp 0.01 -s 0.01 -scoringmeasure 3 -selectclause 1 -theta 6 -tiebreaking 3 -updateschemepromlist 3 -wpwalk 0.6 -adaptive 0 -clausepen 1 -performrandomwalk 1 -randomwalk 4 -rfp 0.01 -singleclause 0 -smoothingscheme 2 -tabu 3 -tabusearch 1 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptivenoisescheme 1 -adaptiveprom 0 -adaptpromwalkprob 0 -adaptwalkprob 0 -c 0.01 -decreasingvariable 3 -dp 0.05 -heuristic 2 -maxinc 10 -novnoise 0.5 -performalternatenovelty 1 -pflat 0.20 -phi 5 -promdp 0.05 -promisinglist 0 -promnovnoise 0.5 -promphi 5 -promtheta 6 -promwp 0.01 -s 0.1 -scoringmeasure 1 -selectclause 1 -theta 6 -tiebreaking 1 -updateschemepromlist 3 -wpwalk 0.3 -adaptive 0 -clausepen 1 -performrandomwalk 0 -singleclause 0 -smoothingscheme 2 -tabusearch 0 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptivenoisescheme 2 -adaptiveprom 0 -adaptpromwalkprob 0 -adaptwalkprob 0 -c 0.001 -decreasingvariable 3 -dp 0.05 -heuristic 2 -maxinc 10 -novnoise 0.5 -performalternatenovelty 1 -pflat 0.10 -phi 5 -promdp 0.05 -promisinglist 0 -promnovnoise 0.5 -promphi 5 -promtheta 6 -promwp 0.01 -s 0.001 -scoringmeasure 1 -selectclause 1 -theta 6 -tiebreaking 1 -updateschemepromlist 3 -wpwalk 0.8 -adaptive 0 -clausepen 1 -performrandomwalk 0 -singleclause 0 -smoothingscheme 2 -tabusearch 0 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptivenoisescheme 2 -adaptiveprom 0 -adaptpromwalkprob 0 -adaptwalkprob 0 -c 0.01 -decreasingvariable 3 -dp 0.05 -heuristic 2 -maxinc 10 -novnoise 0.5 -performalternatenovelty 1 -pflat 0.15 -phi 5 -promdp 0.05 -promisinglist 0 -promnovnoise 0.5 -promphi 5 -promtheta 6 -promwp 0.01 -s 0.001 -scoringmeasure 1 -selectclause 1 -theta 6 -tiebreaking 4 -updateschemepromlist 3 -wpwalk 0.5 -adaptive 0 -clausepen 1 -performrandomwalk 0 -singleclause 0 -smoothingscheme 2 -tabu 3 -tabusearch 1 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptivenoisescheme 2 -adaptiveprom 0 -adaptpromwalkprob 0 -adaptwalkprob 0 -c 0.000001 -decreasingvariable 3 -dp 0.05 -heuristic 2 -maxinc 10 -novnoise 0.5 -performalternatenovelty 1 -pflat 0.15 -phi 5 -promdp 0.05 -promisinglist 0 -promnovnoise 0.5 -promphi 5 -promtheta 6 -promwp 0.01 -s 0.001 -scoringmeasure 1 -selectclause 1 -theta 6 -tiebreaking 4 -updateschemepromlist 3 -wpwalk 0.4 -adaptive 0 -clausepen 1 -performrandomwalk 0 -singleclause 0 -smoothingscheme 2 -tabu 1 -tabusearch 1 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptive 0 -alpha 1.3 -c 0.0001 -clausepen 0 -heuristic 8 -maxinc 10 -performrandomwalk 1 -pflat 0.15 -promisinglist 0 -randomwalk 3 -rdp 0.15 -rho 0.8 -s 0.1 -sapsthresh -0.1 -scoringmeasure 1 -selectclause 1 -singleclause 1 -tabusearch 0 -varinfalse 1 -wpwalk 0.1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptive 1 -adaptwalkprob 0 -alpha 1.3 -clausepen 0 -dp 0.03 -heuristic 3 -maxinc 10 -performalternatenovelty 1 -performrandomwalk 0 -pflat 0.15 -phi 8 -promisinglist 0 -rho 0.8 -sapsthresh -0.1 -scoringmeasure 1 -selectclause 1 -singleclause 1 -tabu 3 -tabusearch 1 -theta 4 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptivenoisescheme 1 -adaptiveprom 0 -adaptpromwalkprob 0 -adaptwalkprob 0 -alpha 1.126 -decreasingvariable 3 -dp 0.05 -heuristic 2 -novnoise 0.5 -performalternatenovelty 1 -phi 5 -promdp 0.05 -promisinglist 0 -promnovnoise 0.5 -promphi 5 -promtheta 6 -promwp 0.01 -rho 0.17 -scoringmeasure 3 -selectclause 1 -theta 6 -tiebreaking 1 -updateschemepromlist 3 -wp 0.03 -wpwalk 0.3 -adaptive 1 -clausepen 1 -performrandomwalk 0 -singleclause 0 -smoothingscheme 1 -tabusearch 0 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptivenoisescheme 2 -adaptiveprom 0 -adaptpromwalkprob 0 -adaptwalkprob 0 -alpha 1.126 -decreasingvariable 3 -dp 0.05 -heuristic 2 -novnoise 0.5 -performalternatenovelty 1 -phi 5 -promdp 0.05 -promisinglist 0 -promnovnoise 0.5 -promphi 5 -promtheta 6 -promwp 0.01 -rho 0 -scoringmeasure 3 -selectclause 1 -theta 6 -tiebreaking 4 -updateschemepromlist 3 -wp 0.01 -wpwalk 0.6 -adaptive 1 -clausepen 1 -performrandomwalk 0 -singleclause 0 -smoothingscheme 1 -tabusearch 0 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptivenoisescheme 2 -adaptiveprom 0 -adaptpromwalkprob 0 -adaptwalkprob 0 -alpha 1.126 -decreasingvariable 3 -dp 0.05 -heuristic 2 -novnoise 0.5 -performalternatenovelty 1 -phi 5 -promdp 0.05 -promisinglist 0 -promnovnoise 0.5 -promphi 5 -promtheta 6 -promwp 0.01 -rho 0 -scoringmeasure 3 -selectclause 1 -theta 6 -tiebreaking 4 -updateschemepromlist 3 -wp 0.03 -wpwalk 0.8 -adaptive 1 -clausepen 1 -performrandomwalk 1 -randomwalk 3 -rdp 0.01 -singleclause 0 -smoothingscheme 1 -tabusearch 0 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptive 1 -adaptwalkprob 0 -alpha 1.3 -clausepen 0 -heuristic 6 -maxinc 10 -performrandomwalk 0 -pflat 0.15 -phi 8 -promisinglist 0 -rho 0.8 -sapsthresh -0.1 -scoringmeasure 1 -selectclause 1 -singleclause 1 -tabusearch 0 -theta 9 -varinfalse 1 -wp 0.07 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptive 1 -adaptwalkprob 1 -alpha 1.3 -clausepen 0 -heuristic 5 -maxinc 10 -performrandomwalk 1 -pflat 0.15 -phi 7 -promisinglist 0 -randomwalk 4 -rfp 0.1 -rho 0.8 -sapsthresh -0.1 -scoringmeasure 1 -selectclause 1 -singleclause 1 -tabusearch 0 -theta 6 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptive 1 -adaptwalkprob 1 -alpha 1.3 -clausepen 0 -heuristic 6 -maxinc 10 -performrandomwalk 1 -pflat 0.15 -phi 10 -promisinglist 0 -randomwalk 4 -rfp 0.07 -rho 0.8 -sapsthresh -0.1 -scoringmeasure 1 -selectclause 1 -singleclause 1 -tabusearch 0 -theta 3 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptive 0 -alpha 1.3 -clausepen 0 -heuristic 5 -maxinc 10 -novnoise 0.5 -performrandomwalk 1 -pflat 0.15 -promisinglist 0 -randomwalk 4 -rfp 0.1 -rho 0.8 -sapsthresh -0.1 -scoringmeasure 1 -selectclause 1 -singleclause 1 -tabusearch 0 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptive 0 -alpha 1.3 -clausepen 0 -heuristic 5 -maxinc 10 -novnoise 0.4 -performrandomwalk 1 -pflat 0.15 -promisinglist 0 -randomwalk 4 -rfp 0.07 -rho 0.8 -sapsthresh -0.1 -scoringmeasure 1 -selectclause 1 -singleclause 1 -tabusearch 0 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptive 0 -alpha 1.3 -clausepen 0 -heuristic 5 -maxinc 10 -novnoise 0.4 -performrandomwalk 1 -pflat 0.15 -promisinglist 0 -randomwalk 5 -rfp 0.07 -rho 0.8 -sapsthresh -0.1 -scoringmeasure 1 -selectclause 1 -singleclause 1 -tabusearch 0 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptive 1 -adaptivenoisescheme 2 -adaptiveprom 0 -adaptwalkprob 1 -alpha 1.3 -clausepen 0 -decreasingvariable 8 -heuristic 5 -maxinc 10 -performrandomwalk 0 -pflat 0.15 -phi 8 -promisinglist 1 -promnovnoise 0.8 -rho 0.8 -sapsthresh -0.1 -scoringmeasure 1 -selectclause 1 -singleclause 1 -tabusearch 0 -theta 6 -updateschemepromlist 1 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptive 0 -alpha 1.3 -clausepen 0 -heuristic 4 -maxinc 10 -novnoise 0.8 -performalternatenovelty 1 -performrandomwalk 1 -pflat 0.15 -promisinglist 0 -randomwalk 4 -rfp 0.1 -rho 0.8 -sapsthresh -0.1 -scoringmeasure 1 -selectclause 1 -singleclause 1 -tabusearch 0 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptive 0 -alpha 1.3 -clausepen 0 -heuristic 6 -maxinc 10 -novnoise 0.2 -performrandomwalk 1 -pflat 0.15 -promisinglist 0 -randomwalk 4 -rfp 0.1 -rho 0.8 -sapsthresh -0.1 -scoringmeasure 1 -selectclause 1 -singleclause 1 -tabusearch 0 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptive 0 -alpha 1.3 -clausepen 0 -heuristic 5 -maxinc 10 -novnoise 0.1 -performrandomwalk 1 -pflat 0.15 -promisinglist 0 -randomwalk 4 -rfp 0.07 -rho 0.8 -sapsthresh -0.1 -scoringmeasure 1 -selectclause 1 -singleclause 1 -tabusearch 0 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptive 0 -alpha 1.3 -clausepen 0 -heuristic 4 -maxinc 10 -novnoise 0.4 -performalternatenovelty 1 -performrandomwalk 1 -pflat 0.15 -promisinglist 0 -randomwalk 4 -rfp 0.1 -rho 0.8 -sapsthresh -0.1 -scoringmeasure 1 -selectclause 1 -singleclause 1 -tabusearch 0 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptive 1 -adaptivenoisescheme 1 -adaptiveprom 0 -adaptwalkprob 1 -alpha 1.3 -clausepen 0 -decreasingvariable 6 -heuristic 5 -maxinc 10 -performrandomwalk 0 -pflat 0.15 -phi 6 -promisinglist 1 -rho 0.8 -sapsthresh -0.1 -scoringmeasure 1 -selectclause 1 -singleclause 1 -tabusearch 0 -theta 9 -updateschemepromlist 1 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptive 0 -alpha 1.3 -clausepen 0 -heuristic 5 -maxinc 10 -novnoise 0.3 -performrandomwalk 1 -pflat 0.15 -promisinglist 0 -randomwalk 4 -rfp 0.07 -rho 0.8 -sapsthresh -0.1 -scoringmeasure 1 -selectclause 1 -singleclause 1 -tabusearch 0 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptive 0 -alpha 1.3 -clausepen 0 -heuristic 4 -maxinc 10 -novnoise 0.4 -performalternatenovelty 1 -performrandomwalk 1 -pflat 0.15 -promisinglist 0 -randomwalk 5 -rfp 0.1 -rho 0.8 -sapsthresh -0.1 -scoringmeasure 1 -selectclause 1 -singleclause 1 -tabusearch 0 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptive 1 -adaptivenoisescheme 1 -adaptiveprom 1 -adaptpromwalkprob 0 -adaptwalkprob 0 -alpha 1.3 -clausepen 0 -decreasingvariable 8 -heuristic 5 -maxinc 10 -performrandomwalk 0 -pflat 0.15 -phi 8 -promdp 0.20 -promisinglist 1 -promphi 3 -promtheta 5 -promwp 0.05 -rho 0.8 -sapsthresh -0.1 -scoringmeasure 1 -selectclause 1 -singleclause 1 -tabusearch 0 -theta 5 -updateschemepromlist 1 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptive 0 -alpha 1.3 -clausepen 0 -heuristic 4 -maxinc 10 -novnoise 0.5 -performalternatenovelty 0 -performrandomwalk 1 -pflat 0.15 -promisinglist 0 -randomwalk 5 -rfp 0.07 -rho 0.8 -sapsthresh -0.1 -scoringmeasure 1 -selectclause 1 -singleclause 1 -tabusearch 0 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptive 0 -alpha 1.3 -clausepen 0 -heuristic 4 -maxinc 10 -novnoise 0.4 -performalternatenovelty 0 -performrandomwalk 1 -pflat 0.15 -promisinglist 0 -randomwalk 4 -rfp 0.1 -rho 0.8 -sapsthresh -0.1 -scoringmeasure 1 -selectclause 1 -singleclause 1 -tabusearch 0 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptivenoisescheme 1 -adaptiveprom 0 -adaptpromwalkprob 0 -adaptwalkprob 0 -alpha 1.066 -decreasingvariable 3 -dp 0.05 -heuristic 2 -novnoise 0.5 -performalternatenovelty 1 -phi 5 -promdp 0.05 -promisinglist 0 -promnovnoise 0.5 -promphi 5 -promtheta 6 -promwp 0.01 -rho 0.83 -scoringmeasure 3 -selectclause 1 -theta 6 -tiebreaking 2 -updateschemepromlist 3 -wp 0.02 -wpwalk 0.2 -adaptive 1 -clausepen 1 -performrandomwalk 0 -singleclause 0 -smoothingscheme 1 -tabusearch 0 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptivenoisescheme 2 -adaptiveprom 0 -adaptpromwalkprob 0 -adaptwalkprob 0 -alpha 1.126 -c 0.001 -decreasingvariable 3 -dp 0.05 -heuristic 2 -novnoise 0.5 -performalternatenovelty 1 -phi 5 -promdp 0.05 -promisinglist 0 -promnovnoise 0.5 -promphi 5 -promtheta 6 -promwp 0.01 -ps 0.033 -rho 0.8 -s 0.001 -scoringmeasure 1 -selectclause 1 -theta 6 -tiebreaking 3 -updateschemepromlist 3 -wp 0.05 -wpwalk 0.5 -adaptive 0 -clausepen 1 -performrandomwalk 0 -singleclause 0 -smoothingscheme 1 -tabusearch 0 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptivenoisescheme 1 -adaptiveprom 0 -adaptpromwalkprob 0 -adaptwalkprob 0 -alpha 1.126 -decreasingvariable 3 -dp 0.05 -heuristic 2 -novnoise 0.5 -performalternatenovelty 1 -phi 5 -promdp 0.05 -promisinglist 0 -promnovnoise 0.5 -promphi 5 -promtheta 6 -promwp 0.01 -rho 0.83 -scoringmeasure 3 -selectclause 1 -theta 6 -tiebreaking 4 -updateschemepromlist 3 -wp 0.01 -wpwalk 0.6 -adaptive 1 -clausepen 1 -performrandomwalk 0 -singleclause 0 -smoothingscheme 1 -tabusearch 0 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptivenoisescheme 2 -adaptiveprom 0 -adaptpromwalkprob 0 -adaptwalkprob 0 -alpha 1.126 -c 0.0001 -decreasingvariable 3 -dp 0.05 -heuristic 2 -novnoise 0.5 -performalternatenovelty 1 -phi 5 -promdp 0.05 -promisinglist 0 -promnovnoise 0.5 -promphi 5 -promtheta 6 -promwp 0.01 -ps 0.033 -rho 0.8 -s 0.001 -scoringmeasure 3 -selectclause 1 -theta 6 -tiebreaking 3 -updateschemepromlist 3 -wp 0.04 -wpwalk 0.3 -adaptive 0 -clausepen 1 -performrandomwalk 0 -singleclause 0 -smoothingscheme 1 -tabusearch 0 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptivenoisescheme 2 -adaptiveprom 0 -adaptpromwalkprob 0 -adaptwalkprob 0 -alpha 1.126 -decreasingvariable 3 -dp 0.05 -heuristic 2 -novnoise 0.5 -performalternatenovelty 1 -phi 5 -promdp 0.05 -promisinglist 0 -promnovnoise 0.5 -promphi 5 -promtheta 6 -promwp 0.01 -rho 0.83 -scoringmeasure 3 -selectclause 1 -theta 6 -tiebreaking 2 -updateschemepromlist 3 -wp 0.03 -wpwalk 0.8 -adaptive 1 -clausepen 1 -performrandomwalk 0 -singleclause 0 -smoothingscheme 1 -tabusearch 0 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptivenoisescheme 2 -adaptiveprom 0 -adaptpromwalkprob 0 -adaptwalkprob 0 -alpha 1.189 -c 0.01 -decreasingvariable 3 -dp 0.05 -heuristic 2 -novnoise 0.5 -performalternatenovelty 1 -phi 5 -promdp 0.05 -promisinglist 0 -promnovnoise 0.5 -promphi 5 -promtheta 6 -promwp 0.01 -ps 0.05 -rho 0.83 -s 0.001 -scoringmeasure 1 -selectclause 1 -theta 6 -tiebreaking 4 -updateschemepromlist 3 -wp 0.05 -wpwalk 0.4 -adaptive 0 -clausepen 1 -performrandomwalk 1 -randomwalk 3 -rdp 0.01 -singleclause 0 -smoothingscheme 1 -tabusearch 0 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptivenoisescheme 2 -adaptiveprom 0 -adaptpromwalkprob 0 -adaptwalkprob 0 -alpha 1.326 -c 0.00001 -decreasingvariable 3 -dp 0.05 -heuristic 2 -novnoise 0.5 -performalternatenovelty 1 -phi 5 -promdp 0.05 -promisinglist 0 -promnovnoise 0.5 -promphi 5 -promtheta 6 -promwp 0.01 -ps 0.033 -rho 0 -s 0.001 -scoringmeasure 3 -selectclause 1 -theta 6 -tiebreaking 2 -updateschemepromlist 3 -wp 0.05 -wpwalk 0.4 -adaptive 0 -clausepen 1 -performrandomwalk 1 -randomwalk 3 -rdp 0.01 -singleclause 0 -smoothingscheme 1 -tabusearch 0 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptivenoisescheme 1 -adaptiveprom 0 -adaptpromwalkprob 0 -adaptwalkprob 0 -alpha 1.189 -c 0.00001 -decreasingvariable 3 -dp 0.05 -heuristic 2 -novnoise 0.5 -performalternatenovelty 1 -phi 5 -promdp 0.05 -promisinglist 0 -promnovnoise 0.5 -promphi 5 -promtheta 6 -promwp 0.01 -ps 0.033 -rho 0.666 -s 0.1 -scoringmeasure 3 -selectclause 1 -theta 6 -tiebreaking 3 -updateschemepromlist 3 -wp 0.06 -wpwalk 0.4 -adaptive 0 -clausepen 1 -performrandomwalk 0 -singleclause 0 -smoothingscheme 1 -tabu 1 -tabusearch 1 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptivenoisescheme 1 -adaptiveprom 0 -adaptpromwalkprob 0 -adaptwalkprob 0 -alpha 1.189 -c 0.1 -decreasingvariable 3 -dp 0.05 -heuristic 2 -novnoise 0.5 -performalternatenovelty 1 -phi 5 -promdp 0.05 -promisinglist 0 -promnovnoise 0.5 -promphi 5 -promtheta 6 -promwp 0.01 -ps 0.05 -rho 0.83 -s 0.001 -scoringmeasure 1 -selectclause 1 -theta 6 -tiebreaking 1 -updateschemepromlist 3 -wp 0.06 -wpwalk 0.2 -adaptive 0 -clausepen 1 -performrandomwalk 0 -singleclause 0 -smoothingscheme 1 -tabusearch 0 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptivenoisescheme 1 -adaptiveprom 0 -adaptpromwalkprob 0 -adaptwalkprob 0 -alpha 1.126 -c 0.00001 -decreasingvariable 3 -dp 0.05 -heuristic 2 -novnoise 0.5 -performalternatenovelty 1 -phi 5 -promdp 0.05 -promisinglist 0 -promnovnoise 0.5 -promphi 5 -promtheta 6 -promwp 0.01 -ps 0.033 -rho 0.8 -s 0.1 -scoringmeasure 3 -selectclause 1 -theta 6 -tiebreaking 2 -updateschemepromlist 3 -wp 0.03 -wpwalk 0.1 -adaptive 0 -clausepen 1 -performrandomwalk 1 -randomwalk 3 -rdp 0.01 -singleclause 0 -smoothingscheme 1 -tabusearch 0 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptivenoisescheme 1 -adaptiveprom 0 -adaptpromwalkprob 0 -adaptwalkprob 0 -alpha 1.189 -c 0.00001 -decreasingvariable 3 -dp 0.05 -heuristic 2 -novnoise 0.5 -performalternatenovelty 1 -phi 5 -promdp 0.05 -promisinglist 0 -promnovnoise 0.5 -promphi 5 -promtheta 6 -promwp 0.01 -ps 0.05 -rho 0.8 -s 0.1 -scoringmeasure 3 -selectclause 1 -theta 6 -tiebreaking 1 -updateschemepromlist 3 -wp 0.06 -wpwalk 0.2 -adaptive 0 -clausepen 1 -performrandomwalk 1 -randomwalk 4 -rfp 0.15 -singleclause 0 -smoothingscheme 1 -tabusearch 0 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptivenoisescheme 1 -adaptiveprom 0 -adaptpromwalkprob 0 -adaptwalkprob 0 -alpha 1.126 -decreasingvariable 3 -dp 0.05 -heuristic 2 -novnoise 0.5 -performalternatenovelty 1 -phi 5 -promdp 0.05 -promisinglist 0 -promnovnoise 0.5 -promphi 5 -promtheta 6 -promwp 0.01 -rho 0.83 -scoringmeasure 1 -selectclause 1 -theta 6 -tiebreaking 2 -updateschemepromlist 3 -wp 0.03 -wpwalk 0.1 -adaptive 1 -clausepen 1 -performrandomwalk 0 -singleclause 0 -smoothingscheme 1 -tabu 1 -tabusearch 1 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptivenoisescheme 1 -adaptiveprom 0 -adaptpromwalkprob 0 -adaptwalkprob 0 -alpha 1.066 -decreasingvariable 3 -dp 0.05 -heuristic 2 -novnoise 0.5 -performalternatenovelty 1 -phi 5 -promdp 0.05 -promisinglist 0 -promnovnoise 0.5 -promphi 5 -promtheta 6 -promwp 0.01 -rho 0.83 -scoringmeasure 3 -selectclause 1 -theta 6 -tiebreaking 2 -updateschemepromlist 3 -wp 0.06 -wpwalk 0.5 -adaptive 1 -clausepen 1 -performrandomwalk 0 -singleclause 0 -smoothingscheme 1 -tabusearch 0 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptivenoisescheme 1 -adaptiveprom 0 -adaptpromwalkprob 0 -adaptwalkprob 0 -alpha 1.189 -c 0.00001 -decreasingvariable 3 -dp 0.05 -heuristic 2 -novnoise 0.5 -performalternatenovelty 1 -phi 5 -promdp 0.05 -promisinglist 0 -promnovnoise 0.5 -promphi 5 -promtheta 6 -promwp 0.01 -ps 0.033 -rho 0.666 -s 0.001 -scoringmeasure 3 -selectclause 1 -theta 6 -tiebreaking 2 -updateschemepromlist 3 -wp 0.03 -wpwalk 0.5 -adaptive 0 -clausepen 1 -performrandomwalk 0 -singleclause 0 -smoothingscheme 1 -tabusearch 0 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptivenoisescheme 1 -adaptiveprom 0 -adaptpromwalkprob 0 -adaptwalkprob 0 -alpha 1.126 -decreasingvariable 3 -dp 0.05 -heuristic 2 -novnoise 0.5 -performalternatenovelty 1 -phi 5 -promdp 0.05 -promisinglist 0 -promnovnoise 0.5 -promphi 5 -promtheta 6 -promwp 0.01 -rho 0.8 -scoringmeasure 1 -selectclause 1 -theta 6 -tiebreaking 4 -updateschemepromlist 3 -wp 0.04 -wpwalk 0.2 -adaptive 1 -clausepen 1 -performrandomwalk 0 -singleclause 0 -smoothingscheme 1 -tabusearch 0 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptivenoisescheme 1 -adaptiveprom 0 -adaptpromwalkprob 0 -adaptwalkprob 0 -alpha 1.126 -decreasingvariable 3 -dp 0.05 -heuristic 2 -novnoise 0.5 -performalternatenovelty 1 -phi 5 -promdp 0.05 -promisinglist 0 -promnovnoise 0.5 -promphi 5 -promtheta 6 -promwp 0.01 -rho 0.8 -scoringmeasure 3 -selectclause 1 -theta 6 -tiebreaking 4 -updateschemepromlist 3 -wp 0.02 -wpwalk 0.7 -adaptive 1 -clausepen 1 -performrandomwalk 0 -singleclause 0 -smoothingscheme 1 -tabusearch 0 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptive 1 -adaptwalkprob 0 -alpha 1.3 -clausepen 0 -heuristic 7 -maxinc 10 -performrandomwalk 0 -pflat 0.15 -phi 5 -promisinglist 0 -rho 0.8 -sapsthresh -0.1 -scoringmeasure 1 -selectclause 1 -singleclause 1 -tabu 5 -tabusearch 1 -theta 3 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptive 1 -adaptwalkprob 1 -alpha 1.3 -clausepen 0 -heuristic 7 -maxinc 10 -performrandomwalk 1 -pflat 0.15 -phi 10 -promisinglist 0 -randomwalk 3 -rdp 0.15 -rho 0.8 -sapsthresh -0.1 -scoringmeasure 1 -selectclause 1 -singleclause 1 -tabu 1 -tabusearch 1 -theta 5 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptive 0 -alpha 1.3 -clausepen 0 -heuristic 7 -maxinc 10 -performrandomwalk 1 -pflat 0.15 -promisinglist 0 -randomwalk 3 -rdp 0.07 -rho 0.8 -sapsthresh -0.1 -scoringmeasure 1 -selectclause 1 -singleclause 1 -tabu 5 -tabusearch 1 -varinfalse 1 -wpwalk 0.1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptive 1 -adaptwalkprob 0 -alpha 1.3 -clausepen 0 -heuristic 7 -maxinc 10 -performrandomwalk 1 -pflat 0.15 -phi 6 -promisinglist 0 -randomwalk 3 -rdp 0.1 -rho 0.8 -sapsthresh -0.1 -scoringmeasure 1 -selectclause 1 -singleclause 1 -tabusearch 0 -theta 6 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptive 0 -alpha 1.3 -clausepen 0 -heuristic 7 -maxinc 10 -performrandomwalk 0 -pflat 0.15 -promisinglist 0 -rho 0.8 -sapsthresh -0.1 -scoringmeasure 1 -selectclause 1 -singleclause 1 -tabu 7 -tabusearch 1 -varinfalse 1 -wpwalk 0.1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptive 1 -adaptwalkprob 0 -alpha 1.3 -clausepen 0 -heuristic 7 -maxinc 10 -performrandomwalk 1 -pflat 0.15 -phi 7 -promisinglist 0 -randomwalk 3 -rdp 0.15 -rho 0.8 -sapsthresh -0.1 -scoringmeasure 1 -selectclause 1 -singleclause 1 -tabu 1 -tabusearch 1 -theta 4 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptive 0 -alpha 1.3 -clausepen 0 -heuristic 7 -maxinc 10 -performrandomwalk 1 -pflat 0.15 -promisinglist 0 -randomwalk 3 -rdp 0.07 -rho 0.8 -sapsthresh -0.1 -scoringmeasure 1 -selectclause 1 -singleclause 1 -tabu 3 -tabusearch 1 -varinfalse 1 -wpwalk 0.1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptive 0 -alpha 1.3 -clausepen 0 -heuristic 7 -maxinc 10 -performrandomwalk 1 -pflat 0.15 -promisinglist 0 -randomwalk 3 -rdp 0.01 -rho 0.8 -sapsthresh -0.1 -scoringmeasure 1 -selectclause 1 -singleclause 1 -tabu 7 -tabusearch 1 -varinfalse 1 -wpwalk 0.1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptive 1 -adaptwalkprob 0 -alpha 1.3 -clausepen 0 -heuristic 7 -maxinc 10 -performrandomwalk 1 -pflat 0.15 -phi 4 -promisinglist 0 -randomwalk 3 -rdp 0.1 -rho 0.8 -sapsthresh -0.1 -scoringmeasure 1 -selectclause 1 -singleclause 1 -tabusearch 0 -theta 7 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptive 1 -adaptwalkprob 0 -alpha 1.3 -clausepen 0 -heuristic 7 -maxinc 10 -performrandomwalk 1 -pflat 0.15 -phi 8 -promisinglist 0 -randomwalk 3 -rdp 0.15 -rho 0.8 -sapsthresh -0.1 -scoringmeasure 1 -selectclause 1 -singleclause 1 -tabusearch 0 -theta 5 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptive 1 -adaptwalkprob 0 -alpha 1.3 -clausepen 0 -heuristic 7 -maxinc 10 -performrandomwalk 1 -pflat 0.15 -phi 8 -promisinglist 0 -randomwalk 3 -rdp 0.15 -rho 0.8 -sapsthresh -0.1 -scoringmeasure 1 -selectclause 1 -singleclause 1 -tabusearch 0 -theta 5 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptive 1 -adaptwalkprob 1 -alpha 1.3 -clausepen 0 -heuristic 7 -maxinc 10 -performrandomwalk 1 -pflat 0.15 -phi 8 -promisinglist 0 -randomwalk 3 -rdp 0.1 -rho 0.8 -sapsthresh -0.1 -scoringmeasure 1 -selectclause 1 -singleclause 1 -tabusearch 0 -theta 10 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptive 1 -adaptwalkprob 0 -alpha 1.3 -clausepen 0 -heuristic 7 -maxinc 10 -performrandomwalk 0 -pflat 0.15 -phi 9 -promisinglist 0 -rho 0.8 -sapsthresh -0.1 -scoringmeasure 1 -selectclause 1 -singleclause 1 -tabu 5 -tabusearch 1 -theta 4 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptive 1 -adaptwalkprob 0 -alpha 1.3 -clausepen 0 -heuristic 7 -maxinc 10 -performrandomwalk 0 -pflat 0.15 -phi 7 -promisinglist 0 -rho 0.8 -sapsthresh -0.1 -scoringmeasure 1 -selectclause 1 -singleclause 1 -tabu 5 -tabusearch 1 -theta 4 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptive 1 -adaptwalkprob 0 -alpha 1.3 -clausepen 0 -heuristic 7 -maxinc 10 -performrandomwalk 1 -pflat 0.15 -phi 8 -promisinglist 0 -randomwalk 3 -rdp 0.15 -rho 0.8 -sapsthresh -0.1 -scoringmeasure 1 -selectclause 1 -singleclause 1 -tabusearch 0 -theta 4 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptive 1 -adaptwalkprob 1 -alpha 1.3 -clausepen 0 -heuristic 7 -maxinc 10 -performrandomwalk 1 -pflat 0.15 -phi 10 -promisinglist 0 -randomwalk 3 -rdp 0.15 -rho 0.8 -sapsthresh -0.1 -scoringmeasure 1 -selectclause 1 -singleclause 1 -tabusearch 0 -theta 6 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptive 0 -alpha 1.3 -clausepen 0 -heuristic 7 -maxinc 10 -performrandomwalk 0 -pflat 0.15 -promisinglist 0 -rho 0.8 -sapsthresh -0.1 -scoringmeasure 1 -selectclause 1 -singleclause 1 -tabu 5 -tabusearch 1 -varinfalse 1 -wpwalk 0.2 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptive 0 -alpha 1.3 -clausepen 0 -heuristic 1 -maxinc 10 -novnoise 0.1 -performalternatenovelty 0 -performrandomwalk 1 -pflat 0.15 -promisinglist 0 -randomwalk 3 -rdp 0.01 -rho 0.8 -sapsthresh -0.1 -scoringmeasure 1 -selectclause 1 -singleclause 1 -tabusearch 0 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptive 0 -alpha 1.3 -clausepen 0 -heuristic 6 -maxinc 10 -novnoise 0.1 -performrandomwalk 0 -pflat 0.15 -promisinglist 0 -rho 0.8 -sapsthresh -0.1 -scoringmeasure 1 -selectclause 1 -singleclause 1 -tabusearch 0 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptive 0 -alpha 1.3 -clausepen 1 -heuristic 1 -maxinc 10 -novnoise 0.1 -performalternatenovelty 0 -performrandomwalk 1 -pflat 0.15 -promisinglist 0 -ps 0.5 -randomwalk 3 -rdp 0.01 -rho 0.8 -sapsthresh -0.1 -scoringmeasure 1 -selectclause 1 -singleclause 1 -smoothingscheme 2 -tabusearch 0 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptive 0 -alpha 1.3 -clausepen 0 -heuristic 4 -maxinc 10 -novnoise 0.2 -performalternatenovelty 0 -performrandomwalk 1 -pflat 0.15 -promisinglist 0 -randomwalk 3 -rdp 0.05 -rho 0.8 -sapsthresh -0.1 -scoringmeasure 1 -selectclause 1 -singleclause 1 -tabusearch 0 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptive 0 -alpha 1.3 -clausepen 0 -heuristic 6 -maxinc 10 -novnoise 0.1 -performrandomwalk 0 -pflat 0.15 -promisinglist 0 -rho 0.8 -sapsthresh -0.1 -scoringmeasure 1 -selectclause 1 -singleclause 1 -tabusearch 0 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptive 0 -alpha 1.3 -clausepen 0 -heuristic 6 -maxinc 10 -novnoise 0.1 -performrandomwalk 0 -pflat 0.15 -promisinglist 0 -rho 0.8 -sapsthresh -0.1 -scoringmeasure 1 -selectclause 1 -singleclause 1 -tabusearch 0 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptivenoisescheme 1 -adaptiveprom 0 -adaptpromwalkprob 0 -adaptwalkprob 0 -c 0.000001 -decreasingvariable 3 -dp 0.05 -heuristic 2 -novnoise 0.5 -performalternatenovelty 1 -phi 5 -promdp 0.05 -promisinglist 0 -promnovnoise 0.5 -promphi 5 -promtheta 6 -promwp 0.01 -s 0.001 -scoringmeasure 1 -selectclause 1 -theta 6 -tiebreaking 2 -updateschemepromlist 3 -wpwalk 0.8 -adaptive 0 -clausepen 0 -performrandomwalk 1 -randomwalk 3 -rdp 0.05 -singleclause 0 -tabu 10 -tabusearch 1 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptive 0 -alpha 1.3 -clausepen 0 -heuristic 1 -maxinc 10 -novnoise 0.1 -performalternatenovelty 0 -performrandomwalk 1 -pflat 0.15 -promisinglist 0 -randomwalk 3 -rdp 0.01 -rho 0.8 -sapsthresh -0.1 -scoringmeasure 1 -selectclause 1 -singleclause 1 -tabusearch 0 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptive 0 -alpha 1.3 -clausepen 0 -heuristic 6 -maxinc 10 -novnoise 0.1 -performrandomwalk 0 -pflat 0.15 -promisinglist 0 -rho 0.8 -sapsthresh -0.1 -scoringmeasure 1 -selectclause 1 -singleclause 1 -tabusearch 0 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptive 0 -alpha 1.3 -clausepen 0 -heuristic 6 -maxinc 10 -novnoise 0.1 -performrandomwalk 0 -pflat 0.15 -promisinglist 0 -rho 0.8 -sapsthresh -0.1 -scoringmeasure 1 -selectclause 1 -singleclause 1 -tabusearch 0 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptive 0 -alpha 1.3 -clausepen 0 -heuristic 1 -maxinc 10 -novnoise 0.1 -performalternatenovelty 0 -performrandomwalk 1 -pflat 0.15 -promisinglist 0 -randomwalk 3 -rdp 0.01 -rho 0.8 -sapsthresh -0.1 -scoringmeasure 1 -selectclause 1 -singleclause 1 -tabusearch 0 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptive 0 -alpha 1.3 -clausepen 0 -heuristic 6 -maxinc 10 -novnoise 0.1 -performrandomwalk 0 -pflat 0.15 -promisinglist 0 -rho 0.8 -sapsthresh -0.1 -scoringmeasure 1 -selectclause 1 -singleclause 1 -tabusearch 0 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptive 0 -alpha 1.3 -clausepen 0 -heuristic 1 -maxinc 10 -novnoise 0.1 -performalternatenovelty 0 -performrandomwalk 1 -pflat 0.15 -promisinglist 0 -randomwalk 3 -rdp 0.01 -rho 0.8 -sapsthresh -0.1 -scoringmeasure 1 -selectclause 1 -singleclause 1 -tabusearch 0 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptive 0 -alpha 1.3 -clausepen 0 -heuristic 1 -maxinc 10 -novnoise 0.1 -performalternatenovelty 0 -performrandomwalk 1 -pflat 0.15 -promisinglist 0 -randomwalk 5 -rfp 0.01 -rho 0.8 -sapsthresh -0.1 -scoringmeasure 1 -selectclause 1 -singleclause 1 -tabusearch 0 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptive 0 -alpha 1.3 -clausepen 0 -heuristic 6 -maxinc 10 -novnoise 0.1 -performrandomwalk 0 -pflat 0.15 -promisinglist 0 -rho 0.8 -sapsthresh -0.1 -scoringmeasure 1 -selectclause 1 -singleclause 1 -tabusearch 0 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptive 0 -alpha 1.3 -clausepen 0 -heuristic 6 -maxinc 10 -novnoise 0.1 -performrandomwalk 0 -pflat 0.15 -promisinglist 0 -rho 0.8 -sapsthresh -0.1 -scoringmeasure 1 -selectclause 1 -singleclause 1 -tabusearch 0 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptive 0 -alpha 1.3 -clausepen 0 -heuristic 4 -maxinc 10 -novnoise 0.2 -performalternatenovelty 0 -performrandomwalk 1 -pflat 0.15 -promisinglist 0 -randomwalk 3 -rdp 0.05 -rho 0.8 -sapsthresh -0.1 -scoringmeasure 1 -selectclause 1 -singleclause 1 -tabusearch 0 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptive 0 -alpha 1.3 -c 0.0001 -clausepen 0 -heuristic 8 -maxinc 10 -performrandomwalk 0 -pflat 0.15 -promisinglist 0 -rho 0.8 -s 0.001 -sapsthresh -0.1 -scoringmeasure 1 -selectclause 1 -singleclause 1 -tabusearch 0 -varinfalse 1 -wpwalk 0.1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptive 0 -alpha 1.3 -c 0.0001 -clausepen 0 -heuristic 8 -maxinc 10 -performrandomwalk 0 -pflat 0.15 -promisinglist 0 -rho 0.8 -s 0.001 -sapsthresh -0.1 -scoringmeasure 1 -selectclause 1 -singleclause 1 -tabusearch 0 -varinfalse 1 -wpwalk 0.1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptive 0 -alpha 1.3 -c 0.0001 -clausepen 0 -heuristic 8 -maxinc 10 -performrandomwalk 0 -pflat 0.15 -promisinglist 0 -rho 0.8 -s 0.001 -sapsthresh -0.1 -scoringmeasure 1 -selectclause 1 -singleclause 1 -tabusearch 0 -varinfalse 1 -wpwalk 0.1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptive 0 -alpha 1.3 -c 0.0001 -clausepen 0 -heuristic 8 -maxinc 10 -performrandomwalk 0 -pflat 0.15 -promisinglist 0 -rho 0.8 -s 0.01 -sapsthresh -0.1 -scoringmeasure 1 -selectclause 1 -singleclause 1 -tabusearch 0 -varinfalse 1 -wpwalk 0.1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptive 0 -alpha 1.3 -c 0.0001 -clausepen 0 -heuristic 8 -maxinc 10 -performrandomwalk 0 -pflat 0.15 -promisinglist 0 -rho 0.8 -s 0.01 -sapsthresh -0.1 -scoringmeasure 1 -selectclause 1 -singleclause 1 -tabusearch 0 -varinfalse 1 -wpwalk 0.1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptivenoisescheme 2 -adaptiveprom 0 -adaptpromwalkprob 0 -adaptwalkprob 0 -alpha 1.126 -decreasingvariable 3 -dp 0.05 -heuristic 2 -novnoise 0.5 -performalternatenovelty 1 -phi 5 -promdp 0.05 -promisinglist 0 -promnovnoise 0.5 -promphi 5 -promtheta 6 -promwp 0.01 -rho 1 -scoringmeasure 1 -selectclause 1 -theta 6 -tiebreaking 4 -updateschemepromlist 3 -wp 0.02 -wpwalk 0.5 -adaptive 1 -clausepen 1 -performrandomwalk 0 -singleclause 0 -smoothingscheme 1 -tabusearch 0 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptivenoisescheme 2 -adaptiveprom 0 -adaptpromwalkprob 0 -adaptwalkprob 0 -alpha 1.126 -c 0.00001 -decreasingvariable 3 -dp 0.05 -heuristic 2 -novnoise 0.5 -performalternatenovelty 1 -phi 5 -promdp 0.05 -promisinglist 0 -promnovnoise 0.5 -promphi 5 -promtheta 6 -promwp 0.01 -ps 0 -rho 0.17 -s 0.001 -scoringmeasure 3 -selectclause 1 -theta 6 -tiebreaking 1 -updateschemepromlist 3 -wp 0 -wpwalk 0.4 -adaptive 0 -clausepen 1 -performrandomwalk 0 -singleclause 0 -smoothingscheme 1 -tabusearch 0 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptivenoisescheme 2 -adaptiveprom 0 -adaptpromwalkprob 0 -adaptwalkprob 0 -alpha 1.189 -c 0.01 -decreasingvariable 3 -dp 0.05 -heuristic 2 -novnoise 0.5 -performalternatenovelty 1 -phi 5 -promdp 0.05 -promisinglist 0 -promnovnoise 0.5 -promphi 5 -promtheta 6 -promwp 0.01 -ps 0 -rho 0.8 -s 0.001 -scoringmeasure 3 -selectclause 1 -theta 6 -tiebreaking 4 -updateschemepromlist 3 -wp 0.01 -wpwalk 0.7 -adaptive 0 -clausepen 1 -performrandomwalk 0 -singleclause 0 -smoothingscheme 1 -tabusearch 0 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptivenoisescheme 1 -adaptiveprom 0 -adaptpromwalkprob 0 -adaptwalkprob 0 -alpha 1.126 -c 0.0001 -decreasingvariable 3 -dp 0.05 -heuristic 2 -novnoise 0.5 -performalternatenovelty 1 -phi 5 -promdp 0.05 -promisinglist 0 -promnovnoise 0.5 -promphi 5 -promtheta 6 -promwp 0.01 -ps 0 -rho 0.83 -s 0.001 -scoringmeasure 3 -selectclause 1 -theta 6 -tiebreaking 2 -updateschemepromlist 3 -wp 0 -wpwalk 0.4 -adaptive 0 -clausepen 1 -performrandomwalk 0 -singleclause 0 -smoothingscheme 1 -tabusearch 0 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptive 0 -alpha 1.3 -c 0.0001 -clausepen 0 -heuristic 8 -maxinc 10 -performrandomwalk 0 -pflat 0.15 -promisinglist 0 -rho 0.8 -s 0.01 -sapsthresh -0.1 -scoringmeasure 1 -selectclause 1 -singleclause 1 -tabusearch 0 -varinfalse 1 -wpwalk 0.1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptive 0 -alpha 1.3 -c 0.0001 -clausepen 0 -heuristic 8 -maxinc 10 -performrandomwalk 0 -pflat 0.15 -promisinglist 0 -rho 0.8 -s 0.001 -sapsthresh -0.1 -scoringmeasure 1 -selectclause 1 -singleclause 1 -tabusearch 0 -varinfalse 1 -wpwalk 0.1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptive 0 -alpha 1.3 -c 0.0001 -clausepen 0 -heuristic 8 -maxinc 10 -performrandomwalk 0 -pflat 0.15 -promisinglist 0 -rho 0.8 -s 0.001 -sapsthresh -0.1 -scoringmeasure 1 -selectclause 1 -singleclause 1 -tabusearch 0 -varinfalse 1 -wpwalk 0.1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptive 0 -alpha 1.3 -c 0.0001 -clausepen 0 -heuristic 8 -maxinc 10 -performrandomwalk 0 -pflat 0.15 -promisinglist 0 -rho 0.8 -s 0.001 -sapsthresh -0.1 -scoringmeasure 1 -selectclause 1 -singleclause 1 -tabusearch 0 -varinfalse 1 -wpwalk 0.1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptivenoisescheme 2 -adaptiveprom 0 -adaptpromwalkprob 0 -adaptwalkprob 0 -alpha 1.189 -c 0.00001 -decreasingvariable 3 -dp 0.05 -heuristic 2 -novnoise 0.5 -performalternatenovelty 1 -phi 5 -promdp 0.05 -promisinglist 0 -promnovnoise 0.5 -promphi 5 -promtheta 6 -promwp 0.01 -ps 0 -rho 0.17 -s 0.001 -scoringmeasure 3 -selectclause 1 -theta 6 -tiebreaking 2 -updateschemepromlist 3 -wp 0.02 -wpwalk 0.5 -adaptive 0 -clausepen 1 -performrandomwalk 1 -randomwalk 1 -rwp 0.03 -singleclause 0 -smoothingscheme 1 -tabusearch 0 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptive 0 -alpha 1.3 -c 0.0001 -clausepen 0 -heuristic 8 -maxinc 10 -performrandomwalk 0 -pflat 0.15 -promisinglist 0 -rho 0.8 -s 0.001 -sapsthresh -0.1 -scoringmeasure 1 -selectclause 1 -singleclause 1 -tabusearch 0 -varinfalse 1 -wpwalk 0.1 -i instanceName -cutoff max -timeout cutoffTime
./ubcsat -alg satenstein -adaptivenoisescheme 2 -adaptiveprom 0 -adaptpromwalkprob 0 -adaptwalkprob 0 -alpha 1.189 -c 0.000001 -decreasingvariable 3 -dp 0.05 -heuristic 2 -novnoise 0.5 -performalternatenovelty 1 -phi 5 -promdp 0.05 -promisinglist 0 -promnovnoise 0.5 -promphi 5 -promtheta 6 -promwp 0.01 -ps 0 -rho 1 -s 0.1 -scoringmeasure 3 -selectclause 1 -theta 6 -tiebreaking 3 -updateschemepromlist 3 -wp 0.03 -wpwalk 0.6 -adaptive 0 -clausepen 1 -performrandomwalk 0 -singleclause 0 -smoothingscheme 1 -tabusearch 0 -varinfalse 1 -i instanceName -cutoff max -timeout cutoffTime
