[lparse]
domainPredicates=facts
debug=FALSE
groundedFile=none
disableInternal=FALSE
numModels=1
regularModelExt=2
printOut=FALSE
weight=1
warning=all
atomFile=none
allowInconsistent=FALSE
disjunctiveLP=FALSE
dropQuotes=FALSE
partial=FALSE
separateWeight=FALSE
trueNegation=FALSE
smodels1=FALSE
constants=none

[smodels]
stableSmodels=0
onlyWellFounded=FALSE
noLookAhead=FALSE
sloppyHeuristic=FALSE
backJump=FALSE
randomized=FALSE
internal=FALSE
tries=0
conflicts=0
seed=0