Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r063-tajo-158922807900744.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/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 DiscoveryGPU-PT-15b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922807900744
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 284K
-rw-r--r-- 1 mcc users 3.4K Mar 31 07:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 31 07:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 30 00:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 30 00:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 28 14:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 28 14:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 27 07:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 27 07:46 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 28 14:50 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:50 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 111K 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 1589365088158

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

Filename model.pnml
Petri model created: 436 places, 464 transitions, 1214 arcs.
AT ITER 0 NEW BEST:: SOT 137914 SOS 63994 HAS SOPS 63994 HAS SOUS 57245 HAS SOUPS 57245 WITH SCORE 57308.994
AT ITER 1 NEW BEST:: SOT 137937 SOS 64073 HAS SOPS 64073 HAS SOUS 57214 HAS SOUPS 57214 WITH SCORE 57278.073
AT ITER 4 NEW BEST:: SOT 137920 SOS 64039 HAS SOPS 64039 HAS SOUS 57195 HAS SOUPS 57195 WITH SCORE 57259.039
AT ITER 9 NEW BEST:: SOT 137690 SOS 63860 HAS SOPS 63860 HAS SOUS 56991 HAS SOUPS 56991 WITH SCORE 57054.86
AT ITER 13 NEW BEST:: SOT 137650 SOS 63780 HAS SOPS 63780 HAS SOUS 56911 HAS SOUPS 56911 WITH SCORE 56974.78
AT ITER 14 NEW BEST:: SOT 137650 SOS 63893 HAS SOPS 63893 HAS SOUS 56776 HAS SOUPS 56776 WITH SCORE 56839.893
AT ITER 15 NEW BEST:: SOT 137512 SOS 63617 HAS SOPS 63617 HAS SOUS 56500 HAS SOUPS 56500 WITH SCORE 56563.617
AT ITER 16 NEW BEST:: SOT 137512 SOS 63709 HAS SOPS 63709 HAS SOUS 56375 HAS SOUPS 56375 WITH SCORE 56438.709
AT ITER 19 NEW BEST:: SOT 137460 SOS 63509 HAS SOPS 63509 HAS SOUS 56270 HAS SOUPS 56270 WITH SCORE 56333.509
AT ITER 22 NEW BEST:: SOT 137461 SOS 63383 HAS SOPS 63383 HAS SOUS 56178 HAS SOUPS 56178 WITH SCORE 56241.383
AT ITER 23 NEW BEST:: SOT 137405 SOS 63319 HAS SOPS 63319 HAS SOUS 56121 HAS SOUPS 56121 WITH SCORE 56184.319
AT ITER 24 NEW BEST:: SOT 137333 SOS 63303 HAS SOPS 63303 HAS SOUS 56105 HAS SOUPS 56105 WITH SCORE 56168.303
AT ITER 25 NEW BEST:: SOT 137177 SOS 63069 HAS SOPS 63069 HAS SOUS 55871 HAS SOUPS 55871 WITH SCORE 55934.069
AT ITER 28 NEW BEST:: SOT 137091 SOS 62955 HAS SOPS 62955 HAS SOUS 55797 HAS SOUPS 55797 WITH SCORE 55859.955
AT ITER 30 NEW BEST:: SOT 137040 SOS 62853 HAS SOPS 62853 HAS SOUS 55695 HAS SOUPS 55695 WITH SCORE 55757.853
AT ITER 32 NEW BEST:: SOT 136949 SOS 62764 HAS SOPS 62764 HAS SOUS 55676 HAS SOUPS 55676 WITH SCORE 55738.764
AT ITER 37 NEW BEST:: SOT 136867 SOS 62741 HAS SOPS 62741 HAS SOUS 55653 HAS SOUPS 55653 WITH SCORE 55715.741
AT ITER 45 NEW BEST:: SOT 136866 SOS 62739 HAS SOPS 62739 HAS SOUS 55651 HAS SOUPS 55651 WITH SCORE 55713.739
AT ITER 46 NEW BEST:: SOT 136753 SOS 62856 HAS SOPS 62856 HAS SOUS 55616 HAS SOUPS 55616 WITH SCORE 55678.856
AT ITER 52 NEW BEST:: SOT 136635 SOS 62738 HAS SOPS 62738 HAS SOUS 55498 HAS SOUPS 55498 WITH SCORE 55560.738
AT ITER 55 NEW BEST:: SOT 136479 SOS 62586 HAS SOPS 62586 HAS SOUS 55345 HAS SOUPS 55345 WITH SCORE 55407.586
AT ITER 58 NEW BEST:: SOT 136361 SOS 62468 HAS SOPS 62468 HAS SOUS 55227 HAS SOUPS 55227 WITH SCORE 55289.468
AT ITER 60 NEW BEST:: SOT 136341 SOS 62428 HAS SOPS 62428 HAS SOUS 55187 HAS SOUPS 55187 WITH SCORE 55249.428
AT ITER 61 NEW BEST:: SOT 136241 SOS 62397 HAS SOPS 62397 HAS SOUS 55122 HAS SOUPS 55122 WITH SCORE 55184.397
AT ITER 65 NEW BEST:: SOT 136126 SOS 62074 HAS SOPS 62074 HAS SOUS 54799 HAS SOUPS 54799 WITH SCORE 54861.074
AT ITER 66 NEW BEST:: SOT 135995 SOS 61823 HAS SOPS 61823 HAS SOUS 54715 HAS SOUPS 54715 WITH SCORE 54776.823
AT ITER 69 NEW BEST:: SOT 135900 SOS 61633 HAS SOPS 61633 HAS SOUS 54671 HAS SOUPS 54671 WITH SCORE 54732.633
AT ITER 75 NEW BEST:: SOT 135924 SOS 61587 HAS SOPS 61587 HAS SOUS 54625 HAS SOUPS 54625 WITH SCORE 54686.587
AT ITER 76 NEW BEST:: SOT 135845 SOS 61471 HAS SOPS 61471 HAS SOUS 54546 HAS SOUPS 54546 WITH SCORE 54607.471
AT ITER 78 NEW BEST:: SOT 135845 SOS 61460 HAS SOPS 61460 HAS SOUS 54440 HAS SOUPS 54440 WITH SCORE 54501.46
AT ITER 87 NEW BEST:: SOT 135714 SOS 61329 HAS SOPS 61329 HAS SOUS 54309 HAS SOUPS 54309 WITH SCORE 54370.329
AT ITER 112 NEW BEST:: SOT 135680 SOS 61295 HAS SOPS 61295 HAS SOUS 54275 HAS SOUPS 54275 WITH SCORE 54336.295
AT ITER 120 NEW BEST:: SOT 135554 SOS 61140 HAS SOPS 61140 HAS SOUS 54147 HAS SOUPS 54147 WITH SCORE 54208.14
AT ITER 121 NEW BEST:: SOT 135430 SOS 60901 HAS SOPS 60901 HAS SOUS 54023 HAS SOUPS 54023 WITH SCORE 54083.901
AT ITER 122 NEW BEST:: SOT 135420 SOS 60906 HAS SOPS 60906 HAS SOUS 54013 HAS SOUPS 54013 WITH SCORE 54073.906
AT ITER 132 NEW BEST:: SOT 135265 SOS 60760 HAS SOPS 60760 HAS SOUS 53858 HAS SOUPS 53858 WITH SCORE 53918.76
AT ITER 135 NEW BEST:: SOT 135260 SOS 60755 HAS SOPS 60755 HAS SOUS 53852 HAS SOUPS 53852 WITH SCORE 53912.755
AT ITER 141 NEW BEST:: SOT 135239 SOS 60739 HAS SOPS 60739 HAS SOUS 53852 HAS SOUPS 53852 WITH SCORE 53912.739
AT ITER 157 NEW BEST:: SOT 135223 SOS 60707 HAS SOPS 60707 HAS SOUS 53820 HAS SOUPS 53820 WITH SCORE 53880.707
AT ITER 158 NEW BEST:: SOT 135223 SOS 60654 HAS SOPS 60654 HAS SOUS 53819 HAS SOUPS 53819 WITH SCORE 53879.654
AT ITER 170 NEW BEST:: SOT 135161 SOS 60530 HAS SOPS 60530 HAS SOUS 53695 HAS SOUPS 53695 WITH SCORE 53755.53
AT ITER 174 NEW BEST:: SOT 135076 SOS 60555 HAS SOPS 60555 HAS SOUS 53652 HAS SOUPS 53652 WITH SCORE 53712.555
AT ITER 181 NEW BEST:: SOT 134994 SOS 60409 HAS SOPS 60409 HAS SOUS 53569 HAS SOUPS 53569 WITH SCORE 53629.409
AT ITER 185 NEW BEST:: SOT 134763 SOS 60103 HAS SOPS 60103 HAS SOUS 53233 HAS SOUPS 53233 WITH SCORE 53293.103
AT ITER 192 NEW BEST:: SOT 134763 SOS 60053 HAS SOPS 60053 HAS SOUS 53208 HAS SOUPS 53208 WITH SCORE 53268.053
AT ITER 193 NEW BEST:: SOT 134763 SOS 59961 HAS SOPS 59961 HAS SOUS 53208 HAS SOUPS 53208 WITH SCORE 53267.961
AT ITER 197 NEW BEST:: SOT 134684 SOS 59983 HAS SOPS 59983 HAS SOUS 53167 HAS SOUPS 53167 WITH SCORE 53226.983
AT ITER 208 NEW BEST:: SOT 134666 SOS 59969 HAS SOPS 59969 HAS SOUS 53153 HAS SOUPS 53153 WITH SCORE 53212.969
AT ITER 230 NEW BEST:: SOT 134607 SOS 59851 HAS SOPS 59851 HAS SOUS 52991 HAS SOUPS 52991 WITH SCORE 53050.851
AT ITER 234 NEW BEST:: SOT 134592 SOS 59821 HAS SOPS 59821 HAS SOUS 52961 HAS SOUPS 52961 WITH SCORE 53020.821
AT ITER 247 NEW BEST:: SOT 134489 SOS 59727 HAS SOPS 59727 HAS SOUS 52860 HAS SOUPS 52860 WITH SCORE 52919.727
AT ITER 248 NEW BEST:: SOT 134446 SOS 59636 HAS SOPS 59636 HAS SOUS 52752 HAS SOUPS 52752 WITH SCORE 52811.636
AT ITER 251 NEW BEST:: SOT 134446 SOS 59567 HAS SOPS 59567 HAS SOUS 52751 HAS SOUPS 52751 WITH SCORE 52810.567
AT ITER 253 NEW BEST:: SOT 134420 SOS 59515 HAS SOPS 59515 HAS SOUS 52724 HAS SOUPS 52724 WITH SCORE 52783.515
AT ITER 257 NEW BEST:: SOT 134395 SOS 59464 HAS SOPS 59464 HAS SOUS 52707 HAS SOUPS 52707 WITH SCORE 52766.464
AT ITER 267 NEW BEST:: SOT 134395 SOS 59464 HAS SOPS 59464 HAS SOUS 52706 HAS SOUPS 52706 WITH SCORE 52765.464
AT ITER 282 NEW BEST:: SOT 134362 SOS 59398 HAS SOPS 59398 HAS SOUS 52673 HAS SOUPS 52673 WITH SCORE 52732.398
AT ITER 287 NEW BEST:: SOT 134361 SOS 59396 HAS SOPS 59396 HAS SOUS 52671 HAS SOUPS 52671 WITH SCORE 52730.396
AT ITER 291 NEW BEST:: SOT 134352 SOS 59378 HAS SOPS 59378 HAS SOUS 52653 HAS SOUPS 52653 WITH SCORE 52712.378
AT ITER 294 NEW BEST:: SOT 134398 SOS 59377 HAS SOPS 59377 HAS SOUS 52651 HAS SOUPS 52651 WITH SCORE 52710.377
AT ITER 298 NEW BEST:: SOT 134358 SOS 59353 HAS SOPS 59353 HAS SOUS 52627 HAS SOUPS 52627 WITH SCORE 52686.353
AT ITER 300 NEW BEST:: SOT 134255 SOS 59277 HAS SOPS 59277 HAS SOUS 52551 HAS SOUPS 52551 WITH SCORE 52610.277
AT ITER 301 NEW BEST:: SOT 134181 SOS 59129 HAS SOPS 59129 HAS SOUS 52418 HAS SOUPS 52418 WITH SCORE 52477.129
AT ITER 308 NEW BEST:: SOT 134157 SOS 59081 HAS SOPS 59081 HAS SOUS 52370 HAS SOUPS 52370 WITH SCORE 52429.081
AT ITER 312 NEW BEST:: SOT 134120 SOS 58923 HAS SOPS 58923 HAS SOUS 52356 HAS SOUPS 52356 WITH SCORE 52414.923
AT ITER 319 NEW BEST:: SOT 134120 SOS 59020 HAS SOPS 59020 HAS SOUS 52249 HAS SOUPS 52249 WITH SCORE 52308.02
AT ITER 321 NEW BEST:: SOT 134096 SOS 58948 HAS SOPS 58948 HAS SOUS 52225 HAS SOUPS 52225 WITH SCORE 52283.948
AT ITER 325 NEW BEST:: SOT 134053 SOS 58940 HAS SOPS 58940 HAS SOUS 52217 HAS SOUPS 52217 WITH SCORE 52275.94
AT ITER 328 NEW BEST:: SOT 133947 SOS 58781 HAS SOPS 58781 HAS SOUS 52058 HAS SOUPS 52058 WITH SCORE 52116.781
AT ITER 331 NEW BEST:: SOT 133947 SOS 58781 HAS SOPS 58781 HAS SOUS 52057 HAS SOUPS 52057 WITH SCORE 52115.781
AT ITER 332 NEW BEST:: SOT 128386 SOS 63888 HAS SOPS 63888 HAS SOUS 46695 HAS SOUPS 46695 WITH SCORE 46758.888
AT ITER 338 NEW BEST:: SOT 128311 SOS 63719 HAS SOPS 63719 HAS SOUS 46545 HAS SOUPS 46545 WITH SCORE 46608.719
AT ITER 345 NEW BEST:: SOT 128094 SOS 63397 HAS SOPS 63397 HAS SOUS 46335 HAS SOUPS 46335 WITH SCORE 46398.397
AT ITER 347 NEW BEST:: SOT 128079 SOS 63313 HAS SOPS 63313 HAS SOUS 46334 HAS SOUPS 46334 WITH SCORE 46397.313
AT ITER 350 NEW BEST:: SOT 128039 SOS 63233 HAS SOPS 63233 HAS SOUS 46274 HAS SOUPS 46274 WITH SCORE 46337.233
AT ITER 351 NEW BEST:: SOT 127933 SOS 63022 HAS SOPS 63022 HAS SOUS 46167 HAS SOUPS 46167 WITH SCORE 46230.022
AT ITER 352 NEW BEST:: SOT 127827 SOS 62810 HAS SOPS 62810 HAS SOUS 45955 HAS SOUPS 45955 WITH SCORE 46017.81
AT ITER 353 NEW BEST:: SOT 127804 SOS 62764 HAS SOPS 62764 HAS SOUS 45932 HAS SOUPS 45932 WITH SCORE 45994.764
AT ITER 357 NEW BEST:: SOT 127794 SOS 62744 HAS SOPS 62744 HAS SOUS 45917 HAS SOUPS 45917 WITH SCORE 45979.744
AT ITER 358 NEW BEST:: SOT 127785 SOS 62753 HAS SOPS 62753 HAS SOUS 45907 HAS SOUPS 45907 WITH SCORE 45969.753
AT ITER 364 NEW BEST:: SOT 127743 SOS 62591 HAS SOPS 62591 HAS SOUS 45828 HAS SOUPS 45828 WITH SCORE 45890.591
AT ITER 365 NEW BEST:: SOT 127641 SOS 62407 HAS SOPS 62407 HAS SOUS 45724 HAS SOUPS 45724 WITH SCORE 45786.407
AT ITER 367 NEW BEST:: SOT 127492 SOS 62201 HAS SOPS 62201 HAS SOUS 45568 HAS SOUPS 45568 WITH SCORE 45630.201
AT ITER 368 NEW BEST:: SOT 127491 SOS 54965 HAS SOPS 54965 HAS SOUS 45566 HAS SOUPS 45566 WITH SCORE 45620.965
AT ITER 378 NEW BEST:: SOT 127448 SOS 54940 HAS SOPS 54940 HAS SOUS 45563 HAS SOUPS 45563 WITH SCORE 45617.94
AT ITER 383 NEW BEST:: SOT 127370 SOS 54881 HAS SOPS 54881 HAS SOUS 45497 HAS SOUPS 45497 WITH SCORE 45551.881
AT ITER 388 NEW BEST:: SOT 127372 SOS 54823 HAS SOPS 54823 HAS SOUS 45439 HAS SOUPS 45439 WITH SCORE 45493.823
AT ITER 394 NEW BEST:: SOT 127462 SOS 54796 HAS SOPS 54796 HAS SOUS 45412 HAS SOUPS 45412 WITH SCORE 45466.796
AT ITER 400 NEW BEST:: SOT 127462 SOS 54692 HAS SOPS 54692 HAS SOUS 45398 HAS SOUPS 45398 WITH SCORE 45452.692
AT ITER 407 NEW BEST:: SOT 127456 SOS 54680 HAS SOPS 54680 HAS SOUS 45386 HAS SOUPS 45386 WITH SCORE 45440.68
AT ITER 414 NEW BEST:: SOT 127415 SOS 54640 HAS SOPS 54640 HAS SOUS 45346 HAS SOUPS 45346 WITH SCORE 45400.64
AT ITER 415 NEW BEST:: SOT 127355 SOS 54539 HAS SOPS 54539 HAS SOUS 45341 HAS SOUPS 45341 WITH SCORE 45395.539
AT ITER 421 NEW BEST:: SOT 127331 SOS 54571 HAS SOPS 54571 HAS SOUS 45317 HAS SOUPS 45317 WITH SCORE 45371.571
AT ITER 428 NEW BEST:: SOT 127318 SOS 54365 HAS SOPS 54365 HAS SOUS 45291 HAS SOUPS 45291 WITH SCORE 45345.365
AT ITER 431 NEW BEST:: SOT 127067 SOS 54005 HAS SOPS 54005 HAS SOUS 44928 HAS SOUPS 44928 WITH SCORE 44982.005
AT ITER 448 NEW BEST:: SOT 126938 SOS 53648 HAS SOPS 53648 HAS SOUS 44571 HAS SOUPS 44571 WITH SCORE 44624.648
AT ITER 455 NEW BEST:: SOT 126864 SOS 53574 HAS SOPS 53574 HAS SOUS 44409 HAS SOUPS 44409 WITH SCORE 44462.574
AT ITER 459 NEW BEST:: SOT 126848 SOS 53558 HAS SOPS 53558 HAS SOUS 44393 HAS SOUPS 44393 WITH SCORE 44446.558
AT ITER 461 NEW BEST:: SOT 126800 SOS 53510 HAS SOPS 53510 HAS SOUS 44345 HAS SOUPS 44345 WITH SCORE 44398.51
AT ITER 468 NEW BEST:: SOT 126757 SOS 53467 HAS SOPS 53467 HAS SOUS 44302 HAS SOUPS 44302 WITH SCORE 44355.467
AT ITER 469 NEW BEST:: SOT 126739 SOS 53455 HAS SOPS 53455 HAS SOUS 44290 HAS SOUPS 44290 WITH SCORE 44343.455
AT ITER 470 NEW BEST:: SOT 126700 SOS 53455 HAS SOPS 53455 HAS SOUS 44207 HAS SOUPS 44207 WITH SCORE 44260.455
AT ITER 474 NEW BEST:: SOT 126825 SOS 53377 HAS SOPS 53377 HAS SOUS 44187 HAS SOUPS 44187 WITH SCORE 44240.377
AT ITER 480 NEW BEST:: SOT 126775 SOS 53302 HAS SOPS 53302 HAS SOUS 44112 HAS SOUPS 44112 WITH SCORE 44165.302
AT ITER 483 NEW BEST:: SOT 126718 SOS 53188 HAS SOPS 53188 HAS SOUS 44026 HAS SOUPS 44026 WITH SCORE 44079.188
AT ITER 491 NEW BEST:: SOT 126718 SOS 53160 HAS SOPS 53160 HAS SOUS 43998 HAS SOUPS 43998 WITH SCORE 44051.16
AT ITER 494 NEW BEST:: SOT 126711 SOS 53146 HAS SOPS 53146 HAS SOUS 43984 HAS SOUPS 43984 WITH SCORE 44037.146
AT ITER 499 NEW BEST:: SOT 126690 SOS 53125 HAS SOPS 53125 HAS SOUS 43984 HAS SOUPS 43984 WITH SCORE 44037.125
AT ITER 501 NEW BEST:: SOT 126689 SOS 53118 HAS SOPS 53118 HAS SOUS 43982 HAS SOUPS 43982 WITH SCORE 44035.118
AT ITER 522 NEW BEST:: SOT 126688 SOS 53117 HAS SOPS 53117 HAS SOUS 43980 HAS SOUPS 43980 WITH SCORE 44033.117
AT ITER 526 NEW BEST:: SOT 126592 SOS 52973 HAS SOPS 52973 HAS SOUS 43884 HAS SOUPS 43884 WITH SCORE 43936.973
AT ITER 528 NEW BEST:: SOT 126569 SOS 52858 HAS SOPS 52858 HAS SOUS 43832 HAS SOUPS 43832 WITH SCORE 43884.858
AT ITER 537 NEW BEST:: SOT 126546 SOS 52832 HAS SOPS 52832 HAS SOUS 43806 HAS SOUPS 43806 WITH SCORE 43858.832
AT ITER 544 NEW BEST:: SOT 126544 SOS 52862 HAS SOPS 52862 HAS SOUS 43804 HAS SOUPS 43804 WITH SCORE 43856.862
AT ITER 548 NEW BEST:: SOT 126526 SOS 52767 HAS SOPS 52767 HAS SOUS 43747 HAS SOUPS 43747 WITH SCORE 43799.767
AT ITER 556 NEW BEST:: SOT 126461 SOS 52637 HAS SOPS 52637 HAS SOUS 43544 HAS SOUPS 43544 WITH SCORE 43596.637
AT ITER 559 NEW BEST:: SOT 126341 SOS 52472 HAS SOPS 52472 HAS SOUS 43328 HAS SOUPS 43328 WITH SCORE 43380.472
AT ITER 570 NEW BEST:: SOT 126341 SOS 52455 HAS SOPS 52455 HAS SOUS 43328 HAS SOUPS 43328 WITH SCORE 43380.455
AT ITER 572 NEW BEST:: SOT 126284 SOS 52341 HAS SOPS 52341 HAS SOUS 43271 HAS SOUPS 43271 WITH SCORE 43323.341
AT ITER 581 NEW BEST:: SOT 126284 SOS 52331 HAS SOPS 52331 HAS SOUS 43271 HAS SOUPS 43271 WITH SCORE 43323.331
AT ITER 588 NEW BEST:: SOT 126139 SOS 52161 HAS SOPS 52161 HAS SOUS 43174 HAS SOUPS 43174 WITH SCORE 43226.161
AT ITER 594 NEW BEST:: SOT 126074 SOS 52096 HAS SOPS 52096 HAS SOUS 43174 HAS SOUPS 43174 WITH SCORE 43226.096
AT ITER 599 NEW BEST:: SOT 126027 SOS 52003 HAS SOPS 52003 HAS SOUS 43171 HAS SOUPS 43171 WITH SCORE 43223.003
AT ITER 602 NEW BEST:: SOT 125939 SOS 52043 HAS SOPS 52043 HAS SOUS 43121 HAS SOUPS 43121 WITH SCORE 43173.043
AT ITER 603 NEW BEST:: SOT 124744 SOS 54269 HAS SOPS 54269 HAS SOUS 42283 HAS SOUPS 42283 WITH SCORE 42337.269
AT ITER 608 NEW BEST:: SOT 124664 SOS 54109 HAS SOPS 54109 HAS SOUS 42203 HAS SOUPS 42203 WITH SCORE 42257.109
AT ITER 613 NEW BEST:: SOT 124652 SOS 54150 HAS SOPS 54150 HAS SOUS 42179 HAS SOUPS 42179 WITH SCORE 42233.15
AT ITER 615 NEW BEST:: SOT 124620 SOS 54118 HAS SOPS 54118 HAS SOUS 42147 HAS SOUPS 42147 WITH SCORE 42201.118
AT ITER 623 NEW BEST:: SOT 124530 SOS 53983 HAS SOPS 53983 HAS SOUS 42012 HAS SOUPS 42012 WITH SCORE 42065.983
AT ITER 624 NEW BEST:: SOT 124488 SOS 53905 HAS SOPS 53905 HAS SOUS 41928 HAS SOUPS 41928 WITH SCORE 41981.905
AT ITER 625 NEW BEST:: SOT 124442 SOS 53843 HAS SOPS 53843 HAS SOUS 41921 HAS SOUPS 41921 WITH SCORE 41974.843
AT ITER 630 NEW BEST:: SOT 124394 SOS 53819 HAS SOPS 53819 HAS SOUS 41897 HAS SOUPS 41897 WITH SCORE 41950.819
AT ITER 631 NEW BEST:: SOT 124313 SOS 53543 HAS SOPS 53543 HAS SOUS 41477 HAS SOUPS 41477 WITH SCORE 41530.543
AT ITER 637 NEW BEST:: SOT 124307 SOS 53531 HAS SOPS 53531 HAS SOUS 41470 HAS SOUPS 41470 WITH SCORE 41523.531
AT ITER 642 NEW BEST:: SOT 124218 SOS 53353 HAS SOPS 53353 HAS SOUS 41336 HAS SOUPS 41336 WITH SCORE 41389.353
AT ITER 643 NEW BEST:: SOT 124189 SOS 53251 HAS SOPS 53251 HAS SOUS 41207 HAS SOUPS 41207 WITH SCORE 41260.251
AT ITER 645 NEW BEST:: SOT 124120 SOS 53182 HAS SOPS 53182 HAS SOUS 41105 HAS SOUPS 41105 WITH SCORE 41158.182
AT ITER 656 NEW BEST:: SOT 124148 SOS 53165 HAS SOPS 53165 HAS SOUS 41088 HAS SOUPS 41088 WITH SCORE 41141.165
AT ITER 657 NEW BEST:: SOT 124163 SOS 53266 HAS SOPS 53266 HAS SOUS 41015 HAS SOUPS 41015 WITH SCORE 41068.266
AT ITER 661 NEW BEST:: SOT 124163 SOS 53246 HAS SOPS 53246 HAS SOUS 40995 HAS SOUPS 40995 WITH SCORE 41048.246
AT ITER 664 NEW BEST:: SOT 124157 SOS 53152 HAS SOPS 53152 HAS SOUS 40983 HAS SOUPS 40983 WITH SCORE 41036.152
AT ITER 665 NEW BEST:: SOT 124129 SOS 53096 HAS SOPS 53096 HAS SOUS 40972 HAS SOUPS 40972 WITH SCORE 41025.096
AT ITER 666 NEW BEST:: SOT 124102 SOS 53093 HAS SOPS 53093 HAS SOUS 40969 HAS SOUPS 40969 WITH SCORE 41022.093
AT ITER 669 NEW BEST:: SOT 124023 SOS 52936 HAS SOPS 52936 HAS SOUS 40915 HAS SOUPS 40915 WITH SCORE 40967.936
AT ITER 670 NEW BEST:: SOT 124009 SOS 52842 HAS SOPS 52842 HAS SOUS 40887 HAS SOUPS 40887 WITH SCORE 40939.842
AT ITER 673 NEW BEST:: SOT 124009 SOS 52794 HAS SOPS 52794 HAS SOUS 40839 HAS SOUPS 40839 WITH SCORE 40891.794
AT ITER 675 NEW BEST:: SOT 123865 SOS 52638 HAS SOPS 52638 HAS SOUS 40717 HAS SOUPS 40717 WITH SCORE 40769.638
AT ITER 682 NEW BEST:: SOT 123845 SOS 52527 HAS SOPS 52527 HAS SOUS 40626 HAS SOUPS 40626 WITH SCORE 40678.527
AT ITER 685 NEW BEST:: SOT 123900 SOS 52416 HAS SOPS 52416 HAS SOUS 40515 HAS SOUPS 40515 WITH SCORE 40567.416
AT ITER 702 NEW BEST:: SOT 123810 SOS 52335 HAS SOPS 52335 HAS SOUS 40434 HAS SOUPS 40434 WITH SCORE 40486.335
AT ITER 706 NEW BEST:: SOT 123735 SOS 52185 HAS SOPS 52185 HAS SOUS 40359 HAS SOUPS 40359 WITH SCORE 40411.185
AT ITER 712 NEW BEST:: SOT 123734 SOS 52183 HAS SOPS 52183 HAS SOUS 40358 HAS SOUPS 40358 WITH SCORE 40410.183
AT ITER 719 NEW BEST:: SOT 123718 SOS 52151 HAS SOPS 52151 HAS SOUS 40326 HAS SOUPS 40326 WITH SCORE 40378.151
AT ITER 727 NEW BEST:: SOT 123514 SOS 51743 HAS SOPS 51743 HAS SOUS 39918 HAS SOUPS 39918 WITH SCORE 39969.743
AT ITER 736 NEW BEST:: SOT 123514 SOS 51580 HAS SOPS 51580 HAS SOUS 39918 HAS SOUPS 39918 WITH SCORE 39969.58
AT ITER 739 NEW BEST:: SOT 123509 SOS 51570 HAS SOPS 51570 HAS SOUS 39908 HAS SOUPS 39908 WITH SCORE 39959.57
AT ITER 746 NEW BEST:: SOT 123451 SOS 51454 HAS SOPS 51454 HAS SOUS 39792 HAS SOUPS 39792 WITH SCORE 39843.454
AT ITER 765 NEW BEST:: SOT 123450 SOS 51371 HAS SOPS 51371 HAS SOUS 39790 HAS SOUPS 39790 WITH SCORE 39841.371
AT ITER 769 NEW BEST:: SOT 123443 SOS 51337 HAS SOPS 51337 HAS SOUS 39756 HAS SOUPS 39756 WITH SCORE 39807.337
AT ITER 774 NEW BEST:: SOT 123356 SOS 51079 HAS SOPS 51079 HAS SOUS 39582 HAS SOUPS 39582 WITH SCORE 39633.079
AT ITER 778 NEW BEST:: SOT 123346 SOS 51031 HAS SOPS 51031 HAS SOUS 39544 HAS SOUPS 39544 WITH SCORE 39595.031
AT ITER 788 NEW BEST:: SOT 123302 SOS 51016 HAS SOPS 51016 HAS SOUS 39529 HAS SOUPS 39529 WITH SCORE 39580.016
AT ITER 793 NEW BEST:: SOT 123270 SOS 50952 HAS SOPS 50952 HAS SOUS 39465 HAS SOUPS 39465 WITH SCORE 39515.952
AT ITER 794 NEW BEST:: SOT 123270 SOS 50952 HAS SOPS 50952 HAS SOUS 39425 HAS SOUPS 39425 WITH SCORE 39475.952
AT ITER 795 NEW BEST:: SOT 123256 SOS 50924 HAS SOPS 50924 HAS SOUS 39397 HAS SOUPS 39397 WITH SCORE 39447.924
AT ITER 797 NEW BEST:: SOT 123209 SOS 50830 HAS SOPS 50830 HAS SOUS 39313 HAS SOUPS 39313 WITH SCORE 39363.83
AT ITER 798 NEW BEST:: SOT 123160 SOS 50788 HAS SOPS 50788 HAS SOUS 39270 HAS SOUPS 39270 WITH SCORE 39320.788
AT ITER 799 NEW BEST:: SOT 123122 SOS 50712 HAS SOPS 50712 HAS SOUS 39194 HAS SOUPS 39194 WITH SCORE 39244.712
AT ITER 802 NEW BEST:: SOT 123119 SOS 50697 HAS SOPS 50697 HAS SOUS 39179 HAS SOUPS 39179 WITH SCORE 39229.697
AT ITER 803 NEW BEST:: SOT 123066 SOS 50551 HAS SOPS 50551 HAS SOUS 39073 HAS SOUPS 39073 WITH SCORE 39123.551
AT ITER 821 NEW BEST:: SOT 123065 SOS 50426 HAS SOPS 50426 HAS SOUS 39071 HAS SOUPS 39071 WITH SCORE 39121.426
AT ITER 828 NEW BEST:: SOT 123081 SOS 50458 HAS SOPS 50458 HAS SOUS 39058 HAS SOUPS 39058 WITH SCORE 39108.458
AT ITER 829 NEW BEST:: SOT 123079 SOS 50442 HAS SOPS 50442 HAS SOUS 39054 HAS SOUPS 39054 WITH SCORE 39104.442
AT ITER 830 NEW BEST:: SOT 123056 SOS 50396 HAS SOPS 50396 HAS SOUS 39031 HAS SOUPS 39031 WITH SCORE 39081.396
AT ITER 835 NEW BEST:: SOT 123030 SOS 50400 HAS SOPS 50400 HAS SOUS 38966 HAS SOUPS 38966 WITH SCORE 39016.4
AT ITER 841 NEW BEST:: SOT 122995 SOS 50330 HAS SOPS 50330 HAS SOUS 38896 HAS SOUPS 38896 WITH SCORE 38946.33
AT ITER 850 NEW BEST:: SOT 122975 SOS 50290 HAS SOPS 50290 HAS SOUS 38834 HAS SOUPS 38834 WITH SCORE 38884.29
AT ITER 867 NEW BEST:: SOT 122972 SOS 50278 HAS SOPS 50278 HAS SOUS 38746 HAS SOUPS 38746 WITH SCORE 38796.278
AT ITER 871 NEW BEST:: SOT 122972 SOS 50184 HAS SOPS 50184 HAS SOUS 38652 HAS SOUPS 38652 WITH SCORE 38702.184
AT ITER 877 NEW BEST:: SOT 122967 SOS 50174 HAS SOPS 50174 HAS SOUS 38647 HAS SOUPS 38647 WITH SCORE 38697.174
AT ITER 889 NEW BEST:: SOT 122927 SOS 50094 HAS SOPS 50094 HAS SOUS 38567 HAS SOUPS 38567 WITH SCORE 38617.094
AT ITER 894 NEW BEST:: SOT 122882 SOS 50126 HAS SOPS 50126 HAS SOUS 38477 HAS SOUPS 38477 WITH SCORE 38527.126
AT ITER 898 NEW BEST:: SOT 122842 SOS 50027 HAS SOPS 50027 HAS SOUS 38395 HAS SOUPS 38395 WITH SCORE 38445.027
AT ITER 908 NEW BEST:: SOT 122842 SOS 50027 HAS SOPS 50027 HAS SOUS 38393 HAS SOUPS 38393 WITH SCORE 38443.027
AT ITER 909 NEW BEST:: SOT 122842 SOS 50014 HAS SOPS 50014 HAS SOUS 38380 HAS SOUPS 38380 WITH SCORE 38430.014
AT ITER 921 NEW BEST:: SOT 122779 SOS 49920 HAS SOPS 49920 HAS SOUS 38188 HAS SOUPS 38188 WITH SCORE 38237.92
AT ITER 938 NEW BEST:: SOT 122699 SOS 49871 HAS SOPS 49871 HAS SOUS 38154 HAS SOUPS 38154 WITH SCORE 38203.871
AT ITER 948 NEW BEST:: SOT 122679 SOS 49835 HAS SOPS 49835 HAS SOUS 38101 HAS SOUPS 38101 WITH SCORE 38150.835
AT ITER 958 NEW BEST:: SOT 122677 SOS 49831 HAS SOPS 49831 HAS SOUS 38097 HAS SOUPS 38097 WITH SCORE 38146.831
AT ITER 965 NEW BEST:: SOT 122631 SOS 49747 HAS SOPS 49747 HAS SOUS 38083 HAS SOUPS 38083 WITH SCORE 38132.747
AT ITER 978 NEW BEST:: SOT 122643 SOS 49771 HAS SOPS 49771 HAS SOUS 38052 HAS SOUPS 38052 WITH SCORE 38101.771
AT ITER 983 NEW BEST:: SOT 122655 SOS 49755 HAS SOPS 49755 HAS SOUS 37978 HAS SOUPS 37978 WITH SCORE 38027.755
AT ITER 984 NEW BEST:: SOT 122643 SOS 49731 HAS SOPS 49731 HAS SOUS 37954 HAS SOUPS 37954 WITH SCORE 38003.731
AT ITER 989 NEW BEST:: SOT 122543 SOS 49759 HAS SOPS 49759 HAS SOUS 37863 HAS SOUPS 37863 WITH SCORE 37912.759
AT ITER 1041 NEW BEST:: SOT 122477 SOS 49662 HAS SOPS 49662 HAS SOUS 37800 HAS SOUPS 37800 WITH SCORE 37849.662
AT ITER 1046 NEW BEST:: SOT 122437 SOS 49582 HAS SOPS 49582 HAS SOUS 37760 HAS SOUPS 37760 WITH SCORE 37809.582
AT ITER 1047 NEW BEST:: SOT 122437 SOS 49527 HAS SOPS 49527 HAS SOUS 37749 HAS SOUPS 37749 WITH SCORE 37798.527
AT ITER 1054 NEW BEST:: SOT 122420 SOS 49510 HAS SOPS 49510 HAS SOUS 37732 HAS SOUPS 37732 WITH SCORE 37781.51
AT ITER 1058 NEW BEST:: SOT 122420 SOS 49507 HAS SOPS 49507 HAS SOUS 37729 HAS SOUPS 37729 WITH SCORE 37778.507
AT ITER 1067 NEW BEST:: SOT 122327 SOS 49247 HAS SOPS 49247 HAS SOUS 37543 HAS SOUPS 37543 WITH SCORE 37592.247
AT ITER 1070 NEW BEST:: SOT 122309 SOS 49229 HAS SOPS 49229 HAS SOUS 37525 HAS SOUPS 37525 WITH SCORE 37574.229
AT ITER 1099 NEW BEST:: SOT 122230 SOS 49071 HAS SOPS 49071 HAS SOUS 37367 HAS SOUPS 37367 WITH SCORE 37416.071
AT ITER 1112 NEW BEST:: SOT 122136 SOS 48977 HAS SOPS 48977 HAS SOUS 37273 HAS SOUPS 37273 WITH SCORE 37321.977
AT ITER 1113 NEW BEST:: SOT 122143 SOS 48929 HAS SOPS 48929 HAS SOUS 37252 HAS SOUPS 37252 WITH SCORE 37300.929
AT ITER 1142 NEW BEST:: SOT 122114 SOS 48871 HAS SOPS 48871 HAS SOUS 37211 HAS SOUPS 37211 WITH SCORE 37259.871
AT ITER 1147 NEW BEST:: SOT 122133 SOS 48890 HAS SOPS 48890 HAS SOUS 37196 HAS SOUPS 37196 WITH SCORE 37244.89
AT ITER 1148 NEW BEST:: SOT 122146 SOS 48914 HAS SOPS 48914 HAS SOUS 37192 HAS SOUPS 37192 WITH SCORE 37240.914
AT ITER 1149 NEW BEST:: SOT 122097 SOS 48816 HAS SOPS 48816 HAS SOUS 37182 HAS SOUPS 37182 WITH SCORE 37230.816
AT ITER 1156 NEW BEST:: SOT 122097 SOS 48816 HAS SOPS 48816 HAS SOUS 37101 HAS SOUPS 37101 WITH SCORE 37149.816
AT ITER 1164 NEW BEST:: SOT 122089 SOS 48808 HAS SOPS 48808 HAS SOUS 37085 HAS SOUPS 37085 WITH SCORE 37133.808
AT ITER 1165 NEW BEST:: SOT 122042 SOS 48708 HAS SOPS 48708 HAS SOUS 36991 HAS SOUPS 36991 WITH SCORE 37039.708
AT ITER 1185 NEW BEST:: SOT 122047 SOS 48605 HAS SOPS 48605 HAS SOUS 36888 HAS SOUPS 36888 WITH SCORE 36936.605
AT ITER 1211 NEW BEST:: SOT 121957 SOS 48425 HAS SOPS 48425 HAS SOUS 36736 HAS SOUPS 36736 WITH SCORE 36784.425
AT ITER 1223 NEW BEST:: SOT 121883 SOS 48278 HAS SOPS 48278 HAS SOUS 36660 HAS SOUPS 36660 WITH SCORE 36708.278
AT ITER 1226 NEW BEST:: SOT 121685 SOS 47982 HAS SOPS 47982 HAS SOUS 36364 HAS SOUPS 36364 WITH SCORE 36411.982
AT ITER 1239 NEW BEST:: SOT 121698 SOS 48001 HAS SOPS 48001 HAS SOUS 36312 HAS SOUPS 36312 WITH SCORE 36360.001
AT ITER 1244 NEW BEST:: SOT 121694 SOS 48000 HAS SOPS 48000 HAS SOUS 36304 HAS SOUPS 36304 WITH SCORE 36352.0
AT ITER 1257 NEW BEST:: SOT 121627 SOS 47942 HAS SOPS 47942 HAS SOUS 36246 HAS SOUPS 36246 WITH SCORE 36293.942
AT ITER 1262 NEW BEST:: SOT 121617 SOS 47957 HAS SOPS 47957 HAS SOUS 36226 HAS SOUPS 36226 WITH SCORE 36273.957
AT ITER 1270 NEW BEST:: SOT 121595 SOS 47893 HAS SOPS 47893 HAS SOUS 36162 HAS SOUPS 36162 WITH SCORE 36209.893
AT ITER 1274 NEW BEST:: SOT 121595 SOS 47893 HAS SOPS 47893 HAS SOUS 36143 HAS SOUPS 36143 WITH SCORE 36190.893
AT ITER 1276 NEW BEST:: SOT 121602 SOS 47804 HAS SOPS 47804 HAS SOUS 36102 HAS SOUPS 36102 WITH SCORE 36149.804
AT ITER 1279 NEW BEST:: SOT 121561 SOS 47722 HAS SOPS 47722 HAS SOUS 36028 HAS SOUPS 36028 WITH SCORE 36075.722
AT ITER 1280 NEW BEST:: SOT 121534 SOS 47689 HAS SOPS 47689 HAS SOUS 36016 HAS SOUPS 36016 WITH SCORE 36063.689
AT ITER 1297 NEW BEST:: SOT 121417 SOS 47850 HAS SOPS 47850 HAS SOUS 35941 HAS SOUPS 35941 WITH SCORE 35988.85
AT ITER 1298 NEW BEST:: SOT 121337 SOS 48490 HAS SOPS 48490 HAS SOUS 35868 HAS SOUPS 35868 WITH SCORE 35916.49
AT ITER 1302 NEW BEST:: SOT 121309 SOS 48462 HAS SOPS 48462 HAS SOUS 35868 HAS SOUPS 35868 WITH SCORE 35916.462
AT ITER 1305 NEW BEST:: SOT 121255 SOS 48381 HAS SOPS 48381 HAS SOUS 35814 HAS SOUPS 35814 WITH SCORE 35862.381
AT ITER 1308 NEW BEST:: SOT 121251 SOS 48369 HAS SOPS 48369 HAS SOUS 35806 HAS SOUPS 35806 WITH SCORE 35854.369
AT ITER 1310 NEW BEST:: SOT 121049 SOS 48136 HAS SOPS 48136 HAS SOUS 35594 HAS SOUPS 35594 WITH SCORE 35642.136
AT ITER 1317 NEW BEST:: SOT 121050 SOS 48135 HAS SOPS 48135 HAS SOUS 35594 HAS SOUPS 35594 WITH SCORE 35642.135
AT ITER 1325 NEW BEST:: SOT 121039 SOS 48113 HAS SOPS 48113 HAS SOUS 35572 HAS SOUPS 35572 WITH SCORE 35620.113
AT ITER 1327 NEW BEST:: SOT 121079 SOS 48137 HAS SOPS 48137 HAS SOUS 35518 HAS SOUPS 35518 WITH SCORE 35566.137
AT ITER 1332 NEW BEST:: SOT 121131 SOS 48135 HAS SOPS 48135 HAS SOUS 35516 HAS SOUPS 35516 WITH SCORE 35564.135
AT ITER 1339 NEW BEST:: SOT 121021 SOS 47796 HAS SOPS 47796 HAS SOUS 35287 HAS SOUPS 35287 WITH SCORE 35334.796
AT ITER 1343 NEW BEST:: SOT 121012 SOS 47716 HAS SOPS 47716 HAS SOUS 35176 HAS SOUPS 35176 WITH SCORE 35223.716
AT ITER 1346 NEW BEST:: SOT 120963 SOS 47509 HAS SOPS 47509 HAS SOUS 35078 HAS SOUPS 35078 WITH SCORE 35125.509
AT ITER 1351 NEW BEST:: SOT 120963 SOS 47503 HAS SOPS 47503 HAS SOUS 35078 HAS SOUPS 35078 WITH SCORE 35125.503
AT ITER 1352 NEW BEST:: SOT 120961 SOS 47501 HAS SOPS 47501 HAS SOUS 35076 HAS SOUPS 35076 WITH SCORE 35123.501
AT ITER 1368 NEW BEST:: SOT 120971 SOS 47495 HAS SOPS 47495 HAS SOUS 35070 HAS SOUPS 35070 WITH SCORE 35117.495
AT ITER 1376 NEW BEST:: SOT 120931 SOS 47415 HAS SOPS 47415 HAS SOUS 34990 HAS SOUPS 34990 WITH SCORE 35037.415
AT ITER 1379 NEW BEST:: SOT 120848 SOS 47166 HAS SOPS 47166 HAS SOUS 34824 HAS SOUPS 34824 WITH SCORE 34871.166
AT ITER 1387 NEW BEST:: SOT 120859 SOS 47114 HAS SOPS 47114 HAS SOUS 34783 HAS SOUPS 34783 WITH SCORE 34830.114
AT ITER 1392 NEW BEST:: SOT 120814 SOS 47069 HAS SOPS 47069 HAS SOUS 34738 HAS SOUPS 34738 WITH SCORE 34785.069
AT ITER 1401 NEW BEST:: SOT 120742 SOS 47006 HAS SOPS 47006 HAS SOUS 34596 HAS SOUPS 34596 WITH SCORE 34643.006
AT ITER 1412 NEW BEST:: SOT 120711 SOS 48671 HAS SOPS 48671 HAS SOUS 34594 HAS SOUPS 34594 WITH SCORE 34642.671
AT ITER 1426 NEW BEST:: SOT 120711 SOS 48633 HAS SOPS 48633 HAS SOUS 34562 HAS SOUPS 34562 WITH SCORE 34610.633
AT ITER 1446 NEW BEST:: SOT 120660 SOS 48622 HAS SOPS 48622 HAS SOUS 34551 HAS SOUPS 34551 WITH SCORE 34599.622
AT ITER 1458 NEW BEST:: SOT 120660 SOS 48618 HAS SOPS 48618 HAS SOUS 34551 HAS SOUPS 34551 WITH SCORE 34599.618
AT ITER 1467 NEW BEST:: SOT 120644 SOS 48586 HAS SOPS 48586 HAS SOUS 34535 HAS SOUPS 34535 WITH SCORE 34583.586
AT ITER 1476 NEW BEST:: SOT 120625 SOS 48558 HAS SOPS 48558 HAS SOUS 34507 HAS SOUPS 34507 WITH SCORE 34555.558
AT ITER 1484 NEW BEST:: SOT 120624 SOS 48543 HAS SOPS 48543 HAS SOUS 34505 HAS SOUPS 34505 WITH SCORE 34553.543
AT ITER 1486 NEW BEST:: SOT 120622 SOS 48551 HAS SOPS 48551 HAS SOUS 34503 HAS SOUPS 34503 WITH SCORE 34551.551
AT ITER 1497 NEW BEST:: SOT 120622 SOS 48495 HAS SOPS 48495 HAS SOUS 34475 HAS SOUPS 34475 WITH SCORE 34523.495
AT ITER 1503 NEW BEST:: SOT 120591 SOS 48470 HAS SOPS 48470 HAS SOUS 34397 HAS SOUPS 34397 WITH SCORE 34445.47
AT ITER 1504 NEW BEST:: SOT 120407 SOS 48259 HAS SOPS 48259 HAS SOUS 34189 HAS SOUPS 34189 WITH SCORE 34237.259
AT ITER 1505 NEW BEST:: SOT 120396 SOS 48237 HAS SOPS 48237 HAS SOUS 34161 HAS SOUPS 34161 WITH SCORE 34209.237
AT ITER 1508 NEW BEST:: SOT 120303 SOS 48051 HAS SOPS 48051 HAS SOUS 34037 HAS SOUPS 34037 WITH SCORE 34085.051
AT ITER 1516 NEW BEST:: SOT 120245 SOS 47982 HAS SOPS 47982 HAS SOUS 33968 HAS SOUPS 33968 WITH SCORE 34015.982
AT ITER 1521 NEW BEST:: SOT 120235 SOS 48247 HAS SOPS 48247 HAS SOUS 33956 HAS SOUPS 33956 WITH SCORE 34004.247
AT ITER 1528 NEW BEST:: SOT 120233 SOS 48245 HAS SOPS 48245 HAS SOUS 33952 HAS SOUPS 33952 WITH SCORE 34000.245
AT ITER 1555 NEW BEST:: SOT 120244 SOS 48263 HAS SOPS 48263 HAS SOUS 33950 HAS SOUPS 33950 WITH SCORE 33998.263
AT ITER 1569 NEW BEST:: SOT 120084 SOS 47943 HAS SOPS 47943 HAS SOUS 33630 HAS SOUPS 33630 WITH SCORE 33677.943
AT ITER 1578 NEW BEST:: SOT 120099 SOS 47880 HAS SOPS 47880 HAS SOUS 33567 HAS SOUPS 33567 WITH SCORE 33614.88
AT ITER 1595 NEW BEST:: SOT 120064 SOS 47845 HAS SOPS 47845 HAS SOUS 33497 HAS SOUPS 33497 WITH SCORE 33544.845
AT ITER 1602 NEW BEST:: SOT 119966 SOS 47785 HAS SOPS 47785 HAS SOUS 33437 HAS SOUPS 33437 WITH SCORE 33484.785
AT ITER 1619 NEW BEST:: SOT 119979 SOS 47811 HAS SOPS 47811 HAS SOUS 33421 HAS SOUPS 33421 WITH SCORE 33468.811
AT ITER 1623 NEW BEST:: SOT 119938 SOS 47729 HAS SOPS 47729 HAS SOUS 33380 HAS SOUPS 33380 WITH SCORE 33427.729
AT ITER 1635 NEW BEST:: SOT 119932 SOS 47717 HAS SOPS 47717 HAS SOUS 33374 HAS SOUPS 33374 WITH SCORE 33421.717
AT ITER 1644 NEW BEST:: SOT 119930 SOS 47715 HAS SOPS 47715 HAS SOUS 33372 HAS SOUPS 33372 WITH SCORE 33419.715
AT ITER 1645 NEW BEST:: SOT 119923 SOS 47697 HAS SOPS 47697 HAS SOUS 33358 HAS SOUPS 33358 WITH SCORE 33405.697
AT ITER 1668 NEW BEST:: SOT 119733 SOS 49717 HAS SOPS 49717 HAS SOUS 33297 HAS SOUPS 33297 WITH SCORE 33346.717
AT ITER 1681 NEW BEST:: SOT 119733 SOS 49665 HAS SOPS 49665 HAS SOUS 33297 HAS SOUPS 33297 WITH SCORE 33346.665
AT ITER 1693 NEW BEST:: SOT 119705 SOS 49623 HAS SOPS 49623 HAS SOUS 33269 HAS SOUPS 33269 WITH SCORE 33318.623
AT ITER 1700 NEW BEST:: SOT 119704 SOS 49621 HAS SOPS 49621 HAS SOUS 33268 HAS SOUPS 33268 WITH SCORE 33317.621
AT ITER 1709 NEW BEST:: SOT 119698 SOS 49609 HAS SOPS 49609 HAS SOUS 33262 HAS SOUPS 33262 WITH SCORE 33311.609
AT ITER 1710 NEW BEST:: SOT 119588 SOS 49483 HAS SOPS 49483 HAS SOUS 33150 HAS SOUPS 33150 WITH SCORE 33199.483
AT ITER 1713 NEW BEST:: SOT 119539 SOS 49256 HAS SOPS 49256 HAS SOUS 33052 HAS SOUPS 33052 WITH SCORE 33101.256
AT ITER 1723 NEW BEST:: SOT 119539 SOS 49256 HAS SOPS 49256 HAS SOUS 33012 HAS SOUPS 33012 WITH SCORE 33061.256
AT ITER 1726 NEW BEST:: SOT 119539 SOS 49249 HAS SOPS 49249 HAS SOUS 33012 HAS SOUPS 33012 WITH SCORE 33061.249
AT ITER 1741 NEW BEST:: SOT 119535 SOS 49241 HAS SOPS 49241 HAS SOUS 33004 HAS SOUPS 33004 WITH SCORE 33053.241
AT ITER 1757 NEW BEST:: SOT 119460 SOS 49015 HAS SOPS 49015 HAS SOUS 32884 HAS SOUPS 32884 WITH SCORE 32933.015
AT ITER 1763 NEW BEST:: SOT 119381 SOS 48936 HAS SOPS 48936 HAS SOUS 32805 HAS SOUPS 32805 WITH SCORE 32853.936
AT ITER 1823 NEW BEST:: SOT 119350 SOS 48863 HAS SOPS 48863 HAS SOUS 32763 HAS SOUPS 32763 WITH SCORE 32811.863
AT ITER 1828 NEW BEST:: SOT 119347 SOS 48857 HAS SOPS 48857 HAS SOUS 32757 HAS SOUPS 32757 WITH SCORE 32805.857
AT ITER 1833 NEW BEST:: SOT 119347 SOS 48437 HAS SOPS 48437 HAS SOUS 32755 HAS SOUPS 32755 WITH SCORE 32803.437
AT ITER 1857 NEW BEST:: SOT 119331 SOS 48413 HAS SOPS 48413 HAS SOUS 32731 HAS SOUPS 32731 WITH SCORE 32779.413
AT ITER 1870 NEW BEST:: SOT 119273 SOS 48297 HAS SOPS 48297 HAS SOUS 32613 HAS SOUPS 32613 WITH SCORE 32661.297
AT ITER 1872 NEW BEST:: SOT 119273 SOS 48297 HAS SOPS 48297 HAS SOUS 32611 HAS SOUPS 32611 WITH SCORE 32659.297
AT ITER 1918 NEW BEST:: SOT 119263 SOS 48281 HAS SOPS 48281 HAS SOUS 32591 HAS SOUPS 32591 WITH SCORE 32639.281
AT ITER 1944 NEW BEST:: SOT 119223 SOS 48250 HAS SOPS 48250 HAS SOUS 32560 HAS SOUPS 32560 WITH SCORE 32608.25
AT ITER 1950 NEW BEST:: SOT 119140 SOS 48167 HAS SOPS 48167 HAS SOUS 32477 HAS SOUPS 32477 WITH SCORE 32525.167
AT ITER 1952 NEW BEST:: SOT 119026 SOS 48053 HAS SOPS 48053 HAS SOUS 32249 HAS SOUPS 32249 WITH SCORE 32297.053
AT ITER 1960 NEW BEST:: SOT 118981 SOS 47938 HAS SOPS 47938 HAS SOUS 32135 HAS SOUPS 32135 WITH SCORE 32182.938
AT ITER 1965 NEW BEST:: SOT 118989 SOS 47879 HAS SOPS 47879 HAS SOUS 32101 HAS SOUPS 32101 WITH SCORE 32148.879
AT ITER 1990 NEW BEST:: SOT 118933 SOS 47828 HAS SOPS 47828 HAS SOUS 32050 HAS SOUPS 32050 WITH SCORE 32097.828
AT ITER 2010 NEW BEST:: SOT 118928 SOS 47818 HAS SOPS 47818 HAS SOUS 32040 HAS SOUPS 32040 WITH SCORE 32087.818
AT ITER 2018 NEW BEST:: SOT 118893 SOS 47841 HAS SOPS 47841 HAS SOUS 32028 HAS SOUPS 32028 WITH SCORE 32075.841
AT ITER 2021 NEW BEST:: SOT 118958 SOS 47801 HAS SOPS 47801 HAS SOUS 32023 HAS SOUPS 32023 WITH SCORE 32070.801
AT ITER 2053 NEW BEST:: SOT 118877 SOS 47720 HAS SOPS 47720 HAS SOUS 32019 HAS SOUPS 32019 WITH SCORE 32066.72
AT ITER 2070 NEW BEST:: SOT 118876 SOS 47718 HAS SOPS 47718 HAS SOUS 32017 HAS SOUPS 32017 WITH SCORE 32064.718
AT ITER 2077 NEW BEST:: SOT 118840 SOS 47646 HAS SOPS 47646 HAS SOUS 31945 HAS SOUPS 31945 WITH SCORE 31992.646
AT ITER 2088 NEW BEST:: SOT 118798 SOS 47562 HAS SOPS 47562 HAS SOUS 31910 HAS SOUPS 31910 WITH SCORE 31957.562
AT ITER 2089 NEW BEST:: SOT 118764 SOS 47525 HAS SOPS 47525 HAS SOUS 31842 HAS SOUPS 31842 WITH SCORE 31889.525
AT ITER 2105 NEW BEST:: SOT 118721 SOS 47525 HAS SOPS 47525 HAS SOUS 31799 HAS SOUPS 31799 WITH SCORE 31846.525
AT ITER 2114 NEW BEST:: SOT 118572 SOS 47372 HAS SOPS 47372 HAS SOUS 31646 HAS SOUPS 31646 WITH SCORE 31693.372
AT ITER 2130 NEW BEST:: SOT 118567 SOS 47367 HAS SOPS 47367 HAS SOUS 31636 HAS SOUPS 31636 WITH SCORE 31683.367
AT ITER 2141 NEW BEST:: SOT 118560 SOS 47360 HAS SOPS 47360 HAS SOUS 31629 HAS SOUPS 31629 WITH SCORE 31676.36
AT ITER 2151 NEW BEST:: SOT 118552 SOS 47356 HAS SOPS 47356 HAS SOUS 31603 HAS SOUPS 31603 WITH SCORE 31650.356
AT ITER 2173 NEW BEST:: SOT 118612 SOS 47215 HAS SOPS 47215 HAS SOUS 31602 HAS SOUPS 31602 WITH SCORE 31649.215
AT ITER 2187 NEW BEST:: SOT 118612 SOS 47205 HAS SOPS 47205 HAS SOUS 31602 HAS SOUPS 31602 WITH SCORE 31649.205
AT ITER 2191 NEW BEST:: SOT 118528 SOS 44937 HAS SOPS 44937 HAS SOUS 31434 HAS SOUPS 31434 WITH SCORE 31478.937
AT ITER 2192 NEW BEST:: SOT 118523 SOS 44932 HAS SOPS 44932 HAS SOUS 31429 HAS SOUPS 31429 WITH SCORE 31473.932
AT ITER 2213 NEW BEST:: SOT 118475 SOS 45456 HAS SOPS 45456 HAS SOUS 31373 HAS SOUPS 31373 WITH SCORE 31418.456
AT ITER 2218 NEW BEST:: SOT 118448 SOS 45402 HAS SOPS 45402 HAS SOUS 31365 HAS SOUPS 31365 WITH SCORE 31410.402
AT ITER 2228 NEW BEST:: SOT 118445 SOS 45399 HAS SOPS 45399 HAS SOUS 31362 HAS SOUPS 31362 WITH SCORE 31407.399
AT ITER 2230 NEW BEST:: SOT 118427 SOS 45363 HAS SOPS 45363 HAS SOUS 31317 HAS SOUPS 31317 WITH SCORE 31362.363
AT ITER 2266 NEW BEST:: SOT 118425 SOS 45359 HAS SOPS 45359 HAS SOUS 31313 HAS SOUPS 31313 WITH SCORE 31358.359
AT ITER 2271 NEW BEST:: SOT 118415 SOS 45339 HAS SOPS 45339 HAS SOUS 31293 HAS SOUPS 31293 WITH SCORE 31338.339
AT ITER 2272 NEW BEST:: SOT 118386 SOS 45329 HAS SOPS 45329 HAS SOUS 31283 HAS SOUPS 31283 WITH SCORE 31328.329
AT ITER 2274 NEW BEST:: SOT 118377 SOS 45320 HAS SOPS 45320 HAS SOUS 31265 HAS SOUPS 31265 WITH SCORE 31310.32
AT ITER 2280 NEW BEST:: SOT 118376 SOS 45318 HAS SOPS 45318 HAS SOUS 31261 HAS SOUPS 31261 WITH SCORE 31306.318
AT ITER 2282 NEW BEST:: SOT 118376 SOS 45318 HAS SOPS 45318 HAS SOUS 31252 HAS SOUPS 31252 WITH SCORE 31297.318
AT ITER 2300 NEW BEST:: SOT 118337 SOS 45266 HAS SOPS 45266 HAS SOUS 31238 HAS SOUPS 31238 WITH SCORE 31283.266
AT ITER 2314 NEW BEST:: SOT 118337 SOS 45270 HAS SOPS 45270 HAS SOUS 31234 HAS SOUPS 31234 WITH SCORE 31279.27
AT ITER 2321 NEW BEST:: SOT 118305 SOS 45219 HAS SOPS 45219 HAS SOUS 31189 HAS SOUPS 31189 WITH SCORE 31234.219
AT ITER 2322 NEW BEST:: SOT 118314 SOS 45237 HAS SOPS 45237 HAS SOUS 31184 HAS SOUPS 31184 WITH SCORE 31229.237
AT ITER 2327 NEW BEST:: SOT 118296 SOS 45237 HAS SOPS 45237 HAS SOUS 31166 HAS SOUPS 31166 WITH SCORE 31211.237
AT ITER 2332 NEW BEST:: SOT 118295 SOS 45231 HAS SOPS 45231 HAS SOUS 31164 HAS SOUPS 31164 WITH SCORE 31209.231
AT ITER 2340 NEW BEST:: SOT 118295 SOS 45226 HAS SOPS 45226 HAS SOUS 31159 HAS SOUPS 31159 WITH SCORE 31204.226
AT ITER 2346 NEW BEST:: SOT 118282 SOS 45077 HAS SOPS 45077 HAS SOUS 31128 HAS SOUPS 31128 WITH SCORE 31173.077
AT ITER 2347 NEW BEST:: SOT 118275 SOS 45070 HAS SOPS 45070 HAS SOUS 31114 HAS SOUPS 31114 WITH SCORE 31159.07
AT ITER 2350 NEW BEST:: SOT 118274 SOS 44974 HAS SOPS 44974 HAS SOUS 31112 HAS SOUPS 31112 WITH SCORE 31156.974
AT ITER 2352 NEW BEST:: SOT 118254 SOS 44914 HAS SOPS 44914 HAS SOUS 31092 HAS SOUPS 31092 WITH SCORE 31136.914
AT ITER 2353 NEW BEST:: SOT 118226 SOS 44886 HAS SOPS 44886 HAS SOUS 31064 HAS SOUPS 31064 WITH SCORE 31108.886
AT ITER 2380 NEW BEST:: SOT 118027 SOS 44707 HAS SOPS 44707 HAS SOUS 31029 HAS SOUPS 31029 WITH SCORE 31073.707
AT ITER 2383 NEW BEST:: SOT 118012 SOS 44646 HAS SOPS 44646 HAS SOUS 31012 HAS SOUPS 31012 WITH SCORE 31056.646
AT ITER 2391 NEW BEST:: SOT 117994 SOS 44698 HAS SOPS 44698 HAS SOUS 30951 HAS SOUPS 30951 WITH SCORE 30995.698
AT ITER 2397 NEW BEST:: SOT 117910 SOS 44669 HAS SOPS 44669 HAS SOUS 30896 HAS SOUPS 30896 WITH SCORE 30940.669
AT ITER 2418 NEW BEST:: SOT 117906 SOS 44643 HAS SOPS 44643 HAS SOUS 30880 HAS SOUPS 30880 WITH SCORE 30924.643
AT ITER 2419 NEW BEST:: SOT 117865 SOS 44609 HAS SOPS 44609 HAS SOUS 30804 HAS SOUPS 30804 WITH SCORE 30848.609
AT ITER 2427 NEW BEST:: SOT 117821 SOS 44595 HAS SOPS 44595 HAS SOUS 30790 HAS SOUPS 30790 WITH SCORE 30834.595
AT ITER 2439 NEW BEST:: SOT 117821 SOS 44556 HAS SOPS 44556 HAS SOUS 30790 HAS SOUPS 30790 WITH SCORE 30834.556
AT ITER 2442 NEW BEST:: SOT 117749 SOS 44412 HAS SOPS 44412 HAS SOUS 30646 HAS SOUPS 30646 WITH SCORE 30690.412
AT ITER 2454 NEW BEST:: SOT 117784 SOS 44527 HAS SOPS 44527 HAS SOUS 30593 HAS SOUPS 30593 WITH SCORE 30637.527
AT ITER 2458 NEW BEST:: SOT 117783 SOS 44526 HAS SOPS 44526 HAS SOUS 30592 HAS SOUPS 30592 WITH SCORE 30636.526
AT ITER 2475 NEW BEST:: SOT 117751 SOS 44462 HAS SOPS 44462 HAS SOUS 30543 HAS SOUPS 30543 WITH SCORE 30587.462
AT ITER 2492 NEW BEST:: SOT 117591 SOS 48338 HAS SOPS 48338 HAS SOUS 30528 HAS SOUPS 30528 WITH SCORE 30576.338
AT ITER 2496 NEW BEST:: SOT 117591 SOS 48308 HAS SOPS 48308 HAS SOUS 30528 HAS SOUPS 30528 WITH SCORE 30576.308
AT ITER 2505 NEW BEST:: SOT 117558 SOS 48205 HAS SOPS 48205 HAS SOUS 30400 HAS SOUPS 30400 WITH SCORE 30448.205
AT ITER 2533 NEW BEST:: SOT 117558 SOS 48205 HAS SOPS 48205 HAS SOUS 30396 HAS SOUPS 30396 WITH SCORE 30444.205
AT ITER 2539 NEW BEST:: SOT 117568 SOS 48163 HAS SOPS 48163 HAS SOUS 30349 HAS SOUPS 30349 WITH SCORE 30397.163
AT ITER 2542 NEW BEST:: SOT 117524 SOS 47958 HAS SOPS 47958 HAS SOUS 30239 HAS SOUPS 30239 WITH SCORE 30286.958
AT ITER 2545 NEW BEST:: SOT 117523 SOS 48010 HAS SOPS 48010 HAS SOUS 30237 HAS SOUPS 30237 WITH SCORE 30285.01
AT ITER 2563 NEW BEST:: SOT 117511 SOS 47992 HAS SOPS 47992 HAS SOUS 30219 HAS SOUPS 30219 WITH SCORE 30266.992
AT ITER 2592 NEW BEST:: SOT 117509 SOS 47988 HAS SOPS 47988 HAS SOUS 30206 HAS SOUPS 30206 WITH SCORE 30253.988
AT ITER 2598 NEW BEST:: SOT 117196 SOS 47719 HAS SOPS 47719 HAS SOUS 29937 HAS SOUPS 29937 WITH SCORE 29984.719
AT ITER 2602 NEW BEST:: SOT 117177 SOS 47681 HAS SOPS 47681 HAS SOUS 29899 HAS SOUPS 29899 WITH SCORE 29946.681
AT ITER 2616 NEW BEST:: SOT 117136 SOS 47646 HAS SOPS 47646 HAS SOUS 29873 HAS SOUPS 29873 WITH SCORE 29920.646
AT ITER 2618 NEW BEST:: SOT 117130 SOS 47634 HAS SOPS 47634 HAS SOUS 29861 HAS SOUPS 29861 WITH SCORE 29908.634
AT ITER 2626 NEW BEST:: SOT 117122 SOS 47628 HAS SOPS 47628 HAS SOUS 29855 HAS SOUPS 29855 WITH SCORE 29902.628
AT ITER 2641 NEW BEST:: SOT 117149 SOS 47682 HAS SOPS 47682 HAS SOUS 29822 HAS SOUPS 29822 WITH SCORE 29869.682
AT ITER 2657 NEW BEST:: SOT 117135 SOS 47670 HAS SOPS 47670 HAS SOUS 29784 HAS SOUPS 29784 WITH SCORE 29831.67
AT ITER 2676 NEW BEST:: SOT 117122 SOS 47657 HAS SOPS 47657 HAS SOUS 29771 HAS SOUPS 29771 WITH SCORE 29818.657
AT ITER 2677 NEW BEST:: SOT 117122 SOS 47635 HAS SOPS 47635 HAS SOUS 29749 HAS SOUPS 29749 WITH SCORE 29796.635
AT ITER 2680 NEW BEST:: SOT 117122 SOS 47621 HAS SOPS 47621 HAS SOUS 29735 HAS SOUPS 29735 WITH SCORE 29782.621
AT ITER 2714 NEW BEST:: SOT 117057 SOS 47530 HAS SOPS 47530 HAS SOUS 29631 HAS SOUPS 29631 WITH SCORE 29678.53
AT ITER 2729 NEW BEST:: SOT 117042 SOS 47515 HAS SOPS 47515 HAS SOUS 29631 HAS SOUPS 29631 WITH SCORE 29678.515
AT ITER 2742 NEW BEST:: SOT 117037 SOS 47505 HAS SOPS 47505 HAS SOUS 29593 HAS SOUPS 29593 WITH SCORE 29640.505
AT ITER 2744 NEW BEST:: SOT 117009 SOS 47449 HAS SOPS 47449 HAS SOUS 29537 HAS SOUPS 29537 WITH SCORE 29584.449
AT ITER 2788 NEW BEST:: SOT 117004 SOS 47460 HAS SOPS 47460 HAS SOUS 29527 HAS SOUPS 29527 WITH SCORE 29574.46
AT ITER 2793 NEW BEST:: SOT 117004 SOS 47460 HAS SOPS 47460 HAS SOUS 29501 HAS SOUPS 29501 WITH SCORE 29548.46
AT ITER 2794 NEW BEST:: SOT 117017 SOS 47486 HAS SOPS 47486 HAS SOUS 29392 HAS SOUPS 29392 WITH SCORE 29439.486
AT ITER 2795 NEW BEST:: SOT 117017 SOS 47494 HAS SOPS 47494 HAS SOUS 29384 HAS SOUPS 29384 WITH SCORE 29431.494
AT ITER 2800 NEW BEST:: SOT 117006 SOS 47461 HAS SOPS 47461 HAS SOUS 29368 HAS SOUPS 29368 WITH SCORE 29415.461
AT ITER 2803 NEW BEST:: SOT 117004 SOS 47457 HAS SOPS 47457 HAS SOUS 29296 HAS SOUPS 29296 WITH SCORE 29343.457
AT ITER 2808 NEW BEST:: SOT 116893 SOS 47241 HAS SOPS 47241 HAS SOUS 29179 HAS SOUPS 29179 WITH SCORE 29226.241
AT ITER 2830 NEW BEST:: SOT 116873 SOS 47189 HAS SOPS 47189 HAS SOUS 29139 HAS SOUPS 29139 WITH SCORE 29186.189
AT ITER 2834 NEW BEST:: SOT 116854 SOS 47170 HAS SOPS 47170 HAS SOUS 29120 HAS SOUPS 29120 WITH SCORE 29167.17
AT ITER 2842 NEW BEST:: SOT 116875 SOS 47239 HAS SOPS 47239 HAS SOUS 29114 HAS SOUPS 29114 WITH SCORE 29161.239
AT ITER 2849 NEW BEST:: SOT 116860 SOS 47234 HAS SOPS 47234 HAS SOUS 29109 HAS SOUPS 29109 WITH SCORE 29156.234
AT ITER 2856 NEW BEST:: SOT 116789 SOS 47092 HAS SOPS 47092 HAS SOUS 29040 HAS SOUPS 29040 WITH SCORE 29087.092
AT ITER 2859 NEW BEST:: SOT 116763 SOS 47066 HAS SOPS 47066 HAS SOUS 29014 HAS SOUPS 29014 WITH SCORE 29061.066
AT ITER 2865 NEW BEST:: SOT 116687 SOS 47053 HAS SOPS 47053 HAS SOUS 28862 HAS SOUPS 28862 WITH SCORE 28909.053
AT ITER 2877 NEW BEST:: SOT 116679 SOS 47037 HAS SOPS 47037 HAS SOUS 28861 HAS SOUPS 28861 WITH SCORE 28908.037
AT ITER 2891 NEW BEST:: SOT 116654 SOS 46987 HAS SOPS 46987 HAS SOUS 28858 HAS SOUPS 28858 WITH SCORE 28904.987
AT ITER 2898 NEW BEST:: SOT 116566 SOS 46811 HAS SOPS 46811 HAS SOUS 28761 HAS SOUPS 28761 WITH SCORE 28807.811
AT ITER 2903 NEW BEST:: SOT 116551 SOS 46781 HAS SOPS 46781 HAS SOUS 28735 HAS SOUPS 28735 WITH SCORE 28781.781
AT ITER 2916 NEW BEST:: SOT 116538 SOS 46810 HAS SOPS 46810 HAS SOUS 28676 HAS SOUPS 28676 WITH SCORE 28722.81
AT ITER 2924 NEW BEST:: SOT 116477 SOS 46736 HAS SOPS 46736 HAS SOUS 28614 HAS SOUPS 28614 WITH SCORE 28660.736
AT ITER 2925 NEW BEST:: SOT 116477 SOS 46736 HAS SOPS 46736 HAS SOUS 28593 HAS SOUPS 28593 WITH SCORE 28639.736
AT ITER 2946 NEW BEST:: SOT 116469 SOS 46720 HAS SOPS 46720 HAS SOUS 28555 HAS SOUPS 28555 WITH SCORE 28601.72
AT ITER 2957 NEW BEST:: SOT 116466 SOS 46717 HAS SOPS 46717 HAS SOUS 28549 HAS SOUPS 28549 WITH SCORE 28595.717
AT ITER 2958 NEW BEST:: SOT 116464 SOS 46715 HAS SOPS 46715 HAS SOUS 28547 HAS SOUPS 28547 WITH SCORE 28593.715
AT ITER 2960 NEW BEST:: SOT 116455 SOS 46714 HAS SOPS 46714 HAS SOUS 28546 HAS SOUPS 28546 WITH SCORE 28592.714
AT ITER 2971 NEW BEST:: SOT 116437 SOS 46687 HAS SOPS 46687 HAS SOUS 28511 HAS SOUPS 28511 WITH SCORE 28557.687
AT ITER 2977 NEW BEST:: SOT 116422 SOS 46718 HAS SOPS 46718 HAS SOUS 28500 HAS SOUPS 28500 WITH SCORE 28546.718
AT ITER 2989 NEW BEST:: SOT 116422 SOS 46718 HAS SOPS 46718 HAS SOUS 28455 HAS SOUPS 28455 WITH SCORE 28501.718
AT ITER 3009 NEW BEST:: SOT 116421 SOS 46660 HAS SOPS 46660 HAS SOUS 28444 HAS SOUPS 28444 WITH SCORE 28490.66
AT ITER 3015 NEW BEST:: SOT 116408 SOS 46634 HAS SOPS 46634 HAS SOUS 28418 HAS SOUPS 28418 WITH SCORE 28464.634
AT ITER 3025 NEW BEST:: SOT 116356 SOS 46582 HAS SOPS 46582 HAS SOUS 28397 HAS SOUPS 28397 WITH SCORE 28443.582
AT ITER 3045 NEW BEST:: SOT 116367 SOS 46564 HAS SOPS 46564 HAS SOUS 28369 HAS SOUPS 28369 WITH SCORE 28415.564
AT ITER 3074 NEW BEST:: SOT 116362 SOS 46554 HAS SOPS 46554 HAS SOUS 28359 HAS SOUPS 28359 WITH SCORE 28405.554
AT ITER 3089 NEW BEST:: SOT 116330 SOS 46451 HAS SOPS 46451 HAS SOUS 28264 HAS SOUPS 28264 WITH SCORE 28310.451
AT ITER 3104 NEW BEST:: SOT 116330 SOS 46415 HAS SOPS 46415 HAS SOUS 28264 HAS SOUPS 28264 WITH SCORE 28310.415
AT ITER 3115 NEW BEST:: SOT 116330 SOS 46387 HAS SOPS 46387 HAS SOUS 28264 HAS SOUPS 28264 WITH SCORE 28310.387
AT ITER 3116 NEW BEST:: SOT 116330 SOS 46387 HAS SOPS 46387 HAS SOUS 28225 HAS SOUPS 28225 WITH SCORE 28271.387
AT ITER 3131 NEW BEST:: SOT 116310 SOS 46367 HAS SOPS 46367 HAS SOUS 28185 HAS SOUPS 28185 WITH SCORE 28231.367
AT ITER 3145 NEW BEST:: SOT 116286 SOS 46358 HAS SOPS 46358 HAS SOUS 28185 HAS SOUPS 28185 WITH SCORE 28231.358
AT ITER 3147 NEW BEST:: SOT 116235 SOS 46307 HAS SOPS 46307 HAS SOUS 28083 HAS SOUPS 28083 WITH SCORE 28129.307
AT ITER 3192 NEW BEST:: SOT 116285 SOS 46233 HAS SOPS 46233 HAS SOUS 28002 HAS SOUPS 28002 WITH SCORE 28048.233
AT ITER 3200 NEW BEST:: SOT 116255 SOS 46143 HAS SOPS 46143 HAS SOUS 27942 HAS SOUPS 27942 WITH SCORE 27988.143
AT ITER 3211 NEW BEST:: SOT 116247 SOS 46181 HAS SOPS 46181 HAS SOUS 27926 HAS SOUPS 27926 WITH SCORE 27972.181
AT ITER 3214 NEW BEST:: SOT 116239 SOS 46165 HAS SOPS 46165 HAS SOUS 27910 HAS SOUPS 27910 WITH SCORE 27956.165
AT ITER 3226 NEW BEST:: SOT 116239 SOS 46165 HAS SOPS 46165 HAS SOUS 27875 HAS SOUPS 27875 WITH SCORE 27921.165
AT ITER 3237 NEW BEST:: SOT 116235 SOS 46161 HAS SOPS 46161 HAS SOUS 27871 HAS SOUPS 27871 WITH SCORE 27917.161
AT ITER 3242 NEW BEST:: SOT 116227 SOS 46153 HAS SOPS 46153 HAS SOUS 27863 HAS SOUPS 27863 WITH SCORE 27909.153
AT ITER 3243 NEW BEST:: SOT 116203 SOS 46052 HAS SOPS 46052 HAS SOUS 27815 HAS SOUPS 27815 WITH SCORE 27861.052
AT ITER 3251 NEW BEST:: SOT 116151 SOS 45874 HAS SOPS 45874 HAS SOUS 27711 HAS SOUPS 27711 WITH SCORE 27756.874
AT ITER 3299 NEW BEST:: SOT 116151 SOS 45871 HAS SOPS 45871 HAS SOUS 27711 HAS SOUPS 27711 WITH SCORE 27756.871
AT ITER 3308 NEW BEST:: SOT 116151 SOS 45665 HAS SOPS 45665 HAS SOUS 27711 HAS SOUPS 27711 WITH SCORE 27756.665
AT ITER 3310 NEW BEST:: SOT 116145 SOS 45660 HAS SOPS 45660 HAS SOUS 27706 HAS SOUPS 27706 WITH SCORE 27751.66
AT ITER 3329 NEW BEST:: SOT 116134 SOS 45638 HAS SOPS 45638 HAS SOUS 27695 HAS SOUPS 27695 WITH SCORE 27740.638
AT ITER 3351 NEW BEST:: SOT 116091 SOS 45595 HAS SOPS 45595 HAS SOUS 27652 HAS SOUPS 27652 WITH SCORE 27697.595
AT ITER 3369 NEW BEST:: SOT 116163 SOS 45592 HAS SOPS 45592 HAS SOUS 27596 HAS SOUPS 27596 WITH SCORE 27641.592
AT ITER 3397 NEW BEST:: SOT 116114 SOS 45531 HAS SOPS 45531 HAS SOUS 27498 HAS SOUPS 27498 WITH SCORE 27543.531
AT ITER 3438 NEW BEST:: SOT 116112 SOS 45582 HAS SOPS 45582 HAS SOUS 27490 HAS SOUPS 27490 WITH SCORE 27535.582
AT ITER 3448 NEW BEST:: SOT 116111 SOS 45574 HAS SOPS 45574 HAS SOUS 27488 HAS SOUPS 27488 WITH SCORE 27533.574
AT ITER 3462 NEW BEST:: SOT 116110 SOS 45574 HAS SOPS 45574 HAS SOUS 27486 HAS SOUPS 27486 WITH SCORE 27531.574
AT ITER 3468 NEW BEST:: SOT 116110 SOS 45492 HAS SOPS 45492 HAS SOUS 27486 HAS SOUPS 27486 WITH SCORE 27531.492
AT ITER 3482 NEW BEST:: SOT 116081 SOS 45463 HAS SOPS 45463 HAS SOUS 27428 HAS SOUPS 27428 WITH SCORE 27473.463
AT ITER 3498 NEW BEST:: SOT 116083 SOS 45456 HAS SOPS 45456 HAS SOUS 27423 HAS SOUPS 27423 WITH SCORE 27468.456
AT ITER 3514 NEW BEST:: SOT 116008 SOS 45306 HAS SOPS 45306 HAS SOUS 27348 HAS SOUPS 27348 WITH SCORE 27393.306
AT ITER 3523 NEW BEST:: SOT 116002 SOS 45294 HAS SOPS 45294 HAS SOUS 27336 HAS SOUPS 27336 WITH SCORE 27381.294
AT ITER 3527 NEW BEST:: SOT 115959 SOS 45208 HAS SOPS 45208 HAS SOUS 27243 HAS SOUPS 27243 WITH SCORE 27288.208
AT ITER 3535 NEW BEST:: SOT 115951 SOS 45206 HAS SOPS 45206 HAS SOUS 27233 HAS SOUPS 27233 WITH SCORE 27278.206
AT ITER 3548 NEW BEST:: SOT 115951 SOS 45200 HAS SOPS 45200 HAS SOUS 27227 HAS SOUPS 27227 WITH SCORE 27272.2
AT ITER 3554 NEW BEST:: SOT 115951 SOS 45196 HAS SOPS 45196 HAS SOUS 27227 HAS SOUPS 27227 WITH SCORE 27272.196
AT ITER 3557 NEW BEST:: SOT 115934 SOS 45162 HAS SOPS 45162 HAS SOUS 27193 HAS SOUPS 27193 WITH SCORE 27238.162
AT ITER 3571 NEW BEST:: SOT 115895 SOS 45094 HAS SOPS 45094 HAS SOUS 27144 HAS SOUPS 27144 WITH SCORE 27189.094
AT ITER 3591 NEW BEST:: SOT 115880 SOS 45049 HAS SOPS 45049 HAS SOUS 27114 HAS SOUPS 27114 WITH SCORE 27159.049
AT ITER 3614 NEW BEST:: SOT 115853 SOS 42216 HAS SOPS 42216 HAS SOUS 27060 HAS SOUPS 27060 WITH SCORE 27102.216
AT ITER 3623 NEW BEST:: SOT 115846 SOS 42202 HAS SOPS 42202 HAS SOUS 27046 HAS SOUPS 27046 WITH SCORE 27088.202
AT ITER 3669 NEW BEST:: SOT 115836 SOS 42208 HAS SOPS 42208 HAS SOUS 27010 HAS SOUPS 27010 WITH SCORE 27052.208
AT ITER 3689 NEW BEST:: SOT 115834 SOS 42202 HAS SOPS 42202 HAS SOUS 27004 HAS SOUPS 27004 WITH SCORE 27046.202
AT ITER 3697 NEW BEST:: SOT 115799 SOS 42167 HAS SOPS 42167 HAS SOUS 26998 HAS SOUPS 26998 WITH SCORE 27040.167
AT ITER 3719 NEW BEST:: SOT 115774 SOS 42132 HAS SOPS 42132 HAS SOUS 26978 HAS SOUPS 26978 WITH SCORE 27020.132
AT ITER 3742 NEW BEST:: SOT 115764 SOS 42112 HAS SOPS 42112 HAS SOUS 26968 HAS SOUPS 26968 WITH SCORE 27010.112
AT ITER 3748 NEW BEST:: SOT 115757 SOS 42067 HAS SOPS 42067 HAS SOUS 26964 HAS SOUPS 26964 WITH SCORE 27006.067
AT ITER 3788 NEW BEST:: SOT 115753 SOS 42063 HAS SOPS 42063 HAS SOUS 26960 HAS SOUPS 26960 WITH SCORE 27002.063
AT ITER 3807 NEW BEST:: SOT 115748 SOS 42048 HAS SOPS 42048 HAS SOUS 26950 HAS SOUPS 26950 WITH SCORE 26992.048
AT ITER 3830 NEW BEST:: SOT 115748 SOS 42007 HAS SOPS 42007 HAS SOUS 26937 HAS SOUPS 26937 WITH SCORE 26979.007
AT ITER 3851 NEW BEST:: SOT 115738 SOS 41987 HAS SOPS 41987 HAS SOUS 26927 HAS SOUPS 26927 WITH SCORE 26968.987
AT ITER 3865 NEW BEST:: SOT 115738 SOS 41958 HAS SOPS 41958 HAS SOUS 26898 HAS SOUPS 26898 WITH SCORE 26939.958
AT ITER 3885 NEW BEST:: SOT 115738 SOS 41948 HAS SOPS 41948 HAS SOUS 26898 HAS SOUPS 26898 WITH SCORE 26939.948
AT ITER 3898 NEW BEST:: SOT 115700 SOS 41891 HAS SOPS 41891 HAS SOUS 26860 HAS SOUPS 26860 WITH SCORE 26901.891
AT ITER 3903 NEW BEST:: SOT 115688 SOS 41867 HAS SOPS 41867 HAS SOUS 26848 HAS SOUPS 26848 WITH SCORE 26889.867
AT ITER 3905 NEW BEST:: SOT 115662 SOS 41836 HAS SOPS 41836 HAS SOUS 26845 HAS SOUPS 26845 WITH SCORE 26886.836
AT ITER 3908 NEW BEST:: SOT 115660 SOS 42003 HAS SOPS 42003 HAS SOUS 26841 HAS SOUPS 26841 WITH SCORE 26883.003
AT ITER 3923 NEW BEST:: SOT 115657 SOS 41997 HAS SOPS 41997 HAS SOUS 26835 HAS SOUPS 26835 WITH SCORE 26876.997
AT ITER 3940 NEW BEST:: SOT 115648 SOS 42036 HAS SOPS 42036 HAS SOUS 26800 HAS SOUPS 26800 WITH SCORE 26842.036
AT ITER 3946 NEW BEST:: SOT 115648 SOS 42036 HAS SOPS 42036 HAS SOUS 26797 HAS SOUPS 26797 WITH SCORE 26839.036
AT ITER 3948 NEW BEST:: SOT 115648 SOS 42036 HAS SOPS 42036 HAS SOUS 26766 HAS SOUPS 26766 WITH SCORE 26808.036
AT ITER 3952 NEW BEST:: SOT 115632 SOS 42020 HAS SOPS 42020 HAS SOUS 26765 HAS SOUPS 26765 WITH SCORE 26807.02
AT ITER 3961 NEW BEST:: SOT 115611 SOS 41901 HAS SOPS 41901 HAS SOUS 26714 HAS SOUPS 26714 WITH SCORE 26755.901
AT ITER 3982 NEW BEST:: SOT 115602 SOS 41879 HAS SOPS 41879 HAS SOUS 26635 HAS SOUPS 26635 WITH SCORE 26676.879
AT ITER 3985 NEW BEST:: SOT 115583 SOS 41831 HAS SOPS 41831 HAS SOUS 26587 HAS SOUPS 26587 WITH SCORE 26628.831
AT ITER 4009 NEW BEST:: SOT 115579 SOS 41823 HAS SOPS 41823 HAS SOUS 26580 HAS SOUPS 26580 WITH SCORE 26621.823
AT ITER 4018 NEW BEST:: SOT 115551 SOS 41795 HAS SOPS 41795 HAS SOUS 26580 HAS SOUPS 26580 WITH SCORE 26621.795
AT ITER 4026 NEW BEST:: SOT 115509 SOS 41732 HAS SOPS 41732 HAS SOUS 26517 HAS SOUPS 26517 WITH SCORE 26558.732
AT ITER 4034 NEW BEST:: SOT 115495 SOS 41704 HAS SOPS 41704 HAS SOUS 26503 HAS SOUPS 26503 WITH SCORE 26544.704
AT ITER 4036 NEW BEST:: SOT 115506 SOS 41658 HAS SOPS 41658 HAS SOUS 26502 HAS SOUPS 26502 WITH SCORE 26543.658
AT ITER 4038 NEW BEST:: SOT 115506 SOS 41658 HAS SOPS 41658 HAS SOUS 26492 HAS SOUPS 26492 WITH SCORE 26533.658
AT ITER 4050 NEW BEST:: SOT 115506 SOS 41633 HAS SOPS 41633 HAS SOUS 26467 HAS SOUPS 26467 WITH SCORE 26508.633
AT ITER 4060 NEW BEST:: SOT 115481 SOS 41608 HAS SOPS 41608 HAS SOUS 26442 HAS SOUPS 26442 WITH SCORE 26483.608
AT ITER 4067 NEW BEST:: SOT 115467 SOS 41580 HAS SOPS 41580 HAS SOUS 26414 HAS SOUPS 26414 WITH SCORE 26455.58
AT ITER 4121 NEW BEST:: SOT 115489 SOS 41622 HAS SOPS 41622 HAS SOUS 26378 HAS SOUPS 26378 WITH SCORE 26419.622
AT ITER 4126 NEW BEST:: SOT 115463 SOS 41584 HAS SOPS 41584 HAS SOUS 26338 HAS SOUPS 26338 WITH SCORE 26379.584
AT ITER 4143 NEW BEST:: SOT 115445 SOS 41560 HAS SOPS 41560 HAS SOUS 26314 HAS SOUPS 26314 WITH SCORE 26355.56
AT ITER 4171 NEW BEST:: SOT 115457 SOS 41519 HAS SOPS 41519 HAS SOUS 26281 HAS SOUPS 26281 WITH SCORE 26322.519
AT ITER 4189 NEW BEST:: SOT 115407 SOS 41469 HAS SOPS 41469 HAS SOUS 26181 HAS SOUPS 26181 WITH SCORE 26222.469
AT ITER 4204 NEW BEST:: SOT 115425 SOS 41481 HAS SOPS 41481 HAS SOUS 26176 HAS SOUPS 26176 WITH SCORE 26217.481
AT ITER 4208 NEW BEST:: SOT 115402 SOS 41435 HAS SOPS 41435 HAS SOUS 26130 HAS SOUPS 26130 WITH SCORE 26171.435
AT ITER 4221 NEW BEST:: SOT 115402 SOS 41435 HAS SOPS 41435 HAS SOUS 26123 HAS SOUPS 26123 WITH SCORE 26164.435
AT ITER 4245 NEW BEST:: SOT 115401 SOS 41440 HAS SOPS 41440 HAS SOUS 26122 HAS SOUPS 26122 WITH SCORE 26163.44
AT ITER 4252 NEW BEST:: SOT 115381 SOS 41421 HAS SOPS 41421 HAS SOUS 26120 HAS SOUPS 26120 WITH SCORE 26161.421
AT ITER 4254 NEW BEST:: SOT 115378 SOS 41418 HAS SOPS 41418 HAS SOUS 26114 HAS SOUPS 26114 WITH SCORE 26155.418
AT ITER 4272 NEW BEST:: SOT 115378 SOS 41417 HAS SOPS 41417 HAS SOUS 26114 HAS SOUPS 26114 WITH SCORE 26155.417
AT ITER 4287 NEW BEST:: SOT 115388 SOS 41394 HAS SOPS 41394 HAS SOUS 26091 HAS SOUPS 26091 WITH SCORE 26132.394
AT ITER 4332 NEW BEST:: SOT 115355 SOS 41295 HAS SOPS 41295 HAS SOUS 26036 HAS SOUPS 26036 WITH SCORE 26077.295
AT ITER 4337 NEW BEST:: SOT 115355 SOS 41295 HAS SOPS 41295 HAS SOUS 26021 HAS SOUPS 26021 WITH SCORE 26062.295
AT ITER 4339 NEW BEST:: SOT 115334 SOS 41253 HAS SOPS 41253 HAS SOUS 25921 HAS SOUPS 25921 WITH SCORE 25962.253
AT ITER 4345 NEW BEST:: SOT 115331 SOS 41247 HAS SOPS 41247 HAS SOUS 25921 HAS SOUPS 25921 WITH SCORE 25962.247
AT ITER 4383 NEW BEST:: SOT 115331 SOS 41257 HAS SOPS 41257 HAS SOUS 25911 HAS SOUPS 25911 WITH SCORE 25952.257
AT ITER 4385 NEW BEST:: SOT 115330 SOS 41256 HAS SOPS 41256 HAS SOUS 25911 HAS SOUPS 25911 WITH SCORE 25952.256
AT ITER 4388 NEW BEST:: SOT 115330 SOS 41290 HAS SOPS 41290 HAS SOUS 25877 HAS SOUPS 25877 WITH SCORE 25918.29
AT ITER 4405 NEW BEST:: SOT 115320 SOS 41280 HAS SOPS 41280 HAS SOUS 25857 HAS SOUPS 25857 WITH SCORE 25898.28
AT ITER 4436 NEW BEST:: SOT 115313 SOS 41443 HAS SOPS 41443 HAS SOUS 25843 HAS SOUPS 25843 WITH SCORE 25884.443
AT ITER 4456 NEW BEST:: SOT 115224 SOS 41354 HAS SOPS 41354 HAS SOUS 25842 HAS SOUPS 25842 WITH SCORE 25883.354
AT ITER 4477 NEW BEST:: SOT 115195 SOS 41333 HAS SOPS 41333 HAS SOUS 25824 HAS SOUPS 25824 WITH SCORE 25865.333
AT ITER 4483 NEW BEST:: SOT 115183 SOS 41321 HAS SOPS 41321 HAS SOUS 25800 HAS SOUPS 25800 WITH SCORE 25841.321
AT ITER 4515 NEW BEST:: SOT 115154 SOS 41289 HAS SOPS 41289 HAS SOUS 25794 HAS SOUPS 25794 WITH SCORE 25835.289
AT ITER 4518 NEW BEST:: SOT 115146 SOS 41227 HAS SOPS 41227 HAS SOUS 25784 HAS SOUPS 25784 WITH SCORE 25825.227
AT ITER 4533 NEW BEST:: SOT 115134 SOS 41203 HAS SOPS 41203 HAS SOUS 25760 HAS SOUPS 25760 WITH SCORE 25801.203
AT ITER 4543 NEW BEST:: SOT 115134 SOS 41254 HAS SOPS 41254 HAS SOUS 25738 HAS SOUPS 25738 WITH SCORE 25779.254
AT ITER 4544 NEW BEST:: SOT 115058 SOS 41144 HAS SOPS 41144 HAS SOUS 25662 HAS SOUPS 25662 WITH SCORE 25703.144
AT ITER 4559 NEW BEST:: SOT 115044 SOS 41093 HAS SOPS 41093 HAS SOUS 25634 HAS SOUPS 25634 WITH SCORE 25675.093
AT ITER 4581 NEW BEST:: SOT 115028 SOS 41045 HAS SOPS 41045 HAS SOUS 25586 HAS SOUPS 25586 WITH SCORE 25627.045
AT ITER 4602 NEW BEST:: SOT 114970 SOS 40987 HAS SOPS 40987 HAS SOUS 25578 HAS SOUPS 25578 WITH SCORE 25618.987
AT ITER 4623 NEW BEST:: SOT 114968 SOS 40983 HAS SOPS 40983 HAS SOUS 25576 HAS SOUPS 25576 WITH SCORE 25616.983
AT ITER 4644 NEW BEST:: SOT 114968 SOS 40983 HAS SOPS 40983 HAS SOUS 25553 HAS SOUPS 25553 WITH SCORE 25593.983
AT ITER 4648 NEW BEST:: SOT 114942 SOS 40957 HAS SOPS 40957 HAS SOUS 25501 HAS SOUPS 25501 WITH SCORE 25541.957
AT ITER 4654 NEW BEST:: SOT 114878 SOS 40893 HAS SOPS 40893 HAS SOUS 25373 HAS SOUPS 25373 WITH SCORE 25413.893
AT ITER 4677 NEW BEST:: SOT 114878 SOS 40890 HAS SOPS 40890 HAS SOUS 25373 HAS SOUPS 25373 WITH SCORE 25413.89
AT ITER 4689 NEW BEST:: SOT 114879 SOS 40813 HAS SOPS 40813 HAS SOUS 25326 HAS SOUPS 25326 WITH SCORE 25366.813
AT ITER 4692 NEW BEST:: SOT 114844 SOS 40774 HAS SOPS 40774 HAS SOUS 25287 HAS SOUPS 25287 WITH SCORE 25327.774
AT ITER 4703 NEW BEST:: SOT 114845 SOS 40765 HAS SOPS 40765 HAS SOUS 25278 HAS SOUPS 25278 WITH SCORE 25318.765
AT ITER 4712 NEW BEST:: SOT 114840 SOS 40755 HAS SOPS 40755 HAS SOUS 25268 HAS SOUPS 25268 WITH SCORE 25308.755
AT ITER 4738 NEW BEST:: SOT 114840 SOS 40755 HAS SOPS 40755 HAS SOUS 25241 HAS SOUPS 25241 WITH SCORE 25281.755
AT ITER 4740 NEW BEST:: SOT 114841 SOS 40768 HAS SOPS 40768 HAS SOUS 25231 HAS SOUPS 25231 WITH SCORE 25271.768
AT ITER 4748 NEW BEST:: SOT 114754 SOS 40726 HAS SOPS 40726 HAS SOUS 25187 HAS SOUPS 25187 WITH SCORE 25227.726
AT ITER 4758 NEW BEST:: SOT 114750 SOS 40710 HAS SOPS 40710 HAS SOUS 25173 HAS SOUPS 25173 WITH SCORE 25213.71
AT ITER 4774 NEW BEST:: SOT 114752 SOS 40720 HAS SOPS 40720 HAS SOUS 25110 HAS SOUPS 25110 WITH SCORE 25150.72
AT ITER 4794 NEW BEST:: SOT 114744 SOS 40704 HAS SOPS 40704 HAS SOUS 25094 HAS SOUPS 25094 WITH SCORE 25134.704
AT ITER 4802 NEW BEST:: SOT 114744 SOS 40704 HAS SOPS 40704 HAS SOUS 25078 HAS SOUPS 25078 WITH SCORE 25118.704
AT ITER 4804 NEW BEST:: SOT 114732 SOS 40704 HAS SOPS 40704 HAS SOUS 25066 HAS SOUPS 25066 WITH SCORE 25106.704
AT ITER 4820 NEW BEST:: SOT 114686 SOS 40612 HAS SOPS 40612 HAS SOUS 25022 HAS SOUPS 25022 WITH SCORE 25062.612
AT ITER 4849 NEW BEST:: SOT 114661 SOS 40562 HAS SOPS 40562 HAS SOUS 24972 HAS SOUPS 24972 WITH SCORE 25012.562
AT ITER 4851 NEW BEST:: SOT 114637 SOS 40551 HAS SOPS 40551 HAS SOUS 24954 HAS SOUPS 24954 WITH SCORE 24994.551
AT ITER 4868 NEW BEST:: SOT 114601 SOS 40497 HAS SOPS 40497 HAS SOUS 24900 HAS SOUPS 24900 WITH SCORE 24940.497
AT ITER 4883 NEW BEST:: SOT 114595 SOS 40385 HAS SOPS 40385 HAS SOUS 24888 HAS SOUPS 24888 WITH SCORE 24928.385
AT ITER 4899 NEW BEST:: SOT 114577 SOS 40349 HAS SOPS 40349 HAS SOUS 24870 HAS SOUPS 24870 WITH SCORE 24910.349
AT ITER 4933 NEW BEST:: SOT 114574 SOS 40346 HAS SOPS 40346 HAS SOUS 24867 HAS SOUPS 24867 WITH SCORE 24907.346
AT ITER 4943 NEW BEST:: SOT 114574 SOS 40346 HAS SOPS 40346 HAS SOUS 24845 HAS SOUPS 24845 WITH SCORE 24885.346
AT ITER 4949 NEW BEST:: SOT 114571 SOS 40343 HAS SOPS 40343 HAS SOUS 24842 HAS SOUPS 24842 WITH SCORE 24882.343
AT ITER 4964 NEW BEST:: SOT 114568 SOS 40337 HAS SOPS 40337 HAS SOUS 24836 HAS SOUPS 24836 WITH SCORE 24876.337
AT ITER 4976 NEW BEST:: SOT 114560 SOS 40329 HAS SOPS 40329 HAS SOUS 24835 HAS SOUPS 24835 WITH SCORE 24875.329
AT ITER 4981 NEW BEST:: SOT 114556 SOS 40321 HAS SOPS 40321 HAS SOUS 24831 HAS SOUPS 24831 WITH SCORE 24871.321
AT ITER 4993 NEW BEST:: SOT 114548 SOS 40297 HAS SOPS 40297 HAS SOUS 24815 HAS SOUPS 24815 WITH SCORE 24855.297
AT ITER 5006 NEW BEST:: SOT 114542 SOS 40291 HAS SOPS 40291 HAS SOUS 24803 HAS SOUPS 24803 WITH SCORE 24843.291
AT ITER 5016 NEW BEST:: SOT 114498 SOS 40265 HAS SOPS 40265 HAS SOUS 24777 HAS SOUPS 24777 WITH SCORE 24817.265
AT ITER 5018 NEW BEST:: SOT 114499 SOS 40259 HAS SOPS 40259 HAS SOUS 24771 HAS SOUPS 24771 WITH SCORE 24811.259
AT ITER 5040 NEW BEST:: SOT 114499 SOS 40227 HAS SOPS 40227 HAS SOUS 24739 HAS SOUPS 24739 WITH SCORE 24779.227
AT ITER 5051 NEW BEST:: SOT 114495 SOS 40221 HAS SOPS 40221 HAS SOUS 24733 HAS SOUPS 24733 WITH SCORE 24773.221
AT ITER 5056 NEW BEST:: SOT 114486 SOS 40212 HAS SOPS 40212 HAS SOUS 24724 HAS SOUPS 24724 WITH SCORE 24764.212
AT ITER 5076 NEW BEST:: SOT 114501 SOS 40128 HAS SOPS 40128 HAS SOUS 24682 HAS SOUPS 24682 WITH SCORE 24722.128
AT ITER 5083 NEW BEST:: SOT 114498 SOS 40122 HAS SOPS 40122 HAS SOUS 24672 HAS SOUPS 24672 WITH SCORE 24712.122
AT ITER 5096 NEW BEST:: SOT 114466 SOS 40090 HAS SOPS 40090 HAS SOUS 24640 HAS SOUPS 24640 WITH SCORE 24680.09
AT ITER 5113 NEW BEST:: SOT 114377 SOS 39901 HAS SOPS 39901 HAS SOUS 24462 HAS SOUPS 24462 WITH SCORE 24501.901
AT ITER 5146 NEW BEST:: SOT 114374 SOS 39898 HAS SOPS 39898 HAS SOUS 24459 HAS SOUPS 24459 WITH SCORE 24498.898
AT ITER 5147 NEW BEST:: SOT 114367 SOS 39930 HAS SOPS 39930 HAS SOUS 24445 HAS SOUPS 24445 WITH SCORE 24484.93
AT ITER 5152 NEW BEST:: SOT 114365 SOS 39926 HAS SOPS 39926 HAS SOUS 24441 HAS SOUPS 24441 WITH SCORE 24480.926
AT ITER 5153 NEW BEST:: SOT 114359 SOS 39914 HAS SOPS 39914 HAS SOUS 24429 HAS SOUPS 24429 WITH SCORE 24468.914
AT ITER 5154 NEW BEST:: SOT 114351 SOS 39906 HAS SOPS 39906 HAS SOUS 24419 HAS SOUPS 24419 WITH SCORE 24458.906
AT ITER 5182 NEW BEST:: SOT 114351 SOS 39871 HAS SOPS 39871 HAS SOUS 24419 HAS SOUPS 24419 WITH SCORE 24458.871
AT ITER 5202 NEW BEST:: SOT 114345 SOS 39859 HAS SOPS 39859 HAS SOUS 24407 HAS SOUPS 24407 WITH SCORE 24446.859
AT ITER 5228 NEW BEST:: SOT 114345 SOS 39481 HAS SOPS 39481 HAS SOUS 24402 HAS SOUPS 24402 WITH SCORE 24441.481
AT ITER 5235 NEW BEST:: SOT 114342 SOS 39478 HAS SOPS 39478 HAS SOUS 24396 HAS SOUPS 24396 WITH SCORE 24435.478
AT ITER 5237 NEW BEST:: SOT 114342 SOS 39398 HAS SOPS 39398 HAS SOUS 24396 HAS SOUPS 24396 WITH SCORE 24435.398
AT ITER 5261 NEW BEST:: SOT 114337 SOS 39364 HAS SOPS 39364 HAS SOUS 24362 HAS SOUPS 24362 WITH SCORE 24401.364
AT ITER 5270 NEW BEST:: SOT 114395 SOS 39355 HAS SOPS 39355 HAS SOUS 24353 HAS SOUPS 24353 WITH SCORE 24392.355
AT ITER 5273 NEW BEST:: SOT 114395 SOS 39317 HAS SOPS 39317 HAS SOUS 24353 HAS SOUPS 24353 WITH SCORE 24392.317
AT ITER 5296 NEW BEST:: SOT 114379 SOS 39285 HAS SOPS 39285 HAS SOUS 24337 HAS SOUPS 24337 WITH SCORE 24376.285
AT ITER 5299 NEW BEST:: SOT 114357 SOS 39241 HAS SOPS 39241 HAS SOUS 24301 HAS SOUPS 24301 WITH SCORE 24340.241
AT ITER 5325 NEW BEST:: SOT 114354 SOS 39235 HAS SOPS 39235 HAS SOUS 24295 HAS SOUPS 24295 WITH SCORE 24334.235
AT ITER 5377 NEW BEST:: SOT 114351 SOS 39229 HAS SOPS 39229 HAS SOUS 24295 HAS SOUPS 24295 WITH SCORE 24334.229
AT ITER 5379 NEW BEST:: SOT 114347 SOS 39225 HAS SOPS 39225 HAS SOUS 24291 HAS SOUPS 24291 WITH SCORE 24330.225
AT ITER 5386 NEW BEST:: SOT 114345 SOS 39221 HAS SOPS 39221 HAS SOUS 24287 HAS SOUPS 24287 WITH SCORE 24326.221
AT ITER 5395 NEW BEST:: SOT 114345 SOS 39221 HAS SOPS 39221 HAS SOUS 24277 HAS SOUPS 24277 WITH SCORE 24316.221
AT ITER 5414 NEW BEST:: SOT 114334 SOS 39210 HAS SOPS 39210 HAS SOUS 24266 HAS SOUPS 24266 WITH SCORE 24305.21
AT ITER 5418 NEW BEST:: SOT 114333 SOS 39209 HAS SOPS 39209 HAS SOUS 24265 HAS SOUPS 24265 WITH SCORE 24304.209
AT ITER 5425 NEW BEST:: SOT 114300 SOS 39182 HAS SOPS 39182 HAS SOUS 24225 HAS SOUPS 24225 WITH SCORE 24264.182
AT ITER 5428 NEW BEST:: SOT 114299 SOS 39180 HAS SOPS 39180 HAS SOUS 24223 HAS SOUPS 24223 WITH SCORE 24262.18
AT ITER 5445 NEW BEST:: SOT 114298 SOS 39179 HAS SOPS 39179 HAS SOUS 24221 HAS SOUPS 24221 WITH SCORE 24260.179
AT ITER 5449 NEW BEST:: SOT 114295 SOS 39176 HAS SOPS 39176 HAS SOUS 24215 HAS SOUPS 24215 WITH SCORE 24254.176
AT ITER 5508 NEW BEST:: SOT 114270 SOS 39088 HAS SOPS 39088 HAS SOUS 24141 HAS SOUPS 24141 WITH SCORE 24180.088
AT ITER 5515 NEW BEST:: SOT 114268 SOS 39086 HAS SOPS 39086 HAS SOUS 24137 HAS SOUPS 24137 WITH SCORE 24176.086
AT ITER 5516 NEW BEST:: SOT 114266 SOS 39078 HAS SOPS 39078 HAS SOUS 24129 HAS SOUPS 24129 WITH SCORE 24168.078
AT ITER 5562 NEW BEST:: SOT 114250 SOS 39062 HAS SOPS 39062 HAS SOUS 24113 HAS SOUPS 24113 WITH SCORE 24152.062
AT ITER 5568 NEW BEST:: SOT 114250 SOS 39061 HAS SOPS 39061 HAS SOUS 24113 HAS SOUPS 24113 WITH SCORE 24152.061
AT ITER 5570 NEW BEST:: SOT 114228 SOS 39039 HAS SOPS 39039 HAS SOUS 24069 HAS SOUPS 24069 WITH SCORE 24108.039
AT ITER 5573 NEW BEST:: SOT 114208 SOS 38941 HAS SOPS 38941 HAS SOUS 23990 HAS SOUPS 23990 WITH SCORE 24028.941
AT ITER 5603 NEW BEST:: SOT 114165 SOS 38855 HAS SOPS 38855 HAS SOUS 23923 HAS SOUPS 23923 WITH SCORE 23961.855
AT ITER 5628 NEW BEST:: SOT 114182 SOS 38889 HAS SOPS 38889 HAS SOUS 23863 HAS SOUPS 23863 WITH SCORE 23901.889
AT ITER 5732 NEW BEST:: SOT 114223 SOS 38767 HAS SOPS 38767 HAS SOUS 23843 HAS SOUPS 23843 WITH SCORE 23881.767
AT ITER 5733 NEW BEST:: SOT 114219 SOS 38761 HAS SOPS 38761 HAS SOUS 23837 HAS SOUPS 23837 WITH SCORE 23875.761
AT ITER 5734 NEW BEST:: SOT 114217 SOS 38757 HAS SOPS 38757 HAS SOUS 23833 HAS SOUPS 23833 WITH SCORE 23871.757
AT ITER 5746 NEW BEST:: SOT 114189 SOS 38701 HAS SOPS 38701 HAS SOUS 23777 HAS SOUPS 23777 WITH SCORE 23815.701
AT ITER 5765 NEW BEST:: SOT 114178 SOS 38770 HAS SOPS 38770 HAS SOUS 23755 HAS SOUPS 23755 WITH SCORE 23793.77
AT ITER 5772 NEW BEST:: SOT 114162 SOS 38754 HAS SOPS 38754 HAS SOUS 23730 HAS SOUPS 23730 WITH SCORE 23768.754
AT ITER 5787 NEW BEST:: SOT 114141 SOS 38733 HAS SOPS 38733 HAS SOUS 23688 HAS SOUPS 23688 WITH SCORE 23726.733
AT ITER 5800 NEW BEST:: SOT 114140 SOS 38731 HAS SOPS 38731 HAS SOUS 23679 HAS SOUPS 23679 WITH SCORE 23717.731
AT ITER 5825 NEW BEST:: SOT 114140 SOS 38725 HAS SOPS 38725 HAS SOUS 23679 HAS SOUPS 23679 WITH SCORE 23717.725
AT ITER 5852 NEW BEST:: SOT 114141 SOS 38724 HAS SOPS 38724 HAS SOUS 23679 HAS SOUPS 23679 WITH SCORE 23717.724
AT ITER 5884 NEW BEST:: SOT 114147 SOS 38736 HAS SOPS 38736 HAS SOUS 23675 HAS SOUPS 23675 WITH SCORE 23713.736
AT ITER 5948 NEW BEST:: SOT 114126 SOS 38724 HAS SOPS 38724 HAS SOUS 23633 HAS SOUPS 23633 WITH SCORE 23671.724
AT ITER 5956 NEW BEST:: SOT 114114 SOS 38700 HAS SOPS 38700 HAS SOUS 23609 HAS SOUPS 23609 WITH SCORE 23647.7
AT ITER 5957 NEW BEST:: SOT 114147 SOS 38810 HAS SOPS 38810 HAS SOUS 23590 HAS SOUPS 23590 WITH SCORE 23628.81
AT ITER 5998 NEW BEST:: SOT 114144 SOS 38814 HAS SOPS 38814 HAS SOUS 23584 HAS SOUPS 23584 WITH SCORE 23622.814
AT ITER 6052 NEW BEST:: SOT 114144 SOS 38810 HAS SOPS 38810 HAS SOUS 23584 HAS SOUPS 23584 WITH SCORE 23622.81
AT ITER 6057 NEW BEST:: SOT 114290 SOS 39066 HAS SOPS 39066 HAS SOUS 23562 HAS SOUPS 23562 WITH SCORE 23601.066
AT ITER 6081 NEW BEST:: SOT 114270 SOS 39026 HAS SOPS 39026 HAS SOUS 23542 HAS SOUPS 23542 WITH SCORE 23581.026
AT ITER 6111 NEW BEST:: SOT 114264 SOS 39153 HAS SOPS 39153 HAS SOUS 23530 HAS SOUPS 23530 WITH SCORE 23569.153
AT ITER 6176 NEW BEST:: SOT 114189 SOS 39171 HAS SOPS 39171 HAS SOUS 23458 HAS SOUPS 23458 WITH SCORE 23497.171
AT ITER 6178 NEW BEST:: SOT 114160 SOS 39105 HAS SOPS 39105 HAS SOUS 23400 HAS SOUPS 23400 WITH SCORE 23439.105
AT ITER 6199 NEW BEST:: SOT 114122 SOS 39047 HAS SOPS 39047 HAS SOUS 23344 HAS SOUPS 23344 WITH SCORE 23383.047
AT ITER 6200 NEW BEST:: SOT 114122 SOS 39010 HAS SOPS 39010 HAS SOUS 23344 HAS SOUPS 23344 WITH SCORE 23383.01
AT ITER 6253 NEW BEST:: SOT 114110 SOS 39000 HAS SOPS 39000 HAS SOUS 23334 HAS SOUPS 23334 WITH SCORE 23373.0
AT ITER 6270 NEW BEST:: SOT 114095 SOS 38985 HAS SOPS 38985 HAS SOUS 23304 HAS SOUPS 23304 WITH SCORE 23342.985
AT ITER 6275 NEW BEST:: SOT 114081 SOS 38971 HAS SOPS 38971 HAS SOUS 23290 HAS SOUPS 23290 WITH SCORE 23328.971
AT ITER 6280 NEW BEST:: SOT 114065 SOS 38953 HAS SOPS 38953 HAS SOUS 23272 HAS SOUPS 23272 WITH SCORE 23310.953
AT ITER 6325 NEW BEST:: SOT 114062 SOS 38874 HAS SOPS 38874 HAS SOUS 23226 HAS SOUPS 23226 WITH SCORE 23264.874
AT ITER 6350 NEW BEST:: SOT 114020 SOS 38837 HAS SOPS 38837 HAS SOUS 23189 HAS SOUPS 23189 WITH SCORE 23227.837
AT ITER 6384 NEW BEST:: SOT 114025 SOS 38829 HAS SOPS 38829 HAS SOUS 23181 HAS SOUPS 23181 WITH SCORE 23219.829
AT ITER 6396 NEW BEST:: SOT 114010 SOS 38799 HAS SOPS 38799 HAS SOUS 23151 HAS SOUPS 23151 WITH SCORE 23189.799
AT ITER 6440 NEW BEST:: SOT 113971 SOS 38682 HAS SOPS 38682 HAS SOUS 23092 HAS SOUPS 23092 WITH SCORE 23130.682
AT ITER 6457 NEW BEST:: SOT 113969 SOS 38678 HAS SOPS 38678 HAS SOUS 23088 HAS SOUPS 23088 WITH SCORE 23126.678
AT ITER 6461 NEW BEST:: SOT 113967 SOS 38676 HAS SOPS 38676 HAS SOUS 23084 HAS SOUPS 23084 WITH SCORE 23122.676
AT ITER 6467 NEW BEST:: SOT 113969 SOS 38678 HAS SOPS 38678 HAS SOUS 23077 HAS SOUPS 23077 WITH SCORE 23115.678
AT ITER 6497 NEW BEST:: SOT 113986 SOS 38667 HAS SOPS 38667 HAS SOUS 23066 HAS SOUPS 23066 WITH SCORE 23104.667
AT ITER 6524 NEW BEST:: SOT 113985 SOS 38665 HAS SOPS 38665 HAS SOUS 23064 HAS SOUPS 23064 WITH SCORE 23102.665
AT ITER 6558 NEW BEST:: SOT 113986 SOS 38666 HAS SOPS 38666 HAS SOUS 23061 HAS SOUPS 23061 WITH SCORE 23099.666
AT ITER 6563 NEW BEST:: SOT 113986 SOS 38646 HAS SOPS 38646 HAS SOUS 23040 HAS SOUPS 23040 WITH SCORE 23078.646
AT ITER 6602 NEW BEST:: SOT 113980 SOS 38647 HAS SOPS 38647 HAS SOUS 23035 HAS SOUPS 23035 WITH SCORE 23073.647
AT ITER 6630 NEW BEST:: SOT 113967 SOS 38633 HAS SOPS 38633 HAS SOUS 23021 HAS SOUPS 23021 WITH SCORE 23059.633
AT ITER 6634 NEW BEST:: SOT 113947 SOS 38654 HAS SOPS 38654 HAS SOUS 23002 HAS SOUPS 23002 WITH SCORE 23040.654
AT ITER 6677 NEW BEST:: SOT 113941 SOS 38655 HAS SOPS 38655 HAS SOUS 22997 HAS SOUPS 22997 WITH SCORE 23035.655
AT ITER 6695 NEW BEST:: SOT 113932 SOS 38637 HAS SOPS 38637 HAS SOUS 22936 HAS SOUPS 22936 WITH SCORE 22974.637
AT ITER 6707 NEW BEST:: SOT 113896 SOS 38534 HAS SOPS 38534 HAS SOUS 22931 HAS SOUPS 22931 WITH SCORE 22969.534
AT ITER 6714 NEW BEST:: SOT 113896 SOS 38529 HAS SOPS 38529 HAS SOUS 22931 HAS SOUPS 22931 WITH SCORE 22969.529
AT ITER 6763 NEW BEST:: SOT 113896 SOS 38529 HAS SOPS 38529 HAS SOUS 22909 HAS SOUPS 22909 WITH SCORE 22947.529
AT ITER 6771 NEW BEST:: SOT 113900 SOS 38510 HAS SOPS 38510 HAS SOUS 22890 HAS SOUPS 22890 WITH SCORE 22928.51
AT ITER 6777 NEW BEST:: SOT 113851 SOS 38448 HAS SOPS 38448 HAS SOUS 22864 HAS SOUPS 22864 WITH SCORE 22902.448
AT ITER 6786 NEW BEST:: SOT 113839 SOS 38424 HAS SOPS 38424 HAS SOUS 22840 HAS SOUPS 22840 WITH SCORE 22878.424
AT ITER 6819 NEW BEST:: SOT 113839 SOS 38424 HAS SOPS 38424 HAS SOUS 22822 HAS SOUPS 22822 WITH SCORE 22860.424
AT ITER 6821 NEW BEST:: SOT 113819 SOS 38369 HAS SOPS 38369 HAS SOUS 22782 HAS SOUPS 22782 WITH SCORE 22820.369
AT ITER 6843 NEW BEST:: SOT 113789 SOS 38361 HAS SOPS 38361 HAS SOUS 22774 HAS SOUPS 22774 WITH SCORE 22812.361
AT ITER 6895 NEW BEST:: SOT 113770 SOS 38341 HAS SOPS 38341 HAS SOUS 22754 HAS SOUPS 22754 WITH SCORE 22792.341
AT ITER 6896 NEW BEST:: SOT 113766 SOS 38329 HAS SOPS 38329 HAS SOUS 22746 HAS SOUPS 22746 WITH SCORE 22784.329
AT ITER 7021 NEW BEST:: SOT 113757 SOS 38312 HAS SOPS 38312 HAS SOUS 22738 HAS SOUPS 22738 WITH SCORE 22776.312
AT ITER 7030 NEW BEST:: SOT 113759 SOS 38310 HAS SOPS 38310 HAS SOUS 22738 HAS SOUPS 22738 WITH SCORE 22776.31
AT ITER 7054 NEW BEST:: SOT 113706 SOS 38192 HAS SOPS 38192 HAS SOUS 22620 HAS SOUPS 22620 WITH SCORE 22658.192
AT ITER 7081 NEW BEST:: SOT 113695 SOS 38199 HAS SOPS 38199 HAS SOUS 22597 HAS SOUPS 22597 WITH SCORE 22635.199
AT ITER 7090 NEW BEST:: SOT 113672 SOS 38153 HAS SOPS 38153 HAS SOUS 22562 HAS SOUPS 22562 WITH SCORE 22600.153
AT ITER 7100 NEW BEST:: SOT 113652 SOS 38183 HAS SOPS 38183 HAS SOUS 22555 HAS SOUPS 22555 WITH SCORE 22593.183
AT ITER 7105 NEW BEST:: SOT 113648 SOS 38177 HAS SOPS 38177 HAS SOUS 22549 HAS SOUPS 22549 WITH SCORE 22587.177
AT ITER 7121 NEW BEST:: SOT 113645 SOS 38173 HAS SOPS 38173 HAS SOUS 22544 HAS SOUPS 22544 WITH SCORE 22582.173
AT ITER 7137 NEW BEST:: SOT 113561 SOS 38087 HAS SOPS 38087 HAS SOUS 22460 HAS SOUPS 22460 WITH SCORE 22498.087
AT ITER 7157 NEW BEST:: SOT 113548 SOS 38094 HAS SOPS 38094 HAS SOUS 22434 HAS SOUPS 22434 WITH SCORE 22472.094
AT ITER 7168 NEW BEST:: SOT 113524 SOS 38066 HAS SOPS 38066 HAS SOUS 22386 HAS SOUPS 22386 WITH SCORE 22424.066
AT ITER 7174 NEW BEST:: SOT 113424 SOS 37965 HAS SOPS 37965 HAS SOUS 22296 HAS SOUPS 22296 WITH SCORE 22333.965
AT ITER 7177 NEW BEST:: SOT 113423 SOS 37963 HAS SOPS 37963 HAS SOUS 22294 HAS SOUPS 22294 WITH SCORE 22331.963
AT ITER 7249 NEW BEST:: SOT 113423 SOS 37963 HAS SOPS 37963 HAS SOUS 22268 HAS SOUPS 22268 WITH SCORE 22305.963
AT ITER 7267 NEW BEST:: SOT 113420 SOS 37960 HAS SOPS 37960 HAS SOUS 22265 HAS SOUPS 22265 WITH SCORE 22302.96
AT ITER 7310 NEW BEST:: SOT 113408 SOS 37917 HAS SOPS 37917 HAS SOUS 22243 HAS SOUPS 22243 WITH SCORE 22280.917
AT ITER 7323 NEW BEST:: SOT 113403 SOS 37912 HAS SOPS 37912 HAS SOUS 22233 HAS SOUPS 22233 WITH SCORE 22270.912
AT ITER 7360 NEW BEST:: SOT 113400 SOS 37909 HAS SOPS 37909 HAS SOUS 22224 HAS SOUPS 22224 WITH SCORE 22261.909
AT ITER 7371 NEW BEST:: SOT 113399 SOS 37907 HAS SOPS 37907 HAS SOUS 22222 HAS SOUPS 22222 WITH SCORE 22259.907
AT ITER 7385 NEW BEST:: SOT 113392 SOS 37856 HAS SOPS 37856 HAS SOUS 22208 HAS SOUPS 22208 WITH SCORE 22245.856
AT ITER 7399 NEW BEST:: SOT 113392 SOS 37855 HAS SOPS 37855 HAS SOUS 22208 HAS SOUPS 22208 WITH SCORE 22245.855
AT ITER 7474 NEW BEST:: SOT 113383 SOS 37820 HAS SOPS 37820 HAS SOUS 22190 HAS SOUPS 22190 WITH SCORE 22227.82
AT ITER 7487 NEW BEST:: SOT 113374 SOS 37802 HAS SOPS 37802 HAS SOUS 22172 HAS SOUPS 22172 WITH SCORE 22209.802
AT ITER 7524 NEW BEST:: SOT 113374 SOS 37802 HAS SOPS 37802 HAS SOUS 22150 HAS SOUPS 22150 WITH SCORE 22187.802
AT ITER 7542 NEW BEST:: SOT 113348 SOS 37794 HAS SOPS 37794 HAS SOUS 22142 HAS SOUPS 22142 WITH SCORE 22179.794
AT ITER 7572 NEW BEST:: SOT 113346 SOS 37790 HAS SOPS 37790 HAS SOUS 22138 HAS SOUPS 22138 WITH SCORE 22175.79
AT ITER 7573 NEW BEST:: SOT 113343 SOS 37806 HAS SOPS 37806 HAS SOUS 22135 HAS SOUPS 22135 WITH SCORE 22172.806
AT ITER 7577 NEW BEST:: SOT 113342 SOS 37814 HAS SOPS 37814 HAS SOUS 22133 HAS SOUPS 22133 WITH SCORE 22170.814
AT ITER 7582 NEW BEST:: SOT 113275 SOS 37772 HAS SOPS 37772 HAS SOUS 22127 HAS SOUPS 22127 WITH SCORE 22164.772
AT ITER 7660 NEW BEST:: SOT 113269 SOS 37766 HAS SOPS 37766 HAS SOUS 22121 HAS SOUPS 22121 WITH SCORE 22158.766
AT ITER 7668 NEW BEST:: SOT 113278 SOS 37784 HAS SOPS 37784 HAS SOUS 22100 HAS SOUPS 22100 WITH SCORE 22137.784
AT ITER 7679 NEW BEST:: SOT 113278 SOS 37781 HAS SOPS 37781 HAS SOUS 22097 HAS SOUPS 22097 WITH SCORE 22134.781
AT ITER 7689 NEW BEST:: SOT 113284 SOS 37837 HAS SOPS 37837 HAS SOUS 22085 HAS SOUPS 22085 WITH SCORE 22122.837
AT ITER 7701 NEW BEST:: SOT 113282 SOS 37833 HAS SOPS 37833 HAS SOUS 22081 HAS SOUPS 22081 WITH SCORE 22118.833
AT ITER 7719 NEW BEST:: SOT 113277 SOS 37823 HAS SOPS 37823 HAS SOUS 22071 HAS SOUPS 22071 WITH SCORE 22108.823
AT ITER 7786 NEW BEST:: SOT 113265 SOS 37811 HAS SOPS 37811 HAS SOUS 22044 HAS SOUPS 22044 WITH SCORE 22081.811
AT ITER 7800 NEW BEST:: SOT 113249 SOS 37785 HAS SOPS 37785 HAS SOUS 22031 HAS SOUPS 22031 WITH SCORE 22068.785
AT ITER 7803 NEW BEST:: SOT 113248 SOS 37799 HAS SOPS 37799 HAS SOUS 22027 HAS SOUPS 22027 WITH SCORE 22064.799
AT ITER 7834 NEW BEST:: SOT 113237 SOS 37782 HAS SOPS 37782 HAS SOUS 22012 HAS SOUPS 22012 WITH SCORE 22049.782
AT ITER 7841 NEW BEST:: SOT 113237 SOS 37708 HAS SOPS 37708 HAS SOUS 21938 HAS SOUPS 21938 WITH SCORE 21975.708
AT ITER 7845 NEW BEST:: SOT 113235 SOS 37705 HAS SOPS 37705 HAS SOUS 21935 HAS SOUPS 21935 WITH SCORE 21972.705
AT ITER 7886 NEW BEST:: SOT 113205 SOS 37620 HAS SOPS 37620 HAS SOUS 21875 HAS SOUPS 21875 WITH SCORE 21912.62
AT ITER 8089 NEW BEST:: SOT 113203 SOS 37616 HAS SOPS 37616 HAS SOUS 21871 HAS SOUPS 21871 WITH SCORE 21908.616
AT ITER 8126 NEW BEST:: SOT 113172 SOS 37629 HAS SOPS 37629 HAS SOUS 21864 HAS SOUPS 21864 WITH SCORE 21901.629
AT ITER 8222 NEW BEST:: SOT 113175 SOS 37592 HAS SOPS 37592 HAS SOUS 21856 HAS SOUPS 21856 WITH SCORE 21893.592
AT ITER 8248 NEW BEST:: SOT 113171 SOS 37562 HAS SOPS 37562 HAS SOUS 21847 HAS SOUPS 21847 WITH SCORE 21884.562
AT ITER 8284 NEW BEST:: SOT 113159 SOS 37524 HAS SOPS 37524 HAS SOUS 21809 HAS SOUPS 21809 WITH SCORE 21846.524
AT ITER 8288 NEW BEST:: SOT 113155 SOS 37516 HAS SOPS 37516 HAS SOUS 21801 HAS SOUPS 21801 WITH SCORE 21838.516
AT ITER 8339 NEW BEST:: SOT 113155 SOS 37508 HAS SOPS 37508 HAS SOUS 21801 HAS SOUPS 21801 WITH SCORE 21838.508
AT ITER 8347 NEW BEST:: SOT 113145 SOS 37494 HAS SOPS 37494 HAS SOUS 21797 HAS SOUPS 21797 WITH SCORE 21834.494
AT ITER 8366 NEW BEST:: SOT 113141 SOS 37671 HAS SOPS 37671 HAS SOUS 21789 HAS SOUPS 21789 WITH SCORE 21826.671
AT ITER 8411 NEW BEST:: SOT 113129 SOS 37668 HAS SOPS 37668 HAS SOUS 21786 HAS SOUPS 21786 WITH SCORE 21823.668
AT ITER 8417 NEW BEST:: SOT 113115 SOS 37622 HAS SOPS 37622 HAS SOUS 21772 HAS SOUPS 21772 WITH SCORE 21809.622
AT ITER 8424 NEW BEST:: SOT 113101 SOS 37618 HAS SOPS 37618 HAS SOUS 21756 HAS SOUPS 21756 WITH SCORE 21793.618
AT ITER 8444 NEW BEST:: SOT 113101 SOS 37609 HAS SOPS 37609 HAS SOUS 21756 HAS SOUPS 21756 WITH SCORE 21793.609
AT ITER 8456 NEW BEST:: SOT 113097 SOS 37605 HAS SOPS 37605 HAS SOUS 21752 HAS SOUPS 21752 WITH SCORE 21789.605
AT ITER 8474 NEW BEST:: SOT 113058 SOS 37501 HAS SOPS 37501 HAS SOUS 21688 HAS SOUPS 21688 WITH SCORE 21725.501
AT ITER 8505 NEW BEST:: SOT 113056 SOS 37497 HAS SOPS 37497 HAS SOUS 21684 HAS SOUPS 21684 WITH SCORE 21721.497
AT ITER 8606 NEW BEST:: SOT 113055 SOS 37497 HAS SOPS 37497 HAS SOUS 21681 HAS SOUPS 21681 WITH SCORE 21718.497
AT ITER 8612 NEW BEST:: SOT 113054 SOS 37495 HAS SOPS 37495 HAS SOUS 21679 HAS SOUPS 21679 WITH SCORE 21716.495
AT ITER 8614 NEW BEST:: SOT 113018 SOS 37446 HAS SOPS 37446 HAS SOUS 21630 HAS SOUPS 21630 WITH SCORE 21667.446
AT ITER 8645 NEW BEST:: SOT 113004 SOS 37435 HAS SOPS 37435 HAS SOUS 21619 HAS SOUPS 21619 WITH SCORE 21656.435
AT ITER 8655 NEW BEST:: SOT 112974 SOS 37375 HAS SOPS 37375 HAS SOUS 21613 HAS SOUPS 21613 WITH SCORE 21650.375
AT ITER 8664 NEW BEST:: SOT 112973 SOS 37374 HAS SOPS 37374 HAS SOUS 21611 HAS SOUPS 21611 WITH SCORE 21648.374
AT ITER 8667 NEW BEST:: SOT 112965 SOS 37370 HAS SOPS 37370 HAS SOUS 21607 HAS SOUPS 21607 WITH SCORE 21644.37
AT ITER 8690 NEW BEST:: SOT 112965 SOS 37369 HAS SOPS 37369 HAS SOUS 21606 HAS SOUPS 21606 WITH SCORE 21643.369
AT ITER 8736 NEW BEST:: SOT 112963 SOS 37376 HAS SOPS 37376 HAS SOUS 21602 HAS SOUPS 21602 WITH SCORE 21639.376
AT ITER 8782 NEW BEST:: SOT 112962 SOS 37332 HAS SOPS 37332 HAS SOUS 21594 HAS SOUPS 21594 WITH SCORE 21631.332
AT ITER 8867 NEW BEST:: SOT 112962 SOS 37270 HAS SOPS 37270 HAS SOUS 21594 HAS SOUPS 21594 WITH SCORE 21631.27
AT ITER 8926 NEW BEST:: SOT 112962 SOS 37246 HAS SOPS 37246 HAS SOUS 21594 HAS SOUPS 21594 WITH SCORE 21631.246
AT ITER 8964 NEW BEST:: SOT 112966 SOS 37241 HAS SOPS 37241 HAS SOUS 21589 HAS SOUPS 21589 WITH SCORE 21626.241
AT ITER 8976 NEW BEST:: SOT 112966 SOS 37212 HAS SOPS 37212 HAS SOUS 21589 HAS SOUPS 21589 WITH SCORE 21626.212
AT ITER 8989 NEW BEST:: SOT 112951 SOS 37202 HAS SOPS 37202 HAS SOUS 21585 HAS SOUPS 21585 WITH SCORE 21622.202
AT ITER 9021 NEW BEST:: SOT 112943 SOS 37202 HAS SOPS 37202 HAS SOUS 21577 HAS SOUPS 21577 WITH SCORE 21614.202
AT ITER 9144 NEW BEST:: SOT 112921 SOS 37168 HAS SOPS 37168 HAS SOUS 21567 HAS SOUPS 21567 WITH SCORE 21604.168
AT ITER 9195 NEW BEST:: SOT 112917 SOS 37164 HAS SOPS 37164 HAS SOUS 21566 HAS SOUPS 21566 WITH SCORE 21603.164
AT ITER 9210 NEW BEST:: SOT 112914 SOS 37175 HAS SOPS 37175 HAS SOUS 21546 HAS SOUPS 21546 WITH SCORE 21583.175
AT ITER 9252 NEW BEST:: SOT 112896 SOS 37127 HAS SOPS 37127 HAS SOUS 21502 HAS SOUPS 21502 WITH SCORE 21539.127
AT ITER 9322 NEW BEST:: SOT 112896 SOS 37127 HAS SOPS 37127 HAS SOUS 21495 HAS SOUPS 21495 WITH SCORE 21532.127
AT ITER 9335 NEW BEST:: SOT 112893 SOS 37121 HAS SOPS 37121 HAS SOUS 21489 HAS SOUPS 21489 WITH SCORE 21526.121
AT ITER 9346 NEW BEST:: SOT 112862 SOS 37059 HAS SOPS 37059 HAS SOUS 21427 HAS SOUPS 21427 WITH SCORE 21464.059
AT ITER 9359 NEW BEST:: SOT 112862 SOS 37054 HAS SOPS 37054 HAS SOUS 21422 HAS SOUPS 21422 WITH SCORE 21459.054
AT ITER 9369 NEW BEST:: SOT 112824 SOS 37016 HAS SOPS 37016 HAS SOUS 21384 HAS SOUPS 21384 WITH SCORE 21421.016
AT ITER 9387 NEW BEST:: SOT 112827 SOS 37019 HAS SOPS 37019 HAS SOUS 21357 HAS SOUPS 21357 WITH SCORE 21394.019
AT ITER 9409 NEW BEST:: SOT 112813 SOS 36995 HAS SOPS 36995 HAS SOUS 21329 HAS SOUPS 21329 WITH SCORE 21365.995
AT ITER 9411 NEW BEST:: SOT 112812 SOS 36994 HAS SOPS 36994 HAS SOUS 21327 HAS SOUPS 21327 WITH SCORE 21363.994
AT ITER 9416 NEW BEST:: SOT 112805 SOS 36967 HAS SOPS 36967 HAS SOUS 21300 HAS SOUPS 21300 WITH SCORE 21336.967
AT ITER 9464 NEW BEST:: SOT 112805 SOS 36943 HAS SOPS 36943 HAS SOUS 21276 HAS SOUPS 21276 WITH SCORE 21312.943
AT ITER 9501 NEW BEST:: SOT 112805 SOS 36945 HAS SOPS 36945 HAS SOUS 21274 HAS SOUPS 21274 WITH SCORE 21310.945
AT ITER 9519 NEW BEST:: SOT 112782 SOS 36899 HAS SOPS 36899 HAS SOUS 21228 HAS SOUPS 21228 WITH SCORE 21264.899
AT ITER 9572 NEW BEST:: SOT 112794 SOS 36874 HAS SOPS 36874 HAS SOUS 21215 HAS SOUPS 21215 WITH SCORE 21251.874
AT ITER 9647 NEW BEST:: SOT 112791 SOS 36871 HAS SOPS 36871 HAS SOUS 21204 HAS SOUPS 21204 WITH SCORE 21240.871
AT ITER 9709 NEW BEST:: SOT 112781 SOS 36840 HAS SOPS 36840 HAS SOUS 21194 HAS SOUPS 21194 WITH SCORE 21230.84
AT ITER 9724 NEW BEST:: SOT 112776 SOS 36847 HAS SOPS 36847 HAS SOUS 21193 HAS SOUPS 21193 WITH SCORE 21229.847
AT ITER 9725 NEW BEST:: SOT 112761 SOS 36832 HAS SOPS 36832 HAS SOUS 21182 HAS SOUPS 21182 WITH SCORE 21218.832
AT ITER 9726 NEW BEST:: SOT 112781 SOS 36852 HAS SOPS 36852 HAS SOUS 21097 HAS SOUPS 21097 WITH SCORE 21133.852
AT ITER 9727 NEW BEST:: SOT 112781 SOS 36852 HAS SOPS 36852 HAS SOUS 21091 HAS SOUPS 21091 WITH SCORE 21127.852
AT ITER 9738 NEW BEST:: SOT 112775 SOS 36840 HAS SOPS 36840 HAS SOUS 21085 HAS SOUPS 21085 WITH SCORE 21121.84
AT ITER 9746 NEW BEST:: SOT 112762 SOS 36832 HAS SOPS 36832 HAS SOUS 21077 HAS SOUPS 21077 WITH SCORE 21113.832
AT ITER 9750 NEW BEST:: SOT 112758 SOS 36824 HAS SOPS 36824 HAS SOUS 21073 HAS SOUPS 21073 WITH SCORE 21109.824
AT ITER 9751 NEW BEST:: SOT 112758 SOS 36776 HAS SOPS 36776 HAS SOUS 21073 HAS SOUPS 21073 WITH SCORE 21109.776
AT ITER 9762 NEW BEST:: SOT 112740 SOS 36884 HAS SOPS 36884 HAS SOUS 21037 HAS SOUPS 21037 WITH SCORE 21073.884
AT ITER 9812 NEW BEST:: SOT 112749 SOS 36875 HAS SOPS 36875 HAS SOUS 21028 HAS SOUPS 21028 WITH SCORE 21064.875
AT ITER 9837 NEW BEST:: SOT 112743 SOS 36825 HAS SOPS 36825 HAS SOUS 21009 HAS SOUPS 21009 WITH SCORE 21045.825
AT ITER 9840 NEW BEST:: SOT 112742 SOS 36824 HAS SOPS 36824 HAS SOUS 21007 HAS SOUPS 21007 WITH SCORE 21043.824
AT ITER 9868 NEW BEST:: SOT 112745 SOS 36823 HAS SOPS 36823 HAS SOUS 21006 HAS SOUPS 21006 WITH SCORE 21042.823
AT ITER 9913 NEW BEST:: SOT 112728 SOS 36815 HAS SOPS 36815 HAS SOUS 20998 HAS SOUPS 20998 WITH SCORE 21034.815
AT ITER 9937 NEW BEST:: SOT 112713 SOS 36782 HAS SOPS 36782 HAS SOUS 20968 HAS SOUPS 20968 WITH SCORE 21004.782
AT ITER 9944 NEW BEST:: SOT 112705 SOS 36766 HAS SOPS 36766 HAS SOUS 20965 HAS SOUPS 20965 WITH SCORE 21001.766
AT ITER 9956 NEW BEST:: SOT 112698 SOS 36752 HAS SOPS 36752 HAS SOUS 20958 HAS SOUPS 20958 WITH SCORE 20994.752
AT ITER 9989 NEW BEST:: SOT 112698 SOS 36745 HAS SOPS 36745 HAS SOUS 20944 HAS SOUPS 20944 WITH SCORE 20980.745
AT ITER 9997 NEW BEST:: SOT 112705 SOS 36699 HAS SOPS 36699 HAS SOUS 20944 HAS SOUPS 20944 WITH SCORE 20980.699

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DiscoveryGPU-PT-15b"
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 DiscoveryGPU-PT-15b, 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 r063-tajo-158922807900744"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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