From: charlie Date: Tue, 26 Jan 2016 16:10:44 +0000 (+0100) Subject: forgot to add run.sh X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=9fd8f4d49ebad1fd34eab7f0b2a52cd2b983e0fd;p=tt2015.git forgot to add run.sh --- diff --git a/a4/tcp/run.sh b/a4/tcp/run.sh index c19167c..4cb553c 100755 --- a/a4/tcp/run.sh +++ b/a4/tcp/run.sh @@ -5,5 +5,60 @@ # learningMethod {LStar, TTT, RS, KV} # equaviance orace {rand, wm, wpm} -#java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main small +./adapter.sh & +java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main small LStar rand +./adapter.sh & +java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main small TTT rand +./adapter.sh & +java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main small RS rand +./adapter.sh & +java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main small KV rand + +./adapter.sh & +java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main small LStar wm +./adapter.sh & +java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main small TTT wm +./adapter.sh & +java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main small RS wm +./adapter.sh & +java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main small KV wm + +./adapter.sh & +java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main partial LStar rand +./adapter.sh & +java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main partial TTT rand +./adapter.sh & +java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main partial RS rand +./adapter.sh & +java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main partial KV rand + +./adapter.sh & +java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main partial LStar wm +./adapter.sh & +java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main partial TTT wm +./adapter.sh & +java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main partial RS wm +./adapter.sh & +java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main partial KV wm + + +./adapter.sh & +java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main full LStar rand +./adapter.sh & +java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main full TTT rand +./adapter.sh & +java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main full RS rand +./adapter.sh & +java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main full KV rand + +./adapter.sh & +java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main full LStar wm +./adapter.sh & java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main full TTT wm +./adapter.sh & +java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main full RS wm +./adapter.sh & +java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main full KV wm + +cp learned*.{dot,pdf} results/ +