PREDICATES "Predicates *: @NUMBER@" HERBRANDUNIVERSE "\|Herbrand Universe\| *: @NUMBER@" HERBRANDBASE "\|Herbrand Base\| *: @NUMBER@" RESIDUALHERBRANDBASE "\|Residual Herbrand Base\| *: @NUMBER@" FACTS "Facts \(EDB\) *: @NUMBER@" RULES "Rules \(IDB\) *: @NUMBER@" CONSTRAINTS "Constraints *: @NUMBER@" WEAKCONSTRAINTS "Weak Constraints *: @NUMBER@" MAXRECLEVEL "Maximum recursion level *: @NUMBER@" CONSCHOICES "=> Consistent choices *: @NUMBER@" INCONSCHOICES "Inconsistent choices *: @NUMBER@" CHOICEPOINTS "Choice Points *: @NUMBER@" PARTIALMCFWD "Partial model checks forwd: @NUMBER@" PARTIALMCBWD "backtracking: @NUMBER@" MODELCANDIDATES "Model candidates *: @NUMBER@" TOTALMODELCHECKS "Total model checks *: @NUMBER@" MODELSCOMPUTED "Models computed *: @NUMBER@" TIMEFIRSTMODEL "Time for first model *: @NUMBER@" TIMEPARSING "Parsing *: @NUMBER@" TIMEREWRITINGBASIC "Rewriting-Basic *: @NUMBER@" TIMEREWRITINGPROJ "Rewriting-Projection *: @NUMBER@" TIMEGROUNDING "Grounding *: @NUMBER@" TIMEGENERATOR "Model Generator *: @NUMBER@" TIMEDSINIT "DS Initialisation *: @NUMBER@" TIMEWELLFOUNDED "Well-founded computation: @NUMBER@" TIMEPARTIALMC "Partial Model Checks *: @NUMBER@" TIMETOTALMC "Total Model Checks *: @NUMBER@" LOOKAHEAD "Lookaheads performed *: @NUMBER@" INCONSLOOKAHEAD "Inconsistent lookaheads *: @NUMBER@" PRUNINGLOOKAHEAD "Pruning lookaheads *: @NUMBER@" USER "@NUMBER@user" SYS "@NUMBER@system" REAL "@TIME@elapsed"