forgot to add run.sh
authorcharlie <charlie@gerhardus.com>
Tue, 26 Jan 2016 16:10:44 +0000 (17:10 +0100)
committercharlie <charlie@gerhardus.com>
Tue, 26 Jan 2016 16:10:44 +0000 (17:10 +0100)
a4/tcp/run.sh

index c19167c..4cb553c 100755 (executable)
@@ -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/
+