Dream Engine Matches @ 4.5 GHz

[LiquidNitrogenOverclocker]

Hi Marc,

You can either paste the whole text file here using the

Code: Select all

code

brackets, or use the form on the website at this page

http://www.liquidnitrogenoverclocking.c ... l#page_top

to send it to me.

I need to examine the data to confirm your result (make sure you have the correct longest win positions, etc)

If the result stands, your time of 5 hours 36 mins will put you in slot #14.

I would need to know exactly what your system configuration is, so I can properly identify it on the benchmark results.

Thanks for running this for me. I really appreciate it!

[mhalstern]

Hi Marc,

You can either paste the whole text file here using the

Code: Select all

code

brackets, or use the form on the website at this page

http://www.liquidnitrogenoverclocking.c ... l#page_top

to send it to me.

I need to examine the data to confirm your result (make sure you have the correct longest win positions, etc)

If the result stands, your time of 5 hours 36 mins will put you in slot #14.

I would need to know exactly what your system configuration is, so I can properly identify it on the benchmark results.

Thanks for running this for me. I really appreciate it!

Not a problem - I get alot from the forum and it is a pleasure to give a little. The problem, is that I can't post the complete fiel here, as the site reports:

Error in posting

DEBUG MODE


Stupid IE8 reports that it has modified this page to prevent cross site scripting. Did the form work or not? if it didn't you cna post or PM me with an email address. If not, I'll send the file using firefox from work tomorrow as I don't feel like installink it here.

Ad I don't overclock, do u need me to install cpuz or can you use the stock settings for my chip? Windows 7 ultimate 64 bit.

let me know.

Thanks

[LiquidNitrogenOverclocker]

Hi Marc,

Thanks, yes, the form worked fine and I have your results. They did match up, so the result is valid. The longest 6-piece win is 167 plies:

Code: Select all

***********************************************************************************
* 6-piece database, 1 white king 2 white checkers vs. 1 red king 2 red checkers   *
***********************************************************************************

TOTAL POSITIONS: 95001984
TOTAL BYTES:     95001984


TOTAL WINS   (white to move)........... 34807338
TOTAL DRAWS  (white to move)........... 56485207
TOTAL LOSSES (white to move)........... 3709439

Wins resolved as jumps................. 29742090
Draws resolved as jumps................ 4266125
Losses resolved as jumps............... 695069

Losses from inability to make a move... 2413

Wins resolved from moving.............. 5065248
Draws resolved from moving............. 4002047
Losses resolved from moving............ 3011957
(excludes inability to move, counted separately, otherwise 3014370).

Wins with NO JUMPS for EITHER SIDE..... 3825940
Draws with NO JUMPS for EITHER SIDE.... 41563389
Losses with NO JUMPS for EITHER SIDE... 997737

Draws resolved from unknowns........... 48217035

Cumulative win length improvements..... 499629
Cumulative loss length changes......... 180155


Database resolved after 27 iterations (includes  1 JUMP pass + 1 pass to set UNKNOWN values to DRAW).
The longest win requires 167 ply to complete.

There is only one win in this database slice that is that long.
The longest white to move and win position: (white pieces start at top of board)

***************************************************************************************************************
*----------*----------*----------*----------*----------*----------*----------*----------*----------*----------*
*----------*----------*----------*----------*----------*----------*----------*----------*----------*----------*
*----------*----------*----------*----------*----------*----------*----------*----------*----------*----------*
*----------*----------*----------*----------*----------*----------*----------*----------*----------*----------*
*----------*----------*----------*----------*----------*----------*----------*----------*----------*----------*
***************************************************************************************************************
*----------*##########*          *##########*          *##########*          *##########*          *----------*
*----------*##########*          *##########*          *##########*          *##########*          *----------*
*----------*### 32 ###*          *### 31 ###*          *### 30 ###*          *### 29 ###*          *----------*
*----------*##########*          *##########*          *##########*          *##########*          *----------*
*----------*##########*          *##########*          *##########*          *##########*          *----------*
***************************************************************************************************************
*----------*          *##########*          *##########*          *##########*          *##########*----------*
*----------*          *##########*          *##########*          *##########*          *##########*----------*
*----------* -------- *### 28 ###*          *### 27 ###*          *### 26 ###*          *### 25 ###*----------*
*----------* |wwwwww| *##########*          *##########*          *##########*          *##########*----------*
*----------* -------- *##########*          *##########*          *##########*          *##########*----------*
***************************************************************************************************************
*----------*##########*          *##########*          *##########*          *##########*          *----------*
*----------*##########*          *##########*          *##########*          *##########*          *----------*
*----------*### 24 ###* -------- *### 23 ###*          *### 22 ###*          *### 21 ###*          *----------*
*----------*##########* |wwwwww| *##########*          *##########*          *##########*          *----------*
*----------*##########* -------- *##########*          *##########*          *##########*          *----------*
***************************************************************************************************************
*----------*          *##########*          *##########*          *##########*          *##########*----------*
*----------*          *##########*          *##########*          *##########*          *##########*----------*
*----------*          *### 20 ###*          *### 19 ###*          *### 18 ###*          *### 17 ###*----------*
*----------*          *##########*          *##########*          *##########*          *##########*----------*
*----------*          *##########*          *##########*          *##########*          *##########*----------*
***************************************************************************************************************
*----------*##########*          *##########* -------- *##########*          *##########*          *----------*
*----------*##########*          *##########* |RRRRRR| *##########*          *##########*          *----------*
*----------*### 16 ###* -------- *### 15 ###* -------- *### 14 ###*          *### 13 ###*          *----------*
*----------*##########* |rrrrrr| *##########* |RRRRRR| *##########*          *##########*          *----------*
*----------*##########* -------- *##########* -------- *##########*          *##########*          *----------*
***************************************************************************************************************
*----------*          *##########*          *##########*          *##########*          *##########*----------*
*----------*          *##########*          *##########*          *##########*          *##########*----------*
*----------*          *### 12 ###*          *### 11 ###*          *### 10 ###*          *### 09 ###*----------*
*----------*          *##########*          *##########*          *##########*          *##########*----------*
*----------*          *##########*          *##########*          *##########*          *##########*----------*
***************************************************************************************************************
*----------*##########* -------- *##########*          *##########*          *##########*          *----------*
*----------*##########* |WWWWWW| *##########*          *##########*          *##########*          *----------*
*----------*### 08 ###* -------- *### 07 ###*          *### 06 ###*          *### 05 ###*          *----------*
*----------*##########* |WWWWWW| *##########*          *##########*          *##########*          *----------*
*----------*##########* -------- *##########*          *##########*          *##########*          *----------*
***************************************************************************************************************
*----------*          *##########*          *##########*          *##########*          *##########*----------*
*----------*          *##########*          *##########*          *##########*          *##########*----------*
*----------*          *### 04 ###* -------- *### 03 ###*          *### 02 ###*          *### 01 ###*----------*
*----------*          *##########* |rrrrrr| *##########*          *##########*          *##########*----------*
*----------*          *##########* -------- *##########*          *##########*          *##########*----------*
***************************************************************************************************************
*----------*----------*----------*----------*----------*----------*----------*----------*----------*----------*
*----------*----------*----------*----------*----------*----------*----------*----------*----------*----------*
*----------*----------*----------*----------*----------*----------*----------*----------*----------*----------*
*----------*----------*----------*----------*----------*----------*----------*----------*----------*----------*
*----------*----------*----------*----------*----------*----------*----------*----------*----------*----------*

Where there are NO JUMPS for either side, the longest win requires 165 ply to complete.

There are 5 JUMPLESS wins of the same length in this database slice.
One of those longest white to move and win positions: (white pieces start at top of board)

***************************************************************************************************************
*----------*----------*----------*----------*----------*----------*----------*----------*----------*----------*
*----------*----------*----------*----------*----------*----------*----------*----------*----------*----------*
*----------*----------*----------*----------*----------*----------*----------*----------*----------*----------*
*----------*----------*----------*----------*----------*----------*----------*----------*----------*----------*
*----------*----------*----------*----------*----------*----------*----------*----------*----------*----------*
***************************************************************************************************************
*----------*##########*          *##########*          *##########*          *##########*          *----------*
*----------*##########*          *##########*          *##########*          *##########*          *----------*
*----------*### 32 ###*          *### 31 ###*          *### 30 ###*          *### 29 ###*          *----------*
*----------*##########*          *##########*          *##########*          *##########*          *----------*
*----------*##########*          *##########*          *##########*          *##########*          *----------*
***************************************************************************************************************
*----------*          *##########*          *##########*          *##########*          *##########*----------*
*----------*          *##########*          *##########*          *##########*          *##########*----------*
*----------* -------- *### 28 ###*          *### 27 ###*          *### 26 ###*          *### 25 ###*----------*
*----------* |wwwwww| *##########*          *##########*          *##########*          *##########*----------*
*----------* -------- *##########*          *##########*          *##########*          *##########*----------*
***************************************************************************************************************
*----------*##########*          *##########*          *##########*          *##########*          *----------*
*----------*##########*          *##########*          *##########*          *##########*          *----------*
*----------*### 24 ###* -------- *### 23 ###*          *### 22 ###*          *### 21 ###*          *----------*
*----------*##########* |wwwwww| *##########*          *##########*          *##########*          *----------*
*----------*##########* -------- *##########*          *##########*          *##########*          *----------*
***************************************************************************************************************
*----------*          *##########*          *##########*          *##########*          *##########*----------*
*----------*          *##########*          *##########*          *##########*          *##########*----------*
*----------*          *### 20 ###* -------- *### 19 ###*          *### 18 ###*          *### 17 ###*----------*
*----------*          *##########* |rrrrrr| *##########*          *##########*          *##########*----------*
*----------*          *##########* -------- *##########*          *##########*          *##########*----------*
***************************************************************************************************************
*----------*##########*          *##########* -------- *##########*          *##########*          *----------*
*----------*##########*          *##########* |RRRRRR| *##########*          *##########*          *----------*
*----------*### 16 ###*          *### 15 ###* -------- *### 14 ###*          *### 13 ###*          *----------*
*----------*##########*          *##########* |RRRRRR| *##########*          *##########*          *----------*
*----------*##########*          *##########* -------- *##########*          *##########*          *----------*
***************************************************************************************************************
*----------* -------- *##########*          *##########*          *##########*          *##########*----------*
*----------* |WWWWWW| *##########*          *##########*          *##########*          *##########*----------*
*----------* -------- *### 12 ###*          *### 11 ###*          *### 10 ###*          *### 09 ###*----------*
*----------* |WWWWWW| *##########*          *##########*          *##########*          *##########*----------*
*----------* -------- *##########*          *##########*          *##########*          *##########*----------*
***************************************************************************************************************
*----------*##########*          *##########*          *##########*          *##########*          *----------*
*----------*##########*          *##########*          *##########*          *##########*          *----------*
*----------*### 08 ###*          *### 07 ###*          *### 06 ###*          *### 05 ###*          *----------*
*----------*##########*          *##########*          *##########*          *##########*          *----------*
*----------*##########*          *##########*          *##########*          *##########*          *----------*
***************************************************************************************************************
*----------*          *##########*          *##########*          *##########*          *##########*----------*
*----------*          *##########*          *##########*          *##########*          *##########*----------*
*----------*          *### 04 ###*          *### 03 ###* -------- *### 02 ###*          *### 01 ###*----------*
*----------*          *##########*          *##########* |rrrrrr| *##########*          *##########*----------*
*----------*          *##########*          *##########* -------- *##########*          *##########*----------*
***************************************************************************************************************
*----------*----------*----------*----------*----------*----------*----------*----------*----------*----------*
*----------*----------*----------*----------*----------*----------*----------*----------*----------*----------*
*----------*----------*----------*----------*----------*----------*----------*----------*----------*----------*
*----------*----------*----------*----------*----------*----------*----------*----------*----------*----------*
*----------*----------*----------*----------*----------*----------*----------*----------*----------*----------*

and all of that data is correct (the rest is too, but if this result happened to have been wrong, then something was amiss. I usually check this pair of wins first)

It's good to know that the standard run for the i7-920 is 05:36 and the overclocked system is cranking out runs of 03:31 (about 1.6 times as fast).

I will post the result in a little while, and thanks again!

[mhalstern]

Ed,

Can you answer 3 questions about Checkers:

From the database that has checkers solved:

1 - What is the longest number of moves for a forced win that can exist on the board?

2 - How few moves from the beginning of a game are needed to produce a forced loss?

3 - The nature of chess, makes for positions that could not have happened with legal moves. Is it possible to place checkers on a board, where it would have been mathematically impossible for a legal game to have produced the position?

Thanks

[LiquidNitrogenOverclocker]

Ed,

Can you answer 3 questions about Checkers:

From the database that has checkers solved:

1 - What is the longest number of moves for a forced win that can exist on the board?

I know the answer to this one, since Gil Dodgen and I solved it in 2003 The longest forced win is 253 plies, in the 7-piece database of 4 vs. 3.

You can download my paper on this result, which the ICGA Journal published:

http://www.GothicChess.com/7_piece.pdf

2 - How few moves from the beginning of a game are needed to produce a forced loss?

Very surprisingly, the first player to move can be in a known forced loss in 2 moves! Of course, this involves erroneous play. The checkers players called these losses "barred openings" and a list is shown here:

http://www.jimloy.com/checkers/barred.htm

I don't think this has been updated since Chinook solved checkers but most of it is probably accurate.

3 - The nature of chess, makes for positions that could not have happened with legal moves. Is it possible to place checkers on a board, where it would have been mathematically impossible for a legal game to have produced the position?

Sure. Just put 4 checkers in the starting position on each side of the board. You know, "fill the back rank" with checkers.

Tell me, who made the last move? Since jumps are forced, a jump could not have occurred "last move" because otherwise someone would be off the back rank.

There are countless variations of this.

Place 4 checkers in the back rank, and give the other side 1 king. Since there was no way for that king to have crowned you can see it's an illegal position. So would 1 checker + 1 king, 2 checkers + 1 king, 2 checkers + 2 kings, etc.

Conversely, and very surprisingly, it is possible for EACH SIDE to crown all 12 checkers into 12 kings, with no compulsory jumps having been made! I've replayed a game someone showed me ending with all 24 kings on the board, and now I can't find the link to it.

[LiquidNitrogenOverclocker]

It's funny, while googling to try and find that game with 24 kings, I came across a quote of mine from July 28, 2006:


Recently I had the opportunity to win the following wager. I made this bet:

I can play an entire game without moving a checker, allowing my opponent to finish the game with all kings while I had none, and still have a position any master will agree is a draw at the end.

Let's see who can solve this riddle.

After some discussion board back and forth, I reworded the riddle to satisfy some of the literalists:


I can show a complete game of 8x8 checkers, following all of the existing ACF rules, where one side does not move a checker, the other side will have all of his checkers crowned to kings, the side that does not move a checker will have all checkers on the board, and every master player will agree that every move in the game is not only "reasonable", but perfectly playable, and every master player will agree that the resulting position at the end of the game is a draw.


To relieve the suspense, I gave the solution one day later:






From the starting position in the game of checkers, play:

1. 11-15 23-18
2. 8-11 27-23
3. 4-8 23-19
4. 9-14 18x9
5. 5x14 22-17
6. 15-18 26-22
7. 11-15 17-13
8. 7-11 13-9
9. 6x13 24-20
10. 15x24 22x15x6
11. 1x10 28x19
12. 14-18 31-26
13. 3-7 26-22
14. 10-14 22x15
15. 11x18 32-27
16. 7-10 30-26
17. 8-11 20-16
18. 11x20 26-22
19. 2-6 22x15
20. 12-16 19x12
21. 10x19 12-8
22. 6-9 25-22
23. 19-23 27x18
24. 14x23 8-4
25. 23-26 4-8
26. 9-14 8-11
27. 26-30 11-15
28. 20-24 15-10
29. 24-27 10x17
30. 30-26 22-18
31. 13x22 21-17
32. 26-23 18-14
33. 27-31 14-9
34. 31-27 9-5
35. 23-18 17-13
36. 22-26 13-9
37. 26-30

...and you will reach this position:

Image

You will be able to verify that:

1. There is a white checker unmoved on square 29.
2. Red has 3 kings and 0 checkers, white has 0 kings and 3 checkers.
3. White to move can draw.

So, white played the entire game without moving a checker, and that checker was on square 29.

[LiquidNitrogenOverclocker]

Thursday, March 04, 2010 @ 13:04:46
Database solving run completed in 5 hours, 36 minutes, 6 seconds.

Hi Marc,

I posted your result. Here are the standings so far on the benchmark page:



The guy at the #1 spot is showing me how he overclocked his system and ran ice water through his circulation pump at just 2 degrees over freezing in order to cool his system down to get it that close to 5 GHz. I'm researching a way automate this without having to constantly pump water through an ice bucket like he did...



...but I may just have to buy my own external mini-freezer to make it work.[/url]

[mhalstern]

Thanks for adding me to the list. If I overclock to 3.8, I'll run it again.

Does the program I used work with 32 Bit Operating Systems?

I could run it on my old single core laptop to see if I can come in last place.

[LiquidNitrogenOverclocker]

The program will run under 32-bit windows, but that's when the emulator kicks in.

It would be interesting to see how slow it is that way, but you have a good chance of beating whoever came in last.

[alpha123]

The guy at the #1 spot is showing me how he overclocked his system and ran ice water through his circulation pump at just 2 degrees over freezing in order to cool his system down to get it that close to 5 GHz. I'm researching a way automate this without having to constantly pump water through an ice bucket like he did...

Wow, some people have too much spare time....

Peter