#!/bin/bash -x
#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
+java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main partial TTT wm