On Tue, 4 Dec 2001, Shlomi Fish wrote:
>
> I discovered that the Microsoft 32,000 boards were solved after 27,735,701
> iterations, which is about 1,900,000 iterations.
I meant 1,900,000 iterations less than the previous record.
Regards,
Shlomi Fish
> And there were no
> intractable boards.
>
> This time I ran it on a Pentium 4 1.7 GHz. It took it 30 Minutes, which
> makes it 1,066 boards per minutes or 17 per second. But naturally it was a
> much faster computer. Normalizing it to the P3 we get about 87 minutes.
>
> As a side note, I should add that I wish to benchmark these results
> against FC-Pro's solver by Don Woods, but I don't know what options to
> use. When I try to run it it gets stuck in board 1,433 for a very long
> time.
>
> Regards,
>
> Shlomi Fish
>
> --
>
>
> ----------------------------------------------------------------------
> Shlomi Fish shlomif_at_vipe.technion.ac.il
> Home Page: http://t2.technion.ac.il/~shlomif/
> Home E-mail: shlomif_at_techie.com
>
> If:
> 1. A is A
> 2. A is not not-A
> does it imply that
> 1. B is B
> 2. B is not not-B
>
>
>
>
> To unsubscribe from this group, send an email to:
> fc-solve-discuss-unsubscribe_at_yahoogroups.com
>
>
>
> Your use of Yahoo! Groups is subject to http://docs.yahoo.com/info/terms/
>
>
--
----------------------------------------------------------------------
Shlomi Fish shlomif_at_vipe.technion.ac.il
Home Page: http://t2.technion.ac.il/~shlomif/
Home E-mail: shlomif_at_techie.com
If:
1. A is A
2. A is not not-A
does it imply that
1. B is B
2. B is not not-B
Received on Tue Dec 04 2001 - 02:46:53 IST