Allgemeine Abkürzungen:
A=atoms
C=clauses/rules
L=(average) literals per body

Abkürzungen für berechnete Ergebnistabellen:
Buchstaben in Reihenfolge
H=Home; U=Uni
S=Smodels; N=Nomore
C=Constant; V=Variable
Buchstaben mit Zahlen für den Bereich;
wenn hinter dem buchstaben V steht dann ist der Bereich variable
F=factor; ein Faktor mit dem andere Werte multipliziert werden

Beispiel: HSCA100CVL2.txt

Abkürzung für Ergebnisstabellen von Testläufen:
atw=answerset test with

Weitere Abkürzungen:
fle=fix bodylength
mle=mix bodylength




