KitBench Report

MLKIT

Program	Lines	RSS	Size	Data	Stk	Exe	User	Sys	Real	Output	Graph
kitfib35.sml	9	596K	1712K	52K	8K	196K	1.350	0.000	1.340	output	graph
lexgen.sml	1321	20M	21M	19M	76K	320K	4.700	0.110	4.870	output	graph
professor2.sml	276	4892K	6016K	4312K	32K	216K	0.680	0.010	0.680	output	graph
mlyacc.pm		7824K	9008K	6424K	536K	576K	0.190	0.040	0.311	output	graph
kitmolgard.sml	6205	75M	76M	74M	8K	332K	3.040	0.290	3.316	output	graph
kittmergesort.sml	81	5176K	6300K	2300K	2348K	200K	0.530	0.010	0.530	output	graph
kitlife35u.sml	230	664K	1780K	88K	24K	212K	1.550	0.000	1.460	output	graph
kkb36c.sml	726	1220K	2340K	248K	396K	240K	1.550	0.030	1.580	output	graph
vliw.sml	3676	4448K	5584K	3496K	52K	552K	0.860	0.020	0.974	output	graph
logic.pm		129M	130M	128M	160K	252K	3.460	0.410	3.861	output	graph
tak.sml	17	596K	1712K	52K	8K	196K	12.560	0.000	12.551	output	graph
tailfib.sml	25	596K	1712K	52K	8K	196K	20.490	0.000	20.481	output	graph
vector-concat.sml	22	608K	1724K	64K	8K	196K	4.520	0.000	4.510	output	graph
vector-rev.sml	28	712K	1832K	172K	8K	196K	9.960	0.000	9.951	output	graph
zebra.sml	302	6904K	8040K	6360K	12K	216K	3.760	0.000	3.750	output	graph
wc-input1.sml	37	29M	30M	9164K	19M	252K	3.690	0.270	3.950	output	graph
wc-scanStream.sml	43	36M	37M	16M	19M	256K	9.340	0.370	9.695	output	graph
tyan.sml	1018	199M	200M	198M	40K	256K	4.620	0.920	5.525	output	graph
tsp.sml	493	3644K	10M	3060K	24K	216K	3.350	0.020	3.384	output	graph
peek.sml	57	81M	83M	81M	8K	200K	7.740	0.380	8.103	output	graph
mpuz.sml	142	600K	1716K	52K	8K	200K	8.220	0.000	8.210	output	graph
DLXSimulator.sml	2836	3036K	4156K	1144K	1284K	268K	7.420	0.030	7.440	output	graph
ratio-regions.sml	619	2892K	4020K	2336K	8K	224K	1.440	0.010	1.440	output	graph
kitsimple.sml	1052	1380K	2524K	700K	36K	332K	1.500	0.010	1.500	output	graph

MLKIT [-gc]

Program	Lines	RSS	Size	Data	Stk	Exe	User	Sys	Real	Output	Graph
kitfib35.sml	9	636K	1824K	60K	8K	300K	1.840	0.010	1.840	output	graph
lexgen.sml	1321	4072K	11M	3300K	88K	468K	6.850	0.010	6.879	output	graph
professor2.sml	276	772K	1960K	144K	32K	328K	0.770	0.000	0.760	output	graph
mlyacc.pm		3652K	4904K	2020K	584K	820K	0.370	0.000	0.280	output	graph
kitmolgard.sml	6205	880K	2092K	132K	8K	492K	3.540	0.010	3.540	output	graph
kittmergesort.sml	81	8464K	9668K	5560K	2348K	304K	0.680	0.030	0.620	output	graph
kitlife35u.sml	230	744K	1936K	132K	24K	324K	1.920	0.000	1.910	output	graph
kkb36c.sml	726	1460K	2656K	420K	420K	360K	1.780	0.020	1.790	output	graph
vliw.sml	3676	2388K	3632K	1324K	60K	760K	1.170	0.010	1.170	output	graph
logic.pm		1004K	2196K	188K	180K	372K	7.050	0.000	6.971	output	graph
tak.sml	17	636K	1824K	60K	8K	300K	14.630	0.000	14.631	output	graph
tailfib.sml	25	632K	1820K	60K	8K	300K	41.860	0.000	41.791	output	graph
vector-concat.sml	22	644K	1836K	72K	8K	304K	11.240	0.000	11.231	output	graph
vector-rev.sml	28	756K	1944K	180K	8K	304K	16.450	0.010	16.451	output	graph
zebra.sml	302	764K	1956K	156K	16K	328K	4.700	0.010	4.700	output	graph
wc-input1.sml	37	33M	34M	13M	19M	376K	4.750	0.280	5.020	output	graph
wc-scanStream.sml	43	33M	34M	13M	19M	376K	11.740	0.250	11.973	output	graph
tyan.sml	1018	2892K	4072K	2192K	44K	380K	7.230	0.010	7.230	output	graph
tsp.sml	493	8640K	9836K	8020K	32K	328K	3.510	0.030	3.530	output	graph
peek.sml	57	648K	1832K	68K	8K	304K	9.280	0.040	9.310	output	graph
mpuz.sml	142	692K	1876K	104K	8K	308K	10.540	0.010	10.541	output	graph
DLXSimulator.sml	2836	4512K	5724K	2568K	1284K	408K	8.890	0.020	8.910	output	graph
ratio-regions.sml	619	1716K	2920K	1116K	8K	340K	1.790	0.000	1.780	output	graph
kitsimple.sml	1052	2588K	3820K	1824K	40K	500K	2.330	0.010	2.330	output	graph

SMLNJ

Program	Lines	RSS	Size	Data	Stk	Exe	User	Sys	Real	Output
kitfib35_smlnj.sml	10	1076K	5904K	68K	8K	84K	2.970	0.010	2.920	output
lexgen_smlnj.sml	1318	308K	10M	76K	8K	84K	5.990	0.080	6.060	output
professor2_smlnj.sml	284	924K	6416K	68K	8K	84K	2.140	0.020	2.090	output
mlyacc_smlnj.cm		1504K	8276K	72K	8K	84K	0.340	0.020	0.290	output
kitmolgard_smlnj.sml	6206	1236K	14M	68K	8K	84K	4.810	0.020	4.842	output
kittmergesort_smlnj.sml	81	3548K	15M	68K	8K	84K	0.900	0.080	0.920	output
kitlife35u_smlnj.sml	231	1064K	6544K	68K	8K	84K	2.560	0.000	2.500	output
kkb36c_smlnj.sml	724	580K	8656K	68K	8K	84K	2.340	0.080	2.350	output
vliw_smlnj.sml	3676	548K	8916K	72K	8K	84K	1.440	0.010	1.390	output
logic_smlnj.cm		1920K	9492K	72K	8K	84K	3.830	0.080	3.850	output
tak_smlnj.sml	17	860K	7056K	68K	8K	84K	22.210	0.000	22.241	output
tailfib_smlnj.sml	25	556K	4432K	68K	8K	84K	51.570	0.000	51.582	output
vector-concat_smlnj.sml	22	1900K	10M	68K	8K	84K	50.450	0.020	50.442	output
vector-rev_smlnj.sml	28	2732K	14M	68K	8K	84K	81.020	0.040	81.053	output
zebra_smlnj.sml	300	864K	7568K	68K	8K	84K	10.790	0.060	10.870	output
wc-input1_smlnj.sml	37	23M	52M	68K	8K	84K	11.740	0.550	12.231	output
wc-scanStream_smlnj.sml	43	23M	52M	68K	8K	84K	9.080	0.720	9.794	output
tyan_smlnj.sml	1018	1820K	10M	68K	8K	84K	3.820	0.070	3.870	output
tsp_smlnj.sml	493	7408K	21M	76K	8K	84K	20.330	0.060	20.381	output
peek_smlnj.sml	57	784K	5712K	68K	8K	84K	7.920	0.010	7.871	output
mpuz_smlnj.sml	142	840K	6992K	68K	8K	84K	22.460	0.010	22.401	output
DLXSimulator_smlnj.sml	2835	4892K	16M	68K	8K	84K	10.330	0.050	10.311	output
ratio-regions_smlnj.sml	617	2468K	10M	76K	8K	84K	3.160	0.020	3.120	output
kitsimple_smlnj.sml	1055	4112K	17M	72K	8K	84K	1.670	0.000	1.684	output

MLTON

Program	Lines	RSS	Size	Data	Stk	Exe	User	Sys	Real	Output
kitfib35_mlton.sml	10	356K	1532K	52K	8K	24K	1.560	0.000	1.530	output
lexgen.sml	1321	9220K	10M	8992K	8K	112K	2.220	0.250	2.390	output
professor2.sml	276	596K	1760K	264K	8K	40K	0.930	0.000	0.850	output
mlyacc_mlton.cm		4228K	7452K	5600K	8K	348K	0.100	0.050	0.150	output
kitmolgard.sml	6205	700K	1864K	312K	8K	92K	1.420	0.000	1.340	output
kittmergesort.sml	81	27M	45M	43M	8K	32K	0.450	0.150	0.540	output
kitlife35u_mlton.sml	231	860K	2076K	576K	8K	44K	0.820	0.040	0.850	output
kkb36c_mlton.sml	727	1368K	2572K	1052K	8K	60K	0.500	0.060	0.550	output
vliw.sml	3676	5472K	6568K	4840K	8K	244K	0.490	0.060	0.460	output
logic_mlton.cm		1272K	2448K	840K	8K	144K	2.820	0.040	2.860	output
tak.sml	17	356K	1532K	52K	8K	24K	10.720	0.000	10.631	output
tailfib.sml	25	356K	1532K	52K	8K	20K	22.240	0.000	22.241	output
vector-concat.sml	22	552K	1724K	244K	8K	24K	7.840	0.020	7.850	output
vector-rev.sml	28	2232K	3412K	1932K	8K	24K	5.030	0.010	4.990	output
zebra.sml	302	660K	1836K	276K	8K	100K	0.580	0.010	0.580	output
wc-input1.sml	37	34M	49M	47M	8K	40K	0.990	0.250	1.240	output
wc-scanStream.sml	43	44M	59M	57M	8K	40K	1.200	0.380	1.579	output
tyan.sml	1018	3276K	4436K	2904K	8K	72K	2.250	0.200	2.440	output
tsp.sml	493	7224K	16M	14M	8K	36K	1.610	0.080	1.680	output
peek.sml	57	380K	1548K	60K	8K	28K	1.180	0.000	1.170	output
mpuz.sml	142	368K	1544K	60K	8K	28K	3.150	0.010	3.070	output
DLXSimulator.sml	2836	25M	27M	25M	8K	72K	3.470	0.420	3.860	output
ratio-regions.sml	619	5008K	6172K	4668K	8K	48K	0.290	0.050	0.250	output
kitsimple.sml	1052	2520K	5728K	4124K	8K	136K	1.630	0.060	1.688	output

Comparison of Memory Usage

Program \ rss	MLKIT	MLKIT [-gc]	SMLNJ	MLTON
kitfib35.sml	596K	636K	1076K	356K
lexgen.sml	20M	4072K	308K	9220K
professor2.sml	4892K	772K	924K	596K
mlyacc.pm	7824K	3652K	1504K	4228K
kitmolgard.sml	75M	880K	1236K	700K
kittmergesort.sml	5176K	8464K	3548K	27M
kitlife35u.sml	664K	744K	1064K	860K
kkb36c.sml	1220K	1460K	580K	1368K
vliw.sml	4448K	2388K	548K	5472K
logic.pm	129M	1004K	1920K	1272K
tak.sml	596K	636K	860K	356K
tailfib.sml	596K	632K	556K	356K
vector-concat.sml	608K	644K	1900K	552K
vector-rev.sml	712K	756K	2732K	2232K
zebra.sml	6904K	764K	864K	660K
wc-input1.sml	29M	33M	23M	34M
wc-scanStream.sml	36M	33M	23M	44M
tyan.sml	199M	2892K	1820K	3276K
tsp.sml	3644K	8640K	7408K	7224K
peek.sml	81M	648K	784K	380K
mpuz.sml	600K	692K	840K	368K
DLXSimulator.sml	3036K	4512K	4892K	25M
ratio-regions.sml	2892K	1716K	2468K	5008K
kitsimple.sml	1380K	2588K	4112K	2520K

Comparison of Execution Time

Program \ user	MLKIT	MLKIT [-gc]	SMLNJ	MLTON
kitfib35.sml	1.350	1.840	2.970	1.560
lexgen.sml	4.700	6.850	5.990	2.220
professor2.sml	0.680	0.770	2.140	0.930
mlyacc.pm	0.190	0.370	0.340	0.100
kitmolgard.sml	3.040	3.540	4.810	1.420
kittmergesort.sml	0.530	0.680	0.900	0.450
kitlife35u.sml	1.550	1.920	2.560	0.820
kkb36c.sml	1.550	1.780	2.340	0.500
vliw.sml	0.860	1.170	1.440	0.490
logic.pm	3.460	7.050	3.830	2.820
tak.sml	12.560	14.630	22.210	10.720
tailfib.sml	20.490	41.860	51.570	22.240
vector-concat.sml	4.520	11.240	50.450	7.840
vector-rev.sml	9.960	16.450	81.020	5.030
zebra.sml	3.760	4.700	10.790	0.580
wc-input1.sml	3.690	4.750	11.740	0.990
wc-scanStream.sml	9.340	11.740	9.080	1.200
tyan.sml	4.620	7.230	3.820	2.250
tsp.sml	3.350	3.510	20.330	1.610
peek.sml	7.740	9.280	7.920	1.180
mpuz.sml	8.220	10.540	22.460	3.150
DLXSimulator.sml	7.420	8.890	10.330	3.470
ratio-regions.sml	1.440	1.790	3.160	0.290
kitsimple.sml	1.500	2.330	1.670	1.630

The KitBench Tool