#!/bin/bash -x
-java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main
+#java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main small
+java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main partial LStar rand