Commits

Matthew Hammer committed ccf7777

test results for AS2

  • Participants
  • Parent commits 1220b30

Comments (0)

Files changed (19)

Source/As2/Global.ml

 let print_ast_db   = ref false
 let stats_out      = ref "as2-stats.out"
 let stateless_eval = ref true
+let num_changes    = ref 10
 
 
 let rec args = [
   ("--stateless-eval",  Arg.Set stateless_eval, " use stateless evaluation semantics" ) ;
   ("--stateful-eval",   Arg.Clear stateless_eval, " use stateful evaluation semantics" ) ;
 
-  ("--num-sheets", Arg.Int begin fun i -> num_sheets := i end, " set the total number of sheets (default: 20)" );
-  ("--repl",       Arg.Unit begin fun _ -> func := F_repl end, " functionality/mode: read-eval-print-loop (REPL)") ;
+  ("--repl",              Arg.Unit begin fun _ -> func := F_repl end, " functionality/mode: read-eval-print-loop (REPL)") ;
+
   ("--stats-test",        Arg.Int begin fun n -> num_sheets := n; func := F_stats_test (n, `No_switch) end, " functionality/mode: run a predefined script, of a given size and record statisitics") ;
   ("--stats-test-switch", Arg.Int begin fun n -> num_sheets := n; func := F_stats_test (n, `Switch) end,    " functionality/mode: run a predefined script (that switches), of a given size and record statisitics") ;
-  ("--stats-out", Arg.String begin fun s -> stats_out := s end, " write out stats to the given file" ) ;
+  ("--num-sheets",        Arg.Int begin fun i -> num_sheets := i end, " set the total number of sheets (default: 20)" );
+  ("--num-changes",       Arg.Int begin fun i -> num_changes := i end, " set the number changes in the test script") ;
+  ("--stats-out",         Arg.String begin fun s -> stats_out := s end, " write out stats to the given file" ) ;
 
   ("--Random.self_init", Arg.Unit begin fun _ -> Random.self_init () end, " initialize the Random module's number generator" ) ;  
-  ("--verbose",    Arg.Set verbose_errors, " give verbose (contextual) errors") ;
-  ("--ast-db",     Arg.Set print_ast_db, " give verbose debugging information in formulae") ;
+  ("--verbose",          Arg.Set verbose_errors, " give verbose (contextual) errors") ;
+  ("--ast-db",           Arg.Set print_ast_db, " give verbose debugging information in formulae") ;
 ]
 
 let cur_filename = ref ""

Source/As2/Interp.ml

                         | Fn_sum,  Num x, Num y -> Num ( Num.add_num x y )
                         | Fn_max,  Num x, Num y -> Num ( if Num.gt_num x y then x else y )
                         | Fn_min,  Num x, Num y -> Num ( if Num.gt_num x y then y else x )
-                        | _, Fail, _            -> Fail
-                        | _, _   , Fail         -> Fail 
-                        | _      , Undef, _     -> Undef
-                        | _      , _,     Undef -> Undef
+                        | _,       Fail,  _     -> Fail
+                        | _,       _   ,  Fail  -> Fail 
+                        | _,       Undef, _     -> Undef
+                        | _,       _,     Undef -> Undef
                     end xs x
               end
                 
                   | Bop_sub, Num n1, Num n2 -> Num (Num.sub_num n1 n2)
                   | Bop_div, Num n1, Num n2 -> Num (Num.div_num n1 n2)
                   | Bop_mul, Num n1, Num n2 -> Num (Num.mult_num n1 n2)
-                  | _, Fail , _     -> Fail
-                  | _, _    , Fail  -> Fail 
-                  | _, Undef, x     -> Undef
-                  | _, x    , Undef -> Undef
+                  | _,       Fail,   _      -> Fail
+                  | _,       _,      Fail   -> Fail 
+                  | _,       Undef,  _      -> Undef
+                  | _,       _,      Undef  -> Undef
                 end
               with
                 | Failure _ -> Fail

Source/As2/Main.ml

 
 let test test_flags n cur =
   let sht_to_demand = n in
-  let num_changes = 10 in
+  let num_changes = ! Global.num_changes in
   let module S = Adapton.Statistics in
   let cmd =
     match test_flags with

Test/runas2test-results-1425-2013.11.03/runas2test-1425-2013.11.03.xlsx

Binary file added.

Test/runas2test-results-1425-2013.11.03/runas2testeagersatotalorder.csv

+2, 10, 0.452806, 253952, 142, 420, 5887, 284, 0
+2, 10, 0.485592, 253952, 172, 420, 5648, 204, 0
+2, 10, 0.487483, 253952, 162, 420, 5574, 180, 0
+2, 10, 0.417466, 253952, 146, 420, 5547, 172, 0
+2, 10, 0.442749, 253952, 180, 420, 5677, 214, 0
+2, 10, 0.450043, 253952, 146, 420, 5652, 206, 0
+2, 10, 0.402643, 253952, 168, 420, 5579, 182, 0
+2, 10, 0.395838, 253952, 88, 420, 5611, 192, 0
+2, 10, 0.487835, 253952, 132, 420, 5799, 254, 0
+2, 10, 0.380454, 253952, 150, 420, 5541, 168, 0
+2, 10, 0.402362, 253952, 124, 420, 5839, 268, 0
+2, 10, 0.439086, 253952, 90, 420, 6043, 336, 0
+2, 10, 0.343623, 253952, 114, 420, 6037, 334, 0
+2, 10, 0.459195, 253952, 174, 420, 5639, 205, 3
+2, 10, 0.398281, 253952, 184, 420, 5607, 200, 10
+2, 10, 0.382911, 253952, 132, 420, 5754, 240, 0
+2, 10, 0.375076, 253952, 140, 420, 5731, 232, 0
+2, 10, 0.387654, 253952, 138, 420, 5556, 174, 0
+2, 10, 0.428243, 253952, 138, 420, 5611, 192, 0
+2, 10, 0.442021, 253952, 124, 420, 5666, 210, 0
+2, 10, 0.427263, 253952, 152, 420, 5805, 256, 0
+2, 10, 0.394850, 253952, 178, 420, 5697, 222, 0
+2, 10, 0.414246, 253952, 90, 420, 5969, 312, 0
+2, 10, 0.374630, 253952, 138, 420, 5579, 182, 0
+2, 10, 0.367279, 253952, 124, 420, 5720, 228, 0
+2, 10, 0.430313, 253952, 124, 420, 5823, 262, 0
+2, 10, 0.429444, 253952, 144, 420, 5877, 280, 0
+2, 10, 0.411661, 253952, 106, 420, 5737, 234, 0
+2, 10, 0.440045, 253952, 96, 420, 5594, 186, 0
+2, 10, 0.387482, 253952, 142, 420, 5763, 242, 0
+2, 10, 0.360024, 253952, 100, 420, 5598, 188, 0
+2, 10, 0.403445, 253952, 150, 420, 5904, 290, 0
+3, 10, 0.534178, 634880, 234, 620, 12508, 388, 0
+3, 10, 0.428571, 634880, 244, 620, 11811, 336, 0
+3, 10, 0.466946, 634880, 238, 620, 12052, 336, 0
+3, 10, 0.380095, 634880, 222, 620, 12139, 322, 0
+3, 10, 0.458356, 634880, 240, 620, 13939, 875, 5
+3, 10, 0.353593, 634880, 220, 620, 11675, 372, 2
+3, 10, 0.371132, 634880, 210, 620, 13425, 619, 5
+3, 10, 0.415850, 634880, 222, 620, 11581, 202, 0
+3, 10, 0.450722, 634880, 146, 620, 13292, 538, 0
+3, 10, 0.445383, 634880, 226, 620, 13245, 654, 0
+3, 10, 0.439595, 634880, 180, 620, 12819, 442, 6
+3, 10, 0.327712, 634880, 194, 620, 12491, 452, 0
+3, 10, 0.427856, 634880, 232, 620, 15007, 1191, 25
+3, 10, 0.401995, 634880, 100, 620, 11296, 154, 0
+3, 10, 0.431358, 634880, 206, 620, 11345, 259, 9
+3, 10, 0.420284, 634880, 210, 620, 13645, 639, 5
+3, 10, 0.496984, 634880, 228, 620, 11871, 388, 0
+3, 10, 0.431669, 634880, 244, 620, 12171, 378, 4
+3, 10, 0.462186, 634880, 236, 620, 13256, 624, 0
+3, 10, 0.447122, 634880, 232, 620, 12700, 498, 0
+3, 10, 0.396835, 634880, 226, 620, 12725, 423, 7
+3, 10, 0.430134, 634880, 232, 620, 11645, 189, 1
+3, 10, 0.362997, 634880, 234, 620, 12425, 360, 0
+3, 10, 0.506776, 634880, 234, 620, 13049, 510, 0
+3, 10, 0.361998, 634880, 144, 620, 11846, 300, 0
+3, 10, 0.335900, 634880, 228, 620, 13025, 544, 0
+3, 10, 0.359333, 634880, 196, 620, 13847, 688, 0
+3, 10, 0.402497, 634880, 244, 620, 12879, 632, 0
+3, 10, 0.456922, 634880, 198, 620, 12001, 438, 0
+3, 10, 0.430597, 634880, 228, 620, 13528, 667, 7
+3, 10, 0.509325, 634880, 238, 620, 12350, 414, 0
+3, 10, 0.426341, 634880, 172, 620, 12523, 452, 0
+4, 10, 0.503455, 1269760, 240, 820, 22094, 504, 0
+4, 10, 0.515461, 1142784, 240, 820, 20963, 388, 2
+4, 10, 0.468599, 1142784, 226, 820, 24049, 1110, 0
+4, 10, 0.535361, 1269760, 298, 820, 23112, 610, 0
+4, 10, 0.429808, 1269760, 286, 820, 22083, 670, 6
+4, 10, 0.383926, 1269760, 304, 820, 23683, 828, 0
+4, 10, 0.553205, 1269760, 294, 820, 21963, 437, 5
+4, 10, 0.493267, 1269760, 302, 820, 25246, 1008, 16
+4, 10, 0.579119, 1269760, 254, 820, 26353, 794, 10
+4, 10, 0.428729, 1269760, 254, 820, 21577, 400, 0
+4, 10, 0.466025, 1269760, 244, 820, 22955, 374, 0
+4, 10, 0.504417, 1269760, 292, 820, 21185, 440, 10
+4, 10, 0.543137, 1142784, 230, 820, 27871, 1404, 20
+4, 10, 0.557273, 1269760, 206, 820, 21749, 420, 0
+4, 10, 0.532937, 1269760, 258, 820, 24047, 597, 9
+4, 10, 0.457143, 1269760, 286, 820, 23675, 694, 0
+4, 10, 0.523051, 1269760, 180, 820, 25665, 1414, 20
+4, 10, 0.495879, 1269760, 266, 820, 20542, 415, 9
+4, 10, 0.514928, 1142784, 298, 820, 24422, 734, 6
+4, 10, 0.441092, 1142784, 240, 820, 24905, 1274, 14
+4, 10, 0.562702, 1142784, 258, 820, 26155, 743, 3
+4, 10, 0.504378, 1269760, 266, 820, 22653, 683, 5
+4, 10, 0.573500, 1269760, 294, 820, 24705, 1382, 10
+4, 10, 0.411549, 1142784, 270, 820, 24454, 804, 4
+4, 10, 0.500804, 1142784, 232, 820, 22449, 800, 20
+4, 10, 0.464869, 1269760, 252, 820, 25435, 1046, 0
+4, 10, 0.556672, 1142784, 258, 820, 23355, 614, 0
+4, 10, 0.419521, 1269760, 286, 820, 24175, 632, 8
+4, 10, 0.454741, 1269760, 206, 820, 26355, 1090, 0
+4, 10, 0.485660, 1142784, 206, 820, 28146, 1548, 24
+4, 10, 0.440878, 1142784, 304, 820, 22749, 514, 2
+4, 10, 0.462939, 1142784, 212, 820, 22889, 454, 6
+5, 10, 0.496360, 2031616, 316, 1020, 40617, 814, 0
+5, 10, 0.508308, 1904640, 354, 1020, 35881, 594, 6
+5, 10, 0.625438, 1396736, 358, 1020, 32030, 348, 0
+5, 10, 0.469491, 1904640, 318, 1020, 47610, 1531, 65
+5, 10, 0.460303, 2031616, 352, 1020, 44534, 1476, 8
+5, 10, 0.435250, 1904640, 346, 1020, 38927, 844, 4
+5, 10, 0.433519, 1904640, 318, 1020, 44770, 1374, 0
+5, 10, 0.502671, 1904640, 352, 1020, 39982, 1476, 4
+5, 10, 0.507917, 1904640, 352, 1020, 38662, 923, 9
+5, 10, 0.386075, 1904640, 324, 1020, 41826, 654, 0
+5, 10, 0.411020, 2158592, 352, 1020, 38345, 338, 0
+5, 10, 0.461534, 2031616, 346, 1020, 44422, 1454, 10
+5, 10, 0.388785, 1904640, 364, 1020, 37461, 460, 6
+5, 10, 0.340997, 1904640, 288, 1020, 35707, 484, 0
+5, 10, 0.536508, 2031616, 260, 1020, 43225, 1433, 11
+5, 10, 0.512296, 2031616, 364, 1020, 50322, 2382, 0
+5, 10, 0.611724, 2031616, 320, 1020, 47027, 1470, 20
+5, 10, 0.551902, 1904640, 244, 1020, 46131, 1707, 35
+5, 10, 0.531541, 2539520, 332, 1020, 57462, 3340, 78
+5, 10, 0.764675, 2920448, 352, 1020, 58670, 3642, 26
+5, 10, 0.450504, 1904640, 322, 1020, 48080, 1585, 25
+5, 10, 0.417049, 2031616, 318, 1020, 34271, 650, 10
+5, 10, 0.478382, 2031616, 348, 1020, 36769, 466, 0
+5, 10, 0.459009, 2031616, 340, 1020, 45722, 1596, 16
+5, 10, 0.457279, 2158592, 248, 1020, 45481, 1118, 0
+5, 10, 0.374565, 2031616, 298, 1020, 36220, 203, 1
+5, 10, 0.405993, 1904640, 318, 1020, 42687, 986, 0
+5, 10, 0.419235, 2031616, 238, 1020, 40363, 768, 6
+5, 10, 0.405587, 1904640, 332, 1020, 42734, 1090, 0
+5, 10, 0.501109, 2031616, 330, 1020, 38176, 294, 0
+5, 10, 0.595054, 2920448, 312, 1020, 53496, 1872, 0
+5, 10, 0.519031, 2031616, 330, 1020, 34449, 274, 0
+6, 10, 0.825335, 3809280, 424, 1220, 87593, 2034, 0
+6, 10, 0.541332, 3301376, 412, 1220, 58731, 152, 0
+6, 10, 0.708242, 3936256, 382, 1220, 75671, 2085, 51
+6, 10, 0.598589, 3047424, 378, 1220, 66762, 836, 0
+6, 10, 0.610436, 3174400, 424, 1220, 70442, 693, 7
+6, 10, 0.969704, 5206016, 386, 1220, 114001, 5521, 123
+6, 10, 0.748487, 3682304, 378, 1220, 84402, 3732, 24
+6, 10, 0.717932, 4063232, 380, 1220, 79285, 2044, 8
+6, 10, 0.976564, 4317184, 382, 1220, 103540, 4584, 104
+6, 10, 0.729085, 4063232, 374, 1220, 89451, 3122, 68
+6, 10, 0.548247, 3174400, 418, 1220, 56002, 568, 0
+6, 10, 0.775036, 3809280, 380, 1220, 82319, 2687, 35
+6, 10, 0.704314, 3174400, 420, 1220, 74378, 1497, 13
+6, 10, 0.555476, 2793472, 378, 1220, 57398, 1120, 2
+6, 10, 0.705983, 4063232, 406, 1220, 81078, 3159, 21
+6, 10, 0.893461, 3809280, 412, 1220, 92800, 3056, 108
+6, 10, 0.618610, 3174400, 390, 1220, 67452, 1997, 37
+6, 10, 0.779647, 4698112, 386, 1220, 85683, 1892, 2
+6, 10, 0.884569, 4063232, 412, 1220, 105520, 5656, 60
+6, 10, 0.681628, 2666496, 412, 1220, 70555, 1713, 39
+6, 10, 0.755054, 3809280, 398, 1220, 89643, 3218, 70
+6, 10, 0.678018, 3047424, 420, 1220, 67186, 1293, 31
+6, 10, 0.702218, 3682304, 412, 1220, 74058, 980, 2
+6, 10, 0.550708, 3174400, 380, 1220, 60727, 696, 0
+6, 10, 0.608260, 2920448, 386, 1220, 66559, 820, 0
+6, 10, 0.719976, 3682304, 416, 1220, 81617, 2124, 0
+6, 10, 0.811622, 4063232, 412, 1220, 85715, 2645, 53
+6, 10, 1.000019, 3682304, 406, 1220, 83812, 2515, 9
+6, 10, 0.933939, 3428352, 354, 1220, 85538, 2342, 42
+6, 10, 0.929655, 4444160, 390, 1220, 93353, 3627, 35
+6, 10, 0.643990, 3301376, 348, 1220, 67275, 1028, 0
+6, 10, 0.759079, 3682304, 360, 1220, 82764, 2232, 24
+7, 10, 1.134319, 4952064, 466, 1420, 122065, 1593, 21
+7, 10, 1.058830, 4698112, 446, 1420, 116114, 3166, 38
+7, 10, 1.511167, 6348800, 472, 1420, 164149, 6520, 222
+7, 10, 1.492794, 6221824, 478, 1420, 165221, 5135, 99
+7, 10, 1.218981, 5713920, 490, 1420, 129971, 2242, 18
+7, 10, 1.010356, 5079040, 484, 1420, 117227, 2027, 99
+7, 10, 1.157012, 5586944, 434, 1420, 116739, 2000, 0
+7, 10, 1.425246, 6094848, 472, 1420, 155938, 5996, 72
+7, 10, 1.639264, 6602752, 484, 1420, 166198, 4990, 204
+7, 10, 1.574532, 6729728, 478, 1420, 163254, 5336, 106
+7, 10, 1.121026, 5332992, 438, 1420, 127251, 3500, 90
+7, 10, 1.397140, 5840896, 378, 1420, 140382, 4790, 260
+7, 10, 1.744394, 7618560, 460, 1420, 172226, 3826, 60
+7, 10, 1.175070, 5713920, 480, 1420, 117150, 1957, 31
+7, 10, 1.859782, 9269248, 484, 1420, 218493, 9278, 176
+7, 10, 1.555902, 6729728, 412, 1420, 175558, 5958, 82
+7, 10, 1.493515, 7618560, 478, 1420, 168786, 4318, 218
+7, 10, 1.274812, 4952064, 400, 1420, 102709, 821, 1
+7, 10, 1.122753, 5459968, 468, 1420, 117270, 2048, 46
+7, 10, 1.341556, 7491584, 484, 1420, 155732, 2704, 22
+7, 10, 1.363925, 5079040, 484, 1420, 131818, 2675, 77
+7, 10, 1.157865, 5332992, 472, 1420, 116817, 2079, 87
+7, 10, 1.750818, 7872512, 420, 1420, 189217, 6530, 302
+7, 10, 1.313785, 4698112, 466, 1420, 127413, 3323, 29
+7, 10, 0.903323, 5206016, 444, 1420, 105451, 2558, 56
+7, 10, 1.026850, 4444160, 416, 1420, 113467, 1749, 65
+7, 10, 1.688049, 7872512, 468, 1420, 183243, 6003, 81
+7, 10, 0.720241, 3428352, 478, 1420, 79050, 1297, 13
+7, 10, 1.209653, 6094848, 466, 1420, 141212, 4587, 73
+7, 10, 1.292951, 6475776, 452, 1420, 140718, 3019, 21
+7, 10, 1.436565, 7237632, 484, 1420, 156313, 2518, 24
+7, 10, 1.933140, 9269248, 438, 1420, 225314, 9706, 592
+10, 10, 10.818635, 30474240, 652, 2020, 1021765, 17648, 2204
+10, 10, 4.549502, 21585920, 664, 2020, 439145, 1672, 4
+10, 10, 6.926337, 23363584, 640, 2020, 748553, 10663, 119
+10, 10, 11.666821, 36061184, 586, 2020, 1060364, 17800, 944
+10, 10, 9.067985, 29712384, 652, 2020, 860548, 8448, 122
+10, 10, 7.551956, 25776128, 658, 2020, 679286, 2796, 0
+10, 10, 9.538511, 24506368, 618, 2020, 891262, 13459, 1075
+10, 10, 6.222864, 29966336, 664, 2020, 587055, 5340, 90
+10, 10, 14.188907, 33140736, 618, 2020, 1364233, 19451, 723
+10, 10, 8.271585, 25268224, 646, 2020, 808841, 11577, 491
+10, 10, 5.546075, 23490560, 664, 2020, 527132, 3822, 36
+10, 10, 9.420544, 29839360, 640, 2020, 787294, 7543, 247
+10, 10, 5.940264, 22982656, 618, 2020, 563705, 5623, 293
+10, 10, 8.066218, 27299840, 664, 2020, 722619, 7662, 348
+10, 10, 9.593017, 24252416, 646, 2020, 899029, 15145, 775
+10, 10, 7.919808, 22728704, 616, 2020, 732494, 8082, 142
+10, 10, 3.488307, 18538496, 664, 2020, 408682, 1838, 26
+10, 10, 6.568685, 26791936, 634, 2020, 679642, 9879, 419
+10, 10, 9.431645, 32886784, 654, 2020, 895969, 7886, 252
+10, 10, 18.813959, 42536960, 638, 2020, 1622992, 31189, 3341
+10, 10, 11.440619, 33013760, 636, 2020, 972246, 13195, 653
+10, 10, 5.481252, 19935232, 640, 2020, 575951, 7759, 309
+10, 10, 6.153187, 21966848, 640, 2020, 597422, 4071, 195
+10, 10, 8.547117, 26157056, 646, 2020, 833382, 13652, 1584
+10, 10, 10.808735, 31236096, 642, 2020, 887720, 6306, 136
+10, 10, 6.066856, 22728704, 652, 2020, 595177, 8716, 1170
+10, 10, 9.601603, 35172352, 652, 2020, 900921, 7367, 477
+10, 10, 6.047822, 21712896, 664, 2020, 597844, 4527, 435
+10, 10, 8.133655, 27045888, 652, 2020, 804802, 18272, 894
+10, 10, 5.253287, 22093824, 664, 2020, 531899, 4570, 130
+10, 10, 5.318289, 25776128, 648, 2020, 519021, 1939, 13
+10, 10, 6.100675, 19173376, 652, 2020, 616108, 6443, 131
+12, 10, 17.855965, 48504832, 772, 2420, 1468670, 9339, 457
+12, 10, 20.597071, 49393664, 760, 2420, 1390850, 6233, 85
+12, 10, 64.238631, 92565504, 772, 2420, 4059561, 29140, 2094
+12, 10, 37.686823, 82661376, 780, 2420, 2405127, 14660, 1140
+12, 10, 30.666697, 83042304, 760, 2420, 2228262, 10408, 156
+12, 10, 13.726352, 46981120, 778, 2420, 1088129, 2918, 24
+12, 10, 28.663018, 62599168, 774, 2420, 1879719, 7536, 408
+12, 10, 42.186686, 89391104, 784, 2420, 3060334, 18901, 485
+12, 10, 31.879143, 82026496, 778, 2420, 2130439, 10639, 373
+12, 10, 15.964447, 39235584, 736, 2420, 1169169, 5377, 391
+12, 10, 32.837812, 89264128, 772, 2420, 2266467, 8635, 235
+12, 10, 50.833030, 88629248, 772, 2420, 3561397, 27795, 5801
+12, 10, 29.252673, 64249856, 774, 2420, 2088025, 22768, 4680
+12, 10, 32.693202, 61710336, 738, 2420, 2617610, 20290, 1116
+12, 10, 47.159742, 100438016, 784, 2420, 2936182, 16457, 1329
+12, 10, 17.039554, 44060672, 766, 2420, 1305287, 6661, 323
+12, 10, 34.481993, 74027008, 774, 2420, 2572254, 17493, 1011
+12, 10, 38.769888, 87105536, 778, 2420, 2650544, 14776, 746
+12, 10, 17.618910, 50790400, 784, 2420, 1516354, 12299, 743
+12, 10, 25.177167, 59170816, 774, 2420, 1707752, 7624, 598
+12, 10, 68.199051, 108818432, 772, 2420, 4088132, 30722, 2826
+12, 10, 24.673300, 54726656, 784, 2420, 1842849, 17433, 1517
+12, 10, 15.017730, 47362048, 746, 2420, 1283212, 6632, 130
+12, 10, 13.647533, 42409984, 766, 2420, 1166630, 4339, 101
+12, 10, 38.505057, 90914816, 766, 2420, 2472545, 7846, 208
+12, 10, 24.569404, 52822016, 772, 2420, 1884000, 5413, 59
+12, 10, 43.704673, 90025984, 750, 2420, 2806244, 23998, 7460
+12, 10, 32.662974, 81899520, 774, 2420, 2229001, 16787, 873
+12, 10, 42.973156, 91041792, 738, 2420, 2819756, 24557, 3523
+12, 10, 46.144682, 83423232, 768, 2420, 3398449, 32325, 2317
+12, 10, 27.887610, 59678720, 762, 2420, 2201138, 16717, 1825
+12, 10, 29.612901, 70217728, 772, 2420, 2041634, 19024, 2840
+13, 10, 57.535051, 119992320, 802, 2620, 3419417, 7359, 187
+13, 10, 96.985964, 128499712, 832, 2620, 4594725, 36595, 5083
+13, 10, 53.181724, 121769984, 826, 2620, 2801942, 42137, 5487
+13, 10, 240.920428, 132816896, 826, 2620, 4363609, 26649, 2855
+13, 10, 135.751485, 96628736, 840, 2620, 2666239, 9279, 429
+13, 10, 199.491629, 133959680, 822, 2620, 4130437, 18541, 2137
+13, 10, 18.113188, 62472192, 798, 2620, 1473575, 3015, 13
+13, 10, 87.928562, 108183552, 828, 2620, 4101757, 28809, 2181
+13, 10, 180.667456, 134467584, 820, 2620, 4840127, 20729, 1099
+13, 10, 96.056548, 81391616, 826, 2620, 3202614, 40301, 2213
+13, 10, 104.062623, 122404864, 838, 2620, 2834043, 19152, 2808
+13, 10, 157.084362, 114786304, 838, 2620, 4485722, 29163, 3677
+13, 10, 176.423620, 116183040, 838, 2620, 5066840, 37256, 4938
+13, 10, 155.148501, 144244736, 840, 2620, 3967695, 32779, 3679
+13, 10, 146.293473, 141832192, 792, 2620, 4030732, 8948, 550
+13, 10, 106.250888, 89391104, 838, 2620, 3354528, 31385, 8603
+13, 10, 122.682045, 126722048, 826, 2620, 3576402, 9838, 714
+13, 10, 76.672025, 96755712, 840, 2620, 3105393, 20505, 2475
+13, 10, 47.390996, 117960704, 840, 2620, 2701968, 7625, 253
+13, 10, 48.883193, 73265152, 826, 2620, 3164646, 44199, 5735
+13, 10, 78.154767, 123293696, 838, 2620, 3968683, 19902, 846
+13, 10, 74.985980, 134213632, 818, 2620, 4152701, 17391, 1093
+13, 10, 91.011761, 114913280, 832, 2620, 5201727, 39973, 2681
+13, 10, 30.835032, 65773568, 826, 2620, 2005072, 12387, 559
+13, 10, 44.338660, 88883200, 832, 2620, 2782862, 8366, 432
+13, 10, 83.109803, 120246272, 838, 2620, 4418383, 33101, 3627
+13, 10, 96.357827, 94724096, 822, 2620, 3004039, 16158, 2830
+13, 10, 129.822726, 143990784, 840, 2620, 4338352, 27385, 1577
+13, 10, 100.621677, 141070336, 844, 2620, 3352372, 29438, 8400
+13, 10, 58.196778, 93835264, 840, 2620, 2505474, 15466, 3036
+13, 10, 213.800559, 137261056, 844, 2620, 6973296, 33674, 4592
+13, 10, 62.647232, 75169792, 812, 2620, 2474382, 25330, 6976

Test/runas2test-results-1425-2013.11.03/runas2testlazysabidi.csv

+2, 10, 0.294506, 126976, 102, 420, 917, 30, 0
+2, 10, 0.373028, 126976, 78, 420, 929, 19, 0
+2, 10, 0.376462, 126976, 108, 420, 819, 23, 0
+2, 10, 0.411748, 126976, 90, 420, 892, 23, 0
+2, 10, 0.443377, 126976, 102, 420, 866, 32, 0
+2, 10, 0.293171, 126976, 90, 420, 892, 30, 0
+2, 10, 0.381569, 126976, 90, 420, 835, 31, 0
+2, 10, 0.374151, 126976, 96, 420, 920, 26, 0
+2, 10, 0.404105, 126976, 90, 420, 890, 22, 0
+2, 10, 0.431100, 126976, 98, 420, 893, 32, 0
+2, 10, 0.352872, 126976, 96, 420, 969, 22, 0
+2, 10, 0.388640, 126976, 90, 420, 888, 28, 0
+2, 10, 0.377156, 126976, 104, 420, 850, 26, 0
+2, 10, 0.444583, 126976, 84, 420, 844, 28, 0
+2, 10, 0.388123, 126976, 108, 420, 899, 25, 0
+2, 10, 0.312692, 126976, 114, 420, 915, 22, 0
+2, 10, 0.426227, 126976, 90, 420, 829, 30, 0
+2, 10, 0.390349, 126976, 104, 420, 917, 24, 0
+2, 10, 0.331204, 126976, 92, 420, 889, 30, 0
+2, 10, 0.444807, 126976, 108, 420, 846, 20, 0
+2, 10, 0.491999, 126976, 78, 420, 948, 37, 0
+2, 10, 0.377246, 126976, 98, 420, 874, 22, 0
+2, 10, 0.414645, 126976, 102, 420, 827, 21, 0
+2, 10, 0.363422, 126976, 98, 420, 803, 21, 0
+2, 10, 0.338842, 126976, 90, 420, 908, 30, 0
+2, 10, 0.427485, 126976, 102, 420, 973, 38, 0
+2, 10, 0.408498, 126976, 96, 420, 849, 28, 0
+2, 10, 0.455207, 126976, 90, 420, 810, 20, 0
+2, 10, 0.442800, 126976, 90, 420, 930, 32, 0
+2, 10, 0.411219, 126976, 86, 420, 848, 15, 0
+2, 10, 0.345232, 126976, 98, 420, 828, 24, 0
+2, 10, 0.382905, 126976, 98, 420, 954, 23, 0
+3, 10, 0.450669, 126976, 176, 620, 1520, 68, 0
+3, 10, 0.375039, 126976, 118, 620, 1465, 34, 0
+3, 10, 0.437013, 126976, 154, 620, 1407, 54, 0
+3, 10, 0.358323, 126976, 144, 620, 1462, 18, 0
+3, 10, 0.426930, 126976, 84, 620, 1423, 27, 0
+3, 10, 0.398691, 126976, 146, 620, 1470, 37, 0
+3, 10, 0.397725, 126976, 128, 620, 1486, 39, 0
+3, 10, 0.434978, 126976, 120, 620, 1519, 40, 0
+3, 10, 0.411732, 126976, 96, 620, 1492, 66, 0
+3, 10, 0.426564, 126976, 132, 620, 1444, 34, 0
+3, 10, 0.295577, 126976, 104, 620, 1578, 58, 0
+3, 10, 0.429911, 126976, 96, 620, 1493, 44, 0
+3, 10, 0.427896, 126976, 182, 620, 1503, 56, 0
+3, 10, 0.390143, 126976, 116, 620, 1525, 44, 0
+3, 10, 0.384377, 126976, 78, 620, 1482, 31, 0
+3, 10, 0.402785, 126976, 128, 620, 1550, 51, 0
+3, 10, 0.422517, 126976, 112, 620, 1464, 27, 0
+3, 10, 0.440556, 126976, 116, 620, 1471, 49, 0
+3, 10, 0.383808, 126976, 96, 620, 1496, 23, 0
+3, 10, 0.431237, 126976, 98, 620, 1501, 51, 0
+3, 10, 0.419891, 126976, 114, 620, 1516, 36, 0
+3, 10, 0.420935, 126976, 122, 620, 1512, 48, 0
+3, 10, 0.413002, 126976, 104, 620, 1492, 24, 0
+3, 10, 0.465431, 126976, 84, 620, 1422, 68, 0
+3, 10, 0.374183, 126976, 120, 620, 1505, 65, 0
+3, 10, 0.307227, 126976, 116, 620, 1455, 18, 0
+3, 10, 0.470325, 126976, 90, 620, 1427, 35, 0
+3, 10, 0.380981, 126976, 100, 620, 1527, 47, 0
+3, 10, 0.372252, 126976, 92, 620, 1605, 41, 0
+3, 10, 0.436075, 126976, 148, 620, 1459, 41, 0
+3, 10, 0.356439, 126976, 134, 620, 1466, 29, 0
+3, 10, 0.369797, 126976, 126, 620, 1483, 45, 0
+4, 10, 0.414259, 126976, 114, 820, 2505, 100, 0
+4, 10, 0.440716, 126976, 190, 820, 2364, 73, 0
+4, 10, 0.499882, 126976, 228, 820, 2201, 45, 0
+4, 10, 0.402361, 126976, 198, 820, 2134, 65, 0
+4, 10, 0.400128, 126976, 142, 820, 2171, 57, 0
+4, 10, 0.396108, 126976, 108, 820, 2119, 63, 0
+4, 10, 0.319900, 126976, 156, 820, 2137, 89, 0
+4, 10, 0.392630, 126976, 186, 820, 2185, 42, 0
+4, 10, 0.447374, 126976, 78, 820, 2143, 62, 0
+4, 10, 0.430901, 126976, 188, 820, 2171, 85, 0
+4, 10, 0.319729, 126976, 194, 820, 2130, 92, 0
+4, 10, 0.464176, 126976, 186, 820, 2205, 25, 0
+4, 10, 0.290205, 126976, 152, 820, 2188, 59, 0
+4, 10, 0.317268, 126976, 198, 820, 2321, 64, 0
+4, 10, 0.397191, 126976, 226, 820, 2024, 108, 0
+4, 10, 0.439367, 126976, 174, 820, 2204, 54, 0
+4, 10, 0.340029, 126976, 188, 820, 2084, 30, 0
+4, 10, 0.405716, 126976, 118, 820, 2459, 61, 0
+4, 10, 0.465950, 126976, 186, 820, 2235, 76, 0
+4, 10, 0.437083, 126976, 190, 820, 2317, 45, 0
+4, 10, 0.369798, 126976, 112, 820, 2237, 66, 0
+4, 10, 0.428184, 126976, 166, 820, 2134, 18, 0
+4, 10, 0.439715, 126976, 210, 820, 2171, 79, 0
+4, 10, 0.475154, 126976, 166, 820, 2153, 55, 0
+4, 10, 0.386384, 126976, 222, 820, 2206, 90, 0
+4, 10, 0.450512, 126976, 166, 820, 2051, 67, 0
+4, 10, 0.350687, 126976, 100, 820, 2148, 19, 0
+4, 10, 0.362030, 126976, 156, 820, 2365, 84, 0
+4, 10, 0.391064, 126976, 122, 820, 2247, 55, 0
+4, 10, 0.331169, 126976, 186, 820, 2149, 66, 0
+4, 10, 0.367605, 126976, 86, 820, 2211, 29, 0
+4, 10, 0.343526, 126976, 100, 820, 2424, 9, 0
+5, 10, 0.440469, 126976, 100, 1020, 3445, 71, 0
+5, 10, 0.312915, 126976, 92, 1020, 3218, 90, 0
+5, 10, 0.327402, 126976, 100, 1020, 3741, 77, 0
+5, 10, 0.386818, 126976, 108, 1020, 3634, 96, 0
+5, 10, 0.373199, 126976, 102, 1020, 3259, 80, 0
+5, 10, 0.359987, 126976, 106, 1020, 3628, 66, 0
+5, 10, 0.337329, 126976, 102, 1020, 3563, 26, 0
+5, 10, 0.296271, 126976, 106, 1020, 3640, 69, 0
+5, 10, 0.375456, 126976, 102, 1020, 3415, 56, 0
+5, 10, 0.454674, 126976, 106, 1020, 3714, 135, 0
+5, 10, 0.395240, 126976, 102, 1020, 3646, 49, 0
+5, 10, 0.335679, 126976, 124, 1020, 3719, 125, 0
+5, 10, 0.433861, 126976, 110, 1020, 3390, 105, 0
+5, 10, 0.362330, 126976, 122, 1020, 3529, 88, 0
+5, 10, 0.368714, 126976, 92, 1020, 3580, 40, 0
+5, 10, 0.392353, 126976, 114, 1020, 3673, 103, 0
+5, 10, 0.317962, 126976, 102, 1020, 3491, 52, 0
+5, 10, 0.422700, 126976, 110, 1020, 3745, 78, 0
+5, 10, 0.398420, 126976, 106, 1020, 3974, 137, 0
+5, 10, 0.368324, 126976, 92, 1020, 3499, 100, 0
+5, 10, 0.461099, 126976, 154, 1020, 3621, 84, 0
+5, 10, 0.307057, 126976, 92, 1020, 3587, 141, 0
+5, 10, 0.400663, 126976, 92, 1020, 3578, 115, 0
+5, 10, 0.389991, 126976, 78, 1020, 3652, 51, 0
+5, 10, 0.260305, 126976, 184, 1020, 3331, 193, 0
+5, 10, 0.312699, 126976, 78, 1020, 3563, 39, 0
+5, 10, 0.360534, 126976, 108, 1020, 3379, 90, 0
+5, 10, 0.369537, 126976, 104, 1020, 3159, 52, 0
+5, 10, 0.419033, 126976, 92, 1020, 3803, 53, 0
+5, 10, 0.342483, 126976, 126, 1020, 3575, 68, 0
+5, 10, 0.325769, 126976, 108, 1020, 3632, 44, 0
+5, 10, 0.334118, 126976, 164, 1020, 3627, 54, 0
+6, 10, 0.333477, 126976, 110, 1220, 4845, 52, 0
+6, 10, 0.359120, 126976, 110, 1220, 4997, 104, 0
+6, 10, 0.362995, 126976, 134, 1220, 6077, 46, 0
+6, 10, 0.266427, 126976, 110, 1220, 5118, 184, 0
+6, 10, 0.343719, 126976, 108, 1220, 4158, 174, 0
+6, 10, 0.350815, 126976, 100, 1220, 6077, 312, 0
+6, 10, 0.248293, 126976, 108, 1220, 5755, 177, 0
+6, 10, 0.386011, 126976, 108, 1220, 5659, 86, 0
+6, 10, 0.347894, 126976, 122, 1220, 6097, 102, 0
+6, 10, 0.530062, 126976, 108, 1220, 5315, 67, 0
+6, 10, 0.320445, 126976, 110, 1220, 5003, 197, 0
+6, 10, 0.295430, 126976, 122, 1220, 4880, 90, 0
+6, 10, 0.330477, 126976, 122, 1220, 5156, 115, 0
+6, 10, 0.302610, 126976, 126, 1220, 4249, 167, 0
+6, 10, 0.319183, 126976, 82, 1220, 4878, 90, 0
+6, 10, 0.348997, 126976, 164, 1220, 5287, 250, 28
+6, 10, 0.365108, 126976, 104, 1220, 5460, 75, 0
+6, 10, 0.361176, 126976, 100, 1220, 4703, 63, 0
+6, 10, 0.379413, 126976, 110, 1220, 4073, 241, 0
+6, 10, 0.397088, 126976, 102, 1220, 5749, 171, 0
+6, 10, 0.325353, 126976, 108, 1220, 5001, 106, 0
+6, 10, 0.402989, 126976, 104, 1220, 4864, 96, 0
+6, 10, 0.353678, 126976, 100, 1220, 4242, 81, 0
+6, 10, 0.408313, 126976, 110, 1220, 4930, 27, 0
+6, 10, 0.420937, 126976, 108, 1220, 4102, 42, 0
+6, 10, 0.327126, 126976, 104, 1220, 5777, 140, 0
+6, 10, 0.226654, 126976, 190, 1220, 4897, 215, 0
+6, 10, 0.435402, 126976, 110, 1220, 4686, 98, 0
+6, 10, 0.408520, 126976, 110, 1220, 4791, 109, 0
+6, 10, 0.405598, 126976, 78, 1220, 5224, 67, 0
+6, 10, 0.394625, 126976, 108, 1220, 5008, 69, 0
+6, 10, 0.380254, 126976, 78, 1220, 4081, 70, 0
+7, 10, 0.334339, 126976, 108, 1420, 5448, 111, 0
+7, 10, 0.346406, 126976, 110, 1420, 5822, 56, 0
+7, 10, 0.350125, 126976, 154, 1420, 6035, 83, 0
+7, 10, 0.320431, 126976, 102, 1420, 6128, 130, 0
+7, 10, 0.317617, 126976, 104, 1420, 5396, 155, 5
+7, 10, 0.335728, 126976, 108, 1420, 6696, 151, 0
+7, 10, 0.322134, 253952, 106, 1420, 6285, 188, 0
+7, 10, 0.321441, 126976, 100, 1420, 4962, 257, 0
+7, 10, 0.297602, 126976, 108, 1420, 6464, 114, 0
+7, 10, 0.325814, 126976, 174, 1420, 5275, 65, 0
+7, 10, 0.373972, 126976, 108, 1420, 5917, 150, 0
+7, 10, 0.333698, 126976, 102, 1420, 5545, 82, 0
+7, 10, 0.412301, 126976, 98, 1420, 6186, 389, 0
+7, 10, 0.378426, 126976, 82, 1420, 4984, 180, 0
+7, 10, 0.312563, 126976, 108, 1420, 5435, 254, 0
+7, 10, 0.248747, 126976, 108, 1420, 7125, 139, 6
+7, 10, 0.305165, 126976, 102, 1420, 6488, 166, 0
+7, 10, 0.216946, 126976, 108, 1420, 6031, 164, 0
+7, 10, 0.327566, 126976, 78, 1420, 5357, 52, 0
+7, 10, 0.312195, 126976, 110, 1420, 5614, 152, 0
+7, 10, 0.239384, 126976, 126, 1420, 6581, 21, 0
+7, 10, 0.351556, 126976, 108, 1420, 5359, 102, 0
+7, 10, 0.386990, 126976, 110, 1420, 5232, 111, 18
+7, 10, 0.329119, 253952, 124, 1420, 7352, 271, 0
+7, 10, 0.286806, 253952, 190, 1420, 5560, 273, 0
+7, 10, 0.285749, 126976, 102, 1420, 5387, 162, 0
+7, 10, 0.279550, 126976, 204, 1420, 5606, 131, 0
+7, 10, 0.273357, 126976, 228, 1420, 6543, 125, 0
+7, 10, 0.336308, 126976, 98, 1420, 5363, 194, 0
+7, 10, 0.409106, 126976, 108, 1420, 6197, 65, 0
+7, 10, 0.292057, 126976, 110, 1420, 5203, 124, 0
+7, 10, 0.284424, 126976, 122, 1420, 6188, 129, 0
+10, 10, 0.333399, 380928, 116, 2020, 7864, 678, 15
+10, 10, 0.375459, 380928, 110, 2020, 8622, 694, 9
+10, 10, 0.291106, 380928, 196, 2020, 7840, 494, 31
+10, 10, 0.405682, 380928, 118, 2020, 6720, 577, 19
+10, 10, 0.302562, 380928, 108, 2020, 7865, 514, 1
+10, 10, 0.291999, 380928, 242, 2020, 7357, 189, 0
+10, 10, 0.320747, 380928, 164, 2020, 6884, 269, 9
+10, 10, 0.409979, 380928, 214, 2020, 7708, 469, 0
+10, 10, 0.361390, 380928, 106, 2020, 7603, 614, 87
+10, 10, 0.440867, 380928, 118, 2020, 7921, 127, 0
+10, 10, 0.346323, 380928, 122, 2020, 7093, 448, 0
+10, 10, 0.315125, 380928, 138, 2020, 8197, 406, 11
+10, 10, 0.356024, 380928, 180, 2020, 8580, 254, 0
+10, 10, 0.244332, 380928, 402, 2020, 7933, 340, 16
+10, 10, 0.399475, 380928, 154, 2020, 6932, 212, 5
+10, 10, 0.330960, 380928, 204, 2020, 8635, 501, 0
+10, 10, 0.318124, 380928, 182, 2020, 9617, 302, 4
+10, 10, 0.334761, 380928, 120, 2020, 7555, 195, 21
+10, 10, 0.267159, 380928, 154, 2020, 9051, 519, 4
+10, 10, 0.381285, 380928, 166, 2020, 8085, 331, 1
+10, 10, 0.293977, 380928, 156, 2020, 7986, 330, 8
+10, 10, 0.292416, 380928, 190, 2020, 7126, 212, 1
+10, 10, 0.310610, 380928, 116, 2020, 7442, 209, 0
+10, 10, 0.386495, 380928, 156, 2020, 7795, 462, 0
+10, 10, 0.262496, 380928, 164, 2020, 6772, 374, 19
+10, 10, 0.347026, 380928, 110, 2020, 6950, 84, 0
+10, 10, 0.327923, 380928, 180, 2020, 6855, 387, 0
+10, 10, 0.357370, 380928, 218, 2020, 9337, 106, 0
+10, 10, 0.445746, 380928, 104, 2020, 9183, 370, 7
+10, 10, 0.237867, 380928, 148, 2020, 6963, 363, 0
+10, 10, 0.349177, 380928, 144, 2020, 6956, 373, 0
+10, 10, 0.379946, 380928, 118, 2020, 7379, 801, 5
+12, 10, 0.325172, 380928, 382, 2420, 7996, 923, 0
+12, 10, 0.424339, 380928, 386, 2420, 6921, 313, 0
+12, 10, 0.322958, 380928, 498, 2420, 8419, 63, 3
+12, 10, 0.444614, 380928, 496, 2420, 9464, 803, 6
+12, 10, 0.304877, 380928, 376, 2420, 10319, 1380, 14
+12, 10, 0.297755, 380928, 376, 2420, 7134, 341, 1
+12, 10, 0.242112, 380928, 308, 2420, 5279, 469, 85
+12, 10, 0.422698, 380928, 356, 2420, 9606, 711, 0
+12, 10, 0.444258, 380928, 354, 2420, 7596, 263, 0
+12, 10, 0.338608, 380928, 412, 2420, 8005, 378, 1
+12, 10, 0.464066, 380928, 198, 2420, 7725, 672, 0
+12, 10, 0.355358, 380928, 384, 2420, 8797, 495, 0
+12, 10, 0.461449, 380928, 494, 2420, 8288, 429, 0
+12, 10, 0.438478, 380928, 444, 2420, 8477, 877, 40
+12, 10, 0.371740, 380928, 490, 2420, 7964, 510, 0
+12, 10, 0.375440, 380928, 372, 2420, 8993, 239, 0
+12, 10, 0.471537, 380928, 464, 2420, 7801, 515, 0
+12, 10, 0.362568, 380928, 382, 2420, 7206, 664, 0
+12, 10, 0.391354, 380928, 512, 2420, 8075, 511, 17
+12, 10, 0.343431, 380928, 432, 2420, 8352, 411, 1
+12, 10, 0.345367, 380928, 500, 2420, 8730, 862, 16
+12, 10, 0.397907, 380928, 96, 2420, 8565, 385, 0
+12, 10, 0.408913, 380928, 524, 2420, 8868, 327, 0
+12, 10, 0.416981, 380928, 226, 2420, 7303, 334, 0
+12, 10, 0.259474, 380928, 462, 2420, 8719, 609, 62
+12, 10, 0.341583, 380928, 524, 2420, 8487, 370, 11
+12, 10, 0.208900, 380928, 464, 2420, 8220, 482, 37
+12, 10, 0.309808, 380928, 350, 2420, 9135, 1101, 0
+12, 10, 0.276023, 380928, 462, 2420, 7954, 501, 0
+12, 10, 0.271112, 380928, 376, 2420, 7903, 595, 60
+12, 10, 0.333480, 380928, 298, 2420, 7526, 158, 0
+12, 10, 0.251693, 380928, 432, 2420, 7796, 433, 19
+13, 10, 0.323080, 380928, 108, 2620, 8067, 467, 4
+13, 10, 0.228304, 380928, 104, 2620, 8106, 1311, 60
+13, 10, 0.375047, 380928, 108, 2620, 8290, 357, 0
+13, 10, 0.210600, 380928, 108, 2620, 7553, 1028, 252
+13, 10, 1.635335, 380928, 104, 2620, 9177, 614, 22
+13, 10, 1.084886, 380928, 100, 2620, 8736, 303, 4
+13, 10, 0.412350, 380928, 108, 2620, 9533, 646, 0
+13, 10, 0.440213, 380928, 104, 2620, 7513, 359, 0
+13, 10, 0.318632, 380928, 108, 2620, 8742, 505, 83
+13, 10, 0.671283, 380928, 154, 2620, 8228, 758, 9
+13, 10, 0.737994, 380928, 96, 2620, 9390, 214, 1
+13, 10, 0.820792, 380928, 122, 2620, 9526, 1186, 0
+13, 10, 0.672033, 380928, 92, 2620, 7469, 283, 34
+13, 10, 0.997515, 380928, 106, 2620, 8971, 1198, 65
+13, 10, 0.895542, 380928, 84, 2620, 9940, 731, 44
+13, 10, 0.596811, 380928, 134, 2620, 8893, 689, 6
+13, 10, 0.846520, 380928, 104, 2620, 9124, 686, 0
+13, 10, 0.803066, 380928, 110, 2620, 8799, 599, 0
+13, 10, 0.383236, 380928, 108, 2620, 10198, 993, 1
+13, 10, 0.292639, 380928, 96, 2620, 7495, 980, 7
+13, 10, 0.365051, 380928, 106, 2620, 8499, 190, 0
+13, 10, 0.428395, 380928, 104, 2620, 9156, 91, 0
+13, 10, 0.188783, 380928, 108, 2620, 8258, 985, 103
+13, 10, 0.398379, 380928, 100, 2620, 8650, 947, 0
+13, 10, 0.433662, 380928, 92, 2620, 9285, 799, 0
+13, 10, 0.162615, 380928, 122, 2620, 8865, 542, 108
+13, 10, 0.877974, 380928, 92, 2620, 8357, 1019, 0
+13, 10, 0.592716, 380928, 110, 2620, 8893, 976, 19
+13, 10, 0.609237, 380928, 110, 2620, 8837, 370, 14
+13, 10, 0.597017, 380928, 108, 2620, 8660, 840, 21
+13, 10, 0.431139, 380928, 106, 2620, 8720, 450, 39
+13, 10, 0.457581, 380928, 106, 2620, 8183, 257, 0

Test/runas2test-results-1425-2013.11.03/runas2testnonsaeager.csv

+2, 10, 0.363271, 0, 102, 0, 4827, 0, 0
+2, 10, 0.403407, 0, 90, 0, 4827, 0, 0
+2, 10, 0.422757, 0, 90, 0, 4827, 0, 0
+2, 10, 0.456895, 0, 96, 0, 4827, 0, 0
+2, 10, 0.391895, 0, 96, 0, 4827, 0, 0
+2, 10, 0.335603, 0, 102, 0, 4827, 0, 0
+2, 10, 0.401134, 0, 90, 0, 4827, 0, 0
+2, 10, 0.387320, 0, 90, 0, 4827, 0, 0
+2, 10, 0.399713, 0, 90, 0, 4827, 0, 0
+2, 10, 0.394147, 0, 110, 0, 4827, 0, 0
+2, 10, 0.402447, 0, 90, 0, 4827, 0, 0
+2, 10, 0.352297, 0, 98, 0, 4827, 0, 0
+2, 10, 0.428398, 0, 90, 0, 4827, 0, 0
+2, 10, 0.417771, 0, 90, 0, 4827, 0, 0
+2, 10, 0.359072, 0, 76, 0, 4827, 0, 0
+2, 10, 0.442039, 0, 98, 0, 4827, 0, 0
+2, 10, 0.431831, 0, 120, 0, 4827, 0, 0
+2, 10, 0.404508, 0, 108, 0, 4827, 0, 0
+2, 10, 0.348623, 0, 128, 0, 4827, 0, 0
+2, 10, 0.440244, 0, 78, 0, 4827, 0, 0
+2, 10, 0.432472, 0, 90, 0, 4827, 0, 0
+2, 10, 0.442596, 0, 94, 0, 4827, 0, 0
+2, 10, 0.431331, 0, 92, 0, 4827, 0, 0
+2, 10, 0.442652, 0, 136, 0, 4827, 0, 0
+2, 10, 0.370550, 0, 118, 0, 4827, 0, 0
+2, 10, 0.401077, 0, 136, 0, 4827, 0, 0
+2, 10, 0.430499, 0, 130, 0, 4827, 0, 0
+2, 10, 0.387901, 0, 90, 0, 4827, 0, 0
+2, 10, 0.375546, 0, 136, 0, 4827, 0, 0
+2, 10, 0.393050, 0, 108, 0, 4827, 0, 0
+2, 10, 0.456597, 0, 100, 0, 4827, 0, 0
+2, 10, 0.323168, 0, 102, 0, 4827, 0, 0
+3, 10, 0.388847, 0, 146, 0, 11193, 0, 0
+3, 10, 0.406655, 0, 148, 0, 10973, 0, 0
+3, 10, 0.406712, 0, 102, 0, 10313, 0, 0
+3, 10, 0.439524, 0, 90, 0, 10841, 0, 0
+3, 10, 0.397627, 0, 102, 0, 10533, 0, 0
+3, 10, 0.414764, 0, 132, 0, 10489, 0, 0
+3, 10, 0.486203, 0, 102, 0, 10313, 0, 0
+3, 10, 0.409523, 0, 106, 0, 10797, 0, 0
+3, 10, 0.396705, 0, 98, 0, 10621, 0, 0
+3, 10, 0.390724, 0, 146, 0, 10665, 0, 0
+3, 10, 0.415626, 0, 96, 0, 10621, 0, 0
+3, 10, 0.402552, 0, 90, 0, 10357, 0, 0
+3, 10, 0.454486, 0, 118, 0, 10533, 0, 0
+3, 10, 0.402320, 0, 90, 0, 11017, 0, 0
+3, 10, 0.377771, 0, 146, 0, 10885, 0, 0
+3, 10, 0.386192, 0, 90, 0, 10269, 0, 0
+3, 10, 0.318206, 0, 82, 0, 10929, 0, 0
+3, 10, 0.346431, 0, 110, 0, 10665, 0, 0
+3, 10, 0.471901, 0, 146, 0, 10709, 0, 0
+3, 10, 0.339229, 0, 90, 0, 10489, 0, 0
+3, 10, 0.449456, 0, 86, 0, 10577, 0, 0
+3, 10, 0.419777, 0, 90, 0, 10005, 0, 0
+3, 10, 0.402154, 0, 142, 0, 10709, 0, 0
+3, 10, 0.393080, 0, 76, 0, 10489, 0, 0
+3, 10, 0.355510, 0, 146, 0, 10753, 0, 0
+3, 10, 0.416027, 0, 130, 0, 10533, 0, 0
+3, 10, 0.419968, 0, 102, 0, 11061, 0, 0
+3, 10, 0.404726, 0, 102, 0, 10709, 0, 0
+3, 10, 0.377438, 0, 98, 0, 11061, 0, 0
+3, 10, 0.376582, 0, 94, 0, 10313, 0, 0
+3, 10, 0.384642, 0, 132, 0, 10665, 0, 0
+3, 10, 0.378137, 0, 118, 0, 10709, 0, 0
+4, 10, 0.520943, 0, 192, 0, 18175, 0, 0
+4, 10, 0.400318, 0, 130, 0, 19143, 0, 0
+4, 10, 0.412650, 0, 172, 0, 18967, 0, 0
+4, 10, 0.469068, 0, 108, 0, 19935, 0, 0
+4, 10, 0.470323, 0, 106, 0, 19275, 0, 0
+4, 10, 0.428329, 0, 96, 0, 20815, 0, 0
+4, 10, 0.431760, 0, 182, 0, 19407, 0, 0
+4, 10, 0.471805, 0, 96, 0, 20067, 0, 0
+4, 10, 0.354201, 0, 168, 0, 20155, 0, 0
+4, 10, 0.498230, 0, 98, 0, 18879, 0, 0
+4, 10, 0.377486, 0, 106, 0, 19539, 0, 0
+4, 10, 0.403534, 0, 168, 0, 20375, 0, 0
+4, 10, 0.398141, 0, 126, 0, 20023, 0, 0
+4, 10, 0.351615, 0, 84, 0, 20155, 0, 0
+4, 10, 0.321627, 0, 168, 0, 21079, 0, 0
+4, 10, 0.309321, 0, 82, 0, 20463, 0, 0
+4, 10, 0.408323, 0, 92, 0, 20419, 0, 0
+4, 10, 0.439715, 0, 182, 0, 20199, 0, 0
+4, 10, 0.479793, 0, 84, 0, 20287, 0, 0
+4, 10, 0.317508, 0, 84, 0, 19539, 0, 0
+4, 10, 0.406387, 0, 176, 0, 18087, 0, 0
+4, 10, 0.376485, 0, 84, 0, 20067, 0, 0
+4, 10, 0.272274, 0, 90, 0, 19583, 0, 0
+4, 10, 0.442900, 0, 100, 0, 19319, 0, 0
+4, 10, 0.317412, 0, 84, 0, 20419, 0, 0
+4, 10, 0.351334, 0, 182, 0, 20639, 0, 0
+4, 10, 0.432187, 0, 102, 0, 20199, 0, 0
+4, 10, 0.373054, 0, 148, 0, 20463, 0, 0
+4, 10, 0.298512, 0, 106, 0, 18967, 0, 0
+4, 10, 0.386758, 0, 162, 0, 20727, 0, 0
+4, 10, 0.390991, 0, 90, 0, 18791, 0, 0
+4, 10, 0.353918, 0, 98, 0, 18439, 0, 0
+5, 10, 0.422275, 126976, 196, 0, 34441, 0, 0
+5, 10, 0.291619, 126976, 114, 0, 34133, 0, 0
+5, 10, 0.446523, 126976, 144, 0, 32505, 0, 0
+5, 10, 0.351203, 126976, 140, 0, 33913, 0, 0
+5, 10, 0.370176, 126976, 196, 0, 31889, 0, 0
+5, 10, 0.372349, 126976, 186, 0, 30921, 0, 0
+5, 10, 0.452975, 126976, 108, 0, 34837, 0, 0
+5, 10, 0.301463, 126976, 196, 0, 33165, 0, 0
+5, 10, 0.373669, 126976, 190, 0, 36729, 0, 0
+5, 10, 0.341687, 126976, 192, 0, 36597, 0, 0
+5, 10, 0.375004, 126976, 186, 0, 34749, 0, 0
+5, 10, 0.373751, 126976, 214, 0, 31185, 0, 0
+5, 10, 0.370034, 126976, 198, 0, 38005, 0, 0
+5, 10, 0.297067, 126976, 130, 0, 32505, 0, 0
+5, 10, 0.402114, 126976, 112, 0, 35277, 0, 0
+5, 10, 0.460071, 126976, 214, 0, 36993, 0, 0
+5, 10, 0.399701, 126976, 160, 0, 33033, 0, 0
+5, 10, 0.418405, 126976, 196, 0, 32505, 0, 0
+5, 10, 0.392522, 126976, 168, 0, 31801, 0, 0
+5, 10, 0.366144, 126976, 92, 0, 35057, 0, 0
+5, 10, 0.459915, 126976, 112, 0, 34353, 0, 0
+5, 10, 0.406566, 126976, 186, 0, 34617, 0, 0
+5, 10, 0.301288, 126976, 182, 0, 35233, 0, 0
+5, 10, 0.366074, 126976, 92, 0, 31669, 0, 0
+5, 10, 0.354194, 126976, 112, 0, 30481, 0, 0
+5, 10, 0.341447, 126976, 162, 0, 31669, 0, 0
+5, 10, 0.343863, 126976, 106, 0, 35321, 0, 0
+5, 10, 0.386548, 126976, 158, 0, 32505, 0, 0
+5, 10, 0.349651, 126976, 84, 0, 29777, 0, 0
+5, 10, 0.356900, 126976, 214, 0, 32241, 0, 0
+5, 10, 0.291502, 126976, 196, 0, 34705, 0, 0
+5, 10, 0.351290, 126976, 130, 0, 31449, 0, 0
+6, 10, 0.358698, 126976, 242, 0, 53831, 0, 0
+6, 10, 0.409357, 126976, 140, 0, 59815, 0, 0
+6, 10, 0.267650, 126976, 242, 0, 55723, 0, 0
+6, 10, 0.373635, 126976, 164, 0, 59287, 0, 0
+6, 10, 0.328916, 126976, 242, 0, 52027, 0, 0
+6, 10, 0.241274, 126976, 242, 0, 59375, 0, 0
+6, 10, 0.403415, 126976, 224, 0, 57747, 0, 0
+6, 10, 0.322005, 126976, 130, 0, 49431, 0, 0
+6, 10, 0.400116, 126976, 96, 0, 59991, 0, 0
+6, 10, 0.443489, 126976, 140, 0, 56075, 0, 0
+6, 10, 0.396076, 126976, 226, 0, 55503, 0, 0
+6, 10, 0.342859, 126976, 188, 0, 59419, 0, 0
+6, 10, 0.352342, 126976, 84, 0, 53039, 0, 0
+6, 10, 0.416059, 126976, 92, 0, 53963, 0, 0
+6, 10, 0.346896, 126976, 242, 0, 56691, 0, 0
+6, 10, 0.294385, 126976, 242, 0, 56647, 0, 0
+6, 10, 0.328115, 126976, 224, 0, 56559, 0, 0
+6, 10, 0.308599, 126976, 114, 0, 60871, 0, 0
+6, 10, 0.413084, 126976, 224, 0, 55503, 0, 0
+6, 10, 0.344997, 126976, 96, 0, 60739, 0, 0
+6, 10, 0.363097, 126976, 242, 0, 51939, 0, 0
+6, 10, 0.386216, 126976, 196, 0, 57571, 0, 0
+6, 10, 0.366746, 126976, 194, 0, 57263, 0, 0
+6, 10, 0.360094, 126976, 158, 0, 50047, 0, 0
+6, 10, 0.299807, 126976, 110, 0, 54491, 0, 0
+6, 10, 0.370625, 126976, 242, 0, 53215, 0, 0
+6, 10, 0.385391, 126976, 144, 0, 51015, 0, 0
+6, 10, 0.425821, 126976, 78, 0, 53171, 0, 0
+6, 10, 0.359368, 126976, 214, 0, 56075, 0, 0
+6, 10, 0.500783, 126976, 242, 0, 55371, 0, 0
+6, 10, 0.405812, 126976, 236, 0, 52467, 0, 0
+6, 10, 0.430262, 126976, 140, 0, 59463, 0, 0
+7, 10, 0.519557, 126976, 252, 0, 84881, 0, 0
+7, 10, 0.455102, 126976, 140, 0, 91921, 0, 0
+7, 10, 0.515546, 126976, 242, 0, 79821, 0, 0
+7, 10, 0.441135, 126976, 226, 0, 100325, 0, 0
+7, 10, 0.612414, 126976, 270, 0, 84309, 0, 0
+7, 10, 0.414616, 126976, 248, 0, 103933, 0, 0
+7, 10, 0.389858, 126976, 170, 0, 95969, 0, 0
+7, 10, 0.414883, 126976, 230, 0, 104285, 0, 0
+7, 10, 0.522638, 126976, 244, 0, 90117, 0, 0
+7, 10, 0.509442, 126976, 246, 0, 100721, 0, 0
+7, 10, 0.500992, 126976, 252, 0, 85321, 0, 0
+7, 10, 0.384260, 126976, 196, 0, 82109, 0, 0
+7, 10, 0.424672, 126976, 238, 0, 87345, 0, 0
+7, 10, 0.509503, 126976, 242, 0, 87829, 0, 0
+7, 10, 0.356276, 126976, 196, 0, 94693, 0, 0
+7, 10, 0.393138, 126976, 264, 0, 79953, 0, 0
+7, 10, 0.388432, 126976, 124, 0, 83649, 0, 0
+7, 10, 0.474521, 126976, 252, 0, 84661, 0, 0
+7, 10, 0.395751, 126976, 208, 0, 97729, 0, 0
+7, 10, 0.320311, 126976, 252, 0, 69217, 0, 0
+7, 10, 0.272693, 126976, 252, 0, 87433, 0, 0
+7, 10, 0.507351, 126976, 214, 0, 103757, 0, 0
+7, 10, 0.367314, 126976, 226, 0, 98741, 0, 0
+7, 10, 0.277563, 126976, 264, 0, 93505, 0, 0
+7, 10, 0.332071, 126976, 218, 0, 81625, 0, 0
+7, 10, 0.407493, 126976, 168, 0, 79381, 0, 0
+7, 10, 0.399475, 126976, 246, 0, 90777, 0, 0
+7, 10, 0.307205, 126976, 112, 0, 88357, 0, 0
+7, 10, 0.310858, 126976, 172, 0, 106089, 0, 0
+7, 10, 0.442878, 126976, 196, 0, 102437, 0, 0
+7, 10, 0.334036, 126976, 214, 0, 83913, 0, 0
+7, 10, 0.325602, 126976, 186, 0, 100897, 0, 0
+10, 10, 0.725219, 126976, 100, 0, 384919, 0, 0
+10, 10, 0.801347, 126976, 100, 0, 409955, 0, 0
+10, 10, 0.905058, 126976, 100, 0, 491751, 0, 0
+10, 10, 0.693526, 126976, 100, 0, 375195, 0, 0
+10, 10, 0.745214, 126976, 100, 0, 434947, 0, 0
+10, 10, 0.680059, 126976, 100, 0, 347607, 0, 0
+10, 10, 0.700834, 126976, 100, 0, 378495, 0, 0
+10, 10, 0.769379, 126976, 100, 0, 405467, 0, 0
+10, 10, 0.621078, 126976, 100, 0, 306555, 0, 0
+10, 10, 0.725494, 126976, 100, 0, 387911, 0, 0
+10, 10, 0.695459, 126976, 100, 0, 381179, 0, 0
+10, 10, 0.563412, 126976, 100, 0, 336827, 0, 0
+10, 10, 0.834162, 126976, 100, 0, 426543, 0, 0
+10, 10, 0.686506, 126976, 100, 0, 419371, 0, 0
+10, 10, 0.541696, 126976, 100, 0, 352227, 0, 0
+10, 10, 0.791162, 126976, 100, 0, 495491, 0, 0
+10, 10, 0.831403, 126976, 100, 0, 455583, 0, 0
+10, 10, 0.521296, 126976, 100, 0, 317863, 0, 0
+10, 10, 0.648977, 126976, 100, 0, 437279, 0, 0
+10, 10, 0.668222, 126976, 100, 0, 417655, 0, 0
+10, 10, 0.566230, 126976, 100, 0, 299779, 0, 0
+10, 10, 0.659501, 126976, 100, 0, 403839, 0, 0
+10, 10, 0.672375, 126976, 100, 0, 359487, 0, 0
+10, 10, 0.823455, 126976, 100, 0, 429755, 0, 0
+10, 10, 0.602988, 126976, 100, 0, 402695, 0, 0
+10, 10, 0.398653, 126976, 100, 0, 264667, 0, 0
+10, 10, 0.699039, 126976, 100, 0, 387163, 0, 0
+10, 10, 0.752318, 126976, 100, 0, 392971, 0, 0
+10, 10, 0.722177, 126976, 100, 0, 435915, 0, 0
+10, 10, 0.595638, 126976, 100, 0, 370179, 0, 0
+10, 10, 0.829333, 126976, 100, 0, 424167, 0, 0
+10, 10, 0.458507, 126976, 100, 0, 315399, 0, 0
+12, 10, 0.887055, 253952, 408, 0, 679515, 0, 0
+12, 10, 1.763380, 253952, 248, 0, 1068695, 0, 0
+12, 10, 1.292052, 253952, 360, 0, 856835, 0, 0
+12, 10, 2.371556, 253952, 398, 0, 1217635, 0, 0
+12, 10, 1.490987, 253952, 394, 0, 951875, 0, 0
+12, 10, 1.358440, 253952, 370, 0, 847815, 0, 0
+12, 10, 1.274872, 253952, 342, 0, 849663, 0, 0
+12, 10, 1.474266, 253952, 412, 0, 788943, 0, 0
+12, 10, 1.392722, 253952, 328, 0, 1039435, 0, 0
+12, 10, 1.492261, 253952, 402, 0, 861015, 0, 0
+12, 10, 1.250151, 253952, 398, 0, 754843, 0, 0
+12, 10, 1.214203, 253952, 408, 0, 933571, 0, 0
+12, 10, 1.364379, 253952, 416, 0, 1008415, 0, 0
+12, 10, 2.092419, 253952, 360, 0, 1106931, 0, 0
+12, 10, 2.122260, 253952, 388, 0, 1185691, 0, 0
+12, 10, 1.401170, 253952, 276, 0, 883763, 0, 0
+12, 10, 1.635726, 253952, 412, 0, 927719, 0, 0
+12, 10, 1.302420, 253952, 398, 0, 862203, 0, 0
+12, 10, 2.130844, 253952, 410, 0, 1036487, 0, 0
+12, 10, 1.483620, 253952, 394, 0, 1090519, 0, 0
+12, 10, 1.310233, 253952, 390, 0, 712911, 0, 0
+12, 10, 1.307655, 253952, 374, 0, 807071, 0, 0
+12, 10, 1.771459, 253952, 222, 0, 1047091, 0, 0
+12, 10, 0.968161, 253952, 410, 0, 707675, 0, 0
+12, 10, 1.614112, 253952, 370, 0, 931635, 0, 0
+12, 10, 1.848217, 253952, 398, 0, 1035079, 0, 0
+12, 10, 1.525415, 253952, 364, 0, 876151, 0, 0
+12, 10, 1.228626, 253952, 402, 0, 741775, 0, 0
+12, 10, 1.794857, 253952, 290, 0, 1113047, 0, 0
+12, 10, 1.623241, 253952, 412, 0, 935551, 0, 0
+12, 10, 1.383447, 253952, 334, 0, 859607, 0, 0
+12, 10, 2.248357, 253952, 206, 0, 1142615, 0, 0
+13, 10, 2.058303, 253952, 426, 0, 1275701, 0, 0
+13, 10, 2.144016, 253952, 332, 0, 1212649, 0, 0
+13, 10, 1.535749, 253952, 288, 0, 1136837, 0, 0
+13, 10, 3.035470, 380928, 426, 0, 1804669, 0, 0
+13, 10, 9.847913, 253952, 430, 0, 1487165, 0, 0
+13, 10, 6.352936, 253952, 428, 0, 1439469, 0, 0
+13, 10, 2.758387, 380928, 400, 0, 1703689, 0, 0
+13, 10, 2.758359, 380928, 428, 0, 1713545, 0, 0
+13, 10, 4.678574, 380928, 444, 0, 2133305, 0, 0
+13, 10, 4.697348, 253952, 426, 0, 1410781, 0, 0
+13, 10, 5.118137, 380928, 440, 0, 1725205, 0, 0
+13, 10, 3.550514, 253952, 344, 0, 1179913, 0, 0
+13, 10, 5.454529, 380928, 402, 0, 1800841, 0, 0
+13, 10, 5.665901, 380928, 426, 0, 1742717, 0, 0
+13, 10, 2.929250, 253952, 430, 0, 1031369, 0, 0
+13, 10, 4.605826, 380928, 416, 0, 1785221, 0, 0
+13, 10, 3.559462, 253952, 408, 0, 1684637, 0, 0
+13, 10, 3.647980, 253952, 440, 0, 1227169, 0, 0
+13, 10, 1.768701, 253952, 400, 0, 967833, 0, 0
+13, 10, 2.376556, 253952, 426, 0, 1099437, 0, 0
+13, 10, 3.882767, 380928, 390, 0, 1512641, 0, 0
+13, 10, 2.017138, 253952, 444, 0, 1130897, 0, 0
+13, 10, 2.179843, 253952, 416, 0, 1353933, 0, 0
+13, 10, 2.292094, 253952, 428, 0, 1441361, 0, 0
+13, 10, 2.276731, 253952, 350, 0, 1198833, 0, 0
+13, 10, 2.168838, 253952, 416, 0, 1585857, 0, 0
+13, 10, 5.531767, 380928, 416, 0, 2078789, 0, 0
+13, 10, 4.169964, 253952, 444, 0, 1499089, 0, 0
+13, 10, 4.697566, 380928, 438, 0, 1661009, 0, 0
+13, 10, 2.645247, 253952, 338, 0, 1225233, 0, 0
+13, 10, 2.257909, 253952, 382, 0, 877237, 0, 0
+13, 10, 2.926456, 253952, 410, 0, 1275349, 0, 0

Test/runas2test-results-1425-2013.11.03/runas2tests.sh

+
+BIN=../../_product
+
+touch runas2testlazysabidi.csv
+touch runas2testeagersatotalorder.csv
+touch runas2testnonsaeager.csv
+
+for sht in 2 3 4 5 6 7 10 12 13 ; do
+#for sht in 2 3 4 5 6 7 10 12 15 17 20 ; do
+#for sht in 17 20 22 25 ; do
+    for samp in 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32; do
+    echo "sheet depth=$sht/20; same number=$samp"
+    args="--Random.self_init --stats-test $sht"
+    $BIN/runas2testlazysabidi.native $args --stats-out runas2testlazysabidi.csv  
+    $BIN/runas2testnonsaeager.native $args --stats-out runas2testnonsaeager.csv 
+    $BIN/runas2testeagersatotalorder.native $args --stats-out runas2testeagersatotalorder.csv
+    done   
+done

Test/runas2test-results-1758-2013.11.03/TITLE

+Vary number of changes; number of sheets is 10

Test/runas2test-results-1758-2013.11.03/runas2test-1758-2013.11.03.xlsx

Binary file added.

Test/runas2test-results-1758-2013.11.03/runas2testeagersatotalorder.csv

+10, 2, 0.931067, 4698112, 664, 2004, 117952, 794, 38
+10, 2, 1.158298, 5713920, 658, 2004, 140709, 284, 0
+10, 2, 1.105384, 5713920, 558, 2004, 133918, 160, 0
+10, 2, 1.315259, 6475776, 616, 2004, 161017, 2367, 123
+10, 2, 0.829900, 4571136, 654, 2004, 96913, 0, 0
+10, 2, 1.016394, 6221824, 652, 2004, 121182, 830, 0
+10, 2, 1.055740, 6094848, 640, 2004, 132575, 752, 0
+10, 2, 0.723008, 4444160, 646, 2004, 92391, 4, 0
+10, 2, 1.308855, 5586944, 646, 2004, 155874, 966, 22
+10, 2, 1.088502, 6475776, 616, 2004, 138004, 1448, 210
+10, 2, 0.863157, 4698112, 628, 2004, 89721, 12, 0
+10, 2, 0.919154, 4190208, 598, 2004, 97869, 12, 0
+10, 2, 1.132466, 4952064, 648, 2004, 126784, 388, 4
+10, 2, 0.827329, 5713920, 658, 2004, 102067, 20, 0
+10, 2, 0.878020, 6475776, 612, 2004, 108905, 12, 0
+10, 2, 1.200683, 7110656, 658, 2004, 145137, 730, 36
+10, 5, 5.156902, 19554304, 642, 2010, 532835, 7853, 737
+10, 5, 3.216441, 14856192, 612, 2010, 365570, 4926, 186
+10, 5, 5.436103, 17776640, 592, 2010, 559733, 6943, 437
+10, 5, 3.961279, 15110144, 614, 2010, 432980, 4853, 87
+10, 5, 3.067724, 13332480, 624, 2010, 359847, 7580, 452
+10, 5, 3.300624, 17268736, 618, 2010, 378793, 3096, 54
+10, 5, 2.437458, 14221312, 658, 2010, 258268, 2129, 25
+10, 5, 7.401972, 20951040, 664, 2010, 701134, 11018, 1070
+10, 5, 2.014710, 10539008, 618, 2010, 214978, 300, 0
+10, 5, 2.393560, 12570624, 640, 2010, 260249, 994, 22
+10, 5, 1.978898, 9396224, 652, 2010, 228435, 1917, 69
+10, 5, 3.317927, 13713408, 652, 2010, 346720, 3869, 51
+10, 5, 4.554191, 15745024, 658, 2010, 465970, 8100, 566
+10, 5, 4.979019, 21204992, 658, 2010, 489185, 7045, 1465
+10, 5, 2.482410, 11427840, 660, 2010, 281035, 1934, 76
+10, 5, 1.938927, 11046912, 658, 2010, 226107, 1493, 21
+10, 7, 4.288128, 18792448, 612, 2014, 436602, 2926, 8
+10, 7, 3.790934, 17268736, 658, 2014, 381595, 3251, 37
+10, 7, 4.474638, 18919424, 658, 2014, 449725, 5526, 260
+10, 7, 4.933194, 17522688, 658, 2014, 560039, 8278, 344
+10, 7, 10.363400, 22728704, 626, 2014, 790183, 13441, 943
+10, 7, 4.353167, 14856192, 656, 2014, 352455, 306, 0
+10, 7, 7.545925, 21458944, 624, 2014, 625499, 8297, 207
+10, 7, 5.580127, 19173376, 654, 2014, 596211, 7674, 530
+10, 7, 2.784823, 13078528, 664, 2014, 303563, 431, 1
+10, 7, 4.606697, 15364096, 628, 2014, 468631, 4115, 135
+10, 7, 2.864722, 13078528, 652, 2014, 315634, 2543, 53
+10, 7, 3.474651, 19173376, 646, 2014, 369972, 1552, 20
+10, 7, 4.604514, 18030592, 646, 2014, 466947, 4804, 228
+10, 7, 2.744509, 12697600, 648, 2014, 304015, 167, 9
+10, 7, 5.677245, 22601728, 664, 2014, 576318, 8439, 775
+10, 7, 2.877501, 13713408, 654, 2014, 305816, 3186, 114
+10, 10, 12.361773, 33902592, 660, 2020, 1120914, 20701, 1035
+10, 10, 4.454977, 15745024, 652, 2020, 433162, 2452, 26
+10, 10, 8.920106, 32124928, 658, 2020, 855063, 10210, 112
+10, 10, 7.373014, 23363584, 646, 2020, 734031, 11596, 316
+10, 10, 10.022094, 31363072, 658, 2020, 911754, 9337, 267
+10, 10, 6.783988, 20570112, 648, 2020, 678453, 5349, 73
+10, 10, 4.642077, 21204992, 652, 2020, 478827, 2736, 56
+10, 10, 9.023377, 25522176, 618, 2020, 874549, 16837, 1313
+10, 10, 4.246104, 16760832, 648, 2020, 427878, 1266, 6
+10, 10, 7.262149, 23998464, 658, 2020, 757708, 6669, 419
+10, 10, 4.470671, 20824064, 664, 2020, 476841, 2076, 22
+10, 10, 7.712761, 24379392, 664, 2020, 760715, 10266, 250
+10, 10, 9.584104, 29839360, 658, 2020, 904559, 9136, 98
+10, 10, 11.595340, 30093312, 658, 2020, 1030055, 13707, 737
+10, 10, 8.195790, 27934720, 656, 2020, 822144, 13381, 299
+10, 10, 5.056023, 25776128, 654, 2020, 531833, 4232, 154
+10, 15, 11.537651, 31870976, 640, 2030, 1130131, 13633, 887
+10, 15, 19.630631, 47742976, 618, 2030, 1661335, 20973, 395
+10, 15, 15.027871, 38092800, 646, 2030, 1374551, 21361, 735
+10, 15, 9.282994, 26284032, 612, 2030, 795262, 4778, 80
+10, 15, 21.743144, 51933184, 658, 2030, 1760038, 21956, 936
+10, 15, 8.310423, 32378880, 658, 2030, 758450, 6306, 176
+10, 15, 13.244350, 37330944, 646, 2030, 1207215, 20359, 421
+10, 15, 9.873569, 31617024, 624, 2030, 944711, 12810, 188
+10, 15, 12.643812, 38346752, 624, 2030, 1125274, 16638, 470
+10, 15, 13.847842, 37965824, 664, 2030, 1128334, 11334, 348
+10, 15, 36.353303, 58916864, 630, 2030, 2790596, 58061, 5413
+10, 15, 9.562958, 36442112, 648, 2030, 868749, 14578, 1356
+10, 15, 9.472128, 35426304, 658, 2030, 864340, 4090, 82
+10, 15, 9.113700, 33521664, 606, 2030, 828971, 8594, 134
+10, 15, 14.040686, 40251392, 620, 2030, 1198073, 15844, 492
+10, 15, 8.844307, 24125440, 658, 2030, 835209, 13375, 211
+10, 17, 7.252000, 30220288, 648, 2034, 682099, 3480, 64
+10, 17, 13.429151, 39489536, 652, 2034, 1139005, 5657, 21
+10, 17, 20.201048, 43552768, 632, 2034, 1688460, 25627, 743
+10, 17, 15.909645, 38600704, 652, 2034, 1421408, 21497, 675
+10, 17, 19.662481, 44060672, 646, 2034, 1650335, 23825, 1575
+10, 17, 20.739079, 51806208, 660, 2034, 1657705, 16102, 520
+10, 17, 13.013794, 34029568, 658, 2034, 1254788, 21468, 552
+10, 17, 13.775943, 36823040, 652, 2034, 1139816, 19699, 499
+10, 17, 25.237669, 51298304, 636, 2034, 2072923, 31578, 2598
+10, 17, 16.379240, 38981632, 660, 2034, 1270785, 17833, 507
+10, 17, 19.726441, 37457920, 630, 2034, 1182616, 26795, 1027
+10, 17, 67.817717, 55107584, 646, 2034, 2525257, 41333, 2629
+10, 17, 31.240283, 45711360, 626, 2034, 1324274, 11767, 211
+10, 17, 34.839677, 46981120, 654, 2034, 1416776, 15866, 714
+10, 17, 79.097148, 61456384, 646, 2034, 3056988, 50779, 2611
+10, 17, 46.127610, 49647616, 664, 2034, 1929720, 31695, 2091
+10, 20, 55.264697, 54218752, 658, 2040, 2354478, 47890, 2252
+10, 20, 88.493127, 64503808, 626, 2040, 2871702, 38495, 4159
+10, 20, 77.664349, 69709824, 646, 2040, 2943428, 56633, 5223
+10, 20, 42.209116, 60186624, 664, 2040, 1722304, 17652, 444
+10, 20, 64.567986, 63488000, 652, 2040, 2411520, 36890, 1368
+10, 20, 75.407624, 61837312, 654, 2040, 3066618, 49366, 2432
+10, 20, 64.763445, 60440576, 646, 2040, 2791929, 42991, 1537
+10, 20, 65.533232, 69201920, 628, 2040, 3119023, 54618, 3900
+10, 20, 31.873418, 41902080, 652, 2040, 1723923, 22571, 357
+10, 20, 35.460497, 47869952, 658, 2040, 1586529, 18072, 476
+10, 20, 29.195585, 38600704, 614, 2040, 1369618, 17469, 593
+10, 20, 34.920978, 37203968, 664, 2040, 1493462, 30789, 1179
+10, 20, 67.789903, 60313600, 652, 2040, 2405679, 46133, 5375
+10, 20, 59.067517, 54091776, 628, 2040, 2050397, 30198, 780
+10, 20, 96.691347, 62726144, 652, 2040, 3100450, 46094, 1124
+10, 20, 40.673252, 58155008, 630, 2040, 2907527, 64949, 2865
+10, 23, 32.959178, 57012224, 664, 2046, 2565633, 46360, 2126
+10, 23, 38.879304, 71360512, 660, 2046, 2757616, 52639, 1393
+10, 23, 29.132453, 59805696, 658, 2046, 2070608, 27287, 2233
+10, 23, 21.084740, 47235072, 604, 2046, 1642093, 26673, 677
+10, 23, 43.813401, 71487488, 664, 2046, 3452152, 58253, 2567
+10, 23, 25.460709, 53710848, 654, 2046, 2116985, 42390, 2390
+10, 23, 23.713048, 43425792, 652, 2046, 1927608, 36453, 1105
+10, 23, 19.826598, 47108096, 652, 2046, 1580322, 17875, 465
+10, 23, 35.220469, 59805696, 660, 2046, 2781139, 47755, 2609
+10, 23, 40.114612, 83042304, 654, 2046, 2437228, 45323, 3763
+10, 23, 26.075314, 49393664, 652, 2046, 2189576, 33896, 1002
+10, 23, 16.980828, 43044864, 648, 2046, 1379718, 14645, 207
+10, 23, 30.877647, 57901056, 652, 2046, 2325572, 41463, 2477
+10, 23, 31.342869, 61710336, 652, 2046, 2510455, 39683, 1573
+10, 23, 26.133597, 52948992, 642, 2046, 2143636, 38284, 1604
+10, 23, 24.868425, 53075968, 664, 2046, 2111098, 44568, 1170
+10, 25, 57.565076, 86470656, 652, 2050, 3749144, 60493, 2371
+10, 25, 52.584780, 71360512, 642, 2050, 3860565, 78144, 3164
+10, 25, 28.098164, 55107584, 652, 2050, 2269635, 30807, 2163
+10, 25, 36.953610, 69836800, 664, 2050, 2740779, 54903, 3069
+10, 25, 21.323285, 46092288, 640, 2050, 1819510, 44049, 1569
+10, 25, 44.838132, 83931136, 658, 2050, 2950044, 38971, 1117
+10, 25, 18.796396, 51171328, 646, 2050, 1499813, 20704, 618
+10, 25, 31.606709, 60186624, 634, 2050, 2295907, 44587, 2047
+10, 25, 40.850346, 68186112, 664, 2050, 3014564, 46671, 1517
+10, 25, 29.946720, 57266176, 660, 2050, 2482192, 45237, 2673
+10, 25, 40.089171, 70217728, 646, 2050, 3004194, 43161, 1383
+10, 25, 68.234578, 82534400, 658, 2050, 5228428, 95828, 4232
+10, 25, 43.481117, 69963776, 660, 2050, 3173939, 55232, 1252
+10, 25, 71.306699, 88121344, 646, 2050, 5124629, 127295, 15583
+10, 25, 27.275109, 52568064, 618, 2050, 2272615, 54267, 1885
+10, 25, 22.661099, 47996928, 664, 2050, 1905301, 42316, 1444
+10, 27, 61.320809, 93581312, 664, 2054, 4252146, 64891, 1779
+10, 27, 72.932767, 85073920, 652, 2054, 5218420, 118648, 6284
+10, 27, 29.932031, 50790400, 642, 2054, 2594829, 48620, 1482

Test/runas2test-results-1758-2013.11.03/runas2testlazysabidi.csv

+10, 2, 0.111741, 380928, 118, 2004, 4143, 10, 0
+10, 2, 0.092919, 380928, 106, 2004, 4636, 15, 0
+10, 2, 0.112105, 380928, 118, 2004, 4130, 19, 0
+10, 2, 0.084663, 380928, 228, 2004, 3803, 11, 0
+10, 2, 0.092515, 380928, 116, 2004, 4583, 0, 0
+10, 2, 0.101305, 380928, 152, 2004, 4110, 0, 0
+10, 2, 0.134004, 380928, 228, 2004, 4315, 250, 0
+10, 2, 0.080323, 380928, 110, 2004, 3938, 6, 0
+10, 2, 0.083094, 380928, 166, 2004, 4704, 297, 0
+10, 2, 0.086322, 380928, 118, 2004, 4013, 90, 0
+10, 2, 0.088664, 380928, 204, 2004, 4510, 81, 0
+10, 2, 0.150882, 380928, 308, 2004, 4140, 0, 0
+10, 2, 0.085350, 380928, 196, 2004, 4126, 210, 0
+10, 2, 0.094211, 380928, 318, 2004, 3708, 0, 0
+10, 2, 0.082766, 380928, 112, 2004, 3942, 171, 0
+10, 2, 0.093580, 380928, 118, 2004, 3948, 50, 0
+10, 5, 0.169290, 380928, 126, 2010, 5712, 280, 3
+10, 5, 0.163170, 380928, 156, 2010, 5994, 469, 0
+10, 5, 0.242294, 380928, 266, 2010, 6733, 288, 0
+10, 5, 0.176074, 380928, 272, 2010, 5828, 179, 18
+10, 5, 0.188368, 380928, 144, 2010, 5550, 81, 0
+10, 5, 0.169089, 380928, 132, 2010, 5109, 6, 0
+10, 5, 0.159996, 380928, 122, 2010, 5184, 61, 0
+10, 5, 0.255367, 380928, 262, 2010, 6907, 226, 0
+10, 5, 0.213812, 380928, 118, 2010, 5913, 298, 0
+10, 5, 0.255481, 380928, 240, 2010, 5813, 708, 0
+10, 5, 0.239238, 380928, 114, 2010, 6806, 134, 0
+10, 5, 0.230338, 380928, 126, 2010, 6698, 222, 7
+10, 5, 0.203139, 380928, 146, 2010, 5875, 48, 0
+10, 5, 0.202046, 380928, 100, 2010, 6003, 166, 0
+10, 5, 0.150929, 380928, 166, 2010, 4705, 202, 0
+10, 5, 0.265660, 380928, 128, 2010, 5364, 364, 1
+10, 7, 0.311987, 380928, 104, 2014, 7149, 590, 0
+10, 7, 0.301683, 380928, 256, 2014, 6998, 26, 0
+10, 7, 0.247809, 380928, 154, 2014, 7676, 94, 13
+10, 7, 0.274273, 380928, 144, 2014, 5386, 127, 0
+10, 7, 0.363861, 380928, 106, 2014, 6634, 237, 0
+10, 7, 0.363698, 380928, 194, 2014, 5796, 299, 0
+10, 7, 0.347051, 380928, 118, 2014, 5856, 460, 0
+10, 7, 0.230729, 380928, 426, 2014, 6605, 633, 3
+10, 7, 0.210292, 380928, 116, 2014, 6468, 94, 0
+10, 7, 0.257270, 380928, 192, 2014, 6832, 196, 0
+10, 7, 0.322610, 380928, 194, 2014, 6187, 500, 67
+10, 7, 0.214017, 380928, 128, 2014, 5791, 670, 276
+10, 7, 0.228684, 380928, 118, 2014, 5167, 386, 0
+10, 7, 0.312461, 380928, 90, 2014, 6723, 415, 18
+10, 7, 0.317173, 380928, 424, 2014, 6794, 61, 0
+10, 7, 0.330642, 380928, 156, 2014, 6424, 327, 0
+10, 10, 0.453716, 380928, 108, 2020, 7505, 345, 0
+10, 10, 0.433398, 380928, 156, 2020, 6615, 250, 0
+10, 10, 0.336814, 380928, 186, 2020, 7082, 482, 0
+10, 10, 0.394606, 380928, 118, 2020, 8023, 436, 0
+10, 10, 0.321230, 380928, 260, 2020, 8134, 269, 0
+10, 10, 0.427791, 380928, 272, 2020, 7242, 329, 0
+10, 10, 0.410534, 380928, 172, 2020, 8181, 176, 0
+10, 10, 0.536990, 380928, 162, 2020, 9930, 321, 0
+10, 10, 0.440317, 380928, 266, 2020, 7576, 150, 0
+10, 10, 0.414361, 380928, 108, 2020, 7349, 509, 0
+10, 10, 0.452360, 380928, 118, 2020, 8074, 790, 0
+10, 10, 0.392144, 380928, 134, 2020, 10432, 302, 0
+10, 10, 0.334764, 380928, 246, 2020, 8484, 145, 2
+10, 10, 0.450146, 380928, 118, 2020, 7963, 123, 0
+10, 10, 0.398313, 380928, 122, 2020, 6581, 489, 0
+10, 10, 0.362623, 380928, 118, 2020, 8450, 131, 0
+10, 15, 0.626416, 380928, 106, 2030, 10812, 213, 0
+10, 15, 0.600665, 380928, 140, 2030, 10777, 282, 0
+10, 15, 0.551994, 380928, 362, 2030, 8989, 191, 6
+10, 15, 0.579084, 380928, 156, 2030, 7691, 682, 9
+10, 15, 0.676318, 380928, 370, 2030, 10990, 1195, 10
+10, 15, 0.540674, 380928, 108, 2030, 9217, 289, 0
+10, 15, 0.593031, 380928, 134, 2030, 8217, 334, 22
+10, 15, 0.652690, 380928, 92, 2030, 8139, 381, 7
+10, 15, 0.662339, 380928, 122, 2030, 10808, 291, 0
+10, 15, 0.671906, 380928, 228, 2030, 10331, 526, 0
+10, 15, 0.645558, 380928, 246, 2030, 12772, 614, 0
+10, 15, 0.510908, 380928, 162, 2030, 10507, 528, 95
+10, 15, 0.654792, 380928, 128, 2030, 8500, 390, 0
+10, 15, 0.642977, 380928, 194, 2030, 9749, 850, 22
+10, 15, 0.524607, 380928, 164, 2030, 7495, 1213, 195
+10, 15, 0.669994, 380928, 290, 2030, 9420, 189, 0
+10, 17, 0.556330, 380928, 190, 2034, 9615, 811, 3
+10, 17, 0.457940, 380928, 204, 2034, 8768, 763, 26
+10, 17, 0.737128, 380928, 152, 2034, 13141, 648, 6
+10, 17, 0.502653, 380928, 180, 2034, 12332, 574, 43
+10, 17, 0.692891, 380928, 152, 2034, 9217, 446, 5
+10, 17, 0.627940, 380928, 96, 2034, 10575, 824, 47
+10, 17, 0.603038, 380928, 118, 2034, 9438, 665, 3
+10, 17, 0.666005, 380928, 108, 2034, 8725, 1099, 0
+10, 17, 0.529529, 380928, 214, 2034, 11030, 443, 6
+10, 17, 0.629096, 380928, 118, 2034, 10498, 730, 23
+10, 17, 0.755129, 380928, 144, 2034, 9344, 730, 0
+10, 17, 1.766807, 380928, 122, 2034, 9127, 1192, 50
+10, 17, 2.336835, 380928, 120, 2034, 9315, 243, 0
+10, 17, 1.801269, 380928, 190, 2034, 8906, 796, 16
+10, 17, 1.891332, 380928, 268, 2034, 8674, 428, 0
+10, 17, 2.171389, 380928, 108, 2034, 10953, 333, 0
+10, 20, 2.633449, 380928, 158, 2040, 9152, 292, 3
+10, 20, 2.361454, 380928, 270, 2040, 10030, 206, 0
+10, 20, 0.960464, 380928, 104, 2040, 11529, 1154, 6
+10, 20, 1.012549, 380928, 198, 2040, 10477, 353, 0
+10, 20, 0.905939, 380928, 118, 2040, 11534, 540, 0
+10, 20, 0.681871, 380928, 450, 2040, 9913, 793, 3
+10, 20, 0.567626, 380928, 118, 2040, 10089, 960, 19
+10, 20, 0.580742, 380928, 190, 2040, 10123, 280, 0
+10, 20, 0.538423, 380928, 166, 2040, 9686, 686, 0
+10, 20, 0.591415, 380928, 228, 2040, 10302, 1371, 23
+10, 20, 0.689316, 380928, 98, 2040, 9995, 567, 39
+10, 20, 0.690910, 380928, 420, 2040, 11383, 1299, 5
+10, 20, 0.656585, 380928, 156, 2040, 13871, 642, 0
+10, 20, 2.383685, 380928, 192, 2040, 11543, 1635, 12
+10, 20, 2.320752, 380928, 204, 2040, 9777, 926, 0
+10, 20, 2.479817, 380928, 124, 2040, 11236, 319, 0
+10, 23, 0.625177, 380928, 132, 2046, 11632, 1220, 3
+10, 23, 0.311294, 380928, 118, 2046, 12074, 608, 0
+10, 23, 0.302194, 380928, 164, 2046, 10924, 570, 2
+10, 23, 0.320236, 380928, 192, 2046, 10731, 1166, 85
+10, 23, 0.293582, 380928, 114, 2046, 10843, 1086, 11
+10, 23, 0.361433, 380928, 232, 2046, 12297, 1011, 0
+10, 23, 0.308270, 380928, 152, 2046, 12345, 585, 0
+10, 23, 0.367751, 380928, 92, 2046, 11593, 986, 60
+10, 23, 0.290053, 380928, 182, 2046, 10174, 667, 84
+10, 23, 0.360908, 380928, 156, 2046, 11708, 662, 1
+10, 23, 0.379333, 380928, 156, 2046, 11483, 1267, 0
+10, 23, 0.281151, 380928, 200, 2046, 11416, 802, 20
+10, 23, 0.343926, 380928, 154, 2046, 11665, 1720, 10
+10, 23, 0.390308, 380928, 118, 2046, 11975, 1357, 0
+10, 23, 0.256693, 380928, 116, 2046, 10007, 455, 0
+10, 23, 0.332111, 380928, 152, 2046, 11211, 1226, 18
+10, 25, 0.306750, 380928, 118, 2050, 12525, 982, 85
+10, 25, 0.319631, 380928, 438, 2050, 9769, 1064, 41
+10, 25, 0.361499, 380928, 306, 2050, 12048, 744, 26
+10, 25, 0.289699, 380928, 376, 2050, 12475, 1579, 126
+10, 25, 0.336090, 380928, 312, 2050, 10857, 672, 9
+10, 25, 0.321422, 380928, 166, 2050, 11324, 1115, 6
+10, 25, 0.341959, 380928, 260, 2050, 10599, 1068, 14
+10, 25, 0.341905, 380928, 116, 2050, 13217, 631, 9
+10, 25, 0.310381, 380928, 232, 2050, 13723, 893, 0
+10, 25, 0.341972, 380928, 148, 2050, 9779, 1352, 10
+10, 25, 0.378044, 380928, 196, 2050, 13983, 867, 0
+10, 25, 0.234890, 380928, 108, 2050, 11398, 1482, 156
+10, 25, 0.295093, 380928, 192, 2050, 11673, 848, 28
+10, 25, 0.282143, 380928, 126, 2050, 10669, 487, 24
+10, 25, 0.316120, 380928, 118, 2050, 12086, 835, 14
+10, 25, 0.337580, 380928, 232, 2050, 14241, 898, 55
+10, 27, 0.358760, 380928, 214, 2054, 14962, 1025, 95
+10, 27, 0.274748, 380928, 112, 2054, 14595, 584, 86
+10, 27, 0.970303, 380928, 108, 2054, 14716, 543, 0
+10, 27, 1.052730, 380928, 110, 2054, 13321, 613, 14
+10, 27, 0.711930, 380928, 122, 2054, 12100, 1483, 39
+10, 27, 0.731272, 380928, 118, 2054, 11558, 1365, 6
+10, 27, 0.717260, 380928, 118, 2054, 11212, 1614, 92
+10, 27, 0.705951, 380928, 214, 2054, 12975, 874, 50
+10, 27, 0.953237, 380928, 214, 2054, 14073, 1121, 19
+10, 27, 1.528352, 380928, 192, 2054, 13212, 793, 28
+10, 27, 1.137825, 380928, 134, 2054, 11460, 516, 38
+10, 27, 1.137774, 380928, 144, 2054, 11181, 971, 2
+10, 27, 1.088721, 380928, 122, 2054, 11032, 1255, 45
+10, 27, 1.440166, 380928, 118, 2054, 11689, 1294, 8
+10, 27, 0.844857, 380928, 190, 2054, 16211, 1937, 11
+10, 27, 0.734859, 380928, 116, 2054, 14261, 929, 27
+10, 27, 0.871405, 380928, 254, 2054, 14526, 1144, 3
+10, 27, 0.736258, 380928, 280, 2054, 10002, 575, 0
+10, 27, 0.759121, 380928, 112, 2054, 10847, 850, 0
+10, 27, 0.793308, 380928, 226, 2054, 12648, 1194, 10
+10, 30, 0.736244, 380928, 120, 2060, 12411, 1184, 32
+10, 30, 0.802987, 380928, 190, 2060, 12418, 1596, 0
+10, 30, 0.810548, 380928, 128, 2060, 12381, 1864, 14
+10, 30, 0.817698, 380928, 274, 2060, 13637, 884, 6
+10, 30, 0.718416, 380928, 122, 2060, 13614, 690, 16
+10, 30, 0.785090, 380928, 164, 2060, 15148, 1582, 23

Test/runas2test-results-1758-2013.11.03/runas2testnonsaeager.csv

+10, 2, 0.214647, 126976, 110, 0, 101275, 0, 0
+10, 2, 0.258757, 126976, 110, 0, 102547, 0, 0
+10, 2, 0.155112, 126976, 110, 0, 92983, 0, 0
+10, 2, 0.202451, 126976, 110, 0, 115027, 0, 0
+10, 2, 0.189478, 126976, 110, 0, 110131, 0, 0
+10, 2, 0.195145, 126976, 110, 0, 85747, 0, 0
+10, 2, 0.187983, 126976, 110, 0, 94915, 0, 0
+10, 2, 0.172368, 126976, 110, 0, 102991, 0, 0
+10, 2, 0.183559, 126976, 110, 0, 103255, 0, 0
+10, 2, 0.185681, 126976, 110, 0, 107755, 0, 0
+10, 2, 0.236063, 126976, 110, 0, 101011, 0, 0
+10, 2, 0.266745, 126976, 110, 0, 97195, 0, 0
+10, 2, 0.260292, 126976, 110, 0, 142903, 0, 0
+10, 2, 0.197322, 126976, 110, 0, 109303, 0, 0
+10, 2, 0.165252, 126976, 110, 0, 97075, 0, 0
+10, 2, 0.179040, 126976, 110, 0, 103483, 0, 0
+10, 5, 0.461169, 126976, 110, 0, 262963, 0, 0
+10, 5, 0.268333, 126976, 110, 0, 165811, 0, 0
+10, 5, 0.349389, 126976, 110, 0, 198763, 0, 0
+10, 5, 0.290488, 126976, 110, 0, 149875, 0, 0
+10, 5, 0.451417, 126976, 110, 0, 228715, 0, 0
+10, 5, 0.288914, 126976, 110, 0, 177067, 0, 0
+10, 5, 0.321375, 126976, 110, 0, 176467, 0, 0
+10, 5, 0.310960, 126976, 110, 0, 183547, 0, 0
+10, 5, 0.501941, 126976, 110, 0, 262819, 0, 0
+10, 5, 0.392026, 126976, 110, 0, 199651, 0, 0
+10, 5, 0.317682, 126976, 110, 0, 189355, 0, 0
+10, 5, 0.323929, 126976, 110, 0, 155755, 0, 0
+10, 5, 0.404163, 126976, 110, 0, 216835, 0, 0
+10, 5, 0.289574, 126976, 110, 0, 187747, 0, 0
+10, 5, 0.386921, 126976, 110, 0, 223291, 0, 0
+10, 5, 0.432767, 126976, 110, 0, 244867, 0, 0
+10, 7, 0.422752, 126976, 110, 0, 224499, 0, 0
+10, 7, 0.596052, 126976, 110, 0, 295635, 0, 0
+10, 7, 0.495439, 126976, 110, 0, 249235, 0, 0
+10, 7, 0.428727, 126976, 110, 0, 264915, 0, 0
+10, 7, 0.425301, 126976, 110, 0, 239891, 0, 0
+10, 7, 0.559435, 126976, 110, 0, 305971, 0, 0
+10, 7, 0.800949, 126976, 110, 0, 244755, 0, 0
+10, 7, 0.539287, 126976, 110, 0, 210707, 0, 0
+10, 7, 0.458121, 126976, 110, 0, 212115, 0, 0
+10, 7, 0.423260, 126976, 110, 0, 255955, 0, 0
+10, 7, 0.538482, 126976, 110, 0, 300339, 0, 0
+10, 7, 0.488565, 126976, 110, 0, 286355, 0, 0
+10, 7, 0.443774, 126976, 110, 0, 236787, 0, 0
+10, 7, 0.527362, 126976, 110, 0, 262355, 0, 0
+10, 7, 0.508389, 126976, 110, 0, 293491, 0, 0
+10, 7, 0.548739, 126976, 110, 0, 300147, 0, 0
+10, 10, 0.608747, 126976, 110, 0, 291991, 0, 0
+10, 10, 0.691485, 126976, 110, 0, 442779, 0, 0
+10, 10, 0.581673, 126976, 110, 0, 323891, 0, 0
+10, 10, 0.583881, 126976, 110, 0, 371719, 0, 0
+10, 10, 0.550479, 126976, 110, 0, 387867, 0, 0
+10, 10, 0.706357, 126976, 110, 0, 447223, 0, 0
+10, 10, 0.603509, 126976, 110, 0, 368331, 0, 0
+10, 10, 0.726284, 126976, 110, 0, 415411, 0, 0
+10, 10, 0.682649, 126976, 110, 0, 410835, 0, 0
+10, 10, 1.020052, 126976, 110, 0, 509483, 0, 0
+10, 10, 0.586816, 126976, 110, 0, 332999, 0, 0
+10, 10, 0.751607, 126976, 110, 0, 413915, 0, 0
+10, 10, 0.577856, 126976, 110, 0, 372159, 0, 0
+10, 10, 0.599968, 126976, 110, 0, 318171, 0, 0
+10, 10, 0.606806, 126976, 110, 0, 346067, 0, 0
+10, 10, 0.644804, 126976, 110, 0, 408371, 0, 0
+10, 15, 0.988966, 126976, 110, 0, 460275, 0, 0
+10, 15, 0.832276, 126976, 110, 0, 449907, 0, 0
+10, 15, 1.150269, 126976, 242, 0, 670835, 0, 0
+10, 15, 0.869451, 126976, 110, 0, 592371, 0, 0
+10, 15, 0.797042, 126976, 110, 0, 470515, 0, 0
+10, 15, 0.834329, 126976, 110, 0, 487539, 0, 0
+10, 15, 1.011017, 126976, 332, 0, 604659, 0, 0
+10, 15, 0.769801, 126976, 110, 0, 425011, 0, 0
+10, 15, 0.906826, 126976, 340, 0, 585459, 0, 0
+10, 15, 0.641677, 126976, 110, 0, 383539, 0, 0
+10, 15, 0.834491, 126976, 110, 0, 417139, 0, 0
+10, 15, 0.930210, 126976, 110, 0, 517043, 0, 0
+10, 15, 0.995160, 126976, 110, 0, 585843, 0, 0
+10, 15, 0.828118, 126976, 110, 0, 401587, 0, 0
+10, 15, 1.029646, 126976, 224, 0, 627571, 0, 0
+10, 15, 0.848684, 126976, 110, 0, 473523, 0, 0
+10, 17, 0.945904, 126976, 110, 0, 583507, 0, 0
+10, 17, 1.118436, 126976, 314, 0, 690427, 0, 0
+10, 17, 1.170619, 126976, 210, 0, 693307, 0, 0
+10, 17, 1.133259, 126976, 318, 0, 666379, 0, 0
+10, 17, 1.118968, 126976, 226, 0, 640675, 0, 0
+10, 17, 1.103967, 126976, 254, 0, 619507, 0, 0
+10, 17, 1.055094, 126976, 286, 0, 659827, 0, 0
+10, 17, 0.930099, 126976, 110, 0, 581347, 0, 0
+10, 17, 1.102380, 126976, 332, 0, 643771, 0, 0
+10, 17, 0.908614, 126976, 314, 0, 591571, 0, 0
+10, 17, 1.311329, 126976, 150, 0, 673075, 0, 0
+10, 17, 3.106998, 126976, 334, 0, 685171, 0, 0
+10, 17, 2.301149, 126976, 344, 0, 659395, 0, 0
+10, 17, 3.053754, 126976, 110, 0, 550315, 0, 0
+10, 17, 3.165018, 126976, 110, 0, 536059, 0, 0
+10, 17, 2.199168, 126976, 110, 0, 533395, 0, 0
+10, 20, 2.712235, 126976, 110, 0, 452287, 0, 0
+10, 20, 3.000789, 126976, 300, 0, 698239, 0, 0
+10, 20, 2.524246, 126976, 360, 0, 713023, 0, 0
+10, 20, 2.365630, 126976, 178, 0, 875983, 0, 0
+10, 20, 2.826244, 126976, 248, 0, 745783, 0, 0
+10, 20, 3.034526, 126976, 186, 0, 859771, 0, 0
+10, 20, 1.775223, 126976, 110, 0, 583327, 0, 0
+10, 20, 1.644870, 126976, 318, 0, 737803, 0, 0
+10, 20, 1.705170, 126976, 304, 0, 762751, 0, 0
+10, 20, 1.675108, 126976, 286, 0, 598447, 0, 0
+10, 20, 2.636755, 126976, 280, 0, 786103, 0, 0
+10, 20, 2.082591, 126976, 316, 0, 741331, 0, 0
+10, 20, 2.783271, 126976, 320, 0, 902863, 0, 0
+10, 20, 3.638013, 126976, 238, 0, 921427, 0, 0
+10, 20, 2.836054, 126976, 230, 0, 682615, 0, 0
+10, 20, 3.715748, 126976, 110, 0, 711427, 0, 0
+10, 23, 1.266229, 126976, 250, 0, 798739, 0, 0
+10, 23, 1.597928, 126976, 198, 0, 988915, 0, 0
+10, 23, 1.123571, 126976, 288, 0, 808243, 0, 0
+10, 23, 1.505323, 126976, 340, 0, 1006387, 0, 0
+10, 23, 1.337338, 126976, 182, 0, 791155, 0, 0
+10, 23, 1.558968, 126976, 314, 0, 824755, 0, 0
+10, 23, 1.608986, 126976, 308, 0, 918355, 0, 0
+10, 23, 1.107911, 126976, 336, 0, 789715, 0, 0
+10, 23, 1.669373, 126976, 296, 0, 949267, 0, 0
+10, 23, 1.755833, 126976, 332, 0, 950419, 0, 0
+10, 23, 1.816830, 126976, 314, 0, 990355, 0, 0
+10, 23, 1.503883, 126976, 360, 0, 896851, 0, 0
+10, 23, 1.279757, 126976, 258, 0, 866227, 0, 0
+10, 23, 1.394132, 126976, 332, 0, 905683, 0, 0
+10, 23, 1.551381, 126976, 356, 0, 1009651, 0, 0
+10, 23, 1.313957, 126976, 360, 0, 783955, 0, 0
+10, 25, 1.204337, 126976, 122, 0, 742771, 0, 0
+10, 25, 1.522210, 126976, 354, 0, 1115195, 0, 0
+10, 25, 1.577979, 126976, 326, 0, 878075, 0, 0
+10, 25, 1.303682, 126976, 354, 0, 960755, 0, 0
+10, 25, 1.257923, 126976, 342, 0, 911459, 0, 0
+10, 25, 1.323756, 126976, 316, 0, 890659, 0, 0
+10, 25, 1.328404, 126976, 336, 0, 780107, 0, 0
+10, 25, 1.741100, 126976, 248, 0, 1162203, 0, 0
+10, 25, 1.030623, 126976, 294, 0, 791547, 0, 0
+10, 25, 1.467512, 126976, 360, 0, 968659, 0, 0
+10, 25, 0.881914, 126976, 326, 0, 787491, 0, 0
+10, 25, 1.549376, 126976, 314, 0, 1073699, 0, 0
+10, 25, 1.259083, 126976, 332, 0, 879947, 0, 0
+10, 25, 1.288725, 126976, 338, 0, 840739, 0, 0
+10, 25, 1.297811, 126976, 342, 0, 834915, 0, 0
+10, 25, 1.320086, 126976, 174, 0, 905531, 0, 0
+10, 27, 1.480292, 126976, 248, 0, 980787, 0, 0
+10, 27, 1.793895, 126976, 332, 0, 1226403, 0, 0
+10, 27, 1.330861, 126976, 252, 0, 779187, 0, 0
+10, 27, 1.669605, 126976, 202, 0, 935875, 0, 0
+10, 27, 2.600050, 126976, 276, 0, 819395, 0, 0
+10, 27, 2.258983, 126976, 314, 0, 812115, 0, 0
+10, 27, 2.204301, 126976, 342, 0, 1014275, 0, 0
+10, 27, 2.339245, 126976, 236, 0, 933299, 0, 0
+10, 27, 1.883471, 126976, 300, 0, 660355, 0, 0
+10, 27, 2.259507, 126976, 360, 0, 846163, 0, 0
+10, 27, 3.173076, 126976, 360, 0, 971491, 0, 0
+10, 27, 2.676425, 126976, 314, 0, 820179, 0, 0
+10, 27, 3.252872, 126976, 342, 0, 1086067, 0, 0
+10, 27, 3.627317, 126976, 234, 0, 987619, 0, 0
+10, 27, 2.062599, 126976, 336, 0, 813571, 0, 0
+10, 27, 3.299715, 126976, 356, 0, 1124483, 0, 0
+10, 27, 2.933199, 126976, 332, 0, 1115971, 0, 0
+10, 27, 2.786760, 126976, 356, 0, 897011, 0, 0
+10, 27, 2.335305, 126976, 300, 0, 960515, 0, 0
+10, 27, 1.866861, 126976, 262, 0, 822307, 0, 0
+10, 30, 2.638407, 126976, 332, 0, 1273823, 0, 0
+10, 30, 2.880615, 126976, 360, 0, 1020367, 0, 0
+10, 30, 3.184027, 126976, 202, 0, 1143251, 0, 0
+10, 30, 2.557684, 126976, 356, 0, 981183, 0, 0
+10, 30, 2.900370, 126976, 306, 0, 963327, 0, 0

Test/runas2test-results-1758-2013.11.03/runas2tests.sh

+
+BIN=../../_product
+
+touch runas2testlazysabidi.csv
+touch runas2testeagersatotalorder.csv
+touch runas2testnonsaeager.csv
+
+for num_changes in 27 30 35 40 45 50; do
+#for num_changes in 2 5 7 10 15 17 20 23 25 27 30 35 40 45 50; do
+#for sht in 2 3 4 5 6 7 10 12 15 17 20 ; do
+#for sht in 17 20 22 25 ; do
+    for samp in 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 ; do
+    echo "sheet depth=$sht/20; same number=$samp"
+    args="--Random.self_init --stats-test 10 --num-changes $num_changes"
+    $BIN/runas2testlazysabidi.native $args --stats-out runas2testlazysabidi.csv  
+    $BIN/runas2testnonsaeager.native $args --stats-out runas2testnonsaeager.csv 
+#    $BIN/runas2testeagersatotalorder.native $args --stats-out runas2testeagersatotalorder.csv
+    done   
+done

Test/runas2test-results-1903-2013.11.03/runas2test-1903-2013.11.03.xlsx

Binary file added.

Test/runas2test-results-1903-2013.11.03/runas2testeagersatotalorder.csv

+15, 2, 15.259673, 70471680, 946, 3004, 1354191, 0, 0
+15, 2, 23.668270, 58155008, 926, 3004, 1754391, 6497, 1597
+15, 2, 27.746851, 62599168, 946, 3004, 1738164, 757, 37
+15, 2, 13.479767, 60821504, 956, 3004, 1105257, 112, 0
+15, 2, 19.573939, 72249344, 958, 3004, 1668683, 1328, 4
+15, 2, 37.923459, 86089728, 958, 3004, 2092563, 4668, 448
+15, 2, 28.040408, 67043328, 952, 3004, 1375511, 1772, 30
+15, 2, 26.769686, 46981120, 946, 3004, 1146323, 210, 14
+15, 2, 43.690048, 70725632, 958, 3004, 1669225, 442, 2
+15, 2, 27.065973, 71995392, 958, 3004, 1278719, 8, 0
+15, 2, 52.253497, 56504320, 918, 3004, 1760845, 3823, 1509
+15, 2, 52.866406, 83296256, 964, 3004, 1898764, 1214, 24
+15, 2, 24.600181, 39743488, 946, 3004, 933470, 820, 34

Test/runas2test-results-1903-2013.11.03/runas2testlazysabidi.csv

+15, 2, 0.263127, 380928, 108, 3004, 4440, 42, 0
+15, 2, 0.077176, 380928, 108, 3004, 4195, 38, 25
+15, 2, 0.269114, 380928, 108, 3004, 4714, 14, 0
+15, 2, 0.342811, 380928, 108, 3004, 5284, 93, 0
+15, 2, 0.391730, 380928, 108, 3004, 4570, 200, 0
+15, 2, 0.401963, 380928, 110, 3004, 4943, 27, 0
+15, 2, 0.660741, 380928, 108, 3004, 4683, 472, 0
+15, 2, 0.207501, 380928, 108, 3004, 4247, 0, 0
+15, 2, 0.247202, 380928, 106, 3004, 4150, 251, 139
+15, 2, 0.477080, 380928, 110, 3004, 4609, 405, 70
+15, 2, 0.858211, 380928, 124, 3004, 4521, 4, 0
+15, 2, 0.438291, 380928, 110, 3004, 5557, 19, 0
+15, 2, 0.884755, 380928, 110, 3004, 4378, 28, 0
+15, 2, 1.190248, 380928, 108, 3004, 4320, 2, 0
+15, 2, 0.346673, 380928, 108, 3004, 5915, 578, 68
+15, 2, 0.742689, 380928, 110, 3004, 4961, 129, 0
+15, 2, 0.543767, 380928, 108, 3004, 4225, 0, 0
+15, 2, 0.591440, 380928, 108, 3004, 4982, 411, 110
+15, 2, 0.351018, 380928, 106, 3004, 5380, 176, 17
+15, 2, 0.569467, 380928, 248, 3004, 5645, 2, 0
+15, 2, 0.695995, 380928, 108, 3004, 4599, 255, 0
+15, 2, 0.392498, 380928, 108, 3004, 4991, 404, 0
+15, 2, 0.453800, 380928, 108, 3004, 5077, 16, 0
+15, 2, 0.594326, 380928, 144, 3004, 5430, 495, 0
+15, 2, 0.250910, 380928, 110, 3004, 3905, 4, 2
+15, 2, 0.661560, 380928, 108, 3004, 5209, 13, 0
+15, 2, 0.674061, 380928, 134, 3004, 5981, 51, 0
+15, 2, 0.690824, 380928, 216, 3004, 4262, 411, 1
+15, 2, 0.484392, 380928, 114, 3004, 4792, 57, 0
+15, 2, 0.836502, 380928, 106, 3004, 4677, 0, 0
+15, 2, 0.479675, 380928, 124, 3004, 4510, 68, 0
+15, 5, 0.605274, 380928, 204, 3010, 5942, 228, 16
+15, 5, 0.840624, 634880, 124, 3010, 7976, 1656, 0
+15, 5, 0.691284, 380928, 164, 3010, 7206, 592, 20
+15, 5, 1.158300, 380928, 102, 3010, 6127, 548, 0
+15, 5, 0.957109, 380928, 134, 3010, 6431, 216, 3
+15, 5, 0.892067, 380928, 104, 3010, 7186, 1026, 8
+15, 5, 1.207748, 380928, 106, 3010, 5903, 250, 0
+15, 5, 1.373513, 380928, 234, 3010, 5945, 694, 0
+15, 5, 0.787153, 380928, 108, 3010, 6412, 580, 7
+15, 5, 0.619666, 380928, 122, 3010, 6525, 251, 0
+15, 5, 0.892189, 380928, 144, 3010, 6893, 716, 10
+15, 5, 0.925032, 380928, 108, 3010, 7463, 339, 0
+15, 5, 0.959157, 380928, 108, 3010, 6725, 899, 30
+15, 5, 0.655051, 380928, 108, 3010, 6598, 943, 89
+15, 5, 0.571968, 380928, 108, 3010, 5783, 440, 37
+15, 5, 0.292433, 380928, 110, 3010, 5594, 737, 141
+15, 7, 1.232187, 634880, 148, 3014, 7170, 343, 18
+15, 7, 1.328708, 634880, 172, 3014, 8893, 887, 0
+15, 7, 0.960083, 380928, 126, 3014, 6750, 354, 23
+15, 7, 0.571815, 380928, 108, 3014, 5300, 1493, 1166
+15, 7, 0.875716, 380928, 196, 3014, 7251, 586, 0
+15, 7, 1.684096, 634880, 174, 3014, 9197, 1943, 2
+15, 7, 0.861250, 634880, 108, 3014, 8249, 1024, 0
+15, 7, 0.856036, 380928, 144, 3014, 8074, 511, 15
+15, 7, 0.820827, 380928, 144, 3014, 9456, 1023, 128
+15, 7, 1.159732, 634880, 162, 3014, 7578, 884, 11
+15, 7, 1.449088, 634880, 112, 3014, 6415, 360, 0
+15, 7, 1.488393, 380928, 154, 3014, 7159, 697, 0
+15, 7, 0.560573, 380928, 144, 3014, 5377, 106, 61
+15, 7, 0.652648, 380928, 102, 3014, 7366, 2408, 357
+15, 7, 1.079328, 634880, 122, 3014, 7097, 729, 0
+15, 7, 1.214588, 634880, 126, 3014, 6830, 994, 0
+15, 10, 1.484083, 634880, 102, 3020, 8379, 591, 10
+15, 10, 0.566263, 380928, 122, 3020, 7151, 971, 181
+15, 10, 1.566294, 634880, 118, 3020, 7564, 710, 18
+15, 10, 0.853493, 380928, 110, 3020, 6966, 790, 214
+15, 10, 0.735374, 380928, 248, 3020, 8779, 624, 72
+15, 10, 1.394189, 634880, 108, 3020, 8539, 708, 0
+15, 10, 1.632045, 634880, 126, 3020, 9319, 2092, 210
+15, 10, 2.046558, 634880, 124, 3020, 7193, 569, 0
+15, 10, 1.455278, 380928, 108, 3020, 8631, 0, 0
+15, 10, 0.792591, 380928, 114, 3020, 7747, 1200, 198
+15, 10, 1.511439, 634880, 162, 3020, 8169, 933, 0
+15, 10, 1.475808, 634880, 196, 3020, 11179, 1321, 34
+15, 10, 1.129017, 380928, 204, 3020, 9011, 564, 0
+15, 10, 1.164647, 634880, 148, 3020, 8882, 2066, 0
+15, 10, 1.643655, 761856, 220, 3020, 8179, 2609, 693
+15, 10, 1.780708, 634880, 170, 3020, 8776, 1564, 96
+15, 15, 1.608486, 634880, 146, 3030, 10221, 2110, 94
+15, 15, 1.485070, 634880, 108, 3030, 9384, 1276, 15
+15, 15, 1.682877, 634880, 126, 3030, 8823, 2219, 60
+15, 15, 1.599241, 634880, 352, 3030, 9380, 1007, 22
+15, 15, 2.641260, 761856, 194, 3030, 10061, 2524, 127
+15, 15, 1.386043, 634880, 214, 3030, 10410, 1901, 3
+15, 15, 1.798474, 380928, 106, 3030, 9720, 720, 1
+15, 15, 2.121216, 761856, 228, 3030, 9244, 1525, 34
+15, 15, 1.451040, 634880, 122, 3030, 10628, 1173, 64
+15, 15, 1.731422, 634880, 124, 3030, 10132, 887, 21
+15, 15, 1.449664, 380928, 124, 3030, 10366, 826, 225
+15, 15, 2.231970, 634880, 194, 3030, 11968, 4374, 27
+15, 15, 1.624129, 634880, 108, 3030, 10197, 964, 0
+15, 15, 2.705278, 634880, 124, 3030, 10058, 1217, 27
+15, 15, 1.618803, 634880, 122, 3030, 9653, 1674, 1
+15, 15, 1.675656, 634880, 178, 3030, 10394, 1937, 0
+15, 17, 0.815672, 634880, 122, 3034, 9553, 973, 50
+15, 17, 0.136827, 380928, 124, 3034, 8907, 2143, 1069
+15, 17, 0.155313, 380928, 108, 3034, 7614, 1850, 647
+15, 17, 0.910316, 634880, 138, 3034, 11341, 2117, 26
+15, 17, 0.180877, 380928, 106, 3034, 7891, 731, 198
+15, 17, 0.624571, 634880, 124, 3034, 11692, 1864, 57
+15, 17, 1.130228, 761856, 122, 3034, 10116, 2222, 14
+15, 17, 1.358902, 634880, 154, 3034, 11166, 1319, 5
+15, 17, 1.172819, 634880, 214, 3034, 12008, 3278, 9
+15, 17, 1.047180, 634880, 154, 3034, 12344, 1551, 10
+15, 17, 0.611328, 634880, 162, 3034, 10971, 1185, 6
+15, 17, 0.837500, 634880, 118, 3034, 12383, 2741, 69
+15, 17, 0.432688, 761856, 124, 3034, 10280, 1950, 374
+15, 17, 2.631522, 761856, 164, 3034, 10966, 2783, 39
+15, 17, 2.312671, 634880, 134, 3034, 11160, 1399, 271
+15, 17, 1.325666, 761856, 224, 3034, 11059, 1739, 5
+15, 20, 1.267629, 380928, 108, 3040, 8512, 2069, 747
+15, 20, 2.648053, 761856, 172, 3040, 11492, 2965, 3
+15, 20, 2.505154, 380928, 190, 3040, 8388, 375, 2
+15, 20, 2.635217, 634880, 124, 3040, 13115, 2753, 87
+15, 20, 2.127124, 634880, 200, 3040, 10781, 1320, 3
+15, 20, 2.472235, 634880, 162, 3040, 11657, 2947, 62
+15, 20, 2.630262, 634880, 122, 3040, 9180, 1071, 0
+15, 20, 2.687637, 634880, 194, 3040, 8771, 916, 1
+15, 20, 2.541560, 634880, 126, 3040, 12757, 2828, 14
+15, 20, 2.593673, 634880, 144, 3040, 12425, 2487, 11
+15, 20, 1.664439, 380928, 214, 3040, 10895, 2057, 339
+15, 20, 1.869367, 634880, 136, 3040, 10062, 3163, 422
+15, 20, 1.174252, 634880, 238, 3040, 11653, 1823, 62
+15, 20, 1.683814, 634880, 124, 3040, 11156, 1469, 6
+15, 20, 2.175729, 634880, 164, 3040, 10758, 2100, 105
+15, 20, 3.508669, 634880, 214, 3040, 10060, 1114, 29
+15, 23, 2.645143, 634880, 124, 3046, 11317, 1761, 198
+15, 23, 0.283672, 634880, 106, 3046, 10925, 3837, 890
+15, 23, 1.558351, 634880, 122, 3046, 11869, 2391, 1
+15, 23, 1.123564, 634880, 126, 3046, 12139, 2047, 24
+15, 23, 1.629748, 634880, 214, 3046, 12381, 2865, 187
+15, 23, 0.946174, 634880, 154, 3046, 12448, 1511, 1
+15, 23, 1.390453, 634880, 108, 3046, 12798, 2597, 13
+15, 23, 2.647214, 634880, 124, 3046, 12556, 2143, 288
+15, 23, 2.988598, 634880, 126, 3046, 10601, 1540, 24
+15, 23, 1.626967, 634880, 92, 3046, 14024, 1888, 383
+15, 23, 2.115376, 380928, 108, 3046, 10328, 1390, 798
+15, 23, 1.631026, 380928, 122, 3046, 9005, 2528, 1606
+15, 23, 3.586879, 634880, 110, 3046, 12235, 2750, 16
+15, 23, 2.333831, 634880, 144, 3046, 11177, 1894, 48
+15, 23, 2.820203, 634880, 162, 3046, 10982, 1880, 1
+15, 23, 1.871554, 634880, 150, 3046, 12893, 3820, 1005
+15, 25, 2.684534, 634880, 184, 3050, 9778, 1716, 22
+15, 25, 3.072141, 634880, 154, 3050, 13438, 2411, 6
+15, 25, 3.633675, 761856, 150, 3050, 13237, 3502, 10
+15, 25, 2.808172, 634880, 148, 3050, 11963, 4575, 272
+15, 25, 3.037723, 634880, 124, 3050, 12862, 2834, 33
+15, 25, 2.665529, 634880, 164, 3050, 12309, 1008, 0
+15, 25, 3.092160, 634880, 200, 3050, 12024, 3092, 54
+15, 25, 2.079138, 761856, 190, 3050, 12048, 3220, 380
+15, 25, 3.363366, 634880, 200, 3050, 13459, 5722, 688
+15, 25, 3.581783, 634880, 124, 3050, 12726, 3031, 4
+15, 25, 2.753243, 761856, 126, 3050, 11257, 2500, 320
+15, 25, 3.944605, 634880, 124, 3050, 11653, 2253, 28
+15, 25, 3.428090, 634880, 106, 3050, 12976, 2522, 1
+15, 25, 2.648868, 634880, 234, 3050, 11677, 1946, 87
+15, 25, 2.630846, 634880, 204, 3050, 12856, 4850, 63
+15, 25, 3.550403, 634880, 276, 3050, 12145, 2135, 87
+15, 27, 3.502696, 634880, 124, 3054, 14259, 4026, 81
+15, 27, 1.539665, 634880, 110, 3054, 12363, 3222, 27
+15, 27, 2.244541, 634880, 238, 3054, 11502, 2434, 64
+15, 27, 2.226624, 634880, 154, 3054, 14312, 5731, 45
+15, 27, 1.300971, 634880, 174, 3054, 12549, 2778, 49
+15, 27, 1.885645, 634880, 124, 3054, 12033, 2681, 21
+15, 27, 1.330848, 634880, 128, 3054, 14513, 3207, 24
+15, 27, 1.273868, 634880, 124, 3054, 12561, 2536, 25
+15, 27, 1.181243, 634880, 180, 3054, 17664, 3252, 153
+15, 27, 1.146912, 634880, 124, 3054, 13933, 2175, 30
+15, 27, 1.196178, 634880, 132, 3054, 12389, 1707, 13
+15, 27, 1.721374, 634880, 114, 3054, 14795, 5305, 31
+15, 27, 1.147919, 634880, 238, 3054, 14111, 2600, 70
+15, 27, 1.087647, 634880, 224, 3054, 14363, 3767, 5
+15, 27, 1.792008, 761856, 238, 3054, 14156, 4709, 45
+15, 27, 1.456450, 634880, 214, 3054, 13082, 2890, 60
+15, 30, 1.379550, 634880, 118, 3060, 15574, 3764, 1
+15, 30, 1.465605, 634880, 176, 3060, 14753, 4860, 115
+15, 30, 1.791821, 634880, 102, 3060, 12675, 2776, 1
+15, 30, 1.192464, 634880, 164, 3060, 14715, 3627, 119
+15, 30, 1.602816, 634880, 124, 3060, 12180, 1995, 29
+15, 30, 1.928568, 634880, 124, 3060, 11878, 3018, 6
+15, 30, 0.968992, 634880, 112, 3060, 12464, 2330, 261
+15, 30, 1.981842, 761856, 164, 3060, 14267, 2677, 30
+15, 30, 2.267614, 634880, 204, 3060, 14404, 3569, 22
+15, 30, 0.714333, 634880, 116, 3060, 15453, 4545, 866
+15, 30, 2.508808, 634880, 168, 3060, 12262, 4122, 268
+15, 30, 2.132879, 634880, 180, 3060, 13460, 3993, 46
+15, 30, 0.412235, 634880, 228, 3060, 12279, 3292, 1080
+15, 30, 1.406039, 634880, 200, 3060, 14644, 4302, 86
+15, 30, 1.997694, 634880, 112, 3060, 13919, 3447, 58
+15, 30, 1.953609, 634880, 234, 3060, 14873, 3943, 58
+15, 35, 0.899379, 761856, 194, 3070, 16463, 6040, 751
+15, 35, 1.666361, 634880, 124, 3070, 15031, 3854, 115
+15, 35, 2.678471, 1015808, 170, 3070, 14465, 6446, 636
+15, 35, 1.180012, 634880, 148, 3070, 15904, 2475, 58
+15, 35, 2.260176, 634880, 214, 3070, 13663, 3389, 98
+15, 35, 0.584436, 761856, 150, 3070, 14748, 4045, 438
+15, 35, 1.786335, 634880, 214, 3070, 14608, 4480, 6
+15, 35, 1.274230, 634880, 110, 3070, 14729, 3268, 3
+15, 35, 0.445463, 761856, 116, 3070, 13533, 4624, 1058
+15, 35, 1.689604, 634880, 124, 3070, 14991, 5018, 186
+15, 35, 1.233056, 634880, 228, 3070, 16232, 3304, 207
+15, 35, 1.056216, 634880, 114, 3070, 15879, 2934, 112
+15, 35, 1.570734, 634880, 126, 3070, 11998, 2315, 143
+15, 35, 0.696921, 761856, 142, 3070, 17072, 4092, 434
+15, 35, 1.443208, 634880, 122, 3070, 15772, 5463, 192
+15, 35, 1.356669, 634880, 124, 3070, 14748, 3387, 34
+15, 40, 1.342170, 634880, 184, 3080, 17046, 4983, 114
+15, 40, 2.001058, 634880, 200, 3080, 17368, 6799, 90
+15, 40, 1.974632, 1015808, 198, 3080, 20563, 7198, 195
+15, 40, 1.399362, 634880, 110, 3080, 15234, 4613, 677
+15, 40, 1.793738, 634880, 194, 3080, 16307, 5204, 227
+15, 40, 1.508694, 634880, 128, 3080, 15202, 4560, 339
+15, 40, 2.420984, 634880, 300, 3080, 16914, 4804, 86
+15, 40, 1.571223, 634880, 116, 3080, 14318, 2829, 136
+15, 40, 2.155821, 634880, 248, 3080, 15354, 3149, 127
+15, 40, 1.397587, 761856, 114, 3080, 17551, 3998, 58
+15, 40, 1.541439, 634880, 194, 3080, 17357, 5602, 107
+15, 40, 2.592944, 1015808, 184, 3080, 16775, 6713, 117
+15, 40, 0.511645, 634880, 162, 3080, 14319, 3881, 236
+15, 40, 1.906723, 1015808, 154, 3080, 17723, 7212, 78
+15, 40, 2.589445, 634880, 134, 3080, 13746, 2985, 54
+15, 40, 1.736764, 634880, 126, 3080, 14779, 5186, 239
+15, 45, 2.173934, 761856, 174, 3090, 15829, 6592, 590
+15, 45, 0.810002, 634880, 162, 3090, 17959, 5999, 966