% 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 % Cannot perform Reiter diagnostic reasoning for theories with negative body literals different from "ab". % Angaben lesen will gelernt sein: überlesen und jetzt geht es sich zeitlich nicht mehr aus ...