In dieser Datei sind die Bereiche aufgelistet in denen eine Testreihe generiert wurde. Die meisten Testreihen wurden allerdings nicht vollstndig generiert, da irgendwann die Generierung von weiteren Testpunkten zu aufwendig wurde.
Vollstndige Testreihen sind mit "komplett" gekennzeichnet.

Das Format in dem die Testreihen hier beschrieben werden ist folgendes:
Jede Zeile symbolisiert eine eigene Testreihe. Die einzelnen Laufparameter sind durch Semikolon ";" getrennt. Je Laufparameter ist dessen Namenskrzel, dahinter die Abstnde in denen er erhoben wurde und zum Schluss, in Klammern, der Bereich in dem er erhoben werden sollte angegeben. Steht hinter einem Namenskrzel eines Parameters gleich in Klammern F und ein anderer Parameternamenskrzel, besteht der Bereich aus den Werten die der Parameter des zweiten Namenskrzels einnehmen kann mal den Faktoren der Faktor F annehmen kann.

Allgemeine Abkrzungen:
A = Atome (atoms)
C = Regeln (clauses)
L = (durchschnittliche) Literale ((average) literals per body), wenn durchschnittlichen Literale angegeben sind, sind sie mit 10 multipliziert, L12 bedeutet also durchschnittlich 1.2 Literale pro Krper
V = Knoten (vertices)
E = Kanten (edges)
F = Faktor mit dem etwas multipliziert wurde

Wenn die Zeile lautet "A10(10-20);C(FA);L(2);F1(2-3)", wird die Testreihe wird fr die folgenden Testpunkte generiert:
	10 Atome;20 Regeln; 2 Literale pro Krper
	20 Atome;40 Regeln; 2 Literale pro Krper
	10 Atome;30 Regeln; 2 Literale pro Krper
	20 Atome;60 Regeln; 2 Literale pro Krper


Testreihen:
A5(5-150);C10(10-1500);L1(2-3)
A10(10-300);C10(10-3000);L1(1-3)
A10(10-8000);C(FA);L1(1-3);F1(1-15)