In dieser Datei sind die Bereiche aufgelistet in denen eine Testreihe generiert wurde. Die meisten Testreihen wurden allerdings nicht vollständig generiert, da irgendwann die Generierung von weiteren Testpunkten zu aufwendig wurde.
Vollständige 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 Namenskürzel, dahinter die Abstände in denen er erhoben wurde und zum Schluss, in Klammern, der Bereich in dem er erhoben werden sollte angegeben. Steht hinter einem Namenskürzel eines Parameters gleich in Klammern F und ein anderer Parameternamenskürzel, besteht der Bereich aus den Werten die der Parameter des zweiten Namenskürzels einnehmen kann mal den Faktoren der Faktor F annehmen kann.

Allgemeine Abkürzungen:
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 Körper
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 für die folgenden Testpunkte generiert:
	10 Atome;20 Regeln; 2 Literale pro Körper
	20 Atome;40 Regeln; 2 Literale pro Körper
	10 Atome;30 Regeln; 2 Literale pro Körper
	20 Atome;60 Regeln; 2 Literale pro Körper


Testreihen:
A50(100-250);C10(10-1500);L1(2-5)
A10(10-500);C(A*F);L1(2-5);F1(1-15)
