Commit ec1d29ce authored by Alan White's avatar Alan White

update

parent a2fa8617
python resultsAggregatorScript.py paperWorld2-nrisk2/ndebil0
python resultsAggregatorScript.py paperWorld2-nrisk3/ndebil0
python resultsAggregatorScript.py paperWorld2-nrisk3/ndebil025
python resultsAggregatorScript.py paperWorld2-nrisk3/ndebil05
python resultsAggregatorScript.py paperWorld2-nrisk3/ndebil075
\ No newline at end of file
python resultsAggregatorScript.py paperWorld2-nrisk2/ndebil025
\ No newline at end of file
This diff is collapsed.
......@@ -236,6 +236,7 @@ ndebil025, maint-speed, 7-3, 634443, 100, 91, 32817.33, 328173.28, 484.0, 4844,
ndebil025, maint-speed, 7-4, 576402, 100, 92, 34470.6, 344706.0, 556.0, 5569, 31.0, 2893,10, 0, 0, 89,22, 5, 0, 5, 39, 7, 2774, 2767, 0, 0, 0, 7,2706, 2682, 5, 2677, 24, 24, 0
ndebil025, maint-speed, 7-5, 395755, 100, 94, 33066.293, 330662.94, 269.0, 2692, 29.0, 2739,10, 0, 0, 89,11, 16, 0, 1, 39, 11, 2683, 2677, 0, 0, 0, 6,2570, 2554, 6, 2548, 16, 16, 0
ndebil025, maint-speed, 7-6, 545862, 100, 91, 33866.85, 338668.53, 482.0, 4822, 31.0, 2823,10, 0, 0, 89,16, 8, 0, 3, 39, 11, 2739, 2731, 0, 0, 0, 8,2664, 2647, 1, 2646, 17, 17, 0
ndebil025, maint-speed, 8-1, 634081, 100, 93, 35521.613, 355216.12, 419.0, 4192, 31.0, 2907,10, 0, 0, 89,19, 6, 0, 3, 39, 11, 2795, 2789, 0, 0, 0, 6,2688, 2675, 8, 2667, 13, 13, 0
ndebil025, maint-speed, 8-2, 672011, 100, 93, 33682.547, 336825.47, 479.0, 4790, 30.0, 2824,10, 0, 0, 89,13, 10, 0, 5, 39, 7, 2740, 2733, 0, 2, 0, 5,2723, 2697, 4, 2693, 26, 26, 0
ndebil025, maint-speed, 8-3, 659540, 100, 88, 33911.875, 339118.75, 478.0, 4786, 31.0, 2784,10, 0, 0, 89,15, 10, 0, 2, 39, 9, 2630, 2618, 0, 4, 0, 8,2510, 2486, 6, 2480, 24, 24, 0
ndebil025, maint-speed, 8-4, 523679, 100, 95, 32204.656, 322046.56, 467.0, 4670, 28.0, 2660,10, 0, 0, 89,18, 9, 0, 0, 39, 8, 2562, 2558, 0, 1, 0, 3,2495, 2480, 5, 2475, 15, 15, 0
......
......@@ -239,17 +239,18 @@ ndebil025, maint-speed, 7-3, 634443, 100, 91, 32817.33, 328173.28, 484.0, 4844,
ndebil025, maint-speed, 7-4, 576402, 100, 92, 34470.6, 344706.0, 556.0, 5569, 31.0, 2893,10, 0, 0, 89,22, 5, 0, 5, 39, 7, 2774, 2767, 0, 0, 0, 7,2706, 2682, 5, 2677, 24, 24, 0,(PLAN),maint-speed, 7-4, 575739,767,597,2.03450302758E11,2.6525463201825294E8,3651,4.0,175,95,18,12,187,172,33,33,0,0,35,0,319,285,691,592,1,0,1,0,188,172,33,33,0,0,35,0,310,285
ndebil025, maint-speed, 7-5, 395755, 100, 94, 33066.293, 330662.94, 269.0, 2692, 29.0, 2739,10, 0, 0, 89,11, 16, 0, 1, 39, 11, 2683, 2677, 0, 0, 0, 6,2570, 2554, 6, 2548, 16, 16, 0,(PLAN),maint-speed, 7-5, 395434,707,555,1.28384043467E11,1.815898776053748E8,3340,4.0,175,113,16,10,171,145,23,23,0,0,36,0,286,264,636,545,1,0,1,0,172,145,23,23,0,0,36,0,279,264
ndebil025, maint-speed, 7-6, 545862, 100, 91, 33866.85, 338668.53, 482.0, 4822, 31.0, 2823,10, 0, 0, 89,16, 8, 0, 3, 39, 11, 2739, 2731, 0, 0, 0, 8,2664, 2647, 1, 2646, 17, 17, 0,(PLAN),maint-speed, 7-6, 544469,678,536,1.85425278728E11,2.734886116932153E8,3409,5.0,164,86,11,8,150,142,20,20,0,0,32,0,301,280,620,534,1,0,1,0,151,142,20,20,0,0,32,0,297,280
ndebil025, maint-speed, 8-2, 672011, 100, 93, 33682.547, 336825.47, 479.0, 4790, 30.0, 2824,10, 0, 0, 89,13, 10, 0, 5, 39, 7, 2740, 2733, 0, 2, 0, 5,2723, 2697, 4, 2693, 26, 26, 0,(PLAN),maint-speed, 8-1, 133193,641,529,1.17369524094E11,1.8310378173790953E8,3374,5.0,141,103,12,6,143,131,22,22,0,0,29,0,294,267,599,516,1,0,1,0,144,131,22,22,0,0,29,0,291,267
ndebil025, maint-speed, 8-3, 659540, 100, 88, 33911.875, 339118.75, 478.0, 4786, 31.0, 2784,10, 0, 0, 89,15, 10, 0, 2, 39, 9, 2630, 2618, 0, 4, 0, 8,2510, 2486, 6, 2480, 24, 24, 0,(PLAN),maint-speed, 8-2, 668665,764,618,2.04055420052E11,2.6708824614136127E8,3717,4.0,180,104,10,10,199,186,35,34,1,1,37,0,302,283,700,612,1,0,1,0,200,186,34,34,1,1,37,0,297,283
ndebil025, maint-speed, 8-4, 523679, 100, 95, 32204.656, 322046.56, 467.0, 4670, 28.0, 2660,10, 0, 0, 89,18, 9, 0, 0, 39, 8, 2562, 2558, 0, 1, 0, 3,2495, 2480, 5, 2475, 15, 15, 0,(PLAN),maint-speed, 8-3, 659380,738,543,1.96126957756E11,2.6575468530623305E8,3345,4.0,162,101,12,7,153,133,48,47,0,0,48,1,315,254,652,524,2,0,2,0,154,133,48,47,0,0,47,1,300,253
ndebil025, maint-speed, 8-5, 397382, 100, 95, 34314.54, 343145.38, 315.0, 3151, 29.0, 2771,10, 0, 0, 89,17, 13, 0, 2, 39, 11, 2708, 2704, 0, 1, 0, 3,2506, 2482, 6, 2476, 24, 24, 0,(PLAN),maint-speed, 8-4, 523338,696,537,1.74053797154E11,2.5007729476149425E8,3317,4.0,163,94,18,10,143,122,20,20,0,0,31,0,321,291,622,518,1,0,4,0,144,122,20,20,0,0,31,0,317,289
ndebil025, maint-speed, 8-6, 589575, 100, 90, 33595.05, 335950.5, 547.0, 5474, 30.0, 2787,10, 0, 0, 89,14, 12, 0, 3, 39, 11, 2703, 2694, 0, 1, 0, 8,2665, 2641, 8, 2633, 24, 24, 0,(PLAN),maint-speed, 8-5, 397170,701,564,1.24771325905E11,1.7799047917974323E8,3374,4.0,184,120,10,8,160,149,27,23,0,0,25,0,295,264,636,547,1,0,1,0,161,149,26,23,0,0,25,0,288,264
ndebil025, maint-speed, 9-1, 99418, 100, 95, 63207.3, 632073.0, 1405.0, 14058, 28.0, 2743,10, 0, 0, 89,17, 10, 0, 3, 39, 11, 2603, 2598, 0, 1, 0, 4,2544, 2522, 2, 2520, 22, 22, 0,(PLAN),maint-speed, 8-6, 586958,797,598,2.21591665758E11,2.7803220295859474E8,3562,4.0,212,115,13,11,176,161,33,33,0,0,54,0,309,278,697,572,1,0,1,0,177,161,33,33,0,0,54,0,301,278
ndebil025, maint-speed, 9-2, 615615, 100, 91, 30301.709, 303017.1, 454.0, 4540, 28.0, 2557,9, 1, 0, 89,17, 13, 0, 3, 39, 10, 2459, 2450, 0, 3, 0, 6,2415, 2369, 11, 2358, 46, 46, 0,(PLAN),maint-speed, 9-1, 98951,664,546,1.27366529689E11,1.9181706278463855E8,3307,4.0,162,108,9,7,140,139,21,15,0,0,40,1,292,276,606,529,1,0,1,0,141,139,18,15,0,0,39,1,290,276
ndebil025, maint-speed, 9-3, 701349, 100, 90, 35577.758, 355777.6, 590.0, 5909, 33.0, 2986,10, 0, 0, 89,14, 7, 0, 1, 39, 8, 2867, 2857, 0, 2, 0, 8,2783, 2755, 18, 2737, 28, 28, 0,(PLAN),maint-speed, 9-2, 615458,726,557,1.98181578462E11,2.729773808016529E8,3275,4.0,172,107,15,9,177,148,32,28,0,0,19,0,311,265,654,541,2,0,2,0,178,148,30,28,0,0,19,0,301,262
ndebil025, maint-speed, 9-4, 525194, 100, 91, 33275.14, 332751.4, 455.0, 4559, 30.0, 2760,10, 0, 0, 89,14, 6, 0, 8, 39, 11, 2648, 2639, 0, 1, 0, 8,2529, 2501, 7, 2494, 28, 28, 0,(PLAN),maint-speed, 9-3, 699739,847,635,2.37306334838E11,2.80172768403778E8,3874,4.0,225,126,22,14,185,171,34,31,0,0,38,0,343,293,745,619,1,0,1,0,186,171,33,31,0,0,38,0,332,293
ndebil025, maint-speed, 9-5, 389546, 100, 89, 31578.188, 315781.88, 300.0, 3006, 29.0, 2634,10, 0, 0, 89,20, 8, 0, 0, 39, 11, 2571, 2560, 0, 0, 0, 11,2472, 2450, 2, 2448, 22, 22, 0,(PLAN),maint-speed, 9-4, 524748,727,561,1.73333357822E11,2.3842277554607978E8,3492,4.0,185,126,16,7,161,134,22,22,0,0,41,0,302,272,640,529,1,0,2,0,162,134,22,22,0,0,41,0,293,272
ndebil025, maint-speed, 9-6, 505632, 100, 93, 31915.582, 319155.8, 497.0, 4978, 28.0, 2617,10, 0, 0, 89,20, 13, 0, 1, 39, 10, 2554, 2548, 0, 0, 0, 6,2427, 2408, 2, 2406, 19, 19, 0,(PLAN),maint-speed, 9-5, 389070,740,567,1.42135265612E11,1.9207468325945947E8,3535,4.0,210,131,13,7,159,140,16,16,0,0,42,0,300,273,646,536,1,0,1,0,160,140,16,16,0,0,42,0,294,273
ndebil025, maint-speed, 8-1, 634081, 100, 93, 35521.613, 355216.12, 419.0, 4192, 31.0, 2907,10, 0, 0, 89,19, 6, 0, 3, 39, 11, 2795, 2789, 0, 0, 0, 6,2688, 2675, 8, 2667, 13, 13, 0,(PLAN),maint-speed, 8-1, 133193,641,529,1.17369524094E11,1.8310378173790953E8,3374,5.0,141,103,12,6,143,131,22,22,0,0,29,0,294,267,599,516,1,0,1,0,144,131,22,22,0,0,29,0,291,267
ndebil025, maint-speed, 8-2, 672011, 100, 93, 33682.547, 336825.47, 479.0, 4790, 30.0, 2824,10, 0, 0, 89,13, 10, 0, 5, 39, 7, 2740, 2733, 0, 2, 0, 5,2723, 2697, 4, 2693, 26, 26, 0,(PLAN),maint-speed, 8-2, 668665,764,618,2.04055420052E11,2.6708824614136127E8,3717,4.0,180,104,10,10,199,186,35,34,1,1,37,0,302,283,700,612,1,0,1,0,200,186,34,34,1,1,37,0,297,283
ndebil025, maint-speed, 8-3, 659540, 100, 88, 33911.875, 339118.75, 478.0, 4786, 31.0, 2784,10, 0, 0, 89,15, 10, 0, 2, 39, 9, 2630, 2618, 0, 4, 0, 8,2510, 2486, 6, 2480, 24, 24, 0,(PLAN),maint-speed, 8-3, 659380,738,543,1.96126957756E11,2.6575468530623305E8,3345,4.0,162,101,12,7,153,133,48,47,0,0,48,1,315,254,652,524,2,0,2,0,154,133,48,47,0,0,47,1,300,253
ndebil025, maint-speed, 8-4, 523679, 100, 95, 32204.656, 322046.56, 467.0, 4670, 28.0, 2660,10, 0, 0, 89,18, 9, 0, 0, 39, 8, 2562, 2558, 0, 1, 0, 3,2495, 2480, 5, 2475, 15, 15, 0,(PLAN),maint-speed, 8-4, 523338,696,537,1.74053797154E11,2.5007729476149425E8,3317,4.0,163,94,18,10,143,122,20,20,0,0,31,0,321,291,622,518,1,0,4,0,144,122,20,20,0,0,31,0,317,289
ndebil025, maint-speed, 8-5, 397382, 100, 95, 34314.54, 343145.38, 315.0, 3151, 29.0, 2771,10, 0, 0, 89,17, 13, 0, 2, 39, 11, 2708, 2704, 0, 1, 0, 3,2506, 2482, 6, 2476, 24, 24, 0,(PLAN),maint-speed, 8-5, 397170,701,564,1.24771325905E11,1.7799047917974323E8,3374,4.0,184,120,10,8,160,149,27,23,0,0,25,0,295,264,636,547,1,0,1,0,161,149,26,23,0,0,25,0,288,264
ndebil025, maint-speed, 8-6, 589575, 100, 90, 33595.05, 335950.5, 547.0, 5474, 30.0, 2787,10, 0, 0, 89,14, 12, 0, 3, 39, 11, 2703, 2694, 0, 1, 0, 8,2665, 2641, 8, 2633, 24, 24, 0,(PLAN),maint-speed, 8-6, 586958,797,598,2.21591665758E11,2.7803220295859474E8,3562,4.0,212,115,13,11,176,161,33,33,0,0,54,0,309,278,697,572,1,0,1,0,177,161,33,33,0,0,54,0,301,278
ndebil025, maint-speed, 9-1, 99418, 100, 95, 63207.3, 632073.0, 1405.0, 14058, 28.0, 2743,10, 0, 0, 89,17, 10, 0, 3, 39, 11, 2603, 2598, 0, 1, 0, 4,2544, 2522, 2, 2520, 22, 22, 0,(PLAN),maint-speed, 9-1, 98951,664,546,1.27366529689E11,1.9181706278463855E8,3307,4.0,162,108,9,7,140,139,21,15,0,0,40,1,292,276,606,529,1,0,1,0,141,139,18,15,0,0,39,1,290,276
ndebil025, maint-speed, 9-2, 615615, 100, 91, 30301.709, 303017.1, 454.0, 4540, 28.0, 2557,9, 1, 0, 89,17, 13, 0, 3, 39, 10, 2459, 2450, 0, 3, 0, 6,2415, 2369, 11, 2358, 46, 46, 0,(PLAN),maint-speed, 9-2, 615458,726,557,1.98181578462E11,2.729773808016529E8,3275,4.0,172,107,15,9,177,148,32,28,0,0,19,0,311,265,654,541,2,0,2,0,178,148,30,28,0,0,19,0,301,262
ndebil025, maint-speed, 9-3, 701349, 100, 90, 35577.758, 355777.6, 590.0, 5909, 33.0, 2986,10, 0, 0, 89,14, 7, 0, 1, 39, 8, 2867, 2857, 0, 2, 0, 8,2783, 2755, 18, 2737, 28, 28, 0,(PLAN),maint-speed, 9-3, 699739,847,635,2.37306334838E11,2.80172768403778E8,3874,4.0,225,126,22,14,185,171,34,31,0,0,38,0,343,293,745,619,1,0,1,0,186,171,33,31,0,0,38,0,332,293
ndebil025, maint-speed, 9-4, 525194, 100, 91, 33275.14, 332751.4, 455.0, 4559, 30.0, 2760,10, 0, 0, 89,14, 6, 0, 8, 39, 11, 2648, 2639, 0, 1, 0, 8,2529, 2501, 7, 2494, 28, 28, 0,(PLAN),maint-speed, 9-4, 524748,727,561,1.73333357822E11,2.3842277554607978E8,3492,4.0,185,126,16,7,161,134,22,22,0,0,41,0,302,272,640,529,1,0,2,0,162,134,22,22,0,0,41,0,293,272
ndebil025, maint-speed, 9-5, 389546, 100, 89, 31578.188, 315781.88, 300.0, 3006, 29.0, 2634,10, 0, 0, 89,20, 8, 0, 0, 39, 11, 2571, 2560, 0, 0, 0, 11,2472, 2450, 2, 2448, 22, 22, 0,(PLAN),maint-speed, 9-5, 389070,740,567,1.42135265612E11,1.9207468325945947E8,3535,4.0,210,131,13,7,159,140,16,16,0,0,42,0,300,273,646,536,1,0,1,0,160,140,16,16,0,0,42,0,294,273
ndebil025, maint-speed, 9-6, 505632, 100, 93, 31915.582, 319155.8, 497.0, 4978, 28.0, 2617,10, 0, 0, 89,20, 13, 0, 1, 39, 10, 2554, 2548, 0, 0, 0, 6,2427, 2408, 2, 2406, 19, 19, 0,(PLAN),maint-speed, 9-6, 505026,612,490,1.62603092072E11,2.6569132691503268E8,2951,4.0,140,85,17,11,135,114,24,24,0,0,28,1,268,255,555,480,1,0,1,0,136,114,24,24,0,0,27,1,264,255
Average
st.dev
......
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
fail, dependencyCancel, confirmContractWithObligant, obligantAccept, succeed, obligationMaintained, obligantRefuse, do, updatedContract, dependencyMaintained
9, 136, 1653, 1653, 1525, 44, 4, 1534, 6660, 43
\ No newline at end of file
6, 144, 1737, 1737, 1631, 45, 33, 1637, 7128, 44
\ No newline at end of file
This source diff could not be displayed because it is too large. You can view the blob instead.
This diff is collapsed.
This diff is collapsed.
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment