
[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 the
following files.

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 the
following files.

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 the
following files.

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)

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

