fault.c.f.ab.obs

   1 % 1 jan@srv253 ~/ewbs (git)-[master] % ./dlv -silent -FRmin c.dl psh.dl w.dl f.dl s.dl constraints.dl connect.dl abnormal.hyp fault.obs fault.c.f.ab.obs -N=120
   2 % Cannot perform Reiter diagnostic reasoning for theories with negative body literals different from "ab".
   3
   4 % Angaben lesen will gelernt sein: überlesen und jetzt geht es sich zeitlich nicht mehr aus ...
   5