disable a Junit test for Princess.
disable a Junit test for Princess.

Princess does not support large solver stacks.
There seems to be a memory leak within Princess,
such that somewhere much later after the actual problematic code
an out-of-memory-exception is thrown.

sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt