[mercury-users] This Year's Mercury Entry for the ICF 2001 Contest

Ralph Becket rbeck at microsoft.com
Tue Sep 11 02:44:27 AEST 2001

> Actually it is one of the Mercury entries.  Entry 242, team "Busy
> was ranked about 40th in the performance round, which is quite
> because it didn't even implement all the optimizations suggested in
> spec.

Sorry, 3 pint brain failure (DJ arrived in town).  "Exhaustion" was
ranked no. 5, sharing with three others, before being eliminated.

> It had quite a simple strategy, unlike Ralphs entry, where it tried a
> optimization, verified that the before and after documents were the
same and
> then, tried the next simple optimization.  This was done until a fix
> was reached, unfortunately it looks like our fixpoint code was
incorrect so
> instead it kept running until time ran out.

But (damn that space) it did have the virtue of producing correct 

- Ralph
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe

More information about the users mailing list