UCT: Raise default dynkomi_interval to 1000
commitab2db74c8acc84248d320b9004446b673359a0d5
authorPetr Baudis <pasky@ucw.cz>
Mon, 9 Aug 2010 15:15:45 +0000 (9 17:15 +0200)
committerPetr Baudis <pasky@ucw.cz>
Mon, 9 Aug 2010 15:15:45 +0000 (9 17:15 +0200)
tree6ac51da58bbd1b7a536cc4564fa17a0d01e8a222
parent2d8cd2278826022adf891d7014f3bfdefb4295d3
UCT: Raise default dynkomi_interval to 1000
uct/uct.c