[Cs5500] Reg: Tournament Results

[Karl Lieberherr]

Hi Ravi:

thank you for running the tournament. There was good participation!
The histories look correct but the smart history checker will be
a more reliable checker.

Looking at
http://www.ccs.neu.edu/home/lieber/courses/se-courses/cs5500/f11/project-page/HSR%20Sample%20Tournament%2023rd%20Nov/Smart%20History/5150%20vs%20belchmoney11-23-11-13-03-23.txt

I see short records at the end:

claim hsr.HSRInstanceSet {{   HSR(857,27)   }}
scg.protocol.ForAllExistsMin {{      }} 0.011668611435239206 1.0
proposer  {{ 5150 }}
opposer  {{ belchmoney }}
action agree
responses  winner  {{  }}
pointsWon 0.0

Is this due to overtime rounds? Which are currently short-cut?

-- Karl

On Wed, Nov 23, 2011 at 1:48 PM, Ravishankar Rajagopal
<rajagopal.r at husky.neu.edu> wrote:
> Hi All,
>
> The warm up tournament ran successfully. The results as well as the history
> files for all the games are available in the below link
>
> http://www.ccs.neu.edu/home/lieber/courses/se-courses/cs5500/f11/project-page/HSR%20Sample%20Tournament%2023rd%20Nov/
>
> Regards,
> Ravi Rajagopal
>