[Cs5500] Baby avatar's too happy!

[Karl Lieberherr]

I am also thinking about why your MMG baby avatars are too happy :-)

In the config file I read:

scg_config[
domain:mmg.MMGDomain
protocols: scg.protocol.ForAllExists

In ForAllExists.java I read:

if(i.quality(solution) <= claimedQuality){
				return 1; //Refutation fails. Alice wins
But this is not right:
Alice makes the claim: ForAll x Exists y: f(x,y) >= c
Note: i = x, solution = y, c = claimed quality.
If f(x,y)<c Bob has refuted the claim!

Our current ForAllExists.java makes the baby avatars happy, doesn't it?

Analyze the situation and tell me and the rest of the class what
should be changed.

-- Karl