KitBench Report

MLKIT

Program	Lines	RSS	Size	Data	Stk	Exe	User	Sys	Real	Output	Graph
vliw.sml	3676	4376K	5468K	3496K	52K	436K	0.890	0.010	0.938	output	graph
logic.pm		128M	130M	128M	160K	112K	3.150	0.590	3.656	output	graph
zebra.sml	302	6836K	7896K	6388K	12K	44K	3.680	0.020	3.791	output	graph
tyan.sml	1018	199M	200M	198M	40K	140K	4.670	0.740	5.827	output	graph
tsp.sml	493	3624K	4696K	3124K	24K	96K	3.370	0.010	3.417	output	graph
mpuz.sml	142	524K	1588K	56K	8K	76K	8.010	0.020	8.210	output	graph
DLXSimulator.sml	2836	2972K	4036K	1144K	1284K	152K	6.010	0.040	6.260	output	graph
ratio-regions.sml	619	2784K	3856K	2300K	8K	96K	1.440	0.000	1.430	output	graph
lexgen.sml	1321	19M	21M	19M	76K	196K	4.770	0.110	4.958	output	graph
mlyacc.pm		7796K	8920K	6452K	536K	460K	0.170	0.060	0.295	output	graph
kitsimple.sml	1052	1276K	2348K	696K	36K	164K	1.650	0.000	1.640	output	graph
professor2.sml	276	4820K	5872K	4344K	32K	44K	0.660	0.010	0.660	output	graph
kitfib35.sml	9	480K	1528K	52K	8K	16K	1.380	0.000	1.370	output	graph
tak.sml	17	480K	1528K	52K	8K	16K	12.420	0.010	12.421	output	graph
kittmergesort.sml	81	4976K	6028K	2204K	2348K	28K	0.500	0.010	0.500	output	graph
kitlife35u.sml	230	524K	1572K	56K	24K	44K	1.550	0.010	1.550	output	graph
kitkbjul9.sml	725	1104K	2156K	248K	396K	64K	1.600	0.000	1.550	output	graph

MLKIT [-gc]

Program	Lines	RSS	Size	Data	Stk	Exe	User	Sys	Real	Output	Graph
vliw.sml	3676	2376K	3524K	1388K	60K	592K	1.160	0.000	1.150	output	graph
logic.pm		892K	1980K	188K	180K	160K	7.020	0.010	6.941	output	graph
zebra.sml	302	644K	1692K	156K	16K	68K	4.460	0.000	5.110	output	graph
tyan.sml	1018	2800K	3908K	2200K	44K	212K	7.160	0.050	7.930	output	graph
tsp.sml	493	8536K	9672K	8040K	32K	152K	3.560	0.060	4.080	output	graph
mpuz.sml	142	568K	1640K	60K	8K	120K	10.190	0.000	10.180	output	graph
DLXSimulator.sml	2836	4428K	5540K	2560K	1284K	240K	7.400	0.050	7.450	output	graph
ratio-regions.sml	619	1640K	2736K	1124K	8K	152K	1.760	0.000	1.750	output	graph
lexgen.sml	1321	3912K	5044K	3212K	84K	288K	6.770	0.020	6.780	output	graph
mlyacc.pm		3680K	4824K	2112K	584K	652K	0.350	0.020	0.280	output	graph
kitsimple.sml	1052	2452K	3536K	1804K	40K	240K	2.100	0.010	2.100	output	graph
professor2.sml	276	640K	1692K	140K	32K	68K	0.730	0.000	0.820	output	graph
kitfib35.sml	9	500K	1548K	64K	8K	28K	1.910	0.000	1.900	output	graph
tak.sml	17	500K	1548K	64K	8K	28K	14.020	0.020	15.161	output	graph
kittmergesort.sml	81	8328K	9396K	5552K	2348K	48K	0.710	0.000	0.700	output	graph
kitlife35u.sml	230	592K	1636K	96K	24K	64K	1.830	0.000	1.860	output	graph
kitkbjul9.sml	725	1352K	2408K	448K	420K	92K	1.770	0.030	1.810	output	graph

MLKIT [-gc -no_ri -scratch]

Program	Lines	RSS	Size	Data	Stk	Exe	User	Sys	Real	Output	Graph
vliw.sml	3676	1640K	2764K	700K	52K	528K	1.990	0.010	1.990	output	graph
logic.pm		892K	1980K	192K	180K	160K	6.940	0.000	6.851	output	graph
zebra.sml	302	548K	1592K	64K	12K	68K	4.600	0.010	4.600	output	graph
tyan.sml	1018	1352K	2460K	772K	28K	208K	10.190	0.060	10.241	output	graph
tsp.sml	493	8532K	9664K	8032K	32K	148K	4.150	0.020	4.160	output	graph
mpuz.sml	142	568K	1640K	64K	8K	120K	10.230	0.000	10.220	output	graph
DLXSimulator.sml	2836	5560K	6668K	3696K	1284K	232K	9.330	0.040	9.281	output	graph
ratio-regions.sml	619	1628K	2724K	1116K	8K	152K	1.860	0.000	1.850	output	graph
lexgen.sml	1321	3076K	4204K	2388K	80K	272K	7.870	0.020	7.880	output	graph
mlyacc.pm		2676K	3816K	1136K	584K	624K	0.510	0.010	0.470	output	graph
kitsimple.sml	1052	2372K	3432K	1716K	36K	228K	2.390	0.000	2.380	output	graph
professor2.sml	276	576K	1620K	64K	36K	68K	1.040	0.010	1.050	output	graph
kitfib35.sml	9	500K	1548K	64K	8K	28K	1.910	0.000	1.900	output	graph
tak.sml	17	500K	1548K	64K	8K	28K	14.020	0.010	14.011	output	graph
kittmergesort.sml	81	9912K	10M	7120K	2348K	44K	1.140	0.040	1.090	output	graph
kitlife35u.sml	230	612K	1656K	128K	16K	64K	1.890	0.000	1.880	output	graph
kitkbjul9.sml	725	1076K	2124K	260K	328K	88K	1.570	0.010	1.500	output	graph

MLKIT [-tag_values -scratch]

Program	Lines	RSS	Size	Data	Stk	Exe	User	Sys	Real	Output	Graph
vliw.sml	3676	5880K	6980K	4956K	60K	480K	0.980	0.010	0.900	output	graph
logic.pm		171M	172M	171M	176K	128K	3.820	0.580	8.122	output	graph
zebra.sml	302	10M	11M	9588K	12K	48K	3.910	0.040	3.940	output	graph
tyan.sml	1018	283M	285M	283M	40K	160K	5.320	1.010	6.551	output	graph
tsp.sml	493	5820K	6896K	5300K	32K	112K	4.390	0.020	5.381	output	graph
mpuz.sml	142	536K	1600K	56K	8K	88K	9.170	0.000	9.160	output	graph
DLXSimulator.sml	2836	3548K	4652K	1724K	1284K	188K	6.990	0.020	7.000	output	graph
ratio-regions.sml	619	3856K	4928K	3360K	8K	112K	1.540	0.030	1.570	output	graph
lexgen.sml	1321	27M	28M	27M	84K	224K	5.170	0.080	5.279	output	graph
mlyacc.pm		10M	11M	9196K	568K	516K	0.190	0.040	0.285	output	graph
kitsimple.sml	1052	1708K	2760K	1080K	36K	192K	1.790	0.000	1.700	output	graph
professor2.sml	276	6840K	7896K	6364K	32K	48K	0.680	0.040	0.720	output	graph
kitfib35.sml	9	476K	1528K	52K	8K	20K	1.690	0.000	1.670	output	graph
tak.sml	17	476K	1528K	52K	8K	20K	12.990	0.000	12.901	output	graph
kittmergesort.sml	81	6372K	7436K	3608K	2348K	32K	0.570	0.010	0.520	output	graph
kitlife35u.sml	230	564K	1612K	92K	24K	48K	1.570	0.000	1.480	output	graph
kitkbjul9.sml	725	1136K	2188K	248K	420K	68K	1.640	0.040	1.680	output	graph

SMLNJ

Program	Lines	RSS	Size	Data	Stk	Exe	User	Sys	Real	Output
vliw_smlnj.sml	3676	612K	8916K	72K	8K	84K	1.440	0.030	1.410	output
logic_smlnj.cm		1908K	9492K	72K	8K	84K	3.750	0.120	3.800	output
zebra_smlnj.sml	300	868K	7568K	68K	8K	84K	10.430	0.030	10.391	output
tyan_smlnj.sml	1018	1804K	12M	68K	8K	84K	3.780	0.090	3.820	output
tsp_smlnj.sml	493	7412K	21M	76K	8K	84K	20.780	0.080	20.831	output
mpuz_smlnj.sml	142	844K	6992K	68K	8K	84K	20.700	0.020	21.251	output
DLXSimulator_smlnj.sml	2835	4896K	16M	68K	8K	84K	10.120	0.050	11.351	output
ratio-regions_smlnj.sml	617	2476K	10M	76K	8K	84K	3.150	0.020	3.100	output
lexgen_smlnj.sml	1318	352K	10M	76K	8K	84K	5.950	0.060	6.021	output
mlyacc_smlnj.cm		1472K	9684K	72K	8K	84K	0.330	0.030	0.290	output
kitsimple_smlnj.sml	1055	2012K	8724K	72K	8K	84K	1.640	0.020	1.647	output
professor2_smlnj.sml	284	928K	6416K	68K	8K	84K	2.180	0.010	2.135	output
kitfib35_smlnj.sml	10	1076K	5904K	68K	8K	84K	2.720	0.010	2.730	output
tak_smlnj.sml	17	864K	7056K	68K	8K	84K	22.390	0.030	22.361	output
kittmergesort_smlnj.sml	81	3472K	15M	68K	8K	84K	0.870	0.100	0.900	output
kitlife35u_smlnj.sml	231	1068K	6544K	68K	8K	84K	2.540	0.040	2.510	output
kitkbjul9_smlnj.sml	726	752K	7440K	68K	8K	84K	2.510	0.080	2.530	output

Comparison of Memory Usage

Program \ rss	MLKIT	MLKIT [-gc]	MLKIT [-gc -no_ri -scratch]	MLKIT [-tag_values -scratch]	SMLNJ
vliw.sml	4376K	2376K	1640K	5880K	612K
logic.pm	128M	892K	892K	171M	1908K
zebra.sml	6836K	644K	548K	10M	868K
tyan.sml	199M	2800K	1352K	283M	1804K
tsp.sml	3624K	8536K	8532K	5820K	7412K
mpuz.sml	524K	568K	568K	536K	844K
DLXSimulator.sml	2972K	4428K	5560K	3548K	4896K
ratio-regions.sml	2784K	1640K	1628K	3856K	2476K
lexgen.sml	19M	3912K	3076K	27M	352K
mlyacc.pm	7796K	3680K	2676K	10M	1472K
kitsimple.sml	1276K	2452K	2372K	1708K	2012K
professor2.sml	4820K	640K	576K	6840K	928K
kitfib35.sml	480K	500K	500K	476K	1076K
tak.sml	480K	500K	500K	476K	864K
kittmergesort.sml	4976K	8328K	9912K	6372K	3472K
kitlife35u.sml	524K	592K	612K	564K	1068K
kitkbjul9.sml	1104K	1352K	1076K	1136K	752K

Comparison of Execution Time

Program \ user	MLKIT	MLKIT [-gc]	MLKIT [-gc -no_ri -scratch]	MLKIT [-tag_values -scratch]	SMLNJ
vliw.sml	0.890	1.160	1.990	0.980	1.440
logic.pm	3.150	7.020	6.940	3.820	3.750
zebra.sml	3.680	4.460	4.600	3.910	10.430
tyan.sml	4.670	7.160	10.190	5.320	3.780
tsp.sml	3.370	3.560	4.150	4.390	20.780
mpuz.sml	8.010	10.190	10.230	9.170	20.700
DLXSimulator.sml	6.010	7.400	9.330	6.990	10.120
ratio-regions.sml	1.440	1.760	1.860	1.540	3.150
lexgen.sml	4.770	6.770	7.870	5.170	5.950
mlyacc.pm	0.170	0.350	0.510	0.190	0.330
kitsimple.sml	1.650	2.100	2.390	1.790	1.640
professor2.sml	0.660	0.730	1.040	0.680	2.180
kitfib35.sml	1.380	1.910	1.910	1.690	2.720
tak.sml	12.420	14.020	14.020	12.990	22.390
kittmergesort.sml	0.500	0.710	1.140	0.570	0.870
kitlife35u.sml	1.550	1.830	1.890	1.570	2.540
kitkbjul9.sml	1.600	1.770	1.570	1.640	2.510

The KitBench Tool