--- [AT MOST ONCE] NORMAL ---


PASSED


--- [AT MOST ONCE] NORMAL NON-UNIQUE ---


PASSED


--- [AT MOST ONCE] DELAYED ---


PASSED


--- [AT MOST ONCE] DUPLICATED ---


PASSED


--- [AT MOST ONCE] DELAYED+DUPLICATED ---


PASSED


--- [AT MOST ONCE] OLD DUPLICATE ---


PASSED


--- [AT MOST ONCE] DROPPED ---


PASSED


--- [AT MOST ONCE] CHAOS MONKEY ---

Run 1 (seed: 12333592366183857254)
Run 2 (seed: 10929205616224832575)
Run 3 (seed: 8679936508704160982)
Run 4 (seed: 171545101391458864)
Run 5 (seed: 13190435596114367885)
Run 6 (seed: 3627989853363811063)
Run 7 (seed: 14596250857722393042)
Run 8 (seed: 5585812014770048282)
Run 9 (seed: 17711686666064715517)
Run 10 (seed: 7691066476499337985)
Run 11 (seed: 8961382220948064983)
Run 12 (seed: 15107231036125041132)
Run 13 (seed: 7641389333853967220)
Run 14 (seed: 14035651058727238800)
Run 15 (seed: 9322396013090521745)
Run 16 (seed: 104253104025146106)
Run 17 (seed: 2028659694111431238)
Run 18 (seed: 130402639784844387)
Run 19 (seed: 16436914541471698966)
Run 20 (seed: 15442711065996647056)
Run 21 (seed: 1388154154113426011)
Run 22 (seed: 16193197065360627877)
Run 23 (seed: 15022134540493095154)
Run 24 (seed: 4064025670418050683)
Run 25 (seed: 11947501666598766743)
Run 26 (seed: 6458671407301781377)
Run 27 (seed: 8961353690620599739)
Run 28 (seed: 3542855216003381080)
Run 29 (seed: 15173197669003062429)
Run 30 (seed: 170295498078039256)
Run 31 (seed: 5099176573514594689)
Run 32 (seed: 7556712141040962641)
Run 33 (seed: 6897313749636660425)
Run 34 (seed: 9209927187761292249)
Run 35 (seed: 1164272454192430969)
Run 36 (seed: 4404852980520935016)
Run 37 (seed: 3299026194627031169)
Run 38 (seed: 16376355941741034019)
Run 39 (seed: 3927466237986093146)
Run 40 (seed: 12023317268086010550)
Run 41 (seed: 9908523052938046862)
Run 42 (seed: 15009941183871147557)
Run 43 (seed: 107739479617160260)
Run 44 (seed: 4450862289475690787)
Run 45 (seed: 14958028194068675271)
Run 46 (seed: 3095157372118759890)
Run 47 (seed: 4947671818861816928)
Run 48 (seed: 6589725920067569022)
Run 49 (seed: 15186562948153955708)
Run 50 (seed: 6784971547803778249)
Run 51 (seed: 10877117705451662535)
Run 52 (seed: 3202630392063278210)
Run 53 (seed: 15179076886049108891)
Run 54 (seed: 6871361895827376933)
Run 55 (seed: 10074648920077307249)
Run 56 (seed: 16100181319867438241)
Run 57 (seed: 17230765865596880919)
Run 58 (seed: 10001054411291911472)
Run 59 (seed: 1958555624577177594)
Run 60 (seed: 17831664321835228166)
Run 61 (seed: 13423311929448068392)
Run 62 (seed: 1372275019382163820)
Run 63 (seed: 15356550009329291967)
Run 64 (seed: 565520092841612605)
Run 65 (seed: 11397893455449578130)
Run 66 (seed: 4599860667075495336)
Run 67 (seed: 10264489746787218560)
Run 68 (seed: 6912736829848506188)
Run 69 (seed: 7472276210551083254)
Run 70 (seed: 16880755278785363092)
Run 71 (seed: 17387688854445391067)
Run 72 (seed: 14967235416696630982)
Run 73 (seed: 5927092842309656634)
Run 74 (seed: 2503372394671182509)
Run 75 (seed: 6214725621253987212)
Run 76 (seed: 12639663888716199005)
Run 77 (seed: 123249477709624927)
Run 78 (seed: 16602652687661634953)
Run 79 (seed: 11970372473234681968)
Run 80 (seed: 14642476426150457661)
Run 81 (seed: 12807878446724869678)
Run 82 (seed: 3096305292530857956)
Run 83 (seed: 8622171263109020998)
Run 84 (seed: 5852916306317584601)
Run 85 (seed: 5611499515545617885)
Run 86 (seed: 5615454258273196337)
Run 87 (seed: 1704756475992881720)
Run 88 (seed: 5816095910450158735)
Run 89 (seed: 11888208785289206235)
Run 90 (seed: 15095917941496441542)
Run 91 (seed: 7442607772860699812)
Run 92 (seed: 13611408592979964609)
Run 93 (seed: 13499778139320207218)
Run 94 (seed: 17883556959192739499)
Run 95 (seed: 10768759002374443133)
Run 96 (seed: 13908716538482703496)
Run 97 (seed: 6848499993528831048)
Run 98 (seed: 13296495022724117655)
Run 99 (seed: 4630748829485442267)
Run 100 (seed: 8012463017591661763)

PASSED


--- [AT MOST ONCE] OVERHEAD NORMAL ---

100    Send Mem: 660      Recv Mem: 683      Messages: 100      Traffic: 12690    Throughput: 0.896
500    Send Mem: 660      Recv Mem: 683      Messages: 500      Traffic: 63890    Throughput: 0.991
1000   Send Mem: 660      Recv Mem: 683      Messages: 1000     Traffic: 127890   Throughput: 0.960

PASSED


--- [AT MOST ONCE] OVERHEAD FAULTY ---

100    Send Mem: 660      Recv Mem: 1343     Messages: 100      Traffic: 12690    Throughput: 1.038
500    Send Mem: 660      Recv Mem: 5483     Messages: 500      Traffic: 63890    Throughput: 1.030
1000   Send Mem: 660      Recv Mem: 10595    Messages: 1000     Traffic: 127890   Throughput: 0.975

PASSED


--- [AT MOST ONCE] MODEL CHECKING ---


PASSED


--- [AT MOST ONCE] MODEL CHECKING MESSAGE DROPS ---


PASSED


--- [AT MOST ONCE] MODEL CHECKING UNSTABLE NETWORK ---


PASSED


--- [AT LEAST ONCE] NORMAL ---


PASSED


--- [AT LEAST ONCE] NORMAL NON-UNIQUE ---


PASSED


--- [AT LEAST ONCE] DELAYED ---


PASSED


--- [AT LEAST ONCE] DUPLICATED ---


PASSED


--- [AT LEAST ONCE] DELAYED+DUPLICATED ---


PASSED


--- [AT LEAST ONCE] DROPPED ---


PASSED


--- [AT LEAST ONCE] CHAOS MONKEY ---

Run 1 (seed: 12333592366183857254)
Run 2 (seed: 10929205616224832575)
Run 3 (seed: 8679936508704160982)
Run 4 (seed: 171545101391458864)
Run 5 (seed: 13190435596114367885)
Run 6 (seed: 3627989853363811063)
Run 7 (seed: 14596250857722393042)
Run 8 (seed: 5585812014770048282)
Run 9 (seed: 17711686666064715517)
Run 10 (seed: 7691066476499337985)
Run 11 (seed: 8961382220948064983)
Run 12 (seed: 15107231036125041132)
Run 13 (seed: 7641389333853967220)
Run 14 (seed: 14035651058727238800)
Run 15 (seed: 9322396013090521745)
Run 16 (seed: 104253104025146106)
Run 17 (seed: 2028659694111431238)
Run 18 (seed: 130402639784844387)
Run 19 (seed: 16436914541471698966)
Run 20 (seed: 15442711065996647056)
Run 21 (seed: 1388154154113426011)
Run 22 (seed: 16193197065360627877)
Run 23 (seed: 15022134540493095154)
Run 24 (seed: 4064025670418050683)
Run 25 (seed: 11947501666598766743)
Run 26 (seed: 6458671407301781377)
Run 27 (seed: 8961353690620599739)
Run 28 (seed: 3542855216003381080)
Run 29 (seed: 15173197669003062429)
Run 30 (seed: 170295498078039256)
Run 31 (seed: 5099176573514594689)
Run 32 (seed: 7556712141040962641)
Run 33 (seed: 6897313749636660425)
Run 34 (seed: 9209927187761292249)
Run 35 (seed: 1164272454192430969)
Run 36 (seed: 4404852980520935016)
Run 37 (seed: 3299026194627031169)
Run 38 (seed: 16376355941741034019)
Run 39 (seed: 3927466237986093146)
Run 40 (seed: 12023317268086010550)
Run 41 (seed: 9908523052938046862)
Run 42 (seed: 15009941183871147557)
Run 43 (seed: 107739479617160260)
Run 44 (seed: 4450862289475690787)
Run 45 (seed: 14958028194068675271)
Run 46 (seed: 3095157372118759890)
Run 47 (seed: 4947671818861816928)
Run 48 (seed: 6589725920067569022)
Run 49 (seed: 15186562948153955708)
Run 50 (seed: 6784971547803778249)
Run 51 (seed: 10877117705451662535)
Run 52 (seed: 3202630392063278210)
Run 53 (seed: 15179076886049108891)
Run 54 (seed: 6871361895827376933)
Run 55 (seed: 10074648920077307249)
Run 56 (seed: 16100181319867438241)
Run 57 (seed: 17230765865596880919)
Run 58 (seed: 10001054411291911472)
Run 59 (seed: 1958555624577177594)
Run 60 (seed: 17831664321835228166)
Run 61 (seed: 13423311929448068392)
Run 62 (seed: 1372275019382163820)
Run 63 (seed: 15356550009329291967)
Run 64 (seed: 565520092841612605)
Run 65 (seed: 11397893455449578130)
Run 66 (seed: 4599860667075495336)
Run 67 (seed: 10264489746787218560)
Run 68 (seed: 6912736829848506188)
Run 69 (seed: 7472276210551083254)
Run 70 (seed: 16880755278785363092)
Run 71 (seed: 17387688854445391067)
Run 72 (seed: 14967235416696630982)
Run 73 (seed: 5927092842309656634)
Run 74 (seed: 2503372394671182509)
Run 75 (seed: 6214725621253987212)
Run 76 (seed: 12639663888716199005)
Run 77 (seed: 123249477709624927)
Run 78 (seed: 16602652687661634953)
Run 79 (seed: 11970372473234681968)
Run 80 (seed: 14642476426150457661)
Run 81 (seed: 12807878446724869678)
Run 82 (seed: 3096305292530857956)
Run 83 (seed: 8622171263109020998)
Run 84 (seed: 5852916306317584601)
Run 85 (seed: 5611499515545617885)
Run 86 (seed: 5615454258273196337)
Run 87 (seed: 1704756475992881720)
Run 88 (seed: 5816095910450158735)
Run 89 (seed: 11888208785289206235)
Run 90 (seed: 15095917941496441542)
Run 91 (seed: 7442607772860699812)
Run 92 (seed: 13611408592979964609)
Run 93 (seed: 13499778139320207218)
Run 94 (seed: 17883556959192739499)
Run 95 (seed: 10768759002374443133)
Run 96 (seed: 13908716538482703496)
Run 97 (seed: 6848499993528831048)
Run 98 (seed: 13296495022724117655)
Run 99 (seed: 4630748829485442267)
Run 100 (seed: 8012463017591661763)

PASSED


--- [AT LEAST ONCE] OVERHEAD NORMAL ---

100    Send Mem: 1423     Recv Mem: 461      Messages: 200      Traffic: 14080    Throughput: 1.014
500    Send Mem: 1777     Recv Mem: 461      Messages: 1000     Traffic: 71280    Throughput: 1.075
1000   Send Mem: 1777     Recv Mem: 461      Messages: 2000     Traffic: 142780   Throughput: 0.996

PASSED


--- [AT LEAST ONCE] OVERHEAD FAULTY ---

100    Send Mem: 2588     Recv Mem: 461      Messages: 420      Traffic: 29337    Throughput: 0.929
500    Send Mem: 3119     Recv Mem: 461      Messages: 2152     Traffic: 151385   Throughput: 0.928
1000   Send Mem: 4186     Recv Mem: 461      Messages: 4484     Traffic: 314837   Throughput: 1.006

PASSED


--- [AT LEAST ONCE] MODEL CHECKING ---


PASSED


--- [AT LEAST ONCE] MODEL CHECKING MESSAGE DROPS ---


PASSED


--- [AT LEAST ONCE] MODEL CHECKING UNSTABLE NETWORK ---


PASSED


--- [EXACTLY ONCE] NORMAL ---


PASSED


--- [EXACTLY ONCE] NORMAL NON-UNIQUE ---


PASSED


--- [EXACTLY ONCE] DELAYED ---


PASSED


--- [EXACTLY ONCE] DUPLICATED ---


PASSED


--- [EXACTLY ONCE] DELAYED+DUPLICATED ---


PASSED


--- [EXACTLY ONCE] DROPPED ---


PASSED


--- [EXACTLY ONCE] CHAOS MONKEY ---

Run 1 (seed: 12333592366183857254)
Run 2 (seed: 10929205616224832575)
Run 3 (seed: 8679936508704160982)
Run 4 (seed: 171545101391458864)
Run 5 (seed: 13190435596114367885)
Run 6 (seed: 3627989853363811063)
Run 7 (seed: 14596250857722393042)
Run 8 (seed: 5585812014770048282)
Run 9 (seed: 17711686666064715517)
Run 10 (seed: 7691066476499337985)
Run 11 (seed: 8961382220948064983)
Run 12 (seed: 15107231036125041132)
Run 13 (seed: 7641389333853967220)
Run 14 (seed: 14035651058727238800)
Run 15 (seed: 9322396013090521745)
Run 16 (seed: 104253104025146106)
Run 17 (seed: 2028659694111431238)
Run 18 (seed: 130402639784844387)
Run 19 (seed: 16436914541471698966)
Run 20 (seed: 15442711065996647056)
Run 21 (seed: 1388154154113426011)
Run 22 (seed: 16193197065360627877)
Run 23 (seed: 15022134540493095154)
Run 24 (seed: 4064025670418050683)
Run 25 (seed: 11947501666598766743)
Run 26 (seed: 6458671407301781377)
Run 27 (seed: 8961353690620599739)
Run 28 (seed: 3542855216003381080)
Run 29 (seed: 15173197669003062429)
Run 30 (seed: 170295498078039256)
Run 31 (seed: 5099176573514594689)
Run 32 (seed: 7556712141040962641)
Run 33 (seed: 6897313749636660425)
Run 34 (seed: 9209927187761292249)
Run 35 (seed: 1164272454192430969)
Run 36 (seed: 4404852980520935016)
Run 37 (seed: 3299026194627031169)
Run 38 (seed: 16376355941741034019)
Run 39 (seed: 3927466237986093146)
Run 40 (seed: 12023317268086010550)
Run 41 (seed: 9908523052938046862)
Run 42 (seed: 15009941183871147557)
Run 43 (seed: 107739479617160260)
Run 44 (seed: 4450862289475690787)
Run 45 (seed: 14958028194068675271)
Run 46 (seed: 3095157372118759890)
Run 47 (seed: 4947671818861816928)
Run 48 (seed: 6589725920067569022)
Run 49 (seed: 15186562948153955708)
Run 50 (seed: 6784971547803778249)
Run 51 (seed: 10877117705451662535)
Run 52 (seed: 3202630392063278210)
Run 53 (seed: 15179076886049108891)
Run 54 (seed: 6871361895827376933)
Run 55 (seed: 10074648920077307249)
Run 56 (seed: 16100181319867438241)
Run 57 (seed: 17230765865596880919)
Run 58 (seed: 10001054411291911472)
Run 59 (seed: 1958555624577177594)
Run 60 (seed: 17831664321835228166)
Run 61 (seed: 13423311929448068392)
Run 62 (seed: 1372275019382163820)
Run 63 (seed: 15356550009329291967)
Run 64 (seed: 565520092841612605)
Run 65 (seed: 11397893455449578130)
Run 66 (seed: 4599860667075495336)
Run 67 (seed: 10264489746787218560)
Run 68 (seed: 6912736829848506188)
Run 69 (seed: 7472276210551083254)
Run 70 (seed: 16880755278785363092)
Run 71 (seed: 17387688854445391067)
Run 72 (seed: 14967235416696630982)
Run 73 (seed: 5927092842309656634)
Run 74 (seed: 2503372394671182509)
Run 75 (seed: 6214725621253987212)
Run 76 (seed: 12639663888716199005)
Run 77 (seed: 123249477709624927)
Run 78 (seed: 16602652687661634953)
Run 79 (seed: 11970372473234681968)
Run 80 (seed: 14642476426150457661)
Run 81 (seed: 12807878446724869678)
Run 82 (seed: 3096305292530857956)
Run 83 (seed: 8622171263109020998)
Run 84 (seed: 5852916306317584601)
Run 85 (seed: 5611499515545617885)
Run 86 (seed: 5615454258273196337)
Run 87 (seed: 1704756475992881720)
Run 88 (seed: 5816095910450158735)
Run 89 (seed: 11888208785289206235)
Run 90 (seed: 15095917941496441542)
Run 91 (seed: 7442607772860699812)
Run 92 (seed: 13611408592979964609)
Run 93 (seed: 13499778139320207218)
Run 94 (seed: 17883556959192739499)
Run 95 (seed: 10768759002374443133)
Run 96 (seed: 13908716538482703496)
Run 97 (seed: 6848499993528831048)
Run 98 (seed: 13296495022724117655)
Run 99 (seed: 4630748829485442267)
Run 100 (seed: 8012463017591661763)

PASSED


--- [EXACTLY ONCE] OVERHEAD NORMAL ---

100    Send Mem: 1423     Recv Mem: 683      Messages: 200      Traffic: 14080    Throughput: 1.014
500    Send Mem: 1777     Recv Mem: 683      Messages: 1000     Traffic: 71280    Throughput: 1.075
1000   Send Mem: 1777     Recv Mem: 683      Messages: 2000     Traffic: 142780   Throughput: 0.996

PASSED


--- [EXACTLY ONCE] OVERHEAD FAULTY ---

100    Send Mem: 2588     Recv Mem: 727      Messages: 420      Traffic: 29337    Throughput: 0.929
500    Send Mem: 3119     Recv Mem: 827      Messages: 2152     Traffic: 151385   Throughput: 0.928
1000   Send Mem: 4186     Recv Mem: 799      Messages: 4484     Traffic: 314837   Throughput: 1.006

PASSED


--- [EXACTLY ONCE] MODEL CHECKING ---


PASSED


--- [EXACTLY ONCE] MODEL CHECKING MESSAGE DROPS ---


PASSED


--- [EXACTLY ONCE] MODEL CHECKING UNSTABLE NETWORK ---


PASSED


--- [EXACTLY ONCE ORDERED] NORMAL ---


PASSED


--- [EXACTLY ONCE ORDERED] NORMAL NON-UNIQUE ---


PASSED


--- [EXACTLY ONCE ORDERED] DELAYED ---


PASSED


--- [EXACTLY ONCE ORDERED] DUPLICATED ---


PASSED


--- [EXACTLY ONCE ORDERED] DELAYED+DUPLICATED ---


PASSED


--- [EXACTLY ONCE ORDERED] DROPPED ---


PASSED


--- [EXACTLY ONCE ORDERED] CHAOS MONKEY ---

Run 1 (seed: 12333592366183857254)
Run 2 (seed: 10929205616224832575)
Run 3 (seed: 8679936508704160982)
Run 4 (seed: 171545101391458864)
Run 5 (seed: 13190435596114367885)
Run 6 (seed: 3627989853363811063)
Run 7 (seed: 14596250857722393042)
Run 8 (seed: 5585812014770048282)
Run 9 (seed: 17711686666064715517)
Run 10 (seed: 7691066476499337985)
Run 11 (seed: 8961382220948064983)
Run 12 (seed: 15107231036125041132)
Run 13 (seed: 7641389333853967220)
Run 14 (seed: 14035651058727238800)
Run 15 (seed: 9322396013090521745)
Run 16 (seed: 104253104025146106)
Run 17 (seed: 2028659694111431238)
Run 18 (seed: 130402639784844387)
Run 19 (seed: 16436914541471698966)
Run 20 (seed: 15442711065996647056)
Run 21 (seed: 1388154154113426011)
Run 22 (seed: 16193197065360627877)
Run 23 (seed: 15022134540493095154)
Run 24 (seed: 4064025670418050683)
Run 25 (seed: 11947501666598766743)
Run 26 (seed: 6458671407301781377)
Run 27 (seed: 8961353690620599739)
Run 28 (seed: 3542855216003381080)
Run 29 (seed: 15173197669003062429)
Run 30 (seed: 170295498078039256)
Run 31 (seed: 5099176573514594689)
Run 32 (seed: 7556712141040962641)
Run 33 (seed: 6897313749636660425)
Run 34 (seed: 9209927187761292249)
Run 35 (seed: 1164272454192430969)
Run 36 (seed: 4404852980520935016)
Run 37 (seed: 3299026194627031169)
Run 38 (seed: 16376355941741034019)
Run 39 (seed: 3927466237986093146)
Run 40 (seed: 12023317268086010550)
Run 41 (seed: 9908523052938046862)
Run 42 (seed: 15009941183871147557)
Run 43 (seed: 107739479617160260)
Run 44 (seed: 4450862289475690787)
Run 45 (seed: 14958028194068675271)
Run 46 (seed: 3095157372118759890)
Run 47 (seed: 4947671818861816928)
Run 48 (seed: 6589725920067569022)
Run 49 (seed: 15186562948153955708)
Run 50 (seed: 6784971547803778249)
Run 51 (seed: 10877117705451662535)
Run 52 (seed: 3202630392063278210)
Run 53 (seed: 15179076886049108891)
Run 54 (seed: 6871361895827376933)
Run 55 (seed: 10074648920077307249)
Run 56 (seed: 16100181319867438241)
Run 57 (seed: 17230765865596880919)
Run 58 (seed: 10001054411291911472)
Run 59 (seed: 1958555624577177594)
Run 60 (seed: 17831664321835228166)
Run 61 (seed: 13423311929448068392)
Run 62 (seed: 1372275019382163820)
Run 63 (seed: 15356550009329291967)
Run 64 (seed: 565520092841612605)
Run 65 (seed: 11397893455449578130)
Run 66 (seed: 4599860667075495336)
Run 67 (seed: 10264489746787218560)
Run 68 (seed: 6912736829848506188)
Run 69 (seed: 7472276210551083254)
Run 70 (seed: 16880755278785363092)
Run 71 (seed: 17387688854445391067)
Run 72 (seed: 14967235416696630982)
Run 73 (seed: 5927092842309656634)
Run 74 (seed: 2503372394671182509)
Run 75 (seed: 6214725621253987212)
Run 76 (seed: 12639663888716199005)
Run 77 (seed: 123249477709624927)
Run 78 (seed: 16602652687661634953)
Run 79 (seed: 11970372473234681968)
Run 80 (seed: 14642476426150457661)
Run 81 (seed: 12807878446724869678)
Run 82 (seed: 3096305292530857956)
Run 83 (seed: 8622171263109020998)
Run 84 (seed: 5852916306317584601)
Run 85 (seed: 5611499515545617885)
Run 86 (seed: 5615454258273196337)
Run 87 (seed: 1704756475992881720)
Run 88 (seed: 5816095910450158735)
Run 89 (seed: 11888208785289206235)
Run 90 (seed: 15095917941496441542)
Run 91 (seed: 7442607772860699812)
Run 92 (seed: 13611408592979964609)
Run 93 (seed: 13499778139320207218)
Run 94 (seed: 17883556959192739499)
Run 95 (seed: 10768759002374443133)
Run 96 (seed: 13908716538482703496)
Run 97 (seed: 6848499993528831048)
Run 98 (seed: 13296495022724117655)
Run 99 (seed: 4630748829485442267)
Run 100 (seed: 8012463017591661763)

PASSED


--- [EXACTLY ONCE ORDERED] OVERHEAD NORMAL ---

100    Send Mem: 1423     Recv Mem: 667      Messages: 200      Traffic: 14080    Throughput: 1.014
500    Send Mem: 1777     Recv Mem: 667      Messages: 1000     Traffic: 71280    Throughput: 1.075
1000   Send Mem: 1777     Recv Mem: 667      Messages: 2000     Traffic: 142780   Throughput: 0.996

PASSED


--- [EXACTLY ONCE ORDERED] OVERHEAD FAULTY ---

100    Send Mem: 2588     Recv Mem: 1309     Messages: 420      Traffic: 29337    Throughput: 0.929
500    Send Mem: 3119     Recv Mem: 2725     Messages: 2152     Traffic: 151385   Throughput: 0.928
1000   Send Mem: 4186     Recv Mem: 2725     Messages: 4484     Traffic: 314837   Throughput: 1.006

PASSED


--- [EXACTLY ONCE ORDERED] MODEL CHECKING ---


PASSED


--- [EXACTLY ONCE ORDERED] MODEL CHECKING MESSAGE DROPS ---


PASSED


--- [EXACTLY ONCE ORDERED] MODEL CHECKING UNSTABLE NETWORK ---


PASSED

-------------------------------------------------------------------------------

Passed 49 from 49 tests

SCORE: 9