Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961250500456.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
........................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is NoC3x3-PT-8B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250500456
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.2M
-rw-r--r-- 1 mcc users 4.1K Apr 8 15:11 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 8 15:11 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 7 18:42 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 7 18:42 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.1K Apr 14 12:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 14 12:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Apr 6 20:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 6 20:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 6 04:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 6 04:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 6 20:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 6 20:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 3.0M 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 1589644466487

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

Filename model.pnml
Petri model created: 9140 places, 14577 transitions, 30726 arcs.
AT ITER 0 NEW BEST:: SOT 69147713 SOS 8174620 HAS SOPS 8174620 HAS SOUS 5957584 HAS SOUPS 5957584 WITH SCORE 5965758.62
AT ITER 10 NEW BEST:: SOT 69145547 SOS 8172520 HAS SOPS 8172520 HAS SOUS 5955484 HAS SOUPS 5955484 WITH SCORE 5963656.52
AT ITER 34 NEW BEST:: SOT 69145126 SOS 8171903 HAS SOPS 8171903 HAS SOUS 5954867 HAS SOUPS 5954867 WITH SCORE 5963038.903
AT ITER 42 NEW BEST:: SOT 69144777 SOS 8170856 HAS SOPS 8170856 HAS SOUS 5954518 HAS SOUPS 5954518 WITH SCORE 5962688.856
AT ITER 85 NEW BEST:: SOT 69144751 SOS 8171039 HAS SOPS 8171039 HAS SOUS 5954466 HAS SOUPS 5954466 WITH SCORE 5962637.039
AT ITER 94 NEW BEST:: SOT 69144445 SOS 8170427 HAS SOPS 8170427 HAS SOUS 5954159 HAS SOUPS 5954159 WITH SCORE 5962329.427
AT ITER 96 NEW BEST:: SOT 69143096 SOS 8168533 HAS SOPS 8168533 HAS SOUS 5952265 HAS SOUPS 5952265 WITH SCORE 5960433.533
AT ITER 97 NEW BEST:: SOT 69142821 SOS 8167983 HAS SOPS 8167983 HAS SOUS 5951989 HAS SOUPS 5951989 WITH SCORE 5960156.983
AT ITER 111 NEW BEST:: SOT 69141111 SOS 8164563 HAS SOPS 8164563 HAS SOUS 5950479 HAS SOUPS 5950479 WITH SCORE 5958643.563
AT ITER 155 NEW BEST:: SOT 69141111 SOS 8163521 HAS SOPS 8163521 HAS SOUS 5950479 HAS SOUPS 5950479 WITH SCORE 5958642.521
AT ITER 171 NEW BEST:: SOT 69140735 SOS 8163155 HAS SOPS 8163155 HAS SOUS 5950113 HAS SOUPS 5950113 WITH SCORE 5958276.155
AT ITER 208 NEW BEST:: SOT 69140418 SOS 8164063 HAS SOPS 8164063 HAS SOUS 5949940 HAS SOUPS 5949940 WITH SCORE 5958104.063
AT ITER 223 NEW BEST:: SOT 69140014 SOS 8162273 HAS SOPS 8162273 HAS SOUS 5949535 HAS SOUPS 5949535 WITH SCORE 5957697.273
AT ITER 224 NEW BEST:: SOT 69140014 SOS 8162273 HAS SOPS 8162273 HAS SOUS 5949534 HAS SOUPS 5949534 WITH SCORE 5957696.273
AT ITER 234 NEW BEST:: SOT 69138685 SOS 8167590 HAS SOPS 8167590 HAS SOUS 5949243 HAS SOUPS 5949243 WITH SCORE 5957410.59
AT ITER 270 NEW BEST:: SOT 69136720 SOS 8164758 HAS SOPS 8164758 HAS SOUS 5946411 HAS SOUPS 5946411 WITH SCORE 5954575.758
AT ITER 277 NEW BEST:: SOT 69136735 SOS 8165448 HAS SOPS 8165448 HAS SOUS 5946405 HAS SOUPS 5946405 WITH SCORE 5954570.448
AT ITER 280 NEW BEST:: SOT 69136070 SOS 8164118 HAS SOPS 8164118 HAS SOUS 5945740 HAS SOUPS 5945740 WITH SCORE 5953904.118
AT ITER 309 NEW BEST:: SOT 69136070 SOS 8164069 HAS SOPS 8164069 HAS SOUS 5945740 HAS SOUPS 5945740 WITH SCORE 5953904.069
AT ITER 331 NEW BEST:: SOT 69135919 SOS 8163767 HAS SOPS 8163767 HAS SOUS 5945589 HAS SOUPS 5945589 WITH SCORE 5953752.767
AT ITER 332 NEW BEST:: SOT 69134178 SOS 8160285 HAS SOPS 8160285 HAS SOUS 5944287 HAS SOUPS 5944287 WITH SCORE 5952447.285
AT ITER 346 NEW BEST:: SOT 69134178 SOS 8160039 HAS SOPS 8160039 HAS SOUS 5944287 HAS SOUPS 5944287 WITH SCORE 5952447.039
AT ITER 366 NEW BEST:: SOT 69134178 SOS 8160039 HAS SOPS 8160039 HAS SOUS 5944283 HAS SOUPS 5944283 WITH SCORE 5952443.039
AT ITER 418 NEW BEST:: SOT 69134177 SOS 8158979 HAS SOPS 8158979 HAS SOUS 5943929 HAS SOUPS 5943929 WITH SCORE 5952087.979
AT ITER 572 NEW BEST:: SOT 69133430 SOS 8158604 HAS SOPS 8158604 HAS SOUS 5943294 HAS SOUPS 5943294 WITH SCORE 5951452.604
AT ITER 583 NEW BEST:: SOT 69133388 SOS 8158910 HAS SOPS 8158910 HAS SOUS 5943185 HAS SOUPS 5943185 WITH SCORE 5951343.91
AT ITER 584 NEW BEST:: SOT 69132220 SOS 8158534 HAS SOPS 8158534 HAS SOUS 5942025 HAS SOUPS 5942025 WITH SCORE 5950183.534
AT ITER 599 NEW BEST:: SOT 69132038 SOS 8157624 HAS SOPS 8157624 HAS SOUS 5941843 HAS SOUPS 5941843 WITH SCORE 5950000.624
AT ITER 620 NEW BEST:: SOT 69131531 SOS 8156610 HAS SOPS 8156610 HAS SOUS 5941335 HAS SOUPS 5941335 WITH SCORE 5949491.61
AT ITER 660 NEW BEST:: SOT 69131531 SOS 8156610 HAS SOPS 8156610 HAS SOUS 5941333 HAS SOUPS 5941333 WITH SCORE 5949489.61
AT ITER 671 NEW BEST:: SOT 69131625 SOS 8150448 HAS SOPS 8150448 HAS SOUS 5940979 HAS SOUPS 5940979 WITH SCORE 5949129.448
AT ITER 685 NEW BEST:: SOT 69131625 SOS 8150448 HAS SOPS 8150448 HAS SOUS 5940978 HAS SOUPS 5940978 WITH SCORE 5949128.448
AT ITER 736 NEW BEST:: SOT 69124849 SOS 8149502 HAS SOPS 8149502 HAS SOUS 5935989 HAS SOUPS 5935989 WITH SCORE 5944138.502
AT ITER 764 NEW BEST:: SOT 69124585 SOS 8149436 HAS SOPS 8149436 HAS SOUS 5935866 HAS SOUPS 5935866 WITH SCORE 5944015.436
AT ITER 818 NEW BEST:: SOT 69124221 SOS 8148708 HAS SOPS 8148708 HAS SOUS 5935502 HAS SOUPS 5935502 WITH SCORE 5943650.708
AT ITER 831 NEW BEST:: SOT 69124135 SOS 8148536 HAS SOPS 8148536 HAS SOUS 5935241 HAS SOUPS 5935241 WITH SCORE 5943389.536
AT ITER 833 NEW BEST:: SOT 69124135 SOS 8148536 HAS SOPS 8148536 HAS SOUS 5935239 HAS SOUPS 5935239 WITH SCORE 5943387.536
AT ITER 857 NEW BEST:: SOT 69103104 SOS 8150578 HAS SOPS 8150578 HAS SOUS 5914209 HAS SOUPS 5914209 WITH SCORE 5922359.578
AT ITER 869 NEW BEST:: SOT 69102837 SOS 8150044 HAS SOPS 8150044 HAS SOUS 5913941 HAS SOUPS 5913941 WITH SCORE 5922091.044
AT ITER 930 NEW BEST:: SOT 69100264 SOS 8147046 HAS SOPS 8147046 HAS SOUS 5910760 HAS SOUPS 5910760 WITH SCORE 5918907.046
AT ITER 968 NEW BEST:: SOT 69100188 SOS 8146894 HAS SOPS 8146894 HAS SOUS 5910646 HAS SOUPS 5910646 WITH SCORE 5918792.894
AT ITER 991 NEW BEST:: SOT 69100188 SOS 8145625 HAS SOPS 8145625 HAS SOUS 5910646 HAS SOUPS 5910646 WITH SCORE 5918791.625
AT ITER 1035 NEW BEST:: SOT 69099899 SOS 8145427 HAS SOPS 8145427 HAS SOUS 5910372 HAS SOUPS 5910372 WITH SCORE 5918517.427
AT ITER 1043 NEW BEST:: SOT 69099791 SOS 8145103 HAS SOPS 8145103 HAS SOUS 5910156 HAS SOUPS 5910156 WITH SCORE 5918301.103
AT ITER 1047 NEW BEST:: SOT 69035545 SOS 8476003 HAS SOPS 8476003 HAS SOUS 5851545 HAS SOUPS 5851545 WITH SCORE 5860021.003
AT ITER 1053 NEW BEST:: SOT 69034772 SOS 8475285 HAS SOPS 8475285 HAS SOUS 5850827 HAS SOUPS 5850827 WITH SCORE 5859302.285
AT ITER 1063 NEW BEST:: SOT 69034002 SOS 8474459 HAS SOPS 8474459 HAS SOUS 5849667 HAS SOUPS 5849667 WITH SCORE 5858141.459
AT ITER 1086 NEW BEST:: SOT 69032905 SOS 8473127 HAS SOPS 8473127 HAS SOUS 5847795 HAS SOUPS 5847795 WITH SCORE 5856268.127
AT ITER 1090 NEW BEST:: SOT 69029714 SOS 8473669 HAS SOPS 8473669 HAS SOUS 5846197 HAS SOUPS 5846197 WITH SCORE 5854670.669
AT ITER 1091 NEW BEST:: SOT 69020305 SOS 8715126 HAS SOPS 8715126 HAS SOUS 5838328 HAS SOUPS 5838328 WITH SCORE 5847043.126
AT ITER 1106 NEW BEST:: SOT 69020305 SOS 8715126 HAS SOPS 8715126 HAS SOUS 5838326 HAS SOUPS 5838326 WITH SCORE 5847041.126
AT ITER 1149 NEW BEST:: SOT 69019798 SOS 8714734 HAS SOPS 8714734 HAS SOUS 5837934 HAS SOUPS 5837934 WITH SCORE 5846648.734
AT ITER 1201 NEW BEST:: SOT 69019798 SOS 8714452 HAS SOPS 8714452 HAS SOUS 5837934 HAS SOUPS 5837934 WITH SCORE 5846648.452
AT ITER 1217 NEW BEST:: SOT 69019798 SOS 8714452 HAS SOPS 8714452 HAS SOUS 5837931 HAS SOUPS 5837931 WITH SCORE 5846645.452
AT ITER 1229 NEW BEST:: SOT 69017963 SOS 8712192 HAS SOPS 8712192 HAS SOUS 5835626 HAS SOUPS 5835626 WITH SCORE 5844338.192
AT ITER 1240 NEW BEST:: SOT 69014759 SOS 8709286 HAS SOPS 8709286 HAS SOUS 5832533 HAS SOUPS 5832533 WITH SCORE 5841242.286
AT ITER 1289 NEW BEST:: SOT 69014685 SOS 8709138 HAS SOPS 8709138 HAS SOUS 5832459 HAS SOUPS 5832459 WITH SCORE 5841168.138
AT ITER 1321 NEW BEST:: SOT 69014030 SOS 8708483 HAS SOPS 8708483 HAS SOUS 5831352 HAS SOUPS 5831352 WITH SCORE 5840060.483
AT ITER 1323 NEW BEST:: SOT 69013657 SOS 8708087 HAS SOPS 8708087 HAS SOUS 5830804 HAS SOUPS 5830804 WITH SCORE 5839512.087
AT ITER 1347 NEW BEST:: SOT 69013303 SOS 8707379 HAS SOPS 8707379 HAS SOUS 5830771 HAS SOUPS 5830771 WITH SCORE 5839478.379
AT ITER 1349 NEW BEST:: SOT 69012899 SOS 8706571 HAS SOPS 8706571 HAS SOUS 5830367 HAS SOUPS 5830367 WITH SCORE 5839073.571
AT ITER 1373 NEW BEST:: SOT 69012229 SOS 8705231 HAS SOPS 8705231 HAS SOUS 5829696 HAS SOUPS 5829696 WITH SCORE 5838401.231
AT ITER 1374 NEW BEST:: SOT 69011881 SOS 8705052 HAS SOPS 8705052 HAS SOUS 5829583 HAS SOUPS 5829583 WITH SCORE 5838288.052
AT ITER 1379 NEW BEST:: SOT 69010874 SOS 8706521 HAS SOPS 8706521 HAS SOUS 5828330 HAS SOUPS 5828330 WITH SCORE 5837036.521
AT ITER 1383 NEW BEST:: SOT 69008425 SOS 8703309 HAS SOPS 8703309 HAS SOUS 5825118 HAS SOUPS 5825118 WITH SCORE 5833821.309
AT ITER 1390 NEW BEST:: SOT 69008331 SOS 8703121 HAS SOPS 8703121 HAS SOUS 5824878 HAS SOUPS 5824878 WITH SCORE 5833581.121
AT ITER 1395 NEW BEST:: SOT 69008183 SOS 8703153 HAS SOPS 8703153 HAS SOUS 5824855 HAS SOUPS 5824855 WITH SCORE 5833558.153
AT ITER 1397 NEW BEST:: SOT 69007582 SOS 8702641 HAS SOPS 8702641 HAS SOUS 5824342 HAS SOUPS 5824342 WITH SCORE 5833044.641
AT ITER 1408 NEW BEST:: SOT 69007478 SOS 8702433 HAS SOPS 8702433 HAS SOUS 5824238 HAS SOUPS 5824238 WITH SCORE 5832940.433
AT ITER 1444 NEW BEST:: SOT 69007345 SOS 8702167 HAS SOPS 8702167 HAS SOUS 5824105 HAS SOUPS 5824105 WITH SCORE 5832807.167
AT ITER 1462 NEW BEST:: SOT 69006901 SOS 8701279 HAS SOPS 8701279 HAS SOUS 5823137 HAS SOUPS 5823137 WITH SCORE 5831838.279
AT ITER 1525 NEW BEST:: SOT 69006599 SOS 8700170 HAS SOPS 8700170 HAS SOUS 5823038 HAS SOUPS 5823038 WITH SCORE 5831738.17
AT ITER 1533 NEW BEST:: SOT 69006599 SOS 8698639 HAS SOPS 8698639 HAS SOUS 5822744 HAS SOUPS 5822744 WITH SCORE 5831442.639
AT ITER 1547 NEW BEST:: SOT 69006574 SOS 8698589 HAS SOPS 8698589 HAS SOUS 5822585 HAS SOUPS 5822585 WITH SCORE 5831283.589
AT ITER 1559 NEW BEST:: SOT 69006340 SOS 8697578 HAS SOPS 8697578 HAS SOUS 5822504 HAS SOUPS 5822504 WITH SCORE 5831201.578
AT ITER 1566 NEW BEST:: SOT 69003170 SOS 8698078 HAS SOPS 8698078 HAS SOUS 5820559 HAS SOUPS 5820559 WITH SCORE 5829257.078
AT ITER 1576 NEW BEST:: SOT 69002002 SOS 8700642 HAS SOPS 8700642 HAS SOUS 5819318 HAS SOUPS 5819318 WITH SCORE 5828018.642
AT ITER 1577 NEW BEST:: SOT 69002002 SOS 8700233 HAS SOPS 8700233 HAS SOUS 5819135 HAS SOUPS 5819135 WITH SCORE 5827835.233
AT ITER 1620 NEW BEST:: SOT 69001512 SOS 8699860 HAS SOPS 8699860 HAS SOUS 5818647 HAS SOUPS 5818647 WITH SCORE 5827346.86
AT ITER 1653 NEW BEST:: SOT 69001176 SOS 8699188 HAS SOPS 8699188 HAS SOUS 5818311 HAS SOUPS 5818311 WITH SCORE 5827010.188
AT ITER 1667 NEW BEST:: SOT 68996449 SOS 8694466 HAS SOPS 8694466 HAS SOUS 5813584 HAS SOUPS 5813584 WITH SCORE 5822278.466
AT ITER 1669 NEW BEST:: SOT 68996025 SOS 8693618 HAS SOPS 8693618 HAS SOUS 5813584 HAS SOUPS 5813584 WITH SCORE 5822277.618
AT ITER 1716 NEW BEST:: SOT 68996025 SOS 8693508 HAS SOPS 8693508 HAS SOUS 5813584 HAS SOUPS 5813584 WITH SCORE 5822277.508
AT ITER 1724 NEW BEST:: SOT 68995718 SOS 8692234 HAS SOPS 8692234 HAS SOUS 5813427 HAS SOUPS 5813427 WITH SCORE 5822119.234
AT ITER 1743 NEW BEST:: SOT 68995498 SOS 8691280 HAS SOPS 8691280 HAS SOUS 5813206 HAS SOUPS 5813206 WITH SCORE 5821897.28
AT ITER 1767 NEW BEST:: SOT 68994485 SOS 8691544 HAS SOPS 8691544 HAS SOUS 5812645 HAS SOUPS 5812645 WITH SCORE 5821336.544
AT ITER 1790 NEW BEST:: SOT 68994056 SOS 8690686 HAS SOPS 8690686 HAS SOUS 5812645 HAS SOUPS 5812645 WITH SCORE 5821335.686
AT ITER 1829 NEW BEST:: SOT 68994583 SOS 8691740 HAS SOPS 8691740 HAS SOUS 5812451 HAS SOUPS 5812451 WITH SCORE 5821142.74
AT ITER 1845 NEW BEST:: SOT 68994268 SOS 8691110 HAS SOPS 8691110 HAS SOUS 5812135 HAS SOUPS 5812135 WITH SCORE 5820826.11
AT ITER 1856 NEW BEST:: SOT 68994172 SOS 8690918 HAS SOPS 8690918 HAS SOUS 5811456 HAS SOUPS 5811456 WITH SCORE 5820146.918
AT ITER 1885 NEW BEST:: SOT 68994172 SOS 8689463 HAS SOPS 8689463 HAS SOUS 5811456 HAS SOUPS 5811456 WITH SCORE 5820145.463
AT ITER 1926 NEW BEST:: SOT 68993259 SOS 8688834 HAS SOPS 8688834 HAS SOUS 5809906 HAS SOUPS 5809906 WITH SCORE 5818594.834
AT ITER 1931 NEW BEST:: SOT 68993259 SOS 8688834 HAS SOPS 8688834 HAS SOUS 5809458 HAS SOUPS 5809458 WITH SCORE 5818146.834
AT ITER 1938 NEW BEST:: SOT 68992379 SOS 8687074 HAS SOPS 8687074 HAS SOUS 5809453 HAS SOUPS 5809453 WITH SCORE 5818140.074
AT ITER 1950 NEW BEST:: SOT 68991389 SOS 8685094 HAS SOPS 8685094 HAS SOUS 5809452 HAS SOUPS 5809452 WITH SCORE 5818137.094
AT ITER 1982 NEW BEST:: SOT 68991360 SOS 8685036 HAS SOPS 8685036 HAS SOUS 5809422 HAS SOUPS 5809422 WITH SCORE 5818107.036
AT ITER 1998 NEW BEST:: SOT 68989573 SOS 8683378 HAS SOPS 8683378 HAS SOUS 5807679 HAS SOUPS 5807679 WITH SCORE 5816362.378
AT ITER 2029 NEW BEST:: SOT 68988926 SOS 8682994 HAS SOPS 8682994 HAS SOUS 5807219 HAS SOUPS 5807219 WITH SCORE 5815901.994
AT ITER 2057 NEW BEST:: SOT 68988507 SOS 8682156 HAS SOPS 8682156 HAS SOUS 5806800 HAS SOUPS 5806800 WITH SCORE 5815482.156
AT ITER 2067 NEW BEST:: SOT 68988323 SOS 8681604 HAS SOPS 8681604 HAS SOUS 5806616 HAS SOUPS 5806616 WITH SCORE 5815297.604
AT ITER 2077 NEW BEST:: SOT 68988323 SOS 8681022 HAS SOPS 8681022 HAS SOUS 5806616 HAS SOUPS 5806616 WITH SCORE 5815297.022
AT ITER 2093 NEW BEST:: SOT 68988231 SOS 8680838 HAS SOPS 8680838 HAS SOUS 5806524 HAS SOUPS 5806524 WITH SCORE 5815204.838
AT ITER 2099 NEW BEST:: SOT 68987557 SOS 8679490 HAS SOPS 8679490 HAS SOUS 5805176 HAS SOUPS 5805176 WITH SCORE 5813855.49
AT ITER 2112 NEW BEST:: SOT 68986144 SOS 8678882 HAS SOPS 8678882 HAS SOUS 5804001 HAS SOUPS 5804001 WITH SCORE 5812679.882
AT ITER 2128 NEW BEST:: SOT 68986144 SOS 8678882 HAS SOPS 8678882 HAS SOUS 5803778 HAS SOUPS 5803778 WITH SCORE 5812456.882
AT ITER 2132 NEW BEST:: SOT 68983992 SOS 8676172 HAS SOPS 8676172 HAS SOUS 5800910 HAS SOUPS 5800910 WITH SCORE 5809586.172
AT ITER 2155 NEW BEST:: SOT 68983992 SOS 8676016 HAS SOPS 8676016 HAS SOUS 5800910 HAS SOUPS 5800910 WITH SCORE 5809586.016
AT ITER 2161 NEW BEST:: SOT 68983430 SOS 8675489 HAS SOPS 8675489 HAS SOUS 5800383 HAS SOUPS 5800383 WITH SCORE 5809058.489
AT ITER 2168 NEW BEST:: SOT 68983430 SOS 8675488 HAS SOPS 8675488 HAS SOUS 5800382 HAS SOUPS 5800382 WITH SCORE 5809057.488
AT ITER 2171 NEW BEST:: SOT 68983051 SOS 8675100 HAS SOPS 8675100 HAS SOUS 5800362 HAS SOUPS 5800362 WITH SCORE 5809037.1
AT ITER 2182 NEW BEST:: SOT 68983051 SOS 8674777 HAS SOPS 8674777 HAS SOUS 5800361 HAS SOUPS 5800361 WITH SCORE 5809035.777
AT ITER 2205 NEW BEST:: SOT 68982839 SOS 8674837 HAS SOPS 8674837 HAS SOUS 5800037 HAS SOUPS 5800037 WITH SCORE 5808711.837
AT ITER 2220 NEW BEST:: SOT 68982236 SOS 8674234 HAS SOPS 8674234 HAS SOUS 5798857 HAS SOUPS 5798857 WITH SCORE 5807531.234
AT ITER 2230 NEW BEST:: SOT 68982236 SOS 8673758 HAS SOPS 8673758 HAS SOUS 5798857 HAS SOUPS 5798857 WITH SCORE 5807530.758
AT ITER 2253 NEW BEST:: SOT 68982236 SOS 8671184 HAS SOPS 8671184 HAS SOUS 5798354 HAS SOUPS 5798354 WITH SCORE 5807025.184
AT ITER 2281 NEW BEST:: SOT 68981838 SOS 8670784 HAS SOPS 8670784 HAS SOUS 5797955 HAS SOUPS 5797955 WITH SCORE 5806625.784
AT ITER 2283 NEW BEST:: SOT 68956924 SOS 8651116 HAS SOPS 8651116 HAS SOUS 5773543 HAS SOUPS 5773543 WITH SCORE 5782194.116
AT ITER 2285 NEW BEST:: SOT 68956493 SOS 8650254 HAS SOPS 8650254 HAS SOUS 5773111 HAS SOUPS 5773111 WITH SCORE 5781761.254
AT ITER 2288 NEW BEST:: SOT 68956493 SOS 8650121 HAS SOPS 8650121 HAS SOUS 5772978 HAS SOUPS 5772978 WITH SCORE 5781628.121
AT ITER 2301 NEW BEST:: SOT 68956493 SOS 8650121 HAS SOPS 8650121 HAS SOUS 5772937 HAS SOUPS 5772937 WITH SCORE 5781587.121
AT ITER 2319 NEW BEST:: SOT 68956471 SOS 8650361 HAS SOPS 8650361 HAS SOUS 5772814 HAS SOUPS 5772814 WITH SCORE 5781464.361
AT ITER 2334 NEW BEST:: SOT 68956226 SOS 8650314 HAS SOPS 8650314 HAS SOUS 5772678 HAS SOUPS 5772678 WITH SCORE 5781328.314
AT ITER 2350 NEW BEST:: SOT 68954998 SOS 8649523 HAS SOPS 8649523 HAS SOUS 5771605 HAS SOUPS 5771605 WITH SCORE 5780254.523
AT ITER 2364 NEW BEST:: SOT 68952958 SOS 8649551 HAS SOPS 8649551 HAS SOUS 5770209 HAS SOUPS 5770209 WITH SCORE 5778858.551
AT ITER 2372 NEW BEST:: SOT 68952984 SOS 8649603 HAS SOPS 8649603 HAS SOUS 5770020 HAS SOUPS 5770020 WITH SCORE 5778669.603
AT ITER 2387 NEW BEST:: SOT 68952984 SOS 8649602 HAS SOPS 8649602 HAS SOUS 5770019 HAS SOUPS 5770019 WITH SCORE 5778668.602
AT ITER 2397 NEW BEST:: SOT 68952907 SOS 8649448 HAS SOPS 8649448 HAS SOUS 5769942 HAS SOUPS 5769942 WITH SCORE 5778591.448
AT ITER 2410 NEW BEST:: SOT 68952653 SOS 8648940 HAS SOPS 8648940 HAS SOUS 5769687 HAS SOUPS 5769687 WITH SCORE 5778335.94
AT ITER 2467 NEW BEST:: SOT 68951953 SOS 8648240 HAS SOPS 8648240 HAS SOUS 5769686 HAS SOUPS 5769686 WITH SCORE 5778334.24
AT ITER 2468 NEW BEST:: SOT 68951291 SOS 8651017 HAS SOPS 8651017 HAS SOUS 5769659 HAS SOUPS 5769659 WITH SCORE 5778310.017
AT ITER 2480 NEW BEST:: SOT 68951291 SOS 8650297 HAS SOPS 8650297 HAS SOUS 5769659 HAS SOUPS 5769659 WITH SCORE 5778309.297
AT ITER 2490 NEW BEST:: SOT 68949230 SOS 8648284 HAS SOPS 8648284 HAS SOUS 5767626 HAS SOUPS 5767626 WITH SCORE 5776274.284
AT ITER 2518 NEW BEST:: SOT 68949230 SOS 8648284 HAS SOPS 8648284 HAS SOUS 5767625 HAS SOUPS 5767625 WITH SCORE 5776273.284
AT ITER 2527 NEW BEST:: SOT 68948057 SOS 8652233 HAS SOPS 8652233 HAS SOUS 5766971 HAS SOUPS 5766971 WITH SCORE 5775623.233
AT ITER 2569 NEW BEST:: SOT 68948057 SOS 8651927 HAS SOPS 8651927 HAS SOUS 5766971 HAS SOUPS 5766971 WITH SCORE 5775622.927
AT ITER 2597 NEW BEST:: SOT 68947935 SOS 8651561 HAS SOPS 8651561 HAS SOUS 5766727 HAS SOUPS 5766727 WITH SCORE 5775378.561
AT ITER 2618 NEW BEST:: SOT 68947935 SOS 8651411 HAS SOPS 8651411 HAS SOUS 5766727 HAS SOUPS 5766727 WITH SCORE 5775378.411
AT ITER 2636 NEW BEST:: SOT 68946037 SOS 8650570 HAS SOPS 8650570 HAS SOUS 5765112 HAS SOUPS 5765112 WITH SCORE 5773762.57
AT ITER 2648 NEW BEST:: SOT 68914815 SOS 8694317 HAS SOPS 8694317 HAS SOUS 5736124 HAS SOUPS 5736124 WITH SCORE 5744818.317
AT ITER 2649 NEW BEST:: SOT 68912206 SOS 8692972 HAS SOPS 8692972 HAS SOUS 5733936 HAS SOUPS 5733936 WITH SCORE 5742628.972
AT ITER 2650 NEW BEST:: SOT 68912020 SOS 8692972 HAS SOPS 8692972 HAS SOUS 5733799 HAS SOUPS 5733799 WITH SCORE 5742491.972
AT ITER 2656 NEW BEST:: SOT 68910839 SOS 8691882 HAS SOPS 8691882 HAS SOUS 5732643 HAS SOUPS 5732643 WITH SCORE 5741334.882
AT ITER 2703 NEW BEST:: SOT 68910839 SOS 8691480 HAS SOPS 8691480 HAS SOUS 5732643 HAS SOUPS 5732643 WITH SCORE 5741334.48
AT ITER 2707 NEW BEST:: SOT 68900432 SOS 9104757 HAS SOPS 9104757 HAS SOUS 5725456 HAS SOUPS 5725456 WITH SCORE 5734560.757
AT ITER 2722 NEW BEST:: SOT 68899852 SOS 9104355 HAS SOPS 9104355 HAS SOUS 5724959 HAS SOUPS 5724959 WITH SCORE 5734063.355
AT ITER 2740 NEW BEST:: SOT 68899479 SOS 9104114 HAS SOPS 9104114 HAS SOUS 5724709 HAS SOUPS 5724709 WITH SCORE 5733813.114
AT ITER 2754 NEW BEST:: SOT 68897984 SOS 9102009 HAS SOPS 9102009 HAS SOUS 5722430 HAS SOUPS 5722430 WITH SCORE 5731532.009
AT ITER 2769 NEW BEST:: SOT 68897805 SOS 9101114 HAS SOPS 9101114 HAS SOUS 5722250 HAS SOUPS 5722250 WITH SCORE 5731351.114
AT ITER 2780 NEW BEST:: SOT 68897823 SOS 9103439 HAS SOPS 9103439 HAS SOUS 5721523 HAS SOUPS 5721523 WITH SCORE 5730626.439
AT ITER 2782 NEW BEST:: SOT 68897822 SOS 9103127 HAS SOPS 9103127 HAS SOUS 5721516 HAS SOUPS 5721516 WITH SCORE 5730619.127
AT ITER 2794 NEW BEST:: SOT 68897379 SOS 9103408 HAS SOPS 9103408 HAS SOUS 5721467 HAS SOUPS 5721467 WITH SCORE 5730570.408
AT ITER 2802 NEW BEST:: SOT 68897379 SOS 9103408 HAS SOPS 9103408 HAS SOUS 5721466 HAS SOUPS 5721466 WITH SCORE 5730569.408
AT ITER 2851 NEW BEST:: SOT 68874957 SOS 9387910 HAS SOPS 9387910 HAS SOUS 5709603 HAS SOUPS 5709603 WITH SCORE 5718990.91
AT ITER 2866 NEW BEST:: SOT 68874652 SOS 9388072 HAS SOPS 9388072 HAS SOUS 5709298 HAS SOUPS 5709298 WITH SCORE 5718686.072
AT ITER 2869 NEW BEST:: SOT 68873188 SOS 9386159 HAS SOPS 9386159 HAS SOUS 5707020 HAS SOUPS 5707020 WITH SCORE 5716406.159
AT ITER 2943 NEW BEST:: SOT 68873188 SOS 9386159 HAS SOPS 9386159 HAS SOUS 5707019 HAS SOUPS 5707019 WITH SCORE 5716405.159
AT ITER 2947 NEW BEST:: SOT 68873079 SOS 9385941 HAS SOPS 9385941 HAS SOUS 5706297 HAS SOUPS 5706297 WITH SCORE 5715682.941
AT ITER 2958 NEW BEST:: SOT 68871701 SOS 9384655 HAS SOPS 9384655 HAS SOUS 5704919 HAS SOUPS 5704919 WITH SCORE 5714303.655
AT ITER 2986 NEW BEST:: SOT 68871701 SOS 9382313 HAS SOPS 9382313 HAS SOUS 5704918 HAS SOUPS 5704918 WITH SCORE 5714300.313
AT ITER 3004 NEW BEST:: SOT 68871000 SOS 9381775 HAS SOPS 9381775 HAS SOUS 5703641 HAS SOUPS 5703641 WITH SCORE 5713022.775
AT ITER 3032 NEW BEST:: SOT 68869829 SOS 9379433 HAS SOPS 9379433 HAS SOUS 5703640 HAS SOUPS 5703640 WITH SCORE 5713019.433
AT ITER 3062 NEW BEST:: SOT 68869743 SOS 9379089 HAS SOPS 9379089 HAS SOUS 5703553 HAS SOUPS 5703553 WITH SCORE 5712932.089
AT ITER 3096 NEW BEST:: SOT 68869137 SOS 9377877 HAS SOPS 9377877 HAS SOUS 5702946 HAS SOUPS 5702946 WITH SCORE 5712323.877
AT ITER 3140 NEW BEST:: SOT 68868879 SOS 9377361 HAS SOPS 9377361 HAS SOUS 5702687 HAS SOUPS 5702687 WITH SCORE 5712064.361
AT ITER 3145 NEW BEST:: SOT 68770230 SOS 9968903 HAS SOPS 9968903 HAS SOUS 5613912 HAS SOUPS 5613912 WITH SCORE 5623880.903
AT ITER 3167 NEW BEST:: SOT 68769653 SOS 9968484 HAS SOPS 9968484 HAS SOUS 5613131 HAS SOUPS 5613131 WITH SCORE 5623099.484
AT ITER 3173 NEW BEST:: SOT 68769336 SOS 9967850 HAS SOPS 9967850 HAS SOUS 5613131 HAS SOUPS 5613131 WITH SCORE 5623098.85
AT ITER 3208 NEW BEST:: SOT 68769336 SOS 9967354 HAS SOPS 9967354 HAS SOUS 5613131 HAS SOUPS 5613131 WITH SCORE 5623098.354
AT ITER 3228 NEW BEST:: SOT 68768382 SOS 9450998 HAS SOPS 9450998 HAS SOUS 5611223 HAS SOUPS 5611223 WITH SCORE 5620673.998
AT ITER 3248 NEW BEST:: SOT 68766398 SOS 9447030 HAS SOPS 9447030 HAS SOUS 5608385 HAS SOUPS 5608385 WITH SCORE 5617832.03
AT ITER 3279 NEW BEST:: SOT 68766199 SOS 9446632 HAS SOPS 9446632 HAS SOUS 5608186 HAS SOUPS 5608186 WITH SCORE 5617632.632
AT ITER 3301 NEW BEST:: SOT 68766199 SOS 9446441 HAS SOPS 9446441 HAS SOUS 5607995 HAS SOUPS 5607995 WITH SCORE 5617441.441
AT ITER 3389 NEW BEST:: SOT 68765326 SOS 9446930 HAS SOPS 9446930 HAS SOUS 5607143 HAS SOUPS 5607143 WITH SCORE 5616589.93
AT ITER 3413 NEW BEST:: SOT 68765326 SOS 9445475 HAS SOPS 9445475 HAS SOUS 5607143 HAS SOUPS 5607143 WITH SCORE 5616588.475
AT ITER 3437 NEW BEST:: SOT 68764879 SOS 9444581 HAS SOPS 9444581 HAS SOUS 5606696 HAS SOUPS 5606696 WITH SCORE 5616140.581
AT ITER 3450 NEW BEST:: SOT 68764879 SOS 9444581 HAS SOPS 9444581 HAS SOUS 5606695 HAS SOUPS 5606695 WITH SCORE 5616139.581
AT ITER 3455 NEW BEST:: SOT 68764516 SOS 9443855 HAS SOPS 9443855 HAS SOUS 5606332 HAS SOUPS 5606332 WITH SCORE 5615775.855
AT ITER 3499 NEW BEST:: SOT 68764442 SOS 9443707 HAS SOPS 9443707 HAS SOUS 5606258 HAS SOUPS 5606258 WITH SCORE 5615701.707
AT ITER 3502 NEW BEST:: SOT 68764267 SOS 9443357 HAS SOPS 9443357 HAS SOUS 5606083 HAS SOUPS 5606083 WITH SCORE 5615526.357
AT ITER 3529 NEW BEST:: SOT 68764323 SOS 9446622 HAS SOPS 9446622 HAS SOUS 5605088 HAS SOUPS 5605088 WITH SCORE 5614534.622
AT ITER 3548 NEW BEST:: SOT 68763979 SOS 9445934 HAS SOPS 9445934 HAS SOUS 5604743 HAS SOUPS 5604743 WITH SCORE 5614188.934
AT ITER 3561 NEW BEST:: SOT 68763891 SOS 9445810 HAS SOPS 9445810 HAS SOUS 5604676 HAS SOUPS 5604676 WITH SCORE 5614121.81
AT ITER 3569 NEW BEST:: SOT 68763891 SOS 9445486 HAS SOPS 9445486 HAS SOUS 5604364 HAS SOUPS 5604364 WITH SCORE 5613809.486
AT ITER 3584 NEW BEST:: SOT 68762819 SOS 9443342 HAS SOPS 9443342 HAS SOUS 5603292 HAS SOUPS 5603292 WITH SCORE 5612735.342
AT ITER 3596 NEW BEST:: SOT 68762742 SOS 9442767 HAS SOPS 9442767 HAS SOUS 5603262 HAS SOUPS 5603262 WITH SCORE 5612704.767
AT ITER 3601 NEW BEST:: SOT 68762742 SOS 9442767 HAS SOPS 9442767 HAS SOUS 5603261 HAS SOUPS 5603261 WITH SCORE 5612703.767
AT ITER 3611 NEW BEST:: SOT 68762742 SOS 9442059 HAS SOPS 9442059 HAS SOUS 5603261 HAS SOUPS 5603261 WITH SCORE 5612703.059
AT ITER 3614 NEW BEST:: SOT 68761782 SOS 9441105 HAS SOPS 9441105 HAS SOUS 5602307 HAS SOUPS 5602307 WITH SCORE 5611748.105
AT ITER 3616 NEW BEST:: SOT 68742782 SOS 9436507 HAS SOPS 9436507 HAS SOUS 5584427 HAS SOUPS 5584427 WITH SCORE 5593863.507
AT ITER 3634 NEW BEST:: SOT 68742780 SOS 9435827 HAS SOPS 9435827 HAS SOUS 5584423 HAS SOUPS 5584423 WITH SCORE 5593858.827
AT ITER 3731 NEW BEST:: SOT 68741544 SOS 9435845 HAS SOPS 9435845 HAS SOUS 5583110 HAS SOUPS 5583110 WITH SCORE 5592545.845
AT ITER 3741 NEW BEST:: SOT 68741421 SOS 9435353 HAS SOPS 9435353 HAS SOUS 5582987 HAS SOUPS 5582987 WITH SCORE 5592422.353
AT ITER 3795 NEW BEST:: SOT 68738410 SOS 9431559 HAS SOPS 9431559 HAS SOUS 5578944 HAS SOUPS 5578944 WITH SCORE 5588375.559
AT ITER 3813 NEW BEST:: SOT 68737486 SOS 9429711 HAS SOPS 9429711 HAS SOUS 5577558 HAS SOUPS 5577558 WITH SCORE 5586987.711
AT ITER 3822 NEW BEST:: SOT 68736586 SOS 9428465 HAS SOPS 9428465 HAS SOUS 5576141 HAS SOUPS 5576141 WITH SCORE 5585569.465
AT ITER 3836 NEW BEST:: SOT 68736586 SOS 9427398 HAS SOPS 9427398 HAS SOUS 5575074 HAS SOUPS 5575074 WITH SCORE 5584501.398
AT ITER 3888 NEW BEST:: SOT 68734957 SOS 9426183 HAS SOPS 9426183 HAS SOUS 5573757 HAS SOUPS 5573757 WITH SCORE 5583183.183
AT ITER 3900 NEW BEST:: SOT 68734767 SOS 9425282 HAS SOPS 9425282 HAS SOUS 5573686 HAS SOUPS 5573686 WITH SCORE 5583111.282
AT ITER 3904 NEW BEST:: SOT 68734767 SOS 9424878 HAS SOPS 9424878 HAS SOUS 5573480 HAS SOUPS 5573480 WITH SCORE 5582904.878
AT ITER 3915 NEW BEST:: SOT 68733525 SOS 9420999 HAS SOPS 9420999 HAS SOUS 5573338 HAS SOUPS 5573338 WITH SCORE 5582758.999
AT ITER 3932 NEW BEST:: SOT 68733525 SOS 9420999 HAS SOPS 9420999 HAS SOUS 5573337 HAS SOUPS 5573337 WITH SCORE 5582757.999
AT ITER 3972 NEW BEST:: SOT 68733097 SOS 9420143 HAS SOPS 9420143 HAS SOUS 5572481 HAS SOUPS 5572481 WITH SCORE 5581901.143
AT ITER 3981 NEW BEST:: SOT 68733097 SOS 9420143 HAS SOPS 9420143 HAS SOUS 5571979 HAS SOUPS 5571979 WITH SCORE 5581399.143
AT ITER 3996 NEW BEST:: SOT 68667164 SOS 10209245 HAS SOPS 10209245 HAS SOUS 5517454 HAS SOUPS 5517454 WITH SCORE 5527663.245
AT ITER 4020 NEW BEST:: SOT 68666362 SOS 10208155 HAS SOPS 10208155 HAS SOUS 5516364 HAS SOUPS 5516364 WITH SCORE 5526572.155
AT ITER 4028 NEW BEST:: SOT 68666075 SOS 10207868 HAS SOPS 10207868 HAS SOUS 5516352 HAS SOUPS 5516352 WITH SCORE 5526559.868
AT ITER 4029 NEW BEST:: SOT 68665564 SOS 9859638 HAS SOPS 9859638 HAS SOUS 5515841 HAS SOUPS 5515841 WITH SCORE 5525700.638
AT ITER 4036 NEW BEST:: SOT 68664385 SOS 9855871 HAS SOPS 9855871 HAS SOUS 5514773 HAS SOUPS 5514773 WITH SCORE 5524628.871
AT ITER 4061 NEW BEST:: SOT 68664385 SOS 9855871 HAS SOPS 9855871 HAS SOUS 5514417 HAS SOUPS 5514417 WITH SCORE 5524272.871
AT ITER 4078 NEW BEST:: SOT 68663634 SOS 9854941 HAS SOPS 9854941 HAS SOUS 5513665 HAS SOUPS 5513665 WITH SCORE 5523519.941
AT ITER 4116 NEW BEST:: SOT 68663625 SOS 9853793 HAS SOPS 9853793 HAS SOUS 5513514 HAS SOUPS 5513514 WITH SCORE 5523367.793
AT ITER 4176 NEW BEST:: SOT 68663280 SOS 9851867 HAS SOPS 9851867 HAS SOUS 5513169 HAS SOUPS 5513169 WITH SCORE 5523020.867
AT ITER 4186 NEW BEST:: SOT 68663172 SOS 9851813 HAS SOPS 9851813 HAS SOUS 5513060 HAS SOUPS 5513060 WITH SCORE 5522911.813
AT ITER 4205 NEW BEST:: SOT 68663172 SOS 9850508 HAS SOPS 9850508 HAS SOUS 5512625 HAS SOUPS 5512625 WITH SCORE 5522475.508
AT ITER 4227 NEW BEST:: SOT 68662713 SOS 9849590 HAS SOPS 9849590 HAS SOUS 5512166 HAS SOUPS 5512166 WITH SCORE 5522015.59
AT ITER 4228 NEW BEST:: SOT 68662713 SOS 9848456 HAS SOPS 9848456 HAS SOUS 5512166 HAS SOUPS 5512166 WITH SCORE 5522014.456
AT ITER 4244 NEW BEST:: SOT 68661477 SOS 9848428 HAS SOPS 9848428 HAS SOUS 5510624 HAS SOUPS 5510624 WITH SCORE 5520472.428
AT ITER 4255 NEW BEST:: SOT 68660711 SOS 9846130 HAS SOPS 9846130 HAS SOUS 5510470 HAS SOUPS 5510470 WITH SCORE 5520316.13
AT ITER 4258 NEW BEST:: SOT 68657159 SOS 9636538 HAS SOPS 9636538 HAS SOUS 5505733 HAS SOUPS 5505733 WITH SCORE 5515369.538
AT ITER 4313 NEW BEST:: SOT 68657084 SOS 9636388 HAS SOPS 9636388 HAS SOUS 5505658 HAS SOUPS 5505658 WITH SCORE 5515294.388
AT ITER 4317 NEW BEST:: SOT 68656845 SOS 9635910 HAS SOPS 9635910 HAS SOUS 5505657 HAS SOUPS 5505657 WITH SCORE 5515292.91
AT ITER 4335 NEW BEST:: SOT 68656609 SOS 9635438 HAS SOPS 9635438 HAS SOUS 5505421 HAS SOUPS 5505421 WITH SCORE 5515056.438
AT ITER 4351 NEW BEST:: SOT 68655764 SOS 9634676 HAS SOPS 9634676 HAS SOUS 5504576 HAS SOUPS 5504576 WITH SCORE 5514210.676
AT ITER 4378 NEW BEST:: SOT 68655492 SOS 9633588 HAS SOPS 9633588 HAS SOUS 5504304 HAS SOUPS 5504304 WITH SCORE 5513937.588
AT ITER 4390 NEW BEST:: SOT 68655240 SOS 9633290 HAS SOPS 9633290 HAS SOUS 5503943 HAS SOUPS 5503943 WITH SCORE 5513576.29
AT ITER 4395 NEW BEST:: SOT 68655596 SOS 9634002 HAS SOPS 9634002 HAS SOUS 5503895 HAS SOUPS 5503895 WITH SCORE 5513529.002
AT ITER 4408 NEW BEST:: SOT 68655440 SOS 9633534 HAS SOPS 9633534 HAS SOUS 5503583 HAS SOUPS 5503583 WITH SCORE 5513216.534
AT ITER 4420 NEW BEST:: SOT 68655349 SOS 9633352 HAS SOPS 9633352 HAS SOUS 5503492 HAS SOUPS 5503492 WITH SCORE 5513125.352
AT ITER 4493 NEW BEST:: SOT 68655280 SOS 9633214 HAS SOPS 9633214 HAS SOUS 5503423 HAS SOUPS 5503423 WITH SCORE 5513056.214
AT ITER 4509 NEW BEST:: SOT 68655280 SOS 9633184 HAS SOPS 9633184 HAS SOUS 5503423 HAS SOUPS 5503423 WITH SCORE 5513056.184
AT ITER 4510 NEW BEST:: SOT 68654940 SOS 9632844 HAS SOPS 9632844 HAS SOUS 5502969 HAS SOUPS 5502969 WITH SCORE 5512601.844
AT ITER 4517 NEW BEST:: SOT 68654851 SOS 9632666 HAS SOPS 9632666 HAS SOUS 5502879 HAS SOUPS 5502879 WITH SCORE 5512511.666
AT ITER 4546 NEW BEST:: SOT 68654851 SOS 9631886 HAS SOPS 9631886 HAS SOUS 5502489 HAS SOUPS 5502489 WITH SCORE 5512120.886
AT ITER 4564 NEW BEST:: SOT 68654616 SOS 9631563 HAS SOPS 9631563 HAS SOUS 5502126 HAS SOUPS 5502126 WITH SCORE 5511757.563
AT ITER 4603 NEW BEST:: SOT 68653114 SOS 9631785 HAS SOPS 9631785 HAS SOUS 5501166 HAS SOUPS 5501166 WITH SCORE 5510797.785
AT ITER 4605 NEW BEST:: SOT 68652831 SOS 9631219 HAS SOPS 9631219 HAS SOUS 5500883 HAS SOUPS 5500883 WITH SCORE 5510514.219
AT ITER 4639 NEW BEST:: SOT 68646335 SOS 9624839 HAS SOPS 9624839 HAS SOUS 5494387 HAS SOUPS 5494387 WITH SCORE 5504011.839
AT ITER 4660 NEW BEST:: SOT 68646764 SOS 9622322 HAS SOPS 9622322 HAS SOUS 5494120 HAS SOUPS 5494120 WITH SCORE 5503742.322
AT ITER 4684 NEW BEST:: SOT 68646763 SOS 9622320 HAS SOPS 9622320 HAS SOUS 5494118 HAS SOUPS 5494118 WITH SCORE 5503740.32
AT ITER 4686 NEW BEST:: SOT 68567366 SOS 9844034 HAS SOPS 9844034 HAS SOUS 5419522 HAS SOUPS 5419522 WITH SCORE 5429366.034
AT ITER 4696 NEW BEST:: SOT 68536066 SOS 9853197 HAS SOPS 9853197 HAS SOUS 5389851 HAS SOUPS 5389851 WITH SCORE 5399704.197
AT ITER 4712 NEW BEST:: SOT 68535725 SOS 9853060 HAS SOPS 9853060 HAS SOUS 5389516 HAS SOUPS 5389516 WITH SCORE 5399369.06
AT ITER 4718 NEW BEST:: SOT 68535027 SOS 9851664 HAS SOPS 9851664 HAS SOUS 5389515 HAS SOUPS 5389515 WITH SCORE 5399366.664
AT ITER 4741 NEW BEST:: SOT 68533402 SOS 9850889 HAS SOPS 9850889 HAS SOUS 5387890 HAS SOUPS 5387890 WITH SCORE 5397740.889
AT ITER 4744 NEW BEST:: SOT 68533402 SOS 9850889 HAS SOPS 9850889 HAS SOUS 5387820 HAS SOUPS 5387820 WITH SCORE 5397670.889
AT ITER 4792 NEW BEST:: SOT 68532913 SOS 9850250 HAS SOPS 9850250 HAS SOUS 5387010 HAS SOUPS 5387010 WITH SCORE 5396860.25
AT ITER 4821 NEW BEST:: SOT 68532793 SOS 9850010 HAS SOPS 9850010 HAS SOUS 5386890 HAS SOUPS 5386890 WITH SCORE 5396740.01
AT ITER 4828 NEW BEST:: SOT 68532685 SOS 9849869 HAS SOPS 9849869 HAS SOUS 5386707 HAS SOUPS 5386707 WITH SCORE 5396556.869
AT ITER 4831 NEW BEST:: SOT 68532535 SOS 9849569 HAS SOPS 9849569 HAS SOUS 5386556 HAS SOUPS 5386556 WITH SCORE 5396405.569
AT ITER 4864 NEW BEST:: SOT 68532136 SOS 9847401 HAS SOPS 9847401 HAS SOUS 5385789 HAS SOUPS 5385789 WITH SCORE 5395636.401
AT ITER 4895 NEW BEST:: SOT 68532136 SOS 9847325 HAS SOPS 9847325 HAS SOUS 5385789 HAS SOUPS 5385789 WITH SCORE 5395636.325
AT ITER 4907 NEW BEST:: SOT 68531830 SOS 9848243 HAS SOPS 9848243 HAS SOUS 5385177 HAS SOUPS 5385177 WITH SCORE 5395025.243
AT ITER 4911 NEW BEST:: SOT 68531830 SOS 9847929 HAS SOPS 9847929 HAS SOUS 5385177 HAS SOUPS 5385177 WITH SCORE 5395024.929
AT ITER 4958 NEW BEST:: SOT 68531505 SOS 9847662 HAS SOPS 9847662 HAS SOUS 5384527 HAS SOUPS 5384527 WITH SCORE 5394374.662
AT ITER 4978 NEW BEST:: SOT 68501004 SOS 10323308 HAS SOPS 10323308 HAS SOUS 5361248 HAS SOUPS 5361248 WITH SCORE 5371571.308
AT ITER 4983 NEW BEST:: SOT 68499980 SOS 10321260 HAS SOPS 10321260 HAS SOUS 5361246 HAS SOUPS 5361246 WITH SCORE 5371567.26
AT ITER 4995 NEW BEST:: SOT 68499254 SOS 10320534 HAS SOPS 10320534 HAS SOUS 5359794 HAS SOUPS 5359794 WITH SCORE 5370114.534
AT ITER 5001 NEW BEST:: SOT 68498885 SOS 10321582 HAS SOPS 10321582 HAS SOUS 5359425 HAS SOUPS 5359425 WITH SCORE 5369746.582
AT ITER 5012 NEW BEST:: SOT 68499122 SOS 10322056 HAS SOPS 10322056 HAS SOUS 5358869 HAS SOUPS 5358869 WITH SCORE 5369191.056
AT ITER 5013 NEW BEST:: SOT 68499023 SOS 10322199 HAS SOPS 10322199 HAS SOUS 5358671 HAS SOUPS 5358671 WITH SCORE 5368993.199
AT ITER 5020 NEW BEST:: SOT 68498271 SOS 10326419 HAS SOPS 10326419 HAS SOUS 5357846 HAS SOUPS 5357846 WITH SCORE 5368172.419
AT ITER 5029 NEW BEST:: SOT 68497272 SOS 10325420 HAS SOPS 10325420 HAS SOUS 5355848 HAS SOUPS 5355848 WITH SCORE 5366173.42
AT ITER 5059 NEW BEST:: SOT 68497272 SOS 10322696 HAS SOPS 10322696 HAS SOUS 5355848 HAS SOUPS 5355848 WITH SCORE 5366170.696
AT ITER 5068 NEW BEST:: SOT 68497669 SOS 10323490 HAS SOPS 10323490 HAS SOUS 5355782 HAS SOUPS 5355782 WITH SCORE 5366105.49
AT ITER 5078 NEW BEST:: SOT 68497334 SOS 10321960 HAS SOPS 10321960 HAS SOUS 5355524 HAS SOUPS 5355524 WITH SCORE 5365845.96
AT ITER 5083 NEW BEST:: SOT 68497227 SOS 10321746 HAS SOPS 10321746 HAS SOUS 5355416 HAS SOUPS 5355416 WITH SCORE 5365737.746
AT ITER 5103 NEW BEST:: SOT 68496385 SOS 10320062 HAS SOPS 10320062 HAS SOUS 5354574 HAS SOUPS 5354574 WITH SCORE 5364894.062
AT ITER 5104 NEW BEST:: SOT 68496354 SOS 10320000 HAS SOPS 10320000 HAS SOUS 5354231 HAS SOUPS 5354231 WITH SCORE 5364551.0
AT ITER 5105 NEW BEST:: SOT 68496354 SOS 10318778 HAS SOPS 10318778 HAS SOUS 5354231 HAS SOUPS 5354231 WITH SCORE 5364549.778
AT ITER 5148 NEW BEST:: SOT 68433762 SOS 10981250 HAS SOPS 10981250 HAS SOUS 5296963 HAS SOUPS 5296963 WITH SCORE 5307944.25
AT ITER 5181 NEW BEST:: SOT 68433327 SOS 10980815 HAS SOPS 10980815 HAS SOUS 5296527 HAS SOUPS 5296527 WITH SCORE 5307507.815
AT ITER 5229 NEW BEST:: SOT 68433268 SOS 10980638 HAS SOPS 10980638 HAS SOUS 5296468 HAS SOUPS 5296468 WITH SCORE 5307448.638
AT ITER 5249 NEW BEST:: SOT 68432523 SOS 10979742 HAS SOPS 10979742 HAS SOUS 5295647 HAS SOUPS 5295647 WITH SCORE 5306626.742
AT ITER 5255 NEW BEST:: SOT 68432402 SOS 10979500 HAS SOPS 10979500 HAS SOUS 5295526 HAS SOUPS 5295526 WITH SCORE 5306505.5
AT ITER 5265 NEW BEST:: SOT 68431576 SOS 10977848 HAS SOPS 10977848 HAS SOUS 5295524 HAS SOUPS 5295524 WITH SCORE 5306501.848
AT ITER 5310 NEW BEST:: SOT 68430882 SOS 10976460 HAS SOPS 10976460 HAS SOUS 5293991 HAS SOUPS 5293991 WITH SCORE 5304967.46
AT ITER 5318 NEW BEST:: SOT 68430835 SOS 10976366 HAS SOPS 10976366 HAS SOUS 5293944 HAS SOUPS 5293944 WITH SCORE 5304920.366
AT ITER 5322 NEW BEST:: SOT 68430835 SOS 10976257 HAS SOPS 10976257 HAS SOUS 5293940 HAS SOUPS 5293940 WITH SCORE 5304916.257
AT ITER 5330 NEW BEST:: SOT 68430194 SOS 10975948 HAS SOPS 10975948 HAS SOUS 5293410 HAS SOUPS 5293410 WITH SCORE 5304385.948
AT ITER 5373 NEW BEST:: SOT 68429752 SOS 10974132 HAS SOPS 10974132 HAS SOUS 5292975 HAS SOUPS 5292975 WITH SCORE 5303949.132
AT ITER 5399 NEW BEST:: SOT 68429287 SOS 10973202 HAS SOPS 10973202 HAS SOUS 5292975 HAS SOUPS 5292975 WITH SCORE 5303948.202
AT ITER 5418 NEW BEST:: SOT 68429105 SOS 10973138 HAS SOPS 10973138 HAS SOUS 5292791 HAS SOUPS 5292791 WITH SCORE 5303764.138
AT ITER 5470 NEW BEST:: SOT 68428665 SOS 10972697 HAS SOPS 10972697 HAS SOUS 5292788 HAS SOUPS 5292788 WITH SCORE 5303760.697
AT ITER 5494 NEW BEST:: SOT 68428665 SOS 10972565 HAS SOPS 10972565 HAS SOUS 5292788 HAS SOUPS 5292788 WITH SCORE 5303760.565
AT ITER 5500 NEW BEST:: SOT 68383856 SOS 10934599 HAS SOPS 10934599 HAS SOUS 5248327 HAS SOUPS 5248327 WITH SCORE 5259261.599
AT ITER 5514 NEW BEST:: SOT 68383180 SOS 10933923 HAS SOPS 10933923 HAS SOUS 5246975 HAS SOUPS 5246975 WITH SCORE 5257908.923
AT ITER 5569 NEW BEST:: SOT 68383060 SOS 10933683 HAS SOPS 10933683 HAS SOUS 5246854 HAS SOUPS 5246854 WITH SCORE 5257787.683
AT ITER 5582 NEW BEST:: SOT 68382926 SOS 10933750 HAS SOPS 10933750 HAS SOUS 5246653 HAS SOUPS 5246653 WITH SCORE 5257586.75
AT ITER 5596 NEW BEST:: SOT 68382926 SOS 10933074 HAS SOPS 10933074 HAS SOUS 5246653 HAS SOUPS 5246653 WITH SCORE 5257586.074
AT ITER 5597 NEW BEST:: SOT 68383216 SOS 10933654 HAS SOPS 10933654 HAS SOUS 5246353 HAS SOUPS 5246353 WITH SCORE 5257286.654
AT ITER 5602 NEW BEST:: SOT 68383317 SOS 10933487 HAS SOPS 10933487 HAS SOUS 5246186 HAS SOUPS 5246186 WITH SCORE 5257119.487
AT ITER 5612 NEW BEST:: SOT 68383067 SOS 10932987 HAS SOPS 10932987 HAS SOUS 5245936 HAS SOUPS 5245936 WITH SCORE 5256868.987
AT ITER 5614 NEW BEST:: SOT 68381379 SOS 10930736 HAS SOPS 10930736 HAS SOUS 5243685 HAS SOUPS 5243685 WITH SCORE 5254615.736
AT ITER 5628 NEW BEST:: SOT 68380859 SOS 10929696 HAS SOPS 10929696 HAS SOUS 5243218 HAS SOUPS 5243218 WITH SCORE 5254147.696
AT ITER 5633 NEW BEST:: SOT 68380859 SOS 10928946 HAS SOPS 10928946 HAS SOUS 5242468 HAS SOUPS 5242468 WITH SCORE 5253396.946
AT ITER 5709 NEW BEST:: SOT 68329718 SOS 10880388 HAS SOPS 10880388 HAS SOUS 5191687 HAS SOUPS 5191687 WITH SCORE 5202567.388
AT ITER 5728 NEW BEST:: SOT 68329718 SOS 10879029 HAS SOPS 10879029 HAS SOUS 5191687 HAS SOUPS 5191687 WITH SCORE 5202566.029
AT ITER 5754 NEW BEST:: SOT 68328717 SOS 10601303 HAS SOPS 10601303 HAS SOUS 5190685 HAS SOUPS 5190685 WITH SCORE 5201286.303
AT ITER 5774 NEW BEST:: SOT 68328577 SOS 10601023 HAS SOPS 10601023 HAS SOUS 5190403 HAS SOUPS 5190403 WITH SCORE 5201004.023
AT ITER 5775 NEW BEST:: SOT 68327611 SOS 10600213 HAS SOPS 10600213 HAS SOUS 5188929 HAS SOUPS 5188929 WITH SCORE 5199529.213
AT ITER 5778 NEW BEST:: SOT 68317078 SOS 10661284 HAS SOPS 10661284 HAS SOUS 5180811 HAS SOUPS 5180811 WITH SCORE 5191472.284
AT ITER 5792 NEW BEST:: SOT 68316252 SOS 10659632 HAS SOPS 10659632 HAS SOUS 5179985 HAS SOUPS 5179985 WITH SCORE 5190644.632
AT ITER 5793 NEW BEST:: SOT 68315332 SOS 10657792 HAS SOPS 10657792 HAS SOUS 5179065 HAS SOUPS 5179065 WITH SCORE 5189722.792
AT ITER 5845 NEW BEST:: SOT 68314158 SOS 10655444 HAS SOPS 10655444 HAS SOUS 5177891 HAS SOUPS 5177891 WITH SCORE 5188546.444
AT ITER 5857 NEW BEST:: SOT 68314055 SOS 10655238 HAS SOPS 10655238 HAS SOUS 5177788 HAS SOUPS 5177788 WITH SCORE 5188443.238
AT ITER 5865 NEW BEST:: SOT 68313507 SOS 10654142 HAS SOPS 10654142 HAS SOUS 5177240 HAS SOUPS 5177240 WITH SCORE 5187894.142
AT ITER 5878 NEW BEST:: SOT 68313201 SOS 10653530 HAS SOPS 10653530 HAS SOUS 5176934 HAS SOUPS 5176934 WITH SCORE 5187587.53
AT ITER 5881 NEW BEST:: SOT 68313201 SOS 10652880 HAS SOPS 10652880 HAS SOUS 5176934 HAS SOUPS 5176934 WITH SCORE 5187586.88
AT ITER 5888 NEW BEST:: SOT 68312801 SOS 10652080 HAS SOPS 10652080 HAS SOUS 5176534 HAS SOUPS 5176534 WITH SCORE 5187186.08
AT ITER 5892 NEW BEST:: SOT 68312702 SOS 10651882 HAS SOPS 10651882 HAS SOUS 5176435 HAS SOUPS 5176435 WITH SCORE 5187086.882
AT ITER 5918 NEW BEST:: SOT 68312191 SOS 10651841 HAS SOPS 10651841 HAS SOUS 5176052 HAS SOUPS 5176052 WITH SCORE 5186703.841
AT ITER 5920 NEW BEST:: SOT 68311894 SOS 10651247 HAS SOPS 10651247 HAS SOUS 5175755 HAS SOUPS 5175755 WITH SCORE 5186406.247
AT ITER 5928 NEW BEST:: SOT 68311794 SOS 10651146 HAS SOPS 10651146 HAS SOUS 5175754 HAS SOUPS 5175754 WITH SCORE 5186405.146
AT ITER 5929 NEW BEST:: SOT 68311295 SOS 10650720 HAS SOPS 10650720 HAS SOUS 5175328 HAS SOUPS 5175328 WITH SCORE 5185978.72
AT ITER 5931 NEW BEST:: SOT 68219945 SOS 10972256 HAS SOPS 10972256 HAS SOUS 5090412 HAS SOUPS 5090412 WITH SCORE 5101384.256
AT ITER 5935 NEW BEST:: SOT 68219727 SOS 10971820 HAS SOPS 10971820 HAS SOUS 5090194 HAS SOUPS 5090194 WITH SCORE 5101165.82
AT ITER 5940 NEW BEST:: SOT 68219727 SOS 10971257 HAS SOPS 10971257 HAS SOUS 5090194 HAS SOUPS 5090194 WITH SCORE 5101165.257
AT ITER 5951 NEW BEST:: SOT 68218969 SOS 10970279 HAS SOPS 10970279 HAS SOUS 5089216 HAS SOUPS 5089216 WITH SCORE 5100186.279
AT ITER 5959 NEW BEST:: SOT 68218969 SOS 10970208 HAS SOPS 10970208 HAS SOUS 5089216 HAS SOUPS 5089216 WITH SCORE 5100186.208
AT ITER 5992 NEW BEST:: SOT 68216412 SOS 10973480 HAS SOPS 10973480 HAS SOUS 5088757 HAS SOUPS 5088757 WITH SCORE 5099730.48
AT ITER 6006 NEW BEST:: SOT 68216138 SOS 10973332 HAS SOPS 10973332 HAS SOUS 5088483 HAS SOUPS 5088483 WITH SCORE 5099456.332
AT ITER 6020 NEW BEST:: SOT 68214066 SOS 10970297 HAS SOPS 10970297 HAS SOUS 5085302 HAS SOUPS 5085302 WITH SCORE 5096272.297
AT ITER 6168 NEW BEST:: SOT 68095888 SOS 11017361 HAS SOPS 11017361 HAS SOUS 4970319 HAS SOUPS 4970319 WITH SCORE 4981336.361
AT ITER 6170 NEW BEST:: SOT 68095731 SOS 11017047 HAS SOPS 11017047 HAS SOUS 4970161 HAS SOUPS 4970161 WITH SCORE 4981178.047
AT ITER 6184 NEW BEST:: SOT 68095239 SOS 11016063 HAS SOPS 11016063 HAS SOUS 4969669 HAS SOUPS 4969669 WITH SCORE 4980685.063
AT ITER 6199 NEW BEST:: SOT 68094473 SOS 11014148 HAS SOPS 11014148 HAS SOUS 4968903 HAS SOUPS 4968903 WITH SCORE 4979917.148
AT ITER 6226 NEW BEST:: SOT 68093891 SOS 11015808 HAS SOPS 11015808 HAS SOUS 4968366 HAS SOUPS 4968366 WITH SCORE 4979381.808
AT ITER 6228 NEW BEST:: SOT 68093320 SOS 11014666 HAS SOPS 11014666 HAS SOUS 4967795 HAS SOUPS 4967795 WITH SCORE 4978809.666
AT ITER 6246 NEW BEST:: SOT 68092786 SOS 11013331 HAS SOPS 11013331 HAS SOUS 4966994 HAS SOUPS 4966994 WITH SCORE 4978007.331
AT ITER 6259 NEW BEST:: SOT 68092417 SOS 11012593 HAS SOPS 11012593 HAS SOUS 4966994 HAS SOUPS 4966994 WITH SCORE 4978006.593
AT ITER 6272 NEW BEST:: SOT 68092300 SOS 11012359 HAS SOPS 11012359 HAS SOUS 4966994 HAS SOUPS 4966994 WITH SCORE 4978006.359
AT ITER 6276 NEW BEST:: SOT 68091818 SOS 11009453 HAS SOPS 11009453 HAS SOUS 4965618 HAS SOUPS 4965618 WITH SCORE 4976627.453
AT ITER 6313 NEW BEST:: SOT 68091161 SOS 11008139 HAS SOPS 11008139 HAS SOUS 4965484 HAS SOUPS 4965484 WITH SCORE 4976492.139
AT ITER 6330 NEW BEST:: SOT 68090425 SOS 11001852 HAS SOPS 11001852 HAS SOUS 4965174 HAS SOUPS 4965174 WITH SCORE 4976175.852
AT ITER 6371 NEW BEST:: SOT 68090425 SOS 10998002 HAS SOPS 10998002 HAS SOUS 4965174 HAS SOUPS 4965174 WITH SCORE 4976172.002
AT ITER 6375 NEW BEST:: SOT 68087929 SOS 10995118 HAS SOPS 10995118 HAS SOUS 4961847 HAS SOUPS 4961847 WITH SCORE 4972842.118
AT ITER 6418 NEW BEST:: SOT 68087183 SOS 10993626 HAS SOPS 10993626 HAS SOUS 4961101 HAS SOUPS 4961101 WITH SCORE 4972094.626
AT ITER 6452 NEW BEST:: SOT 68086854 SOS 10992968 HAS SOPS 10992968 HAS SOUS 4960772 HAS SOUPS 4960772 WITH SCORE 4971764.968
AT ITER 6463 NEW BEST:: SOT 68086269 SOS 10991798 HAS SOPS 10991798 HAS SOUS 4960662 HAS SOUPS 4960662 WITH SCORE 4971653.798
AT ITER 6465 NEW BEST:: SOT 68085667 SOS 10990594 HAS SOPS 10990594 HAS SOUS 4960660 HAS SOUPS 4960660 WITH SCORE 4971650.594
AT ITER 6495 NEW BEST:: SOT 68084805 SOS 10988870 HAS SOPS 10988870 HAS SOUS 4959797 HAS SOUPS 4959797 WITH SCORE 4970785.87
AT ITER 6507 NEW BEST:: SOT 68084012 SOS 10988564 HAS SOPS 10988564 HAS SOUS 4959711 HAS SOUPS 4959711 WITH SCORE 4970699.564
AT ITER 6524 NEW BEST:: SOT 68084012 SOS 10958372 HAS SOPS 10958372 HAS SOUS 4959711 HAS SOUPS 4959711 WITH SCORE 4970669.372
AT ITER 6553 NEW BEST:: SOT 68083835 SOS 10957841 HAS SOPS 10957841 HAS SOUS 4959357 HAS SOUPS 4959357 WITH SCORE 4970314.841
AT ITER 6585 NEW BEST:: SOT 68083758 SOS 10957687 HAS SOPS 10957687 HAS SOUS 4959279 HAS SOUPS 4959279 WITH SCORE 4970236.687
AT ITER 6589 NEW BEST:: SOT 68082765 SOS 10953715 HAS SOPS 10953715 HAS SOUS 4958908 HAS SOUPS 4958908 WITH SCORE 4969861.715
AT ITER 6602 NEW BEST:: SOT 68082611 SOS 10953406 HAS SOPS 10953406 HAS SOUS 4958789 HAS SOUPS 4958789 WITH SCORE 4969742.406
AT ITER 6611 NEW BEST:: SOT 68082611 SOS 10952440 HAS SOPS 10952440 HAS SOUS 4958789 HAS SOUPS 4958789 WITH SCORE 4969741.44
AT ITER 6643 NEW BEST:: SOT 68081749 SOS 10952195 HAS SOPS 10952195 HAS SOUS 4958160 HAS SOUPS 4958160 WITH SCORE 4969112.195
AT ITER 6669 NEW BEST:: SOT 68081410 SOS 10951743 HAS SOPS 10951743 HAS SOUS 4957821 HAS SOUPS 4957821 WITH SCORE 4968772.743
AT ITER 6738 NEW BEST:: SOT 68081410 SOS 10951663 HAS SOPS 10951663 HAS SOUS 4957821 HAS SOUPS 4957821 WITH SCORE 4968772.663
AT ITER 6740 NEW BEST:: SOT 68081371 SOS 10951546 HAS SOPS 10951546 HAS SOUS 4957743 HAS SOUPS 4957743 WITH SCORE 4968694.546
AT ITER 6753 NEW BEST:: SOT 68079310 SOS 10948531 HAS SOPS 10948531 HAS SOUS 4954575 HAS SOUPS 4954575 WITH SCORE 4965523.531
AT ITER 6765 NEW BEST:: SOT 68079310 SOS 10947967 HAS SOPS 10947967 HAS SOUS 4954574 HAS SOUPS 4954574 WITH SCORE 4965521.967
AT ITER 6766 NEW BEST:: SOT 68078880 SOS 10947632 HAS SOPS 10947632 HAS SOUS 4953963 HAS SOUPS 4953963 WITH SCORE 4964910.632
AT ITER 6807 NEW BEST:: SOT 68078644 SOS 10947160 HAS SOPS 10947160 HAS SOUS 4953727 HAS SOUPS 4953727 WITH SCORE 4964674.16
AT ITER 6813 NEW BEST:: SOT 68078644 SOS 10947160 HAS SOPS 10947160 HAS SOUS 4953666 HAS SOUPS 4953666 WITH SCORE 4964613.16
AT ITER 6840 NEW BEST:: SOT 68078251 SOS 10946374 HAS SOPS 10946374 HAS SOUS 4953272 HAS SOUPS 4953272 WITH SCORE 4964218.374
AT ITER 6883 NEW BEST:: SOT 68076246 SOS 10944389 HAS SOPS 10944389 HAS SOUS 4950862 HAS SOUPS 4950862 WITH SCORE 4961806.389
AT ITER 6913 NEW BEST:: SOT 68022005 SOS 11037060 HAS SOPS 11037060 HAS SOUS 4900150 HAS SOUPS 4900150 WITH SCORE 4911187.06
AT ITER 6933 NEW BEST:: SOT 68021617 SOS 11034859 HAS SOPS 11034859 HAS SOUS 4899763 HAS SOUPS 4899763 WITH SCORE 4910797.859
AT ITER 6944 NEW BEST:: SOT 68019416 SOS 11032326 HAS SOPS 11032326 HAS SOUS 4897831 HAS SOUPS 4897831 WITH SCORE 4908863.326
AT ITER 6956 NEW BEST:: SOT 68019123 SOS 11031740 HAS SOPS 11031740 HAS SOUS 4897831 HAS SOUPS 4897831 WITH SCORE 4908862.74
AT ITER 6988 NEW BEST:: SOT 68018849 SOS 11031192 HAS SOPS 11031192 HAS SOUS 4897556 HAS SOUPS 4897556 WITH SCORE 4908587.192
AT ITER 7003 NEW BEST:: SOT 68018132 SOS 11029758 HAS SOPS 11029758 HAS SOUS 4896838 HAS SOUPS 4896838 WITH SCORE 4907867.758
AT ITER 7008 NEW BEST:: SOT 68018132 SOS 11029758 HAS SOPS 11029758 HAS SOUS 4896837 HAS SOUPS 4896837 WITH SCORE 4907866.758
AT ITER 7015 NEW BEST:: SOT 68018132 SOS 11029459 HAS SOPS 11029459 HAS SOUS 4896837 HAS SOUPS 4896837 WITH SCORE 4907866.459
AT ITER 7024 NEW BEST:: SOT 68018132 SOS 11027045 HAS SOPS 11027045 HAS SOUS 4896680 HAS SOUPS 4896680 WITH SCORE 4907707.045
AT ITER 7027 NEW BEST:: SOT 68018132 SOS 11027045 HAS SOPS 11027045 HAS SOUS 4896679 HAS SOUPS 4896679 WITH SCORE 4907706.045
AT ITER 7032 NEW BEST:: SOT 68017970 SOS 11026721 HAS SOPS 11026721 HAS SOUS 4896678 HAS SOUPS 4896678 WITH SCORE 4907704.721
AT ITER 7041 NEW BEST:: SOT 68017899 SOS 11026477 HAS SOPS 11026477 HAS SOUS 4896536 HAS SOUPS 4896536 WITH SCORE 4907562.477
AT ITER 7081 NEW BEST:: SOT 68017779 SOS 11025997 HAS SOPS 11025997 HAS SOUS 4896296 HAS SOUPS 4896296 WITH SCORE 4907321.997
AT ITER 7090 NEW BEST:: SOT 68017779 SOS 11025997 HAS SOPS 11025997 HAS SOUS 4896293 HAS SOUPS 4896293 WITH SCORE 4907318.997
AT ITER 7105 NEW BEST:: SOT 68017779 SOS 11025791 HAS SOPS 11025791 HAS SOUS 4896292 HAS SOUPS 4896292 WITH SCORE 4907317.791
AT ITER 7112 NEW BEST:: SOT 68016562 SOS 11024451 HAS SOPS 11024451 HAS SOUS 4894576 HAS SOUPS 4894576 WITH SCORE 4905600.451
AT ITER 7117 NEW BEST:: SOT 68016562 SOS 11022951 HAS SOPS 11022951 HAS SOUS 4894576 HAS SOUPS 4894576 WITH SCORE 4905598.951
AT ITER 7134 NEW BEST:: SOT 68016179 SOS 11022185 HAS SOPS 11022185 HAS SOUS 4894193 HAS SOUPS 4894193 WITH SCORE 4905215.185
AT ITER 7153 NEW BEST:: SOT 68014832 SOS 11020860 HAS SOPS 11020860 HAS SOUS 4892592 HAS SOUPS 4892592 WITH SCORE 4903612.86
AT ITER 7162 NEW BEST:: SOT 68014541 SOS 11020831 HAS SOPS 11020831 HAS SOUS 4891994 HAS SOUPS 4891994 WITH SCORE 4903014.831
AT ITER 7169 NEW BEST:: SOT 68014465 SOS 11020603 HAS SOPS 11020603 HAS SOUS 4891918 HAS SOUPS 4891918 WITH SCORE 4902938.603
AT ITER 7186 NEW BEST:: SOT 68013237 SOS 11019375 HAS SOPS 11019375 HAS SOUS 4890076 HAS SOUPS 4890076 WITH SCORE 4901095.375
AT ITER 7191 NEW BEST:: SOT 68013237 SOS 11019373 HAS SOPS 11019373 HAS SOUS 4890074 HAS SOUPS 4890074 WITH SCORE 4901093.373
AT ITER 7207 NEW BEST:: SOT 68013428 SOS 11019755 HAS SOPS 11019755 HAS SOUS 4889543 HAS SOUPS 4889543 WITH SCORE 4900562.755
AT ITER 7228 NEW BEST:: SOT 68013145 SOS 11018535 HAS SOPS 11018535 HAS SOUS 4889259 HAS SOUPS 4889259 WITH SCORE 4900277.535
AT ITER 7264 NEW BEST:: SOT 68012402 SOS 11017976 HAS SOPS 11017976 HAS SOUS 4888594 HAS SOUPS 4888594 WITH SCORE 4899611.976
AT ITER 7322 NEW BEST:: SOT 67997235 SOS 11449878 HAS SOPS 11449878 HAS SOUS 4878983 HAS SOUPS 4878983 WITH SCORE 4890432.878
AT ITER 7366 NEW BEST:: SOT 67950553 SOS 11487614 HAS SOPS 11487614 HAS SOUS 4835610 HAS SOUPS 4835610 WITH SCORE 4847097.614
AT ITER 7381 NEW BEST:: SOT 67949925 SOS 11490042 HAS SOPS 11490042 HAS SOUS 4834849 HAS SOUPS 4834849 WITH SCORE 4846339.042
AT ITER 7408 NEW BEST:: SOT 67949644 SOS 11490040 HAS SOPS 11490040 HAS SOUS 4834741 HAS SOUPS 4834741 WITH SCORE 4846231.04
AT ITER 7421 NEW BEST:: SOT 67949913 SOS 11490540 HAS SOPS 11490540 HAS SOUS 4834592 HAS SOUPS 4834592 WITH SCORE 4846082.54
AT ITER 7454 NEW BEST:: SOT 67949580 SOS 11489874 HAS SOPS 11489874 HAS SOUS 4834259 HAS SOUPS 4834259 WITH SCORE 4845748.874
AT ITER 7455 NEW BEST:: SOT 67949465 SOS 11489644 HAS SOPS 11489644 HAS SOUS 4834144 HAS SOUPS 4834144 WITH SCORE 4845633.644
AT ITER 7460 NEW BEST:: SOT 67949280 SOS 11489274 HAS SOPS 11489274 HAS SOUS 4833959 HAS SOUPS 4833959 WITH SCORE 4845448.274
AT ITER 7495 NEW BEST:: SOT 67828359 SOS 11550832 HAS SOPS 11550832 HAS SOUS 4715088 HAS SOUPS 4715088 WITH SCORE 4726638.832
AT ITER 7499 NEW BEST:: SOT 67828159 SOS 11550432 HAS SOPS 11550432 HAS SOUS 4714616 HAS SOUPS 4714616 WITH SCORE 4726166.432
AT ITER 7501 NEW BEST:: SOT 67826435 SOS 11547877 HAS SOPS 11547877 HAS SOUS 4712061 HAS SOUPS 4712061 WITH SCORE 4723608.877
AT ITER 7509 NEW BEST:: SOT 67826137 SOS 11548343 HAS SOPS 11548343 HAS SOUS 4711762 HAS SOUPS 4711762 WITH SCORE 4723310.343
AT ITER 7511 NEW BEST:: SOT 67825875 SOS 11547819 HAS SOPS 11547819 HAS SOUS 4711499 HAS SOUPS 4711499 WITH SCORE 4723046.819
AT ITER 7512 NEW BEST:: SOT 67822588 SOS 11543909 HAS SOPS 11543909 HAS SOUS 4708028 HAS SOUPS 4708028 WITH SCORE 4719571.909
AT ITER 7533 NEW BEST:: SOT 67822588 SOS 11543909 HAS SOPS 11543909 HAS SOUS 4708027 HAS SOUPS 4708027 WITH SCORE 4719570.909
AT ITER 7560 NEW BEST:: SOT 67822642 SOS 11543099 HAS SOPS 11543099 HAS SOUS 4707217 HAS SOUPS 4707217 WITH SCORE 4718760.099
AT ITER 7577 NEW BEST:: SOT 67822571 SOS 11542886 HAS SOPS 11542886 HAS SOUS 4707146 HAS SOUPS 4707146 WITH SCORE 4718688.886
AT ITER 7579 NEW BEST:: SOT 67820972 SOS 11543223 HAS SOPS 11543223 HAS SOUS 4705283 HAS SOUPS 4705283 WITH SCORE 4716826.223
AT ITER 7590 NEW BEST:: SOT 67820972 SOS 11542599 HAS SOPS 11542599 HAS SOUS 4705283 HAS SOUPS 4705283 WITH SCORE 4716825.599
AT ITER 7613 NEW BEST:: SOT 67820972 SOS 11542101 HAS SOPS 11542101 HAS SOUS 4705283 HAS SOUPS 4705283 WITH SCORE 4716825.101
AT ITER 7616 NEW BEST:: SOT 67820747 SOS 11541651 HAS SOPS 11541651 HAS SOUS 4705098 HAS SOUPS 4705098 WITH SCORE 4716639.651
AT ITER 7659 NEW BEST:: SOT 67788634 SOS 11564293 HAS SOPS 11564293 HAS SOUS 4674509 HAS SOUPS 4674509 WITH SCORE 4686073.293
AT ITER 7660 NEW BEST:: SOT 67788115 SOS 11563255 HAS SOPS 11563255 HAS SOUS 4674508 HAS SOUPS 4674508 WITH SCORE 4686071.255
AT ITER 7692 NEW BEST:: SOT 67779133 SOS 11557337 HAS SOPS 11557337 HAS SOUS 4667159 HAS SOUPS 4667159 WITH SCORE 4678716.337
AT ITER 7700 NEW BEST:: SOT 67778859 SOS 11556789 HAS SOPS 11556789 HAS SOUS 4666885 HAS SOUPS 4666885 WITH SCORE 4678441.789
AT ITER 7730 NEW BEST:: SOT 67777131 SOS 11554759 HAS SOPS 11554759 HAS SOUS 4664433 HAS SOUPS 4664433 WITH SCORE 4675987.759
AT ITER 7757 NEW BEST:: SOT 67777131 SOS 11553793 HAS SOPS 11553793 HAS SOUS 4664111 HAS SOUPS 4664111 WITH SCORE 4675664.793
AT ITER 7760 NEW BEST:: SOT 67775965 SOS 11554376 HAS SOPS 11554376 HAS SOUS 4662945 HAS SOUPS 4662945 WITH SCORE 4674499.376
AT ITER 7779 NEW BEST:: SOT 67775439 SOS 11553622 HAS SOPS 11553622 HAS SOUS 4662191 HAS SOUPS 4662191 WITH SCORE 4673744.622
AT ITER 7787 NEW BEST:: SOT 67775439 SOS 11553504 HAS SOPS 11553504 HAS SOUS 4662191 HAS SOUPS 4662191 WITH SCORE 4673744.504
AT ITER 7825 NEW BEST:: SOT 67775439 SOS 11552728 HAS SOPS 11552728 HAS SOUS 4662191 HAS SOUPS 4662191 WITH SCORE 4673743.728
AT ITER 7829 NEW BEST:: SOT 67775439 SOS 11552126 HAS SOPS 11552126 HAS SOUS 4662191 HAS SOUPS 4662191 WITH SCORE 4673743.126
AT ITER 7895 NEW BEST:: SOT 67774552 SOS 11360912 HAS SOPS 11360912 HAS SOUS 4661303 HAS SOUPS 4661303 WITH SCORE 4672663.912
AT ITER 7898 NEW BEST:: SOT 67774552 SOS 11360912 HAS SOPS 11360912 HAS SOUS 4661302 HAS SOUPS 4661302 WITH SCORE 4672662.912
AT ITER 7926 NEW BEST:: SOT 67773600 SOS 11360900 HAS SOPS 11360900 HAS SOUS 4660472 HAS SOUPS 4660472 WITH SCORE 4671832.9
AT ITER 7927 NEW BEST:: SOT 67773196 SOS 11360395 HAS SOPS 11360395 HAS SOUS 4660068 HAS SOUPS 4660068 WITH SCORE 4671428.395
AT ITER 7946 NEW BEST:: SOT 67773115 SOS 11360233 HAS SOPS 11360233 HAS SOUS 4659987 HAS SOUPS 4659987 WITH SCORE 4671347.233
AT ITER 7955 NEW BEST:: SOT 67772980 SOS 11359828 HAS SOPS 11359828 HAS SOUS 4659852 HAS SOUPS 4659852 WITH SCORE 4671211.828
AT ITER 7964 NEW BEST:: SOT 67772676 SOS 11358916 HAS SOPS 11358916 HAS SOUS 4659548 HAS SOUPS 4659548 WITH SCORE 4670906.916
AT ITER 7979 NEW BEST:: SOT 67772647 SOS 11358858 HAS SOPS 11358858 HAS SOUS 4659323 HAS SOUPS 4659323 WITH SCORE 4670681.858
AT ITER 8008 NEW BEST:: SOT 67772313 SOS 11358190 HAS SOPS 11358190 HAS SOUS 4658989 HAS SOUPS 4658989 WITH SCORE 4670347.19
AT ITER 8011 NEW BEST:: SOT 67771978 SOS 11357814 HAS SOPS 11357814 HAS SOUS 4658360 HAS SOUPS 4658360 WITH SCORE 4669717.814
AT ITER 8031 NEW BEST:: SOT 67772040 SOS 11357938 HAS SOPS 11357938 HAS SOUS 4658353 HAS SOUPS 4658353 WITH SCORE 4669710.938
AT ITER 8153 NEW BEST:: SOT 67770298 SOS 11355382 HAS SOPS 11355382 HAS SOUS 4655797 HAS SOUPS 4655797 WITH SCORE 4667152.382
AT ITER 8154 NEW BEST:: SOT 67770298 SOS 11355111 HAS SOPS 11355111 HAS SOUS 4655797 HAS SOUPS 4655797 WITH SCORE 4667152.111
AT ITER 8212 NEW BEST:: SOT 67769359 SOS 11354201 HAS SOPS 11354201 HAS SOUS 4654964 HAS SOUPS 4654964 WITH SCORE 4666318.201
AT ITER 8244 NEW BEST:: SOT 67769287 SOS 11353545 HAS SOPS 11353545 HAS SOUS 4654892 HAS SOUPS 4654892 WITH SCORE 4666245.545
AT ITER 8258 NEW BEST:: SOT 67769268 SOS 11353507 HAS SOPS 11353507 HAS SOUS 4654873 HAS SOUPS 4654873 WITH SCORE 4666226.507
AT ITER 8294 NEW BEST:: SOT 67769124 SOS 11353219 HAS SOPS 11353219 HAS SOUS 4654872 HAS SOUPS 4654872 WITH SCORE 4666225.219
AT ITER 8295 NEW BEST:: SOT 67768461 SOS 11354314 HAS SOPS 11354314 HAS SOUS 4654650 HAS SOUPS 4654650 WITH SCORE 4666004.314
AT ITER 8305 NEW BEST:: SOT 67768831 SOS 11353359 HAS SOPS 11353359 HAS SOUS 4654187 HAS SOUPS 4654187 WITH SCORE 4665540.359
AT ITER 8313 NEW BEST:: SOT 67768478 SOS 11352653 HAS SOPS 11352653 HAS SOUS 4653834 HAS SOUPS 4653834 WITH SCORE 4665186.653
AT ITER 8317 NEW BEST:: SOT 67768404 SOS 11352579 HAS SOPS 11352579 HAS SOUS 4653834 HAS SOUPS 4653834 WITH SCORE 4665186.579
AT ITER 8330 NEW BEST:: SOT 67767687 SOS 11352480 HAS SOPS 11352480 HAS SOUS 4653338 HAS SOUPS 4653338 WITH SCORE 4664690.48
AT ITER 8370 NEW BEST:: SOT 67767212 SOS 11352955 HAS SOPS 11352955 HAS SOUS 4652863 HAS SOUPS 4652863 WITH SCORE 4664215.955
AT ITER 8388 NEW BEST:: SOT 67767657 SOS 11353844 HAS SOPS 11353844 HAS SOUS 4652111 HAS SOUPS 4652111 WITH SCORE 4663464.844
AT ITER 8403 NEW BEST:: SOT 67766715 SOS 11351960 HAS SOPS 11351960 HAS SOUS 4648935 HAS SOUPS 4648935 WITH SCORE 4660286.96
AT ITER 8451 NEW BEST:: SOT 67766289 SOS 11350314 HAS SOPS 11350314 HAS SOUS 4648768 HAS SOUPS 4648768 WITH SCORE 4660118.314
AT ITER 8467 NEW BEST:: SOT 67766260 SOS 11350256 HAS SOPS 11350256 HAS SOUS 4648710 HAS SOUPS 4648710 WITH SCORE 4660060.256
AT ITER 8497 NEW BEST:: SOT 67766085 SOS 11349906 HAS SOPS 11349906 HAS SOUS 4648535 HAS SOUPS 4648535 WITH SCORE 4659884.906
AT ITER 8506 NEW BEST:: SOT 67766085 SOS 11349873 HAS SOPS 11349873 HAS SOUS 4648534 HAS SOUPS 4648534 WITH SCORE 4659883.873
AT ITER 8538 NEW BEST:: SOT 67726342 SOS 11318635 HAS SOPS 11318635 HAS SOUS 4609117 HAS SOUPS 4609117 WITH SCORE 4620435.635
AT ITER 8542 NEW BEST:: SOT 67726162 SOS 11318275 HAS SOPS 11318275 HAS SOUS 4608937 HAS SOUPS 4608937 WITH SCORE 4620255.275
AT ITER 8551 NEW BEST:: SOT 67726542 SOS 11319035 HAS SOPS 11319035 HAS SOUS 4608362 HAS SOUPS 4608362 WITH SCORE 4619681.035
AT ITER 8575 NEW BEST:: SOT 67725860 SOS 11317668 HAS SOPS 11317668 HAS SOUS 4608287 HAS SOUPS 4608287 WITH SCORE 4619604.668
AT ITER 8584 NEW BEST:: SOT 67724920 SOS 11316774 HAS SOPS 11316774 HAS SOUS 4607393 HAS SOUPS 4607393 WITH SCORE 4618709.774
AT ITER 8586 NEW BEST:: SOT 67724300 SOS 11315534 HAS SOPS 11315534 HAS SOUS 4606773 HAS SOUPS 4606773 WITH SCORE 4618088.534
AT ITER 8598 NEW BEST:: SOT 67724199 SOS 11315433 HAS SOPS 11315433 HAS SOUS 4606772 HAS SOUPS 4606772 WITH SCORE 4618087.433
AT ITER 8613 NEW BEST:: SOT 67723618 SOS 11314912 HAS SOPS 11314912 HAS SOUS 4605610 HAS SOUPS 4605610 WITH SCORE 4616924.912
AT ITER 8624 NEW BEST:: SOT 67723386 SOS 11312824 HAS SOPS 11312824 HAS SOUS 4605378 HAS SOUPS 4605378 WITH SCORE 4616690.824
AT ITER 8658 NEW BEST:: SOT 67722693 SOS 11311438 HAS SOPS 11311438 HAS SOUS 4604685 HAS SOUPS 4604685 WITH SCORE 4615996.438
AT ITER 8691 NEW BEST:: SOT 67722224 SOS 11310500 HAS SOPS 11310500 HAS SOUS 4603561 HAS SOUPS 4603561 WITH SCORE 4614871.5
AT ITER 8788 NEW BEST:: SOT 67721291 SOS 11307701 HAS SOPS 11307701 HAS SOUS 4602628 HAS SOUPS 4602628 WITH SCORE 4613935.701
AT ITER 8791 NEW BEST:: SOT 67720757 SOS 11308211 HAS SOPS 11308211 HAS SOUS 4602441 HAS SOUPS 4602441 WITH SCORE 4613749.211
AT ITER 8802 NEW BEST:: SOT 67720757 SOS 11308211 HAS SOPS 11308211 HAS SOUS 4602440 HAS SOUPS 4602440 WITH SCORE 4613748.211
AT ITER 8835 NEW BEST:: SOT 67720293 SOS 11307283 HAS SOPS 11307283 HAS SOUS 4601967 HAS SOUPS 4601967 WITH SCORE 4613274.283
AT ITER 8846 NEW BEST:: SOT 67595975 SOS 11572651 HAS SOPS 11572651 HAS SOUS 4483883 HAS SOUPS 4483883 WITH SCORE 4495455.651
AT ITER 8863 NEW BEST:: SOT 67595525 SOS 11570609 HAS SOPS 11570609 HAS SOUS 4483432 HAS SOUPS 4483432 WITH SCORE 4495002.609
AT ITER 8872 NEW BEST:: SOT 67595525 SOS 11569901 HAS SOPS 11569901 HAS SOUS 4482724 HAS SOUPS 4482724 WITH SCORE 4494293.901
AT ITER 8873 NEW BEST:: SOT 67594397 SOS 11569697 HAS SOPS 11569697 HAS SOUS 4481155 HAS SOUPS 4481155 WITH SCORE 4492724.697
AT ITER 8895 NEW BEST:: SOT 67594151 SOS 11569579 HAS SOPS 11569579 HAS SOUS 4480903 HAS SOUPS 4480903 WITH SCORE 4492472.579
AT ITER 8898 NEW BEST:: SOT 67593987 SOS 11569251 HAS SOPS 11569251 HAS SOUS 4480575 HAS SOUPS 4480575 WITH SCORE 4492144.251
AT ITER 9002 NEW BEST:: SOT 67593731 SOS 11568739 HAS SOPS 11568739 HAS SOUS 4480441 HAS SOUPS 4480441 WITH SCORE 4492009.739
AT ITER 9017 NEW BEST:: SOT 67593454 SOS 11568247 HAS SOPS 11568247 HAS SOUS 4480226 HAS SOUPS 4480226 WITH SCORE 4491794.247
AT ITER 9018 NEW BEST:: SOT 67592375 SOS 11566883 HAS SOPS 11566883 HAS SOUS 4479147 HAS SOUPS 4479147 WITH SCORE 4490713.883
AT ITER 9033 NEW BEST:: SOT 67592403 SOS 11566939 HAS SOPS 11566939 HAS SOUS 4478891 HAS SOUPS 4478891 WITH SCORE 4490457.939
AT ITER 9039 NEW BEST:: SOT 67592403 SOS 11566939 HAS SOPS 11566939 HAS SOUS 4478884 HAS SOUPS 4478884 WITH SCORE 4490450.939
AT ITER 9073 NEW BEST:: SOT 67589620 SOS 11564196 HAS SOPS 11564196 HAS SOUS 4476101 HAS SOUPS 4476101 WITH SCORE 4487665.196
AT ITER 9074 NEW BEST:: SOT 67588537 SOS 11563028 HAS SOPS 11563028 HAS SOUS 4475018 HAS SOUPS 4475018 WITH SCORE 4486581.028
AT ITER 9077 NEW BEST:: SOT 67588537 SOS 11562925 HAS SOPS 11562925 HAS SOUS 4475018 HAS SOUPS 4475018 WITH SCORE 4486580.925
AT ITER 9081 NEW BEST:: SOT 67588356 SOS 11562020 HAS SOPS 11562020 HAS SOUS 4474836 HAS SOUPS 4474836 WITH SCORE 4486398.02
AT ITER 9089 NEW BEST:: SOT 67588356 SOS 11561561 HAS SOPS 11561561 HAS SOUS 4474836 HAS SOUPS 4474836 WITH SCORE 4486397.561
AT ITER 9097 NEW BEST:: SOT 67582500 SOS 11555948 HAS SOPS 11555948 HAS SOUS 4469080 HAS SOUPS 4469080 WITH SCORE 4480635.948
AT ITER 9107 NEW BEST:: SOT 67582172 SOS 11555292 HAS SOPS 11555292 HAS SOUS 4469080 HAS SOUPS 4469080 WITH SCORE 4480635.292
AT ITER 9125 NEW BEST:: SOT 67582071 SOS 11555191 HAS SOPS 11555191 HAS SOUS 4468878 HAS SOUPS 4468878 WITH SCORE 4480433.191
AT ITER 9129 NEW BEST:: SOT 67581596 SOS 11554241 HAS SOPS 11554241 HAS SOUS 4468652 HAS SOUPS 4468652 WITH SCORE 4480206.241
AT ITER 9145 NEW BEST:: SOT 67580570 SOS 11552189 HAS SOPS 11552189 HAS SOUS 4467266 HAS SOUPS 4467266 WITH SCORE 4478818.189
AT ITER 9175 NEW BEST:: SOT 67580600 SOS 11554269 HAS SOPS 11554269 HAS SOUS 4467242 HAS SOUPS 4467242 WITH SCORE 4478796.269
AT ITER 9177 NEW BEST:: SOT 67580416 SOS 11554173 HAS SOPS 11554173 HAS SOUS 4467146 HAS SOUPS 4467146 WITH SCORE 4478700.173
AT ITER 9197 NEW BEST:: SOT 67580135 SOS 11553611 HAS SOPS 11553611 HAS SOUS 4466865 HAS SOUPS 4466865 WITH SCORE 4478418.611
AT ITER 9226 NEW BEST:: SOT 67579856 SOS 11553603 HAS SOPS 11553603 HAS SOUS 4466585 HAS SOUPS 4466585 WITH SCORE 4478138.603
AT ITER 9241 NEW BEST:: SOT 67579653 SOS 11553841 HAS SOPS 11553841 HAS SOUS 4466332 HAS SOUPS 4466332 WITH SCORE 4477885.841
AT ITER 9264 NEW BEST:: SOT 67579441 SOS 11553947 HAS SOPS 11553947 HAS SOUS 4466014 HAS SOUPS 4466014 WITH SCORE 4477567.947
AT ITER 9274 NEW BEST:: SOT 67579431 SOS 11552753 HAS SOPS 11552753 HAS SOUS 4466004 HAS SOUPS 4466004 WITH SCORE 4477556.753
AT ITER 9277 NEW BEST:: SOT 67579431 SOS 11550789 HAS SOPS 11550789 HAS SOUS 4466004 HAS SOUPS 4466004 WITH SCORE 4477554.789
AT ITER 9280 NEW BEST:: SOT 67578844 SOS 11549615 HAS SOPS 11549615 HAS SOUS 4465417 HAS SOUPS 4465417 WITH SCORE 4476966.615
AT ITER 9310 NEW BEST:: SOT 67578379 SOS 11549460 HAS SOPS 11549460 HAS SOUS 4464797 HAS SOUPS 4464797 WITH SCORE 4476346.46
AT ITER 9326 NEW BEST:: SOT 67577870 SOS 11547933 HAS SOPS 11547933 HAS SOUS 4464287 HAS SOUPS 4464287 WITH SCORE 4475834.933
AT ITER 9340 NEW BEST:: SOT 67528185 SOS 11578409 HAS SOPS 11578409 HAS SOUS 4416555 HAS SOUPS 4416555 WITH SCORE 4428133.409
AT ITER 9348 NEW BEST:: SOT 67528157 SOS 11578353 HAS SOPS 11578353 HAS SOUS 4416475 HAS SOUPS 4416475 WITH SCORE 4428053.353
AT ITER 9369 NEW BEST:: SOT 67528157 SOS 11577804 HAS SOPS 11577804 HAS SOUS 4416462 HAS SOUPS 4416462 WITH SCORE 4428039.804
AT ITER 9371 NEW BEST:: SOT 67527211 SOS 11577816 HAS SOPS 11577816 HAS SOUS 4415827 HAS SOUPS 4415827 WITH SCORE 4427404.816
AT ITER 9378 NEW BEST:: SOT 67526660 SOS 11576714 HAS SOPS 11576714 HAS SOUS 4414952 HAS SOUPS 4414952 WITH SCORE 4426528.714
AT ITER 9434 NEW BEST:: SOT 67526426 SOS 11576248 HAS SOPS 11576248 HAS SOUS 4414718 HAS SOUPS 4414718 WITH SCORE 4426294.248
AT ITER 9448 NEW BEST:: SOT 67523892 SOS 11576976 HAS SOPS 11576976 HAS SOUS 4412646 HAS SOUPS 4412646 WITH SCORE 4424222.976
AT ITER 9475 NEW BEST:: SOT 67523892 SOS 11576950 HAS SOPS 11576950 HAS SOUS 4412646 HAS SOUPS 4412646 WITH SCORE 4424222.95
AT ITER 9476 NEW BEST:: SOT 67523362 SOS 11574300 HAS SOPS 11574300 HAS SOUS 4411586 HAS SOUPS 4411586 WITH SCORE 4423160.3
AT ITER 9483 NEW BEST:: SOT 67522790 SOS 11573156 HAS SOPS 11573156 HAS SOUS 4411014 HAS SOUPS 4411014 WITH SCORE 4422587.156
AT ITER 9493 NEW BEST:: SOT 67522192 SOS 11571960 HAS SOPS 11571960 HAS SOUS 4411014 HAS SOUPS 4411014 WITH SCORE 4422585.96
AT ITER 9500 NEW BEST:: SOT 67519962 SOS 11568365 HAS SOPS 11568365 HAS SOUS 4408089 HAS SOUPS 4408089 WITH SCORE 4419657.365
AT ITER 9509 NEW BEST:: SOT 67519221 SOS 11566883 HAS SOPS 11566883 HAS SOUS 4407406 HAS SOUPS 4407406 WITH SCORE 4418972.883
AT ITER 9522 NEW BEST:: SOT 67518997 SOS 11566435 HAS SOPS 11566435 HAS SOUS 4407182 HAS SOUPS 4407182 WITH SCORE 4418748.435
AT ITER 9564 NEW BEST:: SOT 67518963 SOS 11566367 HAS SOPS 11566367 HAS SOUS 4407148 HAS SOUPS 4407148 WITH SCORE 4418714.367
AT ITER 9571 NEW BEST:: SOT 67518359 SOS 11567154 HAS SOPS 11567154 HAS SOUS 4406544 HAS SOUPS 4406544 WITH SCORE 4418111.154
AT ITER 9586 NEW BEST:: SOT 67518333 SOS 11567076 HAS SOPS 11567076 HAS SOUS 4406518 HAS SOUPS 4406518 WITH SCORE 4418085.076
AT ITER 9591 NEW BEST:: SOT 67515604 SOS 11562753 HAS SOPS 11562753 HAS SOUS 4403043 HAS SOUPS 4403043 WITH SCORE 4414605.753
AT ITER 9641 NEW BEST:: SOT 67515459 SOS 11562463 HAS SOPS 11562463 HAS SOUS 4402898 HAS SOUPS 4402898 WITH SCORE 4414460.463
AT ITER 9663 NEW BEST:: SOT 67515400 SOS 11562286 HAS SOPS 11562286 HAS SOUS 4402766 HAS SOUPS 4402766 WITH SCORE 4414328.286
AT ITER 9683 NEW BEST:: SOT 67515311 SOS 11562244 HAS SOPS 11562244 HAS SOUS 4402676 HAS SOUPS 4402676 WITH SCORE 4414238.244
AT ITER 9684 NEW BEST:: SOT 67514821 SOS 11561264 HAS SOPS 11561264 HAS SOUS 4402186 HAS SOUPS 4402186 WITH SCORE 4413747.264
AT ITER 9697 NEW BEST:: SOT 67514821 SOS 11560494 HAS SOPS 11560494 HAS SOUS 4402186 HAS SOUPS 4402186 WITH SCORE 4413746.494
AT ITER 9741 NEW BEST:: SOT 67515203 SOS 11558678 HAS SOPS 11558678 HAS SOUS 4401802 HAS SOUPS 4401802 WITH SCORE 4413360.678
AT ITER 9746 NEW BEST:: SOT 67515133 SOS 11558538 HAS SOPS 11558538 HAS SOUS 4401800 HAS SOUPS 4401800 WITH SCORE 4413358.538
AT ITER 9747 NEW BEST:: SOT 67515133 SOS 11558293 HAS SOPS 11558293 HAS SOUS 4401800 HAS SOUPS 4401800 WITH SCORE 4413358.293
AT ITER 9770 NEW BEST:: SOT 67514872 SOS 11557771 HAS SOPS 11557771 HAS SOUS 4401799 HAS SOUPS 4401799 WITH SCORE 4413356.771
AT ITER 9789 NEW BEST:: SOT 67514185 SOS 11557724 HAS SOPS 11557724 HAS SOUS 4400166 HAS SOUPS 4400166 WITH SCORE 4411723.724
AT ITER 9790 NEW BEST:: SOT 67514185 SOS 11557607 HAS SOPS 11557607 HAS SOUS 4400166 HAS SOUPS 4400166 WITH SCORE 4411723.607
AT ITER 9809 NEW BEST:: SOT 67514168 SOS 11557539 HAS SOPS 11557539 HAS SOUS 4400149 HAS SOUPS 4400149 WITH SCORE 4411706.539
AT ITER 9815 NEW BEST:: SOT 67511389 SOS 11553395 HAS SOPS 11553395 HAS SOUS 4396663 HAS SOUPS 4396663 WITH SCORE 4408216.395
AT ITER 9819 NEW BEST:: SOT 67511661 SOS 11553939 HAS SOPS 11553939 HAS SOUS 4395876 HAS SOUPS 4395876 WITH SCORE 4407429.939
AT ITER 9841 NEW BEST:: SOT 67511280 SOS 11553177 HAS SOPS 11553177 HAS SOUS 4395875 HAS SOUPS 4395875 WITH SCORE 4407428.177
AT ITER 9858 NEW BEST:: SOT 67511212 SOS 11553041 HAS SOPS 11553041 HAS SOUS 4395806 HAS SOUPS 4395806 WITH SCORE 4407359.041
AT ITER 9860 NEW BEST:: SOT 67511212 SOS 11553766 HAS SOPS 11553766 HAS SOUS 4395268 HAS SOUPS 4395268 WITH SCORE 4406821.766
AT ITER 9882 NEW BEST:: SOT 67509266 SOS 11551494 HAS SOPS 11551494 HAS SOUS 4393377 HAS SOUPS 4393377 WITH SCORE 4404928.494
AT ITER 9890 NEW BEST:: SOT 67509266 SOS 11551494 HAS SOPS 11551494 HAS SOUS 4393376 HAS SOUPS 4393376 WITH SCORE 4404927.494
AT ITER 9920 NEW BEST:: SOT 67509245 SOS 11547964 HAS SOPS 11547964 HAS SOUS 4393355 HAS SOUPS 4393355 WITH SCORE 4404902.964
AT ITER 9935 NEW BEST:: SOT 67507526 SOS 11545532 HAS SOPS 11545532 HAS SOUS 4391234 HAS SOUPS 4391234 WITH SCORE 4402779.532
AT ITER 9952 NEW BEST:: SOT 67507395 SOS 11545270 HAS SOPS 11545270 HAS SOUS 4390984 HAS SOUPS 4390984 WITH SCORE 4402529.27
AT ITER 9953 NEW BEST:: SOT 67507146 SOS 11545300 HAS SOPS 11545300 HAS SOUS 4390874 HAS SOUPS 4390874 WITH SCORE 4402419.3

BK_TIME_CONFINEMENT_REACHED

--------------------
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="NoC3x3-PT-8B"
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 NoC3x3-PT-8B, 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 r108-csrt-158961250500456"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/NoC3x3-PT-8B.tgz
mv NoC3x3-PT-8B 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 ;