| Program | Lines | RSS | Size | Data | Stk | Exe | User | Sys | Real | Output |
|---|---|---|---|---|---|---|---|---|---|---|
| professor2.sml | 276 | 596K | 1760K | 264K | 8K | 40K | 1.240 | 0.010 | 1.160 | output |
| kitlife35u_mlton.sml | 231 | 800K | 2076K | 576K | 8K | 44K | 1.120 | 0.010 | 1.040 | output |
| kkb36c_mlton.sml | 727 | 1368K | 2572K | 1052K | 8K | 60K | 0.620 | 0.120 | 0.650 | output |
| vliw.sml | 3676 | 5472K | 6568K | 4840K | 8K | 244K | 0.590 | 0.080 | 0.580 | output |
| Program | Lines | RSS | Size | Data | Stk | Exe | User | Sys | Real | Output | Graph |
|---|---|---|---|---|---|---|---|---|---|---|---|
| professor2.sml | 276 | 4920K | 6036K | 4344K | 32K | 204K | 0.980 | 0.010 | 0.981 | output | graph |
| kitlife35u.sml | 230 | 656K | 1764K | 88K | 20K | 204K | 2.090 | 0.010 | 2.090 | output | graph |
| kkb36c.sml | 726 | 1256K | 2364K | 248K | 432K | 232K | 2.710 | 0.000 | 2.710 | output | graph |
| vliw.sml | 3676 | 4396K | 5496K | 3528K | 52K | 440K | 1.260 | 0.020 | 1.261 | output | graph |
| program \ rss | MLTON | MLKIT | Improvement (percent) |
|---|---|---|---|
| professor2.sml | 596K | 4920K | ~725.5 |
| kitlife35u.sml | 800K | 656K | 18.0 |
| kkb36c.sml | 1368K | 1256K | 8.2 |
| vliw.sml | 5472K | 4396K | 19.7 |
| program \ user | MLTON | MLKIT | Improvement (percent) |
|---|---|---|---|
| professor2.sml | 1.240 | 0.980 | 21.0 |
| kitlife35u.sml | 1.120 | 2.090 | ~86.6 |
| kkb36c.sml | 0.620 | 2.710 | ~337.1 |
| vliw.sml | 0.590 | 1.260 | ~113.6 |