fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r003-smll-158897507900009
Last Updated
Jun 28, 2020

About the Execution of smart for ASLink-PT-01a

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15766.560 3362693.00 3362001.00 50.00 1.8940E+0008 9.5662E+0008 1 23 normal

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r003-smll-158897507900009.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is 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-smll-158897507900009
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 376K
-rw-r--r-- 1 mcc users 4.0K Mar 25 09:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 25 09:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 09:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 25 09:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.2K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 25 09:02 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 25 09:02 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 25 08:56 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 08:56 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 09:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 25 09:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 201K 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 1588982440082

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 01a
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/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 3 NEW BEST:: SOT 174428 SOS 120442 HAS SOPS 120442 HAS SOUS 64874 HAS SOUPS 64874 WITH SCORE 64994.442
AT ITER 6 NEW BEST:: SOT 173448 SOS 119462 HAS SOPS 119462 HAS SOUS 63894 HAS SOUPS 63894 WITH SCORE 64013.462
AT ITER 23 NEW BEST:: SOT 173448 SOS 119462 HAS SOPS 119462 HAS SOUS 63892 HAS SOUPS 63892 WITH SCORE 64011.462
AT ITER 29 NEW BEST:: SOT 173291 SOS 119305 HAS SOPS 119305 HAS SOUS 63891 HAS SOUPS 63891 WITH SCORE 64010.305
AT ITER 33 NEW BEST:: SOT 173291 SOS 118516 HAS SOPS 118516 HAS SOUS 63891 HAS SOUPS 63891 WITH SCORE 64009.516
AT ITER 35 NEW BEST:: SOT 173270 SOS 118495 HAS SOPS 118495 HAS SOUS 63887 HAS SOUPS 63887 WITH SCORE 64005.495
AT ITER 47 NEW BEST:: SOT 173036 SOS 118261 HAS SOPS 118261 HAS SOUS 63652 HAS SOUPS 63652 WITH SCORE 63770.261
AT ITER 48 NEW BEST:: SOT 172583 SOS 118075 HAS SOPS 118075 HAS SOUS 62990 HAS SOUPS 62990 WITH SCORE 63108.075
AT ITER 51 NEW BEST:: SOT 172494 SOS 117986 HAS SOPS 117986 HAS SOUS 62901 HAS SOUPS 62901 WITH SCORE 63018.986
AT ITER 54 NEW BEST:: SOT 172328 SOS 117820 HAS SOPS 117820 HAS SOUS 62852 HAS SOUPS 62852 WITH SCORE 62969.82
AT ITER 55 NEW BEST:: SOT 171809 SOS 117301 HAS SOPS 117301 HAS SOUS 62332 HAS SOUPS 62332 WITH SCORE 62449.301
AT ITER 63 NEW BEST:: SOT 171809 SOS 117301 HAS SOPS 117301 HAS SOUS 62329 HAS SOUPS 62329 WITH SCORE 62446.301
AT ITER 69 NEW BEST:: SOT 171619 SOS 117130 HAS SOPS 117130 HAS SOUS 62167 HAS SOUPS 62167 WITH SCORE 62284.13
AT ITER 75 NEW BEST:: SOT 171001 SOS 116600 HAS SOPS 116600 HAS SOUS 61634 HAS SOUPS 61634 WITH SCORE 61750.6
AT ITER 76 NEW BEST:: SOT 170959 SOS 116599 HAS SOPS 116599 HAS SOUS 61632 HAS SOUPS 61632 WITH SCORE 61748.599
AT ITER 78 NEW BEST:: SOT 170959 SOS 116599 HAS SOPS 116599 HAS SOUS 61622 HAS SOUPS 61622 WITH SCORE 61738.599
AT ITER 80 NEW BEST:: SOT 170799 SOS 116439 HAS SOPS 116439 HAS SOUS 61462 HAS SOUPS 61462 WITH SCORE 61578.439
AT ITER 84 NEW BEST:: SOT 170746 SOS 116376 HAS SOPS 116376 HAS SOUS 61451 HAS SOUPS 61451 WITH SCORE 61567.376
AT ITER 85 NEW BEST:: SOT 170779 SOS 116225 HAS SOPS 116225 HAS SOUS 61403 HAS SOUPS 61403 WITH SCORE 61519.225
AT ITER 92 NEW BEST:: SOT 170779 SOS 116127 HAS SOPS 116127 HAS SOUS 61387 HAS SOUPS 61387 WITH SCORE 61503.127
AT ITER 95 NEW BEST:: SOT 170566 SOS 116019 HAS SOPS 116019 HAS SOUS 61356 HAS SOUPS 61356 WITH SCORE 61472.019
AT ITER 99 NEW BEST:: SOT 170590 SOS 115639 HAS SOPS 115639 HAS SOUS 61356 HAS SOUPS 61356 WITH SCORE 61471.639
AT ITER 113 NEW BEST:: SOT 170513 SOS 115568 HAS SOPS 115568 HAS SOUS 61353 HAS SOUPS 61353 WITH SCORE 61468.568
AT ITER 114 NEW BEST:: SOT 170326 SOS 115471 HAS SOPS 115471 HAS SOUS 61095 HAS SOUPS 61095 WITH SCORE 61210.471
AT ITER 123 NEW BEST:: SOT 170326 SOS 115471 HAS SOPS 115471 HAS SOUS 61091 HAS SOUPS 61091 WITH SCORE 61206.471
AT ITER 128 NEW BEST:: SOT 170324 SOS 115469 HAS SOPS 115469 HAS SOUS 61089 HAS SOUPS 61089 WITH SCORE 61204.469
AT ITER 129 NEW BEST:: SOT 170369 SOS 115063 HAS SOPS 115063 HAS SOUS 61021 HAS SOUPS 61021 WITH SCORE 61136.063
AT ITER 144 NEW BEST:: SOT 170369 SOS 115009 HAS SOPS 115009 HAS SOUS 60859 HAS SOUPS 60859 WITH SCORE 60974.009
AT ITER 151 NEW BEST:: SOT 169786 SOS 114426 HAS SOPS 114426 HAS SOUS 60274 HAS SOUPS 60274 WITH SCORE 60388.426
AT ITER 160 NEW BEST:: SOT 169745 SOS 114426 HAS SOPS 114426 HAS SOUS 60273 HAS SOUPS 60273 WITH SCORE 60387.426
AT ITER 163 NEW BEST:: SOT 169699 SOS 114380 HAS SOPS 114380 HAS SOUS 60226 HAS SOUPS 60226 WITH SCORE 60340.38
AT ITER 172 NEW BEST:: SOT 169699 SOS 114520 HAS SOPS 114520 HAS SOUS 60216 HAS SOUPS 60216 WITH SCORE 60330.52
AT ITER 174 NEW BEST:: SOT 169699 SOS 114492 HAS SOPS 114492 HAS SOUS 60215 HAS SOUPS 60215 WITH SCORE 60329.492
AT ITER 176 NEW BEST:: SOT 169661 SOS 114307 HAS SOPS 114307 HAS SOUS 60062 HAS SOUPS 60062 WITH SCORE 60176.307
AT ITER 181 NEW BEST:: SOT 169286 SOS 114188 HAS SOPS 114188 HAS SOUS 59800 HAS SOUPS 59800 WITH SCORE 59914.188
AT ITER 211 NEW BEST:: SOT 169198 SOS 114120 HAS SOPS 114120 HAS SOUS 59712 HAS SOUPS 59712 WITH SCORE 59826.12
AT ITER 219 NEW BEST:: SOT 169198 SOS 114120 HAS SOPS 114120 HAS SOUS 59702 HAS SOUPS 59702 WITH SCORE 59816.12
AT ITER 225 NEW BEST:: SOT 169084 SOS 113956 HAS SOPS 113956 HAS SOUS 59536 HAS SOUPS 59536 WITH SCORE 59649.956
AT ITER 227 NEW BEST:: SOT 168076 SOS 112948 HAS SOPS 112948 HAS SOUS 58519 HAS SOUPS 58519 WITH SCORE 58631.948
AT ITER 230 NEW BEST:: SOT 168078 SOS 112950 HAS SOPS 112950 HAS SOUS 58511 HAS SOUPS 58511 WITH SCORE 58623.95
AT ITER 242 NEW BEST:: SOT 168078 SOS 112959 HAS SOPS 112959 HAS SOUS 58510 HAS SOUPS 58510 WITH SCORE 58622.959
AT ITER 245 NEW BEST:: SOT 168078 SOS 112929 HAS SOPS 112929 HAS SOUS 58480 HAS SOUPS 58480 WITH SCORE 58592.929
AT ITER 246 NEW BEST:: SOT 168078 SOS 112929 HAS SOPS 112929 HAS SOUS 58469 HAS SOUPS 58469 WITH SCORE 58581.929
AT ITER 264 NEW BEST:: SOT 166202 SOS 112070 HAS SOPS 112070 HAS SOUS 56751 HAS SOUPS 56751 WITH SCORE 56863.07
AT ITER 267 NEW BEST:: SOT 166146 SOS 112014 HAS SOPS 112014 HAS SOUS 56744 HAS SOUPS 56744 WITH SCORE 56856.014
AT ITER 272 NEW BEST:: SOT 166145 SOS 112012 HAS SOPS 112012 HAS SOUS 56637 HAS SOUPS 56637 WITH SCORE 56749.012
AT ITER 273 NEW BEST:: SOT 165677 SOS 111544 HAS SOPS 111544 HAS SOUS 56165 HAS SOUPS 56165 WITH SCORE 56276.544
AT ITER 282 NEW BEST:: SOT 165671 SOS 111538 HAS SOPS 111538 HAS SOUS 56159 HAS SOUPS 56159 WITH SCORE 56270.538
AT ITER 298 NEW BEST:: SOT 165631 SOS 111536 HAS SOPS 111536 HAS SOUS 56117 HAS SOUPS 56117 WITH SCORE 56228.536
AT ITER 299 NEW BEST:: SOT 165568 SOS 111218 HAS SOPS 111218 HAS SOUS 55950 HAS SOUPS 55950 WITH SCORE 56061.218
AT ITER 300 NEW BEST:: SOT 165532 SOS 111182 HAS SOPS 111182 HAS SOUS 55913 HAS SOUPS 55913 WITH SCORE 56024.182
AT ITER 303 NEW BEST:: SOT 165527 SOS 111177 HAS SOPS 111177 HAS SOUS 55908 HAS SOUPS 55908 WITH SCORE 56019.177
AT ITER 312 NEW BEST:: SOT 161848 SOS 109668 HAS SOPS 109668 HAS SOUS 52417 HAS SOUPS 52417 WITH SCORE 52526.668
AT ITER 335 NEW BEST:: SOT 161835 SOS 109655 HAS SOPS 109655 HAS SOUS 52413 HAS SOUPS 52413 WITH SCORE 52522.655
AT ITER 338 NEW BEST:: SOT 161816 SOS 109636 HAS SOPS 109636 HAS SOUS 52394 HAS SOUPS 52394 WITH SCORE 52503.636
AT ITER 345 NEW BEST:: SOT 161704 SOS 109899 HAS SOPS 109899 HAS SOUS 52365 HAS SOUPS 52365 WITH SCORE 52474.899
AT ITER 347 NEW BEST:: SOT 161558 SOS 109842 HAS SOPS 109842 HAS SOUS 52307 HAS SOUPS 52307 WITH SCORE 52416.842
AT ITER 352 NEW BEST:: SOT 161558 SOS 109840 HAS SOPS 109840 HAS SOUS 52306 HAS SOUPS 52306 WITH SCORE 52415.84
AT ITER 354 NEW BEST:: SOT 161454 SOS 109722 HAS SOPS 109722 HAS SOUS 51903 HAS SOUPS 51903 WITH SCORE 52012.722
AT ITER 365 NEW BEST:: SOT 161454 SOS 109703 HAS SOPS 109703 HAS SOUS 51883 HAS SOUPS 51883 WITH SCORE 51992.703
AT ITER 366 NEW BEST:: SOT 160856 SOS 109105 HAS SOPS 109105 HAS SOUS 51278 HAS SOUPS 51278 WITH SCORE 51387.105
AT ITER 369 NEW BEST:: SOT 160782 SOS 109031 HAS SOPS 109031 HAS SOUS 51192 HAS SOUPS 51192 WITH SCORE 51301.031
AT ITER 371 NEW BEST:: SOT 160782 SOS 109031 HAS SOPS 109031 HAS SOUS 51189 HAS SOUPS 51189 WITH SCORE 51298.031
AT ITER 381 NEW BEST:: SOT 160771 SOS 109020 HAS SOPS 109020 HAS SOUS 51178 HAS SOUPS 51178 WITH SCORE 51287.02
AT ITER 386 NEW BEST:: SOT 159513 SOS 107683 HAS SOPS 107683 HAS SOUS 49841 HAS SOUPS 49841 WITH SCORE 49948.683
AT ITER 387 NEW BEST:: SOT 159564 SOS 107546 HAS SOPS 107546 HAS SOUS 49730 HAS SOUPS 49730 WITH SCORE 49837.546
AT ITER 399 NEW BEST:: SOT 159557 SOS 106871 HAS SOPS 106871 HAS SOUS 49715 HAS SOUPS 49715 WITH SCORE 49821.871
AT ITER 429 NEW BEST:: SOT 159506 SOS 106820 HAS SOPS 106820 HAS SOUS 49664 HAS SOUPS 49664 WITH SCORE 49770.82
AT ITER 435 NEW BEST:: SOT 159431 SOS 106745 HAS SOPS 106745 HAS SOUS 49571 HAS SOUPS 49571 WITH SCORE 49677.745
AT ITER 443 NEW BEST:: SOT 159431 SOS 106729 HAS SOPS 106729 HAS SOUS 49555 HAS SOUPS 49555 WITH SCORE 49661.729
AT ITER 449 NEW BEST:: SOT 159442 SOS 106740 HAS SOPS 106740 HAS SOUS 49528 HAS SOUPS 49528 WITH SCORE 49634.74
AT ITER 452 NEW BEST:: SOT 159500 SOS 106622 HAS SOPS 106622 HAS SOUS 49524 HAS SOUPS 49524 WITH SCORE 49630.622
AT ITER 458 NEW BEST:: SOT 159479 SOS 106601 HAS SOPS 106601 HAS SOUS 49503 HAS SOUPS 49503 WITH SCORE 49609.601
AT ITER 465 NEW BEST:: SOT 159456 SOS 106599 HAS SOPS 106599 HAS SOUS 49500 HAS SOUPS 49500 WITH SCORE 49606.599
AT ITER 472 NEW BEST:: SOT 159449 SOS 106590 HAS SOPS 106590 HAS SOUS 49491 HAS SOUPS 49491 WITH SCORE 49597.59
AT ITER 474 NEW BEST:: SOT 159507 SOS 106869 HAS SOPS 106869 HAS SOUS 49389 HAS SOUPS 49389 WITH SCORE 49495.869
AT ITER 476 NEW BEST:: SOT 158057 SOS 107439 HAS SOPS 107439 HAS SOUS 48151 HAS SOUPS 48151 WITH SCORE 48258.439
AT ITER 483 NEW BEST:: SOT 158055 SOS 107351 HAS SOPS 107351 HAS SOUS 48095 HAS SOUPS 48095 WITH SCORE 48202.351
AT ITER 487 NEW BEST:: SOT 158055 SOS 107351 HAS SOPS 107351 HAS SOUS 48087 HAS SOUPS 48087 WITH SCORE 48194.351
AT ITER 489 NEW BEST:: SOT 158055 SOS 107281 HAS SOPS 107281 HAS SOUS 48082 HAS SOUPS 48082 WITH SCORE 48189.281
AT ITER 492 NEW BEST:: SOT 157567 SOS 106084 HAS SOPS 106084 HAS SOUS 47520 HAS SOUPS 47520 WITH SCORE 47626.084
AT ITER 498 NEW BEST:: SOT 157613 SOS 106130 HAS SOPS 106130 HAS SOUS 47460 HAS SOUPS 47460 WITH SCORE 47566.13
AT ITER 500 NEW BEST:: SOT 157612 SOS 106128 HAS SOPS 106128 HAS SOUS 47435 HAS SOUPS 47435 WITH SCORE 47541.128
AT ITER 503 NEW BEST:: SOT 157610 SOS 106126 HAS SOPS 106126 HAS SOUS 47433 HAS SOUPS 47433 WITH SCORE 47539.126
AT ITER 505 NEW BEST:: SOT 157610 SOS 106143 HAS SOPS 106143 HAS SOUS 47394 HAS SOUPS 47394 WITH SCORE 47500.143
AT ITER 524 NEW BEST:: SOT 157629 SOS 106180 HAS SOPS 106180 HAS SOUS 47393 HAS SOUPS 47393 WITH SCORE 47499.18
AT ITER 544 NEW BEST:: SOT 157505 SOS 106029 HAS SOPS 106029 HAS SOUS 47391 HAS SOUPS 47391 WITH SCORE 47497.029
AT ITER 547 NEW BEST:: SOT 157483 SOS 105992 HAS SOPS 105992 HAS SOUS 47347 HAS SOUPS 47347 WITH SCORE 47452.992
AT ITER 553 NEW BEST:: SOT 157415 SOS 105755 HAS SOPS 105755 HAS SOUS 47203 HAS SOUPS 47203 WITH SCORE 47308.755
AT ITER 555 NEW BEST:: SOT 157406 SOS 105727 HAS SOPS 105727 HAS SOUS 47183 HAS SOUPS 47183 WITH SCORE 47288.727
AT ITER 566 NEW BEST:: SOT 157374 SOS 105631 HAS SOPS 105631 HAS SOUS 47087 HAS SOUPS 47087 WITH SCORE 47192.631
AT ITER 568 NEW BEST:: SOT 157371 SOS 105534 HAS SOPS 105534 HAS SOUS 47038 HAS SOUPS 47038 WITH SCORE 47143.534
AT ITER 573 NEW BEST:: SOT 157243 SOS 105356 HAS SOPS 105356 HAS SOUS 46746 HAS SOUPS 46746 WITH SCORE 46851.356
AT ITER 576 NEW BEST:: SOT 156983 SOS 105608 HAS SOPS 105608 HAS SOUS 46538 HAS SOUPS 46538 WITH SCORE 46643.608
AT ITER 579 NEW BEST:: SOT 156889 SOS 105514 HAS SOPS 105514 HAS SOUS 46400 HAS SOUPS 46400 WITH SCORE 46505.514
AT ITER 590 NEW BEST:: SOT 156984 SOS 105438 HAS SOPS 105438 HAS SOUS 46324 HAS SOUPS 46324 WITH SCORE 46429.438
AT ITER 595 NEW BEST:: SOT 156968 SOS 105424 HAS SOPS 105424 HAS SOUS 46310 HAS SOUPS 46310 WITH SCORE 46415.424
AT ITER 603 NEW BEST:: SOT 156968 SOS 105355 HAS SOPS 105355 HAS SOUS 46310 HAS SOUPS 46310 WITH SCORE 46415.355
AT ITER 611 NEW BEST:: SOT 156968 SOS 105260 HAS SOPS 105260 HAS SOUS 46215 HAS SOUPS 46215 WITH SCORE 46320.26
AT ITER 613 NEW BEST:: SOT 156961 SOS 105162 HAS SOPS 105162 HAS SOUS 46117 HAS SOUPS 46117 WITH SCORE 46222.162
AT ITER 614 NEW BEST:: SOT 156928 SOS 105244 HAS SOPS 105244 HAS SOUS 46031 HAS SOUPS 46031 WITH SCORE 46136.244
AT ITER 615 NEW BEST:: SOT 156847 SOS 105195 HAS SOPS 105195 HAS SOUS 45982 HAS SOUPS 45982 WITH SCORE 46087.195
AT ITER 618 NEW BEST:: SOT 155956 SOS 104430 HAS SOPS 104430 HAS SOUS 45217 HAS SOUPS 45217 WITH SCORE 45321.43
AT ITER 623 NEW BEST:: SOT 155900 SOS 104425 HAS SOPS 104425 HAS SOUS 45211 HAS SOUPS 45211 WITH SCORE 45315.425
AT ITER 625 NEW BEST:: SOT 155800 SOS 104399 HAS SOPS 104399 HAS SOUS 45150 HAS SOUPS 45150 WITH SCORE 45254.399
AT ITER 647 NEW BEST:: SOT 155802 SOS 104401 HAS SOPS 104401 HAS SOUS 45149 HAS SOUPS 45149 WITH SCORE 45253.401
AT ITER 653 NEW BEST:: SOT 155876 SOS 105000 HAS SOPS 105000 HAS SOUS 45104 HAS SOUPS 45104 WITH SCORE 45209.0
AT ITER 663 NEW BEST:: SOT 155876 SOS 104833 HAS SOPS 104833 HAS SOUS 45096 HAS SOUPS 45096 WITH SCORE 45200.833
AT ITER 699 NEW BEST:: SOT 155876 SOS 104818 HAS SOPS 104818 HAS SOUS 45096 HAS SOUPS 45096 WITH SCORE 45200.818
AT ITER 727 NEW BEST:: SOT 155875 SOS 104817 HAS SOPS 104817 HAS SOUS 45095 HAS SOUPS 45095 WITH SCORE 45199.817
AT ITER 733 NEW BEST:: SOT 155834 SOS 104434 HAS SOPS 104434 HAS SOUS 44802 HAS SOUPS 44802 WITH SCORE 44906.434
AT ITER 734 NEW BEST:: SOT 155812 SOS 104361 HAS SOPS 104361 HAS SOUS 44712 HAS SOUPS 44712 WITH SCORE 44816.361
AT ITER 739 NEW BEST:: SOT 155849 SOS 104247 HAS SOPS 104247 HAS SOUS 44712 HAS SOUPS 44712 WITH SCORE 44816.247
AT ITER 762 NEW BEST:: SOT 155069 SOS 104279 HAS SOPS 104279 HAS SOUS 44183 HAS SOUPS 44183 WITH SCORE 44287.279
AT ITER 765 NEW BEST:: SOT 155062 SOS 104272 HAS SOPS 104272 HAS SOUS 44176 HAS SOUPS 44176 WITH SCORE 44280.272
AT ITER 767 NEW BEST:: SOT 155051 SOS 104261 HAS SOPS 104261 HAS SOUS 44165 HAS SOUPS 44165 WITH SCORE 44269.261
AT ITER 771 NEW BEST:: SOT 154998 SOS 104208 HAS SOPS 104208 HAS SOUS 44013 HAS SOUPS 44013 WITH SCORE 44117.208
AT ITER 806 NEW BEST:: SOT 154914 SOS 104124 HAS SOPS 104124 HAS SOUS 43929 HAS SOUPS 43929 WITH SCORE 44033.124
AT ITER 851 NEW BEST:: SOT 154782 SOS 103970 HAS SOPS 103970 HAS SOUS 43775 HAS SOUPS 43775 WITH SCORE 43878.97
AT ITER 863 NEW BEST:: SOT 155361 SOS 104548 HAS SOPS 104548 HAS SOUS 43729 HAS SOUPS 43729 WITH SCORE 43833.548
AT ITER 875 NEW BEST:: SOT 155310 SOS 104335 HAS SOPS 104335 HAS SOUS 43627 HAS SOUPS 43627 WITH SCORE 43731.335
AT ITER 898 NEW BEST:: SOT 155223 SOS 104248 HAS SOPS 104248 HAS SOUS 43540 HAS SOUPS 43540 WITH SCORE 43644.248
AT ITER 900 NEW BEST:: SOT 155174 SOS 104150 HAS SOPS 104150 HAS SOUS 43442 HAS SOUPS 43442 WITH SCORE 43546.15
AT ITER 902 NEW BEST:: SOT 155107 SOS 104083 HAS SOPS 104083 HAS SOUS 43345 HAS SOUPS 43345 WITH SCORE 43449.083
AT ITER 904 NEW BEST:: SOT 155107 SOS 104083 HAS SOPS 104083 HAS SOUS 43279 HAS SOUPS 43279 WITH SCORE 43383.083
AT ITER 910 NEW BEST:: SOT 155059 SOS 103970 HAS SOPS 103970 HAS SOUS 43110 HAS SOUPS 43110 WITH SCORE 43213.97
AT ITER 926 NEW BEST:: SOT 155160 SOS 104071 HAS SOPS 104071 HAS SOUS 43093 HAS SOUPS 43093 WITH SCORE 43197.071
AT ITER 945 NEW BEST:: SOT 154938 SOS 103849 HAS SOPS 103849 HAS SOUS 43016 HAS SOUPS 43016 WITH SCORE 43119.849
AT ITER 948 NEW BEST:: SOT 154926 SOS 103826 HAS SOPS 103826 HAS SOUS 43000 HAS SOUPS 43000 WITH SCORE 43103.826
AT ITER 955 NEW BEST:: SOT 154907 SOS 103809 HAS SOPS 103809 HAS SOUS 42983 HAS SOUPS 42983 WITH SCORE 43086.809
AT ITER 958 NEW BEST:: SOT 154905 SOS 103812 HAS SOPS 103812 HAS SOUS 42979 HAS SOUPS 42979 WITH SCORE 43082.812
AT ITER 981 NEW BEST:: SOT 154905 SOS 103796 HAS SOPS 103796 HAS SOUS 42978 HAS SOUPS 42978 WITH SCORE 43081.796
AT ITER 982 NEW BEST:: SOT 154881 SOS 103772 HAS SOPS 103772 HAS SOUS 42954 HAS SOUPS 42954 WITH SCORE 43057.772
AT ITER 986 NEW BEST:: SOT 154880 SOS 103771 HAS SOPS 103771 HAS SOUS 42917 HAS SOUPS 42917 WITH SCORE 43020.771
AT ITER 995 NEW BEST:: SOT 154751 SOS 103643 HAS SOPS 103643 HAS SOUS 42789 HAS SOUPS 42789 WITH SCORE 42892.643
AT ITER 1009 NEW BEST:: SOT 154650 SOS 103732 HAS SOPS 103732 HAS SOUS 42698 HAS SOUPS 42698 WITH SCORE 42801.732
AT ITER 1011 NEW BEST:: SOT 154758 SOS 103840 HAS SOPS 103840 HAS SOUS 42662 HAS SOUPS 42662 WITH SCORE 42765.84
AT ITER 1024 NEW BEST:: SOT 154819 SOS 104000 HAS SOPS 104000 HAS SOUS 42658 HAS SOUPS 42658 WITH SCORE 42762.0
AT ITER 1032 NEW BEST:: SOT 154819 SOS 103959 HAS SOPS 103959 HAS SOUS 42617 HAS SOUPS 42617 WITH SCORE 42720.959
AT ITER 1036 NEW BEST:: SOT 154813 SOS 103918 HAS SOPS 103918 HAS SOUS 42606 HAS SOUPS 42606 WITH SCORE 42709.918
AT ITER 1071 NEW BEST:: SOT 154813 SOS 103452 HAS SOPS 103452 HAS SOUS 42606 HAS SOUPS 42606 WITH SCORE 42709.452
AT ITER 1085 NEW BEST:: SOT 154737 SOS 103225 HAS SOPS 103225 HAS SOUS 42381 HAS SOUPS 42381 WITH SCORE 42484.225
AT ITER 1088 NEW BEST:: SOT 154650 SOS 102962 HAS SOPS 102962 HAS SOUS 42205 HAS SOUPS 42205 WITH SCORE 42307.962
AT ITER 1090 NEW BEST:: SOT 154589 SOS 102431 HAS SOPS 102431 HAS SOUS 41972 HAS SOUPS 41972 WITH SCORE 42074.431
AT ITER 1092 NEW BEST:: SOT 154566 SOS 102386 HAS SOPS 102386 HAS SOUS 41905 HAS SOUPS 41905 WITH SCORE 42007.386
AT ITER 1108 NEW BEST:: SOT 154563 SOS 102383 HAS SOPS 102383 HAS SOUS 41899 HAS SOUPS 41899 WITH SCORE 42001.383
AT ITER 1111 NEW BEST:: SOT 154562 SOS 102382 HAS SOPS 102382 HAS SOUS 41897 HAS SOUPS 41897 WITH SCORE 41999.382
AT ITER 1113 NEW BEST:: SOT 154560 SOS 102232 HAS SOPS 102232 HAS SOUS 41880 HAS SOUPS 41880 WITH SCORE 41982.232
AT ITER 1115 NEW BEST:: SOT 154560 SOS 102226 HAS SOPS 102226 HAS SOUS 41874 HAS SOUPS 41874 WITH SCORE 41976.226
AT ITER 1135 NEW BEST:: SOT 154382 SOS 101963 HAS SOPS 101963 HAS SOUS 41611 HAS SOUPS 41611 WITH SCORE 41712.963
AT ITER 1146 NEW BEST:: SOT 154382 SOS 101963 HAS SOPS 101963 HAS SOUS 41593 HAS SOUPS 41593 WITH SCORE 41694.963
AT ITER 1157 NEW BEST:: SOT 154382 SOS 101963 HAS SOPS 101963 HAS SOUS 41588 HAS SOUPS 41588 WITH SCORE 41689.963
AT ITER 1162 NEW BEST:: SOT 154300 SOS 101639 HAS SOPS 101639 HAS SOUS 41404 HAS SOUPS 41404 WITH SCORE 41505.639
AT ITER 1170 NEW BEST:: SOT 154297 SOS 101636 HAS SOPS 101636 HAS SOUS 41398 HAS SOUPS 41398 WITH SCORE 41499.636
AT ITER 1181 NEW BEST:: SOT 154135 SOS 101470 HAS SOPS 101470 HAS SOUS 41232 HAS SOUPS 41232 WITH SCORE 41333.47
AT ITER 1187 NEW BEST:: SOT 154135 SOS 101386 HAS SOPS 101386 HAS SOUS 41110 HAS SOUPS 41110 WITH SCORE 41211.386
AT ITER 1190 NEW BEST:: SOT 154104 SOS 101324 HAS SOPS 101324 HAS SOUS 41110 HAS SOUPS 41110 WITH SCORE 41211.324
AT ITER 1192 NEW BEST:: SOT 154036 SOS 101222 HAS SOPS 101222 HAS SOUS 41008 HAS SOUPS 41008 WITH SCORE 41109.222
AT ITER 1195 NEW BEST:: SOT 154028 SOS 101160 HAS SOPS 101160 HAS SOUS 40900 HAS SOUPS 40900 WITH SCORE 41001.16
AT ITER 1201 NEW BEST:: SOT 154028 SOS 101152 HAS SOPS 101152 HAS SOUS 40899 HAS SOUPS 40899 WITH SCORE 41000.152
AT ITER 1202 NEW BEST:: SOT 153959 SOS 101005 HAS SOPS 101005 HAS SOUS 40752 HAS SOUPS 40752 WITH SCORE 40853.005
AT ITER 1207 NEW BEST:: SOT 153885 SOS 100931 HAS SOPS 100931 HAS SOUS 40641 HAS SOUPS 40641 WITH SCORE 40741.931
AT ITER 1223 NEW BEST:: SOT 153885 SOS 100853 HAS SOPS 100853 HAS SOUS 40526 HAS SOUPS 40526 WITH SCORE 40626.853
AT ITER 1251 NEW BEST:: SOT 153890 SOS 100849 HAS SOPS 100849 HAS SOUS 40521 HAS SOUPS 40521 WITH SCORE 40621.849
AT ITER 1252 NEW BEST:: SOT 153882 SOS 100958 HAS SOPS 100958 HAS SOUS 40514 HAS SOUPS 40514 WITH SCORE 40614.958
AT ITER 1253 NEW BEST:: SOT 153868 SOS 100944 HAS SOPS 100944 HAS SOUS 40493 HAS SOUPS 40493 WITH SCORE 40593.944
AT ITER 1272 NEW BEST:: SOT 153868 SOS 100958 HAS SOPS 100958 HAS SOUS 40481 HAS SOUPS 40481 WITH SCORE 40581.958
AT ITER 1282 NEW BEST:: SOT 153818 SOS 100851 HAS SOPS 100851 HAS SOUS 40444 HAS SOUPS 40444 WITH SCORE 40544.851
AT ITER 1289 NEW BEST:: SOT 153809 SOS 100842 HAS SOPS 100842 HAS SOUS 40435 HAS SOUPS 40435 WITH SCORE 40535.842
AT ITER 1295 NEW BEST:: SOT 153757 SOS 100910 HAS SOPS 100910 HAS SOUS 40373 HAS SOUPS 40373 WITH SCORE 40473.91
AT ITER 1301 NEW BEST:: SOT 153418 SOS 100803 HAS SOPS 100803 HAS SOUS 40092 HAS SOUPS 40092 WITH SCORE 40192.803
AT ITER 1307 NEW BEST:: SOT 153410 SOS 100787 HAS SOPS 100787 HAS SOUS 40084 HAS SOUPS 40084 WITH SCORE 40184.787
AT ITER 1327 NEW BEST:: SOT 153148 SOS 100232 HAS SOPS 100232 HAS SOUS 39560 HAS SOUPS 39560 WITH SCORE 39660.232
AT ITER 1328 NEW BEST:: SOT 153029 SOS 101076 HAS SOPS 101076 HAS SOUS 39496 HAS SOUPS 39496 WITH SCORE 39597.076
AT ITER 1337 NEW BEST:: SOT 153021 SOS 101068 HAS SOPS 101068 HAS SOUS 39488 HAS SOUPS 39488 WITH SCORE 39589.068
AT ITER 1338 NEW BEST:: SOT 152694 SOS 100741 HAS SOPS 100741 HAS SOUS 39160 HAS SOUPS 39160 WITH SCORE 39260.741
AT ITER 1342 NEW BEST:: SOT 152685 SOS 100714 HAS SOPS 100714 HAS SOUS 39142 HAS SOUPS 39142 WITH SCORE 39242.714
AT ITER 1354 NEW BEST:: SOT 152647 SOS 100676 HAS SOPS 100676 HAS SOUS 39095 HAS SOUPS 39095 WITH SCORE 39195.676
AT ITER 1370 NEW BEST:: SOT 152634 SOS 100666 HAS SOPS 100666 HAS SOUS 39004 HAS SOUPS 39004 WITH SCORE 39104.666
AT ITER 1377 NEW BEST:: SOT 152609 SOS 100566 HAS SOPS 100566 HAS SOUS 38954 HAS SOUPS 38954 WITH SCORE 39054.566
AT ITER 1381 NEW BEST:: SOT 152633 SOS 100590 HAS SOPS 100590 HAS SOUS 38618 HAS SOUPS 38618 WITH SCORE 38718.59
AT ITER 1390 NEW BEST:: SOT 152630 SOS 100587 HAS SOPS 100587 HAS SOUS 38615 HAS SOUPS 38615 WITH SCORE 38715.587
AT ITER 1406 NEW BEST:: SOT 152697 SOS 100505 HAS SOPS 100505 HAS SOUS 38582 HAS SOUPS 38582 WITH SCORE 38682.505
AT ITER 1426 NEW BEST:: SOT 152597 SOS 100405 HAS SOPS 100405 HAS SOUS 38582 HAS SOUPS 38582 WITH SCORE 38682.405
AT ITER 1431 NEW BEST:: SOT 152596 SOS 100404 HAS SOPS 100404 HAS SOUS 38553 HAS SOUPS 38553 WITH SCORE 38653.404
AT ITER 1444 NEW BEST:: SOT 152587 SOS 100342 HAS SOPS 100342 HAS SOUS 38434 HAS SOUPS 38434 WITH SCORE 38534.342
AT ITER 1457 NEW BEST:: SOT 152556 SOS 100271 HAS SOPS 100271 HAS SOUS 38363 HAS SOUPS 38363 WITH SCORE 38463.271
AT ITER 1467 NEW BEST:: SOT 152556 SOS 100271 HAS SOPS 100271 HAS SOUS 38342 HAS SOUPS 38342 WITH SCORE 38442.271
AT ITER 1470 NEW BEST:: SOT 152473 SOS 100171 HAS SOPS 100171 HAS SOUS 38242 HAS SOUPS 38242 WITH SCORE 38342.171
AT ITER 1493 NEW BEST:: SOT 151918 SOS 99648 HAS SOPS 99648 HAS SOUS 37846 HAS SOUPS 37846 WITH SCORE 37945.648
AT ITER 1500 NEW BEST:: SOT 151918 SOS 99641 HAS SOPS 99641 HAS SOUS 37846 HAS SOUPS 37846 WITH SCORE 37945.641
AT ITER 1509 NEW BEST:: SOT 151370 SOS 99092 HAS SOPS 99092 HAS SOUS 37331 HAS SOUPS 37331 WITH SCORE 37430.092
AT ITER 1518 NEW BEST:: SOT 151330 SOS 99052 HAS SOPS 99052 HAS SOUS 37291 HAS SOUPS 37291 WITH SCORE 37390.052
AT ITER 1530 NEW BEST:: SOT 151292 SOS 98742 HAS SOPS 98742 HAS SOUS 37225 HAS SOUPS 37225 WITH SCORE 37323.742
AT ITER 1533 NEW BEST:: SOT 151322 SOS 98774 HAS SOPS 98774 HAS SOUS 37189 HAS SOUPS 37189 WITH SCORE 37287.774
AT ITER 1535 NEW BEST:: SOT 151291 SOS 98743 HAS SOPS 98743 HAS SOUS 37158 HAS SOUPS 37158 WITH SCORE 37256.743
AT ITER 1551 NEW BEST:: SOT 151286 SOS 98725 HAS SOPS 98725 HAS SOUS 37148 HAS SOUPS 37148 WITH SCORE 37246.725
AT ITER 1552 NEW BEST:: SOT 151286 SOS 98715 HAS SOPS 98715 HAS SOUS 37148 HAS SOUPS 37148 WITH SCORE 37246.715
AT ITER 1554 NEW BEST:: SOT 151187 SOS 97926 HAS SOPS 97926 HAS SOUS 36980 HAS SOUPS 36980 WITH SCORE 37077.926
AT ITER 1557 NEW BEST:: SOT 151083 SOS 97822 HAS SOPS 97822 HAS SOUS 36876 HAS SOUPS 36876 WITH SCORE 36973.822
AT ITER 1617 NEW BEST:: SOT 151040 SOS 97779 HAS SOPS 97779 HAS SOUS 36802 HAS SOUPS 36802 WITH SCORE 36899.779
AT ITER 1639 NEW BEST:: SOT 151039 SOS 97742 HAS SOPS 97742 HAS SOUS 36800 HAS SOUPS 36800 WITH SCORE 36897.742
AT ITER 1653 NEW BEST:: SOT 151032 SOS 97735 HAS SOPS 97735 HAS SOUS 36793 HAS SOUPS 36793 WITH SCORE 36890.735
AT ITER 1657 NEW BEST:: SOT 151005 SOS 97700 HAS SOPS 97700 HAS SOUS 36758 HAS SOUPS 36758 WITH SCORE 36855.7
AT ITER 1658 NEW BEST:: SOT 151005 SOS 97700 HAS SOPS 97700 HAS SOUS 36706 HAS SOUPS 36706 WITH SCORE 36803.7
AT ITER 1674 NEW BEST:: SOT 151005 SOS 97661 HAS SOPS 97661 HAS SOUS 36706 HAS SOUPS 36706 WITH SCORE 36803.661
AT ITER 1683 NEW BEST:: SOT 150568 SOS 97946 HAS SOPS 97946 HAS SOUS 36390 HAS SOUPS 36390 WITH SCORE 36487.946
AT ITER 1694 NEW BEST:: SOT 150474 SOS 97852 HAS SOPS 97852 HAS SOUS 36292 HAS SOUPS 36292 WITH SCORE 36389.852
AT ITER 1758 NEW BEST:: SOT 150413 SOS 97791 HAS SOPS 97791 HAS SOUS 36231 HAS SOUPS 36231 WITH SCORE 36328.791
AT ITER 1759 NEW BEST:: SOT 150413 SOS 97769 HAS SOPS 97769 HAS SOUS 36220 HAS SOUPS 36220 WITH SCORE 36317.769
AT ITER 1782 NEW BEST:: SOT 150413 SOS 97769 HAS SOPS 97769 HAS SOUS 36204 HAS SOUPS 36204 WITH SCORE 36301.769
AT ITER 1796 NEW BEST:: SOT 150413 SOS 97719 HAS SOPS 97719 HAS SOUS 36204 HAS SOUPS 36204 WITH SCORE 36301.719
AT ITER 1802 NEW BEST:: SOT 150313 SOS 97687 HAS SOPS 97687 HAS SOUS 36138 HAS SOUPS 36138 WITH SCORE 36235.687
AT ITER 1804 NEW BEST:: SOT 150313 SOS 97687 HAS SOPS 97687 HAS SOUS 36116 HAS SOUPS 36116 WITH SCORE 36213.687
AT ITER 1805 NEW BEST:: SOT 150275 SOS 97702 HAS SOPS 97702 HAS SOUS 36078 HAS SOUPS 36078 WITH SCORE 36175.702
AT ITER 1829 NEW BEST:: SOT 150312 SOS 97739 HAS SOPS 97739 HAS SOUS 36062 HAS SOUPS 36062 WITH SCORE 36159.739
AT ITER 1831 NEW BEST:: SOT 150234 SOS 98089 HAS SOPS 98089 HAS SOUS 36047 HAS SOUPS 36047 WITH SCORE 36145.089
AT ITER 1837 NEW BEST:: SOT 150234 SOS 98057 HAS SOPS 98057 HAS SOUS 36047 HAS SOUPS 36047 WITH SCORE 36145.057
AT ITER 1838 NEW BEST:: SOT 150172 SOS 97871 HAS SOPS 97871 HAS SOUS 35861 HAS SOUPS 35861 WITH SCORE 35958.871
AT ITER 1843 NEW BEST:: SOT 150171 SOS 97870 HAS SOPS 97870 HAS SOUS 35859 HAS SOUPS 35859 WITH SCORE 35956.87
AT ITER 1847 NEW BEST:: SOT 150171 SOS 96629 HAS SOPS 96629 HAS SOUS 35765 HAS SOUPS 35765 WITH SCORE 35861.629
AT ITER 1858 NEW BEST:: SOT 150177 SOS 96635 HAS SOPS 96635 HAS SOUS 35749 HAS SOUPS 35749 WITH SCORE 35845.635
AT ITER 1859 NEW BEST:: SOT 150198 SOS 96620 HAS SOPS 96620 HAS SOUS 35746 HAS SOUPS 35746 WITH SCORE 35842.62
AT ITER 1887 NEW BEST:: SOT 150070 SOS 96434 HAS SOPS 96434 HAS SOUS 35635 HAS SOUPS 35635 WITH SCORE 35731.434
AT ITER 1893 NEW BEST:: SOT 150059 SOS 96401 HAS SOPS 96401 HAS SOUS 35609 HAS SOUPS 35609 WITH SCORE 35705.401
AT ITER 1919 NEW BEST:: SOT 150060 SOS 96405 HAS SOPS 96405 HAS SOUS 35586 HAS SOUPS 35586 WITH SCORE 35682.405
AT ITER 1926 NEW BEST:: SOT 149976 SOS 96051 HAS SOPS 96051 HAS SOUS 35372 HAS SOUPS 35372 WITH SCORE 35468.051
AT ITER 1950 NEW BEST:: SOT 149831 SOS 96151 HAS SOPS 96151 HAS SOUS 35259 HAS SOUPS 35259 WITH SCORE 35355.151
AT ITER 1966 NEW BEST:: SOT 149828 SOS 96148 HAS SOPS 96148 HAS SOUS 35250 HAS SOUPS 35250 WITH SCORE 35346.148
AT ITER 2002 NEW BEST:: SOT 149794 SOS 96114 HAS SOPS 96114 HAS SOUS 35216 HAS SOUPS 35216 WITH SCORE 35312.114
AT ITER 2028 NEW BEST:: SOT 149794 SOS 96410 HAS SOPS 96410 HAS SOUS 35214 HAS SOUPS 35214 WITH SCORE 35310.41
AT ITER 2039 NEW BEST:: SOT 149755 SOS 96371 HAS SOPS 96371 HAS SOUS 35204 HAS SOUPS 35204 WITH SCORE 35300.371
AT ITER 2043 NEW BEST:: SOT 149754 SOS 96370 HAS SOPS 96370 HAS SOUS 35172 HAS SOUPS 35172 WITH SCORE 35268.37
AT ITER 2047 NEW BEST:: SOT 149776 SOS 96521 HAS SOPS 96521 HAS SOUS 35034 HAS SOUPS 35034 WITH SCORE 35130.521
AT ITER 2075 NEW BEST:: SOT 149776 SOS 96540 HAS SOPS 96540 HAS SOUS 35033 HAS SOUPS 35033 WITH SCORE 35129.54
AT ITER 2081 NEW BEST:: SOT 149781 SOS 96526 HAS SOPS 96526 HAS SOUS 35019 HAS SOUPS 35019 WITH SCORE 35115.526
AT ITER 2086 NEW BEST:: SOT 149729 SOS 96422 HAS SOPS 96422 HAS SOUS 34889 HAS SOUPS 34889 WITH SCORE 34985.422
AT ITER 2087 NEW BEST:: SOT 149663 SOS 96365 HAS SOPS 96365 HAS SOUS 34888 HAS SOUPS 34888 WITH SCORE 34984.365
AT ITER 2090 NEW BEST:: SOT 149663 SOS 96218 HAS SOPS 96218 HAS SOUS 34839 HAS SOUPS 34839 WITH SCORE 34935.218
AT ITER 2099 NEW BEST:: SOT 149702 SOS 96257 HAS SOPS 96257 HAS SOUS 34837 HAS SOUPS 34837 WITH SCORE 34933.257
AT ITER 2101 NEW BEST:: SOT 149672 SOS 96223 HAS SOPS 96223 HAS SOUS 34643 HAS SOUPS 34643 WITH SCORE 34739.223
AT ITER 2117 NEW BEST:: SOT 149672 SOS 96232 HAS SOPS 96232 HAS SOUS 34623 HAS SOUPS 34623 WITH SCORE 34719.232
AT ITER 2138 NEW BEST:: SOT 149670 SOS 96218 HAS SOPS 96218 HAS SOUS 34609 HAS SOUPS 34609 WITH SCORE 34705.218
AT ITER 2153 NEW BEST:: SOT 149626 SOS 96174 HAS SOPS 96174 HAS SOUS 34565 HAS SOUPS 34565 WITH SCORE 34661.174
AT ITER 2186 NEW BEST:: SOT 149617 SOS 96163 HAS SOPS 96163 HAS SOUS 34549 HAS SOUPS 34549 WITH SCORE 34645.163
AT ITER 2188 NEW BEST:: SOT 149616 SOS 96161 HAS SOPS 96161 HAS SOUS 34549 HAS SOUPS 34549 WITH SCORE 34645.161
AT ITER 2200 NEW BEST:: SOT 149540 SOS 95767 HAS SOPS 95767 HAS SOUS 34510 HAS SOUPS 34510 WITH SCORE 34605.767
AT ITER 2228 NEW BEST:: SOT 149475 SOS 95598 HAS SOPS 95598 HAS SOUS 34374 HAS SOUPS 34374 WITH SCORE 34469.598
AT ITER 2238 NEW BEST:: SOT 149466 SOS 95580 HAS SOPS 95580 HAS SOUS 34356 HAS SOUPS 34356 WITH SCORE 34451.58
AT ITER 2240 NEW BEST:: SOT 149472 SOS 95603 HAS SOPS 95603 HAS SOUS 34292 HAS SOUPS 34292 WITH SCORE 34387.603
AT ITER 2241 NEW BEST:: SOT 149447 SOS 95578 HAS SOPS 95578 HAS SOUS 34242 HAS SOUPS 34242 WITH SCORE 34337.578
AT ITER 2291 NEW BEST:: SOT 149439 SOS 95570 HAS SOPS 95570 HAS SOUS 34234 HAS SOUPS 34234 WITH SCORE 34329.57
AT ITER 2293 NEW BEST:: SOT 149462 SOS 95428 HAS SOPS 95428 HAS SOUS 34214 HAS SOUPS 34214 WITH SCORE 34309.428
AT ITER 2295 NEW BEST:: SOT 149311 SOS 92622 HAS SOPS 92622 HAS SOUS 33947 HAS SOUPS 33947 WITH SCORE 34039.622
AT ITER 2299 NEW BEST:: SOT 149311 SOS 92622 HAS SOPS 92622 HAS SOUS 33944 HAS SOUPS 33944 WITH SCORE 34036.622
AT ITER 2318 NEW BEST:: SOT 149282 SOS 92587 HAS SOPS 92587 HAS SOUS 33922 HAS SOUPS 33922 WITH SCORE 34014.587
AT ITER 2338 NEW BEST:: SOT 149298 SOS 92598 HAS SOPS 92598 HAS SOUS 33895 HAS SOUPS 33895 WITH SCORE 33987.598
AT ITER 2340 NEW BEST:: SOT 149260 SOS 92560 HAS SOPS 92560 HAS SOUS 33857 HAS SOUPS 33857 WITH SCORE 33949.56
AT ITER 2359 NEW BEST:: SOT 149065 SOS 92365 HAS SOPS 92365 HAS SOUS 33648 HAS SOUPS 33648 WITH SCORE 33740.365
AT ITER 2376 NEW BEST:: SOT 149062 SOS 92242 HAS SOPS 92242 HAS SOUS 33615 HAS SOUPS 33615 WITH SCORE 33707.242
AT ITER 2391 NEW BEST:: SOT 149094 SOS 92239 HAS SOPS 92239 HAS SOUS 33571 HAS SOUPS 33571 WITH SCORE 33663.239
AT ITER 2411 NEW BEST:: SOT 148826 SOS 91971 HAS SOPS 91971 HAS SOUS 33505 HAS SOUPS 33505 WITH SCORE 33596.971
AT ITER 2412 NEW BEST:: SOT 148826 SOS 91943 HAS SOPS 91943 HAS SOUS 33490 HAS SOUPS 33490 WITH SCORE 33581.943
AT ITER 2414 NEW BEST:: SOT 148802 SOS 91919 HAS SOPS 91919 HAS SOUS 33466 HAS SOUPS 33466 WITH SCORE 33557.919
AT ITER 2423 NEW BEST:: SOT 148802 SOS 91526 HAS SOPS 91526 HAS SOUS 33460 HAS SOUPS 33460 WITH SCORE 33551.526
AT ITER 2451 NEW BEST:: SOT 148788 SOS 91512 HAS SOPS 91512 HAS SOUS 33428 HAS SOUPS 33428 WITH SCORE 33519.512
AT ITER 2461 NEW BEST:: SOT 148788 SOS 91505 HAS SOPS 91505 HAS SOUS 33427 HAS SOUPS 33427 WITH SCORE 33518.505
AT ITER 2466 NEW BEST:: SOT 148769 SOS 91486 HAS SOPS 91486 HAS SOUS 33366 HAS SOUPS 33366 WITH SCORE 33457.486
AT ITER 2467 NEW BEST:: SOT 148768 SOS 91125 HAS SOPS 91125 HAS SOUS 33361 HAS SOUPS 33361 WITH SCORE 33452.125
AT ITER 2476 NEW BEST:: SOT 148603 SOS 90958 HAS SOPS 90958 HAS SOUS 33326 HAS SOUPS 33326 WITH SCORE 33416.958
AT ITER 2488 NEW BEST:: SOT 148476 SOS 91087 HAS SOPS 91087 HAS SOUS 33221 HAS SOUPS 33221 WITH SCORE 33312.087
AT ITER 2502 NEW BEST:: SOT 148083 SOS 90956 HAS SOPS 90956 HAS SOUS 32924 HAS SOUPS 32924 WITH SCORE 33014.956
AT ITER 2504 NEW BEST:: SOT 148066 SOS 90939 HAS SOPS 90939 HAS SOUS 32924 HAS SOUPS 32924 WITH SCORE 33014.939
AT ITER 2519 NEW BEST:: SOT 148057 SOS 90925 HAS SOPS 90925 HAS SOUS 32910 HAS SOUPS 32910 WITH SCORE 33000.925
AT ITER 2556 NEW BEST:: SOT 148047 SOS 90905 HAS SOPS 90905 HAS SOUS 32890 HAS SOUPS 32890 WITH SCORE 32980.905
AT ITER 2567 NEW BEST:: SOT 148022 SOS 90809 HAS SOPS 90809 HAS SOUS 32870 HAS SOUPS 32870 WITH SCORE 32960.809
AT ITER 2597 NEW BEST:: SOT 147967 SOS 90557 HAS SOPS 90557 HAS SOUS 32760 HAS SOUPS 32760 WITH SCORE 32850.557
AT ITER 2612 NEW BEST:: SOT 147966 SOS 90555 HAS SOPS 90555 HAS SOUS 32758 HAS SOUPS 32758 WITH SCORE 32848.555
AT ITER 2613 NEW BEST:: SOT 147948 SOS 90537 HAS SOPS 90537 HAS SOUS 32722 HAS SOUPS 32722 WITH SCORE 32812.537
AT ITER 2618 NEW BEST:: SOT 147925 SOS 90514 HAS SOPS 90514 HAS SOUS 32703 HAS SOUPS 32703 WITH SCORE 32793.514
AT ITER 2633 NEW BEST:: SOT 147907 SOS 90505 HAS SOPS 90505 HAS SOUS 32694 HAS SOUPS 32694 WITH SCORE 32784.505
AT ITER 2643 NEW BEST:: SOT 147865 SOS 90449 HAS SOPS 90449 HAS SOUS 32637 HAS SOUPS 32637 WITH SCORE 32727.449
AT ITER 2644 NEW BEST:: SOT 147865 SOS 90311 HAS SOPS 90311 HAS SOUS 32622 HAS SOUPS 32622 WITH SCORE 32712.311
AT ITER 2645 NEW BEST:: SOT 147880 SOS 90263 HAS SOPS 90263 HAS SOUS 32574 HAS SOUPS 32574 WITH SCORE 32664.263
AT ITER 2646 NEW BEST:: SOT 147874 SOS 90257 HAS SOPS 90257 HAS SOUS 32568 HAS SOUPS 32568 WITH SCORE 32658.257
AT ITER 2659 NEW BEST:: SOT 147782 SOS 90165 HAS SOPS 90165 HAS SOUS 32545 HAS SOUPS 32545 WITH SCORE 32635.165
AT ITER 2665 NEW BEST:: SOT 147768 SOS 90151 HAS SOPS 90151 HAS SOUS 32541 HAS SOUPS 32541 WITH SCORE 32631.151
AT ITER 2682 NEW BEST:: SOT 147748 SOS 90131 HAS SOPS 90131 HAS SOUS 32541 HAS SOUPS 32541 WITH SCORE 32631.131
AT ITER 2718 NEW BEST:: SOT 147697 SOS 89927 HAS SOPS 89927 HAS SOUS 32423 HAS SOUPS 32423 WITH SCORE 32512.927
AT ITER 2726 NEW BEST:: SOT 147666 SOS 89896 HAS SOPS 89896 HAS SOUS 32392 HAS SOUPS 32392 WITH SCORE 32481.896
AT ITER 2748 NEW BEST:: SOT 147643 SOS 89896 HAS SOPS 89896 HAS SOUS 32369 HAS SOUPS 32369 WITH SCORE 32458.896
AT ITER 2750 NEW BEST:: SOT 147644 SOS 89782 HAS SOPS 89782 HAS SOUS 32255 HAS SOUPS 32255 WITH SCORE 32344.782
AT ITER 2759 NEW BEST:: SOT 147644 SOS 89723 HAS SOPS 89723 HAS SOUS 32251 HAS SOUPS 32251 WITH SCORE 32340.723
AT ITER 2766 NEW BEST:: SOT 147627 SOS 89706 HAS SOPS 89706 HAS SOUS 32234 HAS SOUPS 32234 WITH SCORE 32323.706
AT ITER 2787 NEW BEST:: SOT 147602 SOS 89648 HAS SOPS 89648 HAS SOUS 32205 HAS SOUPS 32205 WITH SCORE 32294.648
AT ITER 2793 NEW BEST:: SOT 147468 SOS 89514 HAS SOPS 89514 HAS SOUS 32004 HAS SOUPS 32004 WITH SCORE 32093.514
AT ITER 2821 NEW BEST:: SOT 147468 SOS 89503 HAS SOPS 89503 HAS SOUS 31999 HAS SOUPS 31999 WITH SCORE 32088.503
AT ITER 2830 NEW BEST:: SOT 147464 SOS 89499 HAS SOPS 89499 HAS SOUS 31966 HAS SOUPS 31966 WITH SCORE 32055.499
AT ITER 2842 NEW BEST:: SOT 147424 SOS 89459 HAS SOPS 89459 HAS SOUS 31894 HAS SOUPS 31894 WITH SCORE 31983.459
AT ITER 2865 NEW BEST:: SOT 147349 SOS 89424 HAS SOPS 89424 HAS SOUS 31819 HAS SOUPS 31819 WITH SCORE 31908.424
AT ITER 2870 NEW BEST:: SOT 147415 SOS 89027 HAS SOPS 89027 HAS SOUS 31810 HAS SOUPS 31810 WITH SCORE 31899.027
AT ITER 2921 NEW BEST:: SOT 147412 SOS 89024 HAS SOPS 89024 HAS SOUS 31804 HAS SOUPS 31804 WITH SCORE 31893.024
AT ITER 2930 NEW BEST:: SOT 147401 SOS 89013 HAS SOPS 89013 HAS SOUS 31782 HAS SOUPS 31782 WITH SCORE 31871.013
AT ITER 2939 NEW BEST:: SOT 147379 SOS 88991 HAS SOPS 88991 HAS SOUS 31739 HAS SOUPS 31739 WITH SCORE 31827.991
AT ITER 2940 NEW BEST:: SOT 147354 SOS 88942 HAS SOPS 88942 HAS SOUS 31739 HAS SOUPS 31739 WITH SCORE 31827.942
AT ITER 2946 NEW BEST:: SOT 147318 SOS 88888 HAS SOPS 88888 HAS SOUS 31685 HAS SOUPS 31685 WITH SCORE 31773.888
AT ITER 2953 NEW BEST:: SOT 147353 SOS 90430 HAS SOPS 90430 HAS SOUS 31652 HAS SOUPS 31652 WITH SCORE 31742.43
AT ITER 2963 NEW BEST:: SOT 147210 SOS 90882 HAS SOPS 90882 HAS SOUS 31493 HAS SOUPS 31493 WITH SCORE 31583.882
AT ITER 2965 NEW BEST:: SOT 147178 SOS 90786 HAS SOPS 90786 HAS SOUS 31397 HAS SOUPS 31397 WITH SCORE 31487.786
AT ITER 2975 NEW BEST:: SOT 147178 SOS 90778 HAS SOPS 90778 HAS SOUS 31389 HAS SOUPS 31389 WITH SCORE 31479.778
AT ITER 2984 NEW BEST:: SOT 147159 SOS 90596 HAS SOPS 90596 HAS SOUS 31269 HAS SOUPS 31269 WITH SCORE 31359.596
AT ITER 2993 NEW BEST:: SOT 147159 SOS 90526 HAS SOPS 90526 HAS SOUS 31249 HAS SOUPS 31249 WITH SCORE 31339.526
AT ITER 3004 NEW BEST:: SOT 147191 SOS 90548 HAS SOPS 90548 HAS SOUS 31048 HAS SOUPS 31048 WITH SCORE 31138.548
AT ITER 3048 NEW BEST:: SOT 147170 SOS 90414 HAS SOPS 90414 HAS SOUS 30914 HAS SOUPS 30914 WITH SCORE 31004.414
AT ITER 3051 NEW BEST:: SOT 147142 SOS 90231 HAS SOPS 90231 HAS SOUS 30881 HAS SOUPS 30881 WITH SCORE 30971.231
AT ITER 3091 NEW BEST:: SOT 147097 SOS 90092 HAS SOPS 90092 HAS SOUS 30742 HAS SOUPS 30742 WITH SCORE 30832.092
AT ITER 3097 NEW BEST:: SOT 147091 SOS 90074 HAS SOPS 90074 HAS SOUS 30733 HAS SOUPS 30733 WITH SCORE 30823.074
AT ITER 3109 NEW BEST:: SOT 147091 SOS 89849 HAS SOPS 89849 HAS SOUS 30651 HAS SOUPS 30651 WITH SCORE 30740.849
AT ITER 3110 NEW BEST:: SOT 147089 SOS 89847 HAS SOPS 89847 HAS SOUS 30647 HAS SOUPS 30647 WITH SCORE 30736.847
AT ITER 3123 NEW BEST:: SOT 147063 SOS 89821 HAS SOPS 89821 HAS SOUS 30586 HAS SOUPS 30586 WITH SCORE 30675.821
AT ITER 3160 NEW BEST:: SOT 147036 SOS 89794 HAS SOPS 89794 HAS SOUS 30556 HAS SOUPS 30556 WITH SCORE 30645.794
AT ITER 3161 NEW BEST:: SOT 147056 SOS 89814 HAS SOPS 89814 HAS SOUS 30542 HAS SOUPS 30542 WITH SCORE 30631.814
AT ITER 3185 NEW BEST:: SOT 147036 SOS 89793 HAS SOPS 89793 HAS SOUS 30541 HAS SOUPS 30541 WITH SCORE 30630.793
AT ITER 3189 NEW BEST:: SOT 147325 SOS 89560 HAS SOPS 89560 HAS SOUS 30508 HAS SOUPS 30508 WITH SCORE 30597.56
AT ITER 3218 NEW BEST:: SOT 147315 SOS 89550 HAS SOPS 89550 HAS SOUS 30498 HAS SOUPS 30498 WITH SCORE 30587.55
AT ITER 3225 NEW BEST:: SOT 147315 SOS 89534 HAS SOPS 89534 HAS SOUS 30495 HAS SOUPS 30495 WITH SCORE 30584.534
AT ITER 3227 NEW BEST:: SOT 147270 SOS 89398 HAS SOPS 89398 HAS SOUS 30456 HAS SOUPS 30456 WITH SCORE 30545.398
AT ITER 3241 NEW BEST:: SOT 147210 SOS 89278 HAS SOPS 89278 HAS SOUS 30336 HAS SOUPS 30336 WITH SCORE 30425.278
AT ITER 3289 NEW BEST:: SOT 147209 SOS 89277 HAS SOPS 89277 HAS SOUS 30334 HAS SOUPS 30334 WITH SCORE 30423.277
AT ITER 3298 NEW BEST:: SOT 147209 SOS 89274 HAS SOPS 89274 HAS SOUS 30331 HAS SOUPS 30331 WITH SCORE 30420.274
AT ITER 3313 NEW BEST:: SOT 147105 SOS 89134 HAS SOPS 89134 HAS SOUS 30193 HAS SOUPS 30193 WITH SCORE 30282.134
AT ITER 3371 NEW BEST:: SOT 147083 SOS 89081 HAS SOPS 89081 HAS SOUS 30182 HAS SOUPS 30182 WITH SCORE 30271.081
AT ITER 3373 NEW BEST:: SOT 147071 SOS 89022 HAS SOPS 89022 HAS SOUS 30123 HAS SOUPS 30123 WITH SCORE 30212.022
AT ITER 3438 NEW BEST:: SOT 147071 SOS 89028 HAS SOPS 89028 HAS SOUS 30122 HAS SOUPS 30122 WITH SCORE 30211.028
AT ITER 3446 NEW BEST:: SOT 147066 SOS 89000 HAS SOPS 89000 HAS SOUS 30081 HAS SOUPS 30081 WITH SCORE 30170.0
AT ITER 3477 NEW BEST:: SOT 147021 SOS 88964 HAS SOPS 88964 HAS SOUS 30045 HAS SOUPS 30045 WITH SCORE 30133.964
AT ITER 3594 NEW BEST:: SOT 147010 SOS 88929 HAS SOPS 88929 HAS SOUS 30022 HAS SOUPS 30022 WITH SCORE 30110.929
AT ITER 3611 NEW BEST:: SOT 147003 SOS 88866 HAS SOPS 88866 HAS SOUS 29977 HAS SOUPS 29977 WITH SCORE 30065.866
AT ITER 3614 NEW BEST:: SOT 146967 SOS 88778 HAS SOPS 88778 HAS SOUS 29905 HAS SOUPS 29905 WITH SCORE 29993.778
AT ITER 3619 NEW BEST:: SOT 146967 SOS 88831 HAS SOPS 88831 HAS SOUS 29886 HAS SOUPS 29886 WITH SCORE 29974.831
AT ITER 3622 NEW BEST:: SOT 146911 SOS 88780 HAS SOPS 88780 HAS SOUS 29842 HAS SOUPS 29842 WITH SCORE 29930.78
AT ITER 3629 NEW BEST:: SOT 146838 SOS 88865 HAS SOPS 88865 HAS SOUS 29775 HAS SOUPS 29775 WITH SCORE 29863.865
AT ITER 3639 NEW BEST:: SOT 146767 SOS 88765 HAS SOPS 88765 HAS SOUS 29713 HAS SOUPS 29713 WITH SCORE 29801.765
AT ITER 3644 NEW BEST:: SOT 146687 SOS 88685 HAS SOPS 88685 HAS SOUS 29633 HAS SOUPS 29633 WITH SCORE 29721.685
AT ITER 3649 NEW BEST:: SOT 146682 SOS 88669 HAS SOPS 88669 HAS SOUS 29632 HAS SOUPS 29632 WITH SCORE 29720.669
AT ITER 3664 NEW BEST:: SOT 146682 SOS 88650 HAS SOPS 88650 HAS SOUS 29613 HAS SOUPS 29613 WITH SCORE 29701.65
AT ITER 3667 NEW BEST:: SOT 146668 SOS 88637 HAS SOPS 88637 HAS SOUS 29597 HAS SOUPS 29597 WITH SCORE 29685.637
AT ITER 3715 NEW BEST:: SOT 146650 SOS 88583 HAS SOPS 88583 HAS SOUS 29561 HAS SOUPS 29561 WITH SCORE 29649.583
AT ITER 3717 NEW BEST:: SOT 146646 SOS 88579 HAS SOPS 88579 HAS SOUS 29557 HAS SOUPS 29557 WITH SCORE 29645.579
AT ITER 3747 NEW BEST:: SOT 146651 SOS 88520 HAS SOPS 88520 HAS SOUS 29527 HAS SOUPS 29527 WITH SCORE 29615.52
AT ITER 3812 NEW BEST:: SOT 146638 SOS 88507 HAS SOPS 88507 HAS SOUS 29514 HAS SOUPS 29514 WITH SCORE 29602.507
AT ITER 3846 NEW BEST:: SOT 146594 SOS 88626 HAS SOPS 88626 HAS SOUS 29340 HAS SOUPS 29340 WITH SCORE 29428.626
AT ITER 3869 NEW BEST:: SOT 146594 SOS 88607 HAS SOPS 88607 HAS SOUS 29321 HAS SOUPS 29321 WITH SCORE 29409.607
AT ITER 3888 NEW BEST:: SOT 146580 SOS 88579 HAS SOPS 88579 HAS SOUS 29303 HAS SOUPS 29303 WITH SCORE 29391.579
AT ITER 3895 NEW BEST:: SOT 146546 SOS 88545 HAS SOPS 88545 HAS SOUS 29244 HAS SOUPS 29244 WITH SCORE 29332.545
AT ITER 3907 NEW BEST:: SOT 146468 SOS 88639 HAS SOPS 88639 HAS SOUS 29147 HAS SOUPS 29147 WITH SCORE 29235.639
AT ITER 3917 NEW BEST:: SOT 146461 SOS 88551 HAS SOPS 88551 HAS SOUS 29059 HAS SOUPS 29059 WITH SCORE 29147.551
AT ITER 3968 NEW BEST:: SOT 146460 SOS 88544 HAS SOPS 88544 HAS SOUS 29051 HAS SOUPS 29051 WITH SCORE 29139.544
AT ITER 3985 NEW BEST:: SOT 146449 SOS 88533 HAS SOPS 88533 HAS SOUS 29038 HAS SOUPS 29038 WITH SCORE 29126.533
AT ITER 3996 NEW BEST:: SOT 146449 SOS 88515 HAS SOPS 88515 HAS SOUS 29038 HAS SOUPS 29038 WITH SCORE 29126.515
AT ITER 4005 NEW BEST:: SOT 146428 SOS 88473 HAS SOPS 88473 HAS SOUS 28975 HAS SOUPS 28975 WITH SCORE 29063.473
AT ITER 4016 NEW BEST:: SOT 146412 SOS 88449 HAS SOPS 88449 HAS SOUS 28951 HAS SOUPS 28951 WITH SCORE 29039.449
AT ITER 4047 NEW BEST:: SOT 146390 SOS 88427 HAS SOPS 88427 HAS SOUS 28943 HAS SOUPS 28943 WITH SCORE 29031.427
AT ITER 4094 NEW BEST:: SOT 146391 SOS 88395 HAS SOPS 88395 HAS SOUS 28911 HAS SOUPS 28911 WITH SCORE 28999.395
AT ITER 4095 NEW BEST:: SOT 146344 SOS 88348 HAS SOPS 88348 HAS SOUS 28910 HAS SOUPS 28910 WITH SCORE 28998.348
AT ITER 4143 NEW BEST:: SOT 146335 SOS 88339 HAS SOPS 88339 HAS SOUS 28902 HAS SOUPS 28902 WITH SCORE 28990.339
AT ITER 4183 NEW BEST:: SOT 146349 SOS 88326 HAS SOPS 88326 HAS SOUS 28900 HAS SOUPS 28900 WITH SCORE 28988.326
AT ITER 4196 NEW BEST:: SOT 146361 SOS 88265 HAS SOPS 88265 HAS SOUS 28839 HAS SOUPS 28839 WITH SCORE 28927.265
AT ITER 4199 NEW BEST:: SOT 146357 SOS 88261 HAS SOPS 88261 HAS SOUS 28835 HAS SOUPS 28835 WITH SCORE 28923.261
AT ITER 4204 NEW BEST:: SOT 146330 SOS 88234 HAS SOPS 88234 HAS SOUS 28808 HAS SOUPS 28808 WITH SCORE 28896.234
AT ITER 4216 NEW BEST:: SOT 146313 SOS 88217 HAS SOPS 88217 HAS SOUS 28774 HAS SOUPS 28774 WITH SCORE 28862.217
AT ITER 4257 NEW BEST:: SOT 146307 SOS 88211 HAS SOPS 88211 HAS SOUS 28769 HAS SOUPS 28769 WITH SCORE 28857.211
AT ITER 4262 NEW BEST:: SOT 146302 SOS 88163 HAS SOPS 88163 HAS SOUS 28763 HAS SOUPS 28763 WITH SCORE 28851.163
AT ITER 4263 NEW BEST:: SOT 146296 SOS 88157 HAS SOPS 88157 HAS SOUS 28751 HAS SOUPS 28751 WITH SCORE 28839.157
AT ITER 4271 NEW BEST:: SOT 146296 SOS 88205 HAS SOPS 88205 HAS SOUS 28750 HAS SOUPS 28750 WITH SCORE 28838.205
AT ITER 4340 NEW BEST:: SOT 146287 SOS 88196 HAS SOPS 88196 HAS SOUS 28730 HAS SOUPS 28730 WITH SCORE 28818.196
AT ITER 4379 NEW BEST:: SOT 146287 SOS 88188 HAS SOPS 88188 HAS SOUS 28729 HAS SOUPS 28729 WITH SCORE 28817.188
AT ITER 4387 NEW BEST:: SOT 146249 SOS 88146 HAS SOPS 88146 HAS SOUS 28727 HAS SOUPS 28727 WITH SCORE 28815.146
AT ITER 4397 NEW BEST:: SOT 145894 SOS 87736 HAS SOPS 87736 HAS SOUS 28389 HAS SOUPS 28389 WITH SCORE 28476.736
AT ITER 4462 NEW BEST:: SOT 145842 SOS 87668 HAS SOPS 87668 HAS SOUS 28378 HAS SOUPS 28378 WITH SCORE 28465.668
AT ITER 4478 NEW BEST:: SOT 145842 SOS 87636 HAS SOPS 87636 HAS SOUS 28374 HAS SOUPS 28374 WITH SCORE 28461.636
AT ITER 4509 NEW BEST:: SOT 145842 SOS 87583 HAS SOPS 87583 HAS SOUS 28321 HAS SOUPS 28321 WITH SCORE 28408.583
AT ITER 4518 NEW BEST:: SOT 145990 SOS 86825 HAS SOPS 86825 HAS SOUS 28302 HAS SOUPS 28302 WITH SCORE 28388.825
AT ITER 4577 NEW BEST:: SOT 146061 SOS 86928 HAS SOPS 86928 HAS SOUS 28271 HAS SOUPS 28271 WITH SCORE 28357.928
AT ITER 4587 NEW BEST:: SOT 146050 SOS 86917 HAS SOPS 86917 HAS SOUS 28260 HAS SOUPS 28260 WITH SCORE 28346.917
AT ITER 4593 NEW BEST:: SOT 146037 SOS 86888 HAS SOPS 86888 HAS SOUS 28232 HAS SOUPS 28232 WITH SCORE 28318.888
AT ITER 4629 NEW BEST:: SOT 146040 SOS 86891 HAS SOPS 86891 HAS SOUS 28209 HAS SOUPS 28209 WITH SCORE 28295.891
AT ITER 4633 NEW BEST:: SOT 146028 SOS 86879 HAS SOPS 86879 HAS SOUS 28185 HAS SOUPS 28185 WITH SCORE 28271.879
AT ITER 4654 NEW BEST:: SOT 146028 SOS 86813 HAS SOPS 86813 HAS SOUS 28185 HAS SOUPS 28185 WITH SCORE 28271.813
AT ITER 4661 NEW BEST:: SOT 146028 SOS 86797 HAS SOPS 86797 HAS SOUS 28181 HAS SOUPS 28181 WITH SCORE 28267.797
AT ITER 4673 NEW BEST:: SOT 146012 SOS 86791 HAS SOPS 86791 HAS SOUS 28180 HAS SOUPS 28180 WITH SCORE 28266.791
AT ITER 4680 NEW BEST:: SOT 146000 SOS 86779 HAS SOPS 86779 HAS SOUS 28168 HAS SOUPS 28168 WITH SCORE 28254.779
AT ITER 4687 NEW BEST:: SOT 146027 SOS 86833 HAS SOPS 86833 HAS SOUS 28163 HAS SOUPS 28163 WITH SCORE 28249.833
AT ITER 4691 NEW BEST:: SOT 145975 SOS 86445 HAS SOPS 86445 HAS SOUS 28059 HAS SOUPS 28059 WITH SCORE 28145.445
AT ITER 4693 NEW BEST:: SOT 145904 SOS 86550 HAS SOPS 86550 HAS SOUS 28010 HAS SOUPS 28010 WITH SCORE 28096.55
AT ITER 4724 NEW BEST:: SOT 145886 SOS 86279 HAS SOPS 86279 HAS SOUS 27921 HAS SOUPS 27921 WITH SCORE 28007.279
AT ITER 4754 NEW BEST:: SOT 145870 SOS 86263 HAS SOPS 86263 HAS SOUS 27888 HAS SOUPS 27888 WITH SCORE 27974.263
AT ITER 4756 NEW BEST:: SOT 145864 SOS 86257 HAS SOPS 86257 HAS SOUS 27876 HAS SOUPS 27876 WITH SCORE 27962.257
AT ITER 4794 NEW BEST:: SOT 145870 SOS 86204 HAS SOPS 86204 HAS SOUS 27854 HAS SOUPS 27854 WITH SCORE 27940.204
AT ITER 4808 NEW BEST:: SOT 145844 SOS 86178 HAS SOPS 86178 HAS SOUS 27844 HAS SOUPS 27844 WITH SCORE 27930.178
AT ITER 4818 NEW BEST:: SOT 145834 SOS 86134 HAS SOPS 86134 HAS SOUS 27830 HAS SOUPS 27830 WITH SCORE 27916.134
AT ITER 4849 NEW BEST:: SOT 145831 SOS 86131 HAS SOPS 86131 HAS SOUS 27827 HAS SOUPS 27827 WITH SCORE 27913.131
AT ITER 4865 NEW BEST:: SOT 145836 SOS 86130 HAS SOPS 86130 HAS SOUS 27826 HAS SOUPS 27826 WITH SCORE 27912.13
AT ITER 4880 NEW BEST:: SOT 145836 SOS 86112 HAS SOPS 86112 HAS SOUS 27826 HAS SOUPS 27826 WITH SCORE 27912.112
AT ITER 4881 NEW BEST:: SOT 145843 SOS 86103 HAS SOPS 86103 HAS SOUS 27822 HAS SOUPS 27822 WITH SCORE 27908.103
AT ITER 4889 NEW BEST:: SOT 145820 SOS 85940 HAS SOPS 85940 HAS SOUS 27818 HAS SOUPS 27818 WITH SCORE 27903.94
AT ITER 4900 NEW BEST:: SOT 145814 SOS 85927 HAS SOPS 85927 HAS SOUS 27805 HAS SOUPS 27805 WITH SCORE 27890.927
AT ITER 4908 NEW BEST:: SOT 145814 SOS 85919 HAS SOPS 85919 HAS SOUS 27801 HAS SOUPS 27801 WITH SCORE 27886.919
AT ITER 4926 NEW BEST:: SOT 145811 SOS 85916 HAS SOPS 85916 HAS SOUS 27779 HAS SOUPS 27779 WITH SCORE 27864.916
AT ITER 4929 NEW BEST:: SOT 145819 SOS 85912 HAS SOPS 85912 HAS SOUS 27775 HAS SOUPS 27775 WITH SCORE 27860.912
AT ITER 4938 NEW BEST:: SOT 145789 SOS 85896 HAS SOPS 85896 HAS SOUS 27734 HAS SOUPS 27734 WITH SCORE 27819.896
AT ITER 4958 NEW BEST:: SOT 145771 SOS 85825 HAS SOPS 85825 HAS SOUS 27725 HAS SOUPS 27725 WITH SCORE 27810.825
AT ITER 4959 NEW BEST:: SOT 145780 SOS 85834 HAS SOPS 85834 HAS SOUS 27722 HAS SOUPS 27722 WITH SCORE 27807.834
AT ITER 4960 NEW BEST:: SOT 145770 SOS 85824 HAS SOPS 85824 HAS SOUS 27712 HAS SOUPS 27712 WITH SCORE 27797.824
AT ITER 4984 NEW BEST:: SOT 145757 SOS 85811 HAS SOPS 85811 HAS SOUS 27705 HAS SOUPS 27705 WITH SCORE 27790.811
AT ITER 4989 NEW BEST:: SOT 145738 SOS 85773 HAS SOPS 85773 HAS SOUS 27667 HAS SOUPS 27667 WITH SCORE 27752.773
AT ITER 5031 NEW BEST:: SOT 145655 SOS 85735 HAS SOPS 85735 HAS SOUS 27629 HAS SOUPS 27629 WITH SCORE 27714.735
AT ITER 5035 NEW BEST:: SOT 145651 SOS 85731 HAS SOPS 85731 HAS SOUS 27625 HAS SOUPS 27625 WITH SCORE 27710.731
AT ITER 5037 NEW BEST:: SOT 145602 SOS 85682 HAS SOPS 85682 HAS SOUS 27576 HAS SOUPS 27576 WITH SCORE 27661.682
AT ITER 5110 NEW BEST:: SOT 145601 SOS 85681 HAS SOPS 85681 HAS SOUS 27575 HAS SOUPS 27575 WITH SCORE 27660.681
AT ITER 5159 NEW BEST:: SOT 145591 SOS 85637 HAS SOPS 85637 HAS SOUS 27520 HAS SOUPS 27520 WITH SCORE 27605.637
AT ITER 5189 NEW BEST:: SOT 145601 SOS 85685 HAS SOPS 85685 HAS SOUS 27508 HAS SOUPS 27508 WITH SCORE 27593.685
AT ITER 5217 NEW BEST:: SOT 145585 SOS 85612 HAS SOPS 85612 HAS SOUS 27403 HAS SOUPS 27403 WITH SCORE 27488.612
AT ITER 5232 NEW BEST:: SOT 145578 SOS 85556 HAS SOPS 85556 HAS SOUS 27396 HAS SOUPS 27396 WITH SCORE 27481.556
AT ITER 5252 NEW BEST:: SOT 145560 SOS 85538 HAS SOPS 85538 HAS SOUS 27381 HAS SOUPS 27381 WITH SCORE 27466.538
AT ITER 5273 NEW BEST:: SOT 145520 SOS 85464 HAS SOPS 85464 HAS SOUS 27336 HAS SOUPS 27336 WITH SCORE 27421.464
AT ITER 5275 NEW BEST:: SOT 145531 SOS 85416 HAS SOPS 85416 HAS SOUS 27324 HAS SOUPS 27324 WITH SCORE 27409.416
AT ITER 5277 NEW BEST:: SOT 145531 SOS 85402 HAS SOPS 85402 HAS SOUS 27310 HAS SOUPS 27310 WITH SCORE 27395.402
AT ITER 5326 NEW BEST:: SOT 145529 SOS 85400 HAS SOPS 85400 HAS SOUS 27307 HAS SOUPS 27307 WITH SCORE 27392.4
AT ITER 5360 NEW BEST:: SOT 145529 SOS 85392 HAS SOPS 85392 HAS SOUS 27306 HAS SOUPS 27306 WITH SCORE 27391.392
AT ITER 5394 NEW BEST:: SOT 145529 SOS 85353 HAS SOPS 85353 HAS SOUS 27291 HAS SOUPS 27291 WITH SCORE 27376.353
AT ITER 5435 NEW BEST:: SOT 145521 SOS 85335 HAS SOPS 85335 HAS SOUS 27273 HAS SOUPS 27273 WITH SCORE 27358.335
AT ITER 5444 NEW BEST:: SOT 145514 SOS 85337 HAS SOPS 85337 HAS SOUS 27259 HAS SOUPS 27259 WITH SCORE 27344.337
AT ITER 5448 NEW BEST:: SOT 145478 SOS 84613 HAS SOPS 84613 HAS SOUS 27172 HAS SOUPS 27172 WITH SCORE 27256.613
AT ITER 5460 NEW BEST:: SOT 145478 SOS 84613 HAS SOPS 84613 HAS SOUS 27165 HAS SOUPS 27165 WITH SCORE 27249.613
AT ITER 5486 NEW BEST:: SOT 145539 SOS 84674 HAS SOPS 84674 HAS SOUS 27161 HAS SOUPS 27161 WITH SCORE 27245.674
AT ITER 5496 NEW BEST:: SOT 145536 SOS 84671 HAS SOPS 84671 HAS SOUS 27159 HAS SOUPS 27159 WITH SCORE 27243.671
AT ITER 5537 NEW BEST:: SOT 145531 SOS 84666 HAS SOPS 84666 HAS SOUS 27154 HAS SOUPS 27154 WITH SCORE 27238.666
AT ITER 5560 NEW BEST:: SOT 145497 SOS 84614 HAS SOPS 84614 HAS SOUS 27102 HAS SOUPS 27102 WITH SCORE 27186.614
AT ITER 5630 NEW BEST:: SOT 145494 SOS 84611 HAS SOPS 84611 HAS SOUS 27102 HAS SOUPS 27102 WITH SCORE 27186.611
AT ITER 5635 NEW BEST:: SOT 145494 SOS 84603 HAS SOPS 84603 HAS SOUS 27094 HAS SOUPS 27094 WITH SCORE 27178.603
AT ITER 5666 NEW BEST:: SOT 145456 SOS 84565 HAS SOPS 84565 HAS SOUS 27056 HAS SOUPS 27056 WITH SCORE 27140.565
AT ITER 5678 NEW BEST:: SOT 145427 SOS 84536 HAS SOPS 84536 HAS SOUS 27027 HAS SOUPS 27027 WITH SCORE 27111.536
AT ITER 5682 NEW BEST:: SOT 145426 SOS 84449 HAS SOPS 84449 HAS SOUS 27025 HAS SOUPS 27025 WITH SCORE 27109.449
AT ITER 5698 NEW BEST:: SOT 145426 SOS 84448 HAS SOPS 84448 HAS SOUS 27023 HAS SOUPS 27023 WITH SCORE 27107.448
AT ITER 5776 NEW BEST:: SOT 145417 SOS 84439 HAS SOPS 84439 HAS SOUS 27002 HAS SOUPS 27002 WITH SCORE 27086.439
AT ITER 5779 NEW BEST:: SOT 145390 SOS 84412 HAS SOPS 84412 HAS SOUS 26948 HAS SOUPS 26948 WITH SCORE 27032.412
AT ITER 5786 NEW BEST:: SOT 145381 SOS 84408 HAS SOPS 84408 HAS SOUS 26944 HAS SOUPS 26944 WITH SCORE 27028.408
AT ITER 5796 NEW BEST:: SOT 145374 SOS 84401 HAS SOPS 84401 HAS SOUS 26930 HAS SOUPS 26930 WITH SCORE 27014.401
AT ITER 5810 NEW BEST:: SOT 145342 SOS 84336 HAS SOPS 84336 HAS SOUS 26898 HAS SOUPS 26898 WITH SCORE 26982.336
AT ITER 5849 NEW BEST:: SOT 145332 SOS 84280 HAS SOPS 84280 HAS SOUS 26842 HAS SOUPS 26842 WITH SCORE 26926.28
AT ITER 5888 NEW BEST:: SOT 145278 SOS 84263 HAS SOPS 84263 HAS SOUS 26763 HAS SOUPS 26763 WITH SCORE 26847.263
AT ITER 5914 NEW BEST:: SOT 145264 SOS 84211 HAS SOPS 84211 HAS SOUS 26745 HAS SOUPS 26745 WITH SCORE 26829.211
AT ITER 5925 NEW BEST:: SOT 145258 SOS 84205 HAS SOPS 84205 HAS SOUS 26733 HAS SOUPS 26733 WITH SCORE 26817.205
AT ITER 5940 NEW BEST:: SOT 145233 SOS 84180 HAS SOPS 84180 HAS SOUS 26733 HAS SOUPS 26733 WITH SCORE 26817.18
AT ITER 5986 NEW BEST:: SOT 145064 SOS 84971 HAS SOPS 84971 HAS SOUS 26699 HAS SOUPS 26699 WITH SCORE 26783.971
AT ITER 6016 NEW BEST:: SOT 145062 SOS 84969 HAS SOPS 84969 HAS SOUS 26695 HAS SOUPS 26695 WITH SCORE 26779.969
AT ITER 6036 NEW BEST:: SOT 145044 SOS 84861 HAS SOPS 84861 HAS SOUS 26677 HAS SOUPS 26677 WITH SCORE 26761.861
AT ITER 6037 NEW BEST:: SOT 145024 SOS 84789 HAS SOPS 84789 HAS SOUS 26651 HAS SOUPS 26651 WITH SCORE 26735.789
AT ITER 6070 NEW BEST:: SOT 145039 SOS 84810 HAS SOPS 84810 HAS SOUS 26646 HAS SOUPS 26646 WITH SCORE 26730.81
AT ITER 6086 NEW BEST:: SOT 145020 SOS 84792 HAS SOPS 84792 HAS SOUS 26608 HAS SOUPS 26608 WITH SCORE 26692.792
AT ITER 6093 NEW BEST:: SOT 145040 SOS 84692 HAS SOPS 84692 HAS SOUS 26588 HAS SOUPS 26588 WITH SCORE 26672.692
AT ITER 6168 NEW BEST:: SOT 145040 SOS 84452 HAS SOPS 84452 HAS SOUS 26583 HAS SOUPS 26583 WITH SCORE 26667.452
AT ITER 6178 NEW BEST:: SOT 145037 SOS 84449 HAS SOPS 84449 HAS SOUS 26577 HAS SOUPS 26577 WITH SCORE 26661.449
AT ITER 6258 NEW BEST:: SOT 145037 SOS 84449 HAS SOPS 84449 HAS SOUS 26575 HAS SOUPS 26575 WITH SCORE 26659.449
AT ITER 6301 NEW BEST:: SOT 145019 SOS 84432 HAS SOPS 84432 HAS SOUS 26540 HAS SOUPS 26540 WITH SCORE 26624.432
AT ITER 6325 NEW BEST:: SOT 145019 SOS 84407 HAS SOPS 84407 HAS SOUS 26515 HAS SOUPS 26515 WITH SCORE 26599.407
AT ITER 6354 NEW BEST:: SOT 145009 SOS 84162 HAS SOPS 84162 HAS SOUS 26501 HAS SOUPS 26501 WITH SCORE 26585.162
AT ITER 6391 NEW BEST:: SOT 145002 SOS 84111 HAS SOPS 84111 HAS SOUS 26450 HAS SOUPS 26450 WITH SCORE 26534.111
AT ITER 6394 NEW BEST:: SOT 145002 SOS 84063 HAS SOPS 84063 HAS SOUS 26439 HAS SOUPS 26439 WITH SCORE 26523.063
AT ITER 6403 NEW BEST:: SOT 145002 SOS 84333 HAS SOPS 84333 HAS SOUS 26387 HAS SOUPS 26387 WITH SCORE 26471.333
AT ITER 6425 NEW BEST:: SOT 144998 SOS 84329 HAS SOPS 84329 HAS SOUS 26379 HAS SOUPS 26379 WITH SCORE 26463.329
AT ITER 6438 NEW BEST:: SOT 145016 SOS 84267 HAS SOPS 84267 HAS SOUS 26353 HAS SOUPS 26353 WITH SCORE 26437.267
AT ITER 6454 NEW BEST:: SOT 144986 SOS 84237 HAS SOPS 84237 HAS SOUS 26304 HAS SOUPS 26304 WITH SCORE 26388.237
AT ITER 6484 NEW BEST:: SOT 144974 SOS 84225 HAS SOPS 84225 HAS SOUS 26292 HAS SOUPS 26292 WITH SCORE 26376.225
AT ITER 6485 NEW BEST:: SOT 144971 SOS 84209 HAS SOPS 84209 HAS SOUS 26291 HAS SOUPS 26291 WITH SCORE 26375.209
AT ITER 6488 NEW BEST:: SOT 144969 SOS 84120 HAS SOPS 84120 HAS SOUS 26291 HAS SOUPS 26291 WITH SCORE 26375.12
AT ITER 6491 NEW BEST:: SOT 144956 SOS 84107 HAS SOPS 84107 HAS SOUS 26287 HAS SOUPS 26287 WITH SCORE 26371.107
AT ITER 6549 NEW BEST:: SOT 144796 SOS 84001 HAS SOPS 84001 HAS SOUS 26133 HAS SOUPS 26133 WITH SCORE 26217.001
AT ITER 6565 NEW BEST:: SOT 144796 SOS 84001 HAS SOPS 84001 HAS SOUS 26132 HAS SOUPS 26132 WITH SCORE 26216.001
AT ITER 6567 NEW BEST:: SOT 144789 SOS 83975 HAS SOPS 83975 HAS SOUS 26106 HAS SOUPS 26106 WITH SCORE 26189.975
AT ITER 6603 NEW BEST:: SOT 144779 SOS 83963 HAS SOPS 83963 HAS SOUS 26102 HAS SOUPS 26102 WITH SCORE 26185.963
AT ITER 6604 NEW BEST:: SOT 144779 SOS 83914 HAS SOPS 83914 HAS SOUS 26087 HAS SOUPS 26087 WITH SCORE 26170.914
AT ITER 6616 NEW BEST:: SOT 144772 SOS 83910 HAS SOPS 83910 HAS SOUS 26080 HAS SOUPS 26080 WITH SCORE 26163.91
AT ITER 6662 NEW BEST:: SOT 144842 SOS 83350 HAS SOPS 83350 HAS SOUS 26080 HAS SOUPS 26080 WITH SCORE 26163.35
AT ITER 6715 NEW BEST:: SOT 144780 SOS 83796 HAS SOPS 83796 HAS SOUS 26018 HAS SOUPS 26018 WITH SCORE 26101.796
AT ITER 6720 NEW BEST:: SOT 144743 SOS 83777 HAS SOPS 83777 HAS SOUS 26014 HAS SOUPS 26014 WITH SCORE 26097.777
AT ITER 6778 NEW BEST:: SOT 144717 SOS 83705 HAS SOPS 83705 HAS SOUS 25942 HAS SOUPS 25942 WITH SCORE 26025.705
AT ITER 6788 NEW BEST:: SOT 144675 SOS 83656 HAS SOPS 83656 HAS SOUS 25928 HAS SOUPS 25928 WITH SCORE 26011.656
AT ITER 6790 NEW BEST:: SOT 144666 SOS 83631 HAS SOPS 83631 HAS SOUS 25903 HAS SOUPS 25903 WITH SCORE 25986.631
AT ITER 6819 NEW BEST:: SOT 144666 SOS 83631 HAS SOPS 83631 HAS SOUS 25901 HAS SOUPS 25901 WITH SCORE 25984.631
AT ITER 6821 NEW BEST:: SOT 144666 SOS 83614 HAS SOPS 83614 HAS SOUS 25901 HAS SOUPS 25901 WITH SCORE 25984.614
AT ITER 6827 NEW BEST:: SOT 144665 SOS 83613 HAS SOPS 83613 HAS SOUS 25899 HAS SOUPS 25899 WITH SCORE 25982.613
AT ITER 6838 NEW BEST:: SOT 144655 SOS 83603 HAS SOPS 83603 HAS SOUS 25889 HAS SOUPS 25889 WITH SCORE 25972.603
AT ITER 6873 NEW BEST:: SOT 144650 SOS 83598 HAS SOPS 83598 HAS SOUS 25879 HAS SOUPS 25879 WITH SCORE 25962.598
AT ITER 6889 NEW BEST:: SOT 144641 SOS 83580 HAS SOPS 83580 HAS SOUS 25861 HAS SOUPS 25861 WITH SCORE 25944.58
AT ITER 6911 NEW BEST:: SOT 144625 SOS 83569 HAS SOPS 83569 HAS SOUS 25849 HAS SOUPS 25849 WITH SCORE 25932.569
AT ITER 6952 NEW BEST:: SOT 144620 SOS 83543 HAS SOPS 83543 HAS SOUS 25845 HAS SOUPS 25845 WITH SCORE 25928.543
AT ITER 7035 NEW BEST:: SOT 144620 SOS 83519 HAS SOPS 83519 HAS SOUS 25845 HAS SOUPS 25845 WITH SCORE 25928.519
AT ITER 7040 NEW BEST:: SOT 144602 SOS 83488 HAS SOPS 83488 HAS SOUS 25814 HAS SOUPS 25814 WITH SCORE 25897.488
AT ITER 7053 NEW BEST:: SOT 144568 SOS 83437 HAS SOPS 83437 HAS SOUS 25763 HAS SOUPS 25763 WITH SCORE 25846.437
AT ITER 7075 NEW BEST:: SOT 144288 SOS 83157 HAS SOPS 83157 HAS SOUS 25537 HAS SOUPS 25537 WITH SCORE 25620.157
AT ITER 7105 NEW BEST:: SOT 144238 SOS 82993 HAS SOPS 82993 HAS SOUS 25493 HAS SOUPS 25493 WITH SCORE 25575.993
AT ITER 7146 NEW BEST:: SOT 144237 SOS 82951 HAS SOPS 82951 HAS SOUS 25491 HAS SOUPS 25491 WITH SCORE 25573.951
AT ITER 7199 NEW BEST:: SOT 144237 SOS 82951 HAS SOPS 82951 HAS SOUS 25489 HAS SOUPS 25489 WITH SCORE 25571.951
AT ITER 7226 NEW BEST:: SOT 144237 SOS 82815 HAS SOPS 82815 HAS SOUS 25350 HAS SOUPS 25350 WITH SCORE 25432.815
AT ITER 7246 NEW BEST:: SOT 144236 SOS 82814 HAS SOPS 82814 HAS SOUS 25349 HAS SOUPS 25349 WITH SCORE 25431.814
AT ITER 7273 NEW BEST:: SOT 144147 SOS 82752 HAS SOPS 82752 HAS SOUS 25295 HAS SOUPS 25295 WITH SCORE 25377.752
AT ITER 7274 NEW BEST:: SOT 144142 SOS 82747 HAS SOPS 82747 HAS SOUS 25290 HAS SOUPS 25290 WITH SCORE 25372.747
AT ITER 7282 NEW BEST:: SOT 144141 SOS 82746 HAS SOPS 82746 HAS SOUS 25290 HAS SOUPS 25290 WITH SCORE 25372.746
AT ITER 7285 NEW BEST:: SOT 144116 SOS 82721 HAS SOPS 82721 HAS SOUS 25244 HAS SOUPS 25244 WITH SCORE 25326.721
AT ITER 7301 NEW BEST:: SOT 144115 SOS 82720 HAS SOPS 82720 HAS SOUS 25244 HAS SOUPS 25244 WITH SCORE 25326.72
AT ITER 7315 NEW BEST:: SOT 144001 SOS 82244 HAS SOPS 82244 HAS SOUS 25148 HAS SOUPS 25148 WITH SCORE 25230.244
AT ITER 7334 NEW BEST:: SOT 144007 SOS 82250 HAS SOPS 82250 HAS SOUS 25144 HAS SOUPS 25144 WITH SCORE 25226.25
AT ITER 7337 NEW BEST:: SOT 144002 SOS 82236 HAS SOPS 82236 HAS SOUS 25124 HAS SOUPS 25124 WITH SCORE 25206.236
AT ITER 7338 NEW BEST:: SOT 144006 SOS 82206 HAS SOPS 82206 HAS SOUS 25094 HAS SOUPS 25094 WITH SCORE 25176.206
AT ITER 7364 NEW BEST:: SOT 143987 SOS 82175 HAS SOPS 82175 HAS SOUS 25033 HAS SOUPS 25033 WITH SCORE 25115.175
AT ITER 7439 NEW BEST:: SOT 143984 SOS 82172 HAS SOPS 82172 HAS SOUS 25030 HAS SOUPS 25030 WITH SCORE 25112.172
AT ITER 7476 NEW BEST:: SOT 143984 SOS 82169 HAS SOPS 82169 HAS SOUS 25027 HAS SOUPS 25027 WITH SCORE 25109.169
AT ITER 7485 NEW BEST:: SOT 144003 SOS 82188 HAS SOPS 82188 HAS SOUS 25018 HAS SOUPS 25018 WITH SCORE 25100.188
AT ITER 7497 NEW BEST:: SOT 143981 SOS 82166 HAS SOPS 82166 HAS SOUS 24980 HAS SOUPS 24980 WITH SCORE 25062.166
AT ITER 7498 NEW BEST:: SOT 143983 SOS 82182 HAS SOPS 82182 HAS SOUS 24968 HAS SOUPS 24968 WITH SCORE 25050.182
AT ITER 7537 NEW BEST:: SOT 143979 SOS 82181 HAS SOPS 82181 HAS SOUS 24967 HAS SOUPS 24967 WITH SCORE 25049.181
AT ITER 7654 NEW BEST:: SOT 143957 SOS 82159 HAS SOPS 82159 HAS SOUS 24945 HAS SOUPS 24945 WITH SCORE 25027.159
AT ITER 7670 NEW BEST:: SOT 143935 SOS 82146 HAS SOPS 82146 HAS SOUS 24932 HAS SOUPS 24932 WITH SCORE 25014.146
AT ITER 7717 NEW BEST:: SOT 143935 SOS 82146 HAS SOPS 82146 HAS SOUS 24927 HAS SOUPS 24927 WITH SCORE 25009.146
AT ITER 7738 NEW BEST:: SOT 143927 SOS 82138 HAS SOPS 82138 HAS SOUS 24873 HAS SOUPS 24873 WITH SCORE 24955.138
AT ITER 7788 NEW BEST:: SOT 143927 SOS 82150 HAS SOPS 82150 HAS SOUS 24854 HAS SOUPS 24854 WITH SCORE 24936.15
AT ITER 7850 NEW BEST:: SOT 143912 SOS 82135 HAS SOPS 82135 HAS SOUS 24839 HAS SOUPS 24839 WITH SCORE 24921.135
AT ITER 7922 NEW BEST:: SOT 143912 SOS 82103 HAS SOPS 82103 HAS SOUS 24838 HAS SOUPS 24838 WITH SCORE 24920.103
AT ITER 7936 NEW BEST:: SOT 143912 SOS 82103 HAS SOPS 82103 HAS SOUS 24822 HAS SOUPS 24822 WITH SCORE 24904.103
AT ITER 7940 NEW BEST:: SOT 143894 SOS 82097 HAS SOPS 82097 HAS SOUS 24816 HAS SOUPS 24816 WITH SCORE 24898.097
AT ITER 8019 NEW BEST:: SOT 143858 SOS 82063 HAS SOPS 82063 HAS SOUS 24802 HAS SOUPS 24802 WITH SCORE 24884.063
AT ITER 8055 NEW BEST:: SOT 143798 SOS 82003 HAS SOPS 82003 HAS SOUS 24738 HAS SOUPS 24738 WITH SCORE 24820.003
AT ITER 8057 NEW BEST:: SOT 143708 SOS 81946 HAS SOPS 81946 HAS SOUS 24699 HAS SOUPS 24699 WITH SCORE 24780.946
AT ITER 8069 NEW BEST:: SOT 143692 SOS 81930 HAS SOPS 81930 HAS SOUS 24675 HAS SOUPS 24675 WITH SCORE 24756.93
AT ITER 8100 NEW BEST:: SOT 143658 SOS 81896 HAS SOPS 81896 HAS SOUS 24639 HAS SOUPS 24639 WITH SCORE 24720.896
AT ITER 8138 NEW BEST:: SOT 143658 SOS 81720 HAS SOPS 81720 HAS SOUS 24617 HAS SOUPS 24617 WITH SCORE 24698.72
AT ITER 8143 NEW BEST:: SOT 143634 SOS 81670 HAS SOPS 81670 HAS SOUS 24576 HAS SOUPS 24576 WITH SCORE 24657.67
AT ITER 8249 NEW BEST:: SOT 143634 SOS 81658 HAS SOPS 81658 HAS SOUS 24570 HAS SOUPS 24570 WITH SCORE 24651.658
AT ITER 8268 NEW BEST:: SOT 143617 SOS 81580 HAS SOPS 81580 HAS SOUS 24562 HAS SOUPS 24562 WITH SCORE 24643.58
AT ITER 8286 NEW BEST:: SOT 143601 SOS 81564 HAS SOPS 81564 HAS SOUS 24538 HAS SOUPS 24538 WITH SCORE 24619.564
AT ITER 8298 NEW BEST:: SOT 143590 SOS 81569 HAS SOPS 81569 HAS SOUS 24531 HAS SOUPS 24531 WITH SCORE 24612.569
AT ITER 8311 NEW BEST:: SOT 143582 SOS 81557 HAS SOPS 81557 HAS SOUS 24519 HAS SOUPS 24519 WITH SCORE 24600.557
AT ITER 8314 NEW BEST:: SOT 143582 SOS 81333 HAS SOPS 81333 HAS SOUS 24505 HAS SOUPS 24505 WITH SCORE 24586.333
AT ITER 8320 NEW BEST:: SOT 143571 SOS 81324 HAS SOPS 81324 HAS SOUS 24494 HAS SOUPS 24494 WITH SCORE 24575.324
AT ITER 8343 NEW BEST:: SOT 143566 SOS 81319 HAS SOPS 81319 HAS SOUS 24489 HAS SOUPS 24489 WITH SCORE 24570.319
AT ITER 8414 NEW BEST:: SOT 143563 SOS 81314 HAS SOPS 81314 HAS SOUS 24484 HAS SOUPS 24484 WITH SCORE 24565.314
AT ITER 8439 NEW BEST:: SOT 143557 SOS 81290 HAS SOPS 81290 HAS SOUS 24484 HAS SOUPS 24484 WITH SCORE 24565.29
AT ITER 8464 NEW BEST:: SOT 143755 SOS 81439 HAS SOPS 81439 HAS SOUS 24456 HAS SOUPS 24456 WITH SCORE 24537.439
AT ITER 8521 NEW BEST:: SOT 143749 SOS 81433 HAS SOPS 81433 HAS SOUS 24450 HAS SOUPS 24450 WITH SCORE 24531.433
AT ITER 8529 NEW BEST:: SOT 143743 SOS 81421 HAS SOPS 81421 HAS SOUS 24444 HAS SOUPS 24444 WITH SCORE 24525.421
AT ITER 8542 NEW BEST:: SOT 143730 SOS 81507 HAS SOPS 81507 HAS SOUS 24438 HAS SOUPS 24438 WITH SCORE 24519.507
AT ITER 8625 NEW BEST:: SOT 143727 SOS 81512 HAS SOPS 81512 HAS SOUS 24435 HAS SOUPS 24435 WITH SCORE 24516.512
AT ITER 8655 NEW BEST:: SOT 143716 SOS 81469 HAS SOPS 81469 HAS SOUS 24392 HAS SOUPS 24392 WITH SCORE 24473.469
AT ITER 8701 NEW BEST:: SOT 143703 SOS 81439 HAS SOPS 81439 HAS SOUS 24362 HAS SOUPS 24362 WITH SCORE 24443.439
AT ITER 8762 NEW BEST:: SOT 143695 SOS 81431 HAS SOPS 81431 HAS SOUS 24362 HAS SOUPS 24362 WITH SCORE 24443.431
AT ITER 8777 NEW BEST:: SOT 143695 SOS 81431 HAS SOPS 81431 HAS SOUS 24358 HAS SOUPS 24358 WITH SCORE 24439.431
AT ITER 8815 NEW BEST:: SOT 143697 SOS 81422 HAS SOPS 81422 HAS SOUS 24349 HAS SOUPS 24349 WITH SCORE 24430.422
AT ITER 8817 NEW BEST:: SOT 143697 SOS 81408 HAS SOPS 81408 HAS SOUS 24345 HAS SOUPS 24345 WITH SCORE 24426.408
AT ITER 8842 NEW BEST:: SOT 143696 SOS 81407 HAS SOPS 81407 HAS SOUS 24343 HAS SOUPS 24343 WITH SCORE 24424.407
AT ITER 8860 NEW BEST:: SOT 143674 SOS 81383 HAS SOPS 81383 HAS SOUS 24245 HAS SOUPS 24245 WITH SCORE 24326.383
AT ITER 8884 NEW BEST:: SOT 143673 SOS 81333 HAS SOPS 81333 HAS SOUS 24209 HAS SOUPS 24209 WITH SCORE 24290.333
AT ITER 8930 NEW BEST:: SOT 143636 SOS 81296 HAS SOPS 81296 HAS SOUS 24181 HAS SOUPS 24181 WITH SCORE 24262.296
AT ITER 8944 NEW BEST:: SOT 143636 SOS 81282 HAS SOPS 81282 HAS SOUS 24167 HAS SOUPS 24167 WITH SCORE 24248.282
AT ITER 8958 NEW BEST:: SOT 143636 SOS 80848 HAS SOPS 80848 HAS SOUS 24153 HAS SOUPS 24153 WITH SCORE 24233.848
AT ITER 8987 NEW BEST:: SOT 143635 SOS 80841 HAS SOPS 80841 HAS SOUS 24151 HAS SOUPS 24151 WITH SCORE 24231.841
AT ITER 9081 NEW BEST:: SOT 143581 SOS 80848 HAS SOPS 80848 HAS SOUS 24090 HAS SOUPS 24090 WITH SCORE 24170.848
AT ITER 9090 NEW BEST:: SOT 143608 SOS 80886 HAS SOPS 80886 HAS SOUS 24071 HAS SOUPS 24071 WITH SCORE 24151.886
AT ITER 9127 NEW BEST:: SOT 143600 SOS 80871 HAS SOPS 80871 HAS SOUS 24056 HAS SOUPS 24056 WITH SCORE 24136.871
AT ITER 9147 NEW BEST:: SOT 143518 SOS 80865 HAS SOPS 80865 HAS SOUS 23975 HAS SOUPS 23975 WITH SCORE 24055.865
AT ITER 9276 NEW BEST:: SOT 143518 SOS 80793 HAS SOPS 80793 HAS SOUS 23966 HAS SOUPS 23966 WITH SCORE 24046.793
AT ITER 9352 NEW BEST:: SOT 143455 SOS 80829 HAS SOPS 80829 HAS SOUS 23906 HAS SOUPS 23906 WITH SCORE 23986.829
AT ITER 9417 NEW BEST:: SOT 143455 SOS 79815 HAS SOPS 79815 HAS SOUS 23900 HAS SOUPS 23900 WITH SCORE 23979.815
AT ITER 9430 NEW BEST:: SOT 143455 SOS 79810 HAS SOPS 79810 HAS SOUS 23900 HAS SOUPS 23900 WITH SCORE 23979.81
AT ITER 9431 NEW BEST:: SOT 143455 SOS 79888 HAS SOPS 79888 HAS SOUS 23814 HAS SOUPS 23814 WITH SCORE 23893.888
AT ITER 9462 NEW BEST:: SOT 143450 SOS 79883 HAS SOPS 79883 HAS SOUS 23809 HAS SOUPS 23809 WITH SCORE 23888.883
AT ITER 9551 NEW BEST:: SOT 143439 SOS 79872 HAS SOPS 79872 HAS SOUS 23798 HAS SOUPS 23798 WITH SCORE 23877.872
AT ITER 9567 NEW BEST:: SOT 143435 SOS 79864 HAS SOPS 79864 HAS SOUS 23790 HAS SOUPS 23790 WITH SCORE 23869.864
AT ITER 9584 NEW BEST:: SOT 143437 SOS 79866 HAS SOPS 79866 HAS SOUS 23777 HAS SOUPS 23777 WITH SCORE 23856.866
AT ITER 9608 NEW BEST:: SOT 143422 SOS 79727 HAS SOPS 79727 HAS SOUS 23757 HAS SOUPS 23757 WITH SCORE 23836.727
AT ITER 9614 NEW BEST:: SOT 143402 SOS 79707 HAS SOPS 79707 HAS SOUS 23721 HAS SOUPS 23721 WITH SCORE 23800.707
AT ITER 9718 NEW BEST:: SOT 143439 SOS 79727 HAS SOPS 79727 HAS SOUS 23693 HAS SOUPS 23693 WITH SCORE 23772.727
AT ITER 9749 NEW BEST:: SOT 143432 SOS 79671 HAS SOPS 79671 HAS SOUS 23688 HAS SOUPS 23688 WITH SCORE 23767.671
AT ITER 9790 NEW BEST:: SOT 143429 SOS 79668 HAS SOPS 79668 HAS SOUS 23685 HAS SOUPS 23685 WITH SCORE 23764.668
AT ITER 9801 NEW BEST:: SOT 143429 SOS 79785 HAS SOPS 79785 HAS SOUS 23676 HAS SOUPS 23676 WITH SCORE 23755.785
AT ITER 9802 NEW BEST:: SOT 143429 SOS 79769 HAS SOPS 79769 HAS SOUS 23672 HAS SOUPS 23672 WITH SCORE 23751.769
AT ITER 9878 NEW BEST:: SOT 143417 SOS 79757 HAS SOPS 79757 HAS SOUS 23648 HAS SOUPS 23648 WITH SCORE 23727.757
AT ITER 9893 NEW BEST:: SOT 143392 SOS 79756 HAS SOPS 79756 HAS SOUS 23647 HAS SOUPS 23647 WITH SCORE 23726.756
AT ITER 9895 NEW BEST:: SOT 143392 SOS 79751 HAS SOPS 79751 HAS SOUS 23635 HAS SOUPS 23635 WITH SCORE 23714.751
AT ITER 9926 NEW BEST:: SOT 143365 SOS 79724 HAS SOPS 79724 HAS SOUS 23608 HAS SOUPS 23608 WITH SCORE 23687.724
STATE_SPACE STATES 189402887 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 23 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 956616896 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1588985802775

--------------------
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="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"

# 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 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-smll-158897507900009"
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 ;