Skip to content

Commit

Permalink
Significantly optimized and refactored
Browse files Browse the repository at this point in the history
  • Loading branch information
@jah12014
jah12014 committed Feb 9, 2018
1 parent d38124f commit a8c021c
Show file tree
Hide file tree
Showing 14 changed files with 3,310 additions and 2,822 deletions.
73 changes: 73 additions & 0 deletions IncrementalMinimization/budget_test_before _heuristic.txt
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,73 @@
initial states, final states, incremental states, upfront statesincremental percent, upfront percent25, 17, 17, 24, 1.0, 0.125
31, 8, 8, 13, 1.0, 0.782608695652174
10, 7, 7, 7, 1.0, 1.0
111, 21, 110, 110, 0.011111111111111112, 0.011111111111111112
36, 17, 17, 36, 1.0, 0.0
48, 39, 1, 48, 1.0, 0.0
917, 114, 300, 917, 0.7683686176836861, 0.0
1, 1, 1, 1, 1.0, 1.0
47, 34, 1, 47, 1.0, 0.0
431, 184, 1, 431, 1.0, 0.0
224, 20, 15, 224, 1.0, 0.0
354, 62, 354, 354, 0.0, 0.0
33, 17, 22, 33, 0.6875, 0.0
12, 8, 5, 12, 1.0, 0.0
22, 16, 16, 22, 1.0, 0.0
34, 3, 3, 34, 1.0, 0.0
34, 18, 2, 34, 1.0, 0.0
323, 67, 318, 323, 0.01953125, 0.0
55, 42, 43, 52, 0.9230769230769231, 0.23076923076923078
14, 7, 7, 9, 1.0, 0.7142857142857143
22, 11, 11, 18, 1.0, 0.36363636363636365
7, 5, 5, 5, 1.0, 1.0
25, 9, 9, 25, 1.0, 0.0
6, 4, 4, 5, 1.0, 0.5
66, 26, 61, 66, 0.125, 0.0
43, 26, 34, 43, 0.5294117647058824, 0.0
17, 13, 13, 14, 1.0, 0.75
22, 7, 7, 22, 1.0, 0.0
20, 5, 5, 7, 1.0, 0.8666666666666667
13, 11, 11, 11, 1.0, 1.0
33, 32, 32, 33, 1.0, 0.0
140, 53, 1, 140, 1.0, 0.0
23, 16, 1, 23, 1.0, 0.0
56, 52, 52, 56, 1.0, 0.0
26, 3, 3, 26, 1.0, 0.0
22, 18, 18, 22, 1.0, 0.0
21, 15, 1, 1, 1.0, 1.0
19, 14, 1, 1, 1.0, 1.0
1, 1, 1, 1, 1.0, 1.0
9, 8, 8, 9, 1.0, 0.0
5, 4, 4, 4, 1.0, 1.0
8, 7, 7, 7, 1.0, 1.0
90, 90, 90, 90, 1.0, 1.0
3, 3, 3, 3, 1.0, 1.0
17, 10, 10, 10, 1.0, 1.0
41, 30, 32, 41, 0.8181818181818182, 0.0
7, 5, 5, 5, 1.0, 1.0
11, 7, 7, 7, 1.0, 1.0
31, 19, 21, 30, 0.8333333333333334, 0.08333333333333333
3, 3, 3, 3, 1.0, 1.0
12, 10, 7, 7, 1.0, 1.0
52, 13, 14, 50, 0.9743589743589743, 0.05128205128205128
35, 35, 35, 35, 1.0, 1.0
18, 13, 1, 18, 1.0, 0.0
49, 48, 49, 49, 0.0, 0.0
19, 18, 18, 18, 1.0, 1.0
22, 7, 7, 15, 1.0, 0.4666666666666667
44, 8, 1, 1, 1.0, 1.0
10, 7, 7, 7, 1.0, 1.0
31, 13, 13, 31, 1.0, 0.0
18, 7, 1, 18, 1.0, 0.0
100, 22, 61, 100, 0.5, 0.0
53, 14, 5, 53, 1.0, 0.0
79, 52, 1, 79, 1.0, 0.0
43, 36, 36, 43, 1.0, 0.0
18, 14, 14, 18, 1.0, 0.0
80, 77, 1, 1, 1.0, 1.0
87, 80, 1, 87, 1.0, 0.0
22, 13, 9, 22, 1.0, 0.0
1, 1, 1, 1, 1.0, 1.0
85, 60, 73, 85, 0.48, 0.0
1, 1, 1, 1, 1.0, 1.0
43, 36, 29, 43, 1.0, 0.0
71 changes: 71 additions & 0 deletions IncrementalMinimization/budget_test_before_any_improvement.txt
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,71 @@
initial states, final states, incremental states, upfront statesincremental percent, upfront percent25, 17, 23, 25, 0.25, 0.0
31, 8, 12, 31, 0.8260869565217391, 0.0
10, 7, 9, 10, 0.3333333333333333, 0.0
111, 21, 62, 111, 0.5444444444444444, 0.0
36, 17, 35, 36, 0.05263157894736842, 0.0
48, 39, 47, 48, 0.1111111111111111, 0.0
917, 114, 917, 917, 0.0, 0.0
1, 1, 1, 1, 1.0, 1.0
47, 34, 47, 47, 0.0, 0.0
431, 184, 431, 431, 0.0, 0.0
224, 20, 219, 224, 0.024509803921568627, 0.0
354, 62, 354, 354, 0.0, 0.0
33, 17, 31, 33, 0.125, 0.0
12, 8, 8, 12, 1.0, 0.0
22, 16, 20, 22, 0.3333333333333333, 0.0
34, 3, 4, 34, 0.967741935483871, 0.0
34, 18, 27, 34, 0.4375, 0.0
323, 67, 322, 323, 0.00390625, 0.0
55, 42, 55, 55, 0.0, 0.0
14, 7, 14, 14, 0.0, 0.0
22, 11, 11, 15, 1.0, 0.6363636363636364
7, 5, 5, 7, 1.0, 0.0
25, 9, 21, 25, 0.25, 0.0
6, 4, 4, 6, 1.0, 0.0
66, 26, 63, 66, 0.075, 0.0
43, 26, 40, 43, 0.17647058823529413, 0.0
17, 13, 13, 17, 1.0, 0.0
22, 7, 17, 22, 0.3333333333333333, 0.0
20, 5, 7, 20, 0.8666666666666667, 0.0
13, 11, 12, 13, 0.5, 0.0
140, 53, 140, 140, 0.0, 0.0
23, 16, 22, 23, 0.14285714285714285, 0.0
56, 52, 56, 56, 0.0, 0.0
26, 3, 7, 26, 0.8260869565217391, 0.0
22, 18, 22, 22, 0.0, 0.0
21, 15, 18, 21, 0.5, 0.0
19, 14, 16, 19, 0.6, 0.0
1, 1, 1, 1, 1.0, 1.0
9, 8, 9, 9, 0.0, 0.0
5, 4, 4, 5, 1.0, 0.0
8, 7, 7, 8, 1.0, 0.0
90, 90, 90, 90, 1.0, 1.0
3, 3, 3, 3, 1.0, 1.0
17, 10, 16, 17, 0.14285714285714285, 0.0
41, 30, 41, 41, 0.0, 0.0
7, 5, 5, 7, 1.0, 0.0
11, 7, 10, 11, 0.25, 0.0
31, 19, 30, 31, 0.08333333333333333, 0.0
3, 3, 3, 3, 1.0, 1.0
12, 10, 11, 12, 0.5, 0.0
52, 13, 52, 52, 0.0, 0.0
35, 35, 35, 35, 1.0, 1.0
18, 13, 18, 18, 0.0, 0.0
49, 48, 49, 49, 0.0, 0.0
19, 18, 19, 19, 0.0, 0.0
22, 7, 15, 22, 0.4666666666666667, 0.0
44, 8, 23, 44, 0.5833333333333334, 0.0
10, 7, 9, 10, 0.3333333333333333, 0.0
31, 13, 14, 31, 0.9444444444444444, 0.0
18, 7, 14, 18, 0.36363636363636365, 0.0
100, 22, 100, 100, 0.0, 0.0
53, 14, 25, 53, 0.717948717948718, 0.0
79, 52, 79, 79, 0.0, 0.0
43, 36, 43, 43, 0.0, 0.0
18, 14, 16, 18, 0.5, 0.0
80, 77, 79, 80, 0.3333333333333333, 0.0
22, 13, 21, 22, 0.1111111111111111, 0.0
1, 1, 1, 1, 1.0, 1.0
85, 60, 85, 85, 0.0, 0.0
1, 1, 1, 1, 1.0, 1.0
43, 36, 42, 43, 0.14285714285714285, 0.0
73 changes: 73 additions & 0 deletions IncrementalMinimization/compare_test_after_heuristic.txt
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,73 @@
initial states, final states, transition count, predicate count, minterm count,incremental time, standard time, Moore time, upfront incremental time
25, 17, 98, 12, 6, 4149.779, 1870.248, 10281.005, 5210.621
31, 8, 103, 13, 7, 2219.835, 2159.205, 14627.939, 4672.123
10, 7, 23, 10, 5, 233.789, 237.793, 562.036, 357.576
111, 21, 531, 24, 10, 43419.745, 7036.977, 77845.546, 50642.377
36, 17, 173, 26, 11, 1223.948, 1111.516, 24170.862, 3052.804
48, 39, 167, 31, 10, 2052.909, 1396.595, 8320.059, 2853.102
917, 114, 5506, 97, 36, 2.0034032077E8, 111768.37, 1.6910448872E7, 1.87092412285E8
1, 1, 1, 1, 1, 14.095, 8.438, 4.045, 6.416
47, 34, 111, 40, 19, 963.478, 1283.19, 4562.017, 3022.995
431, 184, 2895, 76, 22, 1.1664380163E7, 27005.31, 1215210.682, 9794850.316
224, 20, 3195, 72, 32, 423552.868, 23192.285, 4592157.659, 524933.257
354, 62, 2621, 78, 32, 5930986.129, 18307.805, 1476349.485, 6285783.572
33, 17, 117, 25, 13, 2123.127, 567.349, 7992.794, 3534.218
12, 8, 27, 9, 5, 193.446, 173.304, 244.908, 322.375
22, 16, 104, 10, 6, 583.445, 583.351, 2656.572, 1185.323
34, 3, 66, 34, 33, 372.47, 356.608, 623.943, 2371.057
34, 18, 110, 23, 11, 1037.205, 724.515, 1581.625, 2070.252
323, 67, 1369, 80, 32, 901906.1, 14283.923, 557001.51, 937888.981
55, 42, 187, 26, 7, 1283.728, 878.457, 13887.558, 2119.395
14, 7, 38, 7, 4, 208.619, 205.806, 457.949, 330.731
22, 11, 56, 9, 6, 268.917, 272.688, 1474.725, 552.55
7, 5, 15, 5, 3, 92.882, 77.196, 77.139, 106.289
25, 9, 84, 14, 11, 351.62, 317.977, 2879.847, 1239.404
6, 4, 14, 7, 6, 80.399, 126.345, 129.994, 196.402
66, 26, 373, 54, 24, 15165.801, 2049.761, 20437.047, 38504.93
43, 26, 284, 47, 24, 2896.974, 1701.671, 12507.275, 13061.893
17, 13, 39, 20, 11, 169.667, 254.946, 1453.378, 444.829
22, 7, 65, 11, 6, 290.4, 248.788, 1209.445, 608.895
20, 5, 86, 8, 5, 451.081, 370.525, 1158.023, 804.976
13, 11, 40, 9, 5, 120.588, 135.959, 440.428, 255.255
140, 53, 513, 41, 15, 14665.129, 2670.433, 347777.032, 20779.615
23, 16, 65, 23, 12, 372.255, 321.95, 1593.383, 1621.046
56, 52, 146, 54, 23, 705.645, 667.824, 20512.728, 3281.178
26, 3, 118, 18, 11, 516.847, 351.52, 2337.99, 1590.179
22, 18, 55, 14, 6, 192.188, 187.371, 1148.443, 418.116
21, 15, 58, 18, 8, 247.979, 290.542, 1336.189, 554.402
19, 14, 50, 16, 8, 230.151, 228.699, 940.959, 646.216
1, 1, 1, 1, 1, 20.163, 36.065, 0.645, 4.034
9, 8, 18, 14, 8, 56.046, 90.731, 116.774, 143.134
5, 4, 9, 5, 3, 78.516, 33.887, 45.29, 88.914
8, 7, 19, 6, 3, 57.528, 89.084, 156.957, 122.802
90, 90, 176, 65, 33, 800.561, 1129.3, 132701.242, 4669.839
3, 3, 4, 3, 2, 24.71, 23.764, 15.092, 23.598
17, 10, 41, 10, 5, 159.59, 139.554, 374.331, 339.513
41, 30, 127, 18, 8, 1162.963, 617.518, 6795.06, 1986.848
7, 5, 15, 7, 4, 97.925, 106.271, 89.945, 140.151
11, 7, 27, 7, 4, 100.244, 100.612, 230.682, 201.231
31, 19, 92, 10, 5, 724.654, 435.071, 1414.404, 1189.659
3, 3, 4, 3, 2, 60.093, 19.308, 41.734, 67.891
12, 10, 24, 7, 4, 113.862, 109.439, 133.265, 156.124
52, 13, 184, 15, 7, 2028.855, 1065.962, 13154.739, 3296.916
35, 35, 90, 20, 10, 1002.762, 381.215, 12145.313, 1102.279
18, 13, 29, 13, 10, 204.093, 132.036, 1053.824, 439.352
49, 48, 123, 9, 5, 1903.73, 605.207, 6618.722, 2237.227
19, 18, 36, 8, 4, 95.512, 143.554, 840.58, 236.63
22, 7, 71, 9, 6, 286.847, 293.854, 1135.565, 672.638
44, 8, 157, 13, 8, 825.53, 740.125, 6388.064, 1719.639
10, 7, 23, 7, 4, 131.09, 108.349, 252.049, 188.608
31, 13, 111, 19, 9, 532.51, 458.945, 4330.735, 1240.646
18, 7, 55, 10, 6, 236.773, 205.834, 841.68, 800.676
100, 22, 381, 20, 7, 15537.295, 1682.766, 61308.347, 15904.263
53, 14, 233, 26, 11, 2476.973, 1091.507, 8773.559, 4799.221
79, 52, 278, 44, 19, 4903.707, 1315.361, 25680.155, 10749.454
43, 36, 117, 33, 12, 663.664, 516.406, 7499.999, 1847.018
18, 14, 67, 13, 7, 335.389, 484.896, 920.05, 735.762
80, 77, 312, 14, 7, 8744.681, 1811.43, 160210.951, 17063.541
87, 80, 339, 18, 8, 9687.455, 1750.471, 175070.251, 7372.536
22, 13, 66, 19, 8, 460.146, 386.457, 1076.577, 1364.106
1, 1, 1, 1, 1, 6.972, 1.245, 0.75, 2.826
85, 60, 285, 50, 21, 4646.642, 1356.63, 28251.948, 12250.405
1, 1, 1, 1, 1, 6.869, 1.276, 0.754, 2.572
43, 36, 132, 26, 9, 1249.99, 578.022, 2462.889, 2339.949
73 changes: 73 additions & 0 deletions IncrementalMinimization/compare_test_before_any.txt
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,73 @@
initial states, final states, transition count, predicate count, minterm count,incremental time, standard time, Moore time, upfront incremental time
25, 17, 98, 12, 6, 21283.661, 12150.939, 13724.523, 8607.197
31, 8, 103, 13, 7, 7521.622, 1080.463, 18867.475, 20830.142
10, 7, 23, 10, 5, 399.98, 253.13, 437.941, 505.273
111, 21, 531, 24, 10, 131186.943, 6322.085, 66344.003, 188650.015
36, 17, 173, 26, 11, 3917.043, 1121.329, 20492.564, 7315.577
48, 39, 167, 31, 10, 5628.57, 1469.379, 8754.771, 11484.585
917, 114, 5506, 97, 36, 2.00452108777E8, 158809.508, 1.83771774E7, 2.0250369092E8
1, 1, 1, 1, 1, 13.031, 4.506, 3.793, 1.391
47, 34, 111, 40, 19, 4829.414, 1235.047, 4631.535, 8343.766
431, 184, 2895, 76, 22, 1.4835072519E7, 25230.13, 1318340.323, 1.3015481512E7
224, 20, 3195, 72, 32, 580652.807, 23222.702, 4946541.164, 564426.515
354, 62, 2621, 78, 32, 6484959.92, 15883.395, 1505283.065, 6482667.495
33, 17, 117, 25, 13, 2494.012, 633.793, 8004.53, 11849.702
12, 8, 27, 9, 5, 244.496, 109.757, 242.677, 362.795
22, 16, 104, 10, 6, 1357.836, 998.281, 3101.876, 2171.295
34, 3, 66, 34, 33, 494.917, 250.17, 615.792, 3200.528
34, 18, 110, 23, 11, 1599.924, 1036.207, 1757.747, 2327.239
323, 67, 1369, 80, 32, 1080190.646, 12463.742, 582507.238, 1053337.027
55, 42, 187, 26, 7, 6632.251, 821.604, 14311.947, 7575.92
14, 7, 38, 7, 4, 252.475, 159.083, 459.048, 379.862
22, 11, 56, 9, 6, 732.784, 284.001, 1622.985, 958.552
7, 5, 15, 5, 3, 119.31, 81.258, 125.641, 207.363
25, 9, 84, 14, 11, 1110.987, 401.582, 2886.471, 2167.65
6, 4, 14, 7, 6, 98.967, 79.64, 89.458, 219.404
66, 26, 373, 54, 24, 34355.727, 1877.321, 22311.113, 40124.344
43, 26, 284, 47, 24, 6227.711, 1577.832, 13591.58, 15684.64
17, 13, 39, 20, 11, 444.831, 183.141, 1480.66, 820.311
22, 7, 65, 11, 6, 437.999, 227.147, 1237.789, 884.067
20, 5, 86, 8, 5, 556.925, 419.0, 1052.712, 889.485
13, 11, 40, 9, 5, 220.923, 139.527, 481.499, 352.174
140, 53, 513, 41, 15, 311998.217, 2384.499, 337620.139, 344660.247
23, 16, 65, 23, 12, 683.483, 320.588, 1853.63, 1894.567
56, 52, 146, 54, 23, 9111.695, 851.85, 22756.794, 12800.844
26, 3, 118, 18, 11, 547.548, 344.102, 3164.502, 1869.867
22, 18, 55, 14, 6, 562.314, 217.995, 1187.516, 784.051
21, 15, 58, 18, 8, 465.247, 251.203, 1035.769, 945.976
19, 14, 50, 16, 8, 518.042, 197.332, 835.135, 703.113
1, 1, 1, 1, 1, 2.749, 6.026, 0.684, 1.053
9, 8, 18, 14, 8, 143.91, 86.028, 158.977, 220.63
5, 4, 9, 5, 3, 42.534, 32.55, 32.686, 67.606
8, 7, 19, 6, 3, 124.816, 73.886, 109.626, 189.32
90, 90, 176, 65, 33, 37241.775, 962.84, 135737.273, 66644.256
3, 3, 4, 3, 2, 50.112, 19.168, 17.133, 23.401
17, 10, 41, 10, 5, 298.485, 131.127, 374.293, 507.207
41, 30, 127, 18, 8, 2922.98, 514.401, 7501.86, 3119.55
7, 5, 15, 7, 4, 114.821, 74.082, 91.653, 187.413
11, 7, 27, 7, 4, 163.595, 94.032, 228.705, 266.94
31, 19, 92, 10, 5, 904.814, 469.36, 1499.585, 1912.046
3, 3, 4, 3, 2, 42.07, 18.363, 16.776, 56.85
12, 10, 24, 7, 4, 133.314, 91.304, 170.456, 317.189
52, 13, 184, 15, 7, 10719.388, 745.157, 14222.352, 12196.481
35, 35, 90, 20, 10, 1660.76, 397.655, 13482.194, 2787.598
18, 13, 29, 13, 10, 358.39, 113.78, 1074.377, 488.814
49, 48, 123, 9, 5, 2707.175, 666.602, 5877.965, 3748.372
19, 18, 36, 8, 4, 272.685, 125.278, 803.644, 287.567
22, 7, 71, 9, 6, 644.812, 308.294, 1119.372, 1041.139
44, 8, 157, 13, 8, 2736.394, 871.976, 5678.398, 4260.929
10, 7, 23, 7, 4, 152.996, 95.046, 198.752, 255.866
31, 13, 111, 19, 9, 1666.204, 586.485, 3874.997, 3532.208
18, 7, 55, 10, 6, 414.452, 259.194, 764.071, 887.422
100, 22, 381, 20, 7, 88273.989, 1725.291, 65159.241, 94078.411
53, 14, 233, 26, 11, 4383.274, 1007.236, 8322.457, 7711.018
79, 52, 278, 44, 19, 22003.058, 1415.266, 23810.566, 27617.694
43, 36, 117, 33, 12, 2670.297, 493.48, 8612.25, 6609.419
18, 14, 67, 13, 7, 431.045, 206.469, 733.471, 724.933
80, 77, 312, 14, 7, 15115.437, 1620.422, 165234.81, 23083.128
87, 80, 339, 18, 8, 21637.135, 1765.103, 183539.882, 28524.959
22, 13, 66, 19, 8, 883.981, 365.662, 804.025, 1481.064
1, 1, 1, 1, 1, 2.464, 0.849, 0.516, 0.92
85, 60, 285, 50, 21, 25551.906, 1331.966, 28247.75, 38918.51
1, 1, 1, 1, 1, 15.373, 0.944, 0.533, 0.825
43, 36, 132, 26, 9, 1841.303, 516.165, 2541.588, 2883.257
67 changes: 67 additions & 0 deletions IncrementalMinimization/compare_test_before_heuristic.txt
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,67 @@
initial states, final states, transition count, predicate count, minterm count,incremental time, standard time, Moore time, upfront incremental time
25, 17, 98, 12, 6, 3238.267, 1809.762, 10220.144, 5392.921
31, 8, 103, 13, 7, 2129.168, 2252.686, 17912.944, 5402.188
10, 7, 23, 10, 5, 303.465, 364.942, 752.335, 634.815
111, 21, 531, 24, 10, 43149.815, 7829.532, 69960.675, 40356.498
36, 17, 173, 26, 11, 1309.584, 1258.245, 18028.352, 3314.272
48, 39, 167, 31, 10, 2041.359, 1461.247, 8215.086, 3317.545
917, 114, 5506, 97, 36, 2.51064613126E8, 100879.519, 1.8062091044E7, 2.36930356959E8
1, 1, 1, 1, 1, 9.909, 6.245, 3.592, 3.287
47, 34, 111, 40, 19, 940.975, 2781.471, 5150.683, 11094.657
431, 184, 2895, 76, 22, 1.5246596985E7, 34765.798, 1274871.312, 1.1922387623E7
224, 20, 3195, 72, 32, 515511.109, 24320.276, 5002076.687, 660911.388
354, 62, 2621, 78, 32, 6207802.767, 19643.705, 1396688.151, 6438011.689
33, 17, 117, 25, 13, 1815.237, 727.464, 8119.737, 3507.33
12, 8, 27, 9, 5, 146.971, 145.141, 221.272, 290.015
22, 16, 104, 10, 6, 544.499, 538.397, 2593.377, 1508.616
34, 3, 66, 34, 33, 424.73, 335.868, 611.698, 2165.93
34, 18, 110, 23, 11, 1283.735, 790.492, 1745.636, 3127.528
323, 67, 1369, 80, 32, 896909.266, 15411.802, 675302.67, 967042.953
55, 42, 187, 26, 7, 1395.239, 1168.61, 13817.042, 2301.095
14, 7, 38, 7, 4, 173.184, 177.155, 437.3, 313.869
22, 11, 56, 9, 6, 281.339, 327.962, 1570.9, 560.363
7, 5, 15, 5, 3, 70.989, 96.62, 92.278, 107.187
25, 9, 84, 14, 11, 426.126, 396.542, 2683.923, 1288.877
6, 4, 14, 7, 6, 84.14, 82.878, 89.972, 196.089
66, 26, 373, 54, 24, 16822.635, 2421.352, 20391.804, 33962.219
43, 26, 284, 47, 24, 3017.573, 1749.481, 13433.639, 13259.907
17, 13, 39, 20, 11, 157.522, 200.778, 1373.663, 368.445
22, 7, 65, 11, 6, 285.753, 241.756, 1310.26, 604.781
20, 5, 86, 8, 5, 390.686, 393.451, 1108.398, 692.561
13, 11, 40, 9, 5, 136.489, 200.241, 548.148, 250.222
23, 16, 65, 23, 12, 308.554, 392.999, 1668.111, 1419.693
56, 52, 146, 54, 23, 1084.36, 971.291, 21558.392, 3422.988
26, 3, 118, 18, 11, 580.631, 372.25, 2673.294, 1718.947
22, 18, 55, 14, 6, 204.134, 286.361, 1211.748, 450.527
21, 15, 58, 18, 8, 250.476, 304.619, 1057.372, 549.33
19, 14, 50, 16, 8, 231.921, 256.971, 906.349, 472.673
1, 1, 1, 1, 1, 12.585, 1.56, 0.782, 2.981
9, 8, 18, 14, 8, 82.915, 88.44, 134.465, 164.199
5, 4, 9, 5, 3, 44.296, 51.179, 34.427, 61.386
8, 7, 19, 6, 3, 63.065, 87.715, 148.516, 102.224
90, 90, 176, 65, 33, 840.372, 1525.111, 156382.135, 4977.519
3, 3, 4, 3, 2, 26.619, 32.56, 41.75, 23.863
17, 10, 41, 10, 5, 174.509, 168.315, 389.938, 356.689
41, 30, 127, 18, 8, 1006.753, 731.189, 7876.179, 1692.308
3, 3, 4, 3, 2, 39.656, 30.195, 17.372, 41.751
35, 35, 90, 20, 10, 1093.824, 476.374, 15289.27, 1056.925
18, 13, 29, 13, 10, 128.926, 148.711, 1585.125, 656.204
49, 48, 123, 9, 5, 2759.034, 1330.561, 7896.695, 4671.379
19, 18, 36, 8, 4, 173.196, 179.582, 1081.138, 230.652
22, 7, 71, 9, 6, 346.418, 4398.503, 1255.399, 755.639
44, 8, 157, 13, 8, 1014.342, 823.043, 7988.207, 1991.638
10, 7, 23, 7, 4, 174.339, 129.587, 207.707, 182.426
31, 13, 111, 19, 9, 543.539, 473.691, 7776.302, 1431.516
18, 7, 55, 10, 6, 259.192, 247.625, 702.432, 643.439
100, 22, 381, 20, 7, 15770.308, 6414.246, 65730.259, 18094.36
53, 14, 233, 26, 11, 2520.759, 1260.109, 9414.874, 4230.401
79, 52, 278, 44, 19, 4545.334, 1676.727, 25989.977, 10928.076
43, 36, 117, 33, 12, 725.842, 637.913, 8161.927, 2042.772
18, 14, 67, 13, 7, 329.644, 368.409, 839.299, 832.449
80, 77, 312, 14, 7, 7528.026, 2010.719, 176112.998, 12917.236
87, 80, 339, 18, 8, 10452.927, 2957.851, 235146.637, 11660.936
22, 13, 66, 19, 8, 459.241, 797.509, 992.616, 1312.078
1, 1, 1, 1, 1, 6.959, 21.761, 0.623, 2.182
85, 60, 285, 50, 21, 4863.05, 1380.379, 28742.321, 13433.617
1, 1, 1, 1, 1, 5.521, 1.616, 0.846, 2.273
43, 36, 132, 26, 9, 1149.09, 611.993, 2954.112, 2789.951
Binary file added IncrementalMinimization/comparison_after_heuristic.png
View file
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file added IncrementalMinimization/comparison_before_any_improvement.png
View file
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file added IncrementalMinimization/comparison_before_heuristic.png
View file
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Loading

0 comments on commit a8c021c

Please sign in to comment.