Hi Gary,
On Mon, 1 Jun 2015 06:13:25 -0700
"'Gary Campbell' gary_at_numin8r.us [fc-solve-discuss]"
<fc-solve-discuss_at_yahoogroups.com> wrote:
> Could you describe what your benchmark involves?
> i.e. which set of games, and some description of the
> solutions obtained?
>
Sure:
1. The set of games is the first 32,000 Microsoft deals (from #1 to
#32,000).
2. In the benchmark, I make sure that the initial position was fully solved (or
in the case of #11,982 , the deal's graph was fully traversed without a
possible solution) , while skipping the output of the solution (which is not
hard to generate). I do recall that I once went over all the first 32,000
deals, outputted their solutions and verified that the solution was correct
(using
http://fc-solve.shlomifish.org/verify-code/ ), but it was more
time-consuming , in part due to the excessive process forking and execution and
in part because the solution verification code is written in Perl 5. This was
done and reported here:
https://groups.yahoo.com/neo/groups/fc-solve-discuss/conversations/topics/1388
I don't recall what was the exact script I used for that , but it shouldn't be
hard to write one from scratch.
Regards,
Shlomi Fish
--
-----------------------------------------------------------------
Shlomi Fish http://www.shlomifish.org/
First stop for Perl beginners - http://perl-begin.org/
Chuck Norris reads all messages posted to LKML (= the Linux Kernel Mailing
List), understands them all, and he kills all gnomes he sees in sight.
— http://www.shlomifish.org/humour/bits/facts/Chuck-Norris/
Please reply to list if it's a mailing list post - http://shlom.in/reply .
Received on Mon Jun 01 2015 - 11:49:23 IDT