Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r003-oct2-167813590300016.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.....................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is ASLink-PT-01a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-oct2-167813590300016
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 652K
-rw-r--r-- 1 mcc users 7.1K Feb 26 13:07 CTLCardinality.txt
-rw-r--r-- 1 mcc users 80K Feb 26 13:07 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 26 13:06 CTLFireability.txt
-rw-r--r-- 1 mcc users 55K Feb 26 13:06 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:28 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 15:28 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 15:28 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 15:28 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.6K Feb 26 13:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 102K Feb 26 13:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.4K Feb 26 13:07 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 85K Feb 26 13:07 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 201K Mar 5 18:22 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 1678469048300

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ASLink-PT-01a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 01a
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 431 places, 735 transitions, 2801 arcs.
AT ITER 0 NEW BEST:: SOT 175753 SOS 121635 HAS SOPS 121635 HAS SOUS 66067 HAS SOUPS 66067 WITH SCORE 66188.635
AT ITER 18 NEW BEST:: SOT 175430 SOS 121477 HAS SOPS 121477 HAS SOUS 65909 HAS SOUPS 65909 WITH SCORE 66030.477
AT ITER 25 NEW BEST:: SOT 175170 SOS 120769 HAS SOPS 120769 HAS SOUS 65389 HAS SOUPS 65389 WITH SCORE 65509.769
AT ITER 43 NEW BEST:: SOT 175170 SOS 120800 HAS SOPS 120800 HAS SOUS 65315 HAS SOUPS 65315 WITH SCORE 65435.8
AT ITER 45 NEW BEST:: SOT 175144 SOS 120774 HAS SOPS 120774 HAS SOUS 65289 HAS SOUPS 65289 WITH SCORE 65409.774
AT ITER 46 NEW BEST:: SOT 175038 SOS 120774 HAS SOPS 120774 HAS SOUS 65287 HAS SOUPS 65287 WITH SCORE 65407.774
AT ITER 47 NEW BEST:: SOT 174903 SOS 120636 HAS SOPS 120636 HAS SOUS 65259 HAS SOUPS 65259 WITH SCORE 65379.636
AT ITER 53 NEW BEST:: SOT 174903 SOS 120634 HAS SOPS 120634 HAS SOUS 65257 HAS SOUPS 65257 WITH SCORE 65377.634
AT ITER 55 NEW BEST:: SOT 174437 SOS 120221 HAS SOPS 120221 HAS SOUS 64843 HAS SOUPS 64843 WITH SCORE 64963.221
AT ITER 65 NEW BEST:: SOT 174437 SOS 120208 HAS SOPS 120208 HAS SOUS 64830 HAS SOUPS 64830 WITH SCORE 64950.208
AT ITER 71 NEW BEST:: SOT 174384 SOS 120200 HAS SOPS 120200 HAS SOUS 64829 HAS SOUPS 64829 WITH SCORE 64949.2
AT ITER 72 NEW BEST:: SOT 174303 SOS 120117 HAS SOPS 120117 HAS SOUS 64806 HAS SOUPS 64806 WITH SCORE 64926.117
AT ITER 76 NEW BEST:: SOT 174158 SOS 120108 HAS SOPS 120108 HAS SOUS 64796 HAS SOUPS 64796 WITH SCORE 64916.108
AT ITER 77 NEW BEST:: SOT 174158 SOS 120002 HAS SOPS 120002 HAS SOUS 64793 HAS SOUPS 64793 WITH SCORE 64913.002
AT ITER 86 NEW BEST:: SOT 174158 SOS 119762 HAS SOPS 119762 HAS SOUS 64731 HAS SOUPS 64731 WITH SCORE 64850.762
AT ITER 87 NEW BEST:: SOT 174004 SOS 119453 HAS SOPS 119453 HAS SOUS 64422 HAS SOUPS 64422 WITH SCORE 64541.453
AT ITER 93 NEW BEST:: SOT 174003 SOS 119452 HAS SOPS 119452 HAS SOUS 64420 HAS SOUPS 64420 WITH SCORE 64539.452
AT ITER 122 NEW BEST:: SOT 173254 SOS 119099 HAS SOPS 119099 HAS SOUS 63703 HAS SOUPS 63703 WITH SCORE 63822.099
AT ITER 126 NEW BEST:: SOT 173207 SOS 119052 HAS SOPS 119052 HAS SOUS 63700 HAS SOUPS 63700 WITH SCORE 63819.052
AT ITER 129 NEW BEST:: SOT 173051 SOS 118896 HAS SOPS 118896 HAS SOUS 63544 HAS SOUPS 63544 WITH SCORE 63662.896
AT ITER 133 NEW BEST:: SOT 172665 SOS 118922 HAS SOPS 118922 HAS SOUS 63356 HAS SOUPS 63356 WITH SCORE 63474.922
AT ITER 134 NEW BEST:: SOT 171690 SOS 117928 HAS SOPS 117928 HAS SOUS 62103 HAS SOUPS 62103 WITH SCORE 62220.928
AT ITER 138 NEW BEST:: SOT 171521 SOS 117586 HAS SOPS 117586 HAS SOUS 61761 HAS SOUPS 61761 WITH SCORE 61878.586
AT ITER 139 NEW BEST:: SOT 171395 SOS 117508 HAS SOPS 117508 HAS SOUS 61650 HAS SOUPS 61650 WITH SCORE 61767.508
AT ITER 140 NEW BEST:: SOT 171159 SOS 117272 HAS SOPS 117272 HAS SOUS 61411 HAS SOUPS 61411 WITH SCORE 61528.272
AT ITER 141 NEW BEST:: SOT 171107 SOS 117220 HAS SOPS 117220 HAS SOUS 61357 HAS SOUPS 61357 WITH SCORE 61474.22
AT ITER 152 NEW BEST:: SOT 169695 SOS 116506 HAS SOPS 116506 HAS SOUS 60051 HAS SOUPS 60051 WITH SCORE 60167.506
AT ITER 156 NEW BEST:: SOT 169695 SOS 116487 HAS SOPS 116487 HAS SOUS 60049 HAS SOUPS 60049 WITH SCORE 60165.487
AT ITER 168 NEW BEST:: SOT 169659 SOS 116431 HAS SOPS 116431 HAS SOUS 60009 HAS SOUPS 60009 WITH SCORE 60125.431
AT ITER 175 NEW BEST:: SOT 169582 SOS 116397 HAS SOPS 116397 HAS SOUS 59973 HAS SOUPS 59973 WITH SCORE 60089.397
AT ITER 184 NEW BEST:: SOT 169560 SOS 116283 HAS SOPS 116283 HAS SOUS 59662 HAS SOUPS 59662 WITH SCORE 59778.283
AT ITER 189 NEW BEST:: SOT 169452 SOS 116175 HAS SOPS 116175 HAS SOUS 59567 HAS SOUPS 59567 WITH SCORE 59683.175
AT ITER 193 NEW BEST:: SOT 169448 SOS 116063 HAS SOPS 116063 HAS SOUS 59561 HAS SOUPS 59561 WITH SCORE 59677.063
AT ITER 201 NEW BEST:: SOT 169440 SOS 116052 HAS SOPS 116052 HAS SOUS 59560 HAS SOUPS 59560 WITH SCORE 59676.052
AT ITER 211 NEW BEST:: SOT 169404 SOS 116016 HAS SOPS 116016 HAS SOUS 59481 HAS SOUPS 59481 WITH SCORE 59597.016
AT ITER 213 NEW BEST:: SOT 169237 SOS 115849 HAS SOPS 115849 HAS SOUS 59314 HAS SOUPS 59314 WITH SCORE 59429.849
AT ITER 217 NEW BEST:: SOT 169227 SOS 115778 HAS SOPS 115778 HAS SOUS 59262 HAS SOUPS 59262 WITH SCORE 59377.778
AT ITER 218 NEW BEST:: SOT 169227 SOS 115481 HAS SOPS 115481 HAS SOUS 59157 HAS SOUPS 59157 WITH SCORE 59272.481
AT ITER 220 NEW BEST:: SOT 168789 SOS 115711 HAS SOPS 115711 HAS SOUS 58879 HAS SOUPS 58879 WITH SCORE 58994.711
AT ITER 224 NEW BEST:: SOT 168738 SOS 115660 HAS SOPS 115660 HAS SOUS 58860 HAS SOUPS 58860 WITH SCORE 58975.66
AT ITER 228 NEW BEST:: SOT 168670 SOS 115357 HAS SOPS 115357 HAS SOUS 58666 HAS SOUPS 58666 WITH SCORE 58781.357
AT ITER 230 NEW BEST:: SOT 168668 SOS 115355 HAS SOPS 115355 HAS SOUS 58662 HAS SOUPS 58662 WITH SCORE 58777.355
AT ITER 233 NEW BEST:: SOT 168567 SOS 115213 HAS SOPS 115213 HAS SOUS 58615 HAS SOUPS 58615 WITH SCORE 58730.213
AT ITER 240 NEW BEST:: SOT 168552 SOS 115198 HAS SOPS 115198 HAS SOUS 58600 HAS SOUPS 58600 WITH SCORE 58715.198
AT ITER 253 NEW BEST:: SOT 168405 SOS 115051 HAS SOPS 115051 HAS SOUS 58453 HAS SOUPS 58453 WITH SCORE 58568.051
AT ITER 271 NEW BEST:: SOT 168421 SOS 115020 HAS SOPS 115020 HAS SOUS 58422 HAS SOUPS 58422 WITH SCORE 58537.02
AT ITER 272 NEW BEST:: SOT 168361 SOS 114960 HAS SOPS 114960 HAS SOUS 58362 HAS SOUPS 58362 WITH SCORE 58476.96
AT ITER 278 NEW BEST:: SOT 168345 SOS 114944 HAS SOPS 114944 HAS SOUS 58346 HAS SOUPS 58346 WITH SCORE 58460.944
AT ITER 283 NEW BEST:: SOT 167974 SOS 114468 HAS SOPS 114468 HAS SOUS 58294 HAS SOUPS 58294 WITH SCORE 58408.468
AT ITER 284 NEW BEST:: SOT 167902 SOS 114396 HAS SOPS 114396 HAS SOUS 58222 HAS SOUPS 58222 WITH SCORE 58336.396
AT ITER 288 NEW BEST:: SOT 167858 SOS 114358 HAS SOPS 114358 HAS SOUS 58152 HAS SOUPS 58152 WITH SCORE 58266.358
AT ITER 292 NEW BEST:: SOT 167857 SOS 114357 HAS SOPS 114357 HAS SOUS 58128 HAS SOUPS 58128 WITH SCORE 58242.357
AT ITER 302 NEW BEST:: SOT 167807 SOS 114307 HAS SOPS 114307 HAS SOUS 58124 HAS SOUPS 58124 WITH SCORE 58238.307
AT ITER 314 NEW BEST:: SOT 167807 SOS 113828 HAS SOPS 113828 HAS SOUS 58123 HAS SOUPS 58123 WITH SCORE 58236.828
AT ITER 322 NEW BEST:: SOT 167763 SOS 113682 HAS SOPS 113682 HAS SOUS 58087 HAS SOUPS 58087 WITH SCORE 58200.682
AT ITER 336 NEW BEST:: SOT 165929 SOS 111848 HAS SOPS 111848 HAS SOUS 56253 HAS SOUPS 56253 WITH SCORE 56364.848
AT ITER 341 NEW BEST:: SOT 165924 SOS 111843 HAS SOPS 111843 HAS SOUS 56248 HAS SOUPS 56248 WITH SCORE 56359.843
AT ITER 346 NEW BEST:: SOT 165819 SOS 111738 HAS SOPS 111738 HAS SOUS 56141 HAS SOUPS 56141 WITH SCORE 56252.738
AT ITER 347 NEW BEST:: SOT 165790 SOS 111738 HAS SOPS 111738 HAS SOUS 56105 HAS SOUPS 56105 WITH SCORE 56216.738
AT ITER 359 NEW BEST:: SOT 165770 SOS 111718 HAS SOPS 111718 HAS SOUS 56085 HAS SOUPS 56085 WITH SCORE 56196.718
AT ITER 363 NEW BEST:: SOT 165736 SOS 111811 HAS SOPS 111811 HAS SOUS 56054 HAS SOUPS 56054 WITH SCORE 56165.811
AT ITER 366 NEW BEST:: SOT 165934 SOS 111496 HAS SOPS 111496 HAS SOUS 55976 HAS SOUPS 55976 WITH SCORE 56087.496
AT ITER 378 NEW BEST:: SOT 165934 SOS 111496 HAS SOPS 111496 HAS SOUS 55972 HAS SOUPS 55972 WITH SCORE 56083.496
AT ITER 381 NEW BEST:: SOT 165492 SOS 111054 HAS SOPS 111054 HAS SOUS 55518 HAS SOUPS 55518 WITH SCORE 55629.054
AT ITER 403 NEW BEST:: SOT 165492 SOS 111034 HAS SOPS 111034 HAS SOUS 55498 HAS SOUPS 55498 WITH SCORE 55609.034
AT ITER 410 NEW BEST:: SOT 165491 SOS 111033 HAS SOPS 111033 HAS SOUS 55496 HAS SOUPS 55496 WITH SCORE 55607.033
AT ITER 421 NEW BEST:: SOT 165498 SOS 111101 HAS SOPS 111101 HAS SOUS 55480 HAS SOUPS 55480 WITH SCORE 55591.101
AT ITER 423 NEW BEST:: SOT 165498 SOS 111101 HAS SOPS 111101 HAS SOUS 55477 HAS SOUPS 55477 WITH SCORE 55588.101
AT ITER 424 NEW BEST:: SOT 165342 SOS 111145 HAS SOPS 111145 HAS SOUS 55321 HAS SOUPS 55321 WITH SCORE 55432.145
AT ITER 425 NEW BEST:: SOT 165342 SOS 111145 HAS SOPS 111145 HAS SOUS 55184 HAS SOUPS 55184 WITH SCORE 55295.145
AT ITER 426 NEW BEST:: SOT 165342 SOS 111097 HAS SOPS 111097 HAS SOUS 55136 HAS SOUPS 55136 WITH SCORE 55247.097
AT ITER 429 NEW BEST:: SOT 165261 SOS 111019 HAS SOPS 111019 HAS SOUS 55132 HAS SOUPS 55132 WITH SCORE 55243.019
AT ITER 430 NEW BEST:: SOT 165261 SOS 111019 HAS SOPS 111019 HAS SOUS 55060 HAS SOUPS 55060 WITH SCORE 55171.019
AT ITER 431 NEW BEST:: SOT 165210 SOS 110968 HAS SOPS 110968 HAS SOUS 54910 HAS SOUPS 54910 WITH SCORE 55020.968
AT ITER 436 NEW BEST:: SOT 165196 SOS 110954 HAS SOPS 110954 HAS SOUS 54895 HAS SOUPS 54895 WITH SCORE 55005.954
AT ITER 445 NEW BEST:: SOT 165156 SOS 110914 HAS SOPS 110914 HAS SOUS 54855 HAS SOUPS 54855 WITH SCORE 54965.914
AT ITER 447 NEW BEST:: SOT 165126 SOS 110884 HAS SOPS 110884 HAS SOUS 54768 HAS SOUPS 54768 WITH SCORE 54878.884
AT ITER 470 NEW BEST:: SOT 165126 SOS 110675 HAS SOPS 110675 HAS SOUS 54724 HAS SOUPS 54724 WITH SCORE 54834.675
AT ITER 474 NEW BEST:: SOT 165126 SOS 110272 HAS SOPS 110272 HAS SOUS 54723 HAS SOUPS 54723 WITH SCORE 54833.272
AT ITER 477 NEW BEST:: SOT 165125 SOS 110270 HAS SOPS 110270 HAS SOUS 54718 HAS SOUPS 54718 WITH SCORE 54828.27
AT ITER 488 NEW BEST:: SOT 164941 SOS 110074 HAS SOPS 110074 HAS SOUS 54556 HAS SOUPS 54556 WITH SCORE 54666.074
AT ITER 489 NEW BEST:: SOT 164941 SOS 110074 HAS SOPS 110074 HAS SOUS 54472 HAS SOUPS 54472 WITH SCORE 54582.074
AT ITER 491 NEW BEST:: SOT 164812 SOS 109826 HAS SOPS 109826 HAS SOUS 54342 HAS SOUPS 54342 WITH SCORE 54451.826
AT ITER 519 NEW BEST:: SOT 164812 SOS 109826 HAS SOPS 109826 HAS SOUS 54341 HAS SOUPS 54341 WITH SCORE 54450.826
AT ITER 520 NEW BEST:: SOT 164722 SOS 109746 HAS SOPS 109746 HAS SOUS 54269 HAS SOUPS 54269 WITH SCORE 54378.746
AT ITER 546 NEW BEST:: SOT 164722 SOS 109731 HAS SOPS 109731 HAS SOUS 54254 HAS SOUPS 54254 WITH SCORE 54363.731
AT ITER 549 NEW BEST:: SOT 164722 SOS 109731 HAS SOPS 109731 HAS SOUS 54253 HAS SOUPS 54253 WITH SCORE 54362.731
AT ITER 574 NEW BEST:: SOT 164589 SOS 109918 HAS SOPS 109918 HAS SOUS 54161 HAS SOUPS 54161 WITH SCORE 54270.918
AT ITER 576 NEW BEST:: SOT 164280 SOS 109168 HAS SOPS 109168 HAS SOUS 53539 HAS SOUPS 53539 WITH SCORE 53648.168
AT ITER 588 NEW BEST:: SOT 164209 SOS 109052 HAS SOPS 109052 HAS SOUS 53422 HAS SOUPS 53422 WITH SCORE 53531.052
AT ITER 593 NEW BEST:: SOT 164207 SOS 109050 HAS SOPS 109050 HAS SOUS 53417 HAS SOUPS 53417 WITH SCORE 53526.05
AT ITER 598 NEW BEST:: SOT 164354 SOS 108994 HAS SOPS 108994 HAS SOUS 53273 HAS SOUPS 53273 WITH SCORE 53381.994
AT ITER 602 NEW BEST:: SOT 161696 SOS 106326 HAS SOPS 106326 HAS SOUS 50547 HAS SOUPS 50547 WITH SCORE 50653.326
AT ITER 609 NEW BEST:: SOT 161751 SOS 105961 HAS SOPS 105961 HAS SOUS 50322 HAS SOUPS 50322 WITH SCORE 50427.961
AT ITER 615 NEW BEST:: SOT 161634 SOS 105844 HAS SOPS 105844 HAS SOUS 50205 HAS SOUPS 50205 WITH SCORE 50310.844
AT ITER 619 NEW BEST:: SOT 161791 SOS 105753 HAS SOPS 105753 HAS SOUS 50113 HAS SOUPS 50113 WITH SCORE 50218.753
AT ITER 622 NEW BEST:: SOT 161745 SOS 105693 HAS SOPS 105693 HAS SOUS 50085 HAS SOUPS 50085 WITH SCORE 50190.693
AT ITER 624 NEW BEST:: SOT 161532 SOS 105381 HAS SOPS 105381 HAS SOUS 49737 HAS SOUPS 49737 WITH SCORE 49842.381
AT ITER 628 NEW BEST:: SOT 158760 SOS 105282 HAS SOPS 105282 HAS SOUS 47193 HAS SOUPS 47193 WITH SCORE 47298.282
AT ITER 630 NEW BEST:: SOT 158647 SOS 105169 HAS SOPS 105169 HAS SOUS 47080 HAS SOUPS 47080 WITH SCORE 47185.169
AT ITER 638 NEW BEST:: SOT 158647 SOS 105119 HAS SOPS 105119 HAS SOUS 47054 HAS SOUPS 47054 WITH SCORE 47159.119
AT ITER 651 NEW BEST:: SOT 158572 SOS 105044 HAS SOPS 105044 HAS SOUS 46979 HAS SOUPS 46979 WITH SCORE 47084.044
AT ITER 654 NEW BEST:: SOT 158546 SOS 105031 HAS SOPS 105031 HAS SOUS 46943 HAS SOUPS 46943 WITH SCORE 47048.031
AT ITER 666 NEW BEST:: SOT 158542 SOS 105027 HAS SOPS 105027 HAS SOUS 46939 HAS SOUPS 46939 WITH SCORE 47044.027
AT ITER 684 NEW BEST:: SOT 158369 SOS 104854 HAS SOPS 104854 HAS SOUS 46765 HAS SOUPS 46765 WITH SCORE 46869.854
AT ITER 686 NEW BEST:: SOT 158369 SOS 104841 HAS SOPS 104841 HAS SOUS 46752 HAS SOUPS 46752 WITH SCORE 46856.841
AT ITER 701 NEW BEST:: SOT 158369 SOS 104840 HAS SOPS 104840 HAS SOUS 46752 HAS SOUPS 46752 WITH SCORE 46856.84
AT ITER 718 NEW BEST:: SOT 158369 SOS 104403 HAS SOPS 104403 HAS SOUS 46531 HAS SOUPS 46531 WITH SCORE 46635.403
AT ITER 723 NEW BEST:: SOT 158337 SOS 104387 HAS SOPS 104387 HAS SOUS 46499 HAS SOUPS 46499 WITH SCORE 46603.387
AT ITER 744 NEW BEST:: SOT 158335 SOS 104385 HAS SOPS 104385 HAS SOUS 46499 HAS SOUPS 46499 WITH SCORE 46603.385
AT ITER 764 NEW BEST:: SOT 158331 SOS 104377 HAS SOPS 104377 HAS SOUS 46491 HAS SOUPS 46491 WITH SCORE 46595.377
AT ITER 765 NEW BEST:: SOT 158272 SOS 104200 HAS SOPS 104200 HAS SOUS 46323 HAS SOUPS 46323 WITH SCORE 46427.2
AT ITER 770 NEW BEST:: SOT 158256 SOS 104184 HAS SOPS 104184 HAS SOUS 46310 HAS SOUPS 46310 WITH SCORE 46414.184
AT ITER 780 NEW BEST:: SOT 158215 SOS 104143 HAS SOPS 104143 HAS SOUS 46266 HAS SOUPS 46266 WITH SCORE 46370.143
AT ITER 784 NEW BEST:: SOT 158196 SOS 103984 HAS SOPS 103984 HAS SOUS 46137 HAS SOUPS 46137 WITH SCORE 46240.984
AT ITER 800 NEW BEST:: SOT 158096 SOS 103934 HAS SOPS 103934 HAS SOUS 46087 HAS SOUPS 46087 WITH SCORE 46190.934
AT ITER 805 NEW BEST:: SOT 158140 SOS 103946 HAS SOPS 103946 HAS SOUS 46067 HAS SOUPS 46067 WITH SCORE 46170.946
AT ITER 809 NEW BEST:: SOT 157992 SOS 103798 HAS SOPS 103798 HAS SOUS 45919 HAS SOUPS 45919 WITH SCORE 46022.798
AT ITER 827 NEW BEST:: SOT 157981 SOS 103763 HAS SOPS 103763 HAS SOUS 45897 HAS SOUPS 45897 WITH SCORE 46000.763
AT ITER 846 NEW BEST:: SOT 157980 SOS 103644 HAS SOPS 103644 HAS SOUS 45895 HAS SOUPS 45895 WITH SCORE 45998.644
AT ITER 849 NEW BEST:: SOT 157980 SOS 103632 HAS SOPS 103632 HAS SOUS 45895 HAS SOUPS 45895 WITH SCORE 45998.632
AT ITER 853 NEW BEST:: SOT 157722 SOS 103374 HAS SOPS 103374 HAS SOUS 45634 HAS SOUPS 45634 WITH SCORE 45737.374
AT ITER 865 NEW BEST:: SOT 157549 SOS 103201 HAS SOPS 103201 HAS SOUS 45461 HAS SOUPS 45461 WITH SCORE 45564.201
AT ITER 871 NEW BEST:: SOT 157549 SOS 103201 HAS SOPS 103201 HAS SOUS 45460 HAS SOUPS 45460 WITH SCORE 45563.201
AT ITER 887 NEW BEST:: SOT 157549 SOS 103189 HAS SOPS 103189 HAS SOUS 45454 HAS SOUPS 45454 WITH SCORE 45557.189
AT ITER 888 NEW BEST:: SOT 157543 SOS 103177 HAS SOPS 103177 HAS SOUS 45441 HAS SOUPS 45441 WITH SCORE 45544.177
AT ITER 891 NEW BEST:: SOT 157540 SOS 103160 HAS SOPS 103160 HAS SOUS 45436 HAS SOUPS 45436 WITH SCORE 45539.16
AT ITER 897 NEW BEST:: SOT 157518 SOS 103117 HAS SOPS 103117 HAS SOUS 45341 HAS SOUPS 45341 WITH SCORE 45444.117
AT ITER 900 NEW BEST:: SOT 157375 SOS 102880 HAS SOPS 102880 HAS SOUS 45104 HAS SOUPS 45104 WITH SCORE 45206.88
AT ITER 902 NEW BEST:: SOT 157218 SOS 102871 HAS SOPS 102871 HAS SOUS 45095 HAS SOUPS 45095 WITH SCORE 45197.871
AT ITER 904 NEW BEST:: SOT 157217 SOS 102870 HAS SOPS 102870 HAS SOUS 45093 HAS SOUPS 45093 WITH SCORE 45195.87
AT ITER 907 NEW BEST:: SOT 157202 SOS 102844 HAS SOPS 102844 HAS SOUS 45052 HAS SOUPS 45052 WITH SCORE 45154.844
AT ITER 921 NEW BEST:: SOT 157122 SOS 102764 HAS SOPS 102764 HAS SOUS 44972 HAS SOUPS 44972 WITH SCORE 45074.764
AT ITER 923 NEW BEST:: SOT 157104 SOS 102761 HAS SOPS 102761 HAS SOUS 44936 HAS SOUPS 44936 WITH SCORE 45038.761
AT ITER 928 NEW BEST:: SOT 157104 SOS 102683 HAS SOPS 102683 HAS SOUS 44871 HAS SOUPS 44871 WITH SCORE 44973.683
AT ITER 945 NEW BEST:: SOT 156518 SOS 102097 HAS SOPS 102097 HAS SOUS 44210 HAS SOUPS 44210 WITH SCORE 44312.097
AT ITER 946 NEW BEST:: SOT 156280 SOS 101793 HAS SOPS 101793 HAS SOUS 44152 HAS SOUPS 44152 WITH SCORE 44253.793
AT ITER 949 NEW BEST:: SOT 156200 SOS 101713 HAS SOPS 101713 HAS SOUS 44033 HAS SOUPS 44033 WITH SCORE 44134.713
AT ITER 972 NEW BEST:: SOT 156103 SOS 101638 HAS SOPS 101638 HAS SOUS 44023 HAS SOUPS 44023 WITH SCORE 44124.638
AT ITER 974 NEW BEST:: SOT 154707 SOS 100109 HAS SOPS 100109 HAS SOUS 42494 HAS SOUPS 42494 WITH SCORE 42594.109
AT ITER 993 NEW BEST:: SOT 154613 SOS 100015 HAS SOPS 100015 HAS SOUS 42400 HAS SOUPS 42400 WITH SCORE 42500.015
AT ITER 1006 NEW BEST:: SOT 154478 SOS 99888 HAS SOPS 99888 HAS SOUS 42273 HAS SOUPS 42273 WITH SCORE 42372.888
AT ITER 1007 NEW BEST:: SOT 154488 SOS 99898 HAS SOPS 99898 HAS SOUS 42245 HAS SOUPS 42245 WITH SCORE 42344.898
AT ITER 1028 NEW BEST:: SOT 154473 SOS 99868 HAS SOPS 99868 HAS SOUS 42226 HAS SOUPS 42226 WITH SCORE 42325.868
AT ITER 1039 NEW BEST:: SOT 154395 SOS 99790 HAS SOPS 99790 HAS SOUS 42148 HAS SOUPS 42148 WITH SCORE 42247.79
AT ITER 1047 NEW BEST:: SOT 154340 SOS 99737 HAS SOPS 99737 HAS SOUS 42100 HAS SOUPS 42100 WITH SCORE 42199.737
AT ITER 1048 NEW BEST:: SOT 154333 SOS 98883 HAS SOPS 98883 HAS SOUS 42028 HAS SOUPS 42028 WITH SCORE 42126.883
AT ITER 1065 NEW BEST:: SOT 154381 SOS 98701 HAS SOPS 98701 HAS SOUS 42004 HAS SOUPS 42004 WITH SCORE 42102.701
AT ITER 1069 NEW BEST:: SOT 152574 SOS 98028 HAS SOPS 98028 HAS SOUS 40089 HAS SOUPS 40089 WITH SCORE 40187.028
AT ITER 1070 NEW BEST:: SOT 152468 SOS 98175 HAS SOPS 98175 HAS SOUS 40006 HAS SOUPS 40006 WITH SCORE 40104.175
AT ITER 1082 NEW BEST:: SOT 152416 SOS 98123 HAS SOPS 98123 HAS SOUS 39889 HAS SOUPS 39889 WITH SCORE 39987.123
AT ITER 1088 NEW BEST:: SOT 152416 SOS 98123 HAS SOPS 98123 HAS SOUS 39884 HAS SOUPS 39884 WITH SCORE 39982.123
AT ITER 1115 NEW BEST:: SOT 152403 SOS 98097 HAS SOPS 98097 HAS SOUS 39858 HAS SOUPS 39858 WITH SCORE 39956.097
AT ITER 1116 NEW BEST:: SOT 152317 SOS 97933 HAS SOPS 97933 HAS SOUS 39694 HAS SOUPS 39694 WITH SCORE 39791.933
AT ITER 1121 NEW BEST:: SOT 152256 SOS 97872 HAS SOPS 97872 HAS SOUS 39633 HAS SOUPS 39633 WITH SCORE 39730.872
AT ITER 1126 NEW BEST:: SOT 152253 SOS 97869 HAS SOPS 97869 HAS SOUS 39617 HAS SOUPS 39617 WITH SCORE 39714.869
AT ITER 1128 NEW BEST:: SOT 152208 SOS 97593 HAS SOPS 97593 HAS SOUS 39539 HAS SOUPS 39539 WITH SCORE 39636.593
AT ITER 1141 NEW BEST:: SOT 152204 SOS 97589 HAS SOPS 97589 HAS SOUS 39535 HAS SOUPS 39535 WITH SCORE 39632.589
AT ITER 1150 NEW BEST:: SOT 152192 SOS 97577 HAS SOPS 97577 HAS SOUS 39523 HAS SOUPS 39523 WITH SCORE 39620.577
AT ITER 1208 NEW BEST:: SOT 152195 SOS 97502 HAS SOPS 97502 HAS SOUS 39448 HAS SOUPS 39448 WITH SCORE 39545.502
AT ITER 1220 NEW BEST:: SOT 152073 SOS 97380 HAS SOPS 97380 HAS SOUS 39337 HAS SOUPS 39337 WITH SCORE 39434.38
AT ITER 1223 NEW BEST:: SOT 152074 SOS 97313 HAS SOPS 97313 HAS SOUS 39309 HAS SOUPS 39309 WITH SCORE 39406.313
AT ITER 1229 NEW BEST:: SOT 151928 SOS 97167 HAS SOPS 97167 HAS SOUS 39163 HAS SOUPS 39163 WITH SCORE 39260.167
AT ITER 1238 NEW BEST:: SOT 151927 SOS 97627 HAS SOPS 97627 HAS SOUS 39117 HAS SOUPS 39117 WITH SCORE 39214.627
AT ITER 1243 NEW BEST:: SOT 151908 SOS 97597 HAS SOPS 97597 HAS SOUS 39087 HAS SOUPS 39087 WITH SCORE 39184.597
AT ITER 1257 NEW BEST:: SOT 151869 SOS 97566 HAS SOPS 97566 HAS SOUS 39079 HAS SOUPS 39079 WITH SCORE 39176.566
AT ITER 1278 NEW BEST:: SOT 151881 SOS 97578 HAS SOPS 97578 HAS SOUS 39071 HAS SOUPS 39071 WITH SCORE 39168.578
AT ITER 1293 NEW BEST:: SOT 151881 SOS 97578 HAS SOPS 97578 HAS SOUS 39053 HAS SOUPS 39053 WITH SCORE 39150.578
AT ITER 1304 NEW BEST:: SOT 151884 SOS 97581 HAS SOPS 97581 HAS SOUS 39047 HAS SOUPS 39047 WITH SCORE 39144.581
AT ITER 1318 NEW BEST:: SOT 151893 SOS 97604 HAS SOPS 97604 HAS SOUS 39045 HAS SOUPS 39045 WITH SCORE 39142.604
AT ITER 1328 NEW BEST:: SOT 151925 SOS 97636 HAS SOPS 97636 HAS SOUS 39020 HAS SOUPS 39020 WITH SCORE 39117.636
AT ITER 1346 NEW BEST:: SOT 151917 SOS 97638 HAS SOPS 97638 HAS SOUS 39002 HAS SOUPS 39002 WITH SCORE 39099.638
AT ITER 1352 NEW BEST:: SOT 151917 SOS 97605 HAS SOPS 97605 HAS SOUS 38995 HAS SOUPS 38995 WITH SCORE 39092.605
AT ITER 1356 NEW BEST:: SOT 151893 SOS 97581 HAS SOPS 97581 HAS SOUS 38971 HAS SOUPS 38971 WITH SCORE 39068.581
AT ITER 1360 NEW BEST:: SOT 151846 SOS 96054 HAS SOPS 96054 HAS SOUS 38877 HAS SOUPS 38877 WITH SCORE 38973.054
AT ITER 1367 NEW BEST:: SOT 151837 SOS 96050 HAS SOPS 96050 HAS SOUS 38864 HAS SOUPS 38864 WITH SCORE 38960.05
AT ITER 1377 NEW BEST:: SOT 151837 SOS 96015 HAS SOPS 96015 HAS SOUS 38864 HAS SOUPS 38864 WITH SCORE 38960.015
AT ITER 1383 NEW BEST:: SOT 151818 SOS 96024 HAS SOPS 96024 HAS SOUS 38752 HAS SOUPS 38752 WITH SCORE 38848.024
AT ITER 1384 NEW BEST:: SOT 151666 SOS 95890 HAS SOPS 95890 HAS SOUS 38701 HAS SOUPS 38701 WITH SCORE 38796.89
AT ITER 1385 NEW BEST:: SOT 151666 SOS 95890 HAS SOPS 95890 HAS SOUS 38677 HAS SOUPS 38677 WITH SCORE 38772.89
AT ITER 1425 NEW BEST:: SOT 151622 SOS 95801 HAS SOPS 95801 HAS SOUS 38620 HAS SOUPS 38620 WITH SCORE 38715.801
AT ITER 1428 NEW BEST:: SOT 151620 SOS 95799 HAS SOPS 95799 HAS SOUS 38620 HAS SOUPS 38620 WITH SCORE 38715.799
AT ITER 1439 NEW BEST:: SOT 151619 SOS 95798 HAS SOPS 95798 HAS SOUS 38619 HAS SOUPS 38619 WITH SCORE 38714.798
AT ITER 1455 NEW BEST:: SOT 151193 SOS 95372 HAS SOPS 95372 HAS SOUS 38193 HAS SOUPS 38193 WITH SCORE 38288.372
AT ITER 1467 NEW BEST:: SOT 151193 SOS 95082 HAS SOPS 95082 HAS SOUS 38193 HAS SOUPS 38193 WITH SCORE 38288.082
AT ITER 1483 NEW BEST:: SOT 151277 SOS 95199 HAS SOPS 95199 HAS SOUS 38164 HAS SOUPS 38164 WITH SCORE 38259.199
AT ITER 1487 NEW BEST:: SOT 151380 SOS 95133 HAS SOPS 95133 HAS SOUS 38163 HAS SOUPS 38163 WITH SCORE 38258.133
AT ITER 1494 NEW BEST:: SOT 151348 SOS 95101 HAS SOPS 95101 HAS SOUS 38163 HAS SOUPS 38163 WITH SCORE 38258.101
AT ITER 1499 NEW BEST:: SOT 151384 SOS 95079 HAS SOPS 95079 HAS SOUS 38123 HAS SOUPS 38123 WITH SCORE 38218.079
AT ITER 1504 NEW BEST:: SOT 151316 SOS 94979 HAS SOPS 94979 HAS SOUS 38104 HAS SOUPS 38104 WITH SCORE 38198.979
AT ITER 1507 NEW BEST:: SOT 151304 SOS 94967 HAS SOPS 94967 HAS SOUS 38083 HAS SOUPS 38083 WITH SCORE 38177.967
AT ITER 1546 NEW BEST:: SOT 151290 SOS 95393 HAS SOPS 95393 HAS SOUS 38069 HAS SOUPS 38069 WITH SCORE 38164.393
AT ITER 1558 NEW BEST:: SOT 151027 SOS 95262 HAS SOPS 95262 HAS SOUS 37941 HAS SOUPS 37941 WITH SCORE 38036.262
AT ITER 1570 NEW BEST:: SOT 151027 SOS 95262 HAS SOPS 95262 HAS SOUS 37905 HAS SOUPS 37905 WITH SCORE 38000.262
AT ITER 1605 NEW BEST:: SOT 150977 SOS 95262 HAS SOPS 95262 HAS SOUS 37855 HAS SOUPS 37855 WITH SCORE 37950.262
AT ITER 1606 NEW BEST:: SOT 150978 SOS 95265 HAS SOPS 95265 HAS SOUS 37853 HAS SOUPS 37853 WITH SCORE 37948.265
AT ITER 1612 NEW BEST:: SOT 150973 SOS 95266 HAS SOPS 95266 HAS SOUS 37852 HAS SOUPS 37852 WITH SCORE 37947.266
AT ITER 1619 NEW BEST:: SOT 150931 SOS 95069 HAS SOPS 95069 HAS SOUS 37677 HAS SOUPS 37677 WITH SCORE 37772.069
AT ITER 1622 NEW BEST:: SOT 150931 SOS 95068 HAS SOPS 95068 HAS SOUS 37677 HAS SOUPS 37677 WITH SCORE 37772.068
AT ITER 1626 NEW BEST:: SOT 150977 SOS 95002 HAS SOPS 95002 HAS SOUS 37672 HAS SOUPS 37672 WITH SCORE 37767.002
AT ITER 1645 NEW BEST:: SOT 150923 SOS 94894 HAS SOPS 94894 HAS SOUS 37591 HAS SOUPS 37591 WITH SCORE 37685.894
AT ITER 1648 NEW BEST:: SOT 150923 SOS 94818 HAS SOPS 94818 HAS SOUS 37502 HAS SOUPS 37502 WITH SCORE 37596.818
AT ITER 1650 NEW BEST:: SOT 150915 SOS 94795 HAS SOPS 94795 HAS SOUS 37486 HAS SOUPS 37486 WITH SCORE 37580.795
AT ITER 1653 NEW BEST:: SOT 150913 SOS 94793 HAS SOPS 94793 HAS SOUS 37484 HAS SOUPS 37484 WITH SCORE 37578.793
AT ITER 1660 NEW BEST:: SOT 150908 SOS 94783 HAS SOPS 94783 HAS SOUS 37474 HAS SOUPS 37474 WITH SCORE 37568.783
AT ITER 1662 NEW BEST:: SOT 150883 SOS 94710 HAS SOPS 94710 HAS SOUS 37423 HAS SOUPS 37423 WITH SCORE 37517.71
AT ITER 1664 NEW BEST:: SOT 150864 SOS 94691 HAS SOPS 94691 HAS SOUS 37402 HAS SOUPS 37402 WITH SCORE 37496.691
AT ITER 1665 NEW BEST:: SOT 150843 SOS 94670 HAS SOPS 94670 HAS SOUS 37377 HAS SOUPS 37377 WITH SCORE 37471.67
AT ITER 1669 NEW BEST:: SOT 150771 SOS 94598 HAS SOPS 94598 HAS SOUS 37233 HAS SOUPS 37233 WITH SCORE 37327.598
AT ITER 1676 NEW BEST:: SOT 150769 SOS 94582 HAS SOPS 94582 HAS SOUS 37214 HAS SOUPS 37214 WITH SCORE 37308.582
AT ITER 1708 NEW BEST:: SOT 150769 SOS 94566 HAS SOPS 94566 HAS SOUS 37212 HAS SOUPS 37212 WITH SCORE 37306.566
AT ITER 1710 NEW BEST:: SOT 150775 SOS 94560 HAS SOPS 94560 HAS SOUS 37212 HAS SOUPS 37212 WITH SCORE 37306.56
AT ITER 1720 NEW BEST:: SOT 150751 SOS 94518 HAS SOPS 94518 HAS SOUS 37185 HAS SOUPS 37185 WITH SCORE 37279.518
AT ITER 1739 NEW BEST:: SOT 150739 SOS 94506 HAS SOPS 94506 HAS SOUS 37172 HAS SOUPS 37172 WITH SCORE 37266.506
AT ITER 1740 NEW BEST:: SOT 150736 SOS 94503 HAS SOPS 94503 HAS SOUS 37169 HAS SOUPS 37169 WITH SCORE 37263.503
AT ITER 1762 NEW BEST:: SOT 150694 SOS 94451 HAS SOPS 94451 HAS SOUS 37085 HAS SOUPS 37085 WITH SCORE 37179.451
AT ITER 1772 NEW BEST:: SOT 150639 SOS 94459 HAS SOPS 94459 HAS SOUS 37051 HAS SOUPS 37051 WITH SCORE 37145.459
AT ITER 1781 NEW BEST:: SOT 150713 SOS 94547 HAS SOPS 94547 HAS SOUS 37013 HAS SOUPS 37013 WITH SCORE 37107.547
AT ITER 1804 NEW BEST:: SOT 150601 SOS 94435 HAS SOPS 94435 HAS SOUS 36899 HAS SOUPS 36899 WITH SCORE 36993.435
AT ITER 1812 NEW BEST:: SOT 150641 SOS 94339 HAS SOPS 94339 HAS SOUS 36889 HAS SOUPS 36889 WITH SCORE 36983.339
AT ITER 1814 NEW BEST:: SOT 150669 SOS 94196 HAS SOPS 94196 HAS SOUS 36873 HAS SOUPS 36873 WITH SCORE 36967.196
AT ITER 1851 NEW BEST:: SOT 150635 SOS 94137 HAS SOPS 94137 HAS SOUS 36792 HAS SOUPS 36792 WITH SCORE 36886.137
AT ITER 1863 NEW BEST:: SOT 150552 SOS 93961 HAS SOPS 93961 HAS SOUS 36622 HAS SOUPS 36622 WITH SCORE 36715.961
AT ITER 1867 NEW BEST:: SOT 150026 SOS 93435 HAS SOPS 93435 HAS SOUS 36090 HAS SOUPS 36090 WITH SCORE 36183.435
AT ITER 1869 NEW BEST:: SOT 150001 SOS 93383 HAS SOPS 93383 HAS SOUS 36038 HAS SOUPS 36038 WITH SCORE 36131.383
AT ITER 1905 NEW BEST:: SOT 150004 SOS 93302 HAS SOPS 93302 HAS SOUS 36033 HAS SOUPS 36033 WITH SCORE 36126.302
AT ITER 1915 NEW BEST:: SOT 149843 SOS 93148 HAS SOPS 93148 HAS SOUS 35927 HAS SOUPS 35927 WITH SCORE 36020.148
AT ITER 1933 NEW BEST:: SOT 149851 SOS 93120 HAS SOPS 93120 HAS SOUS 35925 HAS SOUPS 35925 WITH SCORE 36018.12
AT ITER 1986 NEW BEST:: SOT 149543 SOS 92810 HAS SOPS 92810 HAS SOUS 35553 HAS SOUPS 35553 WITH SCORE 35645.81
AT ITER 2007 NEW BEST:: SOT 149542 SOS 92761 HAS SOPS 92761 HAS SOUS 35551 HAS SOUPS 35551 WITH SCORE 35643.761
AT ITER 2022 NEW BEST:: SOT 149540 SOS 92753 HAS SOPS 92753 HAS SOUS 35549 HAS SOUPS 35549 WITH SCORE 35641.753
AT ITER 2035 NEW BEST:: SOT 149581 SOS 92762 HAS SOPS 92762 HAS SOUS 35483 HAS SOUPS 35483 WITH SCORE 35575.762
AT ITER 2036 NEW BEST:: SOT 149581 SOS 92565 HAS SOPS 92565 HAS SOUS 35380 HAS SOUPS 35380 WITH SCORE 35472.565
AT ITER 2052 NEW BEST:: SOT 149581 SOS 92561 HAS SOPS 92561 HAS SOUS 35380 HAS SOUPS 35380 WITH SCORE 35472.561
AT ITER 2061 NEW BEST:: SOT 149565 SOS 92553 HAS SOPS 92553 HAS SOUS 35356 HAS SOUPS 35356 WITH SCORE 35448.553
AT ITER 2063 NEW BEST:: SOT 149345 SOS 91816 HAS SOPS 91816 HAS SOUS 35176 HAS SOUPS 35176 WITH SCORE 35267.816
AT ITER 2066 NEW BEST:: SOT 149329 SOS 91784 HAS SOPS 91784 HAS SOUS 35144 HAS SOUPS 35144 WITH SCORE 35235.784
AT ITER 2069 NEW BEST:: SOT 149308 SOS 91763 HAS SOPS 91763 HAS SOUS 35108 HAS SOUPS 35108 WITH SCORE 35199.763
AT ITER 2074 NEW BEST:: SOT 149304 SOS 91751 HAS SOPS 91751 HAS SOUS 35105 HAS SOUPS 35105 WITH SCORE 35196.751
AT ITER 2085 NEW BEST:: SOT 149245 SOS 92085 HAS SOPS 92085 HAS SOUS 35079 HAS SOUPS 35079 WITH SCORE 35171.085
AT ITER 2088 NEW BEST:: SOT 149241 SOS 91461 HAS SOPS 91461 HAS SOUS 35079 HAS SOUPS 35079 WITH SCORE 35170.461
AT ITER 2089 NEW BEST:: SOT 149240 SOS 91458 HAS SOPS 91458 HAS SOUS 35076 HAS SOUPS 35076 WITH SCORE 35167.458
AT ITER 2113 NEW BEST:: SOT 149219 SOS 91437 HAS SOPS 91437 HAS SOUS 35055 HAS SOUPS 35055 WITH SCORE 35146.437
AT ITER 2114 NEW BEST:: SOT 149015 SOS 91450 HAS SOPS 91450 HAS SOUS 34991 HAS SOUPS 34991 WITH SCORE 35082.45
AT ITER 2128 NEW BEST:: SOT 149013 SOS 91402 HAS SOPS 91402 HAS SOUS 34806 HAS SOUPS 34806 WITH SCORE 34897.402
AT ITER 2150 NEW BEST:: SOT 149027 SOS 91438 HAS SOPS 91438 HAS SOUS 34791 HAS SOUPS 34791 WITH SCORE 34882.438
AT ITER 2166 NEW BEST:: SOT 149021 SOS 91432 HAS SOPS 91432 HAS SOUS 34779 HAS SOUPS 34779 WITH SCORE 34870.432
AT ITER 2168 NEW BEST:: SOT 149021 SOS 91406 HAS SOPS 91406 HAS SOUS 34766 HAS SOUPS 34766 WITH SCORE 34857.406
AT ITER 2170 NEW BEST:: SOT 149022 SOS 91407 HAS SOPS 91407 HAS SOUS 34758 HAS SOUPS 34758 WITH SCORE 34849.407
AT ITER 2177 NEW BEST:: SOT 149008 SOS 91393 HAS SOPS 91393 HAS SOUS 34744 HAS SOUPS 34744 WITH SCORE 34835.393
AT ITER 2179 NEW BEST:: SOT 149035 SOS 91387 HAS SOPS 91387 HAS SOUS 34738 HAS SOUPS 34738 WITH SCORE 34829.387
AT ITER 2204 NEW BEST:: SOT 149035 SOS 91387 HAS SOPS 91387 HAS SOUS 34719 HAS SOUPS 34719 WITH SCORE 34810.387
AT ITER 2220 NEW BEST:: SOT 148848 SOS 91075 HAS SOPS 91075 HAS SOUS 34408 HAS SOUPS 34408 WITH SCORE 34499.075
AT ITER 2253 NEW BEST:: SOT 148817 SOS 91044 HAS SOPS 91044 HAS SOUS 34297 HAS SOUPS 34297 WITH SCORE 34388.044
AT ITER 2258 NEW BEST:: SOT 148737 SOS 90938 HAS SOPS 90938 HAS SOUS 34225 HAS SOUPS 34225 WITH SCORE 34315.938
AT ITER 2284 NEW BEST:: SOT 148697 SOS 90908 HAS SOPS 90908 HAS SOUS 34201 HAS SOUPS 34201 WITH SCORE 34291.908
AT ITER 2286 NEW BEST:: SOT 148676 SOS 90877 HAS SOPS 90877 HAS SOUS 34170 HAS SOUPS 34170 WITH SCORE 34260.877
AT ITER 2288 NEW BEST:: SOT 148646 SOS 90587 HAS SOPS 90587 HAS SOUS 34139 HAS SOUPS 34139 WITH SCORE 34229.587
AT ITER 2330 NEW BEST:: SOT 148643 SOS 90581 HAS SOPS 90581 HAS SOUS 34139 HAS SOUPS 34139 WITH SCORE 34229.581
AT ITER 2369 NEW BEST:: SOT 148643 SOS 90384 HAS SOPS 90384 HAS SOUS 34106 HAS SOUPS 34106 WITH SCORE 34196.384
AT ITER 2371 NEW BEST:: SOT 148628 SOS 90384 HAS SOPS 90384 HAS SOUS 34076 HAS SOUPS 34076 WITH SCORE 34166.384
AT ITER 2374 NEW BEST:: SOT 148622 SOS 90297 HAS SOPS 90297 HAS SOUS 34064 HAS SOUPS 34064 WITH SCORE 34154.297
AT ITER 2380 NEW BEST:: SOT 148622 SOS 90295 HAS SOPS 90295 HAS SOUS 34062 HAS SOUPS 34062 WITH SCORE 34152.295
AT ITER 2418 NEW BEST:: SOT 148622 SOS 90279 HAS SOPS 90279 HAS SOUS 34062 HAS SOUPS 34062 WITH SCORE 34152.279
AT ITER 2426 NEW BEST:: SOT 148615 SOS 90272 HAS SOPS 90272 HAS SOUS 34047 HAS SOUPS 34047 WITH SCORE 34137.272
AT ITER 2431 NEW BEST:: SOT 148563 SOS 89988 HAS SOPS 89988 HAS SOUS 33979 HAS SOUPS 33979 WITH SCORE 34068.988
AT ITER 2461 NEW BEST:: SOT 148538 SOS 89938 HAS SOPS 89938 HAS SOUS 33954 HAS SOUPS 33954 WITH SCORE 34043.938
AT ITER 2465 NEW BEST:: SOT 148490 SOS 89866 HAS SOPS 89866 HAS SOUS 33906 HAS SOUPS 33906 WITH SCORE 33995.866
AT ITER 2470 NEW BEST:: SOT 148461 SOS 89837 HAS SOPS 89837 HAS SOUS 33877 HAS SOUPS 33877 WITH SCORE 33966.837
AT ITER 2474 NEW BEST:: SOT 148430 SOS 89829 HAS SOPS 89829 HAS SOUS 33869 HAS SOUPS 33869 WITH SCORE 33958.829
AT ITER 2477 NEW BEST:: SOT 148429 SOS 89828 HAS SOPS 89828 HAS SOUS 33868 HAS SOUPS 33868 WITH SCORE 33957.828
AT ITER 2485 NEW BEST:: SOT 148429 SOS 88900 HAS SOPS 88900 HAS SOUS 33819 HAS SOUPS 33819 WITH SCORE 33907.9
AT ITER 2491 NEW BEST:: SOT 148454 SOS 89152 HAS SOPS 89152 HAS SOUS 33814 HAS SOUPS 33814 WITH SCORE 33903.152
AT ITER 2499 NEW BEST:: SOT 148430 SOS 89128 HAS SOPS 89128 HAS SOUS 33790 HAS SOUPS 33790 WITH SCORE 33879.128
AT ITER 2513 NEW BEST:: SOT 148443 SOS 89141 HAS SOPS 89141 HAS SOUS 33757 HAS SOUPS 33757 WITH SCORE 33846.141
AT ITER 2552 NEW BEST:: SOT 148443 SOS 89247 HAS SOPS 89247 HAS SOUS 33667 HAS SOUPS 33667 WITH SCORE 33756.247
AT ITER 2560 NEW BEST:: SOT 148607 SOS 86790 HAS SOPS 86790 HAS SOUS 33510 HAS SOUPS 33510 WITH SCORE 33596.79
AT ITER 2562 NEW BEST:: SOT 148610 SOS 86749 HAS SOPS 86749 HAS SOUS 33472 HAS SOUPS 33472 WITH SCORE 33558.749
AT ITER 2565 NEW BEST:: SOT 148582 SOS 86721 HAS SOPS 86721 HAS SOUS 33444 HAS SOUPS 33444 WITH SCORE 33530.721
AT ITER 2572 NEW BEST:: SOT 148660 SOS 86691 HAS SOPS 86691 HAS SOUS 33417 HAS SOUPS 33417 WITH SCORE 33503.691
AT ITER 2575 NEW BEST:: SOT 148655 SOS 86686 HAS SOPS 86686 HAS SOUS 33412 HAS SOUPS 33412 WITH SCORE 33498.686
AT ITER 2590 NEW BEST:: SOT 148715 SOS 86686 HAS SOPS 86686 HAS SOUS 33388 HAS SOUPS 33388 WITH SCORE 33474.686
AT ITER 2602 NEW BEST:: SOT 148715 SOS 86674 HAS SOPS 86674 HAS SOUS 33380 HAS SOUPS 33380 WITH SCORE 33466.674
AT ITER 2615 NEW BEST:: SOT 147936 SOS 87196 HAS SOPS 87196 HAS SOUS 32663 HAS SOUPS 32663 WITH SCORE 32750.196
AT ITER 2621 NEW BEST:: SOT 147844 SOS 87059 HAS SOPS 87059 HAS SOUS 32556 HAS SOUPS 32556 WITH SCORE 32643.059
AT ITER 2643 NEW BEST:: SOT 147837 SOS 86996 HAS SOPS 86996 HAS SOUS 32493 HAS SOUPS 32493 WITH SCORE 32579.996
AT ITER 2656 NEW BEST:: SOT 147821 SOS 86980 HAS SOPS 86980 HAS SOUS 32473 HAS SOUPS 32473 WITH SCORE 32559.98
AT ITER 2673 NEW BEST:: SOT 147747 SOS 86906 HAS SOPS 86906 HAS SOUS 32325 HAS SOUPS 32325 WITH SCORE 32411.906
AT ITER 2685 NEW BEST:: SOT 147747 SOS 86874 HAS SOPS 86874 HAS SOUS 32321 HAS SOUPS 32321 WITH SCORE 32407.874
AT ITER 2686 NEW BEST:: SOT 147747 SOS 86928 HAS SOPS 86928 HAS SOUS 32278 HAS SOUPS 32278 WITH SCORE 32364.928
AT ITER 2695 NEW BEST:: SOT 147740 SOS 86921 HAS SOPS 86921 HAS SOUS 32276 HAS SOUPS 32276 WITH SCORE 32362.921
AT ITER 2731 NEW BEST:: SOT 147740 SOS 86869 HAS SOPS 86869 HAS SOUS 32246 HAS SOUPS 32246 WITH SCORE 32332.869
AT ITER 2732 NEW BEST:: SOT 147715 SOS 86844 HAS SOPS 86844 HAS SOUS 32221 HAS SOUPS 32221 WITH SCORE 32307.844
AT ITER 2735 NEW BEST:: SOT 147715 SOS 86845 HAS SOPS 86845 HAS SOUS 32220 HAS SOUPS 32220 WITH SCORE 32306.845
AT ITER 2738 NEW BEST:: SOT 147711 SOS 86841 HAS SOPS 86841 HAS SOUS 32216 HAS SOUPS 32216 WITH SCORE 32302.841
AT ITER 2749 NEW BEST:: SOT 147631 SOS 86764 HAS SOPS 86764 HAS SOUS 32212 HAS SOUPS 32212 WITH SCORE 32298.764
AT ITER 2756 NEW BEST:: SOT 147620 SOS 86753 HAS SOPS 86753 HAS SOUS 32201 HAS SOUPS 32201 WITH SCORE 32287.753
AT ITER 2789 NEW BEST:: SOT 147605 SOS 86738 HAS SOPS 86738 HAS SOUS 32197 HAS SOUPS 32197 WITH SCORE 32283.738
AT ITER 2791 NEW BEST:: SOT 147594 SOS 86727 HAS SOPS 86727 HAS SOUS 32186 HAS SOUPS 32186 WITH SCORE 32272.727
AT ITER 2796 NEW BEST:: SOT 147594 SOS 86562 HAS SOPS 86562 HAS SOUS 32175 HAS SOUPS 32175 WITH SCORE 32261.562
AT ITER 2798 NEW BEST:: SOT 147591 SOS 86468 HAS SOPS 86468 HAS SOUS 32141 HAS SOUPS 32141 WITH SCORE 32227.468
AT ITER 2808 NEW BEST:: SOT 147588 SOS 86473 HAS SOPS 86473 HAS SOUS 32106 HAS SOUPS 32106 WITH SCORE 32192.473
AT ITER 2810 NEW BEST:: SOT 147519 SOS 86419 HAS SOPS 86419 HAS SOUS 32051 HAS SOUPS 32051 WITH SCORE 32137.419
AT ITER 2816 NEW BEST:: SOT 147519 SOS 86344 HAS SOPS 86344 HAS SOUS 31976 HAS SOUPS 31976 WITH SCORE 32062.344
AT ITER 2836 NEW BEST:: SOT 147506 SOS 86331 HAS SOPS 86331 HAS SOUS 31963 HAS SOUPS 31963 WITH SCORE 32049.331
AT ITER 2837 NEW BEST:: SOT 147496 SOS 86354 HAS SOPS 86354 HAS SOUS 31909 HAS SOUPS 31909 WITH SCORE 31995.354
AT ITER 2839 NEW BEST:: SOT 147472 SOS 86328 HAS SOPS 86328 HAS SOUS 31883 HAS SOUPS 31883 WITH SCORE 31969.328
AT ITER 2841 NEW BEST:: SOT 147591 SOS 86543 HAS SOPS 86543 HAS SOUS 31876 HAS SOUPS 31876 WITH SCORE 31962.543
AT ITER 2853 NEW BEST:: SOT 147567 SOS 86509 HAS SOPS 86509 HAS SOUS 31875 HAS SOUPS 31875 WITH SCORE 31961.509
AT ITER 2896 NEW BEST:: SOT 147495 SOS 86493 HAS SOPS 86493 HAS SOUS 31795 HAS SOUPS 31795 WITH SCORE 31881.493
AT ITER 2899 NEW BEST:: SOT 147491 SOS 86488 HAS SOPS 86488 HAS SOUS 31787 HAS SOUPS 31787 WITH SCORE 31873.488
AT ITER 2912 NEW BEST:: SOT 147365 SOS 86943 HAS SOPS 86943 HAS SOUS 31758 HAS SOUPS 31758 WITH SCORE 31844.943
AT ITER 2919 NEW BEST:: SOT 147331 SOS 86873 HAS SOPS 86873 HAS SOUS 31722 HAS SOUPS 31722 WITH SCORE 31808.873
AT ITER 2920 NEW BEST:: SOT 147341 SOS 86883 HAS SOPS 86883 HAS SOUS 31712 HAS SOUPS 31712 WITH SCORE 31798.883
AT ITER 2948 NEW BEST:: SOT 147268 SOS 86817 HAS SOPS 86817 HAS SOUS 31685 HAS SOUPS 31685 WITH SCORE 31771.817
AT ITER 2972 NEW BEST:: SOT 147268 SOS 86753 HAS SOPS 86753 HAS SOUS 31541 HAS SOUPS 31541 WITH SCORE 31627.753
AT ITER 2983 NEW BEST:: SOT 147260 SOS 86737 HAS SOPS 86737 HAS SOUS 31533 HAS SOUPS 31533 WITH SCORE 31619.737
AT ITER 2997 NEW BEST:: SOT 147260 SOS 86631 HAS SOPS 86631 HAS SOUS 31532 HAS SOUPS 31532 WITH SCORE 31618.631
AT ITER 2999 NEW BEST:: SOT 147258 SOS 86629 HAS SOPS 86629 HAS SOUS 31528 HAS SOUPS 31528 WITH SCORE 31614.629
AT ITER 3011 NEW BEST:: SOT 147249 SOS 86593 HAS SOPS 86593 HAS SOUS 31519 HAS SOUPS 31519 WITH SCORE 31605.593
AT ITER 3015 NEW BEST:: SOT 147237 SOS 86563 HAS SOPS 86563 HAS SOUS 31495 HAS SOUPS 31495 WITH SCORE 31581.563
AT ITER 3074 NEW BEST:: SOT 147176 SOS 86502 HAS SOPS 86502 HAS SOUS 31434 HAS SOUPS 31434 WITH SCORE 31520.502
AT ITER 3090 NEW BEST:: SOT 147173 SOS 86499 HAS SOPS 86499 HAS SOUS 31431 HAS SOUPS 31431 WITH SCORE 31517.499
AT ITER 3096 NEW BEST:: SOT 147172 SOS 86498 HAS SOPS 86498 HAS SOUS 31414 HAS SOUPS 31414 WITH SCORE 31500.498
AT ITER 3107 NEW BEST:: SOT 147164 SOS 86490 HAS SOPS 86490 HAS SOUS 31412 HAS SOUPS 31412 WITH SCORE 31498.49
AT ITER 3111 NEW BEST:: SOT 147034 SOS 86722 HAS SOPS 86722 HAS SOUS 31303 HAS SOUPS 31303 WITH SCORE 31389.722
AT ITER 3127 NEW BEST:: SOT 146860 SOS 86548 HAS SOPS 86548 HAS SOUS 31104 HAS SOUPS 31104 WITH SCORE 31190.548
AT ITER 3131 NEW BEST:: SOT 146860 SOS 86655 HAS SOPS 86655 HAS SOUS 31101 HAS SOUPS 31101 WITH SCORE 31187.655
AT ITER 3159 NEW BEST:: SOT 146796 SOS 86586 HAS SOPS 86586 HAS SOUS 31054 HAS SOUPS 31054 WITH SCORE 31140.586
AT ITER 3163 NEW BEST:: SOT 146778 SOS 86568 HAS SOPS 86568 HAS SOUS 31018 HAS SOUPS 31018 WITH SCORE 31104.568
AT ITER 3165 NEW BEST:: SOT 146717 SOS 86549 HAS SOPS 86549 HAS SOUS 30963 HAS SOUPS 30963 WITH SCORE 31049.549
AT ITER 3174 NEW BEST:: SOT 146645 SOS 87008 HAS SOPS 87008 HAS SOUS 30940 HAS SOUPS 30940 WITH SCORE 31027.008
AT ITER 3201 NEW BEST:: SOT 146629 SOS 86992 HAS SOPS 86992 HAS SOUS 30924 HAS SOUPS 30924 WITH SCORE 31010.992
AT ITER 3215 NEW BEST:: SOT 146629 SOS 86990 HAS SOPS 86990 HAS SOUS 30924 HAS SOUPS 30924 WITH SCORE 31010.99
AT ITER 3217 NEW BEST:: SOT 146624 SOS 86963 HAS SOPS 86963 HAS SOUS 30897 HAS SOUPS 30897 WITH SCORE 30983.963
AT ITER 3254 NEW BEST:: SOT 146517 SOS 87458 HAS SOPS 87458 HAS SOUS 30822 HAS SOUPS 30822 WITH SCORE 30909.458
AT ITER 3257 NEW BEST:: SOT 146514 SOS 87455 HAS SOPS 87455 HAS SOUS 30819 HAS SOUPS 30819 WITH SCORE 30906.455
AT ITER 3262 NEW BEST:: SOT 146510 SOS 87169 HAS SOPS 87169 HAS SOUS 30811 HAS SOUPS 30811 WITH SCORE 30898.169
AT ITER 3268 NEW BEST:: SOT 146510 SOS 87175 HAS SOPS 87175 HAS SOUS 30805 HAS SOUPS 30805 WITH SCORE 30892.175
AT ITER 3269 NEW BEST:: SOT 146501 SOS 87166 HAS SOPS 87166 HAS SOUS 30798 HAS SOUPS 30798 WITH SCORE 30885.166
AT ITER 3301 NEW BEST:: SOT 146454 SOS 86841 HAS SOPS 86841 HAS SOUS 30679 HAS SOUPS 30679 WITH SCORE 30765.841
AT ITER 3325 NEW BEST:: SOT 146435 SOS 86822 HAS SOPS 86822 HAS SOUS 30624 HAS SOUPS 30624 WITH SCORE 30710.822
AT ITER 3390 NEW BEST:: SOT 146435 SOS 86806 HAS SOPS 86806 HAS SOUS 30624 HAS SOUPS 30624 WITH SCORE 30710.806
AT ITER 3435 NEW BEST:: SOT 146435 SOS 86527 HAS SOPS 86527 HAS SOUS 30613 HAS SOUPS 30613 WITH SCORE 30699.527
AT ITER 3456 NEW BEST:: SOT 146433 SOS 86509 HAS SOPS 86509 HAS SOUS 30595 HAS SOUPS 30595 WITH SCORE 30681.509
AT ITER 3487 NEW BEST:: SOT 146433 SOS 86555 HAS SOPS 86555 HAS SOUS 30591 HAS SOUPS 30591 WITH SCORE 30677.555
AT ITER 3489 NEW BEST:: SOT 146414 SOS 86536 HAS SOPS 86536 HAS SOUS 30591 HAS SOUPS 30591 WITH SCORE 30677.536
AT ITER 3501 NEW BEST:: SOT 146411 SOS 86566 HAS SOPS 86566 HAS SOUS 30585 HAS SOUPS 30585 WITH SCORE 30671.566
AT ITER 3502 NEW BEST:: SOT 146410 SOS 86525 HAS SOPS 86525 HAS SOUS 30574 HAS SOUPS 30574 WITH SCORE 30660.525
AT ITER 3506 NEW BEST:: SOT 146388 SOS 86510 HAS SOPS 86510 HAS SOUS 30546 HAS SOUPS 30546 WITH SCORE 30632.51
AT ITER 3529 NEW BEST:: SOT 146376 SOS 86498 HAS SOPS 86498 HAS SOUS 30534 HAS SOUPS 30534 WITH SCORE 30620.498
AT ITER 3531 NEW BEST:: SOT 146311 SOS 86428 HAS SOPS 86428 HAS SOUS 30465 HAS SOUPS 30465 WITH SCORE 30551.428
AT ITER 3557 NEW BEST:: SOT 146310 SOS 86427 HAS SOPS 86427 HAS SOUS 30450 HAS SOUPS 30450 WITH SCORE 30536.427
AT ITER 3559 NEW BEST:: SOT 146269 SOS 86028 HAS SOPS 86028 HAS SOUS 30401 HAS SOUPS 30401 WITH SCORE 30487.028
AT ITER 3573 NEW BEST:: SOT 146158 SOS 85917 HAS SOPS 85917 HAS SOUS 30290 HAS SOUPS 30290 WITH SCORE 30375.917
AT ITER 3583 NEW BEST:: SOT 146462 SOS 86119 HAS SOPS 86119 HAS SOUS 30286 HAS SOUPS 30286 WITH SCORE 30372.119
AT ITER 3600 NEW BEST:: SOT 146459 SOS 86035 HAS SOPS 86035 HAS SOUS 30277 HAS SOUPS 30277 WITH SCORE 30363.035
AT ITER 3602 NEW BEST:: SOT 146459 SOS 86075 HAS SOPS 86075 HAS SOUS 30273 HAS SOUPS 30273 WITH SCORE 30359.075
AT ITER 3612 NEW BEST:: SOT 146480 SOS 86140 HAS SOPS 86140 HAS SOUS 30272 HAS SOUPS 30272 WITH SCORE 30358.14
AT ITER 3666 NEW BEST:: SOT 146480 SOS 85936 HAS SOPS 85936 HAS SOUS 30272 HAS SOUPS 30272 WITH SCORE 30357.936
AT ITER 3692 NEW BEST:: SOT 146464 SOS 85908 HAS SOPS 85908 HAS SOUS 30244 HAS SOUPS 30244 WITH SCORE 30329.908
AT ITER 3721 NEW BEST:: SOT 146529 SOS 85436 HAS SOPS 85436 HAS SOUS 30140 HAS SOUPS 30140 WITH SCORE 30225.436
AT ITER 3756 NEW BEST:: SOT 146393 SOS 85388 HAS SOPS 85388 HAS SOUS 30092 HAS SOUPS 30092 WITH SCORE 30177.388
AT ITER 3758 NEW BEST:: SOT 146382 SOS 85374 HAS SOPS 85374 HAS SOUS 30092 HAS SOUPS 30092 WITH SCORE 30177.374
AT ITER 3778 NEW BEST:: SOT 146400 SOS 85392 HAS SOPS 85392 HAS SOUS 30080 HAS SOUPS 30080 WITH SCORE 30165.392
AT ITER 3797 NEW BEST:: SOT 146394 SOS 85386 HAS SOPS 85386 HAS SOUS 30074 HAS SOUPS 30074 WITH SCORE 30159.386
AT ITER 3810 NEW BEST:: SOT 146425 SOS 85417 HAS SOPS 85417 HAS SOUS 30056 HAS SOUPS 30056 WITH SCORE 30141.417
AT ITER 3814 NEW BEST:: SOT 146422 SOS 85414 HAS SOPS 85414 HAS SOUS 30053 HAS SOUPS 30053 WITH SCORE 30138.414
AT ITER 3824 NEW BEST:: SOT 146313 SOS 85244 HAS SOPS 85244 HAS SOUS 29903 HAS SOUPS 29903 WITH SCORE 29988.244
AT ITER 3853 NEW BEST:: SOT 146306 SOS 85249 HAS SOPS 85249 HAS SOUS 29885 HAS SOUPS 29885 WITH SCORE 29970.249
AT ITER 3855 NEW BEST:: SOT 146340 SOS 85266 HAS SOPS 85266 HAS SOUS 29851 HAS SOUPS 29851 WITH SCORE 29936.266
AT ITER 3884 NEW BEST:: SOT 146417 SOS 85250 HAS SOPS 85250 HAS SOUS 29835 HAS SOUPS 29835 WITH SCORE 29920.25
AT ITER 3887 NEW BEST:: SOT 146417 SOS 85242 HAS SOPS 85242 HAS SOUS 29827 HAS SOUPS 29827 WITH SCORE 29912.242
AT ITER 3930 NEW BEST:: SOT 146306 SOS 84921 HAS SOPS 84921 HAS SOUS 29585 HAS SOUPS 29585 WITH SCORE 29669.921
AT ITER 3942 NEW BEST:: SOT 146306 SOS 84921 HAS SOPS 84921 HAS SOUS 29569 HAS SOUPS 29569 WITH SCORE 29653.921
AT ITER 4012 NEW BEST:: SOT 146287 SOS 84868 HAS SOPS 84868 HAS SOUS 29516 HAS SOUPS 29516 WITH SCORE 29600.868
AT ITER 4017 NEW BEST:: SOT 146250 SOS 84788 HAS SOPS 84788 HAS SOUS 29468 HAS SOUPS 29468 WITH SCORE 29552.788
AT ITER 4036 NEW BEST:: SOT 146250 SOS 84785 HAS SOPS 84785 HAS SOUS 29468 HAS SOUPS 29468 WITH SCORE 29552.785
AT ITER 4045 NEW BEST:: SOT 146145 SOS 84680 HAS SOPS 84680 HAS SOUS 29363 HAS SOUPS 29363 WITH SCORE 29447.68
AT ITER 4058 NEW BEST:: SOT 146080 SOS 84615 HAS SOPS 84615 HAS SOUS 29337 HAS SOUPS 29337 WITH SCORE 29421.615
AT ITER 4064 NEW BEST:: SOT 145944 SOS 84479 HAS SOPS 84479 HAS SOUS 29089 HAS SOUPS 29089 WITH SCORE 29173.479
AT ITER 4092 NEW BEST:: SOT 145944 SOS 84467 HAS SOPS 84467 HAS SOUS 28964 HAS SOUPS 28964 WITH SCORE 29048.467
AT ITER 4095 NEW BEST:: SOT 145927 SOS 84450 HAS SOPS 84450 HAS SOUS 28913 HAS SOUPS 28913 WITH SCORE 28997.45
AT ITER 4099 NEW BEST:: SOT 145927 SOS 84689 HAS SOPS 84689 HAS SOUS 28911 HAS SOUPS 28911 WITH SCORE 28995.689
AT ITER 4104 NEW BEST:: SOT 145930 SOS 84692 HAS SOPS 84692 HAS SOUS 28904 HAS SOUPS 28904 WITH SCORE 28988.692
AT ITER 4109 NEW BEST:: SOT 145918 SOS 84669 HAS SOPS 84669 HAS SOUS 28881 HAS SOUPS 28881 WITH SCORE 28965.669
AT ITER 4118 NEW BEST:: SOT 145871 SOS 84626 HAS SOPS 84626 HAS SOUS 28865 HAS SOUPS 28865 WITH SCORE 28949.626
AT ITER 4189 NEW BEST:: SOT 145863 SOS 84588 HAS SOPS 84588 HAS SOUS 28827 HAS SOUPS 28827 WITH SCORE 28911.588
AT ITER 4204 NEW BEST:: SOT 145864 SOS 84587 HAS SOPS 84587 HAS SOUS 28826 HAS SOUPS 28826 WITH SCORE 28910.587
AT ITER 4206 NEW BEST:: SOT 145819 SOS 84572 HAS SOPS 84572 HAS SOUS 28684 HAS SOUPS 28684 WITH SCORE 28768.572
AT ITER 4219 NEW BEST:: SOT 145765 SOS 84518 HAS SOPS 84518 HAS SOUS 28630 HAS SOUPS 28630 WITH SCORE 28714.518
AT ITER 4240 NEW BEST:: SOT 145754 SOS 84485 HAS SOPS 84485 HAS SOUS 28597 HAS SOUPS 28597 WITH SCORE 28681.485
AT ITER 4256 NEW BEST:: SOT 145634 SOS 84485 HAS SOPS 84485 HAS SOUS 28492 HAS SOUPS 28492 WITH SCORE 28576.485
AT ITER 4277 NEW BEST:: SOT 145634 SOS 84414 HAS SOPS 84414 HAS SOUS 28477 HAS SOUPS 28477 WITH SCORE 28561.414
AT ITER 4286 NEW BEST:: SOT 145627 SOS 84414 HAS SOPS 84414 HAS SOUS 28463 HAS SOUPS 28463 WITH SCORE 28547.414
AT ITER 4290 NEW BEST:: SOT 145592 SOS 84379 HAS SOPS 84379 HAS SOUS 28438 HAS SOUPS 28438 WITH SCORE 28522.379
AT ITER 4295 NEW BEST:: SOT 145546 SOS 84325 HAS SOPS 84325 HAS SOUS 28384 HAS SOUPS 28384 WITH SCORE 28468.325
AT ITER 4319 NEW BEST:: SOT 145555 SOS 84325 HAS SOPS 84325 HAS SOUS 28368 HAS SOUPS 28368 WITH SCORE 28452.325
AT ITER 4338 NEW BEST:: SOT 145558 SOS 84296 HAS SOPS 84296 HAS SOUS 28339 HAS SOUPS 28339 WITH SCORE 28423.296
AT ITER 4381 NEW BEST:: SOT 145528 SOS 84251 HAS SOPS 84251 HAS SOUS 28279 HAS SOUPS 28279 WITH SCORE 28363.251
AT ITER 4400 NEW BEST:: SOT 145522 SOS 84080 HAS SOPS 84080 HAS SOUS 28242 HAS SOUPS 28242 WITH SCORE 28326.08
AT ITER 4449 NEW BEST:: SOT 145506 SOS 84054 HAS SOPS 84054 HAS SOUS 28208 HAS SOUPS 28208 WITH SCORE 28292.054
AT ITER 4460 NEW BEST:: SOT 145501 SOS 84049 HAS SOPS 84049 HAS SOUS 28203 HAS SOUPS 28203 WITH SCORE 28287.049
AT ITER 4507 NEW BEST:: SOT 145519 SOS 83924 HAS SOPS 83924 HAS SOUS 28152 HAS SOUPS 28152 WITH SCORE 28235.924
AT ITER 4530 NEW BEST:: SOT 145519 SOS 83912 HAS SOPS 83912 HAS SOUS 28140 HAS SOUPS 28140 WITH SCORE 28223.912
AT ITER 4561 NEW BEST:: SOT 145511 SOS 83904 HAS SOPS 83904 HAS SOUS 28122 HAS SOUPS 28122 WITH SCORE 28205.904
AT ITER 4564 NEW BEST:: SOT 145491 SOS 83618 HAS SOPS 83618 HAS SOUS 28101 HAS SOUPS 28101 WITH SCORE 28184.618
AT ITER 4582 NEW BEST:: SOT 145483 SOS 83610 HAS SOPS 83610 HAS SOUS 28093 HAS SOUPS 28093 WITH SCORE 28176.61
AT ITER 4593 NEW BEST:: SOT 145500 SOS 83627 HAS SOPS 83627 HAS SOUS 28080 HAS SOUPS 28080 WITH SCORE 28163.627
AT ITER 4642 NEW BEST:: SOT 145437 SOS 83564 HAS SOPS 83564 HAS SOUS 27946 HAS SOUPS 27946 WITH SCORE 28029.564
AT ITER 4645 NEW BEST:: SOT 145435 SOS 83558 HAS SOPS 83558 HAS SOUS 27940 HAS SOUPS 27940 WITH SCORE 28023.558
AT ITER 4661 NEW BEST:: SOT 145405 SOS 83528 HAS SOPS 83528 HAS SOUS 27910 HAS SOUPS 27910 WITH SCORE 27993.528
AT ITER 4674 NEW BEST:: SOT 145356 SOS 83391 HAS SOPS 83391 HAS SOUS 27905 HAS SOUPS 27905 WITH SCORE 27988.391
AT ITER 4697 NEW BEST:: SOT 145372 SOS 83451 HAS SOPS 83451 HAS SOUS 27831 HAS SOUPS 27831 WITH SCORE 27914.451
AT ITER 4774 NEW BEST:: SOT 145348 SOS 83203 HAS SOPS 83203 HAS SOUS 27783 HAS SOUPS 27783 WITH SCORE 27866.203
AT ITER 4778 NEW BEST:: SOT 145265 SOS 83120 HAS SOPS 83120 HAS SOUS 27700 HAS SOUPS 27700 WITH SCORE 27783.12
AT ITER 4791 NEW BEST:: SOT 145264 SOS 83119 HAS SOPS 83119 HAS SOUS 27698 HAS SOUPS 27698 WITH SCORE 27781.119
AT ITER 4794 NEW BEST:: SOT 145258 SOS 83104 HAS SOPS 83104 HAS SOUS 27698 HAS SOUPS 27698 WITH SCORE 27781.104
AT ITER 4809 NEW BEST:: SOT 145276 SOS 83122 HAS SOPS 83122 HAS SOUS 27667 HAS SOUPS 27667 WITH SCORE 27750.122
AT ITER 4824 NEW BEST:: SOT 145255 SOS 83079 HAS SOPS 83079 HAS SOUS 27639 HAS SOUPS 27639 WITH SCORE 27722.079
AT ITER 4865 NEW BEST:: SOT 145223 SOS 83056 HAS SOPS 83056 HAS SOUS 27616 HAS SOUPS 27616 WITH SCORE 27699.056
AT ITER 4873 NEW BEST:: SOT 145205 SOS 83059 HAS SOPS 83059 HAS SOUS 27601 HAS SOUPS 27601 WITH SCORE 27684.059
AT ITER 4874 NEW BEST:: SOT 145189 SOS 83129 HAS SOPS 83129 HAS SOUS 27569 HAS SOUPS 27569 WITH SCORE 27652.129
AT ITER 4879 NEW BEST:: SOT 145160 SOS 83086 HAS SOPS 83086 HAS SOUS 27566 HAS SOUPS 27566 WITH SCORE 27649.086
AT ITER 4908 NEW BEST:: SOT 145157 SOS 83083 HAS SOPS 83083 HAS SOUS 27560 HAS SOUPS 27560 WITH SCORE 27643.083
AT ITER 4917 NEW BEST:: SOT 145157 SOS 83052 HAS SOPS 83052 HAS SOUS 27548 HAS SOUPS 27548 WITH SCORE 27631.052
AT ITER 4925 NEW BEST:: SOT 145031 SOS 82926 HAS SOPS 82926 HAS SOUS 27355 HAS SOUPS 27355 WITH SCORE 27437.926
AT ITER 4927 NEW BEST:: SOT 145007 SOS 82902 HAS SOPS 82902 HAS SOUS 27331 HAS SOUPS 27331 WITH SCORE 27413.902
AT ITER 4929 NEW BEST:: SOT 144987 SOS 82842 HAS SOPS 82842 HAS SOUS 27311 HAS SOUPS 27311 WITH SCORE 27393.842
AT ITER 4944 NEW BEST:: SOT 145093 SOS 82776 HAS SOPS 82776 HAS SOUS 27236 HAS SOUPS 27236 WITH SCORE 27318.776
AT ITER 4950 NEW BEST:: SOT 145092 SOS 82774 HAS SOPS 82774 HAS SOUS 27234 HAS SOUPS 27234 WITH SCORE 27316.774
AT ITER 5032 NEW BEST:: SOT 145072 SOS 82670 HAS SOPS 82670 HAS SOUS 27214 HAS SOUPS 27214 WITH SCORE 27296.67
AT ITER 5062 NEW BEST:: SOT 145071 SOS 82669 HAS SOPS 82669 HAS SOUS 27212 HAS SOUPS 27212 WITH SCORE 27294.669
AT ITER 5094 NEW BEST:: SOT 144920 SOS 82740 HAS SOPS 82740 HAS SOUS 27076 HAS SOUPS 27076 WITH SCORE 27158.74
AT ITER 5137 NEW BEST:: SOT 144903 SOS 82712 HAS SOPS 82712 HAS SOUS 27048 HAS SOUPS 27048 WITH SCORE 27130.712
AT ITER 5149 NEW BEST:: SOT 144902 SOS 82711 HAS SOPS 82711 HAS SOUS 27047 HAS SOUPS 27047 WITH SCORE 27129.711
AT ITER 5234 NEW BEST:: SOT 144886 SOS 82695 HAS SOPS 82695 HAS SOUS 27028 HAS SOUPS 27028 WITH SCORE 27110.695
AT ITER 5239 NEW BEST:: SOT 144886 SOS 82695 HAS SOPS 82695 HAS SOUS 27027 HAS SOUPS 27027 WITH SCORE 27109.695
AT ITER 5240 NEW BEST:: SOT 144834 SOS 82654 HAS SOPS 82654 HAS SOUS 27025 HAS SOUPS 27025 WITH SCORE 27107.654
AT ITER 5243 NEW BEST:: SOT 144770 SOS 82647 HAS SOPS 82647 HAS SOUS 26985 HAS SOUPS 26985 WITH SCORE 27067.647
AT ITER 5246 NEW BEST:: SOT 144627 SOS 82388 HAS SOPS 82388 HAS SOUS 26839 HAS SOUPS 26839 WITH SCORE 26921.388
AT ITER 5247 NEW BEST:: SOT 144613 SOS 82374 HAS SOPS 82374 HAS SOUS 26825 HAS SOUPS 26825 WITH SCORE 26907.374
AT ITER 5255 NEW BEST:: SOT 144607 SOS 82362 HAS SOPS 82362 HAS SOUS 26813 HAS SOUPS 26813 WITH SCORE 26895.362
AT ITER 5293 NEW BEST:: SOT 144605 SOS 82360 HAS SOPS 82360 HAS SOUS 26811 HAS SOUPS 26811 WITH SCORE 26893.36
AT ITER 5301 NEW BEST:: SOT 144590 SOS 82342 HAS SOPS 82342 HAS SOUS 26793 HAS SOUPS 26793 WITH SCORE 26875.342
AT ITER 5308 NEW BEST:: SOT 144546 SOS 82250 HAS SOPS 82250 HAS SOUS 26751 HAS SOUPS 26751 WITH SCORE 26833.25
AT ITER 5343 NEW BEST:: SOT 144543 SOS 82244 HAS SOPS 82244 HAS SOUS 26748 HAS SOUPS 26748 WITH SCORE 26830.244
AT ITER 5361 NEW BEST:: SOT 144472 SOS 82179 HAS SOPS 82179 HAS SOUS 26683 HAS SOUPS 26683 WITH SCORE 26765.179
AT ITER 5382 NEW BEST:: SOT 144461 SOS 82185 HAS SOPS 82185 HAS SOUS 26661 HAS SOUPS 26661 WITH SCORE 26743.185
AT ITER 5403 NEW BEST:: SOT 144501 SOS 82183 HAS SOPS 82183 HAS SOUS 26659 HAS SOUPS 26659 WITH SCORE 26741.183
AT ITER 5444 NEW BEST:: SOT 144504 SOS 82211 HAS SOPS 82211 HAS SOUS 26633 HAS SOUPS 26633 WITH SCORE 26715.211
AT ITER 5448 NEW BEST:: SOT 144504 SOS 82211 HAS SOPS 82211 HAS SOUS 26623 HAS SOUPS 26623 WITH SCORE 26705.211
AT ITER 5468 NEW BEST:: SOT 144528 SOS 82238 HAS SOPS 82238 HAS SOUS 26566 HAS SOUPS 26566 WITH SCORE 26648.238
AT ITER 5469 NEW BEST:: SOT 144528 SOS 82204 HAS SOPS 82204 HAS SOUS 26532 HAS SOUPS 26532 WITH SCORE 26614.204
AT ITER 5483 NEW BEST:: SOT 144528 SOS 82186 HAS SOPS 82186 HAS SOUS 26520 HAS SOUPS 26520 WITH SCORE 26602.186
AT ITER 5488 NEW BEST:: SOT 144528 SOS 82176 HAS SOPS 82176 HAS SOUS 26510 HAS SOUPS 26510 WITH SCORE 26592.176
AT ITER 5493 NEW BEST:: SOT 144504 SOS 82152 HAS SOPS 82152 HAS SOUS 26462 HAS SOUPS 26462 WITH SCORE 26544.152
AT ITER 5506 NEW BEST:: SOT 144503 SOS 82151 HAS SOPS 82151 HAS SOUS 26461 HAS SOUPS 26461 WITH SCORE 26543.151
AT ITER 5512 NEW BEST:: SOT 144535 SOS 82183 HAS SOPS 82183 HAS SOUS 26443 HAS SOUPS 26443 WITH SCORE 26525.183
AT ITER 5559 NEW BEST:: SOT 144511 SOS 82144 HAS SOPS 82144 HAS SOUS 26413 HAS SOUPS 26413 WITH SCORE 26495.144
AT ITER 5567 NEW BEST:: SOT 144391 SOS 81960 HAS SOPS 81960 HAS SOUS 26364 HAS SOUPS 26364 WITH SCORE 26445.96
AT ITER 5578 NEW BEST:: SOT 144367 SOS 81936 HAS SOPS 81936 HAS SOUS 26340 HAS SOUPS 26340 WITH SCORE 26421.936
AT ITER 5587 NEW BEST:: SOT 144282 SOS 81637 HAS SOPS 81637 HAS SOUS 26228 HAS SOUPS 26228 WITH SCORE 26309.637
AT ITER 5600 NEW BEST:: SOT 144282 SOS 81629 HAS SOPS 81629 HAS SOUS 26220 HAS SOUPS 26220 WITH SCORE 26301.629
AT ITER 5609 NEW BEST:: SOT 144268 SOS 81613 HAS SOPS 81613 HAS SOUS 26219 HAS SOUPS 26219 WITH SCORE 26300.613
AT ITER 5616 NEW BEST:: SOT 144276 SOS 81621 HAS SOPS 81621 HAS SOUS 26217 HAS SOUPS 26217 WITH SCORE 26298.621
AT ITER 5649 NEW BEST:: SOT 144276 SOS 81533 HAS SOPS 81533 HAS SOUS 26173 HAS SOUPS 26173 WITH SCORE 26254.533
AT ITER 5659 NEW BEST:: SOT 144238 SOS 81495 HAS SOPS 81495 HAS SOUS 26135 HAS SOUPS 26135 WITH SCORE 26216.495
AT ITER 5662 NEW BEST:: SOT 144237 SOS 81494 HAS SOPS 81494 HAS SOUS 26134 HAS SOUPS 26134 WITH SCORE 26215.494
AT ITER 5678 NEW BEST:: SOT 144236 SOS 81492 HAS SOPS 81492 HAS SOUS 26132 HAS SOUPS 26132 WITH SCORE 26213.492
AT ITER 5679 NEW BEST:: SOT 144236 SOS 81492 HAS SOPS 81492 HAS SOUS 26121 HAS SOUPS 26121 WITH SCORE 26202.492
AT ITER 5727 NEW BEST:: SOT 144236 SOS 81484 HAS SOPS 81484 HAS SOUS 26120 HAS SOUPS 26120 WITH SCORE 26201.484
AT ITER 5732 NEW BEST:: SOT 144236 SOS 81411 HAS SOPS 81411 HAS SOUS 26120 HAS SOUPS 26120 WITH SCORE 26201.411
AT ITER 5746 NEW BEST:: SOT 144133 SOS 81533 HAS SOPS 81533 HAS SOUS 26089 HAS SOUPS 26089 WITH SCORE 26170.533
AT ITER 5760 NEW BEST:: SOT 144140 SOS 81540 HAS SOPS 81540 HAS SOUS 26078 HAS SOUPS 26078 WITH SCORE 26159.54
AT ITER 5845 NEW BEST:: SOT 144140 SOS 81584 HAS SOPS 81584 HAS SOUS 26068 HAS SOUPS 26068 WITH SCORE 26149.584
AT ITER 5851 NEW BEST:: SOT 144130 SOS 81564 HAS SOPS 81564 HAS SOUS 26053 HAS SOUPS 26053 WITH SCORE 26134.564
AT ITER 5876 NEW BEST:: SOT 144156 SOS 81561 HAS SOPS 81561 HAS SOUS 26050 HAS SOUPS 26050 WITH SCORE 26131.561
AT ITER 5888 NEW BEST:: SOT 144124 SOS 81529 HAS SOPS 81529 HAS SOUS 25986 HAS SOUPS 25986 WITH SCORE 26067.529
AT ITER 5906 NEW BEST:: SOT 144117 SOS 81522 HAS SOPS 81522 HAS SOUS 25979 HAS SOUPS 25979 WITH SCORE 26060.522
AT ITER 5927 NEW BEST:: SOT 144077 SOS 81482 HAS SOPS 81482 HAS SOUS 25955 HAS SOUPS 25955 WITH SCORE 26036.482
AT ITER 5933 NEW BEST:: SOT 144069 SOS 81474 HAS SOPS 81474 HAS SOUS 25949 HAS SOUPS 25949 WITH SCORE 26030.474
AT ITER 5946 NEW BEST:: SOT 144089 SOS 81454 HAS SOPS 81454 HAS SOUS 25949 HAS SOUPS 25949 WITH SCORE 26030.454
AT ITER 6014 NEW BEST:: SOT 144089 SOS 81445 HAS SOPS 81445 HAS SOUS 25940 HAS SOUPS 25940 WITH SCORE 26021.445
AT ITER 6022 NEW BEST:: SOT 144049 SOS 81428 HAS SOPS 81428 HAS SOUS 25923 HAS SOUPS 25923 WITH SCORE 26004.428
AT ITER 6044 NEW BEST:: SOT 144039 SOS 81424 HAS SOPS 81424 HAS SOUS 25911 HAS SOUPS 25911 WITH SCORE 25992.424
AT ITER 6046 NEW BEST:: SOT 143957 SOS 81300 HAS SOPS 81300 HAS SOUS 25843 HAS SOUPS 25843 WITH SCORE 25924.3
AT ITER 6059 NEW BEST:: SOT 143889 SOS 81232 HAS SOPS 81232 HAS SOUS 25775 HAS SOUPS 25775 WITH SCORE 25856.232
AT ITER 6063 NEW BEST:: SOT 143886 SOS 81226 HAS SOPS 81226 HAS SOUS 25769 HAS SOUPS 25769 WITH SCORE 25850.226
AT ITER 6064 NEW BEST:: SOT 143851 SOS 81191 HAS SOPS 81191 HAS SOUS 25699 HAS SOUPS 25699 WITH SCORE 25780.191
AT ITER 6081 NEW BEST:: SOT 143779 SOS 81042 HAS SOPS 81042 HAS SOUS 25555 HAS SOUPS 25555 WITH SCORE 25636.042
AT ITER 6098 NEW BEST:: SOT 143775 SOS 80807 HAS SOPS 80807 HAS SOUS 25551 HAS SOUPS 25551 WITH SCORE 25631.807
AT ITER 6120 NEW BEST:: SOT 143777 SOS 80801 HAS SOPS 80801 HAS SOUS 25545 HAS SOUPS 25545 WITH SCORE 25625.801
AT ITER 6132 NEW BEST:: SOT 143733 SOS 80781 HAS SOPS 80781 HAS SOUS 25525 HAS SOUPS 25525 WITH SCORE 25605.781
AT ITER 6248 NEW BEST:: SOT 143710 SOS 80758 HAS SOPS 80758 HAS SOUS 25502 HAS SOUPS 25502 WITH SCORE 25582.758
AT ITER 6258 NEW BEST:: SOT 143702 SOS 80731 HAS SOPS 80731 HAS SOUS 25502 HAS SOUPS 25502 WITH SCORE 25582.731
AT ITER 6279 NEW BEST:: SOT 143682 SOS 80674 HAS SOPS 80674 HAS SOUS 25465 HAS SOUPS 25465 WITH SCORE 25545.674
AT ITER 6299 NEW BEST:: SOT 143705 SOS 80714 HAS SOPS 80714 HAS SOUS 25454 HAS SOUPS 25454 WITH SCORE 25534.714
AT ITER 6318 NEW BEST:: SOT 143699 SOS 80708 HAS SOPS 80708 HAS SOUS 25448 HAS SOUPS 25448 WITH SCORE 25528.708
AT ITER 6342 NEW BEST:: SOT 143697 SOS 80705 HAS SOPS 80705 HAS SOUS 25445 HAS SOUPS 25445 WITH SCORE 25525.705
AT ITER 6351 NEW BEST:: SOT 143703 SOS 80701 HAS SOPS 80701 HAS SOUS 25435 HAS SOUPS 25435 WITH SCORE 25515.701
AT ITER 6447 NEW BEST:: SOT 143700 SOS 80695 HAS SOPS 80695 HAS SOUS 25429 HAS SOUPS 25429 WITH SCORE 25509.695
AT ITER 6449 NEW BEST:: SOT 143708 SOS 80686 HAS SOPS 80686 HAS SOUS 25420 HAS SOUPS 25420 WITH SCORE 25500.686
AT ITER 6453 NEW BEST:: SOT 143708 SOS 80684 HAS SOPS 80684 HAS SOUS 25416 HAS SOUPS 25416 WITH SCORE 25496.684
AT ITER 6458 NEW BEST:: SOT 143708 SOS 80684 HAS SOPS 80684 HAS SOUS 25324 HAS SOUPS 25324 WITH SCORE 25404.684
AT ITER 6469 NEW BEST:: SOT 143699 SOS 80677 HAS SOPS 80677 HAS SOUS 25304 HAS SOUPS 25304 WITH SCORE 25384.677
AT ITER 6505 NEW BEST:: SOT 143699 SOS 80674 HAS SOPS 80674 HAS SOUS 25301 HAS SOUPS 25301 WITH SCORE 25381.674
AT ITER 6523 NEW BEST:: SOT 143641 SOS 80892 HAS SOPS 80892 HAS SOUS 25296 HAS SOUPS 25296 WITH SCORE 25376.892
AT ITER 6545 NEW BEST:: SOT 143520 SOS 80708 HAS SOPS 80708 HAS SOUS 25278 HAS SOUPS 25278 WITH SCORE 25358.708
AT ITER 6607 NEW BEST:: SOT 143517 SOS 80702 HAS SOPS 80702 HAS SOUS 25272 HAS SOUPS 25272 WITH SCORE 25352.702
AT ITER 6626 NEW BEST:: SOT 143535 SOS 80711 HAS SOPS 80711 HAS SOUS 25271 HAS SOUPS 25271 WITH SCORE 25351.711
AT ITER 6653 NEW BEST:: SOT 143508 SOS 80684 HAS SOPS 80684 HAS SOUS 25218 HAS SOUPS 25218 WITH SCORE 25298.684
AT ITER 6678 NEW BEST:: SOT 143507 SOS 80683 HAS SOPS 80683 HAS SOUS 25217 HAS SOUPS 25217 WITH SCORE 25297.683
AT ITER 6690 NEW BEST:: SOT 143455 SOS 80583 HAS SOPS 80583 HAS SOUS 25202 HAS SOUPS 25202 WITH SCORE 25282.583
AT ITER 6747 NEW BEST:: SOT 143449 SOS 80557 HAS SOPS 80557 HAS SOUS 25190 HAS SOUPS 25190 WITH SCORE 25270.557
AT ITER 6806 NEW BEST:: SOT 143429 SOS 80537 HAS SOPS 80537 HAS SOUS 25150 HAS SOUPS 25150 WITH SCORE 25230.537
AT ITER 6830 NEW BEST:: SOT 143429 SOS 80485 HAS SOPS 80485 HAS SOUS 25136 HAS SOUPS 25136 WITH SCORE 25216.485
AT ITER 6831 NEW BEST:: SOT 143435 SOS 80477 HAS SOPS 80477 HAS SOUS 25128 HAS SOUPS 25128 WITH SCORE 25208.477
AT ITER 6832 NEW BEST:: SOT 143478 SOS 80255 HAS SOPS 80255 HAS SOUS 25128 HAS SOUPS 25128 WITH SCORE 25208.255
AT ITER 6839 NEW BEST:: SOT 143478 SOS 80121 HAS SOPS 80121 HAS SOUS 25120 HAS SOUPS 25120 WITH SCORE 25200.121
AT ITER 6862 NEW BEST:: SOT 143476 SOS 80089 HAS SOPS 80089 HAS SOUS 25118 HAS SOUPS 25118 WITH SCORE 25198.089
AT ITER 6891 NEW BEST:: SOT 143476 SOS 80069 HAS SOPS 80069 HAS SOUS 25098 HAS SOUPS 25098 WITH SCORE 25178.069
AT ITER 6947 NEW BEST:: SOT 143421 SOS 80003 HAS SOPS 80003 HAS SOUS 25032 HAS SOUPS 25032 WITH SCORE 25112.003
AT ITER 6952 NEW BEST:: SOT 143421 SOS 79963 HAS SOPS 79963 HAS SOUS 25032 HAS SOUPS 25032 WITH SCORE 25111.963
AT ITER 6970 NEW BEST:: SOT 143388 SOS 80010 HAS SOPS 80010 HAS SOUS 25014 HAS SOUPS 25014 WITH SCORE 25094.01
AT ITER 6982 NEW BEST:: SOT 143388 SOS 79830 HAS SOPS 79830 HAS SOUS 24992 HAS SOUPS 24992 WITH SCORE 25071.83
AT ITER 7020 NEW BEST:: SOT 143359 SOS 79527 HAS SOPS 79527 HAS SOUS 24956 HAS SOUPS 24956 WITH SCORE 25035.527
AT ITER 7093 NEW BEST:: SOT 143347 SOS 79515 HAS SOPS 79515 HAS SOUS 24944 HAS SOUPS 24944 WITH SCORE 25023.515
AT ITER 7116 NEW BEST:: SOT 143334 SOS 79488 HAS SOPS 79488 HAS SOUS 24931 HAS SOUPS 24931 WITH SCORE 25010.488
AT ITER 7127 NEW BEST:: SOT 143325 SOS 79472 HAS SOPS 79472 HAS SOUS 24920 HAS SOUPS 24920 WITH SCORE 24999.472
AT ITER 7149 NEW BEST:: SOT 143239 SOS 80211 HAS SOPS 80211 HAS SOUS 24890 HAS SOUPS 24890 WITH SCORE 24970.211
AT ITER 7179 NEW BEST:: SOT 143218 SOS 80114 HAS SOPS 80114 HAS SOUS 24879 HAS SOUPS 24879 WITH SCORE 24959.114
AT ITER 7216 NEW BEST:: SOT 143123 SOS 80506 HAS SOPS 80506 HAS SOUS 24822 HAS SOUPS 24822 WITH SCORE 24902.506
AT ITER 7228 NEW BEST:: SOT 143111 SOS 80494 HAS SOPS 80494 HAS SOUS 24798 HAS SOUPS 24798 WITH SCORE 24878.494
AT ITER 7238 NEW BEST:: SOT 143106 SOS 80489 HAS SOPS 80489 HAS SOUS 24793 HAS SOUPS 24793 WITH SCORE 24873.489
AT ITER 7256 NEW BEST:: SOT 143106 SOS 80231 HAS SOPS 80231 HAS SOUS 24793 HAS SOUPS 24793 WITH SCORE 24873.231
AT ITER 7340 NEW BEST:: SOT 143080 SOS 80218 HAS SOPS 80218 HAS SOUS 24780 HAS SOUPS 24780 WITH SCORE 24860.218
AT ITER 7348 NEW BEST:: SOT 143078 SOS 80214 HAS SOPS 80214 HAS SOUS 24778 HAS SOUPS 24778 WITH SCORE 24858.214
AT ITER 7362 NEW BEST:: SOT 143060 SOS 80196 HAS SOPS 80196 HAS SOUS 24770 HAS SOUPS 24770 WITH SCORE 24850.196
AT ITER 7389 NEW BEST:: SOT 143058 SOS 79978 HAS SOPS 79978 HAS SOUS 24760 HAS SOUPS 24760 WITH SCORE 24839.978
AT ITER 7391 NEW BEST:: SOT 143050 SOS 79989 HAS SOPS 79989 HAS SOUS 24744 HAS SOUPS 24744 WITH SCORE 24823.989
AT ITER 7406 NEW BEST:: SOT 143045 SOS 79984 HAS SOPS 79984 HAS SOUS 24739 HAS SOUPS 24739 WITH SCORE 24818.984
AT ITER 7409 NEW BEST:: SOT 143045 SOS 79984 HAS SOPS 79984 HAS SOUS 24715 HAS SOUPS 24715 WITH SCORE 24794.984
AT ITER 7415 NEW BEST:: SOT 143011 SOS 79899 HAS SOPS 79899 HAS SOUS 24709 HAS SOUPS 24709 WITH SCORE 24788.899
AT ITER 7471 NEW BEST:: SOT 142994 SOS 79842 HAS SOPS 79842 HAS SOUS 24672 HAS SOUPS 24672 WITH SCORE 24751.842
AT ITER 7492 NEW BEST:: SOT 142982 SOS 79793 HAS SOPS 79793 HAS SOUS 24623 HAS SOUPS 24623 WITH SCORE 24702.793
AT ITER 7536 NEW BEST:: SOT 142979 SOS 79790 HAS SOPS 79790 HAS SOUS 24617 HAS SOUPS 24617 WITH SCORE 24696.79
AT ITER 7593 NEW BEST:: SOT 142954 SOS 79754 HAS SOPS 79754 HAS SOUS 24582 HAS SOUPS 24582 WITH SCORE 24661.754
AT ITER 7600 NEW BEST:: SOT 142860 SOS 79672 HAS SOPS 79672 HAS SOUS 24549 HAS SOUPS 24549 WITH SCORE 24628.672
AT ITER 7629 NEW BEST:: SOT 142857 SOS 79666 HAS SOPS 79666 HAS SOUS 24549 HAS SOUPS 24549 WITH SCORE 24628.666
AT ITER 7677 NEW BEST:: SOT 142853 SOS 79658 HAS SOPS 79658 HAS SOUS 24541 HAS SOUPS 24541 WITH SCORE 24620.658
AT ITER 7685 NEW BEST:: SOT 142853 SOS 80107 HAS SOPS 80107 HAS SOUS 24540 HAS SOUPS 24540 WITH SCORE 24620.107
AT ITER 7708 NEW BEST:: SOT 142850 SOS 80096 HAS SOPS 80096 HAS SOUS 24534 HAS SOUPS 24534 WITH SCORE 24614.096
AT ITER 7713 NEW BEST:: SOT 142829 SOS 80088 HAS SOPS 80088 HAS SOUS 24524 HAS SOUPS 24524 WITH SCORE 24604.088
AT ITER 7714 NEW BEST:: SOT 142803 SOS 80036 HAS SOPS 80036 HAS SOUS 24472 HAS SOUPS 24472 WITH SCORE 24552.036
AT ITER 7720 NEW BEST:: SOT 142794 SOS 80027 HAS SOPS 80027 HAS SOUS 24458 HAS SOUPS 24458 WITH SCORE 24538.027
AT ITER 7769 NEW BEST:: SOT 142761 SOS 79994 HAS SOPS 79994 HAS SOUS 24425 HAS SOUPS 24425 WITH SCORE 24504.994
AT ITER 7819 NEW BEST:: SOT 142781 SOS 80045 HAS SOPS 80045 HAS SOUS 24418 HAS SOUPS 24418 WITH SCORE 24498.045
AT ITER 7847 NEW BEST:: SOT 142781 SOS 79966 HAS SOPS 79966 HAS SOUS 24418 HAS SOUPS 24418 WITH SCORE 24497.966
AT ITER 7850 NEW BEST:: SOT 142765 SOS 79950 HAS SOPS 79950 HAS SOUS 24386 HAS SOUPS 24386 WITH SCORE 24465.95
AT ITER 7883 NEW BEST:: SOT 142762 SOS 79938 HAS SOPS 79938 HAS SOUS 24380 HAS SOUPS 24380 WITH SCORE 24459.938
AT ITER 7934 NEW BEST:: SOT 142762 SOS 79924 HAS SOPS 79924 HAS SOUS 24380 HAS SOUPS 24380 WITH SCORE 24459.924
AT ITER 7996 NEW BEST:: SOT 142762 SOS 80008 HAS SOPS 80008 HAS SOUS 24373 HAS SOUPS 24373 WITH SCORE 24453.008
AT ITER 8021 NEW BEST:: SOT 142762 SOS 79961 HAS SOPS 79961 HAS SOUS 24373 HAS SOUPS 24373 WITH SCORE 24452.961
AT ITER 8054 NEW BEST:: SOT 142780 SOS 79986 HAS SOPS 79986 HAS SOUS 24357 HAS SOUPS 24357 WITH SCORE 24436.986
AT ITER 8088 NEW BEST:: SOT 142778 SOS 79984 HAS SOPS 79984 HAS SOUS 24355 HAS SOUPS 24355 WITH SCORE 24434.984
AT ITER 8157 NEW BEST:: SOT 142783 SOS 79989 HAS SOPS 79989 HAS SOUS 24353 HAS SOUPS 24353 WITH SCORE 24432.989
AT ITER 8187 NEW BEST:: SOT 142781 SOS 79987 HAS SOPS 79987 HAS SOUS 24351 HAS SOUPS 24351 WITH SCORE 24430.987
AT ITER 8205 NEW BEST:: SOT 142776 SOS 79923 HAS SOPS 79923 HAS SOUS 24341 HAS SOUPS 24341 WITH SCORE 24420.923
AT ITER 8224 NEW BEST:: SOT 142772 SOS 79916 HAS SOPS 79916 HAS SOUS 24334 HAS SOUPS 24334 WITH SCORE 24413.916
AT ITER 8232 NEW BEST:: SOT 142772 SOS 80476 HAS SOPS 80476 HAS SOUS 24324 HAS SOUPS 24324 WITH SCORE 24404.476
AT ITER 8277 NEW BEST:: SOT 142762 SOS 80466 HAS SOPS 80466 HAS SOUS 24309 HAS SOUPS 24309 WITH SCORE 24389.466
AT ITER 8319 NEW BEST:: SOT 142747 SOS 80451 HAS SOPS 80451 HAS SOUS 24294 HAS SOUPS 24294 WITH SCORE 24374.451
AT ITER 8324 NEW BEST:: SOT 142744 SOS 80445 HAS SOPS 80445 HAS SOUS 24292 HAS SOUPS 24292 WITH SCORE 24372.445
AT ITER 8360 NEW BEST:: SOT 142592 SOS 80391 HAS SOPS 80391 HAS SOUS 24209 HAS SOUPS 24209 WITH SCORE 24289.391
AT ITER 8411 NEW BEST:: SOT 142600 SOS 80399 HAS SOPS 80399 HAS SOUS 24163 HAS SOUPS 24163 WITH SCORE 24243.399
AT ITER 8413 NEW BEST:: SOT 142609 SOS 80408 HAS SOPS 80408 HAS SOUS 24152 HAS SOUPS 24152 WITH SCORE 24232.408
AT ITER 8414 NEW BEST:: SOT 142599 SOS 80398 HAS SOPS 80398 HAS SOUS 24131 HAS SOUPS 24131 WITH SCORE 24211.398
AT ITER 8442 NEW BEST:: SOT 142603 SOS 80390 HAS SOPS 80390 HAS SOUS 24129 HAS SOUPS 24129 WITH SCORE 24209.39
AT ITER 8468 NEW BEST:: SOT 142603 SOS 80340 HAS SOPS 80340 HAS SOUS 24079 HAS SOUPS 24079 WITH SCORE 24159.34
AT ITER 8479 NEW BEST:: SOT 142608 SOS 80345 HAS SOPS 80345 HAS SOUS 24047 HAS SOUPS 24047 WITH SCORE 24127.345
AT ITER 8484 NEW BEST:: SOT 142608 SOS 80327 HAS SOPS 80327 HAS SOUS 24029 HAS SOUPS 24029 WITH SCORE 24109.327
AT ITER 8510 NEW BEST:: SOT 142593 SOS 80312 HAS SOPS 80312 HAS SOUS 23965 HAS SOUPS 23965 WITH SCORE 24045.312
AT ITER 8584 NEW BEST:: SOT 142588 SOS 80314 HAS SOPS 80314 HAS SOUS 23957 HAS SOUPS 23957 WITH SCORE 24037.314
AT ITER 8650 NEW BEST:: SOT 142572 SOS 80298 HAS SOPS 80298 HAS SOUS 23937 HAS SOUPS 23937 WITH SCORE 24017.298
AT ITER 8660 NEW BEST:: SOT 142577 SOS 80314 HAS SOPS 80314 HAS SOUS 23935 HAS SOUPS 23935 WITH SCORE 24015.314
AT ITER 8662 NEW BEST:: SOT 142567 SOS 80304 HAS SOPS 80304 HAS SOUS 23915 HAS SOUPS 23915 WITH SCORE 23995.304
AT ITER 8679 NEW BEST:: SOT 142564 SOS 80311 HAS SOPS 80311 HAS SOUS 23889 HAS SOUPS 23889 WITH SCORE 23969.311
AT ITER 8724 NEW BEST:: SOT 142636 SOS 80299 HAS SOPS 80299 HAS SOUS 23877 HAS SOUPS 23877 WITH SCORE 23957.299
AT ITER 8768 NEW BEST:: SOT 142614 SOS 80268 HAS SOPS 80268 HAS SOUS 23850 HAS SOUPS 23850 WITH SCORE 23930.268
AT ITER 8845 NEW BEST:: SOT 142606 SOS 80252 HAS SOPS 80252 HAS SOUS 23844 HAS SOUPS 23844 WITH SCORE 23924.252
AT ITER 8850 NEW BEST:: SOT 142571 SOS 80217 HAS SOPS 80217 HAS SOUS 23815 HAS SOUPS 23815 WITH SCORE 23895.217
AT ITER 8866 NEW BEST:: SOT 142571 SOS 80228 HAS SOPS 80228 HAS SOUS 23813 HAS SOUPS 23813 WITH SCORE 23893.228
AT ITER 8889 NEW BEST:: SOT 142572 SOS 80229 HAS SOPS 80229 HAS SOUS 23807 HAS SOUPS 23807 WITH SCORE 23887.229
AT ITER 8911 NEW BEST:: SOT 142496 SOS 80120 HAS SOPS 80120 HAS SOUS 23698 HAS SOUPS 23698 WITH SCORE 23778.12
AT ITER 8995 NEW BEST:: SOT 142484 SOS 80108 HAS SOPS 80108 HAS SOUS 23689 HAS SOUPS 23689 WITH SCORE 23769.108
AT ITER 9019 NEW BEST:: SOT 142455 SOS 80050 HAS SOPS 80050 HAS SOUS 23689 HAS SOUPS 23689 WITH SCORE 23769.05
AT ITER 9073 NEW BEST:: SOT 142514 SOS 80043 HAS SOPS 80043 HAS SOUS 23680 HAS SOUPS 23680 WITH SCORE 23760.043
AT ITER 9093 NEW BEST:: SOT 142513 SOS 80043 HAS SOPS 80043 HAS SOUS 23677 HAS SOUPS 23677 WITH SCORE 23757.043
AT ITER 9169 NEW BEST:: SOT 142513 SOS 80039 HAS SOPS 80039 HAS SOUS 23673 HAS SOUPS 23673 WITH SCORE 23753.039
AT ITER 9238 NEW BEST:: SOT 142513 SOS 79875 HAS SOPS 79875 HAS SOUS 23642 HAS SOUPS 23642 WITH SCORE 23721.875
AT ITER 9261 NEW BEST:: SOT 142510 SOS 79846 HAS SOPS 79846 HAS SOUS 23633 HAS SOUPS 23633 WITH SCORE 23712.846
AT ITER 9307 NEW BEST:: SOT 142510 SOS 79782 HAS SOPS 79782 HAS SOUS 23625 HAS SOUPS 23625 WITH SCORE 23704.782
AT ITER 9317 NEW BEST:: SOT 142510 SOS 79782 HAS SOPS 79782 HAS SOUS 23622 HAS SOUPS 23622 WITH SCORE 23701.782
AT ITER 9320 NEW BEST:: SOT 142490 SOS 79741 HAS SOPS 79741 HAS SOUS 23581 HAS SOUPS 23581 WITH SCORE 23660.741
AT ITER 9323 NEW BEST:: SOT 142490 SOS 79738 HAS SOPS 79738 HAS SOUS 23578 HAS SOUPS 23578 WITH SCORE 23657.738
AT ITER 9365 NEW BEST:: SOT 142482 SOS 79731 HAS SOPS 79731 HAS SOUS 23569 HAS SOUPS 23569 WITH SCORE 23648.731
AT ITER 9366 NEW BEST:: SOT 142420 SOS 79637 HAS SOPS 79637 HAS SOUS 23533 HAS SOUPS 23533 WITH SCORE 23612.637
AT ITER 9490 NEW BEST:: SOT 142390 SOS 79607 HAS SOPS 79607 HAS SOUS 23503 HAS SOUPS 23503 WITH SCORE 23582.607
AT ITER 9495 NEW BEST:: SOT 142390 SOS 79629 HAS SOPS 79629 HAS SOUS 23502 HAS SOUPS 23502 WITH SCORE 23581.629
AT ITER 9554 NEW BEST:: SOT 142365 SOS 79586 HAS SOPS 79586 HAS SOUS 23468 HAS SOUPS 23468 WITH SCORE 23547.586
AT ITER 9559 NEW BEST:: SOT 142365 SOS 79531 HAS SOPS 79531 HAS SOUS 23449 HAS SOUPS 23449 WITH SCORE 23528.531
AT ITER 9579 NEW BEST:: SOT 142370 SOS 79527 HAS SOPS 79527 HAS SOUS 23447 HAS SOUPS 23447 WITH SCORE 23526.527
AT ITER 9585 NEW BEST:: SOT 142371 SOS 79528 HAS SOPS 79528 HAS SOUS 23446 HAS SOUPS 23446 WITH SCORE 23525.528
AT ITER 9607 NEW BEST:: SOT 142369 SOS 79468 HAS SOPS 79468 HAS SOUS 23414 HAS SOUPS 23414 WITH SCORE 23493.468
AT ITER 9614 NEW BEST:: SOT 142364 SOS 79463 HAS SOPS 79463 HAS SOUS 23411 HAS SOUPS 23411 WITH SCORE 23490.463
AT ITER 9618 NEW BEST:: SOT 142348 SOS 79465 HAS SOPS 79465 HAS SOUS 23397 HAS SOUPS 23397 WITH SCORE 23476.465
AT ITER 9624 NEW BEST:: SOT 142335 SOS 79465 HAS SOPS 79465 HAS SOUS 23384 HAS SOUPS 23384 WITH SCORE 23463.465
AT ITER 9676 NEW BEST:: SOT 142195 SOS 79325 HAS SOPS 79325 HAS SOUS 23104 HAS SOUPS 23104 WITH SCORE 23183.325
AT ITER 9677 NEW BEST:: SOT 142194 SOS 79349 HAS SOPS 79349 HAS SOUS 23102 HAS SOUPS 23102 WITH SCORE 23181.349
AT ITER 9711 NEW BEST:: SOT 142191 SOS 79325 HAS SOPS 79325 HAS SOUS 23096 HAS SOUPS 23096 WITH SCORE 23175.325
AT ITER 9819 NEW BEST:: SOT 142168 SOS 79326 HAS SOPS 79326 HAS SOUS 23074 HAS SOUPS 23074 WITH SCORE 23153.326
AT ITER 9846 NEW BEST:: SOT 142168 SOS 79323 HAS SOPS 79323 HAS SOUS 23074 HAS SOUPS 23074 WITH SCORE 23153.323
AT ITER 9913 NEW BEST:: SOT 142167 SOS 79304 HAS SOPS 79304 HAS SOUS 23055 HAS SOUPS 23055 WITH SCORE 23134.304
AT ITER 9936 NEW BEST:: SOT 142167 SOS 79262 HAS SOPS 79262 HAS SOUS 23055 HAS SOUPS 23055 WITH SCORE 23134.262
AT ITER 9967 NEW BEST:: SOT 142161 SOS 79154 HAS SOPS 79154 HAS SOUS 23043 HAS SOUPS 23043 WITH SCORE 23122.154
AT ITER 9986 NEW BEST:: SOT 142149 SOS 79141 HAS SOPS 79141 HAS SOUS 23042 HAS SOUPS 23042 WITH SCORE 23121.141
AT ITER 9996 NEW BEST:: SOT 142149 SOS 79141 HAS SOPS 79141 HAS SOUS 23010 HAS SOUPS 23010 WITH SCORE 23089.141
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 7245676 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16152540 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

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="ASLink-PT-01a"
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"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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-5348"
echo " Executing tool smart"
echo " Input is ASLink-PT-01a, 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-oct2-167813590300016"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-01a.tgz
mv ASLink-PT-01a 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 ;