Commit 23eba14e authored by Alan White's avatar Alan White

msg stats

parent bbb2f71e
groovy msgStatsSummarizer.groovy --r paperWorld1/detNonDebil
groovy msgStatsSummarizer.groovy --r paperWorld2/detNonDebil
groovy msgStatsSummarizer.groovy --r paperWorld1-nrisk1/ndebil0
groovy msgStatsSummarizer.groovy --r paperWorld1-nrisk1/ndebil025
groovy msgStatsSummarizer.groovy --r paperWorld1-nrisk1/ndebil05
groovy msgStatsSummarizer.groovy --r paperWorld1-nrisk1/ndebil075
groovy msgStatsSummarizer.groovy --r paperWorld1-nrisk2/ndebil0
groovy msgStatsSummarizer.groovy --r paperWorld1-nrisk2/ndebil025
groovy msgStatsSummarizer.groovy --r paperWorld1-nrisk2/ndebil05
groovy msgStatsSummarizer.groovy --r paperWorld1-nrisk2/ndebil075
groovy msgStatsSummarizer.groovy --r paperWorld1-nrisk3/ndebil0
groovy msgStatsSummarizer.groovy --r paperWorld1-nrisk3/ndebil025
groovy msgStatsSummarizer.groovy --r paperWorld1-nrisk3/ndebil05
groovy msgStatsSummarizer.groovy --r paperWorld1-nrisk3/ndebil075
groovy msgStatsSummarizer.groovy --r paperWorld2-nrisk1/ndebil0
groovy msgStatsSummarizer.groovy --r paperWorld2-nrisk1/ndebil025
groovy msgStatsSummarizer.groovy --r paperWorld2-nrisk1/ndebil05
groovy msgStatsSummarizer.groovy --r paperWorld2-nrisk1/ndebil075
groovy msgStatsSummarizer.groovy --r paperWorld2-nrisk2/ndebil0
groovy msgStatsSummarizer.groovy --r paperWorld2-nrisk2/ndebil025
groovy msgStatsSummarizer.groovy --r paperWorld2-nrisk2/ndebil05
groovy msgStatsSummarizer.groovy --r paperWorld2-nrisk2/ndebil075
groovy msgStatsSummarizer.groovy --r paperWorld2-nrisk3/ndebil0
groovy msgStatsSummarizer.groovy --r paperWorld2-nrisk3/ndebil025
groovy msgStatsSummarizer.groovy --r paperWorld2-nrisk3/ndebil05
groovy msgStatsSummarizer.groovy --r paperWorld2-nrisk3/ndebil075
\ No newline at end of file
......@@ -47,7 +47,6 @@ class MessageStatsParser {
}
resultSet[dir.name] = approachResults
}
println "End results\n$resultSet"
}
void writeOutResults(loc) {
......@@ -61,34 +60,40 @@ class MessageStatsParser {
writeme << "ndebil,approach,run,${postFix}\n" //header
//each entry by key in map
println "map is $resultSet"
// println "map is $resultSet"
resultSet.each { key, valueMap ->
println "KEY: ${key}"
// println "KEY: ${key}"
valueMap.each { runId, performativeCountMap ->
def sc = performativeCountMap.get(Performative.SUCCEED.toString()) as String
sc=(sc!=null)?sc:0
def fl = performativeCountMap.get(Performative.FAIL.toString()) as String
fl=(fl!=null)?fl:0
def cl = performativeCountMap.get(Performative.CANCEL.toString()) as String
cl=(cl!=null)?cl:0
def rf = performativeCountMap.get(Performative.REFUSE.toString()) as String
rf=(rf!=null)?rf:0
def acc = performativeCountMap.get(Performative.ACCEPT.toString()) as String
acc=(acc!=null)?acc:0
def cnf = performativeCountMap.get(Performative.CONFIRM.toString()) as String
cnf=(cnf!=null)?cnf:0
def up = performativeCountMap.get(Performative.UPDATE.toString()) as String
up = (up!=null)?up:0
def ob = performativeCountMap.get(Performative.OBLIGATION_MAINTAINED.toString()) as String
ob = (ob!=null)?ob:0
def dp = performativeCountMap.get(Performative.DEPENDENCY_MAINTAINED.toString()) as String
dp = (dp!=null)?dp:0
writeme << "${approachName},${key},${runId},${sc},${fl},${cl},${rf},${acc},${cnf},${up},${ob},${dp}\n"
//need to retrieve values in fixed order of performative iterator, inserting 0 if no key is present!
}
writeme << "average\nst.dev\n"
}
println "======================================================================================="
println "${writeme}"
println "======================================================================================="
}
writeToFile(loc, writeme)
}
void writeToFile(loc, data) {
def target = new File(loc)
println "Writing to ${loc}"
File target = new File(loc)
target.createNewFile()
println "Writing to ${loc}"
data.each {
println "Writing ${it}"
......@@ -118,8 +123,7 @@ class MessageStatsParser {
def lines = file.text.split('\n')
List<String[]> rows = lines.collect {it.split(',')}
for(int i=0; i<rows[0].length; i++) {
println "Row:${rows[0][i].trim()} = ${rows[-1][i]}"
contents[rows[0][i].trim()] = rows[-1][i].trim()
contents[rows[0][i].trim()] = rows[-1][i].trim()
}
return contents
}
......@@ -136,6 +140,6 @@ class MessageStatsParser {
println "Root directory is \"$opt.r\""
def parser = new MessageStatsParser(root:opt.r, approachName:opt.r)
parser.parseMessageStats()
parser.writeOutResults("$opt.r/${opt.r}MsgStatsSummary.csv")
parser.writeOutResults("$opt.r/MsgStatsSummary.csv")
}
}
\ No newline at end of file
ndebil,approach,run,succeed,fail,dependencyCancel,obligantRefuse,obligantAccept,confirmContractWithObligant,updatedContract,obligationMaintained,dependencyMaintained
paperWorld1-nrisk1/ndebil0,maint-speed,1-1,700,6,19,0,718,718,2802,9,9
paperWorld1-nrisk1/ndebil0,maint-speed,1-2,729,0,8,0,737,737,2883,2,2
paperWorld1-nrisk1/ndebil0,maint-speed,1-3,722,1,18,0,740,740,2840,6,6
paperWorld1-nrisk1/ndebil0,maint-speed,1-4,680,1,23,7,696,696,2642,9,9
paperWorld1-nrisk1/ndebil0,maint-speed,1-5,742,3,19,1,760,760,2916,5,5
paperWorld1-nrisk1/ndebil0,maint-speed,1-6,733,1,9,1,741,741,2907,4,4
paperWorld1-nrisk1/ndebil0,maint-speed,10-1,713,2,14,0,727,727,2818,9,9
paperWorld1-nrisk1/ndebil0,maint-speed,10-2,753,0,10,0,763,763,2951,3,3
paperWorld1-nrisk1/ndebil0,maint-speed,10-3,762,1,20,1,781,781,3003,4,4
paperWorld1-nrisk1/ndebil0,maint-speed,10-4,737,0,13,0,750,750,2821,7,7
paperWorld1-nrisk1/ndebil0,maint-speed,10-5,684,2,23,2,705,705,2674,6,6
paperWorld1-nrisk1/ndebil0,maint-speed,10-6,786,0,21,2,804,804,3138,6,6
paperWorld1-nrisk1/ndebil0,maint-speed,2-1,675,5,30,10,695,695,2649,14,14
paperWorld1-nrisk1/ndebil0,maint-speed,2-2,675,0,8,1,682,682,2610,3,3
paperWorld1-nrisk1/ndebil0,maint-speed,2-3,714,2,17,8,723,723,2840,10,10
paperWorld1-nrisk1/ndebil0,maint-speed,2-4,608,6,51,27,632,632,2422,15,15
paperWorld1-nrisk1/ndebil0,maint-speed,2-5,742,1,21,0,763,763,2866,12,12
paperWorld1-nrisk1/ndebil0,maint-speed,2-6,742,1,21,0,763,763,2866,12,12
paperWorld1-nrisk1/ndebil0,maint-speed,3-1,665,0,5,1,668,668,2624,2,1
paperWorld1-nrisk1/ndebil0,maint-speed,3-2,745,1,9,1,753,753,2893,5,5
paperWorld1-nrisk1/ndebil0,maint-speed,3-3,734,5,36,7,763,763,2860,13,13
paperWorld1-nrisk1/ndebil0,maint-speed,3-4,717,1,9,1,725,725,2821,2,2
paperWorld1-nrisk1/ndebil0,maint-speed,3-5,743,1,29,19,753,753,2939,4,4
paperWorld1-nrisk1/ndebil0,maint-speed,3-6,689,0,5,1,693,693,2708,3,3
paperWorld1-nrisk1/ndebil0,maint-speed,4-1,652,2,14,0,666,666,2590,14,14
paperWorld1-nrisk1/ndebil0,maint-speed,4-2,735,0,14,0,749,749,2906,6,6
paperWorld1-nrisk1/ndebil0,maint-speed,4-3,720,4,22,1,740,740,2838,9,9
paperWorld1-nrisk1/ndebil0,maint-speed,4-4,483,37,134,0,617,617,1947,2,2
paperWorld1-nrisk1/ndebil0,maint-speed,4-5,715,1,12,0,727,727,2815,4,4
paperWorld1-nrisk1/ndebil0,maint-speed,4-6,669,0,6,0,675,675,2664,5,5
paperWorld1-nrisk1/ndebil0,maint-speed,5-1,722,0,11,0,732,732,2852,8,8
paperWorld1-nrisk1/ndebil0,maint-speed,5-2,741,1,14,1,754,754,2905,13,13
paperWorld1-nrisk1/ndebil0,maint-speed,5-3,713,4,34,7,740,740,2848,6,6
paperWorld1-nrisk1/ndebil0,maint-speed,5-4,731,1,20,1,750,750,2877,3,3
paperWorld1-nrisk1/ndebil0,maint-speed,5-5,812,1,45,14,842,842,3212,10,10
paperWorld1-nrisk1/ndebil0,maint-speed,5-6,727,0,19,3,743,743,2852,6,6
paperWorld1-nrisk1/ndebil0,maint-speed,6-1,758,0,6,0,764,764,2958,5,5
paperWorld1-nrisk1/ndebil0,maint-speed,6-2,699,1,14,0,713,713,2768,5,5
paperWorld1-nrisk1/ndebil0,maint-speed,6-3,777,0,17,4,790,790,3061,0,0
paperWorld1-nrisk1/ndebil0,maint-speed,6-4,774,0,12,1,785,785,3005,5,5
paperWorld1-nrisk1/ndebil0,maint-speed,6-5,700,5,39,13,726,726,2712,17,17
paperWorld1-nrisk1/ndebil0,maint-speed,6-6,782,1,22,0,803,803,3080,11,10
paperWorld1-nrisk1/ndebil0,maint-speed,7-1,667,0,5,0,672,672,2637,3,3
paperWorld1-nrisk1/ndebil0,maint-speed,7-2,759,0,9,0,768,768,2968,5,5
paperWorld1-nrisk1/ndebil0,maint-speed,7-3,613,5,39,15,637,637,2452,17,17
paperWorld1-nrisk1/ndebil0,maint-speed,7-4,749,0,21,1,768,768,2924,4,4
paperWorld1-nrisk1/ndebil0,maint-speed,7-5,728,1,19,7,740,740,2870,4,4
paperWorld1-nrisk1/ndebil0,maint-speed,7-6,781,1,25,2,804,804,3032,5,5
paperWorld1-nrisk1/ndebil0,maint-speed,8-1,692,10,30,9,712,712,2773,6,6
paperWorld1-nrisk1/ndebil0,maint-speed,8-2,672,2,34,13,693,693,2623,4,4
paperWorld1-nrisk1/ndebil0,maint-speed,8-3,685,1,9,1,693,693,2745,4,4
paperWorld1-nrisk1/ndebil0,maint-speed,8-4,722,3,25,8,739,739,2799,11,11
paperWorld1-nrisk1/ndebil0,maint-speed,8-5,826,2,36,9,851,851,3206,13,13
paperWorld1-nrisk1/ndebil0,maint-speed,8-6,719,1,27,4,741,741,2865,15,15
paperWorld1-nrisk1/ndebil0,maint-speed,9-1,682,0,4,1,685,685,2715,1,1
paperWorld1-nrisk1/ndebil0,maint-speed,9-2,750,1,11,1,760,760,2935,4,4
paperWorld1-nrisk1/ndebil0,maint-speed,9-3,648,2,32,16,664,664,2590,16,16
paperWorld1-nrisk1/ndebil0,maint-speed,9-4,698,0,7,2,703,703,2717,3,3
paperWorld1-nrisk1/ndebil0,maint-speed,9-5,701,0,9,0,710,710,2755,1,1
paperWorld1-nrisk1/ndebil0,maint-speed,9-6,783,0,14,0,797,797,3050,2,2
average
st.dev
paperWorld1-nrisk1/ndebil0,none,1-1,330,56,148,0,478,478,28,0,0
paperWorld1-nrisk1/ndebil0,none,1-2,427,39,97,0,524,524,37,0,0
paperWorld1-nrisk1/ndebil0,none,1-3,391,64,170,0,561,561,19,0,0
paperWorld1-nrisk1/ndebil0,none,1-4,363,64,167,0,530,530,11,0,0
paperWorld1-nrisk1/ndebil0,none,1-5,369,51,157,30,496,496,16,0,0
paperWorld1-nrisk1/ndebil0,none,1-6,345,70,196,6,535,535,27,0,0
paperWorld1-nrisk1/ndebil0,none,10-1,246,77,214,0,460,460,9,0,0
paperWorld1-nrisk1/ndebil0,none,10-2,326,66,174,6,494,494,31,0,0
paperWorld1-nrisk1/ndebil0,none,10-3,401,67,174,0,575,575,0,0,0
paperWorld1-nrisk1/ndebil0,none,10-4,378,60,157,6,529,529,27,0,0
paperWorld1-nrisk1/ndebil0,none,10-5,344,58,148,0,492,492,21,0,0
paperWorld1-nrisk1/ndebil0,none,10-6,344,58,148,0,492,492,21,0,0
paperWorld1-nrisk1/ndebil0,none,2-1,362,62,161,0,523,523,21,0,0
paperWorld1-nrisk1/ndebil0,none,2-2,376,64,169,0,545,545,0,0,0
paperWorld1-nrisk1/ndebil0,none,2-3,263,76,205,0,468,468,16,0,0
paperWorld1-nrisk1/ndebil0,none,2-4,363,53,137,0,500,500,21,0,0
paperWorld1-nrisk1/ndebil0,none,2-5,407,45,109,0,516,516,8,0,0
paperWorld1-nrisk1/ndebil0,none,2-6,327,64,181,6,502,502,15,0,0
paperWorld1-nrisk1/ndebil0,none,3-1,357,58,153,0,510,510,6,0,0
paperWorld1-nrisk1/ndebil0,none,3-2,379,59,162,0,541,541,8,0,0
paperWorld1-nrisk1/ndebil0,none,3-3,337,74,183,0,520,520,31,0,0
paperWorld1-nrisk1/ndebil0,none,3-4,324,75,193,6,511,511,30,0,0
paperWorld1-nrisk1/ndebil0,none,3-5,325,66,171,0,496,496,37,0,0
paperWorld1-nrisk1/ndebil0,none,3-6,299,74,202,0,501,501,18,0,0
paperWorld1-nrisk1/ndebil0,none,4-1,342,66,182,0,524,524,23,0,0
paperWorld1-nrisk1/ndebil0,none,4-2,347,51,142,0,489,489,29,0,0
paperWorld1-nrisk1/ndebil0,none,4-3,342,66,182,0,524,524,23,0,0
paperWorld1-nrisk1/ndebil0,none,4-4,342,66,182,0,524,524,23,0,0
paperWorld1-nrisk1/ndebil0,none,4-5,368,53,139,0,507,507,40,0,0
paperWorld1-nrisk1/ndebil0,none,4-6,342,66,182,0,524,524,23,0,0
paperWorld1-nrisk1/ndebil0,none,5-1,374,54,139,0,513,513,24,0,0
paperWorld1-nrisk1/ndebil0,none,5-2,361,71,200,18,543,543,27,0,0
paperWorld1-nrisk1/ndebil0,none,5-3,361,71,200,18,543,543,27,0,0
paperWorld1-nrisk1/ndebil0,none,5-4,361,71,200,18,543,543,27,0,0
paperWorld1-nrisk1/ndebil0,none,5-5,374,49,136,0,510,510,34,0,0
paperWorld1-nrisk1/ndebil0,none,5-6,361,71,200,18,543,543,27,0,0
paperWorld1-nrisk1/ndebil0,none,6-1,335,81,213,0,548,548,21,0,0
paperWorld1-nrisk1/ndebil0,none,6-2,341,61,164,6,499,499,31,0,0
paperWorld1-nrisk1/ndebil0,none,6-3,309,69,185,0,494,494,21,0,0
paperWorld1-nrisk1/ndebil0,none,6-4,335,81,213,0,548,548,21,0,0
paperWorld1-nrisk1/ndebil0,none,6-5,306,76,202,19,489,489,33,0,0
paperWorld1-nrisk1/ndebil0,none,6-6,284,74,229,30,483,483,17,0,0
paperWorld1-nrisk1/ndebil0,none,7-1,335,66,188,18,505,505,33,0,0
paperWorld1-nrisk1/ndebil0,none,7-2,322,59,163,6,479,479,23,0,0
paperWorld1-nrisk1/ndebil0,none,7-3,317,74,202,0,519,519,20,0,0
paperWorld1-nrisk1/ndebil0,none,7-4,345,67,181,6,520,520,12,0,0
paperWorld1-nrisk1/ndebil0,none,7-5,365,52,136,0,501,501,13,0,0
paperWorld1-nrisk1/ndebil0,none,7-6,319,77,205,0,524,524,37,0,0
paperWorld1-nrisk1/ndebil0,none,8-1,292,75,191,0,483,483,5,0,0
paperWorld1-nrisk1/ndebil0,none,8-2,365,59,155,6,514,514,22,0,0
paperWorld1-nrisk1/ndebil0,none,8-3,312,78,201,0,513,513,19,0,0
paperWorld1-nrisk1/ndebil0,none,8-4,323,72,184,0,507,507,8,0,0
paperWorld1-nrisk1/ndebil0,none,8-5,339,68,175,0,514,514,49,0,0
paperWorld1-nrisk1/ndebil0,none,8-6,307,71,185,0,492,492,0,0,0
paperWorld1-nrisk1/ndebil0,none,9-1,340,65,177,6,511,511,27,0,0
paperWorld1-nrisk1/ndebil0,none,9-2,388,61,161,0,549,549,24,0,0
paperWorld1-nrisk1/ndebil0,none,9-3,365,58,147,0,512,512,2,0,0
paperWorld1-nrisk1/ndebil0,none,9-4,388,61,161,0,549,549,24,0,0
paperWorld1-nrisk1/ndebil0,none,9-5,354,62,156,0,510,510,0,0,0
paperWorld1-nrisk1/ndebil0,none,9-6,358,54,144,0,502,502,13,0,0
average
st.dev
paperWorld1-nrisk1/ndebil0,replan,1-1,706,13,56,24,738,738,24,0,0
paperWorld1-nrisk1/ndebil0,replan,1-2,745,5,13,3,755,755,21,0,0
paperWorld1-nrisk1/ndebil0,replan,1-3,721,4,21,8,734,734,18,0,0
paperWorld1-nrisk1/ndebil0,replan,1-4,708,4,20,6,722,722,9,0,0
paperWorld1-nrisk1/ndebil0,replan,1-5,639,5,26,9,656,656,22,0,0
paperWorld1-nrisk1/ndebil0,replan,1-6,694,7,20,1,713,713,32,0,0
paperWorld1-nrisk1/ndebil0,replan,10-1,627,1,9,3,633,633,13,0,0
paperWorld1-nrisk1/ndebil0,replan,10-2,624,0,5,3,626,626,13,0,0
paperWorld1-nrisk1/ndebil0,replan,10-3,683,5,16,3,696,696,13,0,0
paperWorld1-nrisk1/ndebil0,replan,10-4,699,7,16,2,713,713,2,0,0
paperWorld1-nrisk1/ndebil0,replan,10-5,714,6,22,2,734,734,2,0,0
paperWorld1-nrisk1/ndebil0,replan,10-6,659,9,22,2,679,679,13,0,0
paperWorld1-nrisk1/ndebil0,replan,2-1,730,2,11,4,737,737,33,0,0
paperWorld1-nrisk1/ndebil0,replan,2-2,744,3,15,5,754,754,31,0,0
paperWorld1-nrisk1/ndebil0,replan,2-3,629,4,11,2,638,638,22,0,0
paperWorld1-nrisk1/ndebil0,replan,2-4,713,2,4,0,717,717,9,0,0
paperWorld1-nrisk1/ndebil0,replan,2-5,701,2,51,39,713,713,2,0,0
paperWorld1-nrisk1/ndebil0,replan,2-6,715,4,22,9,728,728,23,0,0
paperWorld1-nrisk1/ndebil0,replan,3-1,679,2,8,2,685,685,21,0,0
paperWorld1-nrisk1/ndebil0,replan,3-2,705,5,38,26,717,717,45,0,0
paperWorld1-nrisk1/ndebil0,replan,3-3,670,5,21,9,682,682,33,0,0
paperWorld1-nrisk1/ndebil0,replan,3-4,751,4,14,2,763,763,40,0,0
paperWorld1-nrisk1/ndebil0,replan,3-5,686,4,12,1,697,697,17,0,0
paperWorld1-nrisk1/ndebil0,replan,3-6,635,6,43,25,653,653,18,0,0
paperWorld1-nrisk1/ndebil0,replan,4-1,675,2,8,2,681,681,24,0,0
paperWorld1-nrisk1/ndebil0,replan,4-2,668,3,9,2,675,675,29,0,0
paperWorld1-nrisk1/ndebil0,replan,4-3,730,4,14,3,741,741,26,0,0
paperWorld1-nrisk1/ndebil0,replan,4-4,634,0,4,2,636,636,21,0,0
paperWorld1-nrisk1/ndebil0,replan,4-5,698,2,13,5,706,706,13,0,0
paperWorld1-nrisk1/ndebil0,replan,4-6,694,2,6,1,699,699,26,0,0
paperWorld1-nrisk1/ndebil0,replan,5-1,701,7,39,21,719,719,29,0,0
paperWorld1-nrisk1/ndebil0,replan,5-2,638,7,39,16,661,661,30,0,0
paperWorld1-nrisk1/ndebil0,replan,5-3,779,1,10,4,785,785,21,0,0
paperWorld1-nrisk1/ndebil0,replan,5-4,726,5,15,1,740,740,21,0,0
paperWorld1-nrisk1/ndebil0,replan,5-5,684,8,29,5,708,708,22,0,0
paperWorld1-nrisk1/ndebil0,replan,5-6,690,4,29,16,703,703,36,0,0
paperWorld1-nrisk1/ndebil0,replan,6-1,629,4,15,3,641,641,12,0,0
paperWorld1-nrisk1/ndebil0,replan,6-2,701,5,27,6,722,722,20,0,0
paperWorld1-nrisk1/ndebil0,replan,6-3,640,7,20,3,657,657,42,0,0
paperWorld1-nrisk1/ndebil0,replan,6-4,677,5,27,14,690,690,25,0,0
paperWorld1-nrisk1/ndebil0,replan,6-5,720,2,14,8,726,726,26,0,0
paperWorld1-nrisk1/ndebil0,replan,6-6,677,6,39,19,697,697,39,0,0
paperWorld1-nrisk1/ndebil0,replan,7-1,676,3,10,2,684,684,21,0,0
paperWorld1-nrisk1/ndebil0,replan,7-2,683,1,4,1,686,686,21,0,0
paperWorld1-nrisk1/ndebil0,replan,7-3,740,8,33,14,759,759,28,0,0
paperWorld1-nrisk1/ndebil0,replan,7-4,585,3,10,1,594,594,10,0,0
paperWorld1-nrisk1/ndebil0,replan,7-5,585,3,10,1,594,594,10,0,0
paperWorld1-nrisk1/ndebil0,replan,7-6,628,10,35,7,656,656,33,0,0
paperWorld1-nrisk1/ndebil0,replan,8-1,628,5,24,12,640,640,29,0,0
paperWorld1-nrisk1/ndebil0,replan,8-2,690,8,25,6,709,709,10,0,0
paperWorld1-nrisk1/ndebil0,replan,8-3,726,1,7,2,731,731,9,0,0
paperWorld1-nrisk1/ndebil0,replan,8-4,689,4,30,17,702,702,35,0,0
paperWorld1-nrisk1/ndebil0,replan,8-5,651,6,25,5,671,671,24,0,0
paperWorld1-nrisk1/ndebil0,replan,8-6,715,2,10,3,722,722,27,0,0
paperWorld1-nrisk1/ndebil0,replan,9-1,690,2,16,5,701,701,1,0,0
paperWorld1-nrisk1/ndebil0,replan,9-2,618,1,4,1,621,621,13,0,0
paperWorld1-nrisk1/ndebil0,replan,9-3,733,3,19,12,740,740,19,0,0
paperWorld1-nrisk1/ndebil0,replan,9-4,691,1,9,3,697,697,27,0,0
paperWorld1-nrisk1/ndebil0,replan,9-5,663,7,35,21,677,677,37,0,0
paperWorld1-nrisk1/ndebil0,replan,9-6,696,0,3,2,697,697,16,0,0
average
st.dev
paperWorld1-nrisk1/ndebil0,replan-cont,1-1,824,3,14,2,836,836,9,0,0
paperWorld1-nrisk1/ndebil0,replan-cont,1-2,707,5,30,9,728,728,25,0,0
paperWorld1-nrisk1/ndebil0,replan-cont,1-3,651,17,49,1,699,699,33,0,0
paperWorld1-nrisk1/ndebil0,replan-cont,1-4,819,9,45,15,849,849,34,0,0
paperWorld1-nrisk1/ndebil0,replan-cont,1-5,708,6,23,0,731,731,29,0,0
paperWorld1-nrisk1/ndebil0,replan-cont,1-6,715,8,39,14,740,740,18,0,0
paperWorld1-nrisk1/ndebil0,replan-cont,10-1,641,0,5,0,646,646,13,0,0
paperWorld1-nrisk1/ndebil0,replan-cont,10-2,734,1,14,2,746,746,21,0,0
paperWorld1-nrisk1/ndebil0,replan-cont,10-3,735,4,22,2,755,755,16,0,0
paperWorld1-nrisk1/ndebil0,replan-cont,10-4,647,0,6,1,652,652,13,0,0
paperWorld1-nrisk1/ndebil0,replan-cont,10-5,798,4,31,5,824,824,13,0,0
paperWorld1-nrisk1/ndebil0,replan-cont,10-6,761,2,17,7,771,771,18,0,0
paperWorld1-nrisk1/ndebil0,replan-cont,2-1,780,3,26,6,800,800,21,0,0
paperWorld1-nrisk1/ndebil0,replan-cont,2-2,793,8,24,3,814,814,11,0,0
paperWorld1-nrisk1/ndebil0,replan-cont,2-3,725,4,27,3,749,749,35,0,0
paperWorld1-nrisk1/ndebil0,replan-cont,2-4,726,4,21,3,744,744,24,0,0
paperWorld1-nrisk1/ndebil0,replan-cont,2-5,681,3,30,11,700,700,24,0,0
paperWorld1-nrisk1/ndebil0,replan-cont,2-6,735,8,38,4,769,769,26,0,0
paperWorld1-nrisk1/ndebil0,replan-cont,3-1,721,10,33,2,752,752,7,0,0
paperWorld1-nrisk1/ndebil0,replan-cont,3-2,745,2,14,3,756,756,21,0,0
paperWorld1-nrisk1/ndebil0,replan-cont,3-3,716,11,39,14,741,741,30,0,0
paperWorld1-nrisk1/ndebil0,replan-cont,3-4,728,3,30,9,749,749,10,0,0
paperWorld1-nrisk1/ndebil0,replan-cont,3-5,764,7,39,9,794,794,22,0,0
paperWorld1-nrisk1/ndebil0,replan-cont,3-6,747,2,21,3,765,765,19,0,0
paperWorld1-nrisk1/ndebil0,replan-cont,4-1,810,7,50,29,831,831,35,0,0
paperWorld1-nrisk1/ndebil0,replan-cont,4-2,659,3,22,2,679,679,21,0,0
paperWorld1-nrisk1/ndebil0,replan-cont,4-3,743,1,42,27,758,758,14,0,0
paperWorld1-nrisk1/ndebil0,replan-cont,4-4,730,6,24,2,752,752,25,0,0
paperWorld1-nrisk1/ndebil0,replan-cont,4-5,701,10,47,14,734,734,26,0,0
paperWorld1-nrisk1/ndebil0,replan-cont,4-6,698,5,28,14,712,712,38,0,0
paperWorld1-nrisk1/ndebil0,replan-cont,5-1,747,4,18,3,762,762,17,0,0
paperWorld1-nrisk1/ndebil0,replan-cont,5-2,647,4,32,1,678,678,14,0,0
paperWorld1-nrisk1/ndebil0,replan-cont,5-3,773,10,24,1,796,796,18,0,0
paperWorld1-nrisk1/ndebil0,replan-cont,5-4,709,2,12,2,719,719,21,0,0
paperWorld1-nrisk1/ndebil0,replan-cont,5-5,707,6,33,13,727,727,42,0,0
paperWorld1-nrisk1/ndebil0,replan-cont,5-6,689,8,52,27,714,714,42,0,0
paperWorld1-nrisk1/ndebil0,replan-cont,6-1,770,4,22,3,789,789,44,0,0
paperWorld1-nrisk1/ndebil0,replan-cont,6-2,651,3,29,14,666,666,22,0,0
paperWorld1-nrisk1/ndebil0,replan-cont,6-3,772,10,69,29,812,812,29,0,0
paperWorld1-nrisk1/ndebil0,replan-cont,6-4,685,1,12,3,694,694,22,0,0
paperWorld1-nrisk1/ndebil0,replan-cont,6-5,750,4,19,2,767,767,21,0,0
paperWorld1-nrisk1/ndebil0,replan-cont,6-6,698,2,19,8,709,709,23,0,0
paperWorld1-nrisk1/ndebil0,replan-cont,7-1,695,1,11,2,704,704,21,0,0
paperWorld1-nrisk1/ndebil0,replan-cont,7-2,719,7,21,3,737,737,27,0,0
paperWorld1-nrisk1/ndebil0,replan-cont,7-3,645,3,15,3,657,657,25,0,0
paperWorld1-nrisk1/ndebil0,replan-cont,7-4,691,1,10,2,699,699,21,0,0
paperWorld1-nrisk1/ndebil0,replan-cont,7-5,733,1,16,8,741,741,32,0,0
paperWorld1-nrisk1/ndebil0,replan-cont,7-6,684,6,20,3,701,701,10,0,0
paperWorld1-nrisk1/ndebil0,replan-cont,8-1,751,2,19,3,767,767,21,0,0
paperWorld1-nrisk1/ndebil0,replan-cont,8-2,684,2,27,9,702,702,10,0,0
paperWorld1-nrisk1/ndebil0,replan-cont,8-3,794,6,30,7,817,817,32,0,0
paperWorld1-nrisk1/ndebil0,replan-cont,8-4,769,4,19,1,787,787,30,0,0
paperWorld1-nrisk1/ndebil0,replan-cont,8-5,736,2,15,3,748,748,12,0,0
paperWorld1-nrisk1/ndebil0,replan-cont,8-6,661,4,20,7,674,674,29,0,0
paperWorld1-nrisk1/ndebil0,replan-cont,9-1,683,5,22,9,696,696,18,0,0
paperWorld1-nrisk1/ndebil0,replan-cont,9-2,667,1,10,2,675,675,13,0,0
paperWorld1-nrisk1/ndebil0,replan-cont,9-3,649,3,12,1,660,660,19,0,0
paperWorld1-nrisk1/ndebil0,replan-cont,9-4,739,0,11,0,750,750,13,0,0
paperWorld1-nrisk1/ndebil0,replan-cont,9-5,730,1,17,4,743,743,13,0,0
paperWorld1-nrisk1/ndebil0,replan-cont,9-6,682,2,21,9,694,694,18,0,0
average
st.dev
ndebil,approach,run,succeed,fail,dependencyCancel,obligantRefuse,obligantAccept,confirmContractWithObligant,updatedContract,obligationMaintained,dependencyMaintained
paperWorld1-nrisk1/ndebil025,maint-speed,1-1,747,1,7,0,754,754,2940,7,7
paperWorld1-nrisk1/ndebil025,maint-speed,1-2,645,4,39,14,670,670,2554,15,15
paperWorld1-nrisk1/ndebil025,maint-speed,1-3,685,1,8,1,692,692,2690,5,5
paperWorld1-nrisk1/ndebil025,maint-speed,1-4,666,3,30,6,690,690,2648,13,13
paperWorld1-nrisk1/ndebil025,maint-speed,1-5,783,3,20,0,803,803,3099,4,4
paperWorld1-nrisk1/ndebil025,maint-speed,1-6,732,0,5,0,737,737,2885,8,8
paperWorld1-nrisk1/ndebil025,maint-speed,10-1,674,4,28,0,702,702,2676,6,6
paperWorld1-nrisk1/ndebil025,maint-speed,10-2,637,5,34,13,658,658,2537,4,4
paperWorld1-nrisk1/ndebil025,maint-speed,10-3,661,0,5,0,666,666,2669,3,3
paperWorld1-nrisk1/ndebil025,maint-speed,10-4,702,2,17,0,718,718,2757,8,7
paperWorld1-nrisk1/ndebil025,maint-speed,10-5,732,1,11,2,741,741,2936,2,2
paperWorld1-nrisk1/ndebil025,maint-speed,10-6,744,0,10,0,754,754,2912,1,1
paperWorld1-nrisk1/ndebil025,maint-speed,2-1,708,1,10,2,716,716,2838,3,3
paperWorld1-nrisk1/ndebil025,maint-speed,2-2,691,3,19,0,710,710,2686,9,9
paperWorld1-nrisk1/ndebil025,maint-speed,2-3,767,0,25,0,791,791,2985,5,5
paperWorld1-nrisk1/ndebil025,maint-speed,2-4,665,4,53,24,694,694,2602,9,9
paperWorld1-nrisk1/ndebil025,maint-speed,2-5,734,1,33,2,765,765,2867,16,16
paperWorld1-nrisk1/ndebil025,maint-speed,2-6,701,1,42,19,724,724,2817,7,7
paperWorld1-nrisk1/ndebil025,maint-speed,3-1,771,0,6,1,775,775,3038,14,13
paperWorld1-nrisk1/ndebil025,maint-speed,3-2,686,1,11,1,696,696,2730,3,3
paperWorld1-nrisk1/ndebil025,maint-speed,3-3,718,1,11,1,728,728,2800,6,6
paperWorld1-nrisk1/ndebil025,maint-speed,3-4,721,1,13,1,733,733,2797,4,4
paperWorld1-nrisk1/ndebil025,maint-speed,3-5,716,1,36,6,744,744,2776,13,13
paperWorld1-nrisk1/ndebil025,maint-speed,3-6,731,2,18,1,748,748,2878,6,6
paperWorld1-nrisk1/ndebil025,maint-speed,4-1,680,2,15,1,694,694,2676,15,15
paperWorld1-nrisk1/ndebil025,maint-speed,4-2,696,1,11,0,707,707,2706,13,13
paperWorld1-nrisk1/ndebil025,maint-speed,4-3,720,4,22,1,740,740,2838,9,9
paperWorld1-nrisk1/ndebil025,maint-speed,4-4,696,0,7,0,703,703,2725,8,8
paperWorld1-nrisk1/ndebil025,maint-speed,4-5,747,1,20,1,765,765,2935,7,7
paperWorld1-nrisk1/ndebil025,maint-speed,4-6,752,1,16,1,767,767,2954,2,2
paperWorld1-nrisk1/ndebil025,maint-speed,5-1,774,5,23,0,795,795,3046,12,12
paperWorld1-nrisk1/ndebil025,maint-speed,5-2,758,1,12,0,770,770,2954,4,4
paperWorld1-nrisk1/ndebil025,maint-speed,5-3,727,1,8,0,735,735,2876,3,3
paperWorld1-nrisk1/ndebil025,maint-speed,5-4,680,1,17,8,689,689,2641,3,3
paperWorld1-nrisk1/ndebil025,maint-speed,5-5,752,1,16,1,767,767,2954,2,2
paperWorld1-nrisk1/ndebil025,maint-speed,5-6,648,1,46,34,660,660,2565,3,3
paperWorld1-nrisk1/ndebil025,maint-speed,6-1,791,2,24,4,810,810,3102,13,12
paperWorld1-nrisk1/ndebil025,maint-speed,6-2,658,0,10,0,668,668,2578,2,2
paperWorld1-nrisk1/ndebil025,maint-speed,6-3,736,0,10,0,746,746,2896,1,1
paperWorld1-nrisk1/ndebil025,maint-speed,6-4,733,1,17,0,750,750,2863,6,6
paperWorld1-nrisk1/ndebil025,maint-speed,6-5,738,2,33,9,762,762,2875,12,12
paperWorld1-nrisk1/ndebil025,maint-speed,6-6,771,1,33,10,794,794,3046,14,14
paperWorld1-nrisk1/ndebil025,maint-speed,7-1,740,0,12,0,752,752,2914,5,5
paperWorld1-nrisk1/ndebil025,maint-speed,7-2,759,0,22,1,780,780,2902,8,8
paperWorld1-nrisk1/ndebil025,maint-speed,7-3,724,4,31,10,745,745,2837,10,10
paperWorld1-nrisk1/ndebil025,maint-speed,7-4,675,1,40,30,685,685,2681,7,7
paperWorld1-nrisk1/ndebil025,maint-speed,7-5,748,2,17,0,765,765,2964,7,7
paperWorld1-nrisk1/ndebil025,maint-speed,7-6,724,0,12,1,735,735,2848,3,3
paperWorld1-nrisk1/ndebil025,maint-speed,8-1,664,1,14,9,668,668,2661,4,4
paperWorld1-nrisk1/ndebil025,maint-speed,8-2,666,3,40,19,687,687,2631,6,6
paperWorld1-nrisk1/ndebil025,maint-speed,8-3,776,1,14,0,790,790,3012,4,4
paperWorld1-nrisk1/ndebil025,maint-speed,8-4,669,3,16,0,684,684,2640,11,11
paperWorld1-nrisk1/ndebil025,maint-speed,8-5,764,0,17,2,779,779,3017,1,1
paperWorld1-nrisk1/ndebil025,maint-speed,8-6,767,0,21,2,786,786,2985,2,2
paperWorld1-nrisk1/ndebil025,maint-speed,9-1,643,10,32,0,675,675,2583,3,3
paperWorld1-nrisk1/ndebil025,maint-speed,9-2,685,1,14,0,699,699,2699,2,2
paperWorld1-nrisk1/ndebil025,maint-speed,9-3,717,0,17,2,732,732,2839,3,3
paperWorld1-nrisk1/ndebil025,maint-speed,9-4,714,1,14,0,728,728,2827,2,2
paperWorld1-nrisk1/ndebil025,maint-speed,9-5,719,1,17,1,735,735,2839,3,3
paperWorld1-nrisk1/ndebil025,maint-speed,9-6,701,0,9,0,710,710,2755,1,1
average
st.dev
paperWorld1-nrisk1/ndebil025,none,1-1,319,69,181,0,500,500,21,0,0
paperWorld1-nrisk1/ndebil025,none,1-2,329,70,195,6,518,518,32,0,0
paperWorld1-nrisk1/ndebil025,none,1-3,341,67,178,0,519,519,31,0,0
paperWorld1-nrisk1/ndebil025,none,1-4,272,66,188,7,453,453,26,0,0
paperWorld1-nrisk1/ndebil025,none,1-5,261,81,231,0,492,492,17,0,0
paperWorld1-nrisk1/ndebil025,none,1-6,315,63,176,6,485,485,23,0,0
paperWorld1-nrisk1/ndebil025,none,10-1,318,62,172,0,490,490,17,0,0
paperWorld1-nrisk1/ndebil025,none,10-2,362,56,189,39,512,512,9,0,0
paperWorld1-nrisk1/ndebil025,none,10-3,200,80,232,0,432,432,27,0,0
paperWorld1-nrisk1/ndebil025,none,10-4,329,58,158,0,487,487,26,0,0
paperWorld1-nrisk1/ndebil025,none,10-5,312,77,205,0,517,517,18,0,0
paperWorld1-nrisk1/ndebil025,none,10-6,380,59,147,0,527,527,17,0,0
paperWorld1-nrisk1/ndebil025,none,2-1,420,56,148,0,568,568,28,0,0
paperWorld1-nrisk1/ndebil025,none,2-2,76,28,77,0,153,153,8,0,0
paperWorld1-nrisk1/ndebil025,none,2-3,155,18,48,0,203,203,6,0,0
paperWorld1-nrisk1/ndebil025,none,2-4,243,46,154,30,367,367,24,0,0
paperWorld1-nrisk1/ndebil025,none,2-5,368,53,141,0,509,509,29,0,0
paperWorld1-nrisk1/ndebil025,none,2-6,326,76,209,6,529,529,20,0,0
paperWorld1-nrisk1/ndebil025,none,3-1,299,68,183,0,482,482,34,0,0
paperWorld1-nrisk1/ndebil025,none,3-2,392,69,186,0,578,578,9,0,0
paperWorld1-nrisk1/ndebil025,none,3-3,192,91,272,7,457,457,25,0,0
paperWorld1-nrisk1/ndebil025,none,3-4,276,77,206,0,482,482,18,0,0
paperWorld1-nrisk1/ndebil025,none,3-5,276,77,206,0,482,482,18,0,0
paperWorld1-nrisk1/ndebil025,none,3-6,207,80,227,0,434,434,18,0,0
paperWorld1-nrisk1/ndebil025,none,4-1,305,70,196,0,501,501,17,0,0
paperWorld1-nrisk1/ndebil025,none,4-2,254,81,223,0,477,477,34,0,0
paperWorld1-nrisk1/ndebil025,none,4-3,341,59,162,0,503,503,10,0,0
paperWorld1-nrisk1/ndebil025,none,4-4,246,78,215,0,461,461,29,0,0
paperWorld1-nrisk1/ndebil025,none,4-5,362,54,157,7,512,512,18,0,0
paperWorld1-nrisk1/ndebil025,none,4-6,221,77,212,0,433,433,23,0,0
paperWorld1-nrisk1/ndebil025,none,5-1,289,72,204,6,487,487,14,0,0
paperWorld1-nrisk1/ndebil025,none,5-2,311,66,176,0,487,487,32,0,0
paperWorld1-nrisk1/ndebil025,none,5-3,392,48,130,0,522,522,37,0,0
paperWorld1-nrisk1/ndebil025,none,5-4,335,47,147,24,458,458,27,0,0
paperWorld1-nrisk1/ndebil025,none,5-5,385,52,133,0,518,518,16,0,0
paperWorld1-nrisk1/ndebil025,none,5-6,324,59,155,0,479,479,23,0,0
paperWorld1-nrisk1/ndebil025,none,6-1,258,78,222,6,474,474,37,0,0
paperWorld1-nrisk1/ndebil025,none,6-2,313,61,172,0,485,485,18,0,0
paperWorld1-nrisk1/ndebil025,none,6-3,96,15,106,68,134,134,10,0,0
paperWorld1-nrisk1/ndebil025,none,6-4,193,58,164,0,356,357,18,0,0
paperWorld1-nrisk1/ndebil025,none,6-5,356,62,166,6,516,516,12,0,0
paperWorld1-nrisk1/ndebil025,none,6-6,276,82,229,0,505,505,31,0,0
paperWorld1-nrisk1/ndebil025,none,7-1,228,77,218,0,446,446,19,0,0
paperWorld1-nrisk1/ndebil025,none,7-2,285,60,166,0,451,451,22,0,0
paperWorld1-nrisk1/ndebil025,none,7-3,303,69,192,0,495,495,19,0,0
paperWorld1-nrisk1/ndebil025,none,7-4,308,66,174,0,482,482,29,0,0
paperWorld1-nrisk1/ndebil025,none,7-5,371,49,142,6,507,507,33,0,0
paperWorld1-nrisk1/ndebil025,none,7-6,334,59,154,0,488,488,34,0,0
paperWorld1-nrisk1/ndebil025,none,8-1,347,68,188,0,535,535,18,0,0
paperWorld1-nrisk1/ndebil025,none,8-2,215,69,195,0,410,410,0,0,0
paperWorld1-nrisk1/ndebil025,none,8-3,347,53,142,0,489,489,28,0,0
paperWorld1-nrisk1/ndebil025,none,8-4,297,59,166,8,455,455,38,0,0
paperWorld1-nrisk1/ndebil025,none,8-5,326,71,182,0,508,508,37,0,0
paperWorld1-nrisk1/ndebil025,none,8-6,356,70,182,0,538,538,34,0,0
paperWorld1-nrisk1/ndebil025,none,9-1,230,79,228,12,446,446,35,0,0
paperWorld1-nrisk1/ndebil025,none,9-2,373,69,182,0,555,555,8,0,0
paperWorld1-nrisk1/ndebil025,none,9-3,237,80,232,6,463,463,14,0,0
paperWorld1-nrisk1/ndebil025,none,9-4,366,58,147,0,513,513,13,0,0
paperWorld1-nrisk1/ndebil025,none,9-5,248,81,224,0,472,472,17,0,0
paperWorld1-nrisk1/ndebil025,none,9-6,314,61,156,0,470,470,25,0,0
average
st.dev
paperWorld1-nrisk1/ndebil025,replan,1-1,607,17,44,1,650,650,39,0,0
paperWorld1-nrisk1/ndebil025,replan,1-2,603,12,31,6,628,628,22,0,0
paperWorld1-nrisk1/ndebil025,replan,1-3,626,32,84,9,701,701,33,0,0
paperWorld1-nrisk1/ndebil025,replan,1-4,653,17,45,3,695,695,34,0,0
paperWorld1-nrisk1/ndebil025,replan,1-5,602,37,96,8,690,690,50,0,0
paperWorld1-nrisk1/ndebil025,replan,1-6,618,21,66,16,668,668,17,0,0
paperWorld1-nrisk1/ndebil025,replan,10-1,650,64,164,5,808,808,43,0,0
paperWorld1-nrisk1/ndebil025,replan,10-2,668,11,25,0,693,693,9,0,0
paperWorld1-nrisk1/ndebil025,replan,10-3,652,9,19,2,669,669,21,0,0
paperWorld1-nrisk1/ndebil025,replan,10-4,580,19,47,1,626,626,37,0,0
paperWorld1-nrisk1/ndebil025,replan,10-5,629,27,70,6,693,693,36,0,0
paperWorld1-nrisk1/ndebil025,replan,10-6,663,21,52,7,708,708,14,0,0
paperWorld1-nrisk1/ndebil025,replan,2-1,616,42,93,1,708,708,21,0,0
paperWorld1-nrisk1/ndebil025,replan,2-2,608,16,38,0,646,646,24,0,0
paperWorld1-nrisk1/ndebil025,replan,2-3,620,16,37,3,654,654,22,0,0
paperWorld1-nrisk1/ndebil025,replan,2-4,671,17,44,1,714,714,27,0,0
paperWorld1-nrisk1/ndebil025,replan,2-5,620,16,37,3,654,654,22,0,0
paperWorld1-nrisk1/ndebil025,replan,2-6,611,20,43,2,652,652,22,0,0
paperWorld1-nrisk1/ndebil025,replan,3-1,678,29,75,8,745,745,30,0,0
paperWorld1-nrisk1/ndebil025,replan,3-2,651,12,31,2,680,680,34,0,0
paperWorld1-nrisk1/ndebil025,replan,3-3,682,18,37,3,716,716,24,0,0
paperWorld1-nrisk1/ndebil025,replan,3-4,596,18,47,8,635,635,48,0,0
paperWorld1-nrisk1/ndebil025,replan,3-5,678,22,102,44,736,736,36,0,0
paperWorld1-nrisk1/ndebil025,replan,3-6,602,27,55,2,655,655,21,0,0
paperWorld1-nrisk1/ndebil025,replan,4-1,590,21,56,3,643,643,21,0,0
paperWorld1-nrisk1/ndebil025,replan,4-2,613,15,28,2,639,639,21,0,0
paperWorld1-nrisk1/ndebil025,replan,4-3,602,30,64,1,665,665,21,0,0
paperWorld1-nrisk1/ndebil025,replan,4-4,656,20,46,1,701,701,21,0,0
paperWorld1-nrisk1/ndebil025,replan,4-5,612,26,57,0,669,669,29,0,0
paperWorld1-nrisk1/ndebil025,replan,4-6,674,19,46,0,720,720,28,0,0
paperWorld1-nrisk1/ndebil025,replan,5-1,685,30,78,15,748,748,34,0,0
paperWorld1-nrisk1/ndebil025,replan,5-2,669,16,40,1,708,708,25,0,0
paperWorld1-nrisk1/ndebil025,replan,5-3,568,61,233,8,793,793,29,0,0
paperWorld1-nrisk1/ndebil025,replan,5-4,681,36,78,7,752,752,21,0,0
paperWorld1-nrisk1/ndebil025,replan,5-5,626,19,41,1,665,665,27,0,0
paperWorld1-nrisk1/ndebil025,replan,5-6,658,19,37,1,694,694,26,0,0
paperWorld1-nrisk1/ndebil025,replan,6-1,673,16,32,1,704,704,8,0,0
paperWorld1-nrisk1/ndebil025,replan,6-2,637,18,60,23,674,674,27,0,0
paperWorld1-nrisk1/ndebil025,replan,6-3,667,17,33,0,700,700,13,0,0
paperWorld1-nrisk1/ndebil025,replan,6-4,631,35,64,0,695,695,27,0,0
paperWorld1-nrisk1/ndebil025,replan,6-5,666,26,74,11,729,729,30,0,0
paperWorld1-nrisk1/ndebil025,replan,6-6,647,26,83,23,707,707,20,0,0
paperWorld1-nrisk1/ndebil025,replan,7-1,651,44,141,37,754,754,45,0,0
paperWorld1-nrisk1/ndebil025,replan,7-2,689,20,57,3,743,743,35,0,0
paperWorld1-nrisk1/ndebil025,replan,7-3,619,26,71,7,683,683,43,0,0
paperWorld1-nrisk1/ndebil025,replan,7-4,573,55,131,13,691,691,26,0,0
paperWorld1-nrisk1/ndebil025,replan,7-5,612,31,101,39,674,674,28,0,0
paperWorld1-nrisk1/ndebil025,replan,7-6,589,9,17,0,606,606,21,0,0
paperWorld1-nrisk1/ndebil025,replan,8-1,661,28,69,2,728,728,10,0,0
paperWorld1-nrisk1/ndebil025,replan,8-2,638,28,67,0,705,705,17,0,0
paperWorld1-nrisk1/ndebil025,replan,8-3,644,19,39,0,683,683,21,0,0
paperWorld1-nrisk1/ndebil025,replan,8-4,685,23,58,13,730,730,27,0,0
paperWorld1-nrisk1/ndebil025,replan,8-5,634,15,54,20,668,668,21,0,0
paperWorld1-nrisk1/ndebil025,replan,8-6,648,31,89,3,734,734,10,0,0
paperWorld1-nrisk1/ndebil025,replan,9-1,657,29,75,6,726,726,24,0,0
paperWorld1-nrisk1/ndebil025,replan,9-2,630,20,43,0,673,673,26,0,0
paperWorld1-nrisk1/ndebil025,replan,9-3,668,18,41,3,706,706,21,0,0
paperWorld1-nrisk1/ndebil025,replan,9-4,659,30,76,1,734,734,14,0,0
paperWorld1-nrisk1/ndebil025,replan,9-5,621,17,37,1,657,657,8,0,0
paperWorld1-nrisk1/ndebil025,replan,9-6,625,14,34,1,658,658,13,0,0
average
st.dev
paperWorld1-nrisk1/ndebil025,replan-cont,1-1,727,23,80,23,784,784,31,0,0
paperWorld1-nrisk1/ndebil025,replan-cont,1-2,653,17,57,14,696,696,25,0,0
paperWorld1-nrisk1/ndebil025,replan-cont,1-3,710,11,54,6,758,758,39,0,0
paperWorld1-nrisk1/ndebil025,replan-cont,1-4,658,28,91,5,744,744,34,0,0
paperWorld1-nrisk1/ndebil025,replan-cont,1-5,688,11,35,1,722,722,13,0,0
paperWorld1-nrisk1/ndebil025,replan-cont,1-6,700,17,50,2,748,748,9,0,0
paperWorld1-nrisk1/ndebil025,replan-cont,10-1,675,10,28,0,703,703,1,0,0
paperWorld1-nrisk1/ndebil025,replan-cont,10-2,677,15,42,2,717,717,1,0,0
paperWorld1-nrisk1/ndebil025,replan-cont,10-3,666,15,37,0,703,703,18,0,0
paperWorld1-nrisk1/ndebil025,replan-cont,10-4,634,46,100,8,725,725,36,0,0
paperWorld1-nrisk1/ndebil025,replan-cont,10-5,676,17,40,2,714,714,16,0,0
paperWorld1-nrisk1/ndebil025,replan-cont,10-6,679,24,50,1,728,728,29,0,0
paperWorld1-nrisk1/ndebil025,replan-cont,2-1,650,17,55,1,704,704,26,0,0
paperWorld1-nrisk1/ndebil025,replan-cont,2-2,671,17,44,7,708,708,22,0,0
paperWorld1-nrisk1/ndebil025,replan-cont,2-3,569,51,120,13,676,676,2,0,0
paperWorld1-nrisk1/ndebil025,replan-cont,2-4,641,16,46,2,691,691,9,0,0
paperWorld1-nrisk1/ndebil025,replan-cont,2-5,657,17,49,13,693,693,31,0,0
paperWorld1-nrisk1/ndebil025,replan-cont,2-6,742,88,169,8,903,903,40,0,0
paperWorld1-nrisk1/ndebil025,replan-cont,3-1,669,28,64,0,733,733,9,0,0
paperWorld1-nrisk1/ndebil025,replan-cont,3-2,654,19,62,8,708,708,25,0,0
paperWorld1-nrisk1/ndebil025,replan-cont,3-3,703,14,56,19,740,740,21,0,0
paperWorld1-nrisk1/ndebil025,replan-cont,3-4,665,17,57,18,704,704,35,0,0
paperWorld1-nrisk1/ndebil025,replan-cont,3-5,698,16,63,21,740,740,25,0,0
paperWorld1-nrisk1/ndebil025,replan-cont,3-6,662,14,43,6,699,699,28,0,0
paperWorld1-nrisk1/ndebil025,replan-cont,4-1,732,15,58,12,778,778,47,0,0
paperWorld1-nrisk1/ndebil025,replan-cont,4-2,672,16,40,0,712,712,10,0,0
paperWorld1-nrisk1/ndebil025,replan-cont,4-3,724,21,68,12,780,780,34,0,0
paperWorld1-nrisk1/ndebil025,replan-cont,4-4,685,14,50,8,727,727,43,0,0
paperWorld1-nrisk1/ndebil025,replan-cont,4-5,724,12,34,2,756,756,27,0,0
paperWorld1-nrisk1/ndebil025,replan-cont,4-6,699,10,33,0,732,732,24,0,0
paperWorld1-nrisk1/ndebil025,replan-cont,5-1,713,20,61,16,758,758,41,0,0
paperWorld1-nrisk1/ndebil025,replan-cont,5-2,713,16,72,27,758,758,37,0,0
paperWorld1-nrisk1/ndebil025,replan-cont,5-3,682,20,59,6,735,735,32,0,0
paperWorld1-nrisk1/ndebil025,replan-cont,5-4,688,14,47,10,725,725,44,0,0
paperWorld1-nrisk1/ndebil025,replan-cont,5-5,618,18,52,8,662,662,33,0,0
paperWorld1-nrisk1/ndebil025,replan-cont,5-6,738,44,90,7,821,821,34,0,0
paperWorld1-nrisk1/ndebil025,replan-cont,6-1,632,14,40,1,671,671,22,0,0
paperWorld1-nrisk1/ndebil025,replan-cont,6-2,714,12,43,13,744,744,22,0,0
paperWorld1-nrisk1/ndebil025,replan-cont,6-3,673,10,33,2,704,704,10,0,0
paperWorld1-nrisk1/ndebil025,replan-cont,6-4,661,14,53,13,701,701,31,0,0
paperWorld1-nrisk1/ndebil025,replan-cont,6-5,659,9,27,0,686,686,39,0,0
paperWorld1-nrisk1/ndebil025,replan-cont,6-6,629,16,59,19,669,669,46,0,0
paperWorld1-nrisk1/ndebil025,replan-cont,7-1,645,8,27,0,672,672,37,0,0
paperWorld1-nrisk1/ndebil025,replan-cont,7-2,696,26,75,3,768,768,14,0,0
paperWorld1-nrisk1/ndebil025,replan-cont,7-3,669,25,69,1,737,737,10,0,0
paperWorld1-nrisk1/ndebil025,replan-cont,7-4,679,9,28,0,707,707,37,0,0
paperWorld1-nrisk1/ndebil025,replan-cont,7-5,689,10,34,1,722,722,11,0,0
paperWorld1-nrisk1/ndebil025,replan-cont,7-6,739,19,50,3,786,786,23,0,0
paperWorld1-nrisk1/ndebil025,replan-cont,8-1,643,12,39,6,676,676,32,0,0
paperWorld1-nrisk1/ndebil025,replan-cont,8-2,672,12,25,0,697,697,9,0,0
paperWorld1-nrisk1/ndebil025,replan-cont,8-3,756,12,40,2,794,794,21,0,0
paperWorld1-nrisk1/ndebil025,replan-cont,8-4,692,17,39,3,728,728,40,0,0
paperWorld1-nrisk1/ndebil025,replan-cont,8-5,662,19,40,0,702,702,45,0,0
paperWorld1-nrisk1/ndebil025,replan-cont,8-6,686,22,64,9,741,741,69,0,0
paperWorld1-nrisk1/ndebil025,replan-cont,9-1,727,20,44,5,765,765,27,0,0
paperWorld1-nrisk1/ndebil025,replan-cont,9-2,704,22,67,7,764,764,32,0,0
paperWorld1-nrisk1/ndebil025,replan-cont,9-3,674,17,46,8,712,712,2,0,0
paperWorld1-nrisk1/ndebil025,replan-cont,9-4,674,8,22,0,696,696,13,0,0
paperWorld1-nrisk1/ndebil025,replan-cont,9-5,697,15,48,8,737,737,33,0,0
paperWorld1-nrisk1/ndebil025,replan-cont,9-6,647,15,57,13,691,691,14,0,0
average
st.dev
ndebil,approach,run,succeed,fail,dependencyCancel,obligantRefuse,obligantAccept,confirmContractWithObligant,updatedContract,obligationMaintained,dependencyMaintained
paperWorld1-nrisk1/ndebil05,maint-speed,1-1,754,0,11,2,763,763,2912,1,1
paperWorld1-nrisk1/ndebil05,maint-speed,1-2,683,0,6,0,689,689,2713,2,2
paperWorld1-nrisk1/ndebil05,maint-speed,1-3,736,2,53,28,760,760,2852,6,6
paperWorld1-nrisk1/ndebil05,maint-speed,1-4,672,1,22,8,686,686,2674,5,5
paperWorld1-nrisk1/ndebil05,maint-speed,1-5,742,3,19,1,760,760,2916,5,5
paperWorld1-nrisk1/ndebil05,maint-speed,1-6,797,3,14,0,811,811,3162,2,2
paperWorld1-nrisk1/ndebil05,maint-speed,10-1,704,0,7,0,711,711,2811,0,0
paperWorld1-nrisk1/ndebil05,maint-speed,10-2,759,0,9,0,768,768,2941,3,3
paperWorld1-nrisk1/ndebil05,maint-speed,10-3,759,0,18,1,776,776,2960,1,1
paperWorld1-nrisk1/ndebil05,maint-speed,10-4,715,2,17,1,731,731,2789,15,15
paperWorld1-nrisk1/ndebil05,maint-speed,10-5,721,0,11,0,732,732,2826,1,1
paperWorld1-nrisk1/ndebil05,maint-speed,10-6,721,0,11,0,732,732,2826,1,1
paperWorld1-nrisk1/ndebil05,maint-speed,2-1,663,2,11,0,674,674,2570,3,3
paperWorld1-nrisk1/ndebil05,maint-speed,2-2,699,0,11,1,709,709,2703,3,3
paperWorld1-nrisk1/ndebil05,maint-speed,2-3,685,1,22,0,707,707,2732,5,5
paperWorld1-nrisk1/ndebil05,maint-speed,2-4,766,1,17,1,782,782,3004,3,3
paperWorld1-nrisk1/ndebil05,maint-speed,2-5,647,2,26,12,661,661,2577,8,8
paperWorld1-nrisk1/ndebil05,maint-speed,2-6,746,0,11,0,756,756,2927,5,5
paperWorld1-nrisk1/ndebil05,maint-speed,3-1,759,1,11,0,768,768,3033,5,5
paperWorld1-nrisk1/ndebil05,maint-speed,3-2,772,1,10,0,782,782,3052,1,1
paperWorld1-nrisk1/ndebil05,maint-speed,3-3,775,6,40,0,812,812,3076,20,19
paperWorld1-nrisk1/ndebil05,maint-speed,3-4,689,0,14,0,703,703,2683,1,1
paperWorld1-nrisk1/ndebil05,maint-speed,3-5,677,1,36,8,704,704,2666,12,12
paperWorld1-nrisk1/ndebil05,maint-speed,3-6,722,0,13,0,735,735,2893,4,4
paperWorld1-nrisk1/ndebil05,maint-speed,4-1,679,2,14,0,693,693,2655,10,10
paperWorld1-nrisk1/ndebil05,maint-speed,4-2,694,1,14,0,708,708,2680,4,4
paperWorld1-nrisk1/ndebil05,maint-speed,4-3,720,4,22,1,740,740,2837,9,9
paperWorld1-nrisk1/ndebil05,maint-speed,4-4,734,4,50,21,763,763,2889,14,14
paperWorld1-nrisk1/ndebil05,maint-speed,4-5,677,1,15,2,690,690,2671,4,4
paperWorld1-nrisk1/ndebil05,maint-speed,4-6,716,1,15,2,729,729,2834,4,4
paperWorld1-nrisk1/ndebil05,maint-speed,5-1,702,15,29,0,732,732,2851,1,1
paperWorld1-nrisk1/ndebil05,maint-speed,5-2,721,13,33,0,754,754,2914,8,8
paperWorld1-nrisk1/ndebil05,maint-speed,5-3,737,0,16,0,753,753,2895,14,14
paperWorld1-nrisk1/ndebil05,maint-speed,5-4,766,3,25,0,790,790,2979,13,13
paperWorld1-nrisk1/ndebil05,maint-speed,5-5,770,1,22,1,790,790,3031,6,5
paperWorld1-nrisk1/ndebil05,maint-speed,5-6,762,1,41,16,786,786,2995,5,5
paperWorld1-nrisk1/ndebil05,maint-speed,6-1,671,1,5,0,676,676,2676,5,5
paperWorld1-nrisk1/ndebil05,maint-speed,6-2,632,12,34,0,666,666,2528,3,3
paperWorld1-nrisk1/ndebil05,maint-speed,6-3,760,1,17,0,776,776,2988,11,11
paperWorld1-nrisk1/ndebil05,maint-speed,6-4,657,2,33,20,670,670,2640,6,6
paperWorld1-nrisk1/ndebil05,maint-speed,6-5,684,2,21,0,705,705,2680,8,8
paperWorld1-nrisk1/ndebil05,maint-speed,6-6,713,1,16,4,725,725,2865,5,5
paperWorld1-nrisk1/ndebil05,maint-speed,7-1,692,1,12,0,704,704,2735,8,8
paperWorld1-nrisk1/ndebil05,maint-speed,7-2,690,1,9,0,699,699,2717,1,1
paperWorld1-nrisk1/ndebil05,maint-speed,7-3,736,25,56,0,792,792,3011,3,3
paperWorld1-nrisk1/ndebil05,maint-speed,7-4,744,0,12,1,755,755,2934,6,6
paperWorld1-nrisk1/ndebil05,maint-speed,7-5,764,0,17,2,779,779,3018,1,1
paperWorld1-nrisk1/ndebil05,maint-speed,7-6,789,3,45,11,823,823,3112,9,9
paperWorld1-nrisk1/ndebil05,maint-speed,8-1,695,0,5,1,699,699,2753,3,3
paperWorld1-nrisk1/ndebil05,maint-speed,8-2,758,3,20,0,778,778,2991,1,1
paperWorld1-nrisk1/ndebil05,maint-speed,8-3,686,0,3,0,689,689,2699,5,5
paperWorld1-nrisk1/ndebil05,maint-speed,8-4,702,3,29,6,723,723,2815,15,14
paperWorld1-nrisk1/ndebil05,maint-speed,8-5,672,1,18,3,687,687,2658,7,7
paperWorld1-nrisk1/ndebil05,maint-speed,8-6,679,0,13,3,689,689,2657,4,4
paperWorld1-nrisk1/ndebil05,maint-speed,9-1,742,1,13,5,750,750,2910,2,2
paperWorld1-nrisk1/ndebil05,maint-speed,9-2,725,0,7,0,732,732,2835,6,6
paperWorld1-nrisk1/ndebil05,maint-speed,9-3,736,3,27,8,755,755,2907,19,19
paperWorld1-nrisk1/ndebil05,maint-speed,9-4,689,4,17,0,706,706,2701,2,2
paperWorld1-nrisk1/ndebil05,maint-speed,9-5,711,0,10,2,719,719,2831,2,2
paperWorld1-nrisk1/ndebil05,maint-speed,9-6,779,0,24,1,801,801,3071,1,1
average
st.dev
paperWorld1-nrisk1/ndebil05,none,1-1,346,58,184,33,497,497,26,0,0
paperWorld1-nrisk1/ndebil05,none,1-2,115,29,93,16,192,192,3,0,0
paperWorld1-nrisk1/ndebil05,none,1-3,36,4,11,0,50,50,1,0,0
paperWorld1-nrisk1/ndebil05,none,1-4,267,66,180,0,447,447,22,0,0
paperWorld1-nrisk1/ndebil05,none,1-5,8,3,8,0,16,16,0,0,0
paperWorld1-nrisk1/ndebil05,none,1-6,377,59,155,0,532,532,21,0,0
paperWorld1-nrisk1/ndebil05,none,10-1,254,74,210,0,464,464,13,0,0
paperWorld1-nrisk1/ndebil05,none,10-2,67,13,82,48,101,101,3,0,0
paperWorld1-nrisk1/ndebil05,none,10-3,92,22,248,204,136,136,0,0,0
paperWorld1-nrisk1/ndebil05,none,10-4,47,12,32,0,79,79,0,0,0
paperWorld1-nrisk1/ndebil05,none,10-5,144,38,141,44,241,241,13,0,0
paperWorld1-nrisk1/ndebil05,none,10-6,198,89,258,6,450,450,7,0,0
paperWorld1-nrisk1/ndebil05,none,2-1,287,72,219,13,493,493,29,0,0
paperWorld1-nrisk1/ndebil05,none,2-2,267,66,182,0,449,449,8,0,0
paperWorld1-nrisk1/ndebil05,none,2-3,218,88,270,11,477,477,57,0,0
paperWorld1-nrisk1/ndebil05,none,2-4,147,94,271,0,418,418,0,0,0
paperWorld1-nrisk1/ndebil05,none,2-5,193,70,248,52,389,389,23,0,0
paperWorld1-nrisk1/ndebil05,none,2-6,286,74,205,0,491,491,39,0,0
paperWorld1-nrisk1/ndebil05,none,2-7,223,79,220,0,443,443,0,0,0
paperWorld1-nrisk1/ndebil05,none,3-1,258,74,215,14,459,459,41,0,0
paperWorld1-nrisk1/ndebil05,none,3-2,219,78,224,6,437,437,27,0,0
paperWorld1-nrisk1/ndebil05,none,3-3,239,38,128,25,342,342,16,0,0
paperWorld1-nrisk1/ndebil05,none,3-4,75,16,74,34,115,115,5,0,0
paperWorld1-nrisk1/ndebil05,none,3-5,99,18,49,0,148,148,5,0,0
paperWorld1-nrisk1/ndebil05,none,3-6,284,71,204,6,482,482,22,0,0
paperWorld1-nrisk1/ndebil05,none,4-1,340,68,179,0,519,519,26,0,0
paperWorld1-nrisk1/ndebil05,none,4-2,202,66,240,42,400,400,60,0,0
paperWorld1-nrisk1/ndebil05,none,4-3,58,14,66,32,92,92,0,0,0
paperWorld1-nrisk1/ndebil05,none,4-4,312,55,190,44,458,458,44,0,0
paperWorld1-nrisk1/ndebil05,none,4-5,196,73,293,61,428,428,38,0,0
paperWorld1-nrisk1/ndebil05,none,4-6,233,82,219,0,452,452,12,0,0
paperWorld1-nrisk1/ndebil05,none,5-1,374,51,138,0,512,512,38,0,0
paperWorld1-nrisk1/ndebil05,none,5-2,352,60,160,0,512,512,33,0,0
paperWorld1-nrisk1/ndebil05,none,5-3,273,61,173,0,446,446,18,0,0
paperWorld1-nrisk1/ndebil05,none,5-4,346,65,177,7,516,516,16,0,0
paperWorld1-nrisk1/ndebil05,none,5-5,318,68,191,6,503,503,23,0,0
paperWorld1-nrisk1/ndebil05,none,5-6,318,79,213,0,531,531,18,0,0
paperWorld1-nrisk1/ndebil05,none,6-1,377,67,180,6,551,551,9,0,0
paperWorld1-nrisk1/ndebil05,none,6-2,197,74,206,0,403,403,35,0,0
paperWorld1-nrisk1/ndebil05,none,6-3,170,78,350,139,381,381,9,0,0
paperWorld1-nrisk1/ndebil05,none,6-4,184,34,96,12,268,268,18,0,0
paperWorld1-nrisk1/ndebil05,none,6-5,223,78,220,0,443,443,22,0,0
paperWorld1-nrisk1/ndebil05,none,6-6,322,58,205,51,476,476,30,0,0
paperWorld1-nrisk1/ndebil05,none,7-1,134,96,278,0,412,412,40,0,0