Hi,
With the attached model, I tried the case described below and GeNIe outputs a slightly different result than SMILE:
//Evidence being set for Case 1
net.setEvidence("C0013404", "F");
net.setEvidence("C0015967", "F");
net.setEvidence("C0085593", "F");
net.setEvidence("C0235592", "F");
net ...