KitBench Report

MLTON

Program	Lines	RSS	Size	Data	Stk	Exe	User	Sys	Real	Output
kitfib35_mlton.sml	10	356K	1532K	52K	8K	24K	2.110	0.000	2.020	output
lexgen.sml	1321	9220K	10M	8880K	8K	112K	2.800	0.340	3.176	output
professor2.sml	276	596K	1760K	264K	8K	40K	1.270	0.000	1.210	output
mlyacc_mlton.cm		4292K	7452K	5600K	8K	348K	0.120	0.060	0.235	output
kitmolgard.sml	6205	700K	1864K	312K	8K	92K	1.870	0.010	1.820	output
kittmergesort.sml	81	27M	45M	43M	8K	32K	0.490	0.210	0.630	output
kitlife35u_mlton.sml	231	808K	2076K	576K	8K	44K	1.100	0.030	1.040	output
kkb36c_mlton.sml	727	1368K	2572K	1052K	8K	60K	0.720	0.040	0.770	output
vliw.sml	3676	5472K	6568K	4840K	8K	244K	0.600	0.080	0.677	output
logic_mlton.cm		1272K	2448K	840K	8K	144K	3.270	0.070	3.250	output
tak.sml	17	356K	1532K	52K	8K	24K	14.450	0.000	14.401	output
tailfib.sml	25	356K	1532K	52K	8K	20K	30.010	0.000	29.991	output
vector-concat.sml	22	552K	1724K	244K	8K	24K	10.750	0.040	10.701	output
vector-rev.sml	28	2232K	3412K	1932K	8K	24K	5.110	0.030	5.050	output
zebra.sml	302	660K	1836K	276K	8K	100K	0.750	0.010	0.759	output
wc-input1.sml	37	34M	49M	47M	8K	40K	1.240	0.280	1.469	output
wc-scanStream.sml	43	44M	59M	57M	8K	40K	1.640	0.320	1.950	output
tyan.sml	1018	3276K	4436K	2904K	8K	72K	2.720	0.160	2.840	output
tsp.sml	493	7320K	16M	14M	8K	36K	2.170	0.030	2.160	output
peek.sml	57	380K	1548K	60K	8K	28K	1.570	0.010	1.520	output
mpuz.sml	142	368K	1544K	60K	8K	28K	4.250	0.000	4.160	output
DLXSimulator.sml	2836	25M	27M	25M	8K	72K	3.730	0.420	4.150	output
ratio-regions.sml	619	5008K	6172K	4668K	8K	48K	0.370	0.070	0.430	output
kitsimple.sml	1052	2568K	5728K	4124K	8K	136K	2.220	0.010	2.231	output

MLKIT [-maximum_inline_size 50]

Program	Lines	RSS	Size	Data	Stk	Exe	User	Sys	Real	Output	Graph
kitfib35.sml	9	592K	1700K	52K	8K	188K	2.050	0.000	2.001	output	graph
lexgen.sml	1321	20M	21M	19M	76K	292K	6.380	0.080	6.460	output	graph
professor2.sml	276	4896K	6008K	4316K	32K	204K	0.920	0.010	0.920	output	graph
mlyacc.pm		7892K	9048K	6484K	548K	544K	0.280	0.010	0.200	output	graph
kitmolgard.sml	6205	75M	76M	74M	8K	320K	4.140	0.320	4.447	output	graph
kittmergesort.sml	81	5268K	6384K	2392K	2348K	188K	0.690	0.000	0.618	output	graph
kitlife35u.sml	230	664K	1768K	88K	24K	204K	2.080	0.010	2.070	output	graph
kkb36c.sml	726	1240K	2352K	248K	420K	228K	2.130	0.000	2.120	output	graph
vliw.sml	3676	4468K	5580K	3528K	52K	516K	1.220	0.000	1.190	output	graph
logic.pm		129M	130M	128M	160K	244K	4.420	0.510	4.968	output	graph
tak.sml	17	592K	1700K	52K	8K	188K	17.190	0.010	17.131	output	graph
tailfib.sml	25	596K	1700K	52K	8K	188K	27.780	0.000	27.701	output	graph
vector-concat.sml	22	608K	1712K	64K	8K	188K	25.160	0.010	25.141	output	graph
vector-rev.sml	28	716K	1820K	172K	8K	188K	14.690	0.000	14.611	output	graph
zebra.sml	302	6936K	8060K	6388K	12K	204K	5.040	0.030	5.070	output	graph
wc-input1.sml	37	29M	30M	9168K	19M	228K	4.850	0.210	4.970	output	graph
wc-scanStream.sml	43	36M	37M	16M	19M	228K	12.460	0.250	12.674	output	graph
tyan.sml	1018	199M	200M	198M	52K	244K	6.100	0.840	7.208	output	graph
tsp.sml	493	3636K	4748K	3064K	24K	208K	4.550	0.020	4.521	output	graph
peek.sml	57	81M	83M	81M	8K	188K	10.780	0.410	11.116	output	graph
mpuz.sml	142	608K	1708K	56K	8K	192K	10.550	0.000	10.491	output	graph
DLXSimulator.sml	2836	3028K	4144K	1144K	1284K	260K	7.980	0.020	7.909	output	graph
ratio-regions.sml	619	2896K	4008K	2332K	8K	212K	1.920	0.020	1.900	output	graph
kitsimple.sml	1052	1372K	2508K	696K	36K	320K	2.210	0.000	2.130	output	graph

Comparison of Memory Usage

Program \ rss	MLTON	MLKIT [-maximum_inline_size 50]	Improvement (percent)
kitfib35.sml	356K	592K	~66.3
lexgen.sml	9220K	20M	~117.2
professor2.sml	596K	4896K	~721.5
mlyacc.pm	4292K	7892K	~83.9
kitmolgard.sml	700K	75M	~10621.1
kittmergesort.sml	27M	5268K	80.7
kitlife35u.sml	808K	664K	17.8
kkb36c.sml	1368K	1240K	9.4
vliw.sml	5472K	4468K	18.3
logic.pm	1272K	129M	~10050.0
tak.sml	356K	592K	~66.3
tailfib.sml	356K	596K	~67.4
vector-concat.sml	552K	608K	~10.1
vector-rev.sml	2232K	716K	67.9
zebra.sml	660K	6936K	~950.9
wc-input1.sml	34M	29M	15.8
wc-scanStream.sml	44M	36M	18.4
tyan.sml	3276K	199M	~5986.7
tsp.sml	7320K	3636K	50.3
peek.sml	380K	81M	~21471.6
mpuz.sml	368K	608K	~65.2
DLXSimulator.sml	25M	3028K	88.2
ratio-regions.sml	5008K	2896K	42.2
kitsimple.sml	2568K	1372K	46.6

Comparison of Execution Time

Program \ user	MLTON	MLKIT [-maximum_inline_size 50]	Improvement (percent)
kitfib35.sml	2.110	2.050	2.8
lexgen.sml	2.800	6.380	~127.9
professor2.sml	1.270	0.920	27.6
mlyacc.pm	0.120	0.280	~133.3
kitmolgard.sml	1.870	4.140	~121.4
kittmergesort.sml	0.490	0.690	~40.8
kitlife35u.sml	1.100	2.080	~89.1
kkb36c.sml	0.720	2.130	~195.8
vliw.sml	0.600	1.220	~103.3
logic.pm	3.270	4.420	~35.2
tak.sml	14.450	17.190	~19.0
tailfib.sml	30.010	27.780	7.4
vector-concat.sml	10.750	25.160	~134.0
vector-rev.sml	5.110	14.690	~187.5
zebra.sml	0.750	5.040	~572.0
wc-input1.sml	1.240	4.850	~291.1
wc-scanStream.sml	1.640	12.460	~659.8
tyan.sml	2.720	6.100	~124.3
tsp.sml	2.170	4.550	~109.7
peek.sml	1.570	10.780	~586.6
mpuz.sml	4.250	10.550	~148.2
DLXSimulator.sml	3.730	7.980	~113.9
ratio-regions.sml	0.370	1.920	~418.9
kitsimple.sml	2.220	2.210	0.5

The KitBench Tool