int sat = 0;
Propagator ptmp;
for (int i = 0; i < propagators.length; i++) {
ptmp = propagators[i];
if (ptmp.isActive()) { // only active propagators need to be checked, the other must alredy be satisfied
ESat entail = ptmp.isEntailed();
if (entail.equals(ESat.FALSE)) {
fails(ptmp, null, "GenerateAndTest");
} else if (entail.equals(ESat.TRUE)) {
sat++;
}
} else {
sat++;
}