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

Abkrzungen fr berechnete Ergebnistabellen:
Buchstaben in Reihenfolge
H=Home; U=Uni
S=Smodels; N=Nomore
C=Constant; V=Variable
Buchstaben mit Zahlen fr 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

Abkrzung fr Ergebnisstabellen von Testlufen:
atw=answerset test with

Weitere Abkrzungen:
fle=fix bodylength
mle=mix bodylength




