[MLton-commit] r5837

[Matthew Fluet]

Update benchmark counts for benchmarks taking < 10s; don't want startup/shutdown costs to dominate
----------------------------------------------------------------------

U   mlton/trunk/benchmark/main.sml

----------------------------------------------------------------------

Modified: mlton/trunk/benchmark/main.sml
===================================================================
--- mlton/trunk/benchmark/main.sml	2007-08-08 23:40:56 UTC (rev 5836)
+++ mlton/trunk/benchmark/main.sml	2007-08-08 23:45:59 UTC (rev 5837)
@@ -87,45 +87,45 @@
 
 val benchCounts: (string * int * int) list =
    [("barnes-hut", 4096, 1024),
-    ("boyer", 1500, 500),
+    ("boyer", 3000, 1000),
     ("checksum", 1500, 150),
     ("count-graphs", 3, 1),
     ("DLXSimulator", 50, 15),
     ("fft", 256, 128),
     ("fib", 6, 1),
-    ("flat-array", 2000, 400),
-    ("hamlet", 50, 5),
+    ("flat-array", 6000, 1200),
+    ("hamlet", 100, 10),
     ("imp-for", 1000, 300),
     ("knuth-bendix", 500, 100),
     ("lexgen", 300, 50),
-    ("life", 3, 1),
+    ("life", 6, 2),
     ("logic", 40, 7),
     ("mandelbrot", 2, 1),
-    ("matrix-multiply", 2, 2),
-    ("md5", 3, 1),
-    ("merge", 2000, 500),
+    ("matrix-multiply", 20, 20),
+    ("md5", 30, 10),
+    ("merge", 4000, 1000),
     ("mlyacc", 500, 150),
     ("model-elimination", 0, 0),
     ("mpuz", 20, 5),
     ("nucleic", 500, 150),
-    ("output1", 1, 1),
+    ("output1", 3, 3),
     ("peek", 1000, 100),
     ("psdes-random", 3, 1),
-    ("ratio-regions", 512, 256),
+    ("ratio-regions", 1024, 512),
     ("ray", 100, 30),
     ("raytrace", 10, 3),
     ("simple", 100, 20),
     ("smith-normal-form", 6, 1),
     ("tailfib", 200, 60),
-    ("tak", 2, 1),
+    ("tak", 4, 2),
     ("tensor", 3, 1),
     ("tsp", 4, 1),
     ("tyan", 80, 13),
     ("vector-concat", 10, 2),
-    ("vector-rev", 10, 2),
+    ("vector-rev", 20, 20),
     ("vliw", 150, 30),
     ("wc-input1", 4000, 1000),
-    ("wc-scanStream", 3000, 1000),
+    ("wc-scanStream", 6000, 2000),
     ("zebra", 15, 3),
     ("zern", 2000, 500)]