search

hexhex / core

DLVHEX solver: core system and plugin API
http://www.kr.tuwien.ac.at/research/systems/dlvhex/
GNU Lesser General Public License v2.1
24 stars 8 forks source link

test liberalsafety7.hex fails #20

Open peschue opened 8 years ago

peschue commented 8 years ago

fails both with genuineii and genuinegc solvers

output of make check-examples

FAIL: ../src/dlvhex2 -s --plugindir=\!../testsuite --liberalsafety --solver=genuineii --heuristics=monolithic ../examples/liberalsafety7.hex (answersets differ)
 4 External atom &id[p](X) in rule 
 p(X) :- &id[p](X).
 is nonmonotonic and necessary for safety. This can decrease grounding performance significantly.
 Consider using a different heuristics or ensure safty by other means, e.g., additional ordinary atoms which bound the output.
...
FAIL: ../src/dlvhex2 -s --plugindir=\!../testsuite --liberalsafety --solver=genuinegc --heuristics=monolithic ../examples/liberalsafety7.hex (answersets differ)
 4 External atom &id[p](X) in rule 
 p(X) :- &id[p](X).
 is nonmonotonic and necessary for safety. This can decrease grounding performance significantly.
 Consider using a different heuristics or ensure safty by other means, e.g., additional ordinary atoms which bound the output.