PageRenderTime 30ms CodeModel.GetById 23ms app.highlight 2ms RepoModel.GetById 0ms app.codeStats 1ms

/test.data/simplx_compare/previous_java/degradation-deg-bnd_java.xml

http://github.com/kappamodeler/jkappa
XML | 735 lines | 735 code | 0 blank | 0 comment | 0 complexity | 13323056d2de2027d803288dada41eff MD5 | raw file
Possible License(s): LGPL-3.0, Apache-2.0
  1<SimplxSession xmlns="http://plectix.synthesisstudios.com/schemas/kappasession" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" CommandLine="--sim test.data/simplx_compare/source_ka/degradation-deg-bnd.ka --time 10.0" InputFile="test.data/simplx_compare/source_ka/degradation-deg-bnd.ka" TimeStamp="2009-01-13 16:46:21" xsi:schemaLocation="http://plectix.synthesisstudios.com SimplxSession.xsd">
  2<InfluenceMap>
  3<Node Data="b()" Id="8" Name="[b()]" Text="[b()]" Type="OBSERVABLE"></Node>
  4<Node Data="a(x!_)" Id="7" Name="[a(x!_)]" Text="[a(x!_)]" Type="OBSERVABLE"></Node>
  5<Node Data="a(x)" Id="6" Name="[a(x)]" Text="[a(x)]" Type="OBSERVABLE"></Node>
  6<Node Data="a()" Id="5" Name="[a()]" Text="[a()]" Type="OBSERVABLE"></Node>
  7<Node Data="a(x!_)->" Id="4" Name="deg_bnd" Text="deg_bnd" Type="RULE"></Node>
  8<Node Data="b(x)->b(x)" Id="3" Name="obs" Text="obs" Type="RULE"></Node>
  9<Node Data="a(x!0),b(x!0)->a(x),b(x)" Id="2" Name="" Text="" Type="RULE"></Node>
 10<Node Data="a(x),b(x)->a(x!0),b(x!0)" Id="1" Name="" Text="" Type="RULE"></Node>
 11<Connection FromNode="2" Relation="POSITIVE" ToNode="8"></Connection>
 12<Connection FromNode="2" Relation="POSITIVE" ToNode="6"></Connection>
 13<Connection FromNode="2" Relation="POSITIVE" ToNode="3"></Connection>
 14<Connection FromNode="2" Relation="POSITIVE" ToNode="1"></Connection>
 15<Connection FromNode="1" Relation="POSITIVE" ToNode="7"></Connection>
 16<Connection FromNode="1" Relation="POSITIVE" ToNode="4"></Connection>
 17<Connection FromNode="1" Relation="POSITIVE" ToNode="2"></Connection>
 18</InfluenceMap>
 19<Simulation InitTime="0.0" TimeSample="0.01" TotalEvents="2563" TotalTime="46.06296868918338">
 20<Plot Text="[b()]" Type="OBSERVABLE"></Plot>
 21<Plot Text="[a(x!_)]" Type="OBSERVABLE"></Plot>
 22<Plot Text="[a(x)]" Type="OBSERVABLE"></Plot>
 23<Plot Text="[a()]" Type="OBSERVABLE"></Plot>
 24<CSV><![CDATA[
 250.009919339392061362,50,23,77,100
 260.01989861669339327,50,32,67,99
 270.029392556350449964,50,40,58,98
 280.0393154620520719,50,42,56,98
 290.04992870983341818,50,43,55,98
 300.05954678724191295,50,43,55,98
 310.06683812827429936,50,41,55,96
 320.0784662558858299,50,39,57,96
 330.08928427398859287,50,42,54,96
 340.0998413786806002,50,45,51,96
 350.10987588470587181,50,42,53,95
 360.11691152307933696,50,42,53,95
 370.12844377811594773,50,41,53,94
 380.1371688823511326,50,40,53,93
 390.14974075225496095,50,43,49,92
 400.1588196554730399,50,38,51,89
 410.16660763110379506,50,43,45,88
 420.1790076812086593,50,41,47,88
 430.18760891350059453,50,43,45,88
 440.1997016337596612,50,45,43,88
 450.20947391760282824,50,40,47,87
 460.21938875013418435,50,39,46,85
 470.22889946989790855,50,32,51,83
 480.23914761981718013,50,39,43,82
 490.24980316638010014,50,43,39,82
 500.2593385703543859,50,38,44,82
 510.267737813037978,50,38,44,82
 520.27922927575287204,50,37,45,82
 530.2888102150206221,50,37,45,82
 540.29941547372932986,50,36,46,82
 550.3093171164187624,50,33,48,81
 560.31972576492881805,50,39,42,81
 570.3295302487028401,50,39,40,79
 580.33993312207033993,50,39,40,79
 590.3467215112383672,50,39,40,79
 600.3594662087411244,50,36,42,78
 610.369672817537714,50,34,44,78
 620.37983271133608215,50,39,39,78
 630.38973604625079783,50,41,37,78
 640.39963793832443656,50,35,43,78
 650.4094322954027043,50,37,41,78
 660.41810976088792073,50,34,43,77
 670.42936833667636803,50,39,38,77
 680.43975767560320395,50,43,34,77
 690.4498728586490552,50,42,35,77
 700.4543163031371748,50,42,33,75
 710.46949462014151677,50,40,35,75
 720.47942943864390164,50,37,38,75
 730.48842983295527936,50,36,39,75
 740.49937648435373755,50,40,35,75
 750.5096598165736972,50,41,33,74
 760.5197216956578621,50,41,33,74
 770.5285590170624614,50,43,31,74
 780.5386238449325254,50,39,35,74
 790.5497008640605541,50,39,35,74
 800.5595617414870123,50,36,36,72
 810.5692238129533129,50,37,35,72
 820.5760399621311707,50,38,33,71
 830.5897239020168348,50,42,29,71
 840.5960101880315124,50,40,30,70
 850.6096041133857458,50,34,35,69
 860.6198234407928822,50,34,35,69
 870.6295210569923217,50,37,32,69
 880.63919641012513,50,41,28,69
 890.6497054684524646,50,41,28,69
 900.6586993596184942,50,42,27,69
 910.6692299253076646,50,37,32,69
 920.6791172670171621,50,39,30,69
 930.6873744063219185,50,42,27,69
 940.6999364324551453,50,41,27,68
 950.7099478075279771,50,39,28,67
 960.7186780688415979,50,36,29,65
 970.728675039453312,50,35,30,65
 980.7370766102398747,50,37,28,65
 990.7495698654303432,50,39,26,65
1000.759863230523771,50,39,26,65
1010.767582940182764,50,40,25,65
1020.7793052525437536,50,38,25,63
1030.7893366343821612,50,36,27,63
1040.7974701651248901,50,37,26,63
1050.8089708809528283,50,34,29,63
1060.8184053785772797,50,33,29,62
1070.8273517050365807,50,34,28,62
1080.8388942186587469,50,33,29,62
1090.8495169997514458,50,38,24,62
1100.8595686691990926,50,33,29,62
1110.8697510023135687,50,33,29,62
1120.8795644220725213,50,30,29,59
1130.88914192675905,50,33,26,59
1140.8987323387181637,50,35,24,59
1150.9099341596140921,50,35,24,59
1160.9195233869716755,50,28,31,59
1170.9282195773648895,50,36,23,59
1180.9382376107083961,50,35,24,59
1190.9497572248153122,50,36,23,59
1200.9597652762586936,50,37,22,59
1210.9659222270935828,50,34,25,59
1220.977847634938516,50,33,26,59
1230.9872567864468708,50,30,29,59
1240.9998762566588664,50,32,26,58
1251.0056501172540389,50,32,26,58
1261.018936106386745,50,32,25,57
1271.0293303376429341,50,35,22,57
1281.0360535055266182,50,35,22,57
1291.0498453526386042,50,31,25,56
1301.05983548685542,50,31,25,56
1311.0688645253965092,50,33,23,56
1321.0775891464435907,50,32,23,55
1331.0885878392654593,50,29,26,55
1341.0996422567667925,50,33,22,55
1351.1094633663452214,50,35,20,55
1361.118459308844673,50,33,21,54
1371.1299882904511274,50,30,24,54
1381.1390768956044672,50,33,21,54
1391.149479137594105,50,35,19,54
1401.159250547821312,50,36,17,53
1411.1695883443735824,50,30,22,52
1421.1783972973571033,50,31,21,52
1431.1891775831124876,50,32,20,52
1441.199540558573144,50,30,21,51
1451.2068419177491676,50,27,23,50
1461.214941835320129,50,27,22,49
1471.2299335583168933,50,26,23,49
1481.2386405588907068,50,29,20,49
1491.247067947681623,50,34,15,49
1501.2568562990309575,50,30,19,49
1511.2670702566602936,50,28,21,49
1521.2799516099189767,50,29,20,49
1531.2894085447129116,50,31,18,49
1541.2996120846723442,50,29,20,49
1551.3087900044506033,50,31,18,49
1561.3183086256514454,50,32,17,49
1571.328553970289071,50,28,20,48
1581.3388852349797806,50,31,17,48
1591.3493553517382197,50,30,18,48
1601.3564698941396567,50,30,17,47
1611.367467540112238,50,29,18,47
1621.3786171982587818,50,29,18,47
1631.389613498321013,50,24,23,47
1641.3994889540579154,50,27,20,47
1651.4082085552417791,50,25,21,46
1661.41938863784984,50,26,19,45
1671.4298894703433433,50,26,18,44
1681.4379591996391263,50,25,19,44
1691.4426170882158242,50,27,17,44
1701.4594685627871993,50,30,14,44
1711.4684317409337315,50,26,17,43
1721.4757472818398527,50,28,15,43
1731.4877968979654161,50,32,11,43
1741.4997910703572939,50,32,11,43
1751.5028739996503286,50,33,10,43
1761.5178582753163552,50,28,13,41
1771.5293650375766954,50,30,11,41
1781.53968841913282,50,30,11,41
1791.5497451662922448,50,33,8,41
1801.5567596797105412,50,31,9,40
1811.569922422184525,50,31,9,40
1821.5781058224382447,50,31,9,40
1831.5870289531382031,50,28,12,40
1841.599370195517029,50,29,10,39
1851.6073187698138982,50,27,12,39
1861.6193599364220206,50,28,11,39
1871.6284831582527044,50,27,11,38
1881.635576378049749,50,27,11,38
1891.6480658013922413,50,26,12,38
1901.6585297247652844,50,27,11,38
1911.6674808579089666,50,24,14,38
1921.678263284876698,50,23,14,37
1931.6892814019224338,50,23,13,36
1941.6977502831102165,50,23,12,35
1951.7097790229049248,50,23,12,35
1961.7192805221539853,50,23,12,35
1971.7271139859860567,50,22,12,34
1981.7396923869109742,50,21,13,34
1991.7484789622104997,50,22,12,34
2001.7589989249084583,50,25,9,34
2011.7685170144853275,50,26,8,34
2021.7795264970976756,50,27,7,34
2031.7813546201459822,50,25,9,34
2041.7977993074210217,50,23,11,34
2051.8095382899533794,50,26,7,33
2061.819114167852932,50,23,10,33
2071.8279250259019826,50,23,10,33
2081.8383264787763496,50,24,9,33
2091.848905559171074,50,25,8,33
2101.8599801391592883,50,25,8,33
2111.867948398118942,50,21,11,32
2121.8789667357216175,50,21,11,32
2131.8890189918816402,50,21,10,31
2141.8989887081355978,50,22,8,30
2151.9098611670769656,50,22,8,30
2161.9162821052041388,50,23,7,30
2171.9265068815594473,50,20,10,30
2181.9335679135435442,50,18,12,30
2191.9488231471572144,50,20,10,30
2201.957686305198662,50,23,7,30
2211.9697634551702519,50,18,12,30
2221.9743729377968564,50,22,8,30
2231.9861915728445851,50,25,5,30
2242.004905689201223,50,23,7,30
2252.00676849648003,50,24,6,30
2262.019982544686417,50,24,6,30
2272.029759430097858,50,25,5,30
2282.038702997962542,50,27,3,30
2292.0496430914524493,50,24,6,30
2302.05992476972171,50,24,6,30
2312.0699164868161746,50,23,6,29
2322.0784848034598906,50,21,8,29
2332.0887352188179484,50,15,14,29
2342.094810050232963,50,17,12,29
2352.1098373555231187,50,18,11,29
2362.1196445173104808,50,23,6,29
2372.124830547957918,50,25,4,29
2382.1395720629076513,50,20,9,29
2392.1470798152287496,50,20,9,29
2402.158025848938351,50,23,6,29
2412.1687569148436796,50,25,4,29
2422.1750525737452504,50,23,6,29
2432.188387407093158,50,21,8,29
2442.2026767160748504,50,23,6,29
2452.2088361651745525,50,21,7,28
2462.2175120678137104,50,23,5,28
2472.2284516189483274,50,22,6,28
2482.23953216257032,50,22,6,28
2492.243156459051954,50,22,6,28
2502.2560322783189855,50,18,10,28
2512.269391469789778,50,18,10,28
2522.276363424722761,50,15,13,28
2532.289297050787127,50,20,8,28
2542.2974996495090956,50,19,9,28
2552.309626639294343,50,17,11,28
2562.3185927099483887,50,21,7,28
2572.3257419497911775,50,18,10,28
2582.341968489081642,50,16,12,28
2592.349925748378601,50,18,10,28
2602.3588787456927256,50,18,10,28
2612.368904373409479,50,19,9,28
2622.3773981066857606,50,20,8,28
2632.3872297210643043,50,21,7,28
2642.3979471106332104,50,24,4,28
2652.405548436247212,50,24,4,28
2662.4198632342368627,50,22,6,28
2672.4305309460735964,50,20,8,28
2682.438700820101916,50,19,8,27
2692.4499707475324017,50,22,5,27
2702.4595129954287063,50,19,8,27
2712.468814608903401,50,15,10,25
2722.479757820952306,50,14,11,25
2732.4894357636868576,50,19,6,25
2742.500496628173604,50,19,6,25
2752.509457586878955,50,17,8,25
2762.5154595581599373,50,15,10,25
2772.5273607067666224,50,16,9,25
2782.5357095887370678,50,17,8,25
2792.549192216039196,50,18,6,24
2802.559871173080828,50,19,5,24
2812.5652659505449567,50,17,7,24
2822.572933021863344,50,17,7,24
2832.5893072638126333,50,17,7,24
2842.6015167552954392,50,17,7,24
2852.609186495771528,50,18,6,24
2862.619722436388593,50,20,4,24
2872.6286374451377,50,18,6,24
2882.6397873289650344,50,18,6,24
2892.648007814537575,50,20,4,24
2902.6518729784689663,50,22,2,24
2912.6632530816048345,50,22,2,24
2922.6799065381142615,50,23,0,23
2932.686871525986286,50,21,2,23
2942.7012024625231916,50,21,2,23
2952.707628087527199,50,19,4,23
2962.7180251125881125,50,16,7,23
2972.729330544061004,50,19,4,23
2982.738587113267566,50,19,4,23
2992.746483175260282,50,18,5,23
3002.755752258201829,50,19,4,23
3012.7689352943740873,50,12,11,23
3022.774155442082789,50,14,9,23
3032.789600592596318,50,14,9,23
3042.7994650128436533,50,17,6,23
3052.8093829862518453,50,13,10,23
3062.818878163860308,50,9,14,23
3072.829021907979643,50,12,11,23
3082.839188040900818,50,13,10,23
3092.8475568132869933,50,19,4,23
3102.861932209740705,50,17,6,23
3112.867418375705049,50,18,5,23
3122.8745395504541587,50,21,2,23
3132.885415175713654,50,21,2,23
3142.9062620787508955,50,21,2,23
3152.916998406326355,50,20,3,23
3162.919229632746009,50,19,3,22
3172.9275087785253477,50,20,2,22
3182.935705032714013,50,20,1,21
3192.949852244094273,50,20,0,20
3202.9596140414215504,50,17,2,19
3212.9672933211283405,50,16,3,19
3222.9797888805931136,50,16,3,19
3232.986782890860769,50,16,3,19
3242.9992328607848795,50,16,3,19
3253.0086650829668065,50,15,4,19
3263.0194810019968754,50,15,4,19
3273.0346651777665534,50,15,3,18
3283.034939211296685,50,14,4,18
3293.0496092126915118,50,12,6,18
3303.0618812812775293,50,12,5,17
3313.068258603673095,50,11,6,17
3323.0791111471408357,50,10,6,16
3333.083438960603582,50,10,6,16
3343.09961067207281,50,12,4,16
3353.1025297181343485,50,11,5,16
3363.116921215096067,50,12,4,16
3373.1472069757637793,50,12,4,16
3383.1521279686718975,50,11,4,15
3393.156019256994998,50,10,4,14
3403.1571899872085054,50,12,2,14
3413.1667705617520583,50,13,1,14
3423.1824830406466713,50,11,3,14
3433.1853960254767,50,13,1,14
3443.210116540977305,50,13,1,14
3453.219229522977523,50,12,2,14
3463.224239142069474,50,13,1,14
3473.224372045743782,50,14,0,14
3483.2399886570889924,50,12,1,13
3493.2499746914154564,50,11,2,13
3503.2600227114898184,50,11,2,13
3513.2673648330996214,50,10,3,13
3523.285276755122286,50,10,3,13
3533.2895968127758075,50,11,2,13
3543.306461125978534,50,9,4,13
3553.314806182806303,50,8,5,13
3563.3227317013992286,50,9,4,13
3573.328124778854549,50,8,5,13
3583.3428836215611315,50,8,5,13
3593.348193612934002,50,9,4,13
3603.357504778402492,50,9,4,13
3613.367501899482616,50,9,4,13
3623.3952433536175364,50,11,2,13
3633.3955909142372267,50,10,3,13
3643.3963986149543772,50,9,4,13
3653.4091801438698774,50,8,5,13
3663.4213647046333064,50,8,5,13
3673.4321950736620463,50,9,4,13
3683.437914630538423,50,10,3,13
3693.449001939538018,50,11,2,13
3703.4512499285263267,50,12,1,13
3713.476291840609457,50,10,3,13
3723.4802834984367688,50,9,4,13
3733.4879498113898957,50,8,5,13
3743.497312229423964,50,9,4,13
3753.512265360274471,50,9,4,13
3763.516151556008687,50,8,5,13
3773.5272348134215963,50,11,2,13
3783.552995524899644,50,11,2,13
3793.554702214512554,50,10,3,13
3803.558443016663736,50,12,1,13
3813.5803523614045876,50,10,3,13
3823.5878088005844804,50,9,4,13
3833.5881440748499642,50,10,3,13
3843.5967445214981097,50,12,1,13
3853.6073934843091378,50,12,1,13
3863.61392760581583,50,12,1,13
3873.638512986177002,50,12,1,13
3883.648282861217482,50,11,2,13
3893.65011648725715,50,12,1,13
3903.663335048106972,50,11,2,13
3913.669921209612726,50,10,3,13
3923.692033955388866,50,10,3,13
3933.6979283097952593,50,9,4,13
3943.7012457927705538,50,10,3,13
3953.714656802436204,50,9,4,13
3963.715971994014751,50,10,3,13
3973.743290409034178,50,10,2,12
3983.745079828249463,50,9,3,12
3993.7479424929172898,50,8,4,12
4003.757771679025598,50,8,4,12
4013.768798719913434,50,7,5,12
4023.7792707483612564,50,9,3,12
4033.785223183562655,50,9,3,12
4043.7986484243149894,50,8,4,12
4053.8130723879131523,50,10,2,12
4063.8209848280933953,50,11,1,12
4073.834309517676037,50,10,2,12
4083.8371556650707164,50,9,3,12
4093.8486041304786736,50,9,3,12
4103.8531942665843197,50,9,3,12
4113.8692452569817553,50,9,3,12
4123.875261899312161,50,11,1,12
4133.8882561367233612,50,11,1,12
4143.8996672010601934,50,8,4,12
4153.9073740566454482,50,10,2,12
4163.918339018977079,50,9,3,12
4173.933644131823168,50,9,3,12
4183.9663008086455456,50,10,2,12
4193.9703229212523072,50,11,1,12
4203.973671848126734,50,10,2,12
4213.9749193426714697,50,11,1,12
4223.9750336447282373,50,12,0,12
4234.011159452114864,50,10,1,11
4244.022588764803121,50,11,0,11
4254.023499555353328,50,10,1,11
4264.025709750695877,50,9,2,11
4274.029670353015697,50,10,1,11
4284.037861200515142,50,8,2,10
4294.048172488895801,50,10,0,10
4304.059971648177017,50,8,2,10
4314.06775099059458,50,7,3,10
4324.075511798918462,50,8,2,10
4334.0843413145329075,50,8,2,10
4344.10574393521164,50,6,4,10
4354.107910446807181,50,7,3,10
4364.116127055156858,50,7,3,10
4374.1500964066073545,50,9,1,10
4384.158299248884636,50,8,2,10
4394.1655007713475065,50,9,1,10
4404.178393629954625,50,10,0,10
4414.178688131260533,50,9,0,9
4424.195435354548851,50,8,1,9
4434.198724774429858,50,7,2,9
4444.230767595469568,50,6,3,9
4454.23208257691155,50,7,2,9
4464.241811696320534,50,6,3,9
4474.2435782017767005,50,7,2,9
4484.245346795690367,50,6,3,9
4494.253804497530508,50,7,2,9
4504.257935850308861,50,6,3,9
4514.279667930743675,50,8,1,9
4524.28129732020337,50,7,2,9
4534.287585035399204,50,7,2,9
4544.328936661074967,50,7,2,9
4554.353210813924838,50,6,2,8
4564.3606434468984645,50,7,1,8
4574.365595648703255,50,6,2,8
4584.367233675768165,50,7,1,8
4594.367630520849726,50,8,0,8
4604.3708318928896235,50,7,0,7
4614.4127006459465585,50,6,1,7
4624.424704843923092,50,5,2,7
4634.426469156447069,50,6,1,7
4644.440785435434188,50,5,2,7
4654.442586283735301,50,4,3,7
4664.442703993359937,50,3,4,7
4674.456013446850827,50,4,3,7
4684.46513152455589,50,3,4,7
4694.470485536264471,50,4,3,7
4704.475441911260447,50,3,4,7
4714.479147674372761,50,4,3,7
4724.481786640318364,50,5,2,7
4734.486392880091239,50,6,1,7
4744.508536170409961,50,6,1,7
4754.510321207459646,50,5,2,7
4764.520952101238221,50,4,3,7
4774.529689354886658,50,4,3,7
4784.5424434457300364,50,4,3,7
4794.549709484733013,50,6,1,7
4804.557312096243797,50,6,1,7
4814.576865915727263,50,4,3,7
4824.5896883014854115,50,5,2,7
4834.606019608319958,50,4,3,7
4844.615841630408368,50,5,2,7
4854.622803904455252,50,6,1,7
4864.659180838725439,50,5,2,7
4874.681008203077621,50,6,1,7
4884.691377170523275,50,5,2,7
4894.698392016665567,50,6,1,7
4904.698637365958754,50,7,0,7
4914.698830126854977,50,6,1,7
4924.702156638021587,50,7,0,7
4934.7115310933147905,50,6,1,7
4944.716031922509942,50,7,0,7
4954.737672606138472,50,6,1,7
4964.741330382855049,50,5,2,7
4974.754466792582349,50,4,3,7
4984.754774068880937,50,3,4,7
4994.756407393247882,50,4,3,7
5004.775378287044209,50,3,3,6
5014.779396483606803,50,4,2,6
5024.780183738153462,50,5,1,6
5034.783014708207708,50,5,1,6
5044.802220363657085,50,5,1,6
5054.8105968307939015,50,6,0,6
5064.842556768530486,50,5,1,6
5074.8448376712158705,50,6,0,6
5084.858203044319348,50,5,1,6
5094.859570907596988,50,4,2,6
5104.86617851607207,50,5,1,6
5114.8681421113628405,50,5,1,6
5124.878676697467907,50,4,2,6
5134.885298360789373,50,4,2,6
5144.899060759935119,50,4,2,6
5154.903504672527116,50,5,1,6
5164.9391910440663,50,5,1,6
5174.94492262720221,50,6,0,6
5184.9723353049413515,50,5,1,6
5195.005084514077483,50,4,2,6
5205.014423374822137,50,5,1,6
5215.020798878388021,50,6,0,6
5225.022517434878379,50,5,0,5
5235.0263692988673006,50,4,1,5
5245.028274719091622,50,5,0,5
5255.032733176798996,50,4,1,5
5265.05832403041616,50,3,2,5
5275.063952191136575,50,2,3,5
5285.066683532762695,50,3,2,5
5295.067288466442663,50,2,3,5
5305.072220990832433,50,1,4,5
5315.072579863971209,50,2,3,5
5325.080100696526922,50,3,2,5
5335.087806709788281,50,4,1,5
5345.096329786047125,50,4,1,5
5355.131687926811716,50,4,1,5
5365.160910105318386,50,5,0,5
5375.16836518951921,50,4,1,5
5385.17687573454667,50,3,2,5
5395.178503164471266,50,4,1,5
5405.187851350554092,50,3,2,5
5415.192980172633681,50,4,1,5
5425.196599373127901,50,5,0,5
5435.196817684819762,50,4,1,5
5445.199747972243762,50,3,2,5
5455.215375636643803,50,3,1,4
5465.236590226640497,50,2,2,4
5475.23818524559256,50,3,1,4
5485.249443372784109,50,4,0,4
5495.292246303985983,50,3,1,4
5505.2957720942720075,50,2,2,4
5515.304029658970234,50,1,3,4
5525.315251616993903,50,2,2,4
5535.328817343142336,50,3,1,4
5545.34509331289262,50,4,0,4
5555.350112811053476,50,3,1,4
5565.358241079473348,50,4,0,4
5575.358350253653444,50,3,1,4
5585.361696881243449,50,4,0,4
5595.375533891066047,50,3,1,4
5605.384184281127915,50,2,2,4
5615.388364071711819,50,1,3,4
5625.391978618049339,50,2,2,4
5635.399334327241956,50,3,1,4
5645.40974787813467,50,4,0,4
5655.415445573772146,50,3,1,4
5665.429419430235172,50,2,2,4
5675.4315130687980595,50,1,3,4
5685.439104546231547,50,2,2,4
5695.501503260154643,50,4,0,4
5705.531710950709675,50,3,1,4
5715.562323659093783,50,4,0,4
5725.59620717497898,50,3,1,4
5735.603807382728527,50,4,0,4
5745.630184788317103,50,3,1,4
5755.643771924476467,50,2,2,4
5765.66509035768964,50,3,1,4
5775.677306580299171,50,2,2,4
5785.6779079492972615,50,3,1,4
5795.678693982217372,50,4,0,4
5805.684522053011048,50,3,1,4
5815.690365342428427,50,2,2,4
5825.716284547967088,50,3,1,4
5835.724880790083758,50,4,0,4
5845.728892278796729,50,3,1,4
5855.748086281204982,50,4,0,4
5865.749437440723996,50,3,1,4
5875.751807068927696,50,2,2,4
5885.758485369434898,50,3,1,4
5895.765017672700865,50,2,2,4
5905.775614672897267,50,3,1,4
5915.8046233756739705,50,2,2,4
5925.806666385892505,50,3,1,4
5935.818434903944967,50,4,0,4
5945.828456284742418,50,3,1,4
5955.829944481165565,50,4,0,4
5965.832516139139992,50,3,1,4
5975.834799161527557,50,4,0,4
5985.857716613718999,50,3,1,4
5995.86855302101739,50,4,0,4
6005.912375083089104,50,3,1,4
6015.921194489710554,50,2,2,4
6025.928113541558931,50,1,3,4
6035.9298024836152905,50,2,2,4
6045.95692373449788,50,1,3,4
6055.96619606386613,50,2,2,4
6065.967207616732719,50,1,3,4
6075.971494196503324,50,2,2,4
6085.973645116887843,50,3,1,4
6095.984473717682842,50,2,2,4
6106.007077126530948,50,1,3,4
6116.010909201569628,50,2,2,4
6126.011350845906133,50,3,1,4
6136.037821918765578,50,4,0,4
6146.0636435303908245,50,3,1,4
6156.087546868919748,50,2,2,4
6166.089162702233459,50,3,1,4
6176.091509168206553,50,4,0,4
6186.117525635040003,50,3,1,4
6196.129927022697391,50,2,1,3
6206.143700765980184,50,3,0,3
6216.176741343336256,50,2,1,3
6226.200354420343927,50,3,0,3
6236.234776270539362,50,2,1,3
6246.284640610908293,50,3,0,3
6256.310214388671962,50,2,1,3
6266.312985916295204,50,3,0,3
6276.3365345032737315,50,2,1,3
6286.352421885739506,50,1,2,3
6296.3697564834798435,50,2,1,3
6306.370920889428525,50,3,0,3
6316.399853525855624,50,2,1,3
6326.416005429120451,50,3,0,3
6336.533521202617944,50,2,1,3
6346.54205921925369,50,3,0,3
6356.591695023961511,50,2,1,3
6366.603832703010435,50,3,0,3
6376.608364627531776,50,2,1,3
6386.613155312877943,50,3,0,3
6396.691364087089051,50,2,1,3
6406.721023859721352,50,3,0,3
6416.756403438142521,50,2,1,3
6426.770686360496832,50,3,0,3
6436.7924914702172465,50,2,1,3
6446.817242232929315,50,3,0,3
6456.9075595023501855,50,2,1,3
6466.9609367951341445,50,3,0,3
6476.960952708418092,50,2,1,3
6486.98335229443741,50,1,2,3
6496.987036419889784,50,0,3,3
6506.990679982123843,50,1,2,3
6516.992194561125222,50,2,1,3
6527.009024966178636,50,3,0,3
6537.021552348248545,50,2,1,3
6547.042580291588448,50,3,0,3
6557.056865512811752,50,2,1,3
6567.071744983144698,50,3,0,3
6577.078683398084966,50,2,1,3
6587.090544802602325,50,3,0,3
6597.109800121220415,50,2,1,3
6607.110165561883779,50,1,2,3
6617.11749124139888,50,2,1,3
6627.138543040220169,50,3,0,3
6637.1464264694806925,50,2,1,3
6647.153204925769966,50,3,0,3
6657.206609730469127,50,2,1,3
6667.206871907192776,50,3,0,3
6677.208723592858451,50,2,1,3
6687.214651343229441,50,3,0,3
6697.220680273883278,50,2,1,3
6707.223262844881263,50,3,0,3
6717.248811114081427,50,2,1,3
6727.259399119415541,50,1,2,3
6737.259585279373653,50,2,1,3
6747.274275895376753,50,3,0,3
6757.305044574949458,50,2,1,3
6767.351732082054862,50,1,2,3
6777.352924159438021,50,2,1,3
6787.367476379219233,50,1,2,3
6797.368839217488326,50,2,1,3
6807.371325552055373,50,3,0,3
6817.423438247823176,50,2,0,2
6827.440910731686135,50,1,1,2
6837.4435224207848165,50,2,0,2
6847.453673943585293,50,1,1,2
6857.460946189979301,50,2,0,2
6867.474496886317293,50,1,0,1
6877.556245212656593,50,0,1,1
6887.59378062889479,50,1,0,1
6897.603083169516032,50,0,1,1
6907.614174965125405,50,1,0,1
6917.63711796132232,50,0,1,1
6927.657841882239958,50,1,0,1
6937.689572372164242,50,0,1,1
6947.690466152545433,50,1,0,1
6957.726915747728686,50,0,1,1
6967.738249620226862,50,1,0,1
6977.905998187104343,50,0,1,1
6987.92853544064749,50,1,0,1
6997.973091006303272,50,0,1,1
7007.986784669242793,50,1,0,1
7018.081320721701884,50,0,1,1
7028.084024048628864,50,1,0,1
7038.120344414283993,50,0,1,1
7048.120527917422427,50,1,0,1
7058.124919235203794,50,0,1,1
7068.134957242673789,50,1,0,1
7078.25923962641715,50,0,1,1
7088.301301524019218,50,1,0,1
7098.454561352742308,50,0,1,1
7108.458491369609806,50,1,0,1
7118.536952043157921,50,0,1,1
7128.552452767449088,50,1,0,1
7138.71201920564201,50,0,1,1
7148.755773063317815,50,1,0,1
7159.005864930217443,50,0,1,1
7169.03115599597214,50,1,0,1
7179.207976058404824,50,0,1,1
7189.21373123319199,50,1,0,1
7199.390193931605765,50,0,0,0
72046.06296868918338,50,0,0,0
721]]></CSV>
722</Simulation>
723<Log>
724<Entry Count="1" Message="-Initialization..." Position="1231854381.149" Type="INFO"></Entry>
725<Entry Count="1" Message="--Computing initial state" Position="1231854381.164" Type="INFO"></Entry>
726<Entry Count="1" Message="--Abstracting activation map..." Position="1231854381.164" Type="INFO"></Entry>
727<Entry Count="1" Message="--Abstraction: 0.0 sec. CPU" Position="1231854381.164" Type="INFO"></Entry>
728<Entry Count="1" Message="--Activation map computed" Position="1231854381.164" Type="INFO"></Entry>
729<Entry Count="1" Message="-Initialization: 0.0 sec. CPU" Position="1231854381.164" Type="INFO"></Entry>
730<Entry Count="1" Message="-Simulation..." Position="1231854381.164" Type="INFO"></Entry>
731<Entry Count="1" Message="-Simulation: 0.046875 sec. CPU" Position="1231854381.227" Type="INFO"></Entry>
732<Entry Count="1" Message="-Building xml tree for influence map: 0.0 sec. CPU" Position="1231854381.242" Type="INFO"></Entry>
733<Entry Count="1" Message="-Building xml tree for data points: 0.515625 sec. CPU" Position="1231854381.789" Type="INFO"></Entry>
734</Log>
735</SimplxSession>