Some ExamplesHere we show some examples of what you can do with Freezer. These examples are explained in more detail in the user manual, that you can download here.
*NEW* Video-like online tutorials
Check out how Freezer works and how to use it with our new online tutorials.
A short instruction to Freezer
Proving a draw in a World Championship game Miles-Kindermann (1983)
*NEW* The end of an endgame study composed by Peter Krug
You can also check out The Endgame Corner of ChessCafe.com by GM Karsten Müller. This article gives insights on Freezer and nice examples.
Using Freezer it is very easy to prove that White has a draw here, and there is no way for Black to force White give up his fortress. We applied restrictions to some of the pieces to get the problem very small, so obtaining the result was a matter of not even three minutes.
Penetration with the King
This composition by Em. Lasker and G. Reichhelm, published in Chicago Tribune (1901), was based on the principle of corresponing squares. With Freezer it can be shown easily that only 1. Kb1! wins for White. As all the pawns are blocked, this position is ideal for being addressed with Freezer, and database generation only took some seconds to complete.
Rook and Pawn vs. Bishop and Pawn (Chéron)
This position is taken from A. Chéron, Lehr- und Handbuch der Engspiele 1, 2. Auflage (1960), diagram no 491. Freezer has proven the analysis to contain many mistakes, as many of the given moves will give away the win or the draw. Database generation time was about 5 minutes.