From d505fbbd3112e85888bd967f0f47b2343a0182a5 Mon Sep 17 00:00:00 2001 From: Sebastian Huber Date: Thu, 3 Nov 2016 08:22:59 +0100 Subject: smptests/smplock01: Update screen file --- testsuites/smptests/smplock01/smplock01.py | 4 +- testsuites/smptests/smplock01/smplock01.scn | 3106 +++++++++++++-------------- 2 files changed, 1555 insertions(+), 1555 deletions(-) diff --git a/testsuites/smptests/smplock01/smplock01.py b/testsuites/smptests/smplock01/smplock01.py index f8189f32ff..4a4f794620 100644 --- a/testsuites/smptests/smplock01/smplock01.py +++ b/testsuites/smptests/smplock01/smplock01.py @@ -23,10 +23,10 @@ plt.ylabel('Operation Count') y = map(xmlNode.getContent, ctx.xpathEval('/SMPLock01/GlobalTicketLockWithLocalCounter/SumOfLocalCounter')) x = range(1, len(y) + 1) -plt.plot(x, y, label = 'Global Ticket Lock') +plt.plot(x, y, label = 'Global Ticket Lock', marker = 'o') y = map(xmlNode.getContent, ctx.xpathEval('/SMPLock01/GlobalMCSLockWithLocalCounter/SumOfLocalCounter')) -plt.plot(x, y, label = 'Global MCS Lock') +plt.plot(x, y, label = 'Global MCS Lock', marker = 'o') plt.legend(loc = 'best') plt.show() diff --git a/testsuites/smptests/smplock01/smplock01.scn b/testsuites/smptests/smplock01/smplock01.scn index 03b2af32af..33062e72c6 100644 --- a/testsuites/smptests/smplock01/smplock01.scn +++ b/testsuites/smptests/smplock01/smplock01.scn @@ -1,1784 +1,1784 @@ *** BEGIN OF TEST SMPLOCK 1 *** - 18398214 + 18488947 0 - 18398214 + 18488947 - 3818444 - 3818595 + 10408771 + 10408970 0 - 7637039 + 20817741 - 1919976 - 1919985 - 1919953 + 5792952 + 5793000 + 5793002 0 - 5759914 + 17378954 - 1487437 - 1487431 - 1487432 - 1487421 + 4199979 + 4199989 + 4199995 + 4199989 0 - 5949721 + 16799952 - 1148919 - 1148898 - 1148900 - 1148852 - 1148909 + 3341769 + 3341779 + 3341783 + 3341776 + 3341784 0 - 5744478 + 16708891 - 930242 - 930202 - 930199 - 930184 - 930181 - 930230 - 0 - 5581238 + 2766306 + 2766318 + 2766317 + 2766314 + 2766317 + 2766315 + 0 + 16597887 - 779079 - 778991 - 778995 - 778990 - 778981 - 778985 - 778987 - 0 - 5453008 + 2369782 + 2369785 + 2369785 + 2369784 + 2369787 + 2369784 + 2369786 + 0 + 16588493 - 654604 - 651632 - 651569 - 651546 - 651563 - 651567 - 651596 - 653615 - 0 - 5217692 + 2088876 + 2088876 + 2088878 + 2088877 + 2088879 + 2088876 + 2088879 + 2088880 + 0 + 16711021 - 534418 - 534312 - 534314 - 534304 - 534309 - 534304 - 534311 - 534303 - 534309 - 0 - 4808884 + 535373 + 535382 + 535375 + 535370 + 535381 + 535373 + 535378 + 535378 + 535481 + 0 + 4818491 - 472000 - 470376 - 470345 - 470334 - 470373 - 470401 - 470374 - 470391 - 470370 - 472016 - 0 - 4706980 + 479836 + 479858 + 479853 + 479874 + 479864 + 479821 + 479859 + 479851 + 480851 + 480850 + 0 + 4800517 - 429615 - 428935 - 428953 - 428926 - 428906 - 428880 - 428914 - 428898 - 428907 - 429584 - 429584 - 0 - 4720102 + 433033 + 433024 + 433052 + 433049 + 433048 + 433065 + 433039 + 433068 + 433715 + 433715 + 433753 + 0 + 4765561 - 386115 - 385629 - 385643 - 385644 - 385621 - 385630 - 385638 - 385615 - 385627 - 386087 - 386088 - 386095 - 0 - 4629432 + 393376 + 393356 + 393353 + 393361 + 393368 + 393378 + 393360 + 393341 + 393736 + 393734 + 393743 + 393740 + 0 + 4721846 - 352696 - 352413 - 352429 - 352421 - 352419 - 352411 - 352423 - 352409 - 352415 - 352661 - 352666 - 352666 - 352660 - 0 - 4582689 + 358275 + 358264 + 358271 + 358246 + 358262 + 358250 + 358267 + 358266 + 358538 + 358534 + 358532 + 358533 + 358608 + 0 + 4658846 - 324515 - 324378 - 324389 - 324381 - 324382 - 324372 - 324380 - 324380 - 324370 - 324483 - 324482 - 324482 - 324479 - 324509 - 0 - 4541982 + 330667 + 330677 + 330652 + 330656 + 330682 + 330655 + 330679 + 330662 + 330843 + 330837 + 330842 + 330840 + 330841 + 330835 + 0 + 4630368 - 301306 - 301217 - 301212 - 301217 - 301219 - 301218 - 301213 - 301212 - 301215 - 301273 - 301271 - 301274 - 301273 - 301270 - 301270 - 0 - 4518660 + 304222 + 304232 + 304211 + 304202 + 304212 + 304232 + 304228 + 304206 + 304350 + 304350 + 304349 + 304361 + 304367 + 304350 + 304522 + 0 + 4564394 - 282744 - 282629 - 282622 - 282627 - 282620 - 282617 - 282616 - 282618 - 282624 - 282662 - 282664 - 282663 - 282662 - 282658 - 282662 - 282693 - 0 - 4522381 + 274413 + 274412 + 274414 + 274402 + 274409 + 274410 + 274404 + 274401 + 274407 + 274410 + 274415 + 274412 + 274404 + 274426 + 274414 + 274412 + 0 + 4390565 - 259579 - 259524 - 259529 - 259530 - 259529 - 259532 - 259530 - 259536 - 259529 - 259533 - 259527 - 259529 - 259533 - 259527 - 259528 - 259524 - 259536 - 0 - 4412055 + 259630 + 259619 + 259621 + 259624 + 259622 + 259621 + 259631 + 259632 + 259629 + 259621 + 259619 + 259623 + 259632 + 259628 + 259627 + 259623 + 259673 + 0 + 4413675 - 239835 - 239813 - 239814 - 239810 - 239811 - 239817 - 239813 - 239814 - 239815 - 239816 - 239815 - 239813 - 239813 - 239817 - 239813 - 239812 - 239811 - 239834 - 0 - 4316686 + 237091 + 237091 + 237091 + 237089 + 237090 + 237090 + 237088 + 237092 + 237092 + 237095 + 237093 + 237091 + 237090 + 237090 + 237091 + 237092 + 237111 + 237110 + 0 + 4267677 - 223254 - 223225 - 223227 - 223222 - 223224 - 223223 - 223220 - 223216 - 223217 - 223222 - 223219 - 223221 - 223223 - 223225 - 223219 - 223222 - 223223 - 223249 - 223251 - 0 - 4241302 + 224860 + 224860 + 224859 + 224858 + 224859 + 224862 + 224861 + 224861 + 224862 + 224860 + 224860 + 224859 + 224865 + 224862 + 224859 + 224859 + 224884 + 224880 + 224881 + 0 + 4272411 - 213739 - 213709 - 213708 - 213708 - 213707 - 213710 - 213708 - 213710 - 213708 - 213710 - 213710 - 213710 - 213711 - 213714 - 213714 - 213708 - 213710 - 213732 - 213734 - 213735 - 0 - 4274295 + 212719 + 212721 + 212721 + 212720 + 212724 + 212725 + 212726 + 212725 + 212723 + 212724 + 212721 + 212720 + 212724 + 212722 + 212726 + 212726 + 212743 + 212744 + 212744 + 212745 + 0 + 4254543 - 198998 - 198980 - 198986 - 198983 - 198981 - 198983 - 198983 - 198981 - 198981 - 198983 - 198982 - 198981 - 198982 - 198983 - 198984 - 198984 - 198982 - 198992 - 198994 - 198993 - 198995 - 0 - 4178691 + 198923 + 198922 + 198921 + 198921 + 198921 + 198923 + 198921 + 198924 + 198922 + 198920 + 198922 + 198922 + 198924 + 198922 + 198921 + 198922 + 198930 + 198930 + 198929 + 198929 + 198933 + 0 + 4177402 - 192361 - 192346 - 192349 - 192348 - 192348 - 192350 - 192346 - 192349 - 192348 - 192346 - 192346 - 192345 - 192346 - 192348 - 192346 - 192347 - 192350 - 192356 - 192355 - 192357 - 192356 - 192358 - 0 - 4231701 + 189448 + 189450 + 189449 + 189448 + 189449 + 189450 + 189447 + 189446 + 189447 + 189447 + 189448 + 189449 + 189449 + 189450 + 189447 + 189449 + 189454 + 189452 + 189453 + 189453 + 189455 + 189453 + 0 + 4167893 - 176769 - 176761 - 176760 - 176759 - 176760 - 176757 - 176759 - 176758 - 176759 - 176759 - 176759 - 176760 - 176758 - 176758 - 176760 - 176759 - 176757 - 176761 - 176763 - 176760 - 176762 - 176763 - 176762 - 0 - 4065483 + 177492 + 177490 + 177489 + 177490 + 177491 + 177491 + 177491 + 177491 + 177492 + 177490 + 177492 + 177489 + 177491 + 177489 + 177491 + 177491 + 177494 + 177493 + 177493 + 177495 + 177493 + 177492 + 177498 + 0 + 4082308 - 164847 - 164844 - 164845 - 164845 - 164846 - 164844 - 164846 - 164845 - 164845 - 164845 - 164846 - 164844 - 164846 - 164846 - 164846 - 164845 - 164846 - 164846 - 164847 - 164845 - 164845 - 164845 - 164846 - 164846 - 0 - 3956291 + 164885 + 164884 + 164884 + 164885 + 164884 + 164886 + 164887 + 164888 + 164885 + 164885 + 164884 + 164884 + 164884 + 164885 + 164886 + 164884 + 164883 + 164884 + 164885 + 164885 + 164884 + 164884 + 164884 + 164884 + 0 + 3957233 - 13057243 + 13052163 0 - 13057243 + 13052163 - 1266595 - 1266587 + 6249883 + 6250063 0 - 2533182 + 12499946 - 1806557 - 1806541 - 1806556 + 2971593 + 2971609 + 2971610 0 - 5419654 + 8914812 - 1799359 - 1799355 - 1799361 - 1799358 + 2917683 + 2917704 + 2917704 + 2917698 0 - 7197433 + 11670789 - 1809548 - 1809543 - 1809545 - 1809547 - 1809545 + 3024302 + 3024315 + 3024315 + 3024313 + 3024315 0 - 9047728 + 15121560 - 1572945 - 1572938 - 1572941 - 1572942 - 1572941 - 1572939 - 0 - 9437646 + 2592858 + 2592873 + 2592872 + 2592868 + 2592869 + 2592872 + 0 + 15557212 - 1488244 - 1488238 - 1488242 - 1488243 - 1488241 - 1488240 - 1488242 - 0 - 10417690 + 2210518 + 2210526 + 2210526 + 2210524 + 2210526 + 2210527 + 2210526 + 0 + 15473673 - 1326735 - 1326731 - 1326732 - 1326732 - 1326730 - 1326731 - 1326733 - 1326732 - 0 - 10613856 + 1911334 + 1911340 + 1911340 + 1911339 + 1911340 + 1911341 + 1911341 + 1911338 + 0 + 15290713 - 1227563 - 1227561 - 1227561 - 1227562 - 1227558 - 1227561 - 1227561 - 1227562 - 1227559 - 0 - 11048048 + 1222955 + 1222958 + 1222958 + 1222956 + 1222959 + 1222958 + 1222959 + 1222957 + 1222957 + 0 + 11006617 - 894577 - 894574 - 894575 - 894576 - 894575 - 894575 - 894576 - 894575 - 894575 - 894575 - 0 - 8945753 + 1033322 + 1033324 + 1033322 + 1033322 + 1033323 + 1033323 + 1033324 + 1033323 + 1033323 + 1033322 + 0 + 10333228 - 791584 - 791584 - 791583 - 791582 - 791584 - 791582 - 791584 - 791582 - 791583 - 791583 - 791584 - 0 - 8707415 + 782867 + 782869 + 782869 + 782868 + 782867 + 782869 + 782869 + 782868 + 782868 + 782866 + 782868 + 0 + 8611548 - 700121 - 700119 - 700118 - 700118 - 700117 - 700117 - 700119 - 700119 - 700118 - 700118 - 700119 - 700118 - 0 - 8401421 + 667681 + 667683 + 667684 + 667682 + 667684 + 667683 + 667682 + 667683 + 667684 + 667683 + 667683 + 667682 + 0 + 8012194 - 612928 - 612926 - 612925 - 612927 - 612925 - 612925 - 612925 - 612925 - 612924 - 612925 - 612926 - 612926 - 612925 - 0 - 7968032 + 601940 + 601943 + 601942 + 601941 + 601943 + 601942 + 601943 + 601942 + 601942 + 601942 + 601943 + 601942 + 601942 + 0 + 7825247 - 615640 - 615637 - 615638 - 615638 - 615637 - 615636 - 615637 - 615636 - 615633 - 615638 - 615638 - 615637 - 615637 - 615635 - 0 - 8618917 + 592663 + 592666 + 592665 + 592665 + 592664 + 592667 + 592665 + 592665 + 592665 + 592664 + 592666 + 592665 + 592665 + 592666 + 0 + 8297311 - 494010 - 494005 - 494007 - 494003 - 494006 - 494003 - 494003 - 494003 - 494005 - 494002 - 494006 - 494005 - 494004 - 494002 - 494003 - 0 - 7410067 + 493086 + 493087 + 493086 + 493087 + 493087 + 493087 + 493087 + 493087 + 493087 + 493086 + 493086 + 493087 + 493087 + 493086 + 493089 + 0 + 7396302 - 452311 - 452308 - 452307 - 452304 - 452306 - 452306 - 452306 - 452305 - 452306 - 452305 - 452308 - 452302 - 452304 - 452307 - 452305 - 452307 - 0 - 7236897 + 462384 + 462386 + 462387 + 462386 + 462384 + 462385 + 462384 + 462384 + 462386 + 462385 + 462385 + 462384 + 462384 + 462385 + 462384 + 462385 + 0 + 7398158 - 411836 - 411832 - 411832 - 411831 - 411830 - 411830 - 411835 - 411833 - 411830 - 411832 - 411833 - 411829 - 411833 - 411833 - 411831 - 411833 - 411828 - 0 - 7001141 + 444000 + 443997 + 443999 + 443999 + 444003 + 443999 + 443999 + 443999 + 444003 + 443997 + 444002 + 443998 + 444002 + 443995 + 444003 + 444000 + 444006 + 0 + 7548001 - 467016 - 466996 - 467001 - 466994 - 466989 - 466986 - 466991 - 466994 - 466973 - 466976 - 466993 - 466996 - 467008 - 467005 - 466998 - 467002 - 466990 - 467009 - 0 - 8405917 + 405647 + 405651 + 405648 + 405644 + 405646 + 405651 + 405646 + 405646 + 405645 + 405647 + 405653 + 405650 + 405648 + 405650 + 405648 + 405648 + 405649 + 405646 + 0 + 7301663 - 370400 - 370402 - 370401 - 370408 - 370401 - 370404 - 370404 - 370410 - 370410 - 370403 - 370399 - 370408 - 370401 - 370399 - 370401 - 370398 - 370401 - 370396 - 370396 - 0 - 7037642 + 368682 + 368649 + 368690 + 368691 + 368656 + 368663 + 368673 + 368669 + 368677 + 368677 + 368679 + 368687 + 368688 + 368686 + 368677 + 368681 + 368601 + 368584 + 368598 + 0 + 7004608 - 391059 - 392308 - 392294 - 392312 - 392291 - 392348 - 392321 - 392268 - 392312 - 392486 - 392486 - 392471 - 392499 - 392452 - 392467 - 392478 - 392436 - 390882 - 390899 - 390972 - 0 - 7842041 + 377161 + 377163 + 377174 + 377191 + 377164 + 377131 + 377141 + 377109 + 377238 + 377231 + 377218 + 377227 + 377244 + 377234 + 377232 + 377216 + 376777 + 376775 + 376769 + 376796 + 0 + 7542191 - 318394 - 332823 - 332655 - 332725 - 332890 - 333114 - 332973 - 332994 - 332878 - 334457 - 334487 - 334425 - 334507 - 334550 - 334514 - 334366 - 334029 - 317461 - 317374 - 317671 - 318126 - 0 - 6927413 + 344202 + 344622 + 344067 + 344419 + 343655 + 343922 + 343404 + 343235 + 352351 + 352850 + 352931 + 352932 + 353155 + 352736 + 352964 + 353029 + 290883 + 290649 + 290744 + 290552 + 291478 + 0 + 7028780 - 331955 - 341916 - 341888 - 342280 - 343635 - 343767 - 343948 - 343914 - 343375 - 343501 - 343454 - 343316 - 343271 - 343456 - 343351 - 343245 - 341111 - 329097 - 329162 - 329303 - 331236 - 332000 - 0 - 7472181 + 320717 + 320587 + 320424 + 320715 + 320905 + 316975 + 316841 + 317262 + 315703 + 319811 + 319117 + 319402 + 320093 + 319963 + 320021 + 320218 + 288739 + 288974 + 289159 + 289033 + 288433 + 284984 + 0 + 6838076 - 308389 - 309721 - 309624 - 309655 - 310504 - 310414 - 310534 - 310443 - 310415 - 310215 - 310278 - 310266 - 310079 - 310083 - 309887 - 310072 - 309153 - 307219 - 307158 - 307167 - 307747 - 307966 - 307630 - 0 - 7114619 + 318178 + 318395 + 319081 + 318467 + 318876 + 315686 + 315218 + 315397 + 313680 + 317143 + 317234 + 317102 + 317395 + 317189 + 317487 + 317394 + 305239 + 304909 + 305590 + 305457 + 305662 + 303160 + 304358 + 0 + 7208297 - 294282 - 294274 - 294265 - 294275 - 294278 - 294265 - 294278 - 294277 - 294265 - 294270 - 294267 - 294273 - 294257 - 294271 - 294274 - 294277 - 294270 - 294269 - 294271 - 294268 - 294267 - 294276 - 294276 - 294269 - 0 - 7062514 + 299263 + 298742 + 300224 + 299675 + 300411 + 292962 + 292878 + 293233 + 286026 + 294896 + 294288 + 294873 + 294293 + 294051 + 294365 + 293904 + 298269 + 298190 + 298452 + 298896 + 299491 + 290312 + 290176 + 298399 + 0 + 7096269 - 149135 - 149134 - 149134 - 149134 - 149135 - 149134 - 149134 - 149135 - 149134 - 149134 - 149134 - 149135 - 149134 - 149135 - 149135 - 149134 - 149134 - 149136 - 149135 - 149134 - 149135 - 149134 - 149134 - 149134 - 3579226 - 3579226 + 149884 + 149885 + 149884 + 149884 + 149884 + 149884 + 149884 + 149885 + 149884 + 149884 + 149885 + 149885 + 149884 + 149884 + 149884 + 149886 + 149884 + 149884 + 149884 + 149885 + 149884 + 149884 + 149884 + 149885 + 3597224 + 3597224 - 172181 - 172178 - 172178 - 172178 - 172180 - 172180 - 172179 - 172179 - 172180 - 172179 - 172179 - 172180 - 172180 - 172178 - 172179 - 172179 - 172179 - 172178 - 172179 - 172180 - 172178 - 172180 - 172179 - 172178 - 4132298 - 4132298 + 207836 + 207836 + 207836 + 207836 + 207835 + 207835 + 207837 + 207837 + 207835 + 207836 + 207836 + 207837 + 207836 + 207836 + 207836 + 207835 + 207836 + 207837 + 207836 + 207835 + 207836 + 207836 + 207835 + 207835 + 4988061 + 4988061 - 18652007 + 18650458 0 - 18652007 + 18650458 - 18740564 - 18739964 + 17783819 + 17785099 0 - 37480528 + 35568918 - 18653030 - 18122134 - 18122915 + 16520473 + 16521638 + 17564324 0 - 54898079 + 50606435 - 18565582 - 17190377 - 17191117 - 17190756 + 16137393 + 16138619 + 16303116 + 16302393 0 - 70137832 + 64881521 - 18665586 - 16212891 - 16213673 - 16081746 - 16081213 + 16215163 + 16216385 + 16419724 + 16418949 + 16568002 0 - 83255109 + 81838223 - 18578108 - 16296115 - 16296806 - 15747768 - 15747301 - 16956328 - 0 - 99622426 + 15565201 + 15566389 + 15685815 + 15685127 + 15620223 + 15620726 + 0 + 93743481 - 18678200 - 15992304 - 15993081 - 15841718 - 15841348 - 15959344 - 15960072 - 0 - 114266067 + 15943795 + 15944974 + 15977607 + 15977022 + 15903753 + 15904253 + 16117471 + 0 + 111768875 - 18589106 - 15875999 - 15876649 - 15818065 - 15815412 - 15846763 - 15847293 - 15916120 - 0 - 129585407 + 15239786 + 15240906 + 15327597 + 15326914 + 15310067 + 15310575 + 15337426 + 15336718 + 0 + 122429989 - 18689087 - 15546911 - 15547569 - 15455961 - 15455418 - 15496903 - 15497497 - 15447033 - 15446640 - 0 - 142583019 + 15454569 + 15455745 + 15503002 + 15502385 + 15413852 + 15414319 + 15520760 + 15520203 + 18688666 + 0 + 142473501 - 18601625 - 15394303 - 15394892 - 15291311 - 15290941 - 15381054 - 15381638 - 15323738 - 15323464 - 18600921 - 0 - 159983887 + 15380608 + 15381745 + 15462107 + 15461369 + 15401483 + 15401869 + 15477566 + 15476963 + 17527446 + 17527935 + 0 + 158499091 - 18700020 - 15533741 - 15534221 - 15404627 - 15404204 - 15487953 - 15488572 - 15400441 - 15399985 - 18154320 - 18155089 - 0 - 178663173 + 15391003 + 15392179 + 15471014 + 15470425 + 15386413 + 15386829 + 15487034 + 15486425 + 16657492 + 16658025 + 17594537 + 0 + 174381376 - 18610943 - 15473224 - 15473800 - 15368894 - 15368360 - 15480650 - 15481411 - 15336787 - 15336385 - 17196268 - 17197013 - 17196671 - 0 - 193520406 + 15339827 + 15341004 + 15416423 + 15415808 + 15324518 + 15324985 + 15428303 + 15427710 + 16046885 + 16047411 + 16267282 + 16266605 + 0 + 187646761 - 18709295 - 15557477 - 15558120 - 15469686 - 15469124 - 15504119 - 15504781 - 15472427 - 15472039 - 16307092 - 16307904 - 16131731 - 16131316 - 0 - 207595111 + 15453325 + 15454520 + 15499213 + 15498628 + 15475931 + 15476378 + 15538095 + 15537475 + 16215480 + 16215815 + 16444160 + 16443272 + 16628160 + 0 + 205880452 - 18620298 - 15450048 - 15450641 - 15348671 - 15348185 - 15447477 - 15448127 - 15373177 - 15372740 - 16256377 - 16257208 - 15596231 - 15595801 - 17067834 - 0 - 222632815 + 15241659 + 15242764 + 15311552 + 15310874 + 15234807 + 15235319 + 15320844 + 15320408 + 15612980 + 15613446 + 15700518 + 15699717 + 15643397 + 15643757 + 0 + 216132042 - 18718604 - 15566735 - 15567272 - 15480329 - 15479757 - 15546455 - 15547082 - 15465925 - 15465579 - 16056473 - 16057260 - 15873190 - 15872808 - 16031509 - 16032179 - 0 - 238761157 + 15474021 + 15475103 + 15545724 + 15545077 + 15487261 + 15487666 + 15563087 + 15562461 + 15951382 + 15951714 + 15990339 + 15989672 + 15837008 + 15837501 + 16183725 + 0 + 235881741 - 18629493 - 15433606 - 15434095 - 15364110 - 15363692 - 15423461 - 15424149 - 15354320 - 15353874 - 15878044 - 15878765 - 15833258 - 15832744 - 15862126 - 15862781 - 15931680 - 0 - 252860198 + 15338755 + 15339912 + 15418316 + 15417717 + 15384213 + 15384612 + 15484391 + 15483850 + 15342729 + 15343053 + 15438680 + 15438045 + 15319617 + 15320187 + 15504952 + 15504342 + 0 + 246463371 - 18727849 - 15496672 - 15497263 - 15410632 - 15410094 - 15474278 - 15474890 - 15414881 - 15414414 - 15540994 - 15541641 - 15473973 - 15473463 - 15532322 - 15532896 - 15445168 - 15444816 - 0 - 266306246 + 15405565 + 15406721 + 15457536 + 15456970 + 15410823 + 15411363 + 15494352 + 15493781 + 15441835 + 15442322 + 15503323 + 15502544 + 15437462 + 15437892 + 15524904 + 15524299 + 18727294 + 0 + 266078986 - 17928143 - 15385654 - 15386165 - 15317188 - 15316670 - 15362234 - 15362933 - 15274058 - 15273688 - 15520890 - 15521466 - 15415491 - 15414935 - 15485859 - 15486443 - 15398657 - 15398314 - 17927656 - 0 - 282176444 + 15411917 + 15413065 + 15488119 + 15487404 + 15447208 + 15447653 + 15509190 + 15508612 + 15263061 + 15263449 + 15395370 + 15394701 + 15251795 + 15252271 + 15428945 + 15428419 + 17509130 + 17509588 + 0 + 281409897 - 17613429 - 15606024 - 15606469 - 15506465 - 15505964 - 15570703 - 15571382 - 15514428 - 15514060 - 15578430 - 15578956 - 15476117 - 15475709 - 15518932 - 15519675 - 15469292 - 15468941 - 17612809 - 17613528 - 0 - 301321313 + 15454721 + 15455814 + 15531336 + 15530736 + 15476168 + 15476627 + 15526814 + 15526279 + 15499278 + 15499646 + 15569191 + 15568610 + 15479546 + 15480059 + 15581751 + 15581161 + 16679062 + 16679513 + 17632923 + 0 + 299229235 - 17132843 - 15467671 - 15468243 - 15355941 - 15355528 - 15430531 - 15431151 - 15388106 - 15387790 - 15532317 - 15532901 - 15419252 - 15418798 - 15488804 - 15489381 - 15448508 - 15448083 - 17110297 - 17110974 - 17132347 - 0 - 315549466 + 15431594 + 15432731 + 15514464 + 15513801 + 15451554 + 15452178 + 15542494 + 15542059 + 15405806 + 15406166 + 15500615 + 15499854 + 15446807 + 15447370 + 15523598 + 15522911 + 15989393 + 15989822 + 16266926 + 16266215 + 0 + 312146358 - 16916206 - 15348829 - 15349378 - 15301237 - 15300660 - 15352077 - 15352792 - 15295586 - 15295234 - 15406432 - 15407215 - 15288387 - 15287834 - 15387376 - 15388065 - 15288287 - 15287963 - 16326915 - 16327566 - 16106693 - 16106335 - 0 - 327121067 + 15293855 + 15294996 + 15373983 + 15373359 + 15311033 + 15311444 + 15373601 + 15373029 + 15368606 + 15368996 + 15417455 + 15416655 + 15365477 + 15366045 + 15446382 + 15445857 + 16164636 + 16164755 + 16340626 + 16339807 + 16482233 + 0 + 327392830 - 16836742 - 15449539 - 15450118 - 15316318 - 15315967 - 15414143 - 15414873 - 15315456 - 15315048 - 15419186 - 15419737 - 15374010 - 15373492 - 15396609 - 15397385 - 15336581 - 15336218 - 16132164 - 16132817 - 15836470 - 15835949 - 16836521 - 0 - 343655343 + 15354609 + 15355720 + 15441225 + 15440578 + 15389118 + 15389555 + 15469844 + 15469275 + 15396674 + 15397078 + 15476343 + 15475695 + 15420378 + 15420856 + 15512565 + 15512017 + 15639668 + 15640093 + 15835975 + 15835235 + 15719480 + 15719975 + 0 + 341311956 - 16291232 - 15428041 - 15428655 - 15361817 - 15361312 - 15423987 - 15424704 - 15320451 - 15320015 - 15335989 - 15336602 - 15238353 - 15237888 - 15288964 - 15289713 - 15247179 - 15246800 - 15845200 - 15845834 - 15532883 - 15532415 - 15837390 - 15838022 - 0 - 356013446 + 15297511 + 15298619 + 15387117 + 15386585 + 15255545 + 15256058 + 15397294 + 15396755 + 15311096 + 15311488 + 15393982 + 15393274 + 15351229 + 15351821 + 15422331 + 15421750 + 15937897 + 15938202 + 15961738 + 15961104 + 15827119 + 15827606 + 16046878 + 0 + 357132999 - 15397914 - 15566890 - 15567438 - 15477547 - 15477033 - 15534538 - 15535180 - 15491695 - 15491372 - 15542761 - 15543394 - 15406366 - 15405826 - 15490798 - 15491494 - 15357829 - 15357479 - 15492383 - 15493044 - 15370471 - 15369857 - 15493139 - 15493629 - 15396639 - 0 - 371244716 + 15359254 + 15360492 + 15486820 + 15486239 + 15373528 + 15373958 + 15523810 + 15523194 + 15449725 + 15450145 + 15501565 + 15500907 + 15423597 + 15424099 + 15510174 + 15509555 + 15333282 + 15333567 + 15417102 + 15416446 + 15366931 + 15367424 + 15326844 + 15326340 + 0 + 370144998 - 12082959 + 12012163 0 - 12082959 + 12012163 - 12073288 - 12072981 + 11840550 + 11841478 0 - 24146269 + 23682028 - 12138406 - 11387467 - 11387966 + 10912829 + 11686722 + 11363920 0 - 34913839 + 33963471 - 12081451 - 10664115 - 10664607 - 12243261 + 10847812 + 11012883 + 10848750 + 10848348 0 - 45653434 + 43557793 - 12146609 - 10837665 - 10838107 - 11075941 - 10837795 + 10672194 + 10766080 + 10686688 + 10686256 + 10751786 0 - 55736117 + 53563004 - 12089675 - 10559924 - 10560425 - 10776034 - 10525391 - 10774845 - 0 - 65286294 + 10191331 + 10427635 + 10213958 + 10213515 + 10190660 + 10413043 + 0 + 61650142 - 12154687 - 10116784 - 10117227 - 10572633 - 10106234 - 10107965 - 10108427 - 0 - 73283957 + 10094413 + 10150145 + 10099599 + 10099212 + 10095359 + 10145507 + 10157424 + 0 + 70841659 - 12097857 - 9685901 - 9686270 - 10157156 - 9521302 - 9656650 - 9657039 - 11582770 - 0 - 82044945 + 9482692 + 9538919 + 9475649 + 9475299 + 9487665 + 9526988 + 9484104 + 9483770 + 0 + 75955086 - 12168151 - 9531826 - 9532173 - 9548152 - 9528324 - 9524184 - 9524626 - 9552042 - 9531793 - 0 - 88441271 + 9551538 + 9607950 + 9527892 + 9527539 + 9541318 + 9599380 + 9545003 + 9544655 + 12100821 + 0 + 88546096 - 12114395 - 9496439 - 9496720 - 9518493 - 9502427 - 9494644 - 9495062 - 9519993 - 9499030 - 12114111 - 0 - 100251314 + 9518208 + 9590167 + 9501471 + 9501014 + 9514888 + 9580544 + 9520640 + 9520357 + 11901852 + 11902280 + 0 + 100051421 - 12177360 - 9564657 - 9564923 - 9581460 - 9566647 - 9562022 - 9562428 - 9582352 - 9568441 - 11402504 - 11402957 - 0 - 111535751 + 9588133 + 9642600 + 9569435 + 9569077 + 9581625 + 9634480 + 9582599 + 9582254 + 11143802 + 11642425 + 11430365 + 0 + 110966795 - 12119476 - 9491442 - 9491786 - 9531107 - 9493390 - 9489365 - 9489758 - 9534422 - 9499933 - 10732309 - 10732783 - 12318345 - 0 - 121924116 + 9504141 + 9566497 + 9480268 + 9479883 + 9500138 + 9557387 + 9508730 + 9508263 + 10860480 + 11079334 + 10860904 + 10860416 + 0 + 119766441 - 12183361 - 9565165 - 9565455 - 9582604 - 9568538 - 9567760 - 9568161 - 9591184 - 9569765 - 10815689 - 10816130 - 11127405 - 10815691 - 0 - 132336908 + 9566731 + 9602398 + 9555023 + 9554678 + 9565409 + 9597597 + 9568768 + 9568372 + 10697869 + 10788567 + 10705386 + 10704917 + 10773483 + 0 + 130249198 - 12125462 - 9524915 - 9525201 - 9553382 - 9529788 - 9528364 - 9528814 - 9565861 - 9534294 - 10579374 - 10579805 - 10804186 - 10559267 - 10803938 - 0 - 141742651 + 9498902 + 9573902 + 9477978 + 9477580 + 9495093 + 9562850 + 9505874 + 9505569 + 10259456 + 10479812 + 10274650 + 10274227 + 10255667 + 10470946 + 0 + 138112506 - 12189465 - 9573943 - 9574374 - 9587321 - 9575449 - 9574838 - 9575216 - 9592097 - 9576771 - 10155658 - 10156093 - 10485978 - 10147342 - 10152197 - 10152655 - 0 - 150069397 + 9568054 + 9610830 + 9556810 + 9556463 + 9564043 + 9605955 + 9567781 + 9567465 + 10121955 + 10176705 + 10126901 + 10126506 + 10122670 + 10170121 + 10183118 + 0 + 147625377 - 12131505 - 9528313 - 9528627 - 9555655 - 9533873 - 9528420 - 9528806 - 9562116 - 9535204 - 9703506 - 9703941 - 10182457 - 9558198 - 9675351 - 9675784 - 11641089 - 0 - 158572845 + 9545502 + 9606047 + 9529441 + 9529036 + 9542921 + 9596990 + 9546969 + 9546662 + 9500406 + 9584384 + 9472779 + 9472417 + 9493981 + 9574576 + 9498520 + 9498159 + 0 + 152538790 - 12078841 - 9483353 - 9483735 - 9515396 - 9490017 - 9484411 - 9484807 - 9529365 - 9491485 - 9450709 - 9451029 - 9486607 - 9462696 - 9452474 - 9452839 - 9492193 - 9462094 - 0 - 163752051 + 9477441 + 9536545 + 9460577 + 9460200 + 9480967 + 9523923 + 9480392 + 9480046 + 9487515 + 9547565 + 9474196 + 9473749 + 9487160 + 9540682 + 9486801 + 9486447 + 12011930 + 0 + 163896136 - 11636388 - 9519555 - 9519856 - 9543401 - 9522497 - 9518968 - 9519332 - 9549730 - 9523584 - 9486041 - 9486390 - 9516448 - 9489905 - 9486483 - 9486864 - 9521185 - 9495104 - 11636084 - 0 - 175457815 + 9513232 + 9584994 + 9492399 + 9492017 + 9508104 + 9572238 + 9515215 + 9514855 + 9509726 + 9564574 + 9497507 + 9497104 + 9506890 + 9556927 + 9511038 + 9510683 + 11964542 + 11964965 + 0 + 176277010 - 11238520 - 9474877 - 9475285 - 9490895 - 9476567 - 9473480 - 9473849 - 9492630 - 9477676 - 9473855 - 9474244 - 9495034 - 9474186 - 9467731 - 9468228 - 9497539 - 9479597 - 11238069 - 11238469 - 0 - 185380731 + 9501239 + 9566300 + 9480114 + 9479759 + 9497499 + 9554053 + 9504428 + 9504112 + 9450537 + 9500082 + 9437165 + 9436702 + 9448376 + 9494933 + 9452444 + 9452215 + 11096186 + 11513346 + 11336141 + 0 + 185705631 - 11107013 - 9521584 - 9521960 - 9564977 - 9532128 - 9522954 - 9523296 - 9575090 - 9536475 - 9516989 - 9517312 - 9561659 - 9523097 - 9520017 - 9520401 - 9572744 - 9526636 - 10512248 - 10512713 - 12209345 - 0 - 196898638 + 9486065 + 9557588 + 9472473 + 9472199 + 9487667 + 9548271 + 9491616 + 9491243 + 9529780 + 9607162 + 9514560 + 9514178 + 9525187 + 9594754 + 9529212 + 9528811 + 10901458 + 11097405 + 10901870 + 10901433 + 0 + 196152932 - 10752935 - 9493202 - 9493496 - 9530851 - 9496285 - 9492053 - 9492366 - 9540724 - 9502382 - 9500543 - 9500935 - 9530543 - 9499016 - 9491779 - 9492142 - 9534216 - 9503606 - 10658376 - 10658781 - 10767856 - 10647666 - 0 - 205579753 + 9465819 + 9552112 + 9442548 + 9442197 + 9460727 + 9539920 + 9467314 + 9466941 + 9499616 + 9555215 + 9480992 + 9480585 + 9497803 + 9549084 + 9503779 + 9503347 + 10632691 + 10740462 + 10643969 + 10643484 + 10722706 + 0 + 205291311 - 10562721 - 9513544 - 9513904 - 9546975 - 9519487 - 9513233 - 9513599 - 9552592 - 9521671 - 9521235 - 9521661 - 9586145 - 9516100 - 9497783 - 9498107 - 9600924 - 9524532 - 10418128 - 10418533 - 10557157 - 10398032 - 10562124 - 0 - 215378187 + 9543555 + 9577947 + 9536419 + 9536025 + 9545186 + 9572363 + 9545696 + 9545380 + 9546863 + 9598252 + 9538891 + 9538471 + 9544650 + 9589800 + 9548809 + 9548442 + 10257926 + 10464973 + 10271404 + 10270974 + 10255638 + 10453549 + 0 + 214831213 - 10020531 - 9499389 - 9499749 - 9539918 - 9501002 - 9499387 - 9499718 - 9549295 - 9505903 - 9469095 - 9469462 - 9526032 - 9488043 - 9482123 - 9482578 - 9551048 - 9492329 - 9974833 - 9975234 - 10011108 - 9968749 - 9967105 - 9967536 - 0 - 221940167 + 9505256 + 9546515 + 9487064 + 9486709 + 9503819 + 9540926 + 9507421 + 9507083 + 9463245 + 9512217 + 9445442 + 9444922 + 9462724 + 9505280 + 9465093 + 9464656 + 10061481 + 10110674 + 10057745 + 10057332 + 10065338 + 10106393 + 10117053 + 0 + 222424388 - 9565647 - 9559731 - 9560104 - 9570849 - 9561554 - 9558504 - 9558927 - 9572162 - 9562182 - 9552179 - 9552550 - 9564991 - 9553751 - 9550482 - 9550928 - 9570603 - 9554636 - 9557198 - 9557558 - 9582834 - 9559094 - 9550291 - 9550671 - 9584758 - 0 - 229462184 + 9509934 + 9589757 + 9487081 + 9486681 + 9504741 + 9577778 + 9512299 + 9511943 + 9495683 + 9576547 + 9477429 + 9476945 + 9488619 + 9564424 + 9497789 + 9497366 + 9576435 + 9594541 + 9569473 + 9569144 + 9576206 + 9592059 + 9571494 + 9591007 + 0 + 228895375 - 919628 - 915976 - 916014 - 915977 - 915974 - 915968 - 916000 - 915967 - 915980 - 919377 - 919362 - 919368 - 919387 - 919349 - 919362 - 919383 - 919360 - 919503 - 919547 - 919538 - 919531 - 919522 - 919527 - 919283 - 2095665 - 22038883 + 913947 + 914257 + 914150 + 914145 + 914171 + 914150 + 914168 + 914180 + 910191 + 910177 + 910157 + 910172 + 910177 + 910146 + 910166 + 910159 + 910137 + 910144 + 910132 + 910150 + 910160 + 910110 + 910156 + 910129 + 2093981 + 21875631 - 862472 - 883424 - 883458 - 963897 - 862708 - 883272 - 883301 - 963959 - 862582 - 892427 - 892442 - 967350 - 865089 - 886256 - 886273 - 970013 - 867177 - 883852 - 883865 - 963960 - 862399 - 883581 - 883619 - 963271 - 1751273 - 21600647 + 866859 + 967353 + 887770 + 887751 + 867070 + 967115 + 887992 + 887922 + 871507 + 973319 + 891012 + 890973 + 869760 + 971285 + 896445 + 896401 + 864682 + 963546 + 885639 + 885592 + 864194 + 963193 + 861691 + 953868 + 1771393 + 21722939 - 122982 - 122980 - 122980 - 122981 - 122980 - 122981 - 122980 - 122981 - 122982 - 122980 - 122981 - 122980 - 122980 - 122980 - 122980 - 122981 - 122980 - 122980 - 122980 - 122981 - 122980 - 122980 - 122980 - 122980 - 0 - 2951530 + 123820 + 123819 + 123820 + 123819 + 123820 + 123819 + 123820 + 123820 + 123819 + 123820 + 123820 + 123820 + 123819 + 123819 + 123820 + 123819 + 123820 + 123820 + 123819 + 123819 + 123819 + 123819 + 123819 + 123819 + 0 + 2971667 - 111505 - 111504 - 111504 - 111504 - 111504 - 111504 - 111505 - 111504 - 111505 - 111503 - 111505 - 111504 - 111505 - 111504 - 111505 - 111504 - 111504 - 111505 - 111505 - 111504 - 111504 - 111504 - 111504 - 111505 - 0 - 2676104 + 112523 + 112524 + 112523 + 112523 + 112522 + 112523 + 112523 + 112524 + 112522 + 112524 + 112523 + 112523 + 112524 + 112523 + 112523 + 112523 + 112523 + 112524 + 112523 + 112523 + 112524 + 112525 + 112523 + 112524 + 0 + 2700559 - 2440262 - 707 - 735 - 740 - 792 - 772 - 772 - 800 - 752 + 2442341 + 1 + 19 + 3 + 7 + 14 + 17 + 40 + 735 692 - 684 - 678 - 695 - 690 - 692 - 750 - 734 - 38 - 12 - 3 - 12 - 21 - 4 - 1 - 0 - 2452038 + 749 + 714 + 698 + 681 + 687 + 673 + 781 + 763 + 754 + 786 + 747 + 704 + 800 + 755 + 0 + 2454161 *** END OF TEST SMPLOCK 1 *** -- cgit v1.2.3