Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r018-oct2-158897679500072.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 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 BART-PT-002, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897679500072
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.3M
-rw-r--r-- 1 mcc users 4.0K Apr 15 13:38 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 15 13:38 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Apr 15 13:30 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 15 13:30 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 85K Apr 8 14:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 236K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 71K Apr 8 14:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 203K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.4K Apr 15 13:26 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 15 13:26 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.2K Apr 15 13:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 15 13:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 15 13:29 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Apr 15 13:29 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 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 534K 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 1589012443061

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

Filename model.pnml
Petri model created: 474 places, 404 transitions, 3240 arcs.
AT ITER 0 NEW BEST:: SOT 148094 SOS 89363 HAS SOPS 54948 HAS SOUS 62508 HAS SOUPS 47851 WITH SCORE 47940.363
AT ITER 2 NEW BEST:: SOT 148038 SOS 89268 HAS SOPS 54853 HAS SOUS 62413 HAS SOUPS 47756 WITH SCORE 47845.268
AT ITER 5 NEW BEST:: SOT 147932 SOS 89050 HAS SOPS 54805 HAS SOUS 62223 HAS SOUPS 47678 WITH SCORE 47767.05
AT ITER 10 NEW BEST:: SOT 147932 SOS 89050 HAS SOPS 54740 HAS SOUS 62112 HAS SOUPS 47534 WITH SCORE 47623.05
AT ITER 11 NEW BEST:: SOT 147932 SOS 89050 HAS SOPS 54701 HAS SOUS 62040 HAS SOUPS 47418 WITH SCORE 47507.05
AT ITER 17 NEW BEST:: SOT 147909 SOS 89027 HAS SOPS 54654 HAS SOUS 62013 HAS SOUPS 47351 WITH SCORE 47440.027
AT ITER 27 NEW BEST:: SOT 147844 SOS 88962 HAS SOPS 54468 HAS SOUS 61883 HAS SOUPS 47101 WITH SCORE 47189.962
AT ITER 46 NEW BEST:: SOT 147808 SOS 88854 HAS SOPS 54470 HAS SOUS 61778 HAS SOUPS 47068 WITH SCORE 47156.854
AT ITER 59 NEW BEST:: SOT 147808 SOS 88694 HAS SOPS 54470 HAS SOUS 61738 HAS SOUPS 47068 WITH SCORE 47156.694
AT ITER 60 NEW BEST:: SOT 147808 SOS 88694 HAS SOPS 54457 HAS SOUS 61746 HAS SOUPS 47055 WITH SCORE 47143.694
AT ITER 61 NEW BEST:: SOT 147808 SOS 88546 HAS SOPS 54457 HAS SOUS 61709 HAS SOUPS 47055 WITH SCORE 47143.546
AT ITER 73 NEW BEST:: SOT 147808 SOS 88546 HAS SOPS 54456 HAS SOUS 61734 HAS SOUPS 47018 WITH SCORE 47106.546
AT ITER 75 NEW BEST:: SOT 147787 SOS 88504 HAS SOPS 54497 HAS SOUS 61712 HAS SOUPS 47017 WITH SCORE 47105.504
AT ITER 80 NEW BEST:: SOT 147787 SOS 88504 HAS SOPS 54417 HAS SOUS 61676 HAS SOUPS 46938 WITH SCORE 47026.504
AT ITER 83 NEW BEST:: SOT 147819 SOS 88640 HAS SOPS 54393 HAS SOUS 61737 HAS SOUPS 46914 WITH SCORE 47002.64
AT ITER 84 NEW BEST:: SOT 147778 SOS 88517 HAS SOPS 54393 HAS SOUS 61696 HAS SOUPS 46914 WITH SCORE 47002.517
AT ITER 87 NEW BEST:: SOT 147742 SOS 88481 HAS SOPS 54284 HAS SOUS 61588 HAS SOUPS 46770 WITH SCORE 46858.481
AT ITER 95 NEW BEST:: SOT 147880 SOS 88875 HAS SOPS 54187 HAS SOUS 61781 HAS SOUPS 46673 WITH SCORE 46761.875
AT ITER 99 NEW BEST:: SOT 147665 SOS 88656 HAS SOPS 54109 HAS SOUS 61703 HAS SOUPS 46596 WITH SCORE 46684.656
AT ITER 106 NEW BEST:: SOT 147715 SOS 88755 HAS SOPS 54079 HAS SOUS 61923 HAS SOUPS 46567 WITH SCORE 46655.755
AT ITER 109 NEW BEST:: SOT 147564 SOS 88604 HAS SOPS 53999 HAS SOUS 61844 HAS SOUPS 46488 WITH SCORE 46576.604
AT ITER 113 NEW BEST:: SOT 147564 SOS 88604 HAS SOPS 54052 HAS SOUS 61819 HAS SOUPS 46463 WITH SCORE 46551.604
AT ITER 115 NEW BEST:: SOT 147383 SOS 88267 HAS SOPS 54035 HAS SOUS 61762 HAS SOUPS 46447 WITH SCORE 46535.267
AT ITER 118 NEW BEST:: SOT 147390 SOS 88283 HAS SOPS 53962 HAS SOUS 61899 HAS SOUPS 46375 WITH SCORE 46463.283
AT ITER 123 NEW BEST:: SOT 147372 SOS 88311 HAS SOPS 53879 HAS SOUS 61950 HAS SOUPS 46292 WITH SCORE 46380.311
AT ITER 134 NEW BEST:: SOT 147372 SOS 88311 HAS SOPS 53875 HAS SOUS 61962 HAS SOUPS 46288 WITH SCORE 46376.311
AT ITER 135 NEW BEST:: SOT 147339 SOS 88245 HAS SOPS 53940 HAS SOUS 61929 HAS SOUPS 46288 WITH SCORE 46376.245
AT ITER 138 NEW BEST:: SOT 143167 SOS 85029 HAS SOPS 49768 HAS SOUS 57992 HAS SOUPS 42116 WITH SCORE 42201.029
AT ITER 141 NEW BEST:: SOT 143084 SOS 84874 HAS SOPS 49708 HAS SOUS 57858 HAS SOUPS 42054 WITH SCORE 42138.874
AT ITER 154 NEW BEST:: SOT 143084 SOS 84806 HAS SOPS 49708 HAS SOUS 57824 HAS SOUPS 42054 WITH SCORE 42138.806
AT ITER 157 NEW BEST:: SOT 142968 SOS 84690 HAS SOPS 49670 HAS SOUS 57787 HAS SOUPS 42017 WITH SCORE 42101.69
AT ITER 158 NEW BEST:: SOT 142911 SOS 84633 HAS SOPS 49555 HAS SOUS 57639 HAS SOUPS 41825 WITH SCORE 41909.633
AT ITER 170 NEW BEST:: SOT 142944 SOS 84784 HAS SOPS 49496 HAS SOUS 57751 HAS SOUPS 41766 WITH SCORE 41850.784
AT ITER 187 NEW BEST:: SOT 142928 SOS 84768 HAS SOPS 49406 HAS SOUS 57704 HAS SOUPS 41730 WITH SCORE 41814.768
AT ITER 192 NEW BEST:: SOT 142928 SOS 84724 HAS SOPS 49406 HAS SOUS 57671 HAS SOUPS 41730 WITH SCORE 41814.724
AT ITER 198 NEW BEST:: SOT 142913 SOS 84745 HAS SOPS 49339 HAS SOUS 57813 HAS SOUPS 41664 WITH SCORE 41748.745
AT ITER 228 NEW BEST:: SOT 142913 SOS 84057 HAS SOPS 49339 HAS SOUS 57374 HAS SOUPS 41664 WITH SCORE 41748.057
AT ITER 231 NEW BEST:: SOT 142913 SOS 84057 HAS SOPS 49338 HAS SOUS 57368 HAS SOUPS 41630 WITH SCORE 41714.057
AT ITER 232 NEW BEST:: SOT 142977 SOS 84168 HAS SOPS 49278 HAS SOUS 57526 HAS SOUPS 41617 WITH SCORE 41701.168
AT ITER 233 NEW BEST:: SOT 142677 SOS 83915 HAS SOPS 49278 HAS SOUS 57487 HAS SOUPS 41617 WITH SCORE 41700.915
AT ITER 245 NEW BEST:: SOT 142655 SOS 83893 HAS SOPS 49234 HAS SOUS 57436 HAS SOUPS 41551 WITH SCORE 41634.893
AT ITER 246 NEW BEST:: SOT 142619 SOS 83813 HAS SOPS 49242 HAS SOUS 57364 HAS SOUPS 41523 WITH SCORE 41606.813
AT ITER 250 NEW BEST:: SOT 142619 SOS 83813 HAS SOPS 49111 HAS SOUS 57364 HAS SOUPS 41393 WITH SCORE 41476.813
AT ITER 251 NEW BEST:: SOT 142599 SOS 83793 HAS SOPS 49111 HAS SOUS 57362 HAS SOUPS 41393 WITH SCORE 41476.793
AT ITER 254 NEW BEST:: SOT 142649 SOS 83875 HAS SOPS 49103 HAS SOUS 57453 HAS SOUPS 41385 WITH SCORE 41468.875
AT ITER 256 NEW BEST:: SOT 139624 SOS 83028 HAS SOPS 50860 HAS SOUS 54788 HAS SOUPS 41324 WITH SCORE 41407.028
AT ITER 258 NEW BEST:: SOT 139624 SOS 83012 HAS SOPS 50860 HAS SOUS 54784 HAS SOUPS 41324 WITH SCORE 41407.012
AT ITER 259 NEW BEST:: SOT 139624 SOS 82986 HAS SOPS 50860 HAS SOUS 54773 HAS SOUPS 41324 WITH SCORE 41406.986
AT ITER 263 NEW BEST:: SOT 139598 SOS 82960 HAS SOPS 50808 HAS SOUS 54754 HAS SOUPS 41279 WITH SCORE 41361.96
AT ITER 266 NEW BEST:: SOT 139598 SOS 82960 HAS SOPS 50768 HAS SOUS 54715 HAS SOUPS 41239 WITH SCORE 41321.96
AT ITER 275 NEW BEST:: SOT 139564 SOS 82926 HAS SOPS 50732 HAS SOUS 54681 HAS SOUPS 41205 WITH SCORE 41287.926
AT ITER 276 NEW BEST:: SOT 139564 SOS 82914 HAS SOPS 50732 HAS SOUS 54681 HAS SOUPS 41205 WITH SCORE 41287.914
AT ITER 279 NEW BEST:: SOT 139564 SOS 82898 HAS SOPS 50732 HAS SOUS 54665 HAS SOUPS 41205 WITH SCORE 41287.898
AT ITER 283 NEW BEST:: SOT 139526 SOS 82860 HAS SOPS 50764 HAS SOUS 54590 HAS SOUPS 41130 WITH SCORE 41212.86
AT ITER 291 NEW BEST:: SOT 139331 SOS 82665 HAS SOPS 50672 HAS SOUS 54498 HAS SOUPS 41038 WITH SCORE 41120.665
AT ITER 293 NEW BEST:: SOT 139353 SOS 82803 HAS SOPS 50665 HAS SOUS 54549 HAS SOUPS 41031 WITH SCORE 41113.803
AT ITER 295 NEW BEST:: SOT 139328 SOS 82778 HAS SOPS 50689 HAS SOUS 54524 HAS SOUPS 41006 WITH SCORE 41088.778
AT ITER 296 NEW BEST:: SOT 139300 SOS 82750 HAS SOPS 50633 HAS SOUS 54496 HAS SOUPS 40950 WITH SCORE 41032.75
AT ITER 303 NEW BEST:: SOT 139269 SOS 82719 HAS SOPS 50482 HAS SOUS 54398 HAS SOUPS 40827 WITH SCORE 40909.719
AT ITER 304 NEW BEST:: SOT 139391 SOS 82949 HAS SOPS 50031 HAS SOUS 54954 HAS SOUPS 40702 WITH SCORE 40784.949
AT ITER 306 NEW BEST:: SOT 139391 SOS 82935 HAS SOPS 50031 HAS SOUS 54926 HAS SOUPS 40688 WITH SCORE 40770.935
AT ITER 313 NEW BEST:: SOT 139315 SOS 82859 HAS SOPS 49837 HAS SOUS 54782 HAS SOUPS 40544 WITH SCORE 40626.859
AT ITER 317 NEW BEST:: SOT 139315 SOS 82859 HAS SOPS 49837 HAS SOUS 54777 HAS SOUPS 40539 WITH SCORE 40621.859
AT ITER 324 NEW BEST:: SOT 139305 SOS 82849 HAS SOPS 49720 HAS SOUS 54690 HAS SOUPS 40374 WITH SCORE 40456.849
AT ITER 328 NEW BEST:: SOT 139305 SOS 82813 HAS SOPS 49720 HAS SOUS 54690 HAS SOUPS 40374 WITH SCORE 40456.813
AT ITER 330 NEW BEST:: SOT 139073 SOS 82527 HAS SOPS 49597 HAS SOUS 54527 HAS SOUPS 40252 WITH SCORE 40334.527
AT ITER 337 NEW BEST:: SOT 139109 SOS 82641 HAS SOPS 49590 HAS SOUS 54602 HAS SOUPS 40245 WITH SCORE 40327.641
AT ITER 338 NEW BEST:: SOT 139065 SOS 82597 HAS SOPS 49502 HAS SOUS 54515 HAS SOUPS 40114 WITH SCORE 40196.597
AT ITER 339 NEW BEST:: SOT 139034 SOS 82504 HAS SOPS 49502 HAS SOUS 54484 HAS SOUPS 40114 WITH SCORE 40196.504
AT ITER 349 NEW BEST:: SOT 139062 SOS 82648 HAS SOPS 49468 HAS SOUS 54547 HAS SOUPS 40080 WITH SCORE 40162.648
AT ITER 355 NEW BEST:: SOT 138990 SOS 82576 HAS SOPS 49323 HAS SOUS 54367 HAS SOUPS 39864 WITH SCORE 39946.576
AT ITER 357 NEW BEST:: SOT 138990 SOS 82528 HAS SOPS 49323 HAS SOUS 54351 HAS SOUPS 39864 WITH SCORE 39946.528
AT ITER 362 NEW BEST:: SOT 138990 SOS 82570 HAS SOPS 49298 HAS SOUS 54349 HAS SOUPS 39839 WITH SCORE 39921.57
AT ITER 368 NEW BEST:: SOT 138990 SOS 82554 HAS SOPS 49298 HAS SOUS 54320 HAS SOUPS 39839 WITH SCORE 39921.554
AT ITER 378 NEW BEST:: SOT 139046 SOS 82610 HAS SOPS 49329 HAS SOUS 54335 HAS SOUPS 39815 WITH SCORE 39897.61
AT ITER 390 NEW BEST:: SOT 139064 SOS 82628 HAS SOPS 49311 HAS SOUS 54335 HAS SOUPS 39797 WITH SCORE 39879.628
AT ITER 395 NEW BEST:: SOT 139107 SOS 82851 HAS SOPS 49283 HAS SOUS 54453 HAS SOUPS 39769 WITH SCORE 39851.851
AT ITER 399 NEW BEST:: SOT 139107 SOS 82851 HAS SOPS 49232 HAS SOUS 54465 HAS SOUPS 39718 WITH SCORE 39800.851
AT ITER 402 NEW BEST:: SOT 139185 SOS 83349 HAS SOPS 49205 HAS SOUS 54591 HAS SOUPS 39691 WITH SCORE 39774.349
AT ITER 404 NEW BEST:: SOT 139115 SOS 83279 HAS SOPS 49322 HAS SOUS 54490 HAS SOUPS 39590 WITH SCORE 39673.279
AT ITER 426 NEW BEST:: SOT 139333 SOS 83790 HAS SOPS 49223 HAS SOUS 54489 HAS SOUPS 39491 WITH SCORE 39574.79
AT ITER 448 NEW BEST:: SOT 139309 SOS 83766 HAS SOPS 49223 HAS SOUS 54489 HAS SOUPS 39491 WITH SCORE 39574.766
AT ITER 471 NEW BEST:: SOT 139218 SOS 83675 HAS SOPS 49221 HAS SOUS 54488 HAS SOUPS 39490 WITH SCORE 39573.675
AT ITER 481 NEW BEST:: SOT 139191 SOS 83594 HAS SOPS 49221 HAS SOUS 54435 HAS SOUPS 39490 WITH SCORE 39573.594
AT ITER 497 NEW BEST:: SOT 139237 SOS 83640 HAS SOPS 49214 HAS SOUS 54468 HAS SOUPS 39470 WITH SCORE 39553.64
AT ITER 498 NEW BEST:: SOT 139237 SOS 83378 HAS SOPS 49214 HAS SOUS 54436 HAS SOUPS 39470 WITH SCORE 39553.378
AT ITER 500 NEW BEST:: SOT 139237 SOS 83378 HAS SOPS 49191 HAS SOUS 54451 HAS SOUPS 39447 WITH SCORE 39530.378
AT ITER 509 NEW BEST:: SOT 139229 SOS 83370 HAS SOPS 49183 HAS SOUS 54414 HAS SOUPS 39431 WITH SCORE 39514.37
AT ITER 513 NEW BEST:: SOT 139166 SOS 83233 HAS SOPS 49183 HAS SOUS 54325 HAS SOUPS 39431 WITH SCORE 39514.233
AT ITER 520 NEW BEST:: SOT 139180 SOS 83289 HAS SOPS 49163 HAS SOUS 54360 HAS SOUPS 39411 WITH SCORE 39494.289
AT ITER 528 NEW BEST:: SOT 139102 SOS 83211 HAS SOPS 49167 HAS SOUS 54171 HAS SOUPS 39262 WITH SCORE 39345.211
AT ITER 533 NEW BEST:: SOT 139102 SOS 76394 HAS SOPS 41619 HAS SOUS 53904 HAS SOUPS 38531 WITH SCORE 38607.394
AT ITER 537 NEW BEST:: SOT 139102 SOS 76330 HAS SOPS 41619 HAS SOUS 53904 HAS SOUPS 38531 WITH SCORE 38607.33
AT ITER 546 NEW BEST:: SOT 139059 SOS 76225 HAS SOPS 41619 HAS SOUS 53861 HAS SOUPS 38531 WITH SCORE 38607.225
AT ITER 550 NEW BEST:: SOT 138815 SOS 75981 HAS SOPS 41535 HAS SOUS 53676 HAS SOUPS 38495 WITH SCORE 38570.981
AT ITER 552 NEW BEST:: SOT 138815 SOS 75981 HAS SOPS 41539 HAS SOUS 53666 HAS SOUPS 38494 WITH SCORE 38569.981
AT ITER 554 NEW BEST:: SOT 138776 SOS 75942 HAS SOPS 41527 HAS SOUS 53627 HAS SOUPS 38482 WITH SCORE 38557.942
AT ITER 563 NEW BEST:: SOT 138836 SOS 76002 HAS SOPS 41416 HAS SOUS 53599 HAS SOUPS 38334 WITH SCORE 38410.002
AT ITER 573 NEW BEST:: SOT 138836 SOS 75998 HAS SOPS 41416 HAS SOUS 53597 HAS SOUPS 38334 WITH SCORE 38409.998
AT ITER 584 NEW BEST:: SOT 139172 SOS 74220 HAS SOPS 37898 HAS SOUS 53600 HAS SOUPS 36549 WITH SCORE 36623.22
AT ITER 585 NEW BEST:: SOT 139201 SOS 74249 HAS SOPS 37871 HAS SOUS 53637 HAS SOUPS 36523 WITH SCORE 36597.249
AT ITER 587 NEW BEST:: SOT 139176 SOS 74204 HAS SOPS 37900 HAS SOUS 53611 HAS SOUPS 36517 WITH SCORE 36591.204
AT ITER 609 NEW BEST:: SOT 139197 SOS 74287 HAS SOPS 37890 HAS SOUS 53658 HAS SOUPS 36507 WITH SCORE 36581.287
AT ITER 613 NEW BEST:: SOT 139118 SOS 74241 HAS SOPS 37548 HAS SOUS 53510 HAS SOUPS 36223 WITH SCORE 36297.241
AT ITER 624 NEW BEST:: SOT 139141 SOS 74287 HAS SOPS 37538 HAS SOUS 53569 HAS SOUPS 36213 WITH SCORE 36287.287
AT ITER 634 NEW BEST:: SOT 139243 SOS 74721 HAS SOPS 37508 HAS SOUS 53645 HAS SOUPS 36183 WITH SCORE 36257.721
AT ITER 636 NEW BEST:: SOT 139350 SOS 75580 HAS SOPS 37435 HAS SOUS 53856 HAS SOUPS 36110 WITH SCORE 36185.58
AT ITER 641 NEW BEST:: SOT 139350 SOS 75580 HAS SOPS 37371 HAS SOUS 53788 HAS SOUPS 36042 WITH SCORE 36117.58
AT ITER 648 NEW BEST:: SOT 139350 SOS 75580 HAS SOPS 37367 HAS SOUS 53794 HAS SOUPS 36038 WITH SCORE 36113.58
AT ITER 651 NEW BEST:: SOT 139263 SOS 75459 HAS SOPS 37368 HAS SOUS 53719 HAS SOUPS 35996 WITH SCORE 36071.459
AT ITER 652 NEW BEST:: SOT 139238 SOS 75434 HAS SOPS 37318 HAS SOUS 53765 HAS SOUPS 35946 WITH SCORE 36021.434
AT ITER 653 NEW BEST:: SOT 139238 SOS 75434 HAS SOPS 37229 HAS SOUS 53735 HAS SOUPS 35886 WITH SCORE 35961.434
AT ITER 666 NEW BEST:: SOT 139185 SOS 75381 HAS SOPS 37211 HAS SOUS 53681 HAS SOUPS 35868 WITH SCORE 35943.381
AT ITER 668 NEW BEST:: SOT 139177 SOS 75357 HAS SOPS 37211 HAS SOUS 53665 HAS SOUPS 35868 WITH SCORE 35943.357
AT ITER 672 NEW BEST:: SOT 139369 SOS 75837 HAS SOPS 37197 HAS SOUS 53854 HAS SOUPS 35854 WITH SCORE 35929.837
AT ITER 707 NEW BEST:: SOT 139358 SOS 75826 HAS SOPS 37174 HAS SOUS 53832 HAS SOUPS 35832 WITH SCORE 35907.826
AT ITER 713 NEW BEST:: SOT 139326 SOS 75794 HAS SOPS 37110 HAS SOUS 53805 HAS SOUPS 35765 WITH SCORE 35840.794
AT ITER 716 NEW BEST:: SOT 134837 SOS 76497 HAS SOPS 32330 HAS SOUS 55598 HAS SOUPS 31813 WITH SCORE 31889.497
AT ITER 719 NEW BEST:: SOT 134737 SOS 76345 HAS SOPS 32326 HAS SOUS 55499 HAS SOUPS 31763 WITH SCORE 31839.345
AT ITER 727 NEW BEST:: SOT 134723 SOS 76331 HAS SOPS 32280 HAS SOUS 55485 HAS SOUPS 31717 WITH SCORE 31793.331
AT ITER 728 NEW BEST:: SOT 134761 SOS 76501 HAS SOPS 32210 HAS SOUS 55547 HAS SOUPS 31647 WITH SCORE 31723.501
AT ITER 737 NEW BEST:: SOT 134722 SOS 76462 HAS SOPS 32157 HAS SOUS 55410 HAS SOUPS 31594 WITH SCORE 31670.462
AT ITER 748 NEW BEST:: SOT 134729 SOS 76469 HAS SOPS 32136 HAS SOUS 55452 HAS SOUPS 31573 WITH SCORE 31649.469
AT ITER 758 NEW BEST:: SOT 134739 SOS 76503 HAS SOPS 32015 HAS SOUS 55509 HAS SOUPS 31452 WITH SCORE 31528.503
AT ITER 766 NEW BEST:: SOT 134906 SOS 76990 HAS SOPS 32012 HAS SOUS 55813 HAS SOUPS 31449 WITH SCORE 31525.99
AT ITER 776 NEW BEST:: SOT 134937 SOS 77043 HAS SOPS 31959 HAS SOUS 55886 HAS SOUPS 31396 WITH SCORE 31473.043
AT ITER 782 NEW BEST:: SOT 134929 SOS 77035 HAS SOPS 31959 HAS SOUS 55876 HAS SOUPS 31396 WITH SCORE 31473.035
AT ITER 783 NEW BEST:: SOT 134969 SOS 77339 HAS SOPS 31863 HAS SOUS 55939 HAS SOUPS 31300 WITH SCORE 31377.339
AT ITER 785 NEW BEST:: SOT 134959 SOS 77329 HAS SOPS 31831 HAS SOUS 56002 HAS SOUPS 31268 WITH SCORE 31345.329
AT ITER 789 NEW BEST:: SOT 134919 SOS 77289 HAS SOPS 31791 HAS SOUS 55962 HAS SOUPS 31228 WITH SCORE 31305.289
AT ITER 800 NEW BEST:: SOT 134919 SOS 77289 HAS SOPS 31713 HAS SOUS 55970 HAS SOUPS 31158 WITH SCORE 31235.289
AT ITER 803 NEW BEST:: SOT 135137 SOS 77507 HAS SOPS 31675 HAS SOUS 56162 HAS SOUPS 31120 WITH SCORE 31197.507
AT ITER 820 NEW BEST:: SOT 135256 SOS 77324 HAS SOPS 31043 HAS SOUS 55869 HAS SOUPS 30790 WITH SCORE 30867.324
AT ITER 827 NEW BEST:: SOT 135256 SOS 77309 HAS SOPS 31030 HAS SOUS 55856 HAS SOUPS 30777 WITH SCORE 30854.309
AT ITER 838 NEW BEST:: SOT 135256 SOS 77201 HAS SOPS 31030 HAS SOUS 55838 HAS SOUPS 30777 WITH SCORE 30854.201
AT ITER 840 NEW BEST:: SOT 135419 SOS 77500 HAS SOPS 30899 HAS SOUS 55886 HAS SOUPS 30646 WITH SCORE 30723.5
AT ITER 864 NEW BEST:: SOT 135366 SOS 77447 HAS SOPS 30846 HAS SOUS 55833 HAS SOUPS 30593 WITH SCORE 30670.447
AT ITER 885 NEW BEST:: SOT 135392 SOS 77473 HAS SOPS 30871 HAS SOUS 55804 HAS SOUPS 30591 WITH SCORE 30668.473
AT ITER 886 NEW BEST:: SOT 135392 SOS 77389 HAS SOPS 30871 HAS SOUS 55794 HAS SOUPS 30591 WITH SCORE 30668.389
AT ITER 887 NEW BEST:: SOT 135369 SOS 77366 HAS SOPS 30871 HAS SOUS 55748 HAS SOUPS 30568 WITH SCORE 30645.366
AT ITER 889 NEW BEST:: SOT 135369 SOS 72622 HAS SOPS 30871 HAS SOUS 53367 HAS SOUPS 30547 WITH SCORE 30619.622
AT ITER 895 NEW BEST:: SOT 135327 SOS 72580 HAS SOPS 30871 HAS SOUS 53367 HAS SOUPS 30547 WITH SCORE 30619.58
AT ITER 897 NEW BEST:: SOT 135327 SOS 72568 HAS SOPS 30871 HAS SOUS 53367 HAS SOUPS 30547 WITH SCORE 30619.568
AT ITER 906 NEW BEST:: SOT 135229 SOS 72470 HAS SOPS 30675 HAS SOUS 53269 HAS SOUPS 30351 WITH SCORE 30423.47
AT ITER 911 NEW BEST:: SOT 135229 SOS 72470 HAS SOPS 30634 HAS SOUS 53294 HAS SOUPS 30310 WITH SCORE 30382.47
AT ITER 921 NEW BEST:: SOT 135040 SOS 72281 HAS SOPS 30338 HAS SOUS 53105 HAS SOUPS 30014 WITH SCORE 30086.281
AT ITER 932 NEW BEST:: SOT 135042 SOS 72283 HAS SOPS 30328 HAS SOUS 53095 HAS SOUPS 30004 WITH SCORE 30076.283
AT ITER 936 NEW BEST:: SOT 135058 SOS 72361 HAS SOPS 30313 HAS SOUS 53112 HAS SOUPS 29989 WITH SCORE 30061.361
AT ITER 937 NEW BEST:: SOT 134822 SOS 72219 HAS SOPS 30077 HAS SOUS 52876 HAS SOUPS 29753 WITH SCORE 29825.219
AT ITER 959 NEW BEST:: SOT 134790 SOS 72187 HAS SOPS 30013 HAS SOUS 52844 HAS SOUPS 29689 WITH SCORE 29761.187
AT ITER 977 NEW BEST:: SOT 134784 SOS 72181 HAS SOPS 30004 HAS SOUS 52838 HAS SOUPS 29680 WITH SCORE 29752.181
AT ITER 979 NEW BEST:: SOT 134774 SOS 72171 HAS SOPS 29999 HAS SOUS 52828 HAS SOUPS 29675 WITH SCORE 29747.171
AT ITER 988 NEW BEST:: SOT 134741 SOS 72039 HAS SOPS 29999 HAS SOUS 52795 HAS SOUPS 29675 WITH SCORE 29747.039
AT ITER 1000 NEW BEST:: SOT 134828 SOS 72378 HAS SOPS 29995 HAS SOUS 52897 HAS SOUPS 29671 WITH SCORE 29743.378
AT ITER 1001 NEW BEST:: SOT 134810 SOS 72360 HAS SOPS 29995 HAS SOUS 52897 HAS SOUPS 29671 WITH SCORE 29743.36
AT ITER 1010 NEW BEST:: SOT 134793 SOS 72343 HAS SOPS 29961 HAS SOUS 52865 HAS SOUPS 29637 WITH SCORE 29709.343
AT ITER 1011 NEW BEST:: SOT 134854 SOS 72404 HAS SOPS 29888 HAS SOUS 52848 HAS SOUPS 29564 WITH SCORE 29636.404
AT ITER 1019 NEW BEST:: SOT 134867 SOS 72469 HAS SOPS 29886 HAS SOUS 52861 HAS SOUPS 29562 WITH SCORE 29634.469
AT ITER 1022 NEW BEST:: SOT 134926 SOS 72607 HAS SOPS 29849 HAS SOUS 52949 HAS SOUPS 29525 WITH SCORE 29597.607
AT ITER 1029 NEW BEST:: SOT 134990 SOS 72671 HAS SOPS 29833 HAS SOUS 53013 HAS SOUPS 29509 WITH SCORE 29581.671
AT ITER 1037 NEW BEST:: SOT 135129 SOS 73133 HAS SOPS 29783 HAS SOUS 53184 HAS SOUPS 29481 WITH SCORE 29554.133
AT ITER 1044 NEW BEST:: SOT 135129 SOS 73213 HAS SOPS 29763 HAS SOUS 53184 HAS SOUPS 29461 WITH SCORE 29534.213
AT ITER 1046 NEW BEST:: SOT 135103 SOS 73187 HAS SOPS 29763 HAS SOUS 53184 HAS SOUPS 29461 WITH SCORE 29534.187
AT ITER 1053 NEW BEST:: SOT 135068 SOS 73152 HAS SOPS 29728 HAS SOUS 53149 HAS SOUPS 29426 WITH SCORE 29499.152
AT ITER 1078 NEW BEST:: SOT 135068 SOS 73196 HAS SOPS 29604 HAS SOUS 53088 HAS SOUPS 29318 WITH SCORE 29391.196
AT ITER 1086 NEW BEST:: SOT 135068 SOS 73137 HAS SOPS 29604 HAS SOUS 53088 HAS SOUPS 29318 WITH SCORE 29391.137
AT ITER 1087 NEW BEST:: SOT 135068 SOS 73053 HAS SOPS 29604 HAS SOUS 53176 HAS SOUPS 29318 WITH SCORE 29391.053
AT ITER 1091 NEW BEST:: SOT 135068 SOS 73053 HAS SOPS 29603 HAS SOUS 53176 HAS SOUPS 29317 WITH SCORE 29390.053
AT ITER 1106 NEW BEST:: SOT 135021 SOS 73006 HAS SOPS 29563 HAS SOUS 53107 HAS SOUPS 29255 WITH SCORE 29328.006
AT ITER 1125 NEW BEST:: SOT 135003 SOS 72988 HAS SOPS 29527 HAS SOUS 53089 HAS SOUPS 29219 WITH SCORE 29291.988
AT ITER 1130 NEW BEST:: SOT 135003 SOS 72888 HAS SOPS 29527 HAS SOUS 53039 HAS SOUPS 29219 WITH SCORE 29291.888
AT ITER 1135 NEW BEST:: SOT 135091 SOS 73164 HAS SOPS 29415 HAS SOUS 53199 HAS SOUPS 29107 WITH SCORE 29180.164
AT ITER 1142 NEW BEST:: SOT 135135 SOS 73320 HAS SOPS 29409 HAS SOUS 53324 HAS SOUPS 29101 WITH SCORE 29174.32
AT ITER 1144 NEW BEST:: SOT 135048 SOS 73126 HAS SOPS 29345 HAS SOUS 53191 HAS SOUPS 29037 WITH SCORE 29110.126
AT ITER 1145 NEW BEST:: SOT 135026 SOS 73060 HAS SOPS 29345 HAS SOUS 53147 HAS SOUPS 29037 WITH SCORE 29110.06
AT ITER 1146 NEW BEST:: SOT 135026 SOS 73000 HAS SOPS 29345 HAS SOUS 53115 HAS SOUPS 29037 WITH SCORE 29110.0
AT ITER 1153 NEW BEST:: SOT 134958 SOS 72932 HAS SOPS 29269 HAS SOUS 53052 HAS SOUPS 28961 WITH SCORE 29033.932
AT ITER 1161 NEW BEST:: SOT 134943 SOS 72917 HAS SOPS 29254 HAS SOUS 53037 HAS SOUPS 28946 WITH SCORE 29018.917
AT ITER 1171 NEW BEST:: SOT 135013 SOS 73385 HAS SOPS 29213 HAS SOUS 53136 HAS SOUPS 28905 WITH SCORE 28978.385
AT ITER 1209 NEW BEST:: SOT 134975 SOS 73347 HAS SOPS 29114 HAS SOUS 52975 HAS SOUPS 28806 WITH SCORE 28879.347
AT ITER 1218 NEW BEST:: SOT 134938 SOS 73310 HAS SOPS 29040 HAS SOUS 52938 HAS SOUPS 28732 WITH SCORE 28805.31
AT ITER 1235 NEW BEST:: SOT 134949 SOS 73343 HAS SOPS 29018 HAS SOUS 52927 HAS SOUPS 28710 WITH SCORE 28783.343
AT ITER 1251 NEW BEST:: SOT 134949 SOS 73331 HAS SOPS 29018 HAS SOUS 52943 HAS SOUPS 28710 WITH SCORE 28783.331
AT ITER 1252 NEW BEST:: SOT 134962 SOS 73506 HAS SOPS 28882 HAS SOUS 52888 HAS SOUPS 28574 WITH SCORE 28647.506
AT ITER 1292 NEW BEST:: SOT 134884 SOS 73318 HAS SOPS 28850 HAS SOUS 52776 HAS SOUPS 28539 WITH SCORE 28612.318
AT ITER 1326 NEW BEST:: SOT 134884 SOS 73197 HAS SOPS 28850 HAS SOUS 52735 HAS SOUPS 28539 WITH SCORE 28612.197
AT ITER 1337 NEW BEST:: SOT 134944 SOS 73312 HAS SOPS 28827 HAS SOUS 52738 HAS SOUPS 28516 WITH SCORE 28589.312
AT ITER 1341 NEW BEST:: SOT 134997 SOS 73401 HAS SOPS 28809 HAS SOUS 52763 HAS SOUPS 28498 WITH SCORE 28571.401
AT ITER 1361 NEW BEST:: SOT 134932 SOS 73303 HAS SOPS 28744 HAS SOUS 52719 HAS SOUPS 28454 WITH SCORE 28527.303
AT ITER 1368 NEW BEST:: SOT 134948 SOS 73327 HAS SOPS 28723 HAS SOUS 52775 HAS SOUPS 28433 WITH SCORE 28506.327
AT ITER 1374 NEW BEST:: SOT 134945 SOS 73324 HAS SOPS 28723 HAS SOUS 52775 HAS SOUPS 28433 WITH SCORE 28506.324
AT ITER 1379 NEW BEST:: SOT 134945 SOS 73320 HAS SOPS 28723 HAS SOUS 52775 HAS SOUPS 28433 WITH SCORE 28506.32
AT ITER 1380 NEW BEST:: SOT 134934 SOS 73287 HAS SOPS 28723 HAS SOUS 52764 HAS SOUPS 28433 WITH SCORE 28506.287
AT ITER 1382 NEW BEST:: SOT 134843 SOS 73108 HAS SOPS 28690 HAS SOUS 52623 HAS SOUPS 28369 WITH SCORE 28442.108
AT ITER 1389 NEW BEST:: SOT 134828 SOS 73093 HAS SOPS 28660 HAS SOUS 52615 HAS SOUPS 28339 WITH SCORE 28412.093
AT ITER 1400 NEW BEST:: SOT 134828 SOS 73065 HAS SOPS 28660 HAS SOUS 52615 HAS SOUPS 28339 WITH SCORE 28412.065
AT ITER 1402 NEW BEST:: SOT 134808 SOS 73045 HAS SOPS 28578 HAS SOUS 52595 HAS SOUPS 28257 WITH SCORE 28330.045
AT ITER 1410 NEW BEST:: SOT 134773 SOS 73010 HAS SOPS 28525 HAS SOUS 52543 HAS SOUPS 28204 WITH SCORE 28277.01
AT ITER 1425 NEW BEST:: SOT 134748 SOS 72985 HAS SOPS 28525 HAS SOUS 52524 HAS SOUPS 28204 WITH SCORE 28276.985
AT ITER 1473 NEW BEST:: SOT 134747 SOS 72984 HAS SOPS 28523 HAS SOUS 52523 HAS SOUPS 28202 WITH SCORE 28274.984
AT ITER 1493 NEW BEST:: SOT 134747 SOS 72960 HAS SOPS 28523 HAS SOUS 52523 HAS SOUPS 28202 WITH SCORE 28274.96
AT ITER 1495 NEW BEST:: SOT 134650 SOS 72863 HAS SOPS 28329 HAS SOUS 52426 HAS SOUPS 28008 WITH SCORE 28080.863
AT ITER 1497 NEW BEST:: SOT 134614 SOS 74970 HAS SOPS 28293 HAS SOUS 52449 HAS SOUPS 27972 WITH SCORE 28046.97
AT ITER 1528 NEW BEST:: SOT 134614 SOS 74952 HAS SOPS 28293 HAS SOUS 52449 HAS SOUPS 27972 WITH SCORE 28046.952
AT ITER 1530 NEW BEST:: SOT 134598 SOS 74941 HAS SOPS 28261 HAS SOUS 52505 HAS SOUPS 27940 WITH SCORE 28014.941
AT ITER 1537 NEW BEST:: SOT 134598 SOS 74885 HAS SOPS 28261 HAS SOUS 52477 HAS SOUPS 27940 WITH SCORE 28014.885
AT ITER 1568 NEW BEST:: SOT 134602 SOS 74889 HAS SOPS 28247 HAS SOUS 52474 HAS SOUPS 27926 WITH SCORE 28000.889
AT ITER 1572 NEW BEST:: SOT 134585 SOS 74838 HAS SOPS 28247 HAS SOUS 52457 HAS SOUPS 27926 WITH SCORE 28000.838
AT ITER 1598 NEW BEST:: SOT 134507 SOS 74760 HAS SOPS 28247 HAS SOUS 52423 HAS SOUPS 27926 WITH SCORE 28000.76
AT ITER 1609 NEW BEST:: SOT 134338 SOS 74491 HAS SOPS 28112 HAS SOUS 52129 HAS SOUPS 27708 WITH SCORE 27782.491
AT ITER 1642 NEW BEST:: SOT 134335 SOS 74488 HAS SOPS 28092 HAS SOUS 52109 HAS SOUPS 27688 WITH SCORE 27762.488
AT ITER 1655 NEW BEST:: SOT 134378 SOS 74531 HAS SOPS 28053 HAS SOUS 52139 HAS SOUPS 27649 WITH SCORE 27723.531
AT ITER 1672 NEW BEST:: SOT 134354 SOS 74503 HAS SOPS 28043 HAS SOUS 52115 HAS SOUPS 27639 WITH SCORE 27713.503
AT ITER 1687 NEW BEST:: SOT 134352 SOS 74493 HAS SOPS 28043 HAS SOUS 52111 HAS SOUPS 27639 WITH SCORE 27713.493
AT ITER 1692 NEW BEST:: SOT 134352 SOS 73873 HAS SOPS 28043 HAS SOUS 52111 HAS SOUPS 27639 WITH SCORE 27712.873
AT ITER 1707 NEW BEST:: SOT 134375 SOS 73896 HAS SOPS 28031 HAS SOUS 52107 HAS SOUPS 27625 WITH SCORE 27698.896
AT ITER 1718 NEW BEST:: SOT 134520 SOS 74356 HAS SOPS 28003 HAS SOUS 52425 HAS SOUPS 27597 WITH SCORE 27671.356
AT ITER 1727 NEW BEST:: SOT 134506 SOS 74342 HAS SOPS 27989 HAS SOUS 52397 HAS SOUPS 27569 WITH SCORE 27643.342
AT ITER 1730 NEW BEST:: SOT 134493 SOS 74329 HAS SOPS 27989 HAS SOUS 52384 HAS SOUPS 27569 WITH SCORE 27643.329
AT ITER 1746 NEW BEST:: SOT 134438 SOS 74274 HAS SOPS 27879 HAS SOUS 52393 HAS SOUPS 27459 WITH SCORE 27533.274
AT ITER 1759 NEW BEST:: SOT 134460 SOS 74296 HAS SOPS 27872 HAS SOUS 52415 HAS SOUPS 27452 WITH SCORE 27526.296
AT ITER 1764 NEW BEST:: SOT 134460 SOS 74214 HAS SOPS 27872 HAS SOUS 52393 HAS SOUPS 27452 WITH SCORE 27526.214
AT ITER 1772 NEW BEST:: SOT 134552 SOS 74306 HAS SOPS 27862 HAS SOUS 52440 HAS SOUPS 27442 WITH SCORE 27516.306
AT ITER 1780 NEW BEST:: SOT 134536 SOS 74290 HAS SOPS 27846 HAS SOUS 52424 HAS SOUPS 27426 WITH SCORE 27500.29
AT ITER 1798 NEW BEST:: SOT 134495 SOS 74197 HAS SOPS 27816 HAS SOUS 52368 HAS SOUPS 27396 WITH SCORE 27470.197
AT ITER 1801 NEW BEST:: SOT 134457 SOS 74156 HAS SOPS 27737 HAS SOUS 52293 HAS SOUPS 27293 WITH SCORE 27367.156
AT ITER 1805 NEW BEST:: SOT 134434 SOS 74128 HAS SOPS 27691 HAS SOUS 52254 HAS SOUPS 27247 WITH SCORE 27321.128
AT ITER 1807 NEW BEST:: SOT 134443 SOS 74177 HAS SOPS 27690 HAS SOUS 52263 HAS SOUPS 27246 WITH SCORE 27320.177
AT ITER 1815 NEW BEST:: SOT 134469 SOS 74228 HAS SOPS 27656 HAS SOUS 52254 HAS SOUPS 27212 WITH SCORE 27286.228
AT ITER 1834 NEW BEST:: SOT 134418 SOS 74177 HAS SOPS 27656 HAS SOUS 52152 HAS SOUPS 27212 WITH SCORE 27286.177
AT ITER 1835 NEW BEST:: SOT 134468 SOS 74227 HAS SOPS 27664 HAS SOUS 52181 HAS SOUPS 27193 WITH SCORE 27267.227
AT ITER 1847 NEW BEST:: SOT 134470 SOS 74182 HAS SOPS 27511 HAS SOUS 52098 HAS SOUPS 26985 WITH SCORE 27059.182
AT ITER 1860 NEW BEST:: SOT 134451 SOS 74099 HAS SOPS 27492 HAS SOUS 52042 HAS SOUPS 26966 WITH SCORE 27040.099
AT ITER 1874 NEW BEST:: SOT 134435 SOS 74083 HAS SOPS 27460 HAS SOUS 52051 HAS SOUPS 26934 WITH SCORE 27008.083
AT ITER 1892 NEW BEST:: SOT 134435 SOS 74007 HAS SOPS 27460 HAS SOUS 52051 HAS SOUPS 26934 WITH SCORE 27008.007
AT ITER 1896 NEW BEST:: SOT 134435 SOS 74007 HAS SOPS 27440 HAS SOUS 52060 HAS SOUPS 26914 WITH SCORE 26988.007
AT ITER 1903 NEW BEST:: SOT 134456 SOS 74028 HAS SOPS 27403 HAS SOUS 52061 HAS SOUPS 26877 WITH SCORE 26951.028
AT ITER 1907 NEW BEST:: SOT 134435 SOS 74007 HAS SOPS 27403 HAS SOUS 52040 HAS SOUPS 26877 WITH SCORE 26951.007
AT ITER 1928 NEW BEST:: SOT 134431 SOS 74015 HAS SOPS 27395 HAS SOUS 52048 HAS SOUPS 26869 WITH SCORE 26943.015
AT ITER 1948 NEW BEST:: SOT 134431 SOS 73983 HAS SOPS 27395 HAS SOUS 52048 HAS SOUPS 26869 WITH SCORE 26942.983
AT ITER 1950 NEW BEST:: SOT 134431 SOS 73963 HAS SOPS 27395 HAS SOUS 52043 HAS SOUPS 26869 WITH SCORE 26942.963
AT ITER 1965 NEW BEST:: SOT 134467 SOS 74012 HAS SOPS 27369 HAS SOUS 52152 HAS SOUPS 26843 WITH SCORE 26917.012
AT ITER 1969 NEW BEST:: SOT 134467 SOS 73978 HAS SOPS 27369 HAS SOUS 52193 HAS SOUPS 26843 WITH SCORE 26916.978
AT ITER 1976 NEW BEST:: SOT 134472 SOS 73892 HAS SOPS 27374 HAS SOUS 52109 HAS SOUPS 26831 WITH SCORE 26904.892
AT ITER 1977 NEW BEST:: SOT 134414 SOS 73834 HAS SOPS 27028 HAS SOUS 52051 HAS SOUPS 26485 WITH SCORE 26558.834
AT ITER 1987 NEW BEST:: SOT 134414 SOS 73832 HAS SOPS 27028 HAS SOUS 51985 HAS SOUPS 26485 WITH SCORE 26558.832
AT ITER 1994 NEW BEST:: SOT 134408 SOS 73826 HAS SOPS 27022 HAS SOUS 51973 HAS SOUPS 26479 WITH SCORE 26552.826
AT ITER 1997 NEW BEST:: SOT 134404 SOS 73822 HAS SOPS 27022 HAS SOUS 51969 HAS SOUPS 26479 WITH SCORE 26552.822
AT ITER 2008 NEW BEST:: SOT 134401 SOS 73807 HAS SOPS 27022 HAS SOUS 51966 HAS SOUPS 26479 WITH SCORE 26552.807
AT ITER 2015 NEW BEST:: SOT 134401 SOS 73807 HAS SOPS 27022 HAS SOUS 51959 HAS SOUPS 26472 WITH SCORE 26545.807
AT ITER 2042 NEW BEST:: SOT 134435 SOS 73927 HAS SOPS 26967 HAS SOUS 52009 HAS SOUPS 26417 WITH SCORE 26490.927
AT ITER 2051 NEW BEST:: SOT 134595 SOS 74396 HAS SOPS 26960 HAS SOUS 52336 HAS SOUPS 26410 WITH SCORE 26484.396
AT ITER 2053 NEW BEST:: SOT 134595 SOS 74384 HAS SOPS 26960 HAS SOUS 52339 HAS SOUPS 26410 WITH SCORE 26484.384
AT ITER 2085 NEW BEST:: SOT 134668 SOS 74495 HAS SOPS 26923 HAS SOUS 52353 HAS SOUPS 26373 WITH SCORE 26447.495
AT ITER 2120 NEW BEST:: SOT 134656 SOS 74483 HAS SOPS 26923 HAS SOUS 52341 HAS SOUPS 26373 WITH SCORE 26447.483
AT ITER 2122 NEW BEST:: SOT 134922 SOS 75287 HAS SOPS 26836 HAS SOUS 52894 HAS SOUPS 26350 WITH SCORE 26425.287
AT ITER 2125 NEW BEST:: SOT 134922 SOS 75275 HAS SOPS 26836 HAS SOUS 52881 HAS SOUPS 26350 WITH SCORE 26425.275
AT ITER 2129 NEW BEST:: SOT 134914 SOS 75267 HAS SOPS 26828 HAS SOUS 52881 HAS SOUPS 26350 WITH SCORE 26425.267
AT ITER 2131 NEW BEST:: SOT 134885 SOS 75238 HAS SOPS 26716 HAS SOUS 52852 HAS SOUPS 26238 WITH SCORE 26313.238
AT ITER 2163 NEW BEST:: SOT 134880 SOS 75235 HAS SOPS 26716 HAS SOUS 52852 HAS SOUPS 26238 WITH SCORE 26313.235
AT ITER 2164 NEW BEST:: SOT 134869 SOS 75224 HAS SOPS 26705 HAS SOUS 52852 HAS SOUPS 26227 WITH SCORE 26302.224
AT ITER 2177 NEW BEST:: SOT 134842 SOS 75197 HAS SOPS 26645 HAS SOUS 52792 HAS SOUPS 26167 WITH SCORE 26242.197
AT ITER 2193 NEW BEST:: SOT 134842 SOS 75117 HAS SOPS 26645 HAS SOUS 52792 HAS SOUPS 26167 WITH SCORE 26242.117
AT ITER 2225 NEW BEST:: SOT 134803 SOS 75013 HAS SOPS 26682 HAS SOUS 52719 HAS SOUPS 26154 WITH SCORE 26229.013
AT ITER 2235 NEW BEST:: SOT 134803 SOS 74989 HAS SOPS 26682 HAS SOUS 52709 HAS SOUPS 26154 WITH SCORE 26228.989
AT ITER 2250 NEW BEST:: SOT 134800 SOS 74986 HAS SOPS 26682 HAS SOUS 52703 HAS SOUPS 26154 WITH SCORE 26228.986
AT ITER 2259 NEW BEST:: SOT 134815 SOS 75063 HAS SOPS 26633 HAS SOUS 52686 HAS SOUPS 26105 WITH SCORE 26180.063
AT ITER 2260 NEW BEST:: SOT 134788 SOS 75036 HAS SOPS 26501 HAS SOUS 52653 HAS SOUPS 25973 WITH SCORE 26048.036
AT ITER 2276 NEW BEST:: SOT 134745 SOS 74993 HAS SOPS 26501 HAS SOUS 52567 HAS SOUPS 25973 WITH SCORE 26047.993
AT ITER 2289 NEW BEST:: SOT 134735 SOS 74983 HAS SOPS 26491 HAS SOUS 52547 HAS SOUPS 25953 WITH SCORE 26027.983
AT ITER 2315 NEW BEST:: SOT 134735 SOS 74967 HAS SOPS 26491 HAS SOUS 52539 HAS SOUPS 25953 WITH SCORE 26027.967
AT ITER 2324 NEW BEST:: SOT 134735 SOS 74851 HAS SOPS 26491 HAS SOUS 52492 HAS SOUPS 25953 WITH SCORE 26027.851
AT ITER 2334 NEW BEST:: SOT 134719 SOS 74835 HAS SOPS 26475 HAS SOUS 52484 HAS SOUPS 25937 WITH SCORE 26011.835
AT ITER 2343 NEW BEST:: SOT 134733 SOS 74849 HAS SOPS 26461 HAS SOUS 52484 HAS SOUPS 25923 WITH SCORE 25997.849
AT ITER 2354 NEW BEST:: SOT 134808 SOS 74924 HAS SOPS 26385 HAS SOUS 52438 HAS SOUPS 25847 WITH SCORE 25921.924
AT ITER 2365 NEW BEST:: SOT 134775 SOS 74887 HAS SOPS 26422 HAS SOUS 52332 HAS SOUPS 25815 WITH SCORE 25889.887
AT ITER 2373 NEW BEST:: SOT 134756 SOS 74868 HAS SOPS 26384 HAS SOUS 52313 HAS SOUPS 25777 WITH SCORE 25851.868
AT ITER 2375 NEW BEST:: SOT 134756 SOS 74856 HAS SOPS 26384 HAS SOUS 52310 HAS SOUPS 25777 WITH SCORE 25851.856
AT ITER 2399 NEW BEST:: SOT 134756 SOS 74836 HAS SOPS 26384 HAS SOUS 52305 HAS SOUPS 25777 WITH SCORE 25851.836
AT ITER 2419 NEW BEST:: SOT 134645 SOS 74725 HAS SOPS 26337 HAS SOUS 52149 HAS SOUPS 25685 WITH SCORE 25759.725
AT ITER 2429 NEW BEST:: SOT 134702 SOS 74918 HAS SOPS 26247 HAS SOUS 52274 HAS SOUPS 25595 WITH SCORE 25669.918
AT ITER 2433 NEW BEST:: SOT 134634 SOS 74850 HAS SOPS 26213 HAS SOUS 52206 HAS SOUPS 25561 WITH SCORE 25635.85
AT ITER 2455 NEW BEST:: SOT 134642 SOS 74874 HAS SOPS 26197 HAS SOUS 52198 HAS SOUPS 25545 WITH SCORE 25619.874
AT ITER 2483 NEW BEST:: SOT 134673 SOS 74973 HAS SOPS 26160 HAS SOUS 52263 HAS SOUPS 25508 WITH SCORE 25582.973
AT ITER 2484 NEW BEST:: SOT 134666 SOS 74966 HAS SOPS 26146 HAS SOUS 52256 HAS SOUPS 25494 WITH SCORE 25568.966
AT ITER 2491 NEW BEST:: SOT 134681 SOS 75019 HAS SOPS 26117 HAS SOUS 52291 HAS SOUPS 25465 WITH SCORE 25540.019
AT ITER 2504 NEW BEST:: SOT 134681 SOS 74976 HAS SOPS 26117 HAS SOUS 52284 HAS SOUPS 25465 WITH SCORE 25539.976
AT ITER 2511 NEW BEST:: SOT 134668 SOS 75171 HAS SOPS 26104 HAS SOUS 52394 HAS SOUPS 25455 WITH SCORE 25530.171
AT ITER 2519 NEW BEST:: SOT 134657 SOS 75160 HAS SOPS 26104 HAS SOUS 52383 HAS SOUPS 25455 WITH SCORE 25530.16
AT ITER 2520 NEW BEST:: SOT 134643 SOS 75146 HAS SOPS 26049 HAS SOUS 52396 HAS SOUPS 25427 WITH SCORE 25502.146
AT ITER 2526 NEW BEST:: SOT 134643 SOS 75142 HAS SOPS 26049 HAS SOUS 52395 HAS SOUPS 25427 WITH SCORE 25502.142
AT ITER 2530 NEW BEST:: SOT 134733 SOS 75424 HAS SOPS 26043 HAS SOUS 52504 HAS SOUPS 25421 WITH SCORE 25496.424
AT ITER 2532 NEW BEST:: SOT 134707 SOS 75435 HAS SOPS 25937 HAS SOUS 52635 HAS SOUPS 25315 WITH SCORE 25390.435
AT ITER 2533 NEW BEST:: SOT 134707 SOS 75393 HAS SOPS 25937 HAS SOUS 52635 HAS SOUPS 25315 WITH SCORE 25390.393
AT ITER 2545 NEW BEST:: SOT 134682 SOS 75238 HAS SOPS 25912 HAS SOUS 52610 HAS SOUPS 25290 WITH SCORE 25365.238
AT ITER 2553 NEW BEST:: SOT 134649 SOS 75205 HAS SOPS 25846 HAS SOUS 52560 HAS SOUPS 25224 WITH SCORE 25299.205
AT ITER 2563 NEW BEST:: SOT 134649 SOS 75093 HAS SOPS 25846 HAS SOUS 52532 HAS SOUPS 25224 WITH SCORE 25299.093
AT ITER 2591 NEW BEST:: SOT 134649 SOS 75055 HAS SOPS 25846 HAS SOUS 52538 HAS SOUPS 25224 WITH SCORE 25299.055
AT ITER 2592 NEW BEST:: SOT 134579 SOS 74705 HAS SOPS 25846 HAS SOUS 52468 HAS SOUPS 25224 WITH SCORE 25298.705
AT ITER 2652 NEW BEST:: SOT 134579 SOS 74687 HAS SOPS 25846 HAS SOUS 52459 HAS SOUPS 25224 WITH SCORE 25298.687
AT ITER 2668 NEW BEST:: SOT 134559 SOS 74667 HAS SOPS 25806 HAS SOUS 52414 HAS SOUPS 25184 WITH SCORE 25258.667
AT ITER 2691 NEW BEST:: SOT 134518 SOS 74626 HAS SOPS 25752 HAS SOUS 52381 HAS SOUPS 25130 WITH SCORE 25204.626
AT ITER 2695 NEW BEST:: SOT 134518 SOS 74604 HAS SOPS 25752 HAS SOUS 52381 HAS SOUPS 25130 WITH SCORE 25204.604
AT ITER 2707 NEW BEST:: SOT 134322 SOS 74379 HAS SOPS 25617 HAS SOUS 52217 HAS SOUPS 24995 WITH SCORE 25069.379
AT ITER 2726 NEW BEST:: SOT 134338 SOS 74395 HAS SOPS 25595 HAS SOUS 52233 HAS SOUPS 24973 WITH SCORE 25047.395
AT ITER 2743 NEW BEST:: SOT 134373 SOS 74430 HAS SOPS 25601 HAS SOUS 52239 HAS SOUPS 24950 WITH SCORE 25024.43
AT ITER 2754 NEW BEST:: SOT 134410 SOS 74467 HAS SOPS 25540 HAS SOUS 52276 HAS SOUPS 24889 WITH SCORE 24963.467
AT ITER 2762 NEW BEST:: SOT 134339 SOS 74421 HAS SOPS 25540 HAS SOUS 52259 HAS SOUPS 24889 WITH SCORE 24963.421
AT ITER 2765 NEW BEST:: SOT 134335 SOS 74417 HAS SOPS 25535 HAS SOUS 52251 HAS SOUPS 24881 WITH SCORE 24955.417
AT ITER 2797 NEW BEST:: SOT 134335 SOS 74345 HAS SOPS 25535 HAS SOUS 52215 HAS SOUPS 24881 WITH SCORE 24955.345
AT ITER 2798 NEW BEST:: SOT 134315 SOS 74286 HAS SOPS 25515 HAS SOUS 52136 HAS SOUPS 24841 WITH SCORE 24915.286
AT ITER 2808 NEW BEST:: SOT 134309 SOS 74280 HAS SOPS 25511 HAS SOUS 52132 HAS SOUPS 24837 WITH SCORE 24911.28
AT ITER 2817 NEW BEST:: SOT 134281 SOS 74252 HAS SOPS 25471 HAS SOUS 52104 HAS SOUPS 24797 WITH SCORE 24871.252
AT ITER 2820 NEW BEST:: SOT 134285 SOS 74256 HAS SOPS 25467 HAS SOUS 52108 HAS SOUPS 24793 WITH SCORE 24867.256
AT ITER 2845 NEW BEST:: SOT 134314 SOS 74285 HAS SOPS 25386 HAS SOUS 52074 HAS SOUPS 24712 WITH SCORE 24786.285
AT ITER 2891 NEW BEST:: SOT 134319 SOS 74290 HAS SOPS 25351 HAS SOUS 52041 HAS SOUPS 24677 WITH SCORE 24751.29
AT ITER 2892 NEW BEST:: SOT 134207 SOS 74450 HAS SOPS 25239 HAS SOUS 51929 HAS SOUPS 24565 WITH SCORE 24639.45
AT ITER 2907 NEW BEST:: SOT 134196 SOS 74439 HAS SOPS 25239 HAS SOUS 51907 HAS SOUPS 24565 WITH SCORE 24639.439
AT ITER 2913 NEW BEST:: SOT 134193 SOS 74424 HAS SOPS 25239 HAS SOUS 51901 HAS SOUPS 24565 WITH SCORE 24639.424
AT ITER 2929 NEW BEST:: SOT 134165 SOS 74415 HAS SOPS 25239 HAS SOUS 51901 HAS SOUPS 24565 WITH SCORE 24639.415
AT ITER 2956 NEW BEST:: SOT 134208 SOS 74458 HAS SOPS 25220 HAS SOUS 51882 HAS SOUPS 24546 WITH SCORE 24620.458
AT ITER 2960 NEW BEST:: SOT 134208 SOS 74370 HAS SOPS 25220 HAS SOUS 51838 HAS SOUPS 24546 WITH SCORE 24620.37
AT ITER 2978 NEW BEST:: SOT 134185 SOS 74347 HAS SOPS 25220 HAS SOUS 51838 HAS SOUPS 24546 WITH SCORE 24620.347
AT ITER 2990 NEW BEST:: SOT 134124 SOS 74286 HAS SOPS 25220 HAS SOUS 51777 HAS SOUPS 24546 WITH SCORE 24620.286
AT ITER 2991 NEW BEST:: SOT 134123 SOS 74285 HAS SOPS 25218 HAS SOUS 51775 HAS SOUPS 24544 WITH SCORE 24618.285
AT ITER 2994 NEW BEST:: SOT 134138 SOS 74360 HAS SOPS 25188 HAS SOUS 51760 HAS SOUPS 24514 WITH SCORE 24588.36
AT ITER 3004 NEW BEST:: SOT 134179 SOS 74525 HAS SOPS 25177 HAS SOUS 51832 HAS SOUPS 24503 WITH SCORE 24577.525
AT ITER 3007 NEW BEST:: SOT 134144 SOS 74429 HAS SOPS 25177 HAS SOUS 51753 HAS SOUPS 24494 WITH SCORE 24568.429
AT ITER 3010 NEW BEST:: SOT 134301 SOS 74442 HAS SOPS 24965 HAS SOUS 51894 HAS SOUPS 24410 WITH SCORE 24484.442
AT ITER 3029 NEW BEST:: SOT 134304 SOS 74445 HAS SOPS 24941 HAS SOUS 51897 HAS SOUPS 24386 WITH SCORE 24460.445
AT ITER 3047 NEW BEST:: SOT 134302 SOS 74439 HAS SOPS 24941 HAS SOUS 51895 HAS SOUPS 24386 WITH SCORE 24460.439
AT ITER 3048 NEW BEST:: SOT 134302 SOS 74375 HAS SOPS 24941 HAS SOUS 51872 HAS SOUPS 24386 WITH SCORE 24460.375
AT ITER 3060 NEW BEST:: SOT 134328 SOS 74401 HAS SOPS 24915 HAS SOUS 51875 HAS SOUPS 24360 WITH SCORE 24434.401
AT ITER 3101 NEW BEST:: SOT 134328 SOS 74393 HAS SOPS 24915 HAS SOUS 51873 HAS SOUPS 24360 WITH SCORE 24434.393
AT ITER 3109 NEW BEST:: SOT 134283 SOS 74288 HAS SOPS 24915 HAS SOUS 51753 HAS SOUPS 24330 WITH SCORE 24404.288
AT ITER 3124 NEW BEST:: SOT 134312 SOS 74317 HAS SOPS 24891 HAS SOUS 51782 HAS SOUPS 24306 WITH SCORE 24380.317
AT ITER 3139 NEW BEST:: SOT 134385 SOS 74438 HAS SOPS 24839 HAS SOUS 51867 HAS SOUPS 24254 WITH SCORE 24328.438
AT ITER 3146 NEW BEST:: SOT 134379 SOS 74432 HAS SOPS 24827 HAS SOUS 51861 HAS SOUPS 24242 WITH SCORE 24316.432
AT ITER 3153 NEW BEST:: SOT 134360 SOS 74405 HAS SOPS 24827 HAS SOUS 51858 HAS SOUPS 24242 WITH SCORE 24316.405
AT ITER 3187 NEW BEST:: SOT 134342 SOS 74387 HAS SOPS 24791 HAS SOUS 51822 HAS SOUPS 24206 WITH SCORE 24280.387
AT ITER 3192 NEW BEST:: SOT 134342 SOS 74363 HAS SOPS 24791 HAS SOUS 51810 HAS SOUPS 24206 WITH SCORE 24280.363
AT ITER 3198 NEW BEST:: SOT 134304 SOS 74325 HAS SOPS 24791 HAS SOUS 51810 HAS SOUPS 24206 WITH SCORE 24280.325
AT ITER 3199 NEW BEST:: SOT 134304 SOS 74333 HAS SOPS 24781 HAS SOUS 51805 HAS SOUPS 24196 WITH SCORE 24270.333
AT ITER 3205 NEW BEST:: SOT 134304 SOS 74329 HAS SOPS 24781 HAS SOUS 51805 HAS SOUPS 24196 WITH SCORE 24270.329
AT ITER 3219 NEW BEST:: SOT 134300 SOS 74325 HAS SOPS 24781 HAS SOUS 51801 HAS SOUPS 24196 WITH SCORE 24270.325
AT ITER 3221 NEW BEST:: SOT 134272 SOS 74332 HAS SOPS 24688 HAS SOUS 51810 HAS SOUPS 24105 WITH SCORE 24179.332
AT ITER 3249 NEW BEST:: SOT 134274 SOS 74334 HAS SOPS 24674 HAS SOUS 51812 HAS SOUPS 24091 WITH SCORE 24165.334
AT ITER 3253 NEW BEST:: SOT 134356 SOS 74548 HAS SOPS 24640 HAS SOUS 51960 HAS SOUPS 24057 WITH SCORE 24131.548
AT ITER 3257 NEW BEST:: SOT 134379 SOS 74667 HAS SOPS 24614 HAS SOUS 52002 HAS SOUPS 24031 WITH SCORE 24105.667
AT ITER 3266 NEW BEST:: SOT 134360 SOS 74600 HAS SOPS 24614 HAS SOUS 51990 HAS SOUPS 24031 WITH SCORE 24105.6
AT ITER 3272 NEW BEST:: SOT 134252 SOS 74450 HAS SOPS 24614 HAS SOUS 51809 HAS SOUPS 24031 WITH SCORE 24105.45
AT ITER 3303 NEW BEST:: SOT 134303 SOS 74501 HAS SOPS 24584 HAS SOUS 51860 HAS SOUPS 24001 WITH SCORE 24075.501
AT ITER 3330 NEW BEST:: SOT 134298 SOS 74496 HAS SOPS 24584 HAS SOUS 51855 HAS SOUPS 24001 WITH SCORE 24075.496
AT ITER 3351 NEW BEST:: SOT 134537 SOS 75017 HAS SOPS 24498 HAS SOUS 51923 HAS SOUPS 23915 WITH SCORE 23990.017
AT ITER 3355 NEW BEST:: SOT 134537 SOS 75013 HAS SOPS 24498 HAS SOUS 51919 HAS SOUPS 23915 WITH SCORE 23990.013
AT ITER 3359 NEW BEST:: SOT 134479 SOS 74927 HAS SOPS 24498 HAS SOUS 51861 HAS SOUPS 23915 WITH SCORE 23989.927
AT ITER 3375 NEW BEST:: SOT 134368 SOS 74816 HAS SOPS 24474 HAS SOUS 51936 HAS SOUPS 23891 WITH SCORE 23965.816
AT ITER 3381 NEW BEST:: SOT 134380 SOS 74852 HAS SOPS 24462 HAS SOUS 51936 HAS SOUPS 23879 WITH SCORE 23953.852
AT ITER 3383 NEW BEST:: SOT 134386 SOS 74881 HAS SOPS 24450 HAS SOUS 51930 HAS SOUPS 23867 WITH SCORE 23941.881
AT ITER 3392 NEW BEST:: SOT 134386 SOS 74857 HAS SOPS 24450 HAS SOUS 51927 HAS SOUPS 23867 WITH SCORE 23941.857
AT ITER 3419 NEW BEST:: SOT 134385 SOS 74854 HAS SOPS 24450 HAS SOUS 51925 HAS SOUPS 23867 WITH SCORE 23941.854
AT ITER 3427 NEW BEST:: SOT 134444 SOS 75109 HAS SOPS 24421 HAS SOUS 52033 HAS SOUPS 23838 WITH SCORE 23913.109
AT ITER 3448 NEW BEST:: SOT 134448 SOS 75008 HAS SOPS 24425 HAS SOUS 51957 HAS SOUPS 23830 WITH SCORE 23905.008
AT ITER 3486 NEW BEST:: SOT 134569 SOS 75143 HAS SOPS 24424 HAS SOUS 52077 HAS SOUPS 23829 WITH SCORE 23904.143
AT ITER 3489 NEW BEST:: SOT 134565 SOS 75139 HAS SOPS 24416 HAS SOUS 52073 HAS SOUPS 23821 WITH SCORE 23896.139
AT ITER 3524 NEW BEST:: SOT 134644 SOS 75364 HAS SOPS 24355 HAS SOUS 52135 HAS SOUPS 23760 WITH SCORE 23835.364
AT ITER 3526 NEW BEST:: SOT 134642 SOS 75362 HAS SOPS 24351 HAS SOUS 52133 HAS SOUPS 23756 WITH SCORE 23831.362
AT ITER 3536 NEW BEST:: SOT 134654 SOS 75374 HAS SOPS 24358 HAS SOUS 52130 HAS SOUPS 23746 WITH SCORE 23821.374
AT ITER 3544 NEW BEST:: SOT 134746 SOS 75466 HAS SOPS 24354 HAS SOUS 52145 HAS SOUPS 23742 WITH SCORE 23817.466
AT ITER 3555 NEW BEST:: SOT 134721 SOS 75341 HAS SOPS 24354 HAS SOUS 52120 HAS SOUPS 23742 WITH SCORE 23817.341
AT ITER 3560 NEW BEST:: SOT 134712 SOS 75332 HAS SOPS 24329 HAS SOUS 52095 HAS SOUPS 23717 WITH SCORE 23792.332
AT ITER 3564 NEW BEST:: SOT 134726 SOS 75380 HAS SOPS 24306 HAS SOUS 52089 HAS SOUPS 23694 WITH SCORE 23769.38
AT ITER 3567 NEW BEST:: SOT 134720 SOS 75362 HAS SOPS 24306 HAS SOUS 52082 HAS SOUPS 23694 WITH SCORE 23769.362
AT ITER 3578 NEW BEST:: SOT 134571 SOS 74915 HAS SOPS 24306 HAS SOUS 51784 HAS SOUPS 23694 WITH SCORE 23768.915
AT ITER 3582 NEW BEST:: SOT 134446 SOS 74790 HAS SOPS 24306 HAS SOUS 51620 HAS SOUPS 23694 WITH SCORE 23768.79
AT ITER 3585 NEW BEST:: SOT 134433 SOS 74777 HAS SOPS 24306 HAS SOUS 51620 HAS SOUPS 23694 WITH SCORE 23768.777
AT ITER 3609 NEW BEST:: SOT 134431 SOS 74775 HAS SOPS 24306 HAS SOUS 51618 HAS SOUPS 23694 WITH SCORE 23768.775
AT ITER 3628 NEW BEST:: SOT 134402 SOS 74746 HAS SOPS 24277 HAS SOUS 51589 HAS SOUPS 23665 WITH SCORE 23739.746
AT ITER 3633 NEW BEST:: SOT 134402 SOS 74738 HAS SOPS 24277 HAS SOUS 51589 HAS SOUPS 23665 WITH SCORE 23739.738
AT ITER 3647 NEW BEST:: SOT 134414 SOS 74798 HAS SOPS 24265 HAS SOUS 51613 HAS SOUPS 23653 WITH SCORE 23727.798
AT ITER 3649 NEW BEST:: SOT 134414 SOS 74761 HAS SOPS 24265 HAS SOUS 51613 HAS SOUPS 23653 WITH SCORE 23727.761
AT ITER 3656 NEW BEST:: SOT 134360 SOS 75239 HAS SOPS 24211 HAS SOUS 51653 HAS SOUPS 23599 WITH SCORE 23674.239
AT ITER 3670 NEW BEST:: SOT 134360 SOS 75227 HAS SOPS 24211 HAS SOUS 51653 HAS SOUPS 23599 WITH SCORE 23674.227
AT ITER 3671 NEW BEST:: SOT 134352 SOS 75211 HAS SOPS 24203 HAS SOUS 51637 HAS SOUPS 23591 WITH SCORE 23666.211
AT ITER 3677 NEW BEST:: SOT 134422 SOS 75561 HAS SOPS 24133 HAS SOUS 51637 HAS SOUPS 23521 WITH SCORE 23596.561
AT ITER 3715 NEW BEST:: SOT 134429 SOS 75604 HAS SOPS 24121 HAS SOUS 51653 HAS SOUPS 23509 WITH SCORE 23584.604
AT ITER 3746 NEW BEST:: SOT 134429 SOS 75638 HAS SOPS 24053 HAS SOUS 51602 HAS SOUPS 23441 WITH SCORE 23516.638
AT ITER 3759 NEW BEST:: SOT 134311 SOS 75520 HAS SOPS 24053 HAS SOUS 51595 HAS SOUPS 23441 WITH SCORE 23516.52
AT ITER 3765 NEW BEST:: SOT 134301 SOS 75510 HAS SOPS 24001 HAS SOUS 51595 HAS SOUPS 23389 WITH SCORE 23464.51
AT ITER 3771 NEW BEST:: SOT 134301 SOS 75460 HAS SOPS 24001 HAS SOUS 51570 HAS SOUPS 23389 WITH SCORE 23464.46
AT ITER 3776 NEW BEST:: SOT 134202 SOS 75361 HAS SOPS 24001 HAS SOUS 51570 HAS SOUPS 23389 WITH SCORE 23464.361
AT ITER 3813 NEW BEST:: SOT 134206 SOS 75381 HAS SOPS 23985 HAS SOUS 51562 HAS SOUPS 23373 WITH SCORE 23448.381
AT ITER 3819 NEW BEST:: SOT 134206 SOS 75325 HAS SOPS 23985 HAS SOUS 51548 HAS SOUPS 23373 WITH SCORE 23448.325
AT ITER 3834 NEW BEST:: SOT 134186 SOS 75305 HAS SOPS 23945 HAS SOUS 51528 HAS SOUPS 23333 WITH SCORE 23408.305
AT ITER 3841 NEW BEST:: SOT 134145 SOS 75215 HAS SOPS 23939 HAS SOUS 51455 HAS SOUPS 23300 WITH SCORE 23375.215
AT ITER 3848 NEW BEST:: SOT 134164 SOS 75234 HAS SOPS 23923 HAS SOUS 51464 HAS SOUPS 23284 WITH SCORE 23359.234
AT ITER 3880 NEW BEST:: SOT 134182 SOS 76327 HAS SOPS 23893 HAS SOUS 51504 HAS SOUPS 23254 WITH SCORE 23330.327
AT ITER 3889 NEW BEST:: SOT 134158 SOS 76255 HAS SOPS 23893 HAS SOUS 51480 HAS SOUPS 23254 WITH SCORE 23330.255
AT ITER 3896 NEW BEST:: SOT 134167 SOS 76264 HAS SOPS 23884 HAS SOUS 51498 HAS SOUPS 23245 WITH SCORE 23321.264
AT ITER 3914 NEW BEST:: SOT 134175 SOS 76280 HAS SOPS 23868 HAS SOUS 51490 HAS SOUPS 23229 WITH SCORE 23305.28
AT ITER 3927 NEW BEST:: SOT 134173 SOS 76274 HAS SOPS 23868 HAS SOUS 51486 HAS SOUPS 23229 WITH SCORE 23305.274
AT ITER 3933 NEW BEST:: SOT 134153 SOS 76242 HAS SOPS 23868 HAS SOUS 51446 HAS SOUPS 23229 WITH SCORE 23305.242
AT ITER 3955 NEW BEST:: SOT 134153 SOS 76234 HAS SOPS 23868 HAS SOUS 51446 HAS SOUPS 23229 WITH SCORE 23305.234
AT ITER 3957 NEW BEST:: SOT 134131 SOS 76168 HAS SOPS 23868 HAS SOUS 51424 HAS SOUPS 23229 WITH SCORE 23305.168
AT ITER 3959 NEW BEST:: SOT 134219 SOS 76458 HAS SOPS 23837 HAS SOUS 51535 HAS SOUPS 23203 WITH SCORE 23279.458
AT ITER 3973 NEW BEST:: SOT 134320 SOS 76699 HAS SOPS 23827 HAS SOUS 51689 HAS SOUPS 23193 WITH SCORE 23269.699
AT ITER 3981 NEW BEST:: SOT 134316 SOS 76695 HAS SOPS 23823 HAS SOUS 51689 HAS SOUPS 23189 WITH SCORE 23265.695
AT ITER 3986 NEW BEST:: SOT 134312 SOS 76683 HAS SOPS 23823 HAS SOUS 51685 HAS SOUPS 23189 WITH SCORE 23265.683
AT ITER 3992 NEW BEST:: SOT 134327 SOS 76698 HAS SOPS 23808 HAS SOUS 51700 HAS SOUPS 23174 WITH SCORE 23250.698
AT ITER 4015 NEW BEST:: SOT 134368 SOS 76775 HAS SOPS 23767 HAS SOUS 51750 HAS SOUPS 23133 WITH SCORE 23209.775
AT ITER 4016 NEW BEST:: SOT 134368 SOS 76767 HAS SOPS 23767 HAS SOUS 51750 HAS SOUPS 23133 WITH SCORE 23209.767
AT ITER 4017 NEW BEST:: SOT 134317 SOS 76716 HAS SOPS 23718 HAS SOUS 51645 HAS SOUPS 23084 WITH SCORE 23160.716
AT ITER 4019 NEW BEST:: SOT 134210 SOS 76454 HAS SOPS 23718 HAS SOUS 51515 HAS SOUPS 23084 WITH SCORE 23160.454
AT ITER 4042 NEW BEST:: SOT 134232 SOS 76502 HAS SOPS 23591 HAS SOUS 51445 HAS SOUPS 22957 WITH SCORE 23033.502
AT ITER 4091 NEW BEST:: SOT 134234 SOS 76508 HAS SOPS 23587 HAS SOUS 51443 HAS SOUPS 22953 WITH SCORE 23029.508
AT ITER 4102 NEW BEST:: SOT 134227 SOS 76922 HAS SOPS 23580 HAS SOUS 51518 HAS SOUPS 22946 WITH SCORE 23022.922
AT ITER 4126 NEW BEST:: SOT 134239 SOS 76934 HAS SOPS 23572 HAS SOUS 51494 HAS SOUPS 22938 WITH SCORE 23014.934
AT ITER 4149 NEW BEST:: SOT 134238 SOS 76933 HAS SOPS 23569 HAS SOUS 51493 HAS SOUPS 22935 WITH SCORE 23011.933
AT ITER 4151 NEW BEST:: SOT 134238 SOS 76925 HAS SOPS 23569 HAS SOUS 51493 HAS SOUPS 22935 WITH SCORE 23011.925
AT ITER 4165 NEW BEST:: SOT 134494 SOS 77391 HAS SOPS 23457 HAS SOUS 51644 HAS SOUPS 22862 WITH SCORE 22939.391
AT ITER 4189 NEW BEST:: SOT 134490 SOS 77387 HAS SOPS 23449 HAS SOUS 51636 HAS SOUPS 22854 WITH SCORE 22931.387
AT ITER 4190 NEW BEST:: SOT 134491 SOS 77388 HAS SOPS 23443 HAS SOUS 51641 HAS SOUPS 22848 WITH SCORE 22925.388
AT ITER 4199 NEW BEST:: SOT 134483 SOS 77380 HAS SOPS 23427 HAS SOUS 51633 HAS SOUPS 22832 WITH SCORE 22909.38
AT ITER 4202 NEW BEST:: SOT 134473 SOS 77330 HAS SOPS 23427 HAS SOUS 51613 HAS SOUPS 22832 WITH SCORE 22909.33
AT ITER 4212 NEW BEST:: SOT 134460 SOS 77265 HAS SOPS 23427 HAS SOUS 51578 HAS SOUPS 22832 WITH SCORE 22909.265
AT ITER 4226 NEW BEST:: SOT 134429 SOS 77234 HAS SOPS 23402 HAS SOUS 51547 HAS SOUPS 22807 WITH SCORE 22884.234
AT ITER 4260 NEW BEST:: SOT 134411 SOS 77217 HAS SOPS 23384 HAS SOUS 51545 HAS SOUPS 22804 WITH SCORE 22881.217
AT ITER 4276 NEW BEST:: SOT 134389 SOS 77835 HAS SOPS 23362 HAS SOUS 51717 HAS SOUPS 22782 WITH SCORE 22859.835
AT ITER 4315 NEW BEST:: SOT 134389 SOS 77729 HAS SOPS 23362 HAS SOUS 51717 HAS SOUPS 22782 WITH SCORE 22859.729
AT ITER 4331 NEW BEST:: SOT 134389 SOS 77727 HAS SOPS 23362 HAS SOUS 51717 HAS SOUPS 22782 WITH SCORE 22859.727
AT ITER 4336 NEW BEST:: SOT 134389 SOS 77727 HAS SOPS 23355 HAS SOUS 51717 HAS SOUPS 22775 WITH SCORE 22852.727
AT ITER 4341 NEW BEST:: SOT 134352 SOS 78265 HAS SOPS 23318 HAS SOUS 52008 HAS SOUPS 22758 WITH SCORE 22836.265
AT ITER 4345 NEW BEST:: SOT 134335 SOS 78248 HAS SOPS 23284 HAS SOUS 52088 HAS SOUPS 22724 WITH SCORE 22802.248
AT ITER 4367 NEW BEST:: SOT 134316 SOS 78229 HAS SOPS 23246 HAS SOUS 52024 HAS SOUPS 22686 WITH SCORE 22764.229
AT ITER 4368 NEW BEST:: SOT 134316 SOS 78229 HAS SOPS 23231 HAS SOUS 52014 HAS SOUPS 22671 WITH SCORE 22749.229
AT ITER 4399 NEW BEST:: SOT 134316 SOS 78229 HAS SOPS 23222 HAS SOUS 52008 HAS SOUPS 22662 WITH SCORE 22740.229
AT ITER 4400 NEW BEST:: SOT 134316 SOS 78143 HAS SOPS 23222 HAS SOUS 52008 HAS SOUPS 22662 WITH SCORE 22740.143
AT ITER 4402 NEW BEST:: SOT 134252 SOS 77982 HAS SOPS 23282 HAS SOUS 51769 HAS SOUPS 22631 WITH SCORE 22708.982
AT ITER 4405 NEW BEST:: SOT 134252 SOS 77862 HAS SOPS 23282 HAS SOUS 51739 HAS SOUPS 22631 WITH SCORE 22708.862
AT ITER 4408 NEW BEST:: SOT 134244 SOS 77854 HAS SOPS 23266 HAS SOUS 51723 HAS SOUPS 22615 WITH SCORE 22692.854
AT ITER 4419 NEW BEST:: SOT 134244 SOS 77796 HAS SOPS 23266 HAS SOUS 51694 HAS SOUPS 22615 WITH SCORE 22692.796
AT ITER 4423 NEW BEST:: SOT 134244 SOS 77664 HAS SOPS 23266 HAS SOUS 51661 HAS SOUPS 22615 WITH SCORE 22692.664
AT ITER 4453 NEW BEST:: SOT 134237 SOS 77657 HAS SOPS 23259 HAS SOUS 51654 HAS SOUPS 22608 WITH SCORE 22685.657
AT ITER 4467 NEW BEST:: SOT 134237 SOS 77501 HAS SOPS 23259 HAS SOUS 51615 HAS SOUPS 22608 WITH SCORE 22685.501
AT ITER 4475 NEW BEST:: SOT 134237 SOS 77492 HAS SOPS 23259 HAS SOUS 51612 HAS SOUPS 22608 WITH SCORE 22685.492
AT ITER 4502 NEW BEST:: SOT 134200 SOS 77455 HAS SOPS 23223 HAS SOUS 51575 HAS SOUPS 22572 WITH SCORE 22649.455
AT ITER 4503 NEW BEST:: SOT 134139 SOS 77307 HAS SOPS 23223 HAS SOUS 51418 HAS SOUPS 22537 WITH SCORE 22614.307
AT ITER 4515 NEW BEST:: SOT 134139 SOS 77219 HAS SOPS 23223 HAS SOUS 51307 HAS SOUPS 22537 WITH SCORE 22614.219
AT ITER 4568 NEW BEST:: SOT 134133 SOS 77213 HAS SOPS 23211 HAS SOUS 51216 HAS SOUPS 22525 WITH SCORE 22602.213
AT ITER 4610 NEW BEST:: SOT 134130 SOS 77210 HAS SOPS 23199 HAS SOUS 51213 HAS SOUPS 22513 WITH SCORE 22590.21
AT ITER 4621 NEW BEST:: SOT 134097 SOS 77177 HAS SOPS 23199 HAS SOUS 51175 HAS SOUPS 22513 WITH SCORE 22590.177
AT ITER 4634 NEW BEST:: SOT 134097 SOS 77063 HAS SOPS 23199 HAS SOUS 51133 HAS SOUPS 22513 WITH SCORE 22590.063
AT ITER 4637 NEW BEST:: SOT 134110 SOS 77076 HAS SOPS 23193 HAS SOUS 51127 HAS SOUPS 22507 WITH SCORE 22584.076
AT ITER 4672 NEW BEST:: SOT 134103 SOS 77069 HAS SOPS 23152 HAS SOUS 51102 HAS SOUPS 22448 WITH SCORE 22525.069
AT ITER 4691 NEW BEST:: SOT 134134 SOS 77216 HAS SOPS 23127 HAS SOUS 51162 HAS SOUPS 22423 WITH SCORE 22500.216
AT ITER 4719 NEW BEST:: SOT 134134 SOS 77130 HAS SOPS 23127 HAS SOUS 51235 HAS SOUPS 22423 WITH SCORE 22500.13
AT ITER 4752 NEW BEST:: SOT 134134 SOS 77026 HAS SOPS 23127 HAS SOUS 51235 HAS SOUPS 22423 WITH SCORE 22500.026
AT ITER 4770 NEW BEST:: SOT 134121 SOS 77013 HAS SOPS 23127 HAS SOUS 51222 HAS SOUPS 22423 WITH SCORE 22500.013
AT ITER 4821 NEW BEST:: SOT 134091 SOS 76953 HAS SOPS 23037 HAS SOUS 51162 HAS SOUPS 22363 WITH SCORE 22439.953
AT ITER 4824 NEW BEST:: SOT 134091 SOS 76833 HAS SOPS 23037 HAS SOUS 51106 HAS SOUPS 22363 WITH SCORE 22439.833
AT ITER 4832 NEW BEST:: SOT 134091 SOS 76805 HAS SOPS 23037 HAS SOUS 51099 HAS SOUPS 22363 WITH SCORE 22439.805
AT ITER 4855 NEW BEST:: SOT 134122 SOS 76862 HAS SOPS 22974 HAS SOUS 51209 HAS SOUPS 22353 WITH SCORE 22429.862
AT ITER 4868 NEW BEST:: SOT 134122 SOS 76758 HAS SOPS 22974 HAS SOUS 51183 HAS SOUPS 22353 WITH SCORE 22429.758
AT ITER 4875 NEW BEST:: SOT 134135 SOS 76823 HAS SOPS 22961 HAS SOUS 51185 HAS SOUPS 22340 WITH SCORE 22416.823
AT ITER 4886 NEW BEST:: SOT 134301 SOS 77336 HAS SOPS 22934 HAS SOUS 51363 HAS SOUPS 22325 WITH SCORE 22402.336
AT ITER 4913 NEW BEST:: SOT 134221 SOS 77138 HAS SOPS 22909 HAS SOUS 51241 HAS SOUPS 22283 WITH SCORE 22360.138
AT ITER 4915 NEW BEST:: SOT 134235 SOS 77152 HAS SOPS 22871 HAS SOUS 51321 HAS SOUPS 22245 WITH SCORE 22322.152
AT ITER 4958 NEW BEST:: SOT 134255 SOS 77172 HAS SOPS 22891 HAS SOUS 51320 HAS SOUPS 22244 WITH SCORE 22321.172
AT ITER 4962 NEW BEST:: SOT 134255 SOS 77120 HAS SOPS 22891 HAS SOUS 51296 HAS SOUPS 22244 WITH SCORE 22321.12
AT ITER 4979 NEW BEST:: SOT 134255 SOS 77094 HAS SOPS 22891 HAS SOUS 51296 HAS SOUPS 22244 WITH SCORE 22321.094
AT ITER 4987 NEW BEST:: SOT 134255 SOS 76988 HAS SOPS 22891 HAS SOUS 51247 HAS SOUPS 22244 WITH SCORE 22320.988
AT ITER 5040 NEW BEST:: SOT 134255 SOS 76940 HAS SOPS 22891 HAS SOUS 51223 HAS SOUPS 22244 WITH SCORE 22320.94
AT ITER 5051 NEW BEST:: SOT 134255 SOS 76928 HAS SOPS 22891 HAS SOUS 51223 HAS SOUPS 22244 WITH SCORE 22320.928
AT ITER 5098 NEW BEST:: SOT 134254 SOS 76927 HAS SOPS 22890 HAS SOUS 51222 HAS SOUPS 22243 WITH SCORE 22319.927
AT ITER 5109 NEW BEST:: SOT 134221 SOS 76894 HAS SOPS 22890 HAS SOUS 51189 HAS SOUPS 22243 WITH SCORE 22319.894
AT ITER 5116 NEW BEST:: SOT 134163 SOS 76836 HAS SOPS 22886 HAS SOUS 51131 HAS SOUPS 22239 WITH SCORE 22315.836
AT ITER 5174 NEW BEST:: SOT 134097 SOS 76770 HAS SOPS 22886 HAS SOUS 51112 HAS SOUPS 22239 WITH SCORE 22315.77
AT ITER 5197 NEW BEST:: SOT 134110 SOS 76783 HAS SOPS 22882 HAS SOUS 51125 HAS SOUPS 22235 WITH SCORE 22311.783
AT ITER 5202 NEW BEST:: SOT 134110 SOS 76767 HAS SOPS 22882 HAS SOUS 51125 HAS SOUPS 22235 WITH SCORE 22311.767
AT ITER 5215 NEW BEST:: SOT 134134 SOS 76835 HAS SOPS 22842 HAS SOUS 51171 HAS SOUPS 22195 WITH SCORE 22271.835
AT ITER 5222 NEW BEST:: SOT 134125 SOS 76826 HAS SOPS 22810 HAS SOUS 51162 HAS SOUPS 22177 WITH SCORE 22253.826
AT ITER 5242 NEW BEST:: SOT 134195 SOS 77168 HAS SOPS 22804 HAS SOUS 51300 HAS SOUPS 22171 WITH SCORE 22248.168
AT ITER 5246 NEW BEST:: SOT 134187 SOS 77164 HAS SOPS 22788 HAS SOUS 51284 HAS SOUPS 22155 WITH SCORE 22232.164
AT ITER 5247 NEW BEST:: SOT 134163 SOS 77140 HAS SOPS 22788 HAS SOUS 51284 HAS SOUPS 22155 WITH SCORE 22232.14
AT ITER 5282 NEW BEST:: SOT 134149 SOS 77126 HAS SOPS 22788 HAS SOUS 51257 HAS SOUPS 22155 WITH SCORE 22232.126
AT ITER 5289 NEW BEST:: SOT 134149 SOS 77122 HAS SOPS 22788 HAS SOUS 51257 HAS SOUPS 22155 WITH SCORE 22232.122
AT ITER 5305 NEW BEST:: SOT 134149 SOS 77100 HAS SOPS 22788 HAS SOUS 51196 HAS SOUPS 22155 WITH SCORE 22232.1
AT ITER 5324 NEW BEST:: SOT 134169 SOS 77034 HAS SOPS 22808 HAS SOUS 51117 HAS SOUPS 22151 WITH SCORE 22228.034
AT ITER 5382 NEW BEST:: SOT 134265 SOS 77134 HAS SOPS 22768 HAS SOUS 51171 HAS SOUPS 22111 WITH SCORE 22188.134
AT ITER 5410 NEW BEST:: SOT 134258 SOS 77127 HAS SOPS 22754 HAS SOUS 51167 HAS SOUPS 22097 WITH SCORE 22174.127
AT ITER 5428 NEW BEST:: SOT 134274 SOS 77143 HAS SOPS 22722 HAS SOUS 51135 HAS SOUPS 22065 WITH SCORE 22142.143
AT ITER 5432 NEW BEST:: SOT 134274 SOS 77109 HAS SOPS 22722 HAS SOUS 51169 HAS SOUPS 22065 WITH SCORE 22142.109
AT ITER 5455 NEW BEST:: SOT 134273 SOS 77108 HAS SOPS 22713 HAS SOUS 51164 HAS SOUPS 22052 WITH SCORE 22129.108
AT ITER 5476 NEW BEST:: SOT 134368 SOS 77355 HAS SOPS 22647 HAS SOUS 51163 HAS SOUPS 21986 WITH SCORE 22063.355
AT ITER 5477 NEW BEST:: SOT 134356 SOS 77343 HAS SOPS 22647 HAS SOUS 51139 HAS SOUPS 21986 WITH SCORE 22063.343
AT ITER 5494 NEW BEST:: SOT 134325 SOS 77271 HAS SOPS 22715 HAS SOUS 50978 HAS SOUPS 21965 WITH SCORE 22042.271
AT ITER 5504 NEW BEST:: SOT 134382 SOS 77584 HAS SOPS 22634 HAS SOUS 51005 HAS SOUPS 21884 WITH SCORE 21961.584
AT ITER 5515 NEW BEST:: SOT 134374 SOS 77576 HAS SOPS 22626 HAS SOUS 50997 HAS SOUPS 21876 WITH SCORE 21953.576
AT ITER 5573 NEW BEST:: SOT 134351 SOS 77485 HAS SOPS 22626 HAS SOUS 50980 HAS SOUPS 21876 WITH SCORE 21953.485
AT ITER 5577 NEW BEST:: SOT 134345 SOS 77455 HAS SOPS 22626 HAS SOUS 50974 HAS SOUPS 21876 WITH SCORE 21953.455
AT ITER 5579 NEW BEST:: SOT 134363 SOS 77515 HAS SOPS 22560 HAS SOUS 50985 HAS SOUPS 21828 WITH SCORE 21905.515
AT ITER 5608 NEW BEST:: SOT 134357 SOS 77509 HAS SOPS 22560 HAS SOUS 50981 HAS SOUPS 21828 WITH SCORE 21905.509
AT ITER 5611 NEW BEST:: SOT 134346 SOS 77498 HAS SOPS 22560 HAS SOUS 50970 HAS SOUPS 21828 WITH SCORE 21905.498
AT ITER 5624 NEW BEST:: SOT 134346 SOS 77498 HAS SOPS 22551 HAS SOUS 50961 HAS SOUPS 21819 WITH SCORE 21896.498
AT ITER 5631 NEW BEST:: SOT 134363 SOS 77519 HAS SOPS 22525 HAS SOUS 50955 HAS SOUPS 21793 WITH SCORE 21870.519
AT ITER 5651 NEW BEST:: SOT 134200 SOS 77148 HAS SOPS 22525 HAS SOUS 50688 HAS SOUPS 21793 WITH SCORE 21870.148
AT ITER 5678 NEW BEST:: SOT 134200 SOS 77114 HAS SOPS 22525 HAS SOUS 50671 HAS SOUPS 21793 WITH SCORE 21870.114
AT ITER 5709 NEW BEST:: SOT 134194 SOS 77108 HAS SOPS 22483 HAS SOUS 50665 HAS SOUPS 21751 WITH SCORE 21828.108
AT ITER 5714 NEW BEST:: SOT 134150 SOS 76976 HAS SOPS 22483 HAS SOUS 50577 HAS SOUPS 21751 WITH SCORE 21827.976
AT ITER 5733 NEW BEST:: SOT 134145 SOS 76971 HAS SOPS 22473 HAS SOUS 50572 HAS SOUPS 21741 WITH SCORE 21817.971
AT ITER 5737 NEW BEST:: SOT 134107 SOS 76933 HAS SOPS 22461 HAS SOUS 50534 HAS SOUPS 21729 WITH SCORE 21805.933
AT ITER 5767 NEW BEST:: SOT 134098 SOS 76924 HAS SOPS 22452 HAS SOUS 50516 HAS SOUPS 21711 WITH SCORE 21787.924
AT ITER 5789 NEW BEST:: SOT 134071 SOS 76897 HAS SOPS 22452 HAS SOUS 50489 HAS SOUPS 21711 WITH SCORE 21787.897
AT ITER 5799 NEW BEST:: SOT 134065 SOS 76888 HAS SOPS 22449 HAS SOUS 50483 HAS SOUPS 21708 WITH SCORE 21784.888
AT ITER 5806 NEW BEST:: SOT 134067 SOS 76898 HAS SOPS 22447 HAS SOUS 50487 HAS SOUPS 21706 WITH SCORE 21782.898
AT ITER 5810 NEW BEST:: SOT 134067 SOS 76892 HAS SOPS 22447 HAS SOUS 50487 HAS SOUPS 21706 WITH SCORE 21782.892
AT ITER 5815 NEW BEST:: SOT 134067 SOS 76836 HAS SOPS 22447 HAS SOUS 50487 HAS SOUPS 21706 WITH SCORE 21782.836
AT ITER 5852 NEW BEST:: SOT 134000 SOS 76769 HAS SOPS 22447 HAS SOUS 50420 HAS SOUPS 21706 WITH SCORE 21782.769
AT ITER 5858 NEW BEST:: SOT 134000 SOS 76759 HAS SOPS 22447 HAS SOUS 50421 HAS SOUPS 21706 WITH SCORE 21782.759
AT ITER 5872 NEW BEST:: SOT 133988 SOS 76700 HAS SOPS 22447 HAS SOUS 50409 HAS SOUPS 21706 WITH SCORE 21782.7
AT ITER 5909 NEW BEST:: SOT 133986 SOS 76698 HAS SOPS 22443 HAS SOUS 50405 HAS SOUPS 21702 WITH SCORE 21778.698
AT ITER 5960 NEW BEST:: SOT 133986 SOS 76696 HAS SOPS 22443 HAS SOUS 50404 HAS SOUPS 21702 WITH SCORE 21778.696
AT ITER 5982 NEW BEST:: SOT 134012 SOS 76722 HAS SOPS 22431 HAS SOUS 50468 HAS SOUPS 21690 WITH SCORE 21766.722
AT ITER 5995 NEW BEST:: SOT 133984 SOS 76694 HAS SOPS 22396 HAS SOUS 50440 HAS SOUPS 21655 WITH SCORE 21731.694
AT ITER 6012 NEW BEST:: SOT 133984 SOS 76690 HAS SOPS 22396 HAS SOUS 50392 HAS SOUPS 21655 WITH SCORE 21731.69
AT ITER 6025 NEW BEST:: SOT 133952 SOS 76650 HAS SOPS 22396 HAS SOUS 50358 HAS SOUPS 21655 WITH SCORE 21731.65
AT ITER 6077 NEW BEST:: SOT 133945 SOS 76643 HAS SOPS 22386 HAS SOUS 50351 HAS SOUPS 21645 WITH SCORE 21721.643
AT ITER 6087 NEW BEST:: SOT 133945 SOS 76635 HAS SOPS 22386 HAS SOUS 50351 HAS SOUPS 21645 WITH SCORE 21721.635
AT ITER 6093 NEW BEST:: SOT 133924 SOS 76530 HAS SOPS 22386 HAS SOUS 50330 HAS SOUPS 21645 WITH SCORE 21721.53
AT ITER 6099 NEW BEST:: SOT 133916 SOS 76518 HAS SOPS 22382 HAS SOUS 50318 HAS SOUPS 21641 WITH SCORE 21717.518
AT ITER 6114 NEW BEST:: SOT 133917 SOS 76519 HAS SOPS 22370 HAS SOUS 50326 HAS SOUPS 21629 WITH SCORE 21705.519
AT ITER 6139 NEW BEST:: SOT 133916 SOS 76518 HAS SOPS 22364 HAS SOUS 50325 HAS SOUPS 21623 WITH SCORE 21699.518
AT ITER 6168 NEW BEST:: SOT 133885 SOS 76487 HAS SOPS 22302 HAS SOUS 50263 HAS SOUPS 21561 WITH SCORE 21637.487
AT ITER 6247 NEW BEST:: SOT 133885 SOS 76461 HAS SOPS 22302 HAS SOUS 50250 HAS SOUPS 21561 WITH SCORE 21637.461
AT ITER 6257 NEW BEST:: SOT 133885 SOS 76461 HAS SOPS 22292 HAS SOUS 50230 HAS SOUPS 21551 WITH SCORE 21627.461
AT ITER 6278 NEW BEST:: SOT 133919 SOS 76537 HAS SOPS 22258 HAS SOUS 50254 HAS SOUPS 21517 WITH SCORE 21593.537
AT ITER 6279 NEW BEST:: SOT 133919 SOS 76537 HAS SOPS 22242 HAS SOUS 50249 HAS SOUPS 21501 WITH SCORE 21577.537
AT ITER 6310 NEW BEST:: SOT 133919 SOS 76439 HAS SOPS 22242 HAS SOUS 50243 HAS SOUPS 21501 WITH SCORE 21577.439
AT ITER 6355 NEW BEST:: SOT 133913 SOS 76433 HAS SOPS 22242 HAS SOUS 50237 HAS SOUPS 21501 WITH SCORE 21577.433
AT ITER 6392 NEW BEST:: SOT 134014 SOS 76740 HAS SOPS 22238 HAS SOUS 50338 HAS SOUPS 21497 WITH SCORE 21573.74
AT ITER 6394 NEW BEST:: SOT 134014 SOS 76704 HAS SOPS 22238 HAS SOUS 50327 HAS SOUPS 21497 WITH SCORE 21573.704
AT ITER 6426 NEW BEST:: SOT 134000 SOS 76690 HAS SOPS 22215 HAS SOUS 50313 HAS SOUPS 21474 WITH SCORE 21550.69
AT ITER 6462 NEW BEST:: SOT 133976 SOS 76666 HAS SOPS 22205 HAS SOUS 50287 HAS SOUPS 21462 WITH SCORE 21538.666
AT ITER 6570 NEW BEST:: SOT 133944 SOS 76634 HAS SOPS 22205 HAS SOUS 50271 HAS SOUPS 21462 WITH SCORE 21538.634
AT ITER 6578 NEW BEST:: SOT 133944 SOS 76586 HAS SOPS 22205 HAS SOUS 50271 HAS SOUPS 21462 WITH SCORE 21538.586
AT ITER 6582 NEW BEST:: SOT 133941 SOS 76583 HAS SOPS 22202 HAS SOUS 50268 HAS SOUPS 21459 WITH SCORE 21535.583
AT ITER 6639 NEW BEST:: SOT 134030 SOS 76672 HAS SOPS 22185 HAS SOUS 50422 HAS SOUPS 21442 WITH SCORE 21518.672
AT ITER 6684 NEW BEST:: SOT 134027 SOS 76669 HAS SOPS 22185 HAS SOUS 50419 HAS SOUPS 21442 WITH SCORE 21518.669
AT ITER 6731 NEW BEST:: SOT 134027 SOS 76661 HAS SOPS 22185 HAS SOUS 50417 HAS SOUPS 21442 WITH SCORE 21518.661
AT ITER 6749 NEW BEST:: SOT 134027 SOS 76647 HAS SOPS 22185 HAS SOUS 50417 HAS SOUPS 21442 WITH SCORE 21518.647
AT ITER 6762 NEW BEST:: SOT 133984 SOS 76604 HAS SOPS 22099 HAS SOUS 50374 HAS SOUPS 21356 WITH SCORE 21432.604
AT ITER 6811 NEW BEST:: SOT 133984 SOS 76594 HAS SOPS 22099 HAS SOUS 50373 HAS SOUPS 21356 WITH SCORE 21432.594
AT ITER 6826 NEW BEST:: SOT 133984 SOS 76568 HAS SOPS 22099 HAS SOUS 50357 HAS SOUPS 21356 WITH SCORE 21432.568
AT ITER 6875 NEW BEST:: SOT 133805 SOS 76365 HAS SOPS 22099 HAS SOUS 50099 HAS SOUPS 21356 WITH SCORE 21432.365
AT ITER 6893 NEW BEST:: SOT 133772 SOS 76332 HAS SOPS 22099 HAS SOUS 50066 HAS SOUPS 21356 WITH SCORE 21432.332
AT ITER 6896 NEW BEST:: SOT 133792 SOS 76352 HAS SOPS 22079 HAS SOUS 50101 HAS SOUPS 21336 WITH SCORE 21412.352
AT ITER 6907 NEW BEST:: SOT 133779 SOS 76339 HAS SOPS 22092 HAS SOUS 50075 HAS SOUPS 21336 WITH SCORE 21412.339
AT ITER 6911 NEW BEST:: SOT 133760 SOS 76320 HAS SOPS 22084 HAS SOUS 50052 HAS SOUPS 21328 WITH SCORE 21404.32
AT ITER 6945 NEW BEST:: SOT 133760 SOS 76282 HAS SOPS 22084 HAS SOUS 50052 HAS SOUPS 21328 WITH SCORE 21404.282
AT ITER 6952 NEW BEST:: SOT 133851 SOS 76661 HAS SOPS 22050 HAS SOUS 50215 HAS SOUPS 21294 WITH SCORE 21370.661
AT ITER 6979 NEW BEST:: SOT 133851 SOS 76433 HAS SOPS 22050 HAS SOUS 50217 HAS SOUPS 21294 WITH SCORE 21370.433
AT ITER 6982 NEW BEST:: SOT 133907 SOS 76489 HAS SOPS 22044 HAS SOUS 50210 HAS SOUPS 21288 WITH SCORE 21364.489
AT ITER 7006 NEW BEST:: SOT 133908 SOS 76490 HAS SOPS 22024 HAS SOUS 50168 HAS SOUPS 21268 WITH SCORE 21344.49
AT ITER 7017 NEW BEST:: SOT 133908 SOS 76432 HAS SOPS 22024 HAS SOUS 50168 HAS SOUPS 21268 WITH SCORE 21344.432
AT ITER 7031 NEW BEST:: SOT 133908 SOS 76396 HAS SOPS 22024 HAS SOUS 50225 HAS SOUPS 21268 WITH SCORE 21344.396
AT ITER 7053 NEW BEST:: SOT 133921 SOS 76413 HAS SOPS 22000 HAS SOUS 50177 HAS SOUPS 21244 WITH SCORE 21320.413
AT ITER 7067 NEW BEST:: SOT 133921 SOS 76369 HAS SOPS 22000 HAS SOUS 50177 HAS SOUPS 21244 WITH SCORE 21320.369
AT ITER 7088 NEW BEST:: SOT 133865 SOS 76313 HAS SOPS 22000 HAS SOUS 50168 HAS SOUPS 21244 WITH SCORE 21320.313
AT ITER 7089 NEW BEST:: SOT 133847 SOS 76271 HAS SOPS 22000 HAS SOUS 50162 HAS SOUPS 21244 WITH SCORE 21320.271
AT ITER 7121 NEW BEST:: SOT 133801 SOS 76041 HAS SOPS 22000 HAS SOUS 50083 HAS SOUPS 21244 WITH SCORE 21320.041
AT ITER 7132 NEW BEST:: SOT 133703 SOS 75943 HAS SOPS 22000 HAS SOUS 50045 HAS SOUPS 21244 WITH SCORE 21319.943
AT ITER 7138 NEW BEST:: SOT 133703 SOS 75933 HAS SOPS 22000 HAS SOUS 50045 HAS SOUPS 21244 WITH SCORE 21319.933
AT ITER 7160 NEW BEST:: SOT 133703 SOS 75883 HAS SOPS 22000 HAS SOUS 50045 HAS SOUPS 21244 WITH SCORE 21319.883
AT ITER 7198 NEW BEST:: SOT 133724 SOS 75904 HAS SOPS 21964 HAS SOUS 50060 HAS SOUPS 21208 WITH SCORE 21283.904
AT ITER 7200 NEW BEST:: SOT 133724 SOS 75884 HAS SOPS 21964 HAS SOUS 50054 HAS SOUPS 21208 WITH SCORE 21283.884
AT ITER 7232 NEW BEST:: SOT 133722 SOS 75882 HAS SOPS 21960 HAS SOUS 50048 HAS SOUPS 21204 WITH SCORE 21279.882
AT ITER 7274 NEW BEST:: SOT 133695 SOS 75855 HAS SOPS 21933 HAS SOUS 50026 HAS SOUPS 21182 WITH SCORE 21257.855
AT ITER 7279 NEW BEST:: SOT 133694 SOS 75854 HAS SOPS 21931 HAS SOUS 50024 HAS SOUPS 21180 WITH SCORE 21255.854
AT ITER 7289 NEW BEST:: SOT 133753 SOS 75915 HAS SOPS 21857 HAS SOUS 50135 HAS SOUPS 21156 WITH SCORE 21231.915
AT ITER 7293 NEW BEST:: SOT 133753 SOS 75823 HAS SOPS 21857 HAS SOUS 50126 HAS SOUPS 21156 WITH SCORE 21231.823
AT ITER 7301 NEW BEST:: SOT 133687 SOS 75757 HAS SOPS 21857 HAS SOUS 50092 HAS SOUPS 21156 WITH SCORE 21231.757
AT ITER 7306 NEW BEST:: SOT 133687 SOS 75681 HAS SOPS 21857 HAS SOUS 50054 HAS SOUPS 21156 WITH SCORE 21231.681
AT ITER 7320 NEW BEST:: SOT 133687 SOS 75677 HAS SOPS 21857 HAS SOUS 50027 HAS SOUPS 21156 WITH SCORE 21231.677
AT ITER 7332 NEW BEST:: SOT 133693 SOS 75695 HAS SOPS 21851 HAS SOUS 50027 HAS SOUPS 21150 WITH SCORE 21225.695
AT ITER 7367 NEW BEST:: SOT 133706 SOS 75708 HAS SOPS 21846 HAS SOUS 50084 HAS SOUPS 21145 WITH SCORE 21220.708
AT ITER 7371 NEW BEST:: SOT 133674 SOS 75669 HAS SOPS 21830 HAS SOUS 50052 HAS SOUPS 21120 WITH SCORE 21195.669
AT ITER 7404 NEW BEST:: SOT 133674 SOS 75555 HAS SOPS 21830 HAS SOUS 49957 HAS SOUPS 21120 WITH SCORE 21195.555
AT ITER 7413 NEW BEST:: SOT 133659 SOS 75540 HAS SOPS 21826 HAS SOUS 49953 HAS SOUPS 21116 WITH SCORE 21191.54
AT ITER 7421 NEW BEST:: SOT 133651 SOS 75532 HAS SOPS 21826 HAS SOUS 49937 HAS SOUPS 21116 WITH SCORE 21191.532
AT ITER 7438 NEW BEST:: SOT 133584 SOS 75504 HAS SOPS 21826 HAS SOUS 49906 HAS SOUPS 21116 WITH SCORE 21191.504
AT ITER 7449 NEW BEST:: SOT 133584 SOS 75464 HAS SOPS 21826 HAS SOUS 49886 HAS SOUPS 21116 WITH SCORE 21191.464
AT ITER 7477 NEW BEST:: SOT 133584 SOS 75464 HAS SOPS 21806 HAS SOUS 49886 HAS SOUPS 21096 WITH SCORE 21171.464
AT ITER 7483 NEW BEST:: SOT 133518 SOS 75398 HAS SOPS 21806 HAS SOUS 49820 HAS SOUPS 21096 WITH SCORE 21171.398
AT ITER 7534 NEW BEST:: SOT 133628 SOS 76092 HAS SOPS 21698 HAS SOUS 50174 HAS SOUPS 20988 WITH SCORE 21064.092
AT ITER 7560 NEW BEST:: SOT 133628 SOS 76044 HAS SOPS 21698 HAS SOUS 50162 HAS SOUPS 20988 WITH SCORE 21064.044
AT ITER 7600 NEW BEST:: SOT 133597 SOS 76013 HAS SOPS 21698 HAS SOUS 50131 HAS SOUPS 20988 WITH SCORE 21064.013
AT ITER 7608 NEW BEST:: SOT 133597 SOS 76005 HAS SOPS 21698 HAS SOUS 50123 HAS SOUPS 20988 WITH SCORE 21064.005
AT ITER 7620 NEW BEST:: SOT 133593 SOS 76001 HAS SOPS 21690 HAS SOUS 50126 HAS SOUPS 20980 WITH SCORE 21056.001
AT ITER 7625 NEW BEST:: SOT 133551 SOS 75959 HAS SOPS 21690 HAS SOUS 50084 HAS SOUPS 20980 WITH SCORE 21055.959
AT ITER 7693 NEW BEST:: SOT 133512 SOS 75920 HAS SOPS 21663 HAS SOUS 50020 HAS SOUPS 20966 WITH SCORE 21041.92
AT ITER 7727 NEW BEST:: SOT 133512 SOS 75800 HAS SOPS 21663 HAS SOUS 49990 HAS SOUPS 20966 WITH SCORE 21041.8
AT ITER 7754 NEW BEST:: SOT 133512 SOS 75065 HAS SOPS 21663 HAS SOUS 49976 HAS SOUPS 20966 WITH SCORE 21041.065
AT ITER 7763 NEW BEST:: SOT 133512 SOS 75041 HAS SOPS 21663 HAS SOUS 49970 HAS SOUPS 20966 WITH SCORE 21041.041
AT ITER 7770 NEW BEST:: SOT 133472 SOS 75001 HAS SOPS 21663 HAS SOUS 49944 HAS SOUPS 20966 WITH SCORE 21041.001
AT ITER 7771 NEW BEST:: SOT 133460 SOS 74989 HAS SOPS 21661 HAS SOUS 49910 HAS SOUPS 20942 WITH SCORE 21016.989
AT ITER 7781 NEW BEST:: SOT 133460 SOS 74983 HAS SOPS 21661 HAS SOUS 49910 HAS SOUPS 20942 WITH SCORE 21016.983
AT ITER 7828 NEW BEST:: SOT 133460 SOS 74922 HAS SOPS 21661 HAS SOUS 49869 HAS SOUPS 20935 WITH SCORE 21009.922
AT ITER 7831 NEW BEST:: SOT 133358 SOS 74820 HAS SOPS 21661 HAS SOUS 49805 HAS SOUPS 20935 WITH SCORE 21009.82
AT ITER 7865 NEW BEST:: SOT 133376 SOS 74838 HAS SOPS 21679 HAS SOUS 49761 HAS SOUPS 20931 WITH SCORE 21005.838
AT ITER 7889 NEW BEST:: SOT 133372 SOS 74834 HAS SOPS 21679 HAS SOUS 49757 HAS SOUPS 20931 WITH SCORE 21005.834
AT ITER 7890 NEW BEST:: SOT 133434 SOS 74896 HAS SOPS 21667 HAS SOUS 49813 HAS SOUPS 20919 WITH SCORE 20993.896
AT ITER 7937 NEW BEST:: SOT 133434 SOS 74896 HAS SOPS 21659 HAS SOUS 49811 HAS SOUPS 20911 WITH SCORE 20985.896
AT ITER 7944 NEW BEST:: SOT 133405 SOS 74867 HAS SOPS 21659 HAS SOUS 49782 HAS SOUPS 20911 WITH SCORE 20985.867
AT ITER 7994 NEW BEST:: SOT 133396 SOS 74858 HAS SOPS 21656 HAS SOUS 49770 HAS SOUPS 20905 WITH SCORE 20979.858
AT ITER 7996 NEW BEST:: SOT 133417 SOS 74879 HAS SOPS 21652 HAS SOUS 49791 HAS SOUPS 20901 WITH SCORE 20975.879
AT ITER 8023 NEW BEST:: SOT 133396 SOS 74858 HAS SOPS 21573 HAS SOUS 49806 HAS SOUPS 20859 WITH SCORE 20933.858
AT ITER 8045 NEW BEST:: SOT 133396 SOS 74849 HAS SOPS 21573 HAS SOUS 49803 HAS SOUPS 20859 WITH SCORE 20933.849
AT ITER 8062 NEW BEST:: SOT 133384 SOS 74825 HAS SOPS 21573 HAS SOUS 49793 HAS SOUPS 20859 WITH SCORE 20933.825
AT ITER 8066 NEW BEST:: SOT 133353 SOS 75180 HAS SOPS 21542 HAS SOUS 49859 HAS SOUPS 20828 WITH SCORE 20903.18
AT ITER 8070 NEW BEST:: SOT 133389 SOS 75312 HAS SOPS 21508 HAS SOUS 49866 HAS SOUPS 20794 WITH SCORE 20869.312
AT ITER 8100 NEW BEST:: SOT 133389 SOS 75306 HAS SOPS 21508 HAS SOUS 49866 HAS SOUPS 20794 WITH SCORE 20869.306
AT ITER 8154 NEW BEST:: SOT 133389 SOS 75306 HAS SOPS 21506 HAS SOUS 49864 HAS SOUPS 20792 WITH SCORE 20867.306
AT ITER 8156 NEW BEST:: SOT 133400 SOS 75317 HAS SOPS 21497 HAS SOUS 49875 HAS SOUPS 20783 WITH SCORE 20858.317
AT ITER 8167 NEW BEST:: SOT 133391 SOS 75308 HAS SOPS 21489 HAS SOUS 49866 HAS SOUPS 20775 WITH SCORE 20850.308
AT ITER 8173 NEW BEST:: SOT 133189 SOS 75106 HAS SOPS 21489 HAS SOUS 49580 HAS SOUPS 20775 WITH SCORE 20850.106
AT ITER 8188 NEW BEST:: SOT 133188 SOS 75105 HAS SOPS 21489 HAS SOUS 49578 HAS SOUPS 20775 WITH SCORE 20850.105
AT ITER 8277 NEW BEST:: SOT 133188 SOS 74634 HAS SOPS 21489 HAS SOUS 49456 HAS SOUPS 20775 WITH SCORE 20849.634
AT ITER 8295 NEW BEST:: SOT 133155 SOS 74601 HAS SOPS 21489 HAS SOUS 49446 HAS SOUPS 20775 WITH SCORE 20849.601
AT ITER 8345 NEW BEST:: SOT 133183 SOS 74777 HAS SOPS 21434 HAS SOUS 49428 HAS SOUPS 20720 WITH SCORE 20794.777
AT ITER 8353 NEW BEST:: SOT 133154 SOS 74748 HAS SOPS 21428 HAS SOUS 49399 HAS SOUPS 20714 WITH SCORE 20788.748
AT ITER 8372 NEW BEST:: SOT 133109 SOS 74703 HAS SOPS 21428 HAS SOUS 49354 HAS SOUPS 20714 WITH SCORE 20788.703
AT ITER 8399 NEW BEST:: SOT 133035 SOS 74629 HAS SOPS 21400 HAS SOUS 49284 HAS SOUPS 20686 WITH SCORE 20760.629
AT ITER 8543 NEW BEST:: SOT 133035 SOS 74460 HAS SOPS 21400 HAS SOUS 49284 HAS SOUPS 20686 WITH SCORE 20760.46
AT ITER 8584 NEW BEST:: SOT 133041 SOS 74466 HAS SOPS 21388 HAS SOUS 49290 HAS SOUPS 20674 WITH SCORE 20748.466
AT ITER 8597 NEW BEST:: SOT 133041 SOS 74456 HAS SOPS 21388 HAS SOUS 49290 HAS SOUPS 20674 WITH SCORE 20748.456
AT ITER 8609 NEW BEST:: SOT 133035 SOS 74450 HAS SOPS 21376 HAS SOUS 49278 HAS SOUPS 20662 WITH SCORE 20736.45
AT ITER 8621 NEW BEST:: SOT 133023 SOS 74422 HAS SOPS 21376 HAS SOUS 49270 HAS SOUPS 20662 WITH SCORE 20736.422
AT ITER 8631 NEW BEST:: SOT 133023 SOS 74338 HAS SOPS 21376 HAS SOUS 49249 HAS SOUPS 20662 WITH SCORE 20736.338
AT ITER 8660 NEW BEST:: SOT 133043 SOS 74358 HAS SOPS 21364 HAS SOUS 49269 HAS SOUPS 20650 WITH SCORE 20724.358
AT ITER 8662 NEW BEST:: SOT 133039 SOS 74354 HAS SOPS 21356 HAS SOUS 49251 HAS SOUPS 20642 WITH SCORE 20716.354
AT ITER 8705 NEW BEST:: SOT 133101 SOS 74552 HAS SOPS 21327 HAS SOUS 49421 HAS SOUPS 20630 WITH SCORE 20704.552
AT ITER 8706 NEW BEST:: SOT 133101 SOS 74546 HAS SOPS 21327 HAS SOUS 49421 HAS SOUPS 20630 WITH SCORE 20704.546
AT ITER 8714 NEW BEST:: SOT 133091 SOS 74536 HAS SOPS 21317 HAS SOUS 49406 HAS SOUPS 20620 WITH SCORE 20694.536
AT ITER 8729 NEW BEST:: SOT 133062 SOS 74411 HAS SOPS 21317 HAS SOUS 49382 HAS SOUPS 20620 WITH SCORE 20694.411
AT ITER 8819 NEW BEST:: SOT 133041 SOS 74390 HAS SOPS 21317 HAS SOUS 49361 HAS SOUPS 20620 WITH SCORE 20694.39
AT ITER 8851 NEW BEST:: SOT 133027 SOS 74376 HAS SOPS 21289 HAS SOUS 49347 HAS SOUPS 20592 WITH SCORE 20666.376
AT ITER 8884 NEW BEST:: SOT 132984 SOS 74331 HAS SOPS 21263 HAS SOUS 49274 HAS SOUPS 20538 WITH SCORE 20612.331
AT ITER 8898 NEW BEST:: SOT 132984 SOS 74307 HAS SOPS 21263 HAS SOUS 49274 HAS SOUPS 20538 WITH SCORE 20612.307
AT ITER 8903 NEW BEST:: SOT 132960 SOS 74283 HAS SOPS 21251 HAS SOUS 49262 HAS SOUPS 20526 WITH SCORE 20600.283
AT ITER 8915 NEW BEST:: SOT 132981 SOS 74354 HAS SOPS 21213 HAS SOUS 49363 HAS SOUPS 20518 WITH SCORE 20592.354
AT ITER 8919 NEW BEST:: SOT 132981 SOS 74354 HAS SOPS 21209 HAS SOUS 49363 HAS SOUPS 20514 WITH SCORE 20588.354
AT ITER 8947 NEW BEST:: SOT 132979 SOS 74352 HAS SOPS 21205 HAS SOUS 49375 HAS SOUPS 20510 WITH SCORE 20584.352
AT ITER 8988 NEW BEST:: SOT 132977 SOS 74346 HAS SOPS 21205 HAS SOUS 49371 HAS SOUPS 20510 WITH SCORE 20584.346
AT ITER 8991 NEW BEST:: SOT 132977 SOS 74328 HAS SOPS 21205 HAS SOUS 49371 HAS SOUPS 20510 WITH SCORE 20584.328
AT ITER 9004 NEW BEST:: SOT 132995 SOS 74346 HAS SOPS 21196 HAS SOUS 49358 HAS SOUPS 20470 WITH SCORE 20544.346
AT ITER 9021 NEW BEST:: SOT 132995 SOS 74336 HAS SOPS 21196 HAS SOUS 49358 HAS SOUPS 20470 WITH SCORE 20544.336
AT ITER 9037 NEW BEST:: SOT 133036 SOS 74561 HAS SOPS 21186 HAS SOUS 49410 HAS SOUPS 20460 WITH SCORE 20534.561
AT ITER 9105 NEW BEST:: SOT 133029 SOS 74540 HAS SOPS 21186 HAS SOUS 49403 HAS SOUPS 20460 WITH SCORE 20534.54
AT ITER 9110 NEW BEST:: SOT 133025 SOS 74536 HAS SOPS 21178 HAS SOUS 49356 HAS SOUPS 20452 WITH SCORE 20526.536
AT ITER 9125 NEW BEST:: SOT 133019 SOS 74530 HAS SOPS 21166 HAS SOUS 49350 HAS SOUPS 20440 WITH SCORE 20514.53
AT ITER 9138 NEW BEST:: SOT 133013 SOS 74522 HAS SOPS 21162 HAS SOUS 49344 HAS SOUPS 20436 WITH SCORE 20510.522
AT ITER 9228 NEW BEST:: SOT 133045 SOS 74554 HAS SOPS 21160 HAS SOUS 49376 HAS SOUPS 20434 WITH SCORE 20508.554
AT ITER 9284 NEW BEST:: SOT 133044 SOS 74553 HAS SOPS 21158 HAS SOUS 49375 HAS SOUPS 20432 WITH SCORE 20506.553
AT ITER 9306 NEW BEST:: SOT 133044 SOS 74547 HAS SOPS 21158 HAS SOUS 49375 HAS SOUPS 20432 WITH SCORE 20506.547
AT ITER 9316 NEW BEST:: SOT 133044 SOS 74519 HAS SOPS 21158 HAS SOUS 49375 HAS SOUPS 20432 WITH SCORE 20506.519
AT ITER 9349 NEW BEST:: SOT 133097 SOS 74572 HAS SOPS 21209 HAS SOUS 49316 HAS SOUPS 20428 WITH SCORE 20502.572
AT ITER 9369 NEW BEST:: SOT 133097 SOS 74236 HAS SOPS 21209 HAS SOUS 49280 HAS SOUPS 20428 WITH SCORE 20502.236
AT ITER 9378 NEW BEST:: SOT 133097 SOS 74216 HAS SOPS 21209 HAS SOUS 49280 HAS SOUPS 20428 WITH SCORE 20502.216
AT ITER 9385 NEW BEST:: SOT 133088 SOS 74207 HAS SOPS 21191 HAS SOUS 49271 HAS SOUPS 20410 WITH SCORE 20484.207
AT ITER 9428 NEW BEST:: SOT 133075 SOS 74194 HAS SOPS 21178 HAS SOUS 49259 HAS SOUPS 20398 WITH SCORE 20472.194
AT ITER 9432 NEW BEST:: SOT 133075 SOS 73886 HAS SOPS 21178 HAS SOUS 49268 HAS SOUPS 20398 WITH SCORE 20471.886
AT ITER 9433 NEW BEST:: SOT 133075 SOS 73886 HAS SOPS 21172 HAS SOUS 49262 HAS SOUPS 20392 WITH SCORE 20465.886
AT ITER 9490 NEW BEST:: SOT 133050 SOS 73861 HAS SOPS 21157 HAS SOUS 49247 HAS SOUPS 20387 WITH SCORE 20460.861
AT ITER 9515 NEW BEST:: SOT 133022 SOS 73833 HAS SOPS 21129 HAS SOUS 49219 HAS SOUPS 20359 WITH SCORE 20432.833
AT ITER 9522 NEW BEST:: SOT 133022 SOS 73825 HAS SOPS 21129 HAS SOUS 49219 HAS SOUPS 20359 WITH SCORE 20432.825
AT ITER 9531 NEW BEST:: SOT 133035 SOS 73874 HAS SOPS 21128 HAS SOUS 49241 HAS SOUPS 20358 WITH SCORE 20431.874
AT ITER 9571 NEW BEST:: SOT 133035 SOS 73766 HAS SOPS 21128 HAS SOUS 49232 HAS SOUPS 20358 WITH SCORE 20431.766
AT ITER 9589 NEW BEST:: SOT 132993 SOS 73696 HAS SOPS 21142 HAS SOUS 49204 HAS SOUPS 20358 WITH SCORE 20431.696
AT ITER 9614 NEW BEST:: SOT 133045 SOS 73838 HAS SOPS 21134 HAS SOUS 49284 HAS SOUPS 20350 WITH SCORE 20423.838
AT ITER 9642 NEW BEST:: SOT 133001 SOS 73794 HAS SOPS 21112 HAS SOUS 49254 HAS SOUPS 20328 WITH SCORE 20401.794
AT ITER 9748 NEW BEST:: SOT 133011 SOS 73804 HAS SOPS 21080 HAS SOUS 49272 HAS SOUPS 20296 WITH SCORE 20369.804
AT ITER 9761 NEW BEST:: SOT 133002 SOS 73795 HAS SOPS 21074 HAS SOUS 49263 HAS SOUPS 20290 WITH SCORE 20363.795
AT ITER 9777 NEW BEST:: SOT 132942 SOS 73735 HAS SOPS 21074 HAS SOUS 49263 HAS SOUPS 20290 WITH SCORE 20363.735
AT ITER 9862 NEW BEST:: SOT 132942 SOS 73681 HAS SOPS 21074 HAS SOUS 49236 HAS SOUPS 20290 WITH SCORE 20363.681
AT ITER 9914 NEW BEST:: SOT 132919 SOS 73658 HAS SOPS 21074 HAS SOUS 49236 HAS SOUPS 20290 WITH SCORE 20363.658
AT ITER 9960 NEW BEST:: SOT 132910 SOS 73649 HAS SOPS 21065 HAS SOUS 49227 HAS SOUPS 20281 WITH SCORE 20354.649
STATE_SPACE STATES 17424 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 212 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 53328 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589012464526

--------------------
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="BART-PT-002"
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 BART-PT-002, 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 r018-oct2-158897679500072"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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