Die QAP-SAT-Instanzen zeigen eine Phase Transition basierend auf der Anzahl der Klauseln und der Problemgröße.
