thomas-maeder
commented
14 years ago Reason: Popeye reorders defenses in order to speed up solving: when determining whether an attack has more refutations than acceptable, it's a good idea to try defenses first that have been determined to be strong.
Obviously:
- this reordering doesn't play well with Antimarscirce
- this reordering isn't useful when producing the solution output (we have to iterate through all defenses anyway)
Original comment by: thomas-maeder
The following problem from antimars.inp
stip #2 auth S. Emmerson opt set var try fors 1S1S4/5R2/8/2k2P2/8/4Rp1b/8/K2s4/ cond antimarscirce
gives
1.Re3*f3 ! zugzwang. 1...Sd1->h1-e7 2.Rf3->h1-c1 #
etc.
The first defense should read Sd1->g8-e7.
This problem goes back to pre-historic (read pre-Sourceforge) times.
Original comment by: thomas-maeder