

[1] The following files are main programs utilizing modules provided in
`dp_bench.kl1'.

When you execute the program of `dp_bench.kl1', see contents of `Makefile'.

dp_bench_main_int.kl1		measures access speed in case of
				referring to integers
dp_bench_main_list10.kl1	measures access speed in case of 
				referring to lists  
dp_bench_main_intCong.kl1	measures execution time in case of 
				access congestion 

[2] The following files are main programs utilizing modules provided in
`p_bench.kl1'.

When you execute the program of `p_bench.kl1', see contents of `Makefile'.

p_bench_main_int.kl1		measures access speed in case of
				referring to integers
p_bench_main_list10.kl1		measures access speed in case of 
				referring to lists  
p_bench_main_intCong.kl1	measures execution time in case of 
				access congestion 

[3] The following files are main programs utilizing modules provided in
`mgtp_bench.kl1'.

When you execute the program of `mgtp_bench.kl1', see contents of `Makefile'

mgtp_bench_main.kl1	


 -------------------------------------------------------
  File name			Contents
 -------------------------------------------------------
  dp_bench.kl1		access speed benchmark for the distributed
			pool corresponding to several hit ratios

  p_bench.kl1		access speed benchmark for the pool 
			(the centralized pool)

  dp_st_check.kl1	checks the behavior of the distributed pool
			(only for owner-fixed)

  mgtp_bench.kl1	MGTP (Model Generation Theorem Prover)
			simulator using the distributed pool

  rlib.kl1		routine which translates the command argument
			strings into integers

  timer.kl1		timer routine


 