Change default time settings from -t =80000 to -t 15master
[pachi/nmclean.git] / uct / 
tree484d0f060dc6d19519a23db9f2f89a586de71152
drwxr-xr-x   ..
-rw-r--r-- 197 Makefile
-rw-r--r-- 20112 dynkomi.c
-rw-r--r-- 2423 dynkomi.h
-rw-r--r-- 4986 internal.h
-rw-r--r-- 3385 plugin.h
drwxr-xr-x - plugin
-rw-r--r-- 2527 plugins.c
-rw-r--r-- 586 plugins.h
drwxr-xr-x - policy
-rw-r--r-- 9975 prior.c
-rw-r--r-- 1219 prior.h
-rw-r--r-- 16387 search.c
-rw-r--r-- 2314 search.h
-rw-r--r-- 19597 slave.c
-rw-r--r-- 515 slave.h
-rw-r--r-- 25378 tree.c
-rw-r--r-- 7491 tree.h
-rw-r--r-- 41549 uct.c
-rw-r--r-- 356 uct.h
-rw-r--r-- 19995 walk.c
-rw-r--r-- 420 walk.h