Codierung gibt "unbekannt" zurück
Für dieses Beispiel:http://pastebin.com/QyebfD1p z3 und cvc4 geben als Ergebnis von check-sat "unknown" zurück. Beide sind nicht sehr ausführlich über die Ursache, gibt es eine Möglichkeit, z3 ausführlicher über die Ausführung zu machen?