Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r003-smll-158897508300257.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is AirplaneLD-PT-0050, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508300257
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 872K
-rw-r--r-- 1 mcc users 23K Mar 24 10:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 61K Mar 24 10:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.0K Mar 24 09:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 42K Mar 24 09:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 20K Apr 8 14:40 LTLCardinality.txt
-rw-r--r-- 1 mcc users 69K Apr 29 06:16 LTLCardinality.xml
-rw-r--r-- 1 mcc users 11K Apr 8 14:40 LTLFireability.txt
-rw-r--r-- 1 mcc users 49K Apr 29 06:16 LTLFireability.xml
-rw-r--r-- 1 mcc users 16K Mar 24 07:55 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 47K Mar 24 07:55 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Mar 24 06:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 57K Mar 24 06:13 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.9K Mar 24 08:44 UpperBounds.txt
-rw-r--r-- 1 mcc users 6.0K Mar 24 08:44 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 404K Mar 24 05:37 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589092336961

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AirplaneLD (PT), instance 0050
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 369 places, 408 transitions, 1553 arcs.
AT ITER 0 NEW BEST:: SOT 115944 SOS 58177 HAS SOPS 49545 HAS SOUS 41302 HAS SOUPS 32673 WITH SCORE 32731.177
AT ITER 7 NEW BEST:: SOT 115807 SOS 58123 HAS SOPS 49491 HAS SOUS 41273 HAS SOUPS 32644 WITH SCORE 32702.123
AT ITER 9 NEW BEST:: SOT 115729 SOS 57967 HAS SOPS 49413 HAS SOUS 41117 HAS SOUPS 32566 WITH SCORE 32623.967
AT ITER 10 NEW BEST:: SOT 115729 SOS 58143 HAS SOPS 49413 HAS SOUS 41151 HAS SOUPS 32495 WITH SCORE 32553.143
AT ITER 15 NEW BEST:: SOT 115662 SOS 57943 HAS SOPS 49346 HAS SOUS 41017 HAS SOUPS 32494 WITH SCORE 32551.943
AT ITER 28 NEW BEST:: SOT 115621 SOS 57861 HAS SOPS 49305 HAS SOUS 40935 HAS SOUPS 32453 WITH SCORE 32510.861
AT ITER 29 NEW BEST:: SOT 115491 SOS 57794 HAS SOPS 49238 HAS SOUS 40818 HAS SOUPS 32336 WITH SCORE 32393.794
AT ITER 30 NEW BEST:: SOT 115444 SOS 57700 HAS SOPS 49191 HAS SOUS 40724 HAS SOUPS 32289 WITH SCORE 32346.7
AT ITER 32 NEW BEST:: SOT 115308 SOS 57639 HAS SOPS 49130 HAS SOUS 40644 HAS SOUPS 32209 WITH SCORE 32266.639
AT ITER 34 NEW BEST:: SOT 115262 SOS 57639 HAS SOPS 49130 HAS SOUS 40598 HAS SOUPS 32163 WITH SCORE 32220.639
AT ITER 43 NEW BEST:: SOT 115262 SOS 57884 HAS SOPS 49130 HAS SOUS 40639 HAS SOUPS 32061 WITH SCORE 32118.884
AT ITER 50 NEW BEST:: SOT 115262 SOS 58041 HAS SOPS 49130 HAS SOUS 40660 HAS SOUPS 31993 WITH SCORE 32051.041
AT ITER 51 NEW BEST:: SOT 115262 SOS 58235 HAS SOPS 49130 HAS SOUS 40698 HAS SOUPS 31915 WITH SCORE 31973.235
AT ITER 54 NEW BEST:: SOT 115168 SOS 58047 HAS SOPS 49036 HAS SOUS 40510 HAS SOUPS 31821 WITH SCORE 31879.047
AT ITER 60 NEW BEST:: SOT 115092 SOS 57847 HAS SOPS 48960 HAS SOUS 40358 HAS SOUPS 31793 WITH SCORE 31850.847
AT ITER 63 NEW BEST:: SOT 115061 SOS 57847 HAS SOPS 48960 HAS SOUS 40327 HAS SOUPS 31762 WITH SCORE 31819.847
AT ITER 67 NEW BEST:: SOT 114962 SOS 57647 HAS SOPS 48861 HAS SOUS 40129 HAS SOUPS 31665 WITH SCORE 31722.647
AT ITER 69 NEW BEST:: SOT 114892 SOS 57647 HAS SOPS 48929 HAS SOUS 40059 HAS SOUPS 31663 WITH SCORE 31720.647
AT ITER 73 NEW BEST:: SOT 114859 SOS 57823 HAS SOPS 48896 HAS SOUS 40028 HAS SOUPS 31510 WITH SCORE 31567.823
AT ITER 88 NEW BEST:: SOT 114749 SOS 57787 HAS SOPS 48860 HAS SOUS 39933 HAS SOUPS 31415 WITH SCORE 31472.787
AT ITER 93 NEW BEST:: SOT 114699 SOS 57787 HAS SOPS 48860 HAS SOUS 39883 HAS SOUPS 31365 WITH SCORE 31422.787
AT ITER 94 NEW BEST:: SOT 114706 SOS 57825 HAS SOPS 48867 HAS SOUS 39897 HAS SOUPS 31348 WITH SCORE 31405.825
AT ITER 97 NEW BEST:: SOT 114638 SOS 57767 HAS SOPS 48809 HAS SOUS 39871 HAS SOUPS 31322 WITH SCORE 31379.767
AT ITER 99 NEW BEST:: SOT 114638 SOS 57982 HAS SOPS 48809 HAS SOUS 39910 HAS SOUPS 31234 WITH SCORE 31291.982
AT ITER 105 NEW BEST:: SOT 114637 SOS 57981 HAS SOPS 48808 HAS SOUS 39908 HAS SOUPS 31232 WITH SCORE 31289.981
AT ITER 106 NEW BEST:: SOT 114637 SOS 57968 HAS SOPS 48808 HAS SOUS 39895 HAS SOUPS 31232 WITH SCORE 31289.968
AT ITER 107 NEW BEST:: SOT 114567 SOS 57968 HAS SOPS 48808 HAS SOUS 39825 HAS SOUPS 31162 WITH SCORE 31219.968
AT ITER 115 NEW BEST:: SOT 114469 SOS 57871 HAS SOPS 48755 HAS SOUS 39727 HAS SOUPS 31108 WITH SCORE 31165.871
AT ITER 120 NEW BEST:: SOT 114407 SOS 57747 HAS SOPS 48755 HAS SOUS 39665 HAS SOUPS 31108 WITH SCORE 31165.747
AT ITER 128 NEW BEST:: SOT 114407 SOS 57853 HAS SOPS 48755 HAS SOUS 39665 HAS SOUPS 31055 WITH SCORE 31112.853
AT ITER 142 NEW BEST:: SOT 114386 SOS 57832 HAS SOPS 48734 HAS SOUS 39623 HAS SOUPS 31013 WITH SCORE 31070.832
AT ITER 145 NEW BEST:: SOT 114239 SOS 57756 HAS SOPS 48658 HAS SOUS 39476 HAS SOUPS 30866 WITH SCORE 30923.756
AT ITER 153 NEW BEST:: SOT 114159 SOS 57596 HAS SOPS 48578 HAS SOUS 39316 HAS SOUPS 30786 WITH SCORE 30843.596
AT ITER 154 NEW BEST:: SOT 114146 SOS 57596 HAS SOPS 48578 HAS SOUS 39303 HAS SOUPS 30773 WITH SCORE 30830.596
AT ITER 155 NEW BEST:: SOT 114095 SOS 57494 HAS SOPS 48527 HAS SOUS 39201 HAS SOUPS 30722 WITH SCORE 30779.494
AT ITER 160 NEW BEST:: SOT 114095 SOS 57647 HAS SOPS 48527 HAS SOUS 39214 HAS SOUPS 30652 WITH SCORE 30709.647
AT ITER 163 NEW BEST:: SOT 114074 SOS 57572 HAS SOPS 48506 HAS SOUS 39118 HAS SOUPS 30610 WITH SCORE 30667.572
AT ITER 166 NEW BEST:: SOT 113985 SOS 57372 HAS SOPS 48417 HAS SOUS 38940 HAS SOUPS 30543 WITH SCORE 30600.372
AT ITER 173 NEW BEST:: SOT 113965 SOS 57352 HAS SOPS 48397 HAS SOUS 38900 HAS SOUPS 30503 WITH SCORE 30560.352
AT ITER 177 NEW BEST:: SOT 113950 SOS 57322 HAS SOPS 48382 HAS SOUS 38870 HAS SOUPS 30488 WITH SCORE 30545.322
AT ITER 178 NEW BEST:: SOT 113861 SOS 57322 HAS SOPS 48388 HAS SOUS 38781 HAS SOUPS 30405 WITH SCORE 30462.322
AT ITER 179 NEW BEST:: SOT 113879 SOS 57525 HAS SOPS 48406 HAS SOUS 38844 HAS SOUPS 30362 WITH SCORE 30419.525
AT ITER 185 NEW BEST:: SOT 113875 SOS 57525 HAS SOPS 48406 HAS SOUS 38840 HAS SOUPS 30358 WITH SCORE 30415.525
AT ITER 186 NEW BEST:: SOT 113775 SOS 57307 HAS SOPS 48306 HAS SOUS 38640 HAS SOUPS 30276 WITH SCORE 30333.307
AT ITER 187 NEW BEST:: SOT 113839 SOS 56198 HAS SOPS 46547 HAS SOUS 38054 HAS SOUPS 29690 WITH SCORE 29746.198
AT ITER 188 NEW BEST:: SOT 113783 SOS 56198 HAS SOPS 46547 HAS SOUS 37998 HAS SOUPS 29634 WITH SCORE 29690.198
AT ITER 191 NEW BEST:: SOT 113782 SOS 56197 HAS SOPS 46546 HAS SOUS 37996 HAS SOUPS 29632 WITH SCORE 29688.197
AT ITER 197 NEW BEST:: SOT 113782 SOS 56251 HAS SOPS 46546 HAS SOUS 37996 HAS SOUPS 29625 WITH SCORE 29681.251
AT ITER 198 NEW BEST:: SOT 113782 SOS 56413 HAS SOPS 46546 HAS SOUS 37996 HAS SOUPS 29544 WITH SCORE 29600.413
AT ITER 199 NEW BEST:: SOT 113723 SOS 56413 HAS SOPS 46546 HAS SOUS 37937 HAS SOUPS 29485 WITH SCORE 29541.413
AT ITER 202 NEW BEST:: SOT 113696 SOS 56425 HAS SOPS 46558 HAS SOUS 37922 HAS SOUPS 29470 WITH SCORE 29526.425
AT ITER 203 NEW BEST:: SOT 113648 SOS 56329 HAS SOPS 46510 HAS SOUS 37826 HAS SOUPS 29422 WITH SCORE 29478.329
AT ITER 204 NEW BEST:: SOT 113657 SOS 56439 HAS SOPS 46519 HAS SOUS 37844 HAS SOUPS 29393 WITH SCORE 29449.439
AT ITER 211 NEW BEST:: SOT 113603 SOS 56439 HAS SOPS 46519 HAS SOUS 37790 HAS SOUPS 29339 WITH SCORE 29395.439
AT ITER 212 NEW BEST:: SOT 113527 SOS 56459 HAS SOPS 46591 HAS SOUS 37734 HAS SOUPS 29335 WITH SCORE 29391.459
AT ITER 218 NEW BEST:: SOT 113516 SOS 56448 HAS SOPS 46580 HAS SOUS 37723 HAS SOUPS 29324 WITH SCORE 29380.448
AT ITER 230 NEW BEST:: SOT 113422 SOS 56466 HAS SOPS 46615 HAS SOUS 37647 HAS SOUPS 29265 WITH SCORE 29321.466
AT ITER 233 NEW BEST:: SOT 113418 SOS 56458 HAS SOPS 46611 HAS SOUS 37639 HAS SOUPS 29261 WITH SCORE 29317.458
AT ITER 234 NEW BEST:: SOT 113480 SOS 56822 HAS SOPS 46673 HAS SOUS 37763 HAS SOUPS 29252 WITH SCORE 29308.822
AT ITER 239 NEW BEST:: SOT 113480 SOS 56966 HAS SOPS 46673 HAS SOUS 37763 HAS SOUPS 29180 WITH SCORE 29236.966
AT ITER 246 NEW BEST:: SOT 113519 SOS 57288 HAS SOPS 46712 HAS SOUS 37848 HAS SOUPS 29120 WITH SCORE 29177.288
AT ITER 247 NEW BEST:: SOT 113519 SOS 57292 HAS SOPS 46712 HAS SOUS 37848 HAS SOUPS 29118 WITH SCORE 29175.292
AT ITER 249 NEW BEST:: SOT 113476 SOS 57292 HAS SOPS 46712 HAS SOUS 37805 HAS SOUPS 29075 WITH SCORE 29132.292
AT ITER 251 NEW BEST:: SOT 109069 SOS 57336 HAS SOPS 46940 HAS SOUS 33521 HAS SOUPS 24941 WITH SCORE 24998.336
AT ITER 264 NEW BEST:: SOT 109042 SOS 57267 HAS SOPS 46913 HAS SOUS 33467 HAS SOUPS 24929 WITH SCORE 24986.267
AT ITER 266 NEW BEST:: SOT 109043 SOS 57257 HAS SOPS 46903 HAS SOUS 33458 HAS SOUPS 24920 WITH SCORE 24977.257
AT ITER 270 NEW BEST:: SOT 109012 SOS 57226 HAS SOPS 46840 HAS SOUS 33414 HAS SOUPS 24844 WITH SCORE 24901.226
AT ITER 271 NEW BEST:: SOT 108914 SOS 57170 HAS SOPS 46784 HAS SOUS 33316 HAS SOUPS 24746 WITH SCORE 24803.17
AT ITER 283 NEW BEST:: SOT 108905 SOS 57161 HAS SOPS 46775 HAS SOUS 33298 HAS SOUPS 24728 WITH SCORE 24785.161
AT ITER 285 NEW BEST:: SOT 108905 SOS 57152 HAS SOPS 46775 HAS SOUS 33289 HAS SOUPS 24728 WITH SCORE 24785.152
AT ITER 297 NEW BEST:: SOT 102714 SOS 50961 HAS SOPS 40584 HAS SOUS 27097 HAS SOUPS 18536 WITH SCORE 18586.961
AT ITER 317 NEW BEST:: SOT 102636 SOS 50961 HAS SOPS 40640 HAS SOUS 27019 HAS SOUPS 18514 WITH SCORE 18564.961
AT ITER 321 NEW BEST:: SOT 100922 SOS 49174 HAS SOPS 38926 HAS SOUS 25232 HAS SOUPS 16800 WITH SCORE 16849.174
AT ITER 339 NEW BEST:: SOT 100860 SOS 48908 HAS SOPS 38864 HAS SOUS 25108 HAS SOUPS 16778 WITH SCORE 16826.908
AT ITER 341 NEW BEST:: SOT 100860 SOS 48954 HAS SOPS 38864 HAS SOUS 25108 HAS SOUPS 16755 WITH SCORE 16803.954
AT ITER 346 NEW BEST:: SOT 100860 SOS 48988 HAS SOPS 38864 HAS SOUS 25108 HAS SOUPS 16746 WITH SCORE 16794.988
AT ITER 348 NEW BEST:: SOT 100860 SOS 48978 HAS SOPS 38864 HAS SOUS 25098 HAS SOUPS 16746 WITH SCORE 16794.978
AT ITER 349 NEW BEST:: SOT 100664 SOS 48624 HAS SOPS 38699 HAS SOUS 24864 HAS SOUPS 16639 WITH SCORE 16687.624
AT ITER 361 NEW BEST:: SOT 100664 SOS 48794 HAS SOPS 38699 HAS SOUS 24864 HAS SOUPS 16554 WITH SCORE 16602.794
AT ITER 364 NEW BEST:: SOT 100664 SOS 49045 HAS SOPS 38699 HAS SOUS 24869 HAS SOUPS 16431 WITH SCORE 16480.045
AT ITER 367 NEW BEST:: SOT 100689 SOS 49045 HAS SOPS 38637 HAS SOUS 24894 HAS SOUPS 16394 WITH SCORE 16443.045
AT ITER 368 NEW BEST:: SOT 100689 SOS 49130 HAS SOPS 38637 HAS SOUS 24894 HAS SOUPS 16373 WITH SCORE 16422.13
AT ITER 374 NEW BEST:: SOT 100689 SOS 49290 HAS SOPS 38637 HAS SOUS 24894 HAS SOUPS 16293 WITH SCORE 16342.29
AT ITER 375 NEW BEST:: SOT 100675 SOS 49290 HAS SOPS 38637 HAS SOUS 24880 HAS SOUPS 16279 WITH SCORE 16328.29
AT ITER 377 NEW BEST:: SOT 100515 SOS 49154 HAS SOPS 38501 HAS SOUS 24730 HAS SOUPS 16129 WITH SCORE 16178.154
AT ITER 381 NEW BEST:: SOT 100315 SOS 48832 HAS SOPS 38319 HAS SOUS 24470 HAS SOUPS 15991 WITH SCORE 16039.832
AT ITER 392 NEW BEST:: SOT 100147 SOS 48487 HAS SOPS 38224 HAS SOUS 24283 HAS SOUPS 15941 WITH SCORE 15989.487
AT ITER 394 NEW BEST:: SOT 100038 SOS 48289 HAS SOPS 38115 HAS SOUS 24139 HAS SOUPS 15859 WITH SCORE 15907.289
AT ITER 406 NEW BEST:: SOT 99887 SOS 48138 HAS SOPS 37997 HAS SOUS 24051 HAS SOUPS 15771 WITH SCORE 15819.138
AT ITER 407 NEW BEST:: SOT 99848 SOS 48099 HAS SOPS 37958 HAS SOUS 23973 HAS SOUPS 15693 WITH SCORE 15741.099
AT ITER 410 NEW BEST:: SOT 99668 SOS 47787 HAS SOPS 37801 HAS SOUS 23745 HAS SOUPS 15574 WITH SCORE 15621.787
AT ITER 413 NEW BEST:: SOT 99582 SOS 47702 HAS SOPS 37747 HAS SOUS 23605 HAS SOUPS 15465 WITH SCORE 15512.702
AT ITER 422 NEW BEST:: SOT 99582 SOS 47898 HAS SOPS 37747 HAS SOUS 23605 HAS SOUPS 15367 WITH SCORE 15414.898
AT ITER 433 NEW BEST:: SOT 99560 SOS 47876 HAS SOPS 37725 HAS SOUS 23561 HAS SOUPS 15323 WITH SCORE 15370.876
AT ITER 439 NEW BEST:: SOT 99560 SOS 47880 HAS SOPS 37725 HAS SOUS 23561 HAS SOUPS 15321 WITH SCORE 15368.88
AT ITER 443 NEW BEST:: SOT 99592 SOS 47956 HAS SOPS 37713 HAS SOUS 23581 HAS SOUPS 15297 WITH SCORE 15344.956
AT ITER 453 NEW BEST:: SOT 99583 SOS 47956 HAS SOPS 37713 HAS SOUS 23572 HAS SOUPS 15288 WITH SCORE 15335.956
AT ITER 454 NEW BEST:: SOT 99487 SOS 47956 HAS SOPS 37713 HAS SOUS 23476 HAS SOUPS 15192 WITH SCORE 15239.956
AT ITER 455 NEW BEST:: SOT 99487 SOS 47970 HAS SOPS 37685 HAS SOUS 23490 HAS SOUPS 15164 WITH SCORE 15211.97
AT ITER 457 NEW BEST:: SOT 99538 SOS 48326 HAS SOPS 37736 HAS SOUS 23598 HAS SOUPS 15119 WITH SCORE 15167.326
AT ITER 464 NEW BEST:: SOT 99589 SOS 48607 HAS SOPS 37787 HAS SOUS 23724 HAS SOUPS 15118 WITH SCORE 15166.607
AT ITER 465 NEW BEST:: SOT 99532 SOS 48607 HAS SOPS 37787 HAS SOUS 23667 HAS SOUPS 15061 WITH SCORE 15109.607
AT ITER 467 NEW BEST:: SOT 99514 SOS 48589 HAS SOPS 37769 HAS SOUS 23631 HAS SOUPS 15025 WITH SCORE 15073.589
AT ITER 473 NEW BEST:: SOT 99493 SOS 48548 HAS SOPS 37748 HAS SOUS 23609 HAS SOUPS 15023 WITH SCORE 15071.548
AT ITER 476 NEW BEST:: SOT 99499 SOS 48711 HAS SOPS 37754 HAS SOUS 23690 HAS SOUPS 14994 WITH SCORE 15042.711
AT ITER 484 NEW BEST:: SOT 99489 SOS 48701 HAS SOPS 37754 HAS SOUS 23680 HAS SOUPS 14994 WITH SCORE 15042.701
AT ITER 492 NEW BEST:: SOT 99519 SOS 49056 HAS SOPS 37784 HAS SOUS 23827 HAS SOUPS 14935 WITH SCORE 14984.056
AT ITER 501 NEW BEST:: SOT 99407 SOS 48944 HAS SOPS 37672 HAS SOUS 23727 HAS SOUPS 14835 WITH SCORE 14883.944
AT ITER 510 NEW BEST:: SOT 99385 SOS 48939 HAS SOPS 37667 HAS SOUS 23705 HAS SOUPS 14813 WITH SCORE 14861.939
AT ITER 511 NEW BEST:: SOT 99385 SOS 48939 HAS SOPS 37615 HAS SOUS 23705 HAS SOUPS 14761 WITH SCORE 14809.939
AT ITER 527 NEW BEST:: SOT 99385 SOS 49029 HAS SOPS 37615 HAS SOUS 23705 HAS SOUPS 14719 WITH SCORE 14768.029
AT ITER 533 NEW BEST:: SOT 99275 SOS 48851 HAS SOPS 37505 HAS SOUS 23553 HAS SOUPS 14625 WITH SCORE 14673.851
AT ITER 557 NEW BEST:: SOT 99265 SOS 48841 HAS SOPS 37505 HAS SOUS 23543 HAS SOUPS 14625 WITH SCORE 14673.841
AT ITER 563 NEW BEST:: SOT 99194 SOS 48772 HAS SOPS 37451 HAS SOUS 23418 HAS SOUPS 14515 WITH SCORE 14563.772
AT ITER 573 NEW BEST:: SOT 99091 SOS 48566 HAS SOPS 37348 HAS SOUS 23315 HAS SOUPS 14515 WITH SCORE 14563.566
AT ITER 580 NEW BEST:: SOT 99085 SOS 48560 HAS SOPS 37342 HAS SOUS 23303 HAS SOUPS 14503 WITH SCORE 14551.56
AT ITER 582 NEW BEST:: SOT 99053 SOS 48560 HAS SOPS 37362 HAS SOUS 23271 HAS SOUPS 14491 WITH SCORE 14539.56
AT ITER 583 NEW BEST:: SOT 99001 SOS 48702 HAS SOPS 37504 HAS SOUS 23214 HAS SOUPS 14434 WITH SCORE 14482.702
AT ITER 608 NEW BEST:: SOT 98989 SOS 48690 HAS SOPS 37461 HAS SOUS 23171 HAS SOUPS 14391 WITH SCORE 14439.69
AT ITER 618 NEW BEST:: SOT 98906 SOS 48508 HAS SOPS 37385 HAS SOUS 23076 HAS SOUPS 14355 WITH SCORE 14403.508
AT ITER 623 NEW BEST:: SOT 98906 SOS 48738 HAS SOPS 37385 HAS SOUS 23076 HAS SOUPS 14240 WITH SCORE 14288.738
AT ITER 628 NEW BEST:: SOT 98856 SOS 48688 HAS SOPS 37335 HAS SOUS 23060 HAS SOUPS 14224 WITH SCORE 14272.688
AT ITER 639 NEW BEST:: SOT 98816 SOS 48625 HAS SOPS 37297 HAS SOUS 23003 HAS SOUPS 14188 WITH SCORE 14236.625
AT ITER 667 NEW BEST:: SOT 98809 SOS 48618 HAS SOPS 37290 HAS SOUS 22989 HAS SOUPS 14174 WITH SCORE 14222.618
AT ITER 680 NEW BEST:: SOT 99237 SOS 46795 HAS SOPS 34228 HAS SOUS 23457 HAS SOUPS 13403 WITH SCORE 13449.795
AT ITER 684 NEW BEST:: SOT 99228 SOS 46777 HAS SOPS 34219 HAS SOUS 23448 HAS SOUPS 13403 WITH SCORE 13449.777
AT ITER 698 NEW BEST:: SOT 99181 SOS 49240 HAS SOPS 36682 HAS SOUS 23406 HAS SOUPS 13361 WITH SCORE 13410.24
AT ITER 701 NEW BEST:: SOT 99180 SOS 49239 HAS SOPS 36681 HAS SOUS 23405 HAS SOUPS 13360 WITH SCORE 13409.239
AT ITER 706 NEW BEST:: SOT 99172 SOS 49227 HAS SOPS 36673 HAS SOUS 23393 HAS SOUPS 13352 WITH SCORE 13401.227
AT ITER 719 NEW BEST:: SOT 99179 SOS 49398 HAS SOPS 36680 HAS SOUS 23525 HAS SOUPS 13344 WITH SCORE 13393.398
AT ITER 736 NEW BEST:: SOT 98994 SOS 60775 HAS SOPS 48111 HAS SOUS 23393 HAS SOUPS 13266 WITH SCORE 13326.775
AT ITER 745 NEW BEST:: SOT 98933 SOS 60698 HAS SOPS 48050 HAS SOUS 23271 HAS SOUPS 13144 WITH SCORE 13204.698
AT ITER 752 NEW BEST:: SOT 98442 SOS 70878 HAS SOPS 58230 HAS SOUS 23132 HAS SOUPS 13005 WITH SCORE 13075.878
AT ITER 757 NEW BEST:: SOT 98442 SOS 70910 HAS SOPS 58198 HAS SOUS 23132 HAS SOUPS 12941 WITH SCORE 13011.91
AT ITER 763 NEW BEST:: SOT 98442 SOS 70901 HAS SOPS 58189 HAS SOUS 23132 HAS SOUPS 12941 WITH SCORE 13011.901
AT ITER 769 NEW BEST:: SOT 98440 SOS 70899 HAS SOPS 58187 HAS SOUS 23086 HAS SOUPS 12895 WITH SCORE 12965.899
AT ITER 792 NEW BEST:: SOT 98413 SOS 70872 HAS SOPS 58160 HAS SOUS 23032 HAS SOUPS 12841 WITH SCORE 12911.872
AT ITER 803 NEW BEST:: SOT 98411 SOS 70870 HAS SOPS 58156 HAS SOUS 23028 HAS SOUPS 12837 WITH SCORE 12907.87
AT ITER 822 NEW BEST:: SOT 98427 SOS 70939 HAS SOPS 58119 HAS SOUS 23044 HAS SOUPS 12747 WITH SCORE 12817.939
AT ITER 828 NEW BEST:: SOT 98423 SOS 70935 HAS SOPS 58115 HAS SOUS 23040 HAS SOUPS 12743 WITH SCORE 12813.935
AT ITER 835 NEW BEST:: SOT 98423 SOS 70924 HAS SOPS 58115 HAS SOUS 23040 HAS SOUPS 12743 WITH SCORE 12813.924
AT ITER 842 NEW BEST:: SOT 98440 SOS 70941 HAS SOPS 58092 HAS SOUS 23009 HAS SOUPS 12672 WITH SCORE 12742.941
AT ITER 852 NEW BEST:: SOT 98278 SOS 70779 HAS SOPS 57930 HAS SOUS 22847 HAS SOUPS 12510 WITH SCORE 12580.779
AT ITER 853 NEW BEST:: SOT 98180 SOS 70653 HAS SOPS 57860 HAS SOUS 22749 HAS SOUPS 12468 WITH SCORE 12538.653
AT ITER 873 NEW BEST:: SOT 98164 SOS 70637 HAS SOPS 57844 HAS SOUS 22711 HAS SOUPS 12430 WITH SCORE 12500.637
AT ITER 874 NEW BEST:: SOT 98164 SOS 70667 HAS SOPS 57829 HAS SOUS 22711 HAS SOUPS 12400 WITH SCORE 12470.667
AT ITER 875 NEW BEST:: SOT 98164 SOS 70473 HAS SOPS 57633 HAS SOUS 22709 HAS SOUPS 12396 WITH SCORE 12466.473
AT ITER 881 NEW BEST:: SOT 98050 SOS 70359 HAS SOPS 57519 HAS SOUS 22637 HAS SOUPS 12324 WITH SCORE 12394.359
AT ITER 883 NEW BEST:: SOT 98044 SOS 70353 HAS SOPS 57513 HAS SOUS 22629 HAS SOUPS 12316 WITH SCORE 12386.353
AT ITER 886 NEW BEST:: SOT 98038 SOS 70347 HAS SOPS 57507 HAS SOUS 22629 HAS SOUPS 12316 WITH SCORE 12386.347
AT ITER 889 NEW BEST:: SOT 97988 SOS 70286 HAS SOPS 57468 HAS SOUS 22579 HAS SOUPS 12288 WITH SCORE 12358.286
AT ITER 916 NEW BEST:: SOT 97891 SOS 70189 HAS SOPS 57374 HAS SOUS 22523 HAS SOUPS 12232 WITH SCORE 12302.189
AT ITER 925 NEW BEST:: SOT 96410 SOS 68689 HAS SOPS 55893 HAS SOUS 21080 HAS SOUPS 10808 WITH SCORE 10876.689
AT ITER 940 NEW BEST:: SOT 96373 SOS 68652 HAS SOPS 55856 HAS SOUS 21016 HAS SOUPS 10744 WITH SCORE 10812.652
AT ITER 942 NEW BEST:: SOT 96354 SOS 68621 HAS SOPS 55837 HAS SOUS 20990 HAS SOUPS 10730 WITH SCORE 10798.621
AT ITER 945 NEW BEST:: SOT 96354 SOS 64921 HAS SOPS 52100 HAS SOUS 20953 HAS SOUPS 10656 WITH SCORE 10720.921
AT ITER 952 NEW BEST:: SOT 96344 SOS 64911 HAS SOPS 52080 HAS SOUS 20933 HAS SOUPS 10626 WITH SCORE 10690.911
AT ITER 953 NEW BEST:: SOT 96343 SOS 64909 HAS SOPS 52079 HAS SOUS 20930 HAS SOUPS 10624 WITH SCORE 10688.909
AT ITER 954 NEW BEST:: SOT 96308 SOS 64874 HAS SOPS 52008 HAS SOUS 20860 HAS SOUPS 10554 WITH SCORE 10618.874
AT ITER 961 NEW BEST:: SOT 96238 SOS 64804 HAS SOPS 51938 HAS SOUS 20860 HAS SOUPS 10554 WITH SCORE 10618.804
AT ITER 970 NEW BEST:: SOT 96144 SOS 64663 HAS SOPS 51844 HAS SOUS 20719 HAS SOUPS 10460 WITH SCORE 10524.663
AT ITER 993 NEW BEST:: SOT 96013 SOS 64493 HAS SOPS 51744 HAS SOUS 20512 HAS SOUPS 10323 WITH SCORE 10387.493
AT ITER 997 NEW BEST:: SOT 95940 SOS 64420 HAS SOPS 51671 HAS SOUS 20440 HAS SOUPS 10251 WITH SCORE 10315.42
AT ITER 998 NEW BEST:: SOT 95894 SOS 64374 HAS SOPS 51625 HAS SOUS 20348 HAS SOUPS 10159 WITH SCORE 10223.374
AT ITER 1050 NEW BEST:: SOT 95060 SOS 66022 HAS SOPS 53477 HAS SOUS 19524 HAS SOUPS 9437 WITH SCORE 9503.022
AT ITER 1057 NEW BEST:: SOT 95078 SOS 65200 HAS SOPS 52589 HAS SOUS 19509 HAS SOUPS 9389 WITH SCORE 9454.2
AT ITER 1079 NEW BEST:: SOT 94919 SOS 65041 HAS SOPS 52430 HAS SOUS 19459 HAS SOUPS 9339 WITH SCORE 9404.041
AT ITER 1080 NEW BEST:: SOT 94922 SOS 65050 HAS SOPS 52433 HAS SOUS 19459 HAS SOUPS 9336 WITH SCORE 9401.05
AT ITER 1124 NEW BEST:: SOT 94837 SOS 64965 HAS SOPS 52348 HAS SOUS 19419 HAS SOUPS 9296 WITH SCORE 9360.965
AT ITER 1132 NEW BEST:: SOT 94742 SOS 64861 HAS SOPS 52262 HAS SOUS 19348 HAS SOUPS 9243 WITH SCORE 9307.861
AT ITER 1156 NEW BEST:: SOT 94828 SOS 65065 HAS SOPS 52348 HAS SOUS 19402 HAS SOUPS 9211 WITH SCORE 9276.065
AT ITER 1163 NEW BEST:: SOT 94824 SOS 65059 HAS SOPS 52344 HAS SOUS 19396 HAS SOUPS 9207 WITH SCORE 9272.059
AT ITER 1169 NEW BEST:: SOT 94824 SOS 65059 HAS SOPS 52344 HAS SOUS 19378 HAS SOUPS 9189 WITH SCORE 9254.059
AT ITER 1172 NEW BEST:: SOT 94824 SOS 65057 HAS SOPS 52344 HAS SOUS 19378 HAS SOUPS 9189 WITH SCORE 9254.057
AT ITER 1177 NEW BEST:: SOT 94813 SOS 65046 HAS SOPS 52333 HAS SOUS 19374 HAS SOUPS 9185 WITH SCORE 9250.046
AT ITER 1179 NEW BEST:: SOT 94797 SOS 65030 HAS SOPS 52317 HAS SOUS 19350 HAS SOUPS 9161 WITH SCORE 9226.03
AT ITER 1186 NEW BEST:: SOT 94794 SOS 65027 HAS SOPS 52314 HAS SOUS 19350 HAS SOUPS 9161 WITH SCORE 9226.027
AT ITER 1188 NEW BEST:: SOT 94781 SOS 65014 HAS SOPS 52301 HAS SOUS 19328 HAS SOUPS 9139 WITH SCORE 9204.014
AT ITER 1196 NEW BEST:: SOT 94777 SOS 64992 HAS SOPS 52297 HAS SOUS 19320 HAS SOUPS 9131 WITH SCORE 9195.992
AT ITER 1197 NEW BEST:: SOT 94781 SOS 65000 HAS SOPS 52297 HAS SOUS 19324 HAS SOUPS 9127 WITH SCORE 9192.0
AT ITER 1207 NEW BEST:: SOT 95026 SOS 64629 HAS SOPS 51296 HAS SOUS 18949 HAS SOUPS 8752 WITH SCORE 8816.629
AT ITER 1215 NEW BEST:: SOT 94954 SOS 64475 HAS SOPS 51242 HAS SOUS 18885 HAS SOUPS 8743 WITH SCORE 8807.475
AT ITER 1224 NEW BEST:: SOT 94958 SOS 64505 HAS SOPS 51198 HAS SOUS 18915 HAS SOUPS 8699 WITH SCORE 8763.505
AT ITER 1246 NEW BEST:: SOT 94958 SOS 64505 HAS SOPS 51192 HAS SOUS 18903 HAS SOUPS 8687 WITH SCORE 8751.505
AT ITER 1266 NEW BEST:: SOT 94974 SOS 64731 HAS SOPS 51208 HAS SOUS 18953 HAS SOUPS 8623 WITH SCORE 8687.731
AT ITER 1305 NEW BEST:: SOT 94958 SOS 64707 HAS SOPS 51192 HAS SOUS 18929 HAS SOUPS 8607 WITH SCORE 8671.707
AT ITER 1312 NEW BEST:: SOT 94950 SOS 64699 HAS SOPS 51184 HAS SOUS 18921 HAS SOUPS 8599 WITH SCORE 8663.699
AT ITER 1320 NEW BEST:: SOT 94950 SOS 64699 HAS SOPS 51184 HAS SOUS 18913 HAS SOUPS 8591 WITH SCORE 8655.699
AT ITER 1321 NEW BEST:: SOT 94878 SOS 64627 HAS SOPS 51112 HAS SOUS 18913 HAS SOUPS 8591 WITH SCORE 8655.627
AT ITER 1335 NEW BEST:: SOT 94879 SOS 64646 HAS SOPS 51095 HAS SOUS 18913 HAS SOUPS 8555 WITH SCORE 8619.646
AT ITER 1338 NEW BEST:: SOT 94880 SOS 64706 HAS SOPS 51096 HAS SOUS 18915 HAS SOUPS 8524 WITH SCORE 8588.706
AT ITER 1340 NEW BEST:: SOT 94757 SOS 64481 HAS SOPS 51000 HAS SOUS 18771 HAS SOUPS 8455 WITH SCORE 8519.481
AT ITER 1372 NEW BEST:: SOT 94801 SOS 64778 HAS SOPS 51044 HAS SOUS 18859 HAS SOUPS 8441 WITH SCORE 8505.778
AT ITER 1377 NEW BEST:: SOT 94802 SOS 64911 HAS SOPS 51045 HAS SOUS 18861 HAS SOUPS 8377 WITH SCORE 8441.911
AT ITER 1383 NEW BEST:: SOT 94735 SOS 64844 HAS SOPS 50978 HAS SOUS 18855 HAS SOUPS 8371 WITH SCORE 8435.844
AT ITER 1402 NEW BEST:: SOT 94731 SOS 64840 HAS SOPS 50974 HAS SOUS 18847 HAS SOUPS 8363 WITH SCORE 8427.84
AT ITER 1406 NEW BEST:: SOT 94724 SOS 64831 HAS SOPS 50967 HAS SOUS 18831 HAS SOUPS 8349 WITH SCORE 8413.831
AT ITER 1418 NEW BEST:: SOT 94717 SOS 64824 HAS SOPS 50960 HAS SOUS 18817 HAS SOUPS 8335 WITH SCORE 8399.824
AT ITER 1435 NEW BEST:: SOT 94714 SOS 64821 HAS SOPS 50954 HAS SOUS 18811 HAS SOUPS 8329 WITH SCORE 8393.821
AT ITER 1439 NEW BEST:: SOT 94704 SOS 64811 HAS SOPS 50944 HAS SOUS 18811 HAS SOUPS 8329 WITH SCORE 8393.811
AT ITER 1465 NEW BEST:: SOT 93608 SOS 63735 HAS SOPS 50576 HAS SOUS 17698 HAS SOUPS 7924 WITH SCORE 7987.735
AT ITER 1468 NEW BEST:: SOT 93591 SOS 63718 HAS SOPS 50575 HAS SOUS 17664 HAS SOUPS 7890 WITH SCORE 7953.718
AT ITER 1475 NEW BEST:: SOT 93632 SOS 63839 HAS SOPS 50616 HAS SOUS 17666 HAS SOUPS 7852 WITH SCORE 7915.839
AT ITER 1487 NEW BEST:: SOT 93519 SOS 63710 HAS SOPS 50503 HAS SOUS 17554 HAS SOUPS 7756 WITH SCORE 7819.71
AT ITER 1491 NEW BEST:: SOT 93519 SOS 63782 HAS SOPS 50503 HAS SOUS 17554 HAS SOUPS 7751 WITH SCORE 7814.782
AT ITER 1504 NEW BEST:: SOT 93510 SOS 63773 HAS SOPS 50494 HAS SOUS 17536 HAS SOUPS 7733 WITH SCORE 7796.773
AT ITER 1522 NEW BEST:: SOT 93467 SOS 63730 HAS SOPS 50451 HAS SOUS 17502 HAS SOUPS 7699 WITH SCORE 7762.73
AT ITER 1524 NEW BEST:: SOT 93394 SOS 63563 HAS SOPS 50378 HAS SOUS 17450 HAS SOUPS 7696 WITH SCORE 7759.563
AT ITER 1532 NEW BEST:: SOT 93360 SOS 63495 HAS SOPS 50344 HAS SOUS 17416 HAS SOUPS 7679 WITH SCORE 7742.495
AT ITER 1533 NEW BEST:: SOT 93257 SOS 63392 HAS SOPS 50274 HAS SOUS 17366 HAS SOUPS 7662 WITH SCORE 7725.392
AT ITER 1536 NEW BEST:: SOT 93246 SOS 63375 HAS SOPS 50264 HAS SOUS 17349 HAS SOUPS 7652 WITH SCORE 7715.375
AT ITER 1553 NEW BEST:: SOT 93229 SOS 63358 HAS SOPS 50213 HAS SOUS 17315 HAS SOUPS 7618 WITH SCORE 7681.358
AT ITER 1554 NEW BEST:: SOT 93184 SOS 63313 HAS SOPS 50168 HAS SOUS 17315 HAS SOUPS 7618 WITH SCORE 7681.313
AT ITER 1560 NEW BEST:: SOT 93184 SOS 63310 HAS SOPS 50168 HAS SOUS 17312 HAS SOUPS 7618 WITH SCORE 7681.31
AT ITER 1576 NEW BEST:: SOT 93156 SOS 63254 HAS SOPS 50140 HAS SOUS 17284 HAS SOUPS 7604 WITH SCORE 7667.254
AT ITER 1622 NEW BEST:: SOT 93156 SOS 63248 HAS SOPS 50140 HAS SOUS 17278 HAS SOUPS 7604 WITH SCORE 7667.248
AT ITER 1623 NEW BEST:: SOT 93192 SOS 63343 HAS SOPS 50176 HAS SOUS 17318 HAS SOUPS 7585 WITH SCORE 7648.343
AT ITER 1624 NEW BEST:: SOT 93192 SOS 63333 HAS SOPS 50176 HAS SOUS 17318 HAS SOUPS 7585 WITH SCORE 7648.333
AT ITER 1625 NEW BEST:: SOT 93190 SOS 63327 HAS SOPS 50174 HAS SOUS 17314 HAS SOUPS 7583 WITH SCORE 7646.327
AT ITER 1626 NEW BEST:: SOT 93191 SOS 63362 HAS SOPS 50175 HAS SOUS 17328 HAS SOUPS 7574 WITH SCORE 7637.362
AT ITER 1671 NEW BEST:: SOT 93191 SOS 62278 HAS SOPS 49080 HAS SOUS 17328 HAS SOUPS 7563 WITH SCORE 7625.278
AT ITER 1674 NEW BEST:: SOT 93191 SOS 62208 HAS SOPS 49080 HAS SOUS 17328 HAS SOUPS 7563 WITH SCORE 7625.208
AT ITER 1686 NEW BEST:: SOT 93206 SOS 62242 HAS SOPS 49095 HAS SOUS 17339 HAS SOUPS 7555 WITH SCORE 7617.242
AT ITER 1690 NEW BEST:: SOT 93204 SOS 62240 HAS SOPS 49095 HAS SOUS 17337 HAS SOUPS 7555 WITH SCORE 7617.24
AT ITER 1709 NEW BEST:: SOT 93204 SOS 62238 HAS SOPS 49095 HAS SOUS 17335 HAS SOUPS 7555 WITH SCORE 7617.238
AT ITER 1712 NEW BEST:: SOT 93097 SOS 62016 HAS SOPS 49010 HAS SOUS 17243 HAS SOUPS 7535 WITH SCORE 7597.016
AT ITER 1719 NEW BEST:: SOT 93093 SOS 62007 HAS SOPS 49006 HAS SOUS 17230 HAS SOUPS 7527 WITH SCORE 7589.007
AT ITER 1726 NEW BEST:: SOT 93089 SOS 62005 HAS SOPS 49000 HAS SOUS 17224 HAS SOUPS 7517 WITH SCORE 7579.005
AT ITER 1751 NEW BEST:: SOT 93071 SOS 61970 HAS SOPS 48982 HAS SOUS 17205 HAS SOUPS 7515 WITH SCORE 7576.97
AT ITER 1757 NEW BEST:: SOT 93071 SOS 61969 HAS SOPS 48982 HAS SOUS 17204 HAS SOUPS 7515 WITH SCORE 7576.969
AT ITER 1768 NEW BEST:: SOT 92984 SOS 61863 HAS SOPS 48914 HAS SOUS 17123 HAS SOUPS 7472 WITH SCORE 7533.863
AT ITER 1774 NEW BEST:: SOT 92994 SOS 61873 HAS SOPS 48920 HAS SOUS 17115 HAS SOUPS 7464 WITH SCORE 7525.873
AT ITER 1783 NEW BEST:: SOT 92946 SOS 61825 HAS SOPS 48872 HAS SOUS 17115 HAS SOUPS 7464 WITH SCORE 7525.825
AT ITER 1813 NEW BEST:: SOT 92983 SOS 61862 HAS SOPS 48909 HAS SOUS 17107 HAS SOUPS 7456 WITH SCORE 7517.862
AT ITER 1815 NEW BEST:: SOT 92983 SOS 61847 HAS SOPS 48909 HAS SOUS 17092 HAS SOUPS 7456 WITH SCORE 7517.847
AT ITER 1818 NEW BEST:: SOT 92983 SOS 61963 HAS SOPS 48909 HAS SOUS 17092 HAS SOUPS 7434 WITH SCORE 7495.963
AT ITER 1854 NEW BEST:: SOT 92922 SOS 61902 HAS SOPS 48848 HAS SOUS 17082 HAS SOUPS 7424 WITH SCORE 7485.902
AT ITER 1863 NEW BEST:: SOT 92896 SOS 61850 HAS SOPS 48822 HAS SOUS 17056 HAS SOUPS 7411 WITH SCORE 7472.85
AT ITER 1872 NEW BEST:: SOT 92894 SOS 61848 HAS SOPS 48820 HAS SOUS 17052 HAS SOUPS 7407 WITH SCORE 7468.848
AT ITER 1875 NEW BEST:: SOT 92892 SOS 61846 HAS SOPS 48818 HAS SOUS 17050 HAS SOUPS 7405 WITH SCORE 7466.846
AT ITER 1890 NEW BEST:: SOT 92799 SOS 61753 HAS SOPS 48726 HAS SOUS 17018 HAS SOUPS 7373 WITH SCORE 7434.753
AT ITER 1895 NEW BEST:: SOT 92792 SOS 61746 HAS SOPS 48719 HAS SOUS 17011 HAS SOUPS 7366 WITH SCORE 7427.746
AT ITER 1915 NEW BEST:: SOT 92795 SOS 61749 HAS SOPS 48722 HAS SOUS 16991 HAS SOUPS 7346 WITH SCORE 7407.749
AT ITER 1918 NEW BEST:: SOT 92696 SOS 61460 HAS SOPS 48623 HAS SOUS 16729 HAS SOUPS 7211 WITH SCORE 7272.46
AT ITER 1929 NEW BEST:: SOT 92696 SOS 61460 HAS SOPS 48623 HAS SOUS 16728 HAS SOUPS 7210 WITH SCORE 7271.46
AT ITER 1933 NEW BEST:: SOT 92669 SOS 61426 HAS SOPS 48603 HAS SOUS 16701 HAS SOUPS 7197 WITH SCORE 7258.426
AT ITER 1944 NEW BEST:: SOT 92653 SOS 61410 HAS SOPS 48587 HAS SOUS 16669 HAS SOUPS 7165 WITH SCORE 7226.41
AT ITER 1953 NEW BEST:: SOT 92493 SOS 61146 HAS SOPS 48453 HAS SOUS 16468 HAS SOUPS 7057 WITH SCORE 7118.146
AT ITER 1954 NEW BEST:: SOT 92498 SOS 61161 HAS SOPS 48453 HAS SOUS 16468 HAS SOUPS 7052 WITH SCORE 7113.161
AT ITER 1985 NEW BEST:: SOT 92498 SOS 61160 HAS SOPS 48453 HAS SOUS 16466 HAS SOUPS 7050 WITH SCORE 7111.16
AT ITER 1987 NEW BEST:: SOT 92447 SOS 60950 HAS SOPS 48402 HAS SOUS 16364 HAS SOUPS 7021 WITH SCORE 7081.95
AT ITER 1999 NEW BEST:: SOT 92415 SOS 60918 HAS SOPS 48370 HAS SOUS 16364 HAS SOUPS 7021 WITH SCORE 7081.918
AT ITER 2001 NEW BEST:: SOT 92358 SOS 60829 HAS SOPS 48313 HAS SOUS 16282 HAS SOUPS 6971 WITH SCORE 7031.829
AT ITER 2011 NEW BEST:: SOT 92339 SOS 60810 HAS SOPS 48294 HAS SOUS 16280 HAS SOUPS 6969 WITH SCORE 7029.81
AT ITER 2013 NEW BEST:: SOT 92330 SOS 60801 HAS SOPS 48285 HAS SOUS 16262 HAS SOUPS 6951 WITH SCORE 7011.801
AT ITER 2032 NEW BEST:: SOT 92325 SOS 60708 HAS SOPS 48280 HAS SOUS 16219 HAS SOUPS 6946 WITH SCORE 7006.708
AT ITER 2041 NEW BEST:: SOT 92312 SOS 60695 HAS SOPS 48267 HAS SOUS 16193 HAS SOUPS 6920 WITH SCORE 6980.695
AT ITER 2052 NEW BEST:: SOT 92306 SOS 60689 HAS SOPS 48261 HAS SOUS 16181 HAS SOUPS 6908 WITH SCORE 6968.689
AT ITER 2058 NEW BEST:: SOT 92129 SOS 60280 HAS SOPS 48084 HAS SOUS 16059 HAS SOUPS 6902 WITH SCORE 6962.28
AT ITER 2078 NEW BEST:: SOT 92121 SOS 60272 HAS SOPS 48076 HAS SOUS 16043 HAS SOUPS 6886 WITH SCORE 6946.272
AT ITER 2089 NEW BEST:: SOT 92070 SOS 60169 HAS SOPS 48025 HAS SOUS 15993 HAS SOUPS 6862 WITH SCORE 6922.169
AT ITER 2095 NEW BEST:: SOT 91988 SOS 60087 HAS SOPS 47943 HAS SOUS 15961 HAS SOUPS 6830 WITH SCORE 6890.087
AT ITER 2104 NEW BEST:: SOT 91984 SOS 60083 HAS SOPS 47939 HAS SOUS 15953 HAS SOUPS 6822 WITH SCORE 6882.083
AT ITER 2108 NEW BEST:: SOT 91988 SOS 60091 HAS SOPS 47939 HAS SOUS 15957 HAS SOUPS 6818 WITH SCORE 6878.091
AT ITER 2110 NEW BEST:: SOT 92019 SOS 60184 HAS SOPS 47939 HAS SOUS 15957 HAS SOUPS 6787 WITH SCORE 6847.184
AT ITER 2112 NEW BEST:: SOT 92012 SOS 60133 HAS SOPS 47932 HAS SOUS 15899 HAS SOUPS 6773 WITH SCORE 6833.133
AT ITER 2113 NEW BEST:: SOT 92012 SOS 60124 HAS SOPS 47932 HAS SOUS 15899 HAS SOUPS 6773 WITH SCORE 6833.124
AT ITER 2167 NEW BEST:: SOT 92012 SOS 60124 HAS SOPS 47932 HAS SOUS 15894 HAS SOUPS 6768 WITH SCORE 6828.124
AT ITER 2184 NEW BEST:: SOT 92120 SOS 60390 HAS SOPS 48040 HAS SOUS 15952 HAS SOUPS 6747 WITH SCORE 6807.39
AT ITER 2185 NEW BEST:: SOT 92118 SOS 60388 HAS SOPS 48038 HAS SOUS 15952 HAS SOUPS 6747 WITH SCORE 6807.388
AT ITER 2195 NEW BEST:: SOT 92105 SOS 60375 HAS SOPS 48038 HAS SOUS 15952 HAS SOUPS 6747 WITH SCORE 6807.375
AT ITER 2277 NEW BEST:: SOT 92105 SOS 60381 HAS SOPS 48038 HAS SOUS 15952 HAS SOUPS 6744 WITH SCORE 6804.381
AT ITER 2283 NEW BEST:: SOT 92077 SOS 60325 HAS SOPS 48010 HAS SOUS 15924 HAS SOUPS 6730 WITH SCORE 6790.325
AT ITER 2309 NEW BEST:: SOT 92206 SOS 60690 HAS SOPS 48139 HAS SOUS 15946 HAS SOUPS 6634 WITH SCORE 6694.69
AT ITER 2362 NEW BEST:: SOT 92178 SOS 60662 HAS SOPS 48111 HAS SOUS 15890 HAS SOUPS 6578 WITH SCORE 6638.662
AT ITER 2399 NEW BEST:: SOT 92303 SOS 60960 HAS SOPS 48236 HAS SOUS 15974 HAS SOUPS 6568 WITH SCORE 6628.96
AT ITER 2429 NEW BEST:: SOT 92305 SOS 60962 HAS SOPS 48235 HAS SOUS 15972 HAS SOUPS 6566 WITH SCORE 6626.962
AT ITER 2445 NEW BEST:: SOT 92297 SOS 60946 HAS SOPS 48227 HAS SOUS 15964 HAS SOUPS 6566 WITH SCORE 6626.946
AT ITER 2465 NEW BEST:: SOT 92318 SOS 60967 HAS SOPS 48248 HAS SOUS 15946 HAS SOUPS 6548 WITH SCORE 6608.967
AT ITER 2490 NEW BEST:: SOT 92315 SOS 60961 HAS SOPS 48245 HAS SOUS 15937 HAS SOUPS 6542 WITH SCORE 6602.961
AT ITER 2505 NEW BEST:: SOT 92306 SOS 60952 HAS SOPS 48236 HAS SOUS 15937 HAS SOUPS 6542 WITH SCORE 6602.952
AT ITER 2556 NEW BEST:: SOT 92276 SOS 60892 HAS SOPS 48206 HAS SOUS 15907 HAS SOUPS 6527 WITH SCORE 6587.892
AT ITER 2571 NEW BEST:: SOT 92273 SOS 60889 HAS SOPS 48203 HAS SOUS 15907 HAS SOUPS 6527 WITH SCORE 6587.889
AT ITER 2576 NEW BEST:: SOT 92276 SOS 61035 HAS SOPS 48206 HAS SOUS 15913 HAS SOUPS 6500 WITH SCORE 6561.035
AT ITER 2588 NEW BEST:: SOT 92258 SOS 61017 HAS SOPS 48188 HAS SOUS 15895 HAS SOUPS 6482 WITH SCORE 6543.017
AT ITER 2597 NEW BEST:: SOT 92304 SOS 61151 HAS SOPS 48195 HAS SOUS 15941 HAS SOUPS 6445 WITH SCORE 6506.151
AT ITER 2622 NEW BEST:: SOT 92276 SOS 61123 HAS SOPS 48167 HAS SOUS 15921 HAS SOUPS 6425 WITH SCORE 6486.123
AT ITER 2727 NEW BEST:: SOT 92276 SOS 61120 HAS SOPS 48168 HAS SOUS 15917 HAS SOUPS 6425 WITH SCORE 6486.12
AT ITER 2744 NEW BEST:: SOT 92271 SOS 61115 HAS SOPS 48163 HAS SOUS 15907 HAS SOUPS 6415 WITH SCORE 6476.115
AT ITER 2775 NEW BEST:: SOT 92251 SOS 61095 HAS SOPS 48143 HAS SOUS 15905 HAS SOUPS 6413 WITH SCORE 6474.095
AT ITER 2798 NEW BEST:: SOT 92251 SOS 61094 HAS SOPS 48143 HAS SOUS 15904 HAS SOUPS 6413 WITH SCORE 6474.094
AT ITER 2807 NEW BEST:: SOT 92251 SOS 60974 HAS SOPS 48143 HAS SOUS 15844 HAS SOUPS 6413 WITH SCORE 6473.974
AT ITER 2824 NEW BEST:: SOT 92251 SOS 61071 HAS SOPS 48143 HAS SOUS 15844 HAS SOUPS 6411 WITH SCORE 6472.071
AT ITER 2825 NEW BEST:: SOT 92248 SOS 61068 HAS SOPS 48140 HAS SOUS 15844 HAS SOUPS 6411 WITH SCORE 6472.068
AT ITER 2850 NEW BEST:: SOT 92209 SOS 61019 HAS SOPS 48111 HAS SOUS 15818 HAS SOUPS 6405 WITH SCORE 6466.019
AT ITER 2866 NEW BEST:: SOT 92208 SOS 61018 HAS SOPS 48110 HAS SOUS 15816 HAS SOUPS 6403 WITH SCORE 6464.018
AT ITER 2873 NEW BEST:: SOT 92208 SOS 60978 HAS SOPS 48110 HAS SOUS 15770 HAS SOUPS 6397 WITH SCORE 6457.978
AT ITER 2928 NEW BEST:: SOT 92203 SOS 60968 HAS SOPS 48105 HAS SOUS 15765 HAS SOUPS 6397 WITH SCORE 6457.968
AT ITER 2929 NEW BEST:: SOT 92193 SOS 60958 HAS SOPS 48095 HAS SOUS 15745 HAS SOUPS 6377 WITH SCORE 6437.958
AT ITER 2945 NEW BEST:: SOT 92208 SOS 61043 HAS SOPS 48110 HAS SOUS 15779 HAS SOUPS 6374 WITH SCORE 6435.043
AT ITER 2947 NEW BEST:: SOT 92208 SOS 61041 HAS SOPS 48110 HAS SOUS 15779 HAS SOUPS 6374 WITH SCORE 6435.041
AT ITER 2960 NEW BEST:: SOT 92194 SOS 61027 HAS SOPS 48096 HAS SOUS 15779 HAS SOUPS 6374 WITH SCORE 6435.027
AT ITER 2965 NEW BEST:: SOT 92175 SOS 61008 HAS SOPS 48077 HAS SOUS 15779 HAS SOUPS 6374 WITH SCORE 6435.008
AT ITER 3017 NEW BEST:: SOT 92131 SOS 60908 HAS SOPS 48033 HAS SOUS 15747 HAS SOUPS 6370 WITH SCORE 6430.908
AT ITER 3019 NEW BEST:: SOT 92161 SOS 60938 HAS SOPS 48063 HAS SOUS 15689 HAS SOUPS 6312 WITH SCORE 6372.938
AT ITER 3048 NEW BEST:: SOT 92143 SOS 60920 HAS SOPS 48045 HAS SOUS 15671 HAS SOUPS 6294 WITH SCORE 6354.92
AT ITER 3052 NEW BEST:: SOT 92122 SOS 60857 HAS SOPS 48024 HAS SOUS 15629 HAS SOUPS 6273 WITH SCORE 6333.857
AT ITER 3101 NEW BEST:: SOT 92099 SOS 60811 HAS SOPS 48001 HAS SOUS 15606 HAS SOUPS 6273 WITH SCORE 6333.811
AT ITER 3108 NEW BEST:: SOT 92099 SOS 60775 HAS SOPS 48001 HAS SOUS 15606 HAS SOUPS 6273 WITH SCORE 6333.775
AT ITER 3123 NEW BEST:: SOT 92087 SOS 60717 HAS SOPS 47989 HAS SOUS 15582 HAS SOUPS 6264 WITH SCORE 6324.717
AT ITER 3219 NEW BEST:: SOT 92077 SOS 60707 HAS SOPS 47979 HAS SOUS 15562 HAS SOUPS 6244 WITH SCORE 6304.707
AT ITER 3235 NEW BEST:: SOT 92054 SOS 60649 HAS SOPS 47956 HAS SOUS 15516 HAS SOUPS 6233 WITH SCORE 6293.649
AT ITER 3265 NEW BEST:: SOT 92051 SOS 60646 HAS SOPS 47953 HAS SOUS 15510 HAS SOUPS 6227 WITH SCORE 6287.646
AT ITER 3301 NEW BEST:: SOT 92047 SOS 60642 HAS SOPS 47949 HAS SOUS 15506 HAS SOUPS 6223 WITH SCORE 6283.642
AT ITER 3316 NEW BEST:: SOT 92008 SOS 60603 HAS SOPS 47910 HAS SOUS 15506 HAS SOUPS 6223 WITH SCORE 6283.603
AT ITER 3373 NEW BEST:: SOT 91995 SOS 60590 HAS SOPS 47897 HAS SOUS 15498 HAS SOUPS 6215 WITH SCORE 6275.59
AT ITER 3407 NEW BEST:: SOT 91975 SOS 60514 HAS SOPS 47877 HAS SOUS 15458 HAS SOUPS 6203 WITH SCORE 6263.514
AT ITER 3416 NEW BEST:: SOT 92019 SOS 60779 HAS SOPS 47921 HAS SOUS 15546 HAS SOUPS 6196 WITH SCORE 6256.779
AT ITER 3417 NEW BEST:: SOT 91990 SOS 60750 HAS SOPS 47892 HAS SOUS 15488 HAS SOUPS 6138 WITH SCORE 6198.75
AT ITER 3421 NEW BEST:: SOT 91990 SOS 60740 HAS SOPS 47892 HAS SOUS 15488 HAS SOUPS 6138 WITH SCORE 6198.74
AT ITER 3422 NEW BEST:: SOT 92092 SOS 61047 HAS SOPS 47915 HAS SOUS 15590 HAS SOUPS 6061 WITH SCORE 6122.047
AT ITER 3475 NEW BEST:: SOT 92090 SOS 61045 HAS SOPS 47913 HAS SOUS 15586 HAS SOUPS 6057 WITH SCORE 6118.045
AT ITER 3489 NEW BEST:: SOT 92083 SOS 61038 HAS SOPS 47906 HAS SOUS 15586 HAS SOUPS 6057 WITH SCORE 6118.038
AT ITER 3493 NEW BEST:: SOT 92084 SOS 61041 HAS SOPS 47907 HAS SOUS 15586 HAS SOUPS 6056 WITH SCORE 6117.041
AT ITER 3515 NEW BEST:: SOT 92064 SOS 61021 HAS SOPS 47887 HAS SOUS 15546 HAS SOUPS 6016 WITH SCORE 6077.021
AT ITER 3521 NEW BEST:: SOT 92090 SOS 61255 HAS SOPS 47913 HAS SOUS 15598 HAS SOUPS 5995 WITH SCORE 6056.255
AT ITER 3525 NEW BEST:: SOT 92095 SOS 61265 HAS SOPS 47913 HAS SOUS 15603 HAS SOUPS 5990 WITH SCORE 6051.265
AT ITER 3533 NEW BEST:: SOT 92094 SOS 61264 HAS SOPS 47911 HAS SOUS 15601 HAS SOUPS 5988 WITH SCORE 6049.264
AT ITER 3536 NEW BEST:: SOT 92093 SOS 61263 HAS SOPS 47910 HAS SOUS 15599 HAS SOUPS 5986 WITH SCORE 6047.263
AT ITER 3538 NEW BEST:: SOT 92080 SOS 61237 HAS SOPS 47910 HAS SOUS 15586 HAS SOUPS 5986 WITH SCORE 6047.237
AT ITER 3549 NEW BEST:: SOT 92077 SOS 61234 HAS SOPS 47907 HAS SOUS 15580 HAS SOUPS 5980 WITH SCORE 6041.234
AT ITER 3550 NEW BEST:: SOT 92094 SOS 61278 HAS SOPS 47897 HAS SOUS 15597 HAS SOUPS 5943 WITH SCORE 6004.278
AT ITER 3553 NEW BEST:: SOT 92092 SOS 61276 HAS SOPS 47895 HAS SOUS 15593 HAS SOUPS 5939 WITH SCORE 6000.276
AT ITER 3562 NEW BEST:: SOT 92082 SOS 61266 HAS SOPS 47873 HAS SOUS 15573 HAS SOUPS 5919 WITH SCORE 5980.266
AT ITER 3618 NEW BEST:: SOT 92080 SOS 61264 HAS SOPS 47871 HAS SOUS 15569 HAS SOUPS 5915 WITH SCORE 5976.264
AT ITER 3662 NEW BEST:: SOT 92080 SOS 61264 HAS SOPS 47847 HAS SOUS 15521 HAS SOUPS 5867 WITH SCORE 5928.264
AT ITER 3688 NEW BEST:: SOT 92665 SOS 61823 HAS SOPS 47774 HAS SOUS 16080 HAS SOUPS 5794 WITH SCORE 5855.823
AT ITER 3743 NEW BEST:: SOT 92670 SOS 61838 HAS SOPS 47774 HAS SOUS 16085 HAS SOUPS 5789 WITH SCORE 5850.838
AT ITER 3766 NEW BEST:: SOT 92667 SOS 61835 HAS SOPS 47771 HAS SOUS 16083 HAS SOUPS 5787 WITH SCORE 5848.835
AT ITER 3783 NEW BEST:: SOT 92667 SOS 61826 HAS SOPS 47771 HAS SOUS 16083 HAS SOUPS 5787 WITH SCORE 5848.826
AT ITER 3784 NEW BEST:: SOT 92670 SOS 61836 HAS SOPS 47763 HAS SOUS 16093 HAS SOUPS 5779 WITH SCORE 5840.836
AT ITER 3791 NEW BEST:: SOT 92654 SOS 61812 HAS SOPS 47747 HAS SOUS 16069 HAS SOUPS 5763 WITH SCORE 5824.812
AT ITER 3837 NEW BEST:: SOT 92720 SOS 62007 HAS SOPS 47749 HAS SOUS 16072 HAS SOUPS 5701 WITH SCORE 5763.007
AT ITER 3840 NEW BEST:: SOT 92720 SOS 61646 HAS SOPS 47378 HAS SOUS 16067 HAS SOUPS 5691 WITH SCORE 5752.646
AT ITER 3852 NEW BEST:: SOT 92731 SOS 61679 HAS SOPS 47378 HAS SOUS 16078 HAS SOUPS 5680 WITH SCORE 5741.679
AT ITER 3858 NEW BEST:: SOT 92735 SOS 61694 HAS SOPS 47382 HAS SOUS 16075 HAS SOUPS 5666 WITH SCORE 5727.694
AT ITER 3935 NEW BEST:: SOT 92735 SOS 61683 HAS SOPS 47382 HAS SOUS 16064 HAS SOUPS 5666 WITH SCORE 5727.683
AT ITER 3964 NEW BEST:: SOT 92715 SOS 61663 HAS SOPS 47362 HAS SOUS 16064 HAS SOUPS 5666 WITH SCORE 5727.663
AT ITER 3991 NEW BEST:: SOT 92704 SOS 61673 HAS SOPS 47351 HAS SOUS 16068 HAS SOUPS 5649 WITH SCORE 5710.673
AT ITER 4000 NEW BEST:: SOT 92756 SOS 61725 HAS SOPS 47365 HAS SOUS 16062 HAS SOUPS 5643 WITH SCORE 5704.725
AT ITER 4052 NEW BEST:: SOT 92756 SOS 61711 HAS SOPS 47365 HAS SOUS 16062 HAS SOUPS 5643 WITH SCORE 5704.711
AT ITER 4054 NEW BEST:: SOT 92755 SOS 61710 HAS SOPS 47364 HAS SOUS 16060 HAS SOUPS 5641 WITH SCORE 5702.71
AT ITER 4108 NEW BEST:: SOT 92755 SOS 61756 HAS SOPS 47364 HAS SOUS 16060 HAS SOUPS 5618 WITH SCORE 5679.756
AT ITER 4111 NEW BEST:: SOT 92763 SOS 61798 HAS SOPS 47338 HAS SOUS 16060 HAS SOUPS 5550 WITH SCORE 5611.798
AT ITER 4117 NEW BEST:: SOT 92762 SOS 61797 HAS SOPS 47337 HAS SOUS 16058 HAS SOUPS 5548 WITH SCORE 5609.797
AT ITER 4141 NEW BEST:: SOT 92751 SOS 61786 HAS SOPS 47306 HAS SOUS 16036 HAS SOUPS 5526 WITH SCORE 5587.786
AT ITER 4188 NEW BEST:: SOT 92758 SOS 61207 HAS SOPS 46717 HAS SOUS 16036 HAS SOUPS 5516 WITH SCORE 5577.207
AT ITER 4259 NEW BEST:: SOT 92758 SOS 61181 HAS SOPS 46717 HAS SOUS 16036 HAS SOUPS 5516 WITH SCORE 5577.181
AT ITER 4265 NEW BEST:: SOT 92761 SOS 61184 HAS SOPS 46720 HAS SOUS 16032 HAS SOUPS 5512 WITH SCORE 5573.184
AT ITER 4288 NEW BEST:: SOT 92752 SOS 61175 HAS SOPS 46720 HAS SOUS 16023 HAS SOUPS 5512 WITH SCORE 5573.175
AT ITER 4293 NEW BEST:: SOT 92748 SOS 61171 HAS SOPS 46716 HAS SOUS 16015 HAS SOUPS 5504 WITH SCORE 5565.171
AT ITER 4321 NEW BEST:: SOT 92726 SOS 61121 HAS SOPS 46694 HAS SOUS 15999 HAS SOUPS 5502 WITH SCORE 5563.121
AT ITER 4361 NEW BEST:: SOT 92738 SOS 61284 HAS SOPS 46706 HAS SOUS 16023 HAS SOUPS 5494 WITH SCORE 5555.284
AT ITER 4483 NEW BEST:: SOT 92730 SOS 61276 HAS SOPS 46698 HAS SOUS 16007 HAS SOUPS 5478 WITH SCORE 5539.276
AT ITER 4511 NEW BEST:: SOT 92727 SOS 61273 HAS SOPS 46695 HAS SOUS 16001 HAS SOUPS 5472 WITH SCORE 5533.273
AT ITER 4546 NEW BEST:: SOT 92717 SOS 61263 HAS SOPS 46685 HAS SOUS 15981 HAS SOUPS 5452 WITH SCORE 5513.263
AT ITER 4587 NEW BEST:: SOT 92717 SOS 61218 HAS SOPS 46685 HAS SOUS 15981 HAS SOUPS 5452 WITH SCORE 5513.218
AT ITER 4641 NEW BEST:: SOT 92705 SOS 61206 HAS SOPS 46673 HAS SOUS 15975 HAS SOUPS 5446 WITH SCORE 5507.206
AT ITER 4650 NEW BEST:: SOT 92696 SOS 61188 HAS SOPS 46664 HAS SOUS 15966 HAS SOUPS 5446 WITH SCORE 5507.188
AT ITER 4672 NEW BEST:: SOT 92678 SOS 61152 HAS SOPS 46646 HAS SOUS 15948 HAS SOUPS 5446 WITH SCORE 5507.152
AT ITER 4711 NEW BEST:: SOT 92716 SOS 61237 HAS SOPS 46684 HAS SOUS 15977 HAS SOUPS 5428 WITH SCORE 5489.237
AT ITER 4761 NEW BEST:: SOT 92737 SOS 61300 HAS SOPS 46684 HAS SOUS 15998 HAS SOUPS 5407 WITH SCORE 5468.3
AT ITER 4774 NEW BEST:: SOT 92736 SOS 61298 HAS SOPS 46683 HAS SOUS 15997 HAS SOUPS 5407 WITH SCORE 5468.298
AT ITER 4785 NEW BEST:: SOT 92733 SOS 61267 HAS SOPS 46682 HAS SOUS 15981 HAS SOUPS 5406 WITH SCORE 5467.267
AT ITER 4787 NEW BEST:: SOT 92733 SOS 61241 HAS SOPS 46682 HAS SOUS 15981 HAS SOUPS 5406 WITH SCORE 5467.241
AT ITER 4859 NEW BEST:: SOT 92702 SOS 61178 HAS SOPS 46651 HAS SOUS 15951 HAS SOUPS 5392 WITH SCORE 5453.178
AT ITER 4872 NEW BEST:: SOT 92702 SOS 61214 HAS SOPS 46651 HAS SOUS 15951 HAS SOUPS 5374 WITH SCORE 5435.214
AT ITER 4927 NEW BEST:: SOT 92709 SOS 61261 HAS SOPS 46658 HAS SOUS 15965 HAS SOUPS 5368 WITH SCORE 5429.261
AT ITER 4934 NEW BEST:: SOT 92681 SOS 61233 HAS SOPS 46630 HAS SOUS 15965 HAS SOUPS 5368 WITH SCORE 5429.233
AT ITER 4935 NEW BEST:: SOT 92687 SOS 61344 HAS SOPS 46636 HAS SOUS 15977 HAS SOUPS 5352 WITH SCORE 5413.344
AT ITER 5017 NEW BEST:: SOT 92673 SOS 61323 HAS SOPS 46622 HAS SOUS 15956 HAS SOUPS 5338 WITH SCORE 5399.323
AT ITER 5020 NEW BEST:: SOT 92695 SOS 61345 HAS SOPS 46615 HAS SOUS 15934 HAS SOUPS 5316 WITH SCORE 5377.345
AT ITER 5059 NEW BEST:: SOT 92177 SOS 60828 HAS SOPS 46635 HAS SOUS 15395 HAS SOUPS 5314 WITH SCORE 5374.828
AT ITER 5062 NEW BEST:: SOT 92173 SOS 60824 HAS SOPS 46631 HAS SOUS 15387 HAS SOUPS 5306 WITH SCORE 5366.824
AT ITER 5115 NEW BEST:: SOT 92172 SOS 60823 HAS SOPS 46630 HAS SOUS 15386 HAS SOUPS 5305 WITH SCORE 5365.823
AT ITER 5143 NEW BEST:: SOT 92209 SOS 60860 HAS SOPS 46667 HAS SOUS 15374 HAS SOUPS 5293 WITH SCORE 5353.86
AT ITER 5145 NEW BEST:: SOT 92196 SOS 60847 HAS SOPS 46654 HAS SOUS 15348 HAS SOUPS 5267 WITH SCORE 5327.847
AT ITER 5146 NEW BEST:: SOT 92206 SOS 59471 HAS SOPS 45264 HAS SOUS 15358 HAS SOUPS 5263 WITH SCORE 5322.471
AT ITER 5149 NEW BEST:: SOT 92186 SOS 59451 HAS SOPS 45244 HAS SOUS 15318 HAS SOUPS 5223 WITH SCORE 5282.451
AT ITER 5157 NEW BEST:: SOT 92173 SOS 59438 HAS SOPS 45231 HAS SOUS 15316 HAS SOUPS 5221 WITH SCORE 5280.438
AT ITER 5243 NEW BEST:: SOT 92172 SOS 59437 HAS SOPS 45230 HAS SOUS 15314 HAS SOUPS 5219 WITH SCORE 5278.437
AT ITER 5262 NEW BEST:: SOT 92446 SOS 59710 HAS SOPS 45106 HAS SOUS 15601 HAS SOUPS 5109 WITH SCORE 5168.71
AT ITER 5296 NEW BEST:: SOT 92436 SOS 59690 HAS SOPS 45096 HAS SOUS 15591 HAS SOUPS 5104 WITH SCORE 5163.69
AT ITER 5309 NEW BEST:: SOT 92432 SOS 59662 HAS SOPS 45092 HAS SOUS 15559 HAS SOUPS 5096 WITH SCORE 5155.662
AT ITER 5342 NEW BEST:: SOT 92406 SOS 59636 HAS SOPS 45066 HAS SOUS 15533 HAS SOUPS 5070 WITH SCORE 5129.636
AT ITER 5359 NEW BEST:: SOT 92364 SOS 59594 HAS SOPS 45024 HAS SOUS 15503 HAS SOUPS 5040 WITH SCORE 5099.594
AT ITER 5391 NEW BEST:: SOT 92368 SOS 59598 HAS SOPS 45028 HAS SOUS 15481 HAS SOUPS 5018 WITH SCORE 5077.598
AT ITER 5393 NEW BEST:: SOT 92395 SOS 59625 HAS SOPS 45055 HAS SOUS 15457 HAS SOUPS 4994 WITH SCORE 5053.625
AT ITER 5434 NEW BEST:: SOT 92400 SOS 59646 HAS SOPS 45044 HAS SOUS 15462 HAS SOUPS 4967 WITH SCORE 5026.646
AT ITER 5451 NEW BEST:: SOT 92400 SOS 59662 HAS SOPS 45044 HAS SOUS 15462 HAS SOUPS 4959 WITH SCORE 5018.662
AT ITER 5481 NEW BEST:: SOT 92404 SOS 59674 HAS SOPS 45032 HAS SOUS 15462 HAS SOUPS 4949 WITH SCORE 5008.674
AT ITER 5498 NEW BEST:: SOT 92395 SOS 59665 HAS SOPS 45023 HAS SOUS 15432 HAS SOUPS 4919 WITH SCORE 4978.665
AT ITER 5528 NEW BEST:: SOT 92395 SOS 59775 HAS SOPS 45023 HAS SOUS 15432 HAS SOUPS 4904 WITH SCORE 4963.775
AT ITER 5529 NEW BEST:: SOT 92395 SOS 59717 HAS SOPS 45023 HAS SOUS 15432 HAS SOUPS 4904 WITH SCORE 4963.717
AT ITER 5586 NEW BEST:: SOT 92410 SOS 59748 HAS SOPS 45038 HAS SOUS 15446 HAS SOUPS 4902 WITH SCORE 4961.748
AT ITER 5591 NEW BEST:: SOT 92359 SOS 59697 HAS SOPS 44987 HAS SOUS 15422 HAS SOUPS 4878 WITH SCORE 4937.697
AT ITER 5599 NEW BEST:: SOT 92357 SOS 59695 HAS SOPS 44985 HAS SOUS 15418 HAS SOUPS 4874 WITH SCORE 4933.695
AT ITER 5621 NEW BEST:: SOT 92368 SOS 59734 HAS SOPS 44996 HAS SOUS 15412 HAS SOUPS 4840 WITH SCORE 4899.734
AT ITER 5693 NEW BEST:: SOT 92362 SOS 59728 HAS SOPS 44990 HAS SOUS 15410 HAS SOUPS 4838 WITH SCORE 4897.728
AT ITER 5728 NEW BEST:: SOT 92362 SOS 59746 HAS SOPS 44988 HAS SOUS 15418 HAS SOUPS 4836 WITH SCORE 4895.746
AT ITER 5769 NEW BEST:: SOT 92343 SOS 59727 HAS SOPS 44969 HAS SOUS 15416 HAS SOUPS 4834 WITH SCORE 4893.727
AT ITER 5793 NEW BEST:: SOT 92338 SOS 59758 HAS SOPS 44964 HAS SOUS 15449 HAS SOUPS 4831 WITH SCORE 4890.758
AT ITER 5814 NEW BEST:: SOT 92338 SOS 59718 HAS SOPS 44964 HAS SOUS 15449 HAS SOUPS 4831 WITH SCORE 4890.718
AT ITER 5836 NEW BEST:: SOT 92338 SOS 59728 HAS SOPS 44954 HAS SOUS 15449 HAS SOUPS 4811 WITH SCORE 4870.728
AT ITER 5881 NEW BEST:: SOT 92338 SOS 59728 HAS SOPS 44954 HAS SOUS 15441 HAS SOUPS 4803 WITH SCORE 4862.728
AT ITER 5918 NEW BEST:: SOT 92320 SOS 59710 HAS SOPS 44936 HAS SOUS 15437 HAS SOUPS 4799 WITH SCORE 4858.71
AT ITER 6023 NEW BEST:: SOT 92320 SOS 59708 HAS SOPS 44936 HAS SOUS 15437 HAS SOUPS 4799 WITH SCORE 4858.708
AT ITER 6074 NEW BEST:: SOT 92318 SOS 59693 HAS SOPS 44934 HAS SOUS 15420 HAS SOUPS 4795 WITH SCORE 4854.693
AT ITER 6078 NEW BEST:: SOT 92315 SOS 59690 HAS SOPS 44931 HAS SOUS 15414 HAS SOUPS 4789 WITH SCORE 4848.69
AT ITER 6147 NEW BEST:: SOT 92311 SOS 59686 HAS SOPS 44918 HAS SOUS 15406 HAS SOUPS 4781 WITH SCORE 4840.686
AT ITER 6321 NEW BEST:: SOT 92312 SOS 59687 HAS SOPS 44917 HAS SOUS 15404 HAS SOUPS 4779 WITH SCORE 4838.687
AT ITER 6340 NEW BEST:: SOT 92299 SOS 59674 HAS SOPS 44904 HAS SOUS 15404 HAS SOUPS 4779 WITH SCORE 4838.674
AT ITER 6384 NEW BEST:: SOT 92271 SOS 59646 HAS SOPS 44876 HAS SOUS 15378 HAS SOUPS 4753 WITH SCORE 4812.646
AT ITER 6425 NEW BEST:: SOT 92267 SOS 59642 HAS SOPS 44868 HAS SOUS 15370 HAS SOUPS 4741 WITH SCORE 4800.642
AT ITER 6455 NEW BEST:: SOT 92264 SOS 59639 HAS SOPS 44821 HAS SOUS 15364 HAS SOUPS 4735 WITH SCORE 4794.639
AT ITER 6518 NEW BEST:: SOT 92251 SOS 59626 HAS SOPS 44808 HAS SOUS 15338 HAS SOUPS 4709 WITH SCORE 4768.626
AT ITER 6529 NEW BEST:: SOT 92243 SOS 59618 HAS SOPS 44800 HAS SOUS 15322 HAS SOUPS 4693 WITH SCORE 4752.618
AT ITER 6556 NEW BEST:: SOT 92236 SOS 59611 HAS SOPS 44793 HAS SOUS 15308 HAS SOUPS 4679 WITH SCORE 4738.611
AT ITER 6561 NEW BEST:: SOT 92235 SOS 59610 HAS SOPS 44792 HAS SOUS 15306 HAS SOUPS 4677 WITH SCORE 4736.61
AT ITER 6604 NEW BEST:: SOT 92228 SOS 59603 HAS SOPS 44785 HAS SOUS 15304 HAS SOUPS 4675 WITH SCORE 4734.603
AT ITER 6613 NEW BEST:: SOT 92221 SOS 59596 HAS SOPS 44778 HAS SOUS 15290 HAS SOUPS 4661 WITH SCORE 4720.596
AT ITER 6677 NEW BEST:: SOT 92234 SOS 59609 HAS SOPS 44791 HAS SOUS 15288 HAS SOUPS 4659 WITH SCORE 4718.609
AT ITER 6680 NEW BEST:: SOT 92213 SOS 59588 HAS SOPS 44770 HAS SOUS 15283 HAS SOUPS 4654 WITH SCORE 4713.588
AT ITER 6706 NEW BEST:: SOT 92211 SOS 59582 HAS SOPS 44768 HAS SOUS 15279 HAS SOUPS 4652 WITH SCORE 4711.582
AT ITER 6711 NEW BEST:: SOT 92228 SOS 59633 HAS SOPS 44785 HAS SOUS 15281 HAS SOUPS 4637 WITH SCORE 4696.633
AT ITER 6760 NEW BEST:: SOT 92211 SOS 59540 HAS SOPS 44768 HAS SOUS 15247 HAS SOUPS 4632 WITH SCORE 4691.54
AT ITER 6785 NEW BEST:: SOT 92223 SOS 59552 HAS SOPS 44780 HAS SOUS 15239 HAS SOUPS 4624 WITH SCORE 4683.552
AT ITER 6809 NEW BEST:: SOT 92259 SOS 59588 HAS SOPS 44794 HAS SOUS 15246 HAS SOUPS 4609 WITH SCORE 4668.588
AT ITER 6820 NEW BEST:: SOT 92256 SOS 59585 HAS SOPS 44791 HAS SOUS 15240 HAS SOUPS 4603 WITH SCORE 4662.585
AT ITER 6882 NEW BEST:: SOT 92256 SOS 59585 HAS SOPS 44791 HAS SOUS 15216 HAS SOUPS 4579 WITH SCORE 4638.585
AT ITER 6981 NEW BEST:: SOT 92256 SOS 59583 HAS SOPS 44791 HAS SOUS 15214 HAS SOUPS 4579 WITH SCORE 4638.583
AT ITER 7005 NEW BEST:: SOT 92255 SOS 59582 HAS SOPS 44790 HAS SOUS 15212 HAS SOUPS 4577 WITH SCORE 4636.582
AT ITER 7047 NEW BEST:: SOT 92248 SOS 59575 HAS SOPS 44776 HAS SOUS 15198 HAS SOUPS 4556 WITH SCORE 4615.575
AT ITER 7074 NEW BEST:: SOT 92260 SOS 59587 HAS SOPS 44788 HAS SOUS 15186 HAS SOUPS 4544 WITH SCORE 4603.587
AT ITER 7111 NEW BEST:: SOT 92249 SOS 59563 HAS SOPS 44783 HAS SOUS 15162 HAS SOUPS 4539 WITH SCORE 4598.563
AT ITER 7113 NEW BEST:: SOT 92249 SOS 59537 HAS SOPS 44758 HAS SOUS 15161 HAS SOUPS 4539 WITH SCORE 4598.537
AT ITER 7270 NEW BEST:: SOT 92246 SOS 59534 HAS SOPS 44755 HAS SOUS 15155 HAS SOUPS 4533 WITH SCORE 4592.534
AT ITER 7273 NEW BEST:: SOT 92262 SOS 58033 HAS SOPS 43222 HAS SOUS 15170 HAS SOUPS 4532 WITH SCORE 4590.033
AT ITER 7317 NEW BEST:: SOT 92250 SOS 58007 HAS SOPS 43210 HAS SOUS 15160 HAS SOUPS 4529 WITH SCORE 4587.007
AT ITER 7465 NEW BEST:: SOT 92244 SOS 58001 HAS SOPS 43204 HAS SOUS 15148 HAS SOUPS 4517 WITH SCORE 4575.001
AT ITER 7478 NEW BEST:: SOT 92244 SOS 57988 HAS SOPS 43204 HAS SOUS 15148 HAS SOUPS 4517 WITH SCORE 4574.988
AT ITER 7547 NEW BEST:: SOT 92243 SOS 57987 HAS SOPS 43173 HAS SOUS 15146 HAS SOUPS 4515 WITH SCORE 4572.987
AT ITER 7553 NEW BEST:: SOT 92239 SOS 57983 HAS SOPS 43169 HAS SOUS 15146 HAS SOUPS 4515 WITH SCORE 4572.983
AT ITER 7604 NEW BEST:: SOT 92227 SOS 57971 HAS SOPS 43157 HAS SOUS 15134 HAS SOUPS 4503 WITH SCORE 4560.971
AT ITER 7619 NEW BEST:: SOT 92227 SOS 57934 HAS SOPS 43157 HAS SOUS 15134 HAS SOUPS 4503 WITH SCORE 4560.934
AT ITER 7638 NEW BEST:: SOT 92212 SOS 57879 HAS SOPS 43142 HAS SOUS 15104 HAS SOUPS 4493 WITH SCORE 4550.879
AT ITER 7834 NEW BEST:: SOT 92209 SOS 57879 HAS SOPS 43139 HAS SOUS 15101 HAS SOUPS 4487 WITH SCORE 4544.879
AT ITER 7840 NEW BEST:: SOT 92206 SOS 57876 HAS SOPS 43136 HAS SOUS 15095 HAS SOUPS 4481 WITH SCORE 4538.876
AT ITER 7892 NEW BEST:: SOT 92197 SOS 57867 HAS SOPS 43127 HAS SOUS 15095 HAS SOUPS 4481 WITH SCORE 4538.867
AT ITER 7931 NEW BEST:: SOT 92169 SOS 57839 HAS SOPS 43099 HAS SOUS 15067 HAS SOUPS 4453 WITH SCORE 4510.839
AT ITER 7941 NEW BEST:: SOT 92166 SOS 57836 HAS SOPS 43091 HAS SOUS 15061 HAS SOUPS 4447 WITH SCORE 4504.836
AT ITER 7960 NEW BEST:: SOT 92164 SOS 57834 HAS SOPS 43089 HAS SOUS 15057 HAS SOUPS 4443 WITH SCORE 4500.834
AT ITER 7971 NEW BEST:: SOT 92164 SOS 57812 HAS SOPS 43089 HAS SOUS 15046 HAS SOUPS 4443 WITH SCORE 4500.812
AT ITER 7997 NEW BEST:: SOT 92166 SOS 57814 HAS SOPS 43091 HAS SOUS 15034 HAS SOUPS 4431 WITH SCORE 4488.814
AT ITER 8012 NEW BEST:: SOT 92157 SOS 57799 HAS SOPS 43087 HAS SOUS 15019 HAS SOUPS 4427 WITH SCORE 4484.799
AT ITER 8211 NEW BEST:: SOT 92148 SOS 57790 HAS SOPS 43078 HAS SOUS 15015 HAS SOUPS 4423 WITH SCORE 4480.79
AT ITER 8267 NEW BEST:: SOT 92147 SOS 57789 HAS SOPS 43077 HAS SOUS 15014 HAS SOUPS 4422 WITH SCORE 4479.789
AT ITER 8358 NEW BEST:: SOT 92151 SOS 57921 HAS SOPS 43200 HAS SOUS 15014 HAS SOUPS 4413 WITH SCORE 4470.921
AT ITER 8460 NEW BEST:: SOT 92151 SOS 57921 HAS SOPS 43200 HAS SOUS 15012 HAS SOUPS 4411 WITH SCORE 4468.921
AT ITER 8597 NEW BEST:: SOT 92146 SOS 57916 HAS SOPS 43195 HAS SOUS 15002 HAS SOUPS 4401 WITH SCORE 4458.916
AT ITER 8694 NEW BEST:: SOT 92146 SOS 57792 HAS SOPS 43065 HAS SOUS 15003 HAS SOUPS 4396 WITH SCORE 4453.792
AT ITER 8935 NEW BEST:: SOT 92146 SOS 57792 HAS SOPS 43065 HAS SOUS 15002 HAS SOUPS 4395 WITH SCORE 4452.792
AT ITER 8944 NEW BEST:: SOT 92146 SOS 57792 HAS SOPS 43048 HAS SOUS 14968 HAS SOUPS 4361 WITH SCORE 4418.792
AT ITER 8963 NEW BEST:: SOT 92127 SOS 57759 HAS SOPS 43029 HAS SOUS 14944 HAS SOUPS 4351 WITH SCORE 4408.759
AT ITER 9019 NEW BEST:: SOT 92126 SOS 57758 HAS SOPS 43028 HAS SOUS 14942 HAS SOUPS 4349 WITH SCORE 4406.758
AT ITER 9089 NEW BEST:: SOT 92122 SOS 57750 HAS SOPS 43024 HAS SOUS 14930 HAS SOUPS 4341 WITH SCORE 4398.75
AT ITER 9170 NEW BEST:: SOT 92119 SOS 57747 HAS SOPS 43021 HAS SOUS 14930 HAS SOUPS 4341 WITH SCORE 4398.747
AT ITER 9386 NEW BEST:: SOT 92117 SOS 57745 HAS SOPS 43019 HAS SOUS 14930 HAS SOUPS 4341 WITH SCORE 4398.745
AT ITER 9418 NEW BEST:: SOT 92116 SOS 57744 HAS SOPS 43018 HAS SOUS 14930 HAS SOUPS 4341 WITH SCORE 4398.744
AT ITER 9430 NEW BEST:: SOT 92112 SOS 57740 HAS SOPS 43014 HAS SOUS 14930 HAS SOUPS 4341 WITH SCORE 4398.74
AT ITER 9450 NEW BEST:: SOT 92101 SOS 57729 HAS SOPS 43003 HAS SOUS 14908 HAS SOUPS 4319 WITH SCORE 4376.729
AT ITER 9592 NEW BEST:: SOT 92106 SOS 57489 HAS SOPS 42753 HAS SOUS 14908 HAS SOUPS 4314 WITH SCORE 4371.489
AT ITER 9656 NEW BEST:: SOT 92105 SOS 57487 HAS SOPS 42752 HAS SOUS 14907 HAS SOUPS 4314 WITH SCORE 4371.487
AT ITER 9705 NEW BEST:: SOT 92120 SOS 57502 HAS SOPS 42767 HAS SOUS 14899 HAS SOUPS 4306 WITH SCORE 4363.502
AT ITER 9823 NEW BEST:: SOT 92121 SOS 57504 HAS SOPS 42767 HAS SOUS 14900 HAS SOUPS 4305 WITH SCORE 4362.504
AT ITER 9824 NEW BEST:: SOT 92120 SOS 57503 HAS SOPS 42766 HAS SOUS 14898 HAS SOUPS 4303 WITH SCORE 4360.503
AT ITER 9884 NEW BEST:: SOT 92124 SOS 57515 HAS SOPS 42770 HAS SOUS 14898 HAS SOUPS 4299 WITH SCORE 4356.515
AT ITER 9937 NEW BEST:: SOT 92141 SOS 57564 HAS SOPS 42787 HAS SOUS 14900 HAS SOUPS 4285 WITH SCORE 4342.564
STATE_SPACE STATES 4471223 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 158 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 19756224 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589092365790

--------------------
content from stderr:

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="AirplaneLD-PT-0050"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is AirplaneLD-PT-0050, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r003-smll-158897508300257"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/AirplaneLD-PT-0050.tgz
mv AirplaneLD-PT-0050 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;