My first small test with 1600 games is finished and all worked without any problem.
The result is a little bit surprisingly.
Results of Crafty benchmarks
25.0
Total nodes: 143372555
Raw nodes per second: 5284650
Total elapsed time: 27.13
25.0 x64 JA
Total nodes: 210040451
Raw nodes per second: 7212927
Total elapsed time: 29.12
-------------------------------
25.2 JA
Total nodes: 181251446
Raw nodes per second: 7198230
Total elapsed time: 25.18
25.2 x64
Total nodes: 178358969
Raw nodes per second: 8628880
Total elapsed time: 20.67
-------------------------------
25.3
Total nodes: 181089567
Raw nodes per second: 5438125
Total elapsed time: 33.30
25.3 x64
Total nodes: 171922715
Raw nodes per second: 8682965
Total elapsed time: 19.80
-------------------------------
25.6 JA
Total nodes: 180591457
Raw nodes per second: 6486762
Total elapsed time: 27.84
25.6 x64
Total nodes: 181905965
Raw nodes per second: 9201111
Total elapsed time: 19.77
-------------------------------