
=========== Result is ================
disj([num],[A],[num],[num])
disj([num],[num],[num],[A])
disjunct([list])
duration([atom],[atom])
el([A],[B,list])
ellist([list],[A,list],[list])
ellist([list],[A],[list])
ellist([list],[list],[list])
gteqc([num],[num],[num])
jobs([atom])
makedisj([list],[A,list],[B],[B,list])
makedisj([list],[A,list],[B],[B])
makedisj([list],[A],[B],[B,list])
makedisj([list],[A],[B],[B])
makedisj([list],[list],[A],[A,list])
makedisj([list],[list],[A],[A])
makedisj1([list],[A],[A,list])
makedisj1([list],[A],[A])
makedisj2([A],[list],[B],[B])
makedisj2([list],[list],[A],[A,list])
makemaxef([list],[A,list])
makemaxef([list],[A])
makemaxef([list],[list])
makemaxnf([list],[A,list])
makemaxnf([list],[A])
makemaxnf([list],[list])
makeminaf([list],[A,list])
makeminaf([list],[A])
makeminaf([list],[list])
makeminnf([list],[A,list])
makeminnf([list],[A])
makeminnf([list],[list])
makeminsf([list],[A,list])
makeminsf([list],[A])
makeminsf([list],[list])
makeprec([list],[A,list])
makeprec([list],[A])
makeprec([list],[list])
makevars([list],[list])
maxef([atom])
maxnf([atom])
memberEl([A],[A],[B])
memberEl([num],[num],[num])
minaf([atom])
minnf([atom])
minsf([atom])
p([num],[A])
prec([atom])
resources([atom])
rev([list],[A],[A,list])
rev([list],[A],[A])
smeqc([num],[num],[num])
zero200([A])
