/test.data/simplx_compare/previous_java/degradation-deg-bnd_java.xml
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>