degradation-deg-bnd_java.xml

/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

<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">

<InfluenceMap>

<Node Data="b()" Id="8" Name="[b()]" Text="[b()]" Type="OBSERVABLE"></Node>

<Node Data="a(x!_)" Id="7" Name="[a(x!_)]" Text="[a(x!_)]" Type="OBSERVABLE"></Node>

<Node Data="a(x)" Id="6" Name="[a(x)]" Text="[a(x)]" Type="OBSERVABLE"></Node>

<Node Data="a()" Id="5" Name="[a()]" Text="[a()]" Type="OBSERVABLE"></Node>

<Node Data="a(x!_)->" Id="4" Name="deg_bnd" Text="deg_bnd" Type="RULE"></Node>

<Node Data="b(x)->b(x)" Id="3" Name="obs" Text="obs" Type="RULE"></Node>

<Node Data="a(x!0),b(x!0)->a(x),b(x)" Id="2" Name="" Text="" Type="RULE"></Node>

<Node Data="a(x),b(x)->a(x!0),b(x!0)" Id="1" Name="" Text="" Type="RULE"></Node>

<Connection FromNode="2" Relation="POSITIVE" ToNode="8"></Connection>

<Connection FromNode="2" Relation="POSITIVE" ToNode="6"></Connection>

<Connection FromNode="2" Relation="POSITIVE" ToNode="3"></Connection>

<Connection FromNode="2" Relation="POSITIVE" ToNode="1"></Connection>

<Connection FromNode="1" Relation="POSITIVE" ToNode="7"></Connection>

<Connection FromNode="1" Relation="POSITIVE" ToNode="4"></Connection>

<Connection FromNode="1" Relation="POSITIVE" ToNode="2"></Connection>

</InfluenceMap>

<Simulation InitTime="0.0" TimeSample="0.01" TotalEvents="2563" TotalTime="46.06296868918338">

<Plot Text="[b()]" Type="OBSERVABLE"></Plot>

<Plot Text="[a(x!_)]" Type="OBSERVABLE"></Plot>

<Plot Text="[a(x)]" Type="OBSERVABLE"></Plot>

<Plot Text="[a()]" Type="OBSERVABLE"></Plot>

<CSV><![CDATA[

0.009919339392061362,50,23,77,100

0.01989861669339327,50,32,67,99

0.029392556350449964,50,40,58,98

0.0393154620520719,50,42,56,98

0.04992870983341818,50,43,55,98

0.05954678724191295,50,43,55,98

0.06683812827429936,50,41,55,96

0.0784662558858299,50,39,57,96

0.08928427398859287,50,42,54,96

0.0998413786806002,50,45,51,96

0.10987588470587181,50,42,53,95

0.11691152307933696,50,42,53,95

0.12844377811594773,50,41,53,94

0.1371688823511326,50,40,53,93

0.14974075225496095,50,43,49,92

0.1588196554730399,50,38,51,89

0.16660763110379506,50,43,45,88

0.1790076812086593,50,41,47,88

0.18760891350059453,50,43,45,88

0.1997016337596612,50,45,43,88

0.20947391760282824,50,40,47,87

0.21938875013418435,50,39,46,85

0.22889946989790855,50,32,51,83

0.23914761981718013,50,39,43,82

0.24980316638010014,50,43,39,82

0.2593385703543859,50,38,44,82

0.267737813037978,50,38,44,82

0.27922927575287204,50,37,45,82

0.2888102150206221,50,37,45,82

0.29941547372932986,50,36,46,82

0.3093171164187624,50,33,48,81

0.31972576492881805,50,39,42,81

0.3295302487028401,50,39,40,79

0.33993312207033993,50,39,40,79

0.3467215112383672,50,39,40,79

0.3594662087411244,50,36,42,78

0.369672817537714,50,34,44,78

0.37983271133608215,50,39,39,78

0.38973604625079783,50,41,37,78

0.39963793832443656,50,35,43,78

0.4094322954027043,50,37,41,78

0.41810976088792073,50,34,43,77

0.42936833667636803,50,39,38,77

0.43975767560320395,50,43,34,77

0.4498728586490552,50,42,35,77

0.4543163031371748,50,42,33,75

0.46949462014151677,50,40,35,75

0.47942943864390164,50,37,38,75

0.48842983295527936,50,36,39,75

0.49937648435373755,50,40,35,75

0.5096598165736972,50,41,33,74

0.5197216956578621,50,41,33,74

0.5285590170624614,50,43,31,74

0.5386238449325254,50,39,35,74

0.5497008640605541,50,39,35,74

0.5595617414870123,50,36,36,72

0.5692238129533129,50,37,35,72

0.5760399621311707,50,38,33,71

0.5897239020168348,50,42,29,71

0.5960101880315124,50,40,30,70

0.6096041133857458,50,34,35,69

0.6198234407928822,50,34,35,69

0.6295210569923217,50,37,32,69

0.63919641012513,50,41,28,69

0.6497054684524646,50,41,28,69

0.6586993596184942,50,42,27,69

0.6692299253076646,50,37,32,69

0.6791172670171621,50,39,30,69

0.6873744063219185,50,42,27,69

0.6999364324551453,50,41,27,68

0.7099478075279771,50,39,28,67

0.7186780688415979,50,36,29,65

0.728675039453312,50,35,30,65

0.7370766102398747,50,37,28,65

0.7495698654303432,50,39,26,65

0.759863230523771,50,39,26,65

0.767582940182764,50,40,25,65

0.7793052525437536,50,38,25,63

0.7893366343821612,50,36,27,63

0.7974701651248901,50,37,26,63

0.8089708809528283,50,34,29,63

0.8184053785772797,50,33,29,62

0.8273517050365807,50,34,28,62

0.8388942186587469,50,33,29,62

0.8495169997514458,50,38,24,62

0.8595686691990926,50,33,29,62

0.8697510023135687,50,33,29,62

0.8795644220725213,50,30,29,59

0.88914192675905,50,33,26,59

0.8987323387181637,50,35,24,59

0.9099341596140921,50,35,24,59

0.9195233869716755,50,28,31,59

0.9282195773648895,50,36,23,59

0.9382376107083961,50,35,24,59

0.9497572248153122,50,36,23,59

0.9597652762586936,50,37,22,59

0.9659222270935828,50,34,25,59

0.977847634938516,50,33,26,59

0.9872567864468708,50,30,29,59

0.9998762566588664,50,32,26,58

1.0056501172540389,50,32,26,58

1.018936106386745,50,32,25,57

1.0293303376429341,50,35,22,57

1.0360535055266182,50,35,22,57

1.0498453526386042,50,31,25,56

1.05983548685542,50,31,25,56

1.0688645253965092,50,33,23,56

1.0775891464435907,50,32,23,55

1.0885878392654593,50,29,26,55

1.0996422567667925,50,33,22,55

1.1094633663452214,50,35,20,55

1.118459308844673,50,33,21,54

1.1299882904511274,50,30,24,54

1.1390768956044672,50,33,21,54

1.149479137594105,50,35,19,54

1.159250547821312,50,36,17,53

1.1695883443735824,50,30,22,52

1.1783972973571033,50,31,21,52

1.1891775831124876,50,32,20,52

1.199540558573144,50,30,21,51

1.2068419177491676,50,27,23,50

1.214941835320129,50,27,22,49

1.2299335583168933,50,26,23,49

1.2386405588907068,50,29,20,49

1.247067947681623,50,34,15,49

1.2568562990309575,50,30,19,49

1.2670702566602936,50,28,21,49

1.2799516099189767,50,29,20,49

1.2894085447129116,50,31,18,49

1.2996120846723442,50,29,20,49

1.3087900044506033,50,31,18,49

1.3183086256514454,50,32,17,49

1.328553970289071,50,28,20,48

1.3388852349797806,50,31,17,48

1.3493553517382197,50,30,18,48

1.3564698941396567,50,30,17,47

1.367467540112238,50,29,18,47

1.3786171982587818,50,29,18,47

1.389613498321013,50,24,23,47

1.3994889540579154,50,27,20,47

1.4082085552417791,50,25,21,46

1.41938863784984,50,26,19,45

1.4298894703433433,50,26,18,44

1.4379591996391263,50,25,19,44

1.4426170882158242,50,27,17,44

1.4594685627871993,50,30,14,44

1.4684317409337315,50,26,17,43

1.4757472818398527,50,28,15,43

1.4877968979654161,50,32,11,43

1.4997910703572939,50,32,11,43

1.5028739996503286,50,33,10,43

1.5178582753163552,50,28,13,41

1.5293650375766954,50,30,11,41

1.53968841913282,50,30,11,41

1.5497451662922448,50,33,8,41

1.5567596797105412,50,31,9,40

1.569922422184525,50,31,9,40

1.5781058224382447,50,31,9,40

1.5870289531382031,50,28,12,40

1.599370195517029,50,29,10,39

1.6073187698138982,50,27,12,39

1.6193599364220206,50,28,11,39

1.6284831582527044,50,27,11,38

1.635576378049749,50,27,11,38

1.6480658013922413,50,26,12,38

1.6585297247652844,50,27,11,38

1.6674808579089666,50,24,14,38

1.678263284876698,50,23,14,37

1.6892814019224338,50,23,13,36

1.6977502831102165,50,23,12,35

1.7097790229049248,50,23,12,35

1.7192805221539853,50,23,12,35

1.7271139859860567,50,22,12,34

1.7396923869109742,50,21,13,34

1.7484789622104997,50,22,12,34

1.7589989249084583,50,25,9,34

1.7685170144853275,50,26,8,34

1.7795264970976756,50,27,7,34

1.7813546201459822,50,25,9,34

1.7977993074210217,50,23,11,34

1.8095382899533794,50,26,7,33

1.819114167852932,50,23,10,33

1.8279250259019826,50,23,10,33

1.8383264787763496,50,24,9,33

1.848905559171074,50,25,8,33

1.8599801391592883,50,25,8,33

1.867948398118942,50,21,11,32

1.8789667357216175,50,21,11,32

1.8890189918816402,50,21,10,31

1.8989887081355978,50,22,8,30

1.9098611670769656,50,22,8,30

1.9162821052041388,50,23,7,30

1.9265068815594473,50,20,10,30

1.9335679135435442,50,18,12,30

1.9488231471572144,50,20,10,30

1.957686305198662,50,23,7,30

1.9697634551702519,50,18,12,30

1.9743729377968564,50,22,8,30

1.9861915728445851,50,25,5,30

2.004905689201223,50,23,7,30

2.00676849648003,50,24,6,30

2.019982544686417,50,24,6,30

2.029759430097858,50,25,5,30

2.038702997962542,50,27,3,30

2.0496430914524493,50,24,6,30

2.05992476972171,50,24,6,30

2.0699164868161746,50,23,6,29

2.0784848034598906,50,21,8,29

2.0887352188179484,50,15,14,29

2.094810050232963,50,17,12,29

2.1098373555231187,50,18,11,29

2.1196445173104808,50,23,6,29

2.124830547957918,50,25,4,29

2.1395720629076513,50,20,9,29

2.1470798152287496,50,20,9,29

2.158025848938351,50,23,6,29

2.1687569148436796,50,25,4,29

2.1750525737452504,50,23,6,29

2.188387407093158,50,21,8,29

2.2026767160748504,50,23,6,29

2.2088361651745525,50,21,7,28

2.2175120678137104,50,23,5,28

2.2284516189483274,50,22,6,28

2.23953216257032,50,22,6,28

2.243156459051954,50,22,6,28

2.2560322783189855,50,18,10,28

2.269391469789778,50,18,10,28

2.276363424722761,50,15,13,28

2.289297050787127,50,20,8,28

2.2974996495090956,50,19,9,28

2.309626639294343,50,17,11,28

2.3185927099483887,50,21,7,28

2.3257419497911775,50,18,10,28

2.341968489081642,50,16,12,28

2.349925748378601,50,18,10,28

2.3588787456927256,50,18,10,28

2.368904373409479,50,19,9,28

2.3773981066857606,50,20,8,28

2.3872297210643043,50,21,7,28

2.3979471106332104,50,24,4,28

2.405548436247212,50,24,4,28

2.4198632342368627,50,22,6,28

2.4305309460735964,50,20,8,28

2.438700820101916,50,19,8,27

2.4499707475324017,50,22,5,27

2.4595129954287063,50,19,8,27

2.468814608903401,50,15,10,25

2.479757820952306,50,14,11,25

2.4894357636868576,50,19,6,25

2.500496628173604,50,19,6,25

2.509457586878955,50,17,8,25

2.5154595581599373,50,15,10,25

2.5273607067666224,50,16,9,25

2.5357095887370678,50,17,8,25

2.549192216039196,50,18,6,24

2.559871173080828,50,19,5,24

2.5652659505449567,50,17,7,24

2.572933021863344,50,17,7,24

2.5893072638126333,50,17,7,24

2.6015167552954392,50,17,7,24

2.609186495771528,50,18,6,24

2.619722436388593,50,20,4,24

2.6286374451377,50,18,6,24

2.6397873289650344,50,18,6,24

2.648007814537575,50,20,4,24

2.6518729784689663,50,22,2,24

2.6632530816048345,50,22,2,24

2.6799065381142615,50,23,0,23

2.686871525986286,50,21,2,23

2.7012024625231916,50,21,2,23

2.707628087527199,50,19,4,23

2.7180251125881125,50,16,7,23

2.729330544061004,50,19,4,23

2.738587113267566,50,19,4,23

2.746483175260282,50,18,5,23

2.755752258201829,50,19,4,23

2.7689352943740873,50,12,11,23

2.774155442082789,50,14,9,23

2.789600592596318,50,14,9,23

2.7994650128436533,50,17,6,23

2.8093829862518453,50,13,10,23

2.818878163860308,50,9,14,23

2.829021907979643,50,12,11,23

2.839188040900818,50,13,10,23

2.8475568132869933,50,19,4,23

2.861932209740705,50,17,6,23

2.867418375705049,50,18,5,23

2.8745395504541587,50,21,2,23

2.885415175713654,50,21,2,23

2.9062620787508955,50,21,2,23

2.916998406326355,50,20,3,23

2.919229632746009,50,19,3,22

2.9275087785253477,50,20,2,22

2.935705032714013,50,20,1,21

2.949852244094273,50,20,0,20

2.9596140414215504,50,17,2,19

2.9672933211283405,50,16,3,19

2.9797888805931136,50,16,3,19

2.986782890860769,50,16,3,19

2.9992328607848795,50,16,3,19

3.0086650829668065,50,15,4,19

3.0194810019968754,50,15,4,19

3.0346651777665534,50,15,3,18

3.034939211296685,50,14,4,18

3.0496092126915118,50,12,6,18

3.0618812812775293,50,12,5,17

3.068258603673095,50,11,6,17

3.0791111471408357,50,10,6,16

3.083438960603582,50,10,6,16

3.09961067207281,50,12,4,16

3.1025297181343485,50,11,5,16

3.116921215096067,50,12,4,16

3.1472069757637793,50,12,4,16

3.1521279686718975,50,11,4,15

3.156019256994998,50,10,4,14

3.1571899872085054,50,12,2,14

3.1667705617520583,50,13,1,14

3.1824830406466713,50,11,3,14

3.1853960254767,50,13,1,14

3.210116540977305,50,13,1,14

3.219229522977523,50,12,2,14

3.224239142069474,50,13,1,14

3.224372045743782,50,14,0,14

3.2399886570889924,50,12,1,13

3.2499746914154564,50,11,2,13

3.2600227114898184,50,11,2,13

3.2673648330996214,50,10,3,13

3.285276755122286,50,10,3,13

3.2895968127758075,50,11,2,13

3.306461125978534,50,9,4,13

3.314806182806303,50,8,5,13

3.3227317013992286,50,9,4,13

3.328124778854549,50,8,5,13

3.3428836215611315,50,8,5,13

3.348193612934002,50,9,4,13

3.357504778402492,50,9,4,13

3.367501899482616,50,9,4,13

3.3952433536175364,50,11,2,13

3.3955909142372267,50,10,3,13

3.3963986149543772,50,9,4,13

3.4091801438698774,50,8,5,13

3.4213647046333064,50,8,5,13

3.4321950736620463,50,9,4,13

3.437914630538423,50,10,3,13

3.449001939538018,50,11,2,13

3.4512499285263267,50,12,1,13

3.476291840609457,50,10,3,13

3.4802834984367688,50,9,4,13

3.4879498113898957,50,8,5,13

3.497312229423964,50,9,4,13

3.512265360274471,50,9,4,13

3.516151556008687,50,8,5,13

3.5272348134215963,50,11,2,13

3.552995524899644,50,11,2,13

3.554702214512554,50,10,3,13

3.558443016663736,50,12,1,13

3.5803523614045876,50,10,3,13

3.5878088005844804,50,9,4,13

3.5881440748499642,50,10,3,13

3.5967445214981097,50,12,1,13

3.6073934843091378,50,12,1,13

3.61392760581583,50,12,1,13

3.638512986177002,50,12,1,13

3.648282861217482,50,11,2,13

3.65011648725715,50,12,1,13

3.663335048106972,50,11,2,13

3.669921209612726,50,10,3,13

3.692033955388866,50,10,3,13

3.6979283097952593,50,9,4,13

3.7012457927705538,50,10,3,13

3.714656802436204,50,9,4,13

3.715971994014751,50,10,3,13

3.743290409034178,50,10,2,12

3.745079828249463,50,9,3,12

3.7479424929172898,50,8,4,12

3.757771679025598,50,8,4,12

3.768798719913434,50,7,5,12

3.7792707483612564,50,9,3,12

3.785223183562655,50,9,3,12

3.7986484243149894,50,8,4,12

3.8130723879131523,50,10,2,12

3.8209848280933953,50,11,1,12

3.834309517676037,50,10,2,12

3.8371556650707164,50,9,3,12

3.8486041304786736,50,9,3,12

3.8531942665843197,50,9,3,12

3.8692452569817553,50,9,3,12

3.875261899312161,50,11,1,12

3.8882561367233612,50,11,1,12

3.8996672010601934,50,8,4,12

3.9073740566454482,50,10,2,12

3.918339018977079,50,9,3,12

3.933644131823168,50,9,3,12

3.9663008086455456,50,10,2,12

3.9703229212523072,50,11,1,12

3.973671848126734,50,10,2,12

3.9749193426714697,50,11,1,12

3.9750336447282373,50,12,0,12

4.011159452114864,50,10,1,11

4.022588764803121,50,11,0,11

4.023499555353328,50,10,1,11

4.025709750695877,50,9,2,11

4.029670353015697,50,10,1,11

4.037861200515142,50,8,2,10

4.048172488895801,50,10,0,10

4.059971648177017,50,8,2,10

4.06775099059458,50,7,3,10

4.075511798918462,50,8,2,10

4.0843413145329075,50,8,2,10

4.10574393521164,50,6,4,10

4.107910446807181,50,7,3,10

4.116127055156858,50,7,3,10

4.1500964066073545,50,9,1,10

4.158299248884636,50,8,2,10

4.1655007713475065,50,9,1,10

4.178393629954625,50,10,0,10

4.178688131260533,50,9,0,9

4.195435354548851,50,8,1,9

4.198724774429858,50,7,2,9

4.230767595469568,50,6,3,9

4.23208257691155,50,7,2,9

4.241811696320534,50,6,3,9

4.2435782017767005,50,7,2,9

4.245346795690367,50,6,3,9

4.253804497530508,50,7,2,9

4.257935850308861,50,6,3,9

4.279667930743675,50,8,1,9

4.28129732020337,50,7,2,9

4.287585035399204,50,7,2,9

4.328936661074967,50,7,2,9

4.353210813924838,50,6,2,8

4.3606434468984645,50,7,1,8

4.365595648703255,50,6,2,8

4.367233675768165,50,7,1,8

4.367630520849726,50,8,0,8

4.3708318928896235,50,7,0,7

4.4127006459465585,50,6,1,7

4.424704843923092,50,5,2,7

4.426469156447069,50,6,1,7

4.440785435434188,50,5,2,7

4.442586283735301,50,4,3,7

4.442703993359937,50,3,4,7

4.456013446850827,50,4,3,7

4.46513152455589,50,3,4,7

4.470485536264471,50,4,3,7

4.475441911260447,50,3,4,7

4.479147674372761,50,4,3,7

4.481786640318364,50,5,2,7

4.486392880091239,50,6,1,7

4.508536170409961,50,6,1,7

4.510321207459646,50,5,2,7

4.520952101238221,50,4,3,7

4.529689354886658,50,4,3,7

4.5424434457300364,50,4,3,7

4.549709484733013,50,6,1,7

4.557312096243797,50,6,1,7

4.576865915727263,50,4,3,7

4.5896883014854115,50,5,2,7

4.606019608319958,50,4,3,7

4.615841630408368,50,5,2,7

4.622803904455252,50,6,1,7

4.659180838725439,50,5,2,7

4.681008203077621,50,6,1,7

4.691377170523275,50,5,2,7

4.698392016665567,50,6,1,7

4.698637365958754,50,7,0,7

4.698830126854977,50,6,1,7

4.702156638021587,50,7,0,7

4.7115310933147905,50,6,1,7

4.716031922509942,50,7,0,7

4.737672606138472,50,6,1,7

4.741330382855049,50,5,2,7

4.754466792582349,50,4,3,7

4.754774068880937,50,3,4,7

4.756407393247882,50,4,3,7

4.775378287044209,50,3,3,6

4.779396483606803,50,4,2,6

4.780183738153462,50,5,1,6

4.783014708207708,50,5,1,6

4.802220363657085,50,5,1,6

4.8105968307939015,50,6,0,6

4.842556768530486,50,5,1,6

4.8448376712158705,50,6,0,6

4.858203044319348,50,5,1,6

4.859570907596988,50,4,2,6

4.86617851607207,50,5,1,6

4.8681421113628405,50,5,1,6

4.878676697467907,50,4,2,6

4.885298360789373,50,4,2,6

4.899060759935119,50,4,2,6

4.903504672527116,50,5,1,6

4.9391910440663,50,5,1,6

4.94492262720221,50,6,0,6

4.9723353049413515,50,5,1,6

5.005084514077483,50,4,2,6

5.014423374822137,50,5,1,6

5.020798878388021,50,6,0,6

5.022517434878379,50,5,0,5

5.0263692988673006,50,4,1,5

5.028274719091622,50,5,0,5

5.032733176798996,50,4,1,5

5.05832403041616,50,3,2,5

5.063952191136575,50,2,3,5

5.066683532762695,50,3,2,5

5.067288466442663,50,2,3,5

5.072220990832433,50,1,4,5

5.072579863971209,50,2,3,5

5.080100696526922,50,3,2,5

5.087806709788281,50,4,1,5

5.096329786047125,50,4,1,5

5.131687926811716,50,4,1,5

5.160910105318386,50,5,0,5

5.16836518951921,50,4,1,5

5.17687573454667,50,3,2,5

5.178503164471266,50,4,1,5

5.187851350554092,50,3,2,5

5.192980172633681,50,4,1,5

5.196599373127901,50,5,0,5

5.196817684819762,50,4,1,5

5.199747972243762,50,3,2,5

5.215375636643803,50,3,1,4

5.236590226640497,50,2,2,4

5.23818524559256,50,3,1,4

5.249443372784109,50,4,0,4

5.292246303985983,50,3,1,4

5.2957720942720075,50,2,2,4

5.304029658970234,50,1,3,4

5.315251616993903,50,2,2,4

5.328817343142336,50,3,1,4

5.34509331289262,50,4,0,4

5.350112811053476,50,3,1,4

5.358241079473348,50,4,0,4

5.358350253653444,50,3,1,4

5.361696881243449,50,4,0,4

5.375533891066047,50,3,1,4

5.384184281127915,50,2,2,4

5.388364071711819,50,1,3,4

5.391978618049339,50,2,2,4

5.399334327241956,50,3,1,4

5.40974787813467,50,4,0,4

5.415445573772146,50,3,1,4

5.429419430235172,50,2,2,4

5.4315130687980595,50,1,3,4

5.439104546231547,50,2,2,4

5.501503260154643,50,4,0,4

5.531710950709675,50,3,1,4

5.562323659093783,50,4,0,4

5.59620717497898,50,3,1,4

5.603807382728527,50,4,0,4

5.630184788317103,50,3,1,4

5.643771924476467,50,2,2,4

5.66509035768964,50,3,1,4

5.677306580299171,50,2,2,4

5.6779079492972615,50,3,1,4

5.678693982217372,50,4,0,4

5.684522053011048,50,3,1,4

5.690365342428427,50,2,2,4

5.716284547967088,50,3,1,4

5.724880790083758,50,4,0,4

5.728892278796729,50,3,1,4

5.748086281204982,50,4,0,4

5.749437440723996,50,3,1,4

5.751807068927696,50,2,2,4

5.758485369434898,50,3,1,4

5.765017672700865,50,2,2,4

5.775614672897267,50,3,1,4

5.8046233756739705,50,2,2,4

5.806666385892505,50,3,1,4

5.818434903944967,50,4,0,4

5.828456284742418,50,3,1,4

5.829944481165565,50,4,0,4

5.832516139139992,50,3,1,4

5.834799161527557,50,4,0,4

5.857716613718999,50,3,1,4

5.86855302101739,50,4,0,4

5.912375083089104,50,3,1,4

5.921194489710554,50,2,2,4

5.928113541558931,50,1,3,4

5.9298024836152905,50,2,2,4

5.95692373449788,50,1,3,4

5.96619606386613,50,2,2,4

5.967207616732719,50,1,3,4

5.971494196503324,50,2,2,4

5.973645116887843,50,3,1,4

5.984473717682842,50,2,2,4

6.007077126530948,50,1,3,4

6.010909201569628,50,2,2,4

6.011350845906133,50,3,1,4

6.037821918765578,50,4,0,4

6.0636435303908245,50,3,1,4

6.087546868919748,50,2,2,4

6.089162702233459,50,3,1,4

6.091509168206553,50,4,0,4

6.117525635040003,50,3,1,4

6.129927022697391,50,2,1,3

6.143700765980184,50,3,0,3

6.176741343336256,50,2,1,3

6.200354420343927,50,3,0,3

6.234776270539362,50,2,1,3

6.284640610908293,50,3,0,3

6.310214388671962,50,2,1,3

6.312985916295204,50,3,0,3

6.3365345032737315,50,2,1,3

6.352421885739506,50,1,2,3

6.3697564834798435,50,2,1,3

6.370920889428525,50,3,0,3

6.399853525855624,50,2,1,3

6.416005429120451,50,3,0,3

6.533521202617944,50,2,1,3

6.54205921925369,50,3,0,3

6.591695023961511,50,2,1,3

6.603832703010435,50,3,0,3

6.608364627531776,50,2,1,3

6.613155312877943,50,3,0,3

6.691364087089051,50,2,1,3

6.721023859721352,50,3,0,3

6.756403438142521,50,2,1,3

6.770686360496832,50,3,0,3

6.7924914702172465,50,2,1,3

6.817242232929315,50,3,0,3

6.9075595023501855,50,2,1,3

6.9609367951341445,50,3,0,3

6.960952708418092,50,2,1,3

6.98335229443741,50,1,2,3

6.987036419889784,50,0,3,3

6.990679982123843,50,1,2,3

6.992194561125222,50,2,1,3

7.009024966178636,50,3,0,3

7.021552348248545,50,2,1,3

7.042580291588448,50,3,0,3

7.056865512811752,50,2,1,3

7.071744983144698,50,3,0,3

7.078683398084966,50,2,1,3

7.090544802602325,50,3,0,3

7.109800121220415,50,2,1,3

7.110165561883779,50,1,2,3

7.11749124139888,50,2,1,3

7.138543040220169,50,3,0,3

7.1464264694806925,50,2,1,3

7.153204925769966,50,3,0,3

7.206609730469127,50,2,1,3

7.206871907192776,50,3,0,3

7.208723592858451,50,2,1,3

7.214651343229441,50,3,0,3

7.220680273883278,50,2,1,3

7.223262844881263,50,3,0,3

7.248811114081427,50,2,1,3

7.259399119415541,50,1,2,3

7.259585279373653,50,2,1,3

7.274275895376753,50,3,0,3

7.305044574949458,50,2,1,3

7.351732082054862,50,1,2,3

7.352924159438021,50,2,1,3

7.367476379219233,50,1,2,3

7.368839217488326,50,2,1,3

7.371325552055373,50,3,0,3

7.423438247823176,50,2,0,2

7.440910731686135,50,1,1,2

7.4435224207848165,50,2,0,2

7.453673943585293,50,1,1,2

7.460946189979301,50,2,0,2

7.474496886317293,50,1,0,1

7.556245212656593,50,0,1,1

7.59378062889479,50,1,0,1

7.603083169516032,50,0,1,1

7.614174965125405,50,1,0,1

7.63711796132232,50,0,1,1

7.657841882239958,50,1,0,1

7.689572372164242,50,0,1,1

7.690466152545433,50,1,0,1

7.726915747728686,50,0,1,1

7.738249620226862,50,1,0,1

7.905998187104343,50,0,1,1

7.92853544064749,50,1,0,1

7.973091006303272,50,0,1,1

7.986784669242793,50,1,0,1

8.081320721701884,50,0,1,1

8.084024048628864,50,1,0,1

8.120344414283993,50,0,1,1

8.120527917422427,50,1,0,1

8.124919235203794,50,0,1,1

8.134957242673789,50,1,0,1

8.25923962641715,50,0,1,1

8.301301524019218,50,1,0,1

8.454561352742308,50,0,1,1

8.458491369609806,50,1,0,1

8.536952043157921,50,0,1,1

8.552452767449088,50,1,0,1

8.71201920564201,50,0,1,1

8.755773063317815,50,1,0,1

9.005864930217443,50,0,1,1

9.03115599597214,50,1,0,1

9.207976058404824,50,0,1,1

9.21373123319199,50,1,0,1

9.390193931605765,50,0,0,0

46.06296868918338,50,0,0,0

]]></CSV>

</Simulation>

<Log>

<Entry Count="1" Message="-Initialization..." Position="1231854381.149" Type="INFO"></Entry>

<Entry Count="1" Message="--Computing initial state" Position="1231854381.164" Type="INFO"></Entry>

<Entry Count="1" Message="--Abstracting activation map..." Position="1231854381.164" Type="INFO"></Entry>

<Entry Count="1" Message="--Abstraction: 0.0 sec. CPU" Position="1231854381.164" Type="INFO"></Entry>

<Entry Count="1" Message="--Activation map computed" Position="1231854381.164" Type="INFO"></Entry>

<Entry Count="1" Message="-Initialization: 0.0 sec. CPU" Position="1231854381.164" Type="INFO"></Entry>

<Entry Count="1" Message="-Simulation..." Position="1231854381.164" Type="INFO"></Entry>

<Entry Count="1" Message="-Simulation: 0.046875 sec. CPU" Position="1231854381.227" Type="INFO"></Entry>

<Entry Count="1" Message="-Building xml tree for influence map: 0.0 sec. CPU" Position="1231854381.242" Type="INFO"></Entry>

<Entry Count="1" Message="-Building xml tree for data points: 0.515625 sec. CPU" Position="1231854381.789" Type="INFO"></Entry>

</Log>

</SimplxSession>