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-158897680100536.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 BusinessProcesses-PT-11, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897680100536
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 304K
-rw-r--r-- 1 mcc users 3.2K Mar 26 02:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 26 02:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 22:44 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 22:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 14:43 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:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Mar 25 17:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 25 17:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 25 14:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 14:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 25 17:55 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 25 17:55 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 141K 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 1589019832966

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

Filename model.pnml
Petri model created: 567 places, 508 transitions, 1512 arcs.
AT ITER 0 NEW BEST:: SOT 183845 SOS 71447 HAS SOPS 71447 HAS SOUS 69467 HAS SOUPS 69467 WITH SCORE 69538.447
AT ITER 24 NEW BEST:: SOT 183660 SOS 71283 HAS SOPS 71283 HAS SOUS 69313 HAS SOUPS 69313 WITH SCORE 69384.283
AT ITER 25 NEW BEST:: SOT 183660 SOS 71275 HAS SOPS 71275 HAS SOUS 69305 HAS SOUPS 69305 WITH SCORE 69376.275
AT ITER 30 NEW BEST:: SOT 183472 SOS 71259 HAS SOPS 71259 HAS SOUS 69210 HAS SOUPS 69210 WITH SCORE 69281.259
AT ITER 35 NEW BEST:: SOT 183433 SOS 71251 HAS SOPS 71251 HAS SOUS 69202 HAS SOUPS 69202 WITH SCORE 69273.251
AT ITER 42 NEW BEST:: SOT 183433 SOS 71220 HAS SOPS 71220 HAS SOUS 69171 HAS SOUPS 69171 WITH SCORE 69242.22
AT ITER 49 NEW BEST:: SOT 183431 SOS 71216 HAS SOPS 71216 HAS SOUS 69167 HAS SOUPS 69167 WITH SCORE 69238.216
AT ITER 50 NEW BEST:: SOT 183191 SOS 70909 HAS SOPS 70909 HAS SOUS 68860 HAS SOUPS 68860 WITH SCORE 68930.909
AT ITER 52 NEW BEST:: SOT 183191 SOS 70899 HAS SOPS 70899 HAS SOUS 68850 HAS SOUPS 68850 WITH SCORE 68920.899
AT ITER 57 NEW BEST:: SOT 183105 SOS 70789 HAS SOPS 70789 HAS SOUS 68740 HAS SOUPS 68740 WITH SCORE 68810.789
AT ITER 77 NEW BEST:: SOT 182939 SOS 70579 HAS SOPS 70579 HAS SOUS 68530 HAS SOUPS 68530 WITH SCORE 68600.579
AT ITER 78 NEW BEST:: SOT 182939 SOS 70514 HAS SOPS 70514 HAS SOUS 68465 HAS SOUPS 68465 WITH SCORE 68535.514
AT ITER 81 NEW BEST:: SOT 182979 SOS 70450 HAS SOPS 70450 HAS SOUS 68401 HAS SOUPS 68401 WITH SCORE 68471.45
AT ITER 88 NEW BEST:: SOT 182977 SOS 70421 HAS SOPS 70421 HAS SOUS 68369 HAS SOUPS 68369 WITH SCORE 68439.421
AT ITER 90 NEW BEST:: SOT 182977 SOS 70401 HAS SOPS 70401 HAS SOUS 68349 HAS SOUPS 68349 WITH SCORE 68419.401
AT ITER 91 NEW BEST:: SOT 182937 SOS 70361 HAS SOPS 70361 HAS SOUS 68309 HAS SOUPS 68309 WITH SCORE 68379.361
AT ITER 104 NEW BEST:: SOT 182890 SOS 70314 HAS SOPS 70314 HAS SOUS 68262 HAS SOUPS 68262 WITH SCORE 68332.314
AT ITER 108 NEW BEST:: SOT 182792 SOS 70216 HAS SOPS 70216 HAS SOUS 68164 HAS SOUPS 68164 WITH SCORE 68234.216
AT ITER 109 NEW BEST:: SOT 182791 SOS 70215 HAS SOPS 70215 HAS SOUS 68164 HAS SOUPS 68164 WITH SCORE 68234.215
AT ITER 113 NEW BEST:: SOT 182765 SOS 70189 HAS SOPS 70189 HAS SOUS 68138 HAS SOUPS 68138 WITH SCORE 68208.189
AT ITER 116 NEW BEST:: SOT 182596 SOS 69844 HAS SOPS 69844 HAS SOUS 67793 HAS SOUPS 67793 WITH SCORE 67862.844
AT ITER 129 NEW BEST:: SOT 182590 SOS 69838 HAS SOPS 69838 HAS SOUS 67787 HAS SOUPS 67787 WITH SCORE 67856.838
AT ITER 134 NEW BEST:: SOT 182586 SOS 69830 HAS SOPS 69830 HAS SOUS 67779 HAS SOUPS 67779 WITH SCORE 67848.83
AT ITER 143 NEW BEST:: SOT 180442 SOS 67686 HAS SOPS 67686 HAS SOUS 65635 HAS SOUPS 65635 WITH SCORE 65702.686
AT ITER 147 NEW BEST:: SOT 180396 SOS 67620 HAS SOPS 67620 HAS SOUS 65569 HAS SOUPS 65569 WITH SCORE 65636.62
AT ITER 155 NEW BEST:: SOT 180321 SOS 67600 HAS SOPS 67600 HAS SOUS 65545 HAS SOUPS 65545 WITH SCORE 65612.6
AT ITER 169 NEW BEST:: SOT 180391 SOS 67588 HAS SOPS 67588 HAS SOUS 65533 HAS SOUPS 65533 WITH SCORE 65600.588
AT ITER 173 NEW BEST:: SOT 180389 SOS 67559 HAS SOPS 67559 HAS SOUS 65504 HAS SOUPS 65504 WITH SCORE 65571.559
AT ITER 200 NEW BEST:: SOT 180375 SOS 67531 HAS SOPS 67531 HAS SOUS 65490 HAS SOUPS 65490 WITH SCORE 65557.531
AT ITER 201 NEW BEST:: SOT 180501 SOS 67505 HAS SOPS 67505 HAS SOUS 65464 HAS SOUPS 65464 WITH SCORE 65531.505
AT ITER 208 NEW BEST:: SOT 180501 SOS 67424 HAS SOPS 67424 HAS SOUS 65383 HAS SOUPS 65383 WITH SCORE 65450.424
AT ITER 213 NEW BEST:: SOT 180387 SOS 67358 HAS SOPS 67358 HAS SOUS 65263 HAS SOUPS 65263 WITH SCORE 65330.358
AT ITER 221 NEW BEST:: SOT 180416 SOS 67266 HAS SOPS 67266 HAS SOUS 65171 HAS SOUPS 65171 WITH SCORE 65238.266
AT ITER 223 NEW BEST:: SOT 180416 SOS 67170 HAS SOPS 67170 HAS SOUS 65075 HAS SOUPS 65075 WITH SCORE 65142.17
AT ITER 224 NEW BEST:: SOT 180415 SOS 67126 HAS SOPS 67126 HAS SOUS 65054 HAS SOUPS 65054 WITH SCORE 65121.126
AT ITER 225 NEW BEST:: SOT 180396 SOS 67107 HAS SOPS 67107 HAS SOUS 65035 HAS SOUPS 65035 WITH SCORE 65102.107
AT ITER 230 NEW BEST:: SOT 180173 SOS 66806 HAS SOPS 66806 HAS SOUS 64734 HAS SOUPS 64734 WITH SCORE 64800.806
AT ITER 233 NEW BEST:: SOT 180114 SOS 66753 HAS SOPS 66753 HAS SOUS 64681 HAS SOUPS 64681 WITH SCORE 64747.753
AT ITER 236 NEW BEST:: SOT 180097 SOS 66724 HAS SOPS 66724 HAS SOUS 64652 HAS SOUPS 64652 WITH SCORE 64718.724
AT ITER 244 NEW BEST:: SOT 179287 SOS 66022 HAS SOPS 66022 HAS SOUS 63950 HAS SOUPS 63950 WITH SCORE 64016.022
AT ITER 257 NEW BEST:: SOT 178065 SOS 64887 HAS SOPS 64887 HAS SOUS 62815 HAS SOUPS 62815 WITH SCORE 62879.887
AT ITER 266 NEW BEST:: SOT 178023 SOS 64836 HAS SOPS 64836 HAS SOUS 62764 HAS SOUPS 62764 WITH SCORE 62828.836
AT ITER 270 NEW BEST:: SOT 178023 SOS 64830 HAS SOPS 64830 HAS SOUS 62758 HAS SOUPS 62758 WITH SCORE 62822.83
AT ITER 276 NEW BEST:: SOT 178023 SOS 64810 HAS SOPS 64810 HAS SOUS 62738 HAS SOUPS 62738 WITH SCORE 62802.81
AT ITER 296 NEW BEST:: SOT 176590 SOS 63432 HAS SOPS 63432 HAS SOUS 61357 HAS SOUPS 61357 WITH SCORE 61420.432
AT ITER 305 NEW BEST:: SOT 176461 SOS 63397 HAS SOPS 63397 HAS SOUS 61322 HAS SOUPS 61322 WITH SCORE 61385.397
AT ITER 309 NEW BEST:: SOT 176455 SOS 63357 HAS SOPS 63357 HAS SOUS 61282 HAS SOUPS 61282 WITH SCORE 61345.357
AT ITER 310 NEW BEST:: SOT 176433 SOS 63313 HAS SOPS 63313 HAS SOUS 61238 HAS SOUPS 61238 WITH SCORE 61301.313
AT ITER 315 NEW BEST:: SOT 176409 SOS 63357 HAS SOPS 63357 HAS SOUS 61178 HAS SOUPS 61178 WITH SCORE 61241.357
AT ITER 320 NEW BEST:: SOT 176324 SOS 63187 HAS SOPS 63187 HAS SOUS 60899 HAS SOUPS 60899 WITH SCORE 60962.187
AT ITER 324 NEW BEST:: SOT 176324 SOS 63146 HAS SOPS 63146 HAS SOUS 60858 HAS SOUPS 60858 WITH SCORE 60921.146
AT ITER 339 NEW BEST:: SOT 176324 SOS 62974 HAS SOPS 62974 HAS SOUS 60686 HAS SOUPS 60686 WITH SCORE 60748.974
AT ITER 346 NEW BEST:: SOT 176236 SOS 62798 HAS SOPS 62798 HAS SOUS 60510 HAS SOUPS 60510 WITH SCORE 60572.798
AT ITER 368 NEW BEST:: SOT 176236 SOS 62680 HAS SOPS 62680 HAS SOUS 60392 HAS SOUPS 60392 WITH SCORE 60454.68
AT ITER 371 NEW BEST:: SOT 176236 SOS 62635 HAS SOPS 62635 HAS SOUS 60369 HAS SOUPS 60369 WITH SCORE 60431.635
AT ITER 387 NEW BEST:: SOT 176236 SOS 62630 HAS SOPS 62630 HAS SOUS 60364 HAS SOUPS 60364 WITH SCORE 60426.63
AT ITER 395 NEW BEST:: SOT 176132 SOS 62458 HAS SOPS 62458 HAS SOUS 60192 HAS SOUPS 60192 WITH SCORE 60254.458
AT ITER 401 NEW BEST:: SOT 176132 SOS 62456 HAS SOPS 62456 HAS SOUS 60190 HAS SOUPS 60190 WITH SCORE 60252.456
AT ITER 406 NEW BEST:: SOT 176132 SOS 62337 HAS SOPS 62337 HAS SOUS 60149 HAS SOUPS 60149 WITH SCORE 60211.337
AT ITER 409 NEW BEST:: SOT 176076 SOS 62028 HAS SOPS 62028 HAS SOUS 59856 HAS SOUPS 59856 WITH SCORE 59918.028
AT ITER 442 NEW BEST:: SOT 176076 SOS 62010 HAS SOPS 62010 HAS SOUS 59838 HAS SOUPS 59838 WITH SCORE 59900.01
AT ITER 443 NEW BEST:: SOT 176006 SOS 61870 HAS SOPS 61870 HAS SOUS 59698 HAS SOUPS 59698 WITH SCORE 59759.87
AT ITER 450 NEW BEST:: SOT 176006 SOS 61815 HAS SOPS 61815 HAS SOUS 59643 HAS SOUPS 59643 WITH SCORE 59704.815
AT ITER 458 NEW BEST:: SOT 176006 SOS 61775 HAS SOPS 61775 HAS SOUS 59603 HAS SOUPS 59603 WITH SCORE 59664.775
AT ITER 475 NEW BEST:: SOT 175977 SOS 61830 HAS SOPS 61830 HAS SOUS 59554 HAS SOUPS 59554 WITH SCORE 59615.83
AT ITER 476 NEW BEST:: SOT 175975 SOS 61828 HAS SOPS 61828 HAS SOUS 59552 HAS SOUPS 59552 WITH SCORE 59613.828
AT ITER 497 NEW BEST:: SOT 175975 SOS 61824 HAS SOPS 61824 HAS SOUS 59548 HAS SOUPS 59548 WITH SCORE 59609.824
AT ITER 502 NEW BEST:: SOT 175905 SOS 61684 HAS SOPS 61684 HAS SOUS 59408 HAS SOUPS 59408 WITH SCORE 59469.684
AT ITER 504 NEW BEST:: SOT 175900 SOS 61679 HAS SOPS 61679 HAS SOUS 59403 HAS SOUPS 59403 WITH SCORE 59464.679
AT ITER 526 NEW BEST:: SOT 175900 SOS 61667 HAS SOPS 61667 HAS SOUS 59391 HAS SOUPS 59391 WITH SCORE 59452.667
AT ITER 535 NEW BEST:: SOT 175900 SOS 61656 HAS SOPS 61656 HAS SOUS 59380 HAS SOUPS 59380 WITH SCORE 59441.656
AT ITER 538 NEW BEST:: SOT 175899 SOS 61654 HAS SOPS 61654 HAS SOUS 59378 HAS SOUPS 59378 WITH SCORE 59439.654
AT ITER 543 NEW BEST:: SOT 175801 SOS 61556 HAS SOPS 61556 HAS SOUS 59280 HAS SOUPS 59280 WITH SCORE 59341.556
AT ITER 547 NEW BEST:: SOT 175756 SOS 61551 HAS SOPS 61551 HAS SOUS 59255 HAS SOUPS 59255 WITH SCORE 59316.551
AT ITER 552 NEW BEST:: SOT 175743 SOS 61525 HAS SOPS 61525 HAS SOUS 59229 HAS SOUPS 59229 WITH SCORE 59290.525
AT ITER 553 NEW BEST:: SOT 175742 SOS 61523 HAS SOPS 61523 HAS SOUS 59227 HAS SOUPS 59227 WITH SCORE 59288.523
AT ITER 557 NEW BEST:: SOT 175704 SOS 61417 HAS SOPS 61417 HAS SOUS 59121 HAS SOUPS 59121 WITH SCORE 59182.417
AT ITER 574 NEW BEST:: SOT 175711 SOS 61356 HAS SOPS 61356 HAS SOUS 59079 HAS SOUPS 59079 WITH SCORE 59140.356
AT ITER 578 NEW BEST:: SOT 175710 SOS 61275 HAS SOPS 61275 HAS SOUS 59077 HAS SOUPS 59077 WITH SCORE 59138.275
AT ITER 585 NEW BEST:: SOT 175710 SOS 61219 HAS SOPS 61219 HAS SOUS 59021 HAS SOUPS 59021 WITH SCORE 59082.219
AT ITER 598 NEW BEST:: SOT 175694 SOS 61192 HAS SOPS 61192 HAS SOUS 58999 HAS SOUPS 58999 WITH SCORE 59060.192
AT ITER 601 NEW BEST:: SOT 175683 SOS 61170 HAS SOPS 61170 HAS SOUS 58977 HAS SOUPS 58977 WITH SCORE 59038.17
AT ITER 606 NEW BEST:: SOT 175692 SOS 61128 HAS SOPS 61128 HAS SOUS 58935 HAS SOUPS 58935 WITH SCORE 58996.128
AT ITER 608 NEW BEST:: SOT 171247 SOS 61531 HAS SOPS 61531 HAS SOUS 54828 HAS SOUPS 54828 WITH SCORE 54889.531
AT ITER 610 NEW BEST:: SOT 171242 SOS 61490 HAS SOPS 61490 HAS SOUS 54825 HAS SOUPS 54825 WITH SCORE 54886.49
AT ITER 634 NEW BEST:: SOT 171242 SOS 61489 HAS SOPS 61489 HAS SOUS 54824 HAS SOUPS 54824 WITH SCORE 54885.489
AT ITER 652 NEW BEST:: SOT 171199 SOS 61455 HAS SOPS 61455 HAS SOUS 54790 HAS SOUPS 54790 WITH SCORE 54851.455
AT ITER 656 NEW BEST:: SOT 171191 SOS 61443 HAS SOPS 61443 HAS SOUS 54782 HAS SOUPS 54782 WITH SCORE 54843.443
AT ITER 673 NEW BEST:: SOT 171159 SOS 61411 HAS SOPS 61411 HAS SOUS 54750 HAS SOUPS 54750 WITH SCORE 54811.411
AT ITER 690 NEW BEST:: SOT 171048 SOS 61300 HAS SOPS 61300 HAS SOUS 54750 HAS SOUPS 54750 WITH SCORE 54811.3
AT ITER 708 NEW BEST:: SOT 171015 SOS 61267 HAS SOPS 61267 HAS SOUS 54717 HAS SOUPS 54717 WITH SCORE 54778.267
AT ITER 711 NEW BEST:: SOT 171015 SOS 61266 HAS SOPS 61266 HAS SOUS 54716 HAS SOUPS 54716 WITH SCORE 54777.266
AT ITER 723 NEW BEST:: SOT 170973 SOS 60758 HAS SOPS 60758 HAS SOUS 54426 HAS SOUPS 54426 WITH SCORE 54486.758
AT ITER 734 NEW BEST:: SOT 170973 SOS 60699 HAS SOPS 60699 HAS SOUS 54367 HAS SOUPS 54367 WITH SCORE 54427.699
AT ITER 757 NEW BEST:: SOT 170990 SOS 60686 HAS SOPS 60686 HAS SOUS 54354 HAS SOUPS 54354 WITH SCORE 54414.686
AT ITER 758 NEW BEST:: SOT 169872 SOS 59555 HAS SOPS 59555 HAS SOUS 53137 HAS SOUPS 53137 WITH SCORE 53196.555
AT ITER 776 NEW BEST:: SOT 169872 SOS 59555 HAS SOPS 59555 HAS SOUS 53115 HAS SOUPS 53115 WITH SCORE 53174.555
AT ITER 808 NEW BEST:: SOT 169864 SOS 59539 HAS SOPS 59539 HAS SOUS 53099 HAS SOUPS 53099 WITH SCORE 53158.539
AT ITER 820 NEW BEST:: SOT 169905 SOS 59529 HAS SOPS 59529 HAS SOUS 53010 HAS SOUPS 53010 WITH SCORE 53069.529
AT ITER 829 NEW BEST:: SOT 169874 SOS 59397 HAS SOPS 59397 HAS SOUS 52944 HAS SOUPS 52944 WITH SCORE 53003.397
AT ITER 835 NEW BEST:: SOT 169874 SOS 59378 HAS SOPS 59378 HAS SOUS 52925 HAS SOUPS 52925 WITH SCORE 52984.378
AT ITER 839 NEW BEST:: SOT 169855 SOS 59321 HAS SOPS 59321 HAS SOUS 52868 HAS SOUPS 52868 WITH SCORE 52927.321
AT ITER 848 NEW BEST:: SOT 169746 SOS 59106 HAS SOPS 59106 HAS SOUS 52653 HAS SOUPS 52653 WITH SCORE 52712.106
AT ITER 862 NEW BEST:: SOT 169763 SOS 59064 HAS SOPS 59064 HAS SOUS 52611 HAS SOUPS 52611 WITH SCORE 52670.064
AT ITER 880 NEW BEST:: SOT 169755 SOS 59048 HAS SOPS 59048 HAS SOUS 52595 HAS SOUPS 52595 WITH SCORE 52654.048
AT ITER 897 NEW BEST:: SOT 169743 SOS 59036 HAS SOPS 59036 HAS SOUS 52583 HAS SOUPS 52583 WITH SCORE 52642.036
AT ITER 903 NEW BEST:: SOT 169708 SOS 59001 HAS SOPS 59001 HAS SOUS 52548 HAS SOUPS 52548 WITH SCORE 52607.001
AT ITER 915 NEW BEST:: SOT 169638 SOS 58861 HAS SOPS 58861 HAS SOUS 52408 HAS SOUPS 52408 WITH SCORE 52466.861
AT ITER 916 NEW BEST:: SOT 169648 SOS 58842 HAS SOPS 58842 HAS SOUS 52407 HAS SOUPS 52407 WITH SCORE 52465.842
AT ITER 919 NEW BEST:: SOT 169689 SOS 58883 HAS SOPS 58883 HAS SOUS 52375 HAS SOUPS 52375 WITH SCORE 52433.883
AT ITER 924 NEW BEST:: SOT 169689 SOS 58824 HAS SOPS 58824 HAS SOUS 52316 HAS SOUPS 52316 WITH SCORE 52374.824
AT ITER 938 NEW BEST:: SOT 169475 SOS 58827 HAS SOPS 58827 HAS SOUS 52180 HAS SOUPS 52180 WITH SCORE 52238.827
AT ITER 940 NEW BEST:: SOT 169460 SOS 58797 HAS SOPS 58797 HAS SOUS 52150 HAS SOUPS 52150 WITH SCORE 52208.797
AT ITER 947 NEW BEST:: SOT 169442 SOS 58794 HAS SOPS 58794 HAS SOUS 52147 HAS SOUPS 52147 WITH SCORE 52205.794
AT ITER 959 NEW BEST:: SOT 169442 SOS 58783 HAS SOPS 58783 HAS SOUS 52136 HAS SOUPS 52136 WITH SCORE 52194.783
AT ITER 966 NEW BEST:: SOT 169471 SOS 58642 HAS SOPS 58642 HAS SOUS 52104 HAS SOUPS 52104 WITH SCORE 52162.642
AT ITER 974 NEW BEST:: SOT 169471 SOS 58576 HAS SOPS 58576 HAS SOUS 52038 HAS SOUPS 52038 WITH SCORE 52096.576
AT ITER 975 NEW BEST:: SOT 169431 SOS 58413 HAS SOPS 58413 HAS SOUS 51919 HAS SOUPS 51919 WITH SCORE 51977.413
AT ITER 994 NEW BEST:: SOT 169339 SOS 58269 HAS SOPS 58269 HAS SOUS 51827 HAS SOUPS 51827 WITH SCORE 51885.269
AT ITER 998 NEW BEST:: SOT 169362 SOS 58196 HAS SOPS 58196 HAS SOUS 51754 HAS SOUPS 51754 WITH SCORE 51812.196
AT ITER 1003 NEW BEST:: SOT 169351 SOS 58174 HAS SOPS 58174 HAS SOUS 51743 HAS SOUPS 51743 WITH SCORE 51801.174
AT ITER 1014 NEW BEST:: SOT 169396 SOS 58219 HAS SOPS 58219 HAS SOUS 51742 HAS SOUPS 51742 WITH SCORE 51800.219
AT ITER 1019 NEW BEST:: SOT 169427 SOS 58187 HAS SOPS 58187 HAS SOUS 51708 HAS SOUPS 51708 WITH SCORE 51766.187
AT ITER 1032 NEW BEST:: SOT 169394 SOS 58141 HAS SOPS 58141 HAS SOUS 51697 HAS SOUPS 51697 WITH SCORE 51755.141
AT ITER 1035 NEW BEST:: SOT 169200 SOS 57950 HAS SOPS 57950 HAS SOUS 51537 HAS SOUPS 51537 WITH SCORE 51594.95
AT ITER 1050 NEW BEST:: SOT 169173 SOS 57950 HAS SOPS 57950 HAS SOUS 51519 HAS SOUPS 51519 WITH SCORE 51576.95
AT ITER 1073 NEW BEST:: SOT 169174 SOS 57916 HAS SOPS 57916 HAS SOUS 51485 HAS SOUPS 51485 WITH SCORE 51542.916
AT ITER 1082 NEW BEST:: SOT 169171 SOS 57910 HAS SOPS 57910 HAS SOUS 51479 HAS SOUPS 51479 WITH SCORE 51536.91
AT ITER 1101 NEW BEST:: SOT 169139 SOS 57879 HAS SOPS 57879 HAS SOUS 51448 HAS SOUPS 51448 WITH SCORE 51505.879
AT ITER 1117 NEW BEST:: SOT 169139 SOS 57874 HAS SOPS 57874 HAS SOUS 51443 HAS SOUPS 51443 WITH SCORE 51500.874
AT ITER 1126 NEW BEST:: SOT 169138 SOS 57872 HAS SOPS 57872 HAS SOUS 51441 HAS SOUPS 51441 WITH SCORE 51498.872
AT ITER 1132 NEW BEST:: SOT 169138 SOS 57839 HAS SOPS 57839 HAS SOUS 51408 HAS SOUPS 51408 WITH SCORE 51465.839
AT ITER 1141 NEW BEST:: SOT 169138 SOS 57839 HAS SOPS 57839 HAS SOUS 51388 HAS SOUPS 51388 WITH SCORE 51445.839
AT ITER 1148 NEW BEST:: SOT 169042 SOS 57661 HAS SOPS 57661 HAS SOUS 51210 HAS SOUPS 51210 WITH SCORE 51267.661
AT ITER 1158 NEW BEST:: SOT 168972 SOS 57738 HAS SOPS 57738 HAS SOUS 51171 HAS SOUPS 51171 WITH SCORE 51228.738
AT ITER 1177 NEW BEST:: SOT 168971 SOS 57737 HAS SOPS 57737 HAS SOUS 51170 HAS SOUPS 51170 WITH SCORE 51227.737
AT ITER 1186 NEW BEST:: SOT 169062 SOS 57828 HAS SOPS 57828 HAS SOUS 51164 HAS SOUPS 51164 WITH SCORE 51221.828
AT ITER 1192 NEW BEST:: SOT 168900 SOS 57666 HAS SOPS 57666 HAS SOUS 51164 HAS SOUPS 51164 WITH SCORE 51221.666
AT ITER 1214 NEW BEST:: SOT 168705 SOS 57377 HAS SOPS 57377 HAS SOUS 50969 HAS SOUPS 50969 WITH SCORE 51026.377
AT ITER 1216 NEW BEST:: SOT 168599 SOS 57295 HAS SOPS 57295 HAS SOUS 50937 HAS SOUPS 50937 WITH SCORE 50994.295
AT ITER 1221 NEW BEST:: SOT 168489 SOS 57062 HAS SOPS 57062 HAS SOUS 50704 HAS SOUPS 50704 WITH SCORE 50761.062
AT ITER 1227 NEW BEST:: SOT 168326 SOS 57312 HAS SOPS 57312 HAS SOUS 50613 HAS SOUPS 50613 WITH SCORE 50670.312
AT ITER 1228 NEW BEST:: SOT 168193 SOS 57119 HAS SOPS 57119 HAS SOUS 50535 HAS SOUPS 50535 WITH SCORE 50592.119
AT ITER 1230 NEW BEST:: SOT 168144 SOS 56980 HAS SOPS 56980 HAS SOUS 50396 HAS SOUPS 50396 WITH SCORE 50452.98
AT ITER 1258 NEW BEST:: SOT 168176 SOS 56963 HAS SOPS 56963 HAS SOUS 50383 HAS SOUPS 50383 WITH SCORE 50439.963
AT ITER 1259 NEW BEST:: SOT 167117 SOS 55904 HAS SOPS 55904 HAS SOUS 49324 HAS SOUPS 49324 WITH SCORE 49379.904
AT ITER 1279 NEW BEST:: SOT 167076 SOS 55863 HAS SOPS 55863 HAS SOUS 49283 HAS SOUPS 49283 WITH SCORE 49338.863
AT ITER 1281 NEW BEST:: SOT 167067 SOS 55854 HAS SOPS 55854 HAS SOUS 49274 HAS SOUPS 49274 WITH SCORE 49329.854
AT ITER 1286 NEW BEST:: SOT 166971 SOS 55756 HAS SOPS 55756 HAS SOUS 49189 HAS SOUPS 49189 WITH SCORE 49244.756
AT ITER 1307 NEW BEST:: SOT 167040 SOS 55688 HAS SOPS 55688 HAS SOUS 49121 HAS SOUPS 49121 WITH SCORE 49176.688
AT ITER 1329 NEW BEST:: SOT 166947 SOS 55591 HAS SOPS 55591 HAS SOUS 49024 HAS SOUPS 49024 WITH SCORE 49079.591
AT ITER 1352 NEW BEST:: SOT 166807 SOS 55319 HAS SOPS 55319 HAS SOUS 48769 HAS SOUPS 48769 WITH SCORE 48824.319
AT ITER 1357 NEW BEST:: SOT 166892 SOS 55404 HAS SOPS 55404 HAS SOUS 48724 HAS SOUPS 48724 WITH SCORE 48779.404
AT ITER 1388 NEW BEST:: SOT 166750 SOS 55120 HAS SOPS 55120 HAS SOUS 48616 HAS SOUPS 48616 WITH SCORE 48671.12
AT ITER 1394 NEW BEST:: SOT 166646 SOS 54983 HAS SOPS 54983 HAS SOUS 48512 HAS SOUPS 48512 WITH SCORE 48566.983
AT ITER 1404 NEW BEST:: SOT 166646 SOS 54983 HAS SOPS 54983 HAS SOUS 48509 HAS SOUPS 48509 WITH SCORE 48563.983
AT ITER 1409 NEW BEST:: SOT 166621 SOS 54914 HAS SOPS 54914 HAS SOUS 48440 HAS SOUPS 48440 WITH SCORE 48494.914
AT ITER 1426 NEW BEST:: SOT 166588 SOS 54793 HAS SOPS 54793 HAS SOUS 48363 HAS SOUPS 48363 WITH SCORE 48417.793
AT ITER 1459 NEW BEST:: SOT 166576 SOS 54781 HAS SOPS 54781 HAS SOUS 48351 HAS SOUPS 48351 WITH SCORE 48405.781
AT ITER 1462 NEW BEST:: SOT 166577 SOS 54675 HAS SOPS 54675 HAS SOUS 48245 HAS SOUPS 48245 WITH SCORE 48299.675
AT ITER 1478 NEW BEST:: SOT 166481 SOS 54483 HAS SOPS 54483 HAS SOUS 48149 HAS SOUPS 48149 WITH SCORE 48203.483
AT ITER 1492 NEW BEST:: SOT 166341 SOS 54273 HAS SOPS 54273 HAS SOUS 47939 HAS SOUPS 47939 WITH SCORE 47993.273
AT ITER 1495 NEW BEST:: SOT 166341 SOS 54273 HAS SOPS 54273 HAS SOUS 47904 HAS SOUPS 47904 WITH SCORE 47958.273
AT ITER 1498 NEW BEST:: SOT 166316 SOS 55055 HAS SOPS 55055 HAS SOUS 47879 HAS SOUPS 47879 WITH SCORE 47934.055
AT ITER 1508 NEW BEST:: SOT 166264 SOS 54938 HAS SOPS 54938 HAS SOUS 47762 HAS SOUPS 47762 WITH SCORE 47816.938
AT ITER 1513 NEW BEST:: SOT 166248 SOS 54877 HAS SOPS 54877 HAS SOUS 47756 HAS SOUPS 47756 WITH SCORE 47810.877
AT ITER 1548 NEW BEST:: SOT 166246 SOS 54873 HAS SOPS 54873 HAS SOUS 47752 HAS SOUPS 47752 WITH SCORE 47806.873
AT ITER 1562 NEW BEST:: SOT 166403 SOS 54851 HAS SOPS 54851 HAS SOUS 47730 HAS SOUPS 47730 WITH SCORE 47784.851
AT ITER 1567 NEW BEST:: SOT 166361 SOS 54809 HAS SOPS 54809 HAS SOUS 47688 HAS SOUPS 47688 WITH SCORE 47742.809
AT ITER 1568 NEW BEST:: SOT 166360 SOS 54807 HAS SOPS 54807 HAS SOUS 47619 HAS SOUPS 47619 WITH SCORE 47673.807
AT ITER 1581 NEW BEST:: SOT 166352 SOS 54773 HAS SOPS 54773 HAS SOUS 47593 HAS SOUPS 47593 WITH SCORE 47647.773
AT ITER 1582 NEW BEST:: SOT 166330 SOS 54750 HAS SOPS 54750 HAS SOUS 47570 HAS SOUPS 47570 WITH SCORE 47624.75
AT ITER 1593 NEW BEST:: SOT 166321 SOS 54732 HAS SOPS 54732 HAS SOUS 47543 HAS SOUPS 47543 WITH SCORE 47597.732
AT ITER 1612 NEW BEST:: SOT 166321 SOS 54732 HAS SOPS 54732 HAS SOUS 47511 HAS SOUPS 47511 WITH SCORE 47565.732
AT ITER 1630 NEW BEST:: SOT 166318 SOS 54726 HAS SOPS 54726 HAS SOUS 47505 HAS SOUPS 47505 WITH SCORE 47559.726
AT ITER 1643 NEW BEST:: SOT 166196 SOS 54602 HAS SOPS 54602 HAS SOUS 47381 HAS SOUPS 47381 WITH SCORE 47435.602
AT ITER 1650 NEW BEST:: SOT 166225 SOS 54599 HAS SOPS 54599 HAS SOUS 47378 HAS SOUPS 47378 WITH SCORE 47432.599
AT ITER 1652 NEW BEST:: SOT 166138 SOS 54441 HAS SOPS 54441 HAS SOUS 47220 HAS SOUPS 47220 WITH SCORE 47274.441
AT ITER 1655 NEW BEST:: SOT 166127 SOS 54430 HAS SOPS 54430 HAS SOUS 47209 HAS SOUPS 47209 WITH SCORE 47263.43
AT ITER 1658 NEW BEST:: SOT 166108 SOS 54472 HAS SOPS 54472 HAS SOUS 47191 HAS SOUPS 47191 WITH SCORE 47245.472
AT ITER 1666 NEW BEST:: SOT 166108 SOS 54444 HAS SOPS 54444 HAS SOUS 47163 HAS SOUPS 47163 WITH SCORE 47217.444
AT ITER 1667 NEW BEST:: SOT 166066 SOS 54384 HAS SOPS 54384 HAS SOUS 47103 HAS SOUPS 47103 WITH SCORE 47157.384
AT ITER 1670 NEW BEST:: SOT 166011 SOS 54323 HAS SOPS 54323 HAS SOUS 47042 HAS SOUPS 47042 WITH SCORE 47096.323
AT ITER 1676 NEW BEST:: SOT 165968 SOS 54215 HAS SOPS 54215 HAS SOUS 46934 HAS SOUPS 46934 WITH SCORE 46988.215
AT ITER 1678 NEW BEST:: SOT 165913 SOS 54117 HAS SOPS 54117 HAS SOUS 46836 HAS SOUPS 46836 WITH SCORE 46890.117
AT ITER 1686 NEW BEST:: SOT 165910 SOS 54114 HAS SOPS 54114 HAS SOUS 46833 HAS SOUPS 46833 WITH SCORE 46887.114
AT ITER 1707 NEW BEST:: SOT 165910 SOS 54114 HAS SOPS 54114 HAS SOUS 46825 HAS SOUPS 46825 WITH SCORE 46879.114
AT ITER 1733 NEW BEST:: SOT 165965 SOS 54013 HAS SOPS 54013 HAS SOUS 46803 HAS SOUPS 46803 WITH SCORE 46857.013
AT ITER 1743 NEW BEST:: SOT 165955 SOS 54003 HAS SOPS 54003 HAS SOUS 46803 HAS SOUPS 46803 WITH SCORE 46857.003
AT ITER 1779 NEW BEST:: SOT 165948 SOS 53997 HAS SOPS 53997 HAS SOUS 46797 HAS SOUPS 46797 WITH SCORE 46850.997
AT ITER 1802 NEW BEST:: SOT 165947 SOS 53995 HAS SOPS 53995 HAS SOUS 46795 HAS SOUPS 46795 WITH SCORE 46848.995
AT ITER 1812 NEW BEST:: SOT 165936 SOS 53973 HAS SOPS 53973 HAS SOUS 46784 HAS SOUPS 46784 WITH SCORE 46837.973
AT ITER 1828 NEW BEST:: SOT 165934 SOS 53966 HAS SOPS 53966 HAS SOUS 46777 HAS SOUPS 46777 WITH SCORE 46830.966
AT ITER 1830 NEW BEST:: SOT 165934 SOS 53951 HAS SOPS 53951 HAS SOUS 46762 HAS SOUPS 46762 WITH SCORE 46815.951
AT ITER 1848 NEW BEST:: SOT 165281 SOS 53386 HAS SOPS 53386 HAS SOUS 46166 HAS SOUPS 46166 WITH SCORE 46219.386
AT ITER 1849 NEW BEST:: SOT 165273 SOS 53370 HAS SOPS 53370 HAS SOUS 46150 HAS SOUPS 46150 WITH SCORE 46203.37
AT ITER 1870 NEW BEST:: SOT 165255 SOS 53335 HAS SOPS 53335 HAS SOUS 46115 HAS SOUPS 46115 WITH SCORE 46168.335
AT ITER 1892 NEW BEST:: SOT 165215 SOS 53255 HAS SOPS 53255 HAS SOUS 46035 HAS SOUPS 46035 WITH SCORE 46088.255
AT ITER 1895 NEW BEST:: SOT 165241 SOS 53290 HAS SOPS 53290 HAS SOUS 46018 HAS SOUPS 46018 WITH SCORE 46071.29
AT ITER 1899 NEW BEST:: SOT 165255 SOS 53304 HAS SOPS 53304 HAS SOUS 46011 HAS SOUPS 46011 WITH SCORE 46064.304
AT ITER 1917 NEW BEST:: SOT 165249 SOS 53300 HAS SOPS 53300 HAS SOUS 46005 HAS SOUPS 46005 WITH SCORE 46058.3
AT ITER 1920 NEW BEST:: SOT 165129 SOS 53119 HAS SOPS 53119 HAS SOUS 45824 HAS SOUPS 45824 WITH SCORE 45877.119
AT ITER 1965 NEW BEST:: SOT 165119 SOS 53109 HAS SOPS 53109 HAS SOUS 45819 HAS SOUPS 45819 WITH SCORE 45872.109
AT ITER 1969 NEW BEST:: SOT 165095 SOS 53061 HAS SOPS 53061 HAS SOUS 45794 HAS SOUPS 45794 WITH SCORE 45847.061
AT ITER 1977 NEW BEST:: SOT 165007 SOS 52985 HAS SOPS 52985 HAS SOUS 45718 HAS SOUPS 45718 WITH SCORE 45770.985
AT ITER 1988 NEW BEST:: SOT 165007 SOS 52958 HAS SOPS 52958 HAS SOUS 45691 HAS SOUPS 45691 WITH SCORE 45743.958
AT ITER 1990 NEW BEST:: SOT 164811 SOS 52861 HAS SOPS 52861 HAS SOUS 45643 HAS SOUPS 45643 WITH SCORE 45695.861
AT ITER 1993 NEW BEST:: SOT 164813 SOS 52851 HAS SOPS 52851 HAS SOUS 45633 HAS SOUPS 45633 WITH SCORE 45685.851
AT ITER 1994 NEW BEST:: SOT 164796 SOS 52808 HAS SOPS 52808 HAS SOUS 45590 HAS SOUPS 45590 WITH SCORE 45642.808
AT ITER 2004 NEW BEST:: SOT 164786 SOS 52781 HAS SOPS 52781 HAS SOUS 45563 HAS SOUPS 45563 WITH SCORE 45615.781
AT ITER 2005 NEW BEST:: SOT 164795 SOS 52770 HAS SOPS 52770 HAS SOUS 45543 HAS SOUPS 45543 WITH SCORE 45595.77
AT ITER 2007 NEW BEST:: SOT 164760 SOS 52724 HAS SOPS 52724 HAS SOUS 45497 HAS SOUPS 45497 WITH SCORE 45549.724
AT ITER 2012 NEW BEST:: SOT 164691 SOS 52593 HAS SOPS 52593 HAS SOUS 45366 HAS SOUPS 45366 WITH SCORE 45418.593
AT ITER 2015 NEW BEST:: SOT 164681 SOS 52573 HAS SOPS 52573 HAS SOUS 45346 HAS SOUPS 45346 WITH SCORE 45398.573
AT ITER 2018 NEW BEST:: SOT 164537 SOS 52541 HAS SOPS 52541 HAS SOUS 45314 HAS SOUPS 45314 WITH SCORE 45366.541
AT ITER 2025 NEW BEST:: SOT 164513 SOS 52493 HAS SOPS 52493 HAS SOUS 45290 HAS SOUPS 45290 WITH SCORE 45342.493
AT ITER 2052 NEW BEST:: SOT 164399 SOS 52379 HAS SOPS 52379 HAS SOUS 45189 HAS SOUPS 45189 WITH SCORE 45241.379
AT ITER 2069 NEW BEST:: SOT 164396 SOS 52372 HAS SOPS 52372 HAS SOUS 45182 HAS SOUPS 45182 WITH SCORE 45234.372
AT ITER 2097 NEW BEST:: SOT 164344 SOS 52362 HAS SOPS 52362 HAS SOUS 45172 HAS SOUPS 45172 WITH SCORE 45224.362
AT ITER 2109 NEW BEST:: SOT 164309 SOS 52350 HAS SOPS 52350 HAS SOUS 45160 HAS SOUPS 45160 WITH SCORE 45212.35
AT ITER 2114 NEW BEST:: SOT 164197 SOS 52145 HAS SOPS 52145 HAS SOUS 45151 HAS SOUPS 45151 WITH SCORE 45203.145
AT ITER 2133 NEW BEST:: SOT 164104 SOS 51961 HAS SOPS 51961 HAS SOUS 45044 HAS SOUPS 45044 WITH SCORE 45095.961
AT ITER 2162 NEW BEST:: SOT 164104 SOS 51920 HAS SOPS 51920 HAS SOUS 45044 HAS SOUPS 45044 WITH SCORE 45095.92
AT ITER 2168 NEW BEST:: SOT 164087 SOS 51881 HAS SOPS 51881 HAS SOUS 45005 HAS SOUPS 45005 WITH SCORE 45056.881
AT ITER 2194 NEW BEST:: SOT 164081 SOS 51872 HAS SOPS 51872 HAS SOUS 44996 HAS SOUPS 44996 WITH SCORE 45047.872
AT ITER 2198 NEW BEST:: SOT 164054 SOS 51818 HAS SOPS 51818 HAS SOUS 44942 HAS SOUPS 44942 WITH SCORE 44993.818
AT ITER 2203 NEW BEST:: SOT 164186 SOS 51755 HAS SOPS 51755 HAS SOUS 44879 HAS SOUPS 44879 WITH SCORE 44930.755
AT ITER 2235 NEW BEST:: SOT 164173 SOS 51663 HAS SOPS 51663 HAS SOUS 44787 HAS SOUPS 44787 WITH SCORE 44838.663
AT ITER 2237 NEW BEST:: SOT 164196 SOS 51611 HAS SOPS 51611 HAS SOUS 44699 HAS SOUPS 44699 WITH SCORE 44750.611
AT ITER 2245 NEW BEST:: SOT 164176 SOS 51587 HAS SOPS 51587 HAS SOUS 44675 HAS SOUPS 44675 WITH SCORE 44726.587
AT ITER 2260 NEW BEST:: SOT 164148 SOS 51531 HAS SOPS 51531 HAS SOUS 44616 HAS SOUPS 44616 WITH SCORE 44667.531
AT ITER 2262 NEW BEST:: SOT 164133 SOS 51547 HAS SOPS 51547 HAS SOUS 44543 HAS SOUPS 44543 WITH SCORE 44594.547
AT ITER 2277 NEW BEST:: SOT 164125 SOS 51483 HAS SOPS 51483 HAS SOUS 44479 HAS SOUPS 44479 WITH SCORE 44530.483
AT ITER 2294 NEW BEST:: SOT 164006 SOS 51262 HAS SOPS 51262 HAS SOUS 44258 HAS SOUPS 44258 WITH SCORE 44309.262
AT ITER 2303 NEW BEST:: SOT 163985 SOS 51248 HAS SOPS 51248 HAS SOUS 44244 HAS SOUPS 44244 WITH SCORE 44295.248
AT ITER 2312 NEW BEST:: SOT 163985 SOS 51243 HAS SOPS 51243 HAS SOUS 44239 HAS SOUPS 44239 WITH SCORE 44290.243
AT ITER 2313 NEW BEST:: SOT 163882 SOS 51109 HAS SOPS 51109 HAS SOUS 44194 HAS SOUPS 44194 WITH SCORE 44245.109
AT ITER 2317 NEW BEST:: SOT 163880 SOS 51105 HAS SOPS 51105 HAS SOUS 44190 HAS SOUPS 44190 WITH SCORE 44241.105
AT ITER 2321 NEW BEST:: SOT 163837 SOS 50975 HAS SOPS 50975 HAS SOUS 44060 HAS SOUPS 44060 WITH SCORE 44110.975
AT ITER 2327 NEW BEST:: SOT 163933 SOS 50771 HAS SOPS 50771 HAS SOUS 43856 HAS SOUPS 43856 WITH SCORE 43906.771
AT ITER 2333 NEW BEST:: SOT 163980 SOS 50747 HAS SOPS 50747 HAS SOUS 43832 HAS SOUPS 43832 WITH SCORE 43882.747
AT ITER 2364 NEW BEST:: SOT 163879 SOS 50621 HAS SOPS 50621 HAS SOUS 43782 HAS SOUPS 43782 WITH SCORE 43832.621
AT ITER 2377 NEW BEST:: SOT 163871 SOS 50613 HAS SOPS 50613 HAS SOUS 43732 HAS SOUPS 43732 WITH SCORE 43782.613
AT ITER 2391 NEW BEST:: SOT 163789 SOS 50510 HAS SOPS 50510 HAS SOUS 43629 HAS SOUPS 43629 WITH SCORE 43679.51
AT ITER 2396 NEW BEST:: SOT 163787 SOS 50506 HAS SOPS 50506 HAS SOUS 43626 HAS SOUPS 43626 WITH SCORE 43676.506
AT ITER 2404 NEW BEST:: SOT 163795 SOS 50489 HAS SOPS 50489 HAS SOUS 43609 HAS SOUPS 43609 WITH SCORE 43659.489
AT ITER 2406 NEW BEST:: SOT 163763 SOS 50432 HAS SOPS 50432 HAS SOUS 43544 HAS SOUPS 43544 WITH SCORE 43594.432
AT ITER 2415 NEW BEST:: SOT 163354 SOS 57932 HAS SOPS 57932 HAS SOUS 43257 HAS SOUPS 43257 WITH SCORE 43314.932
AT ITER 2418 NEW BEST:: SOT 163107 SOS 57615 HAS SOPS 57615 HAS SOUS 43187 HAS SOUPS 43187 WITH SCORE 43244.615
AT ITER 2447 NEW BEST:: SOT 163113 SOS 57724 HAS SOPS 57724 HAS SOUS 43158 HAS SOUPS 43158 WITH SCORE 43215.724
AT ITER 2450 NEW BEST:: SOT 163105 SOS 57716 HAS SOPS 57716 HAS SOUS 43150 HAS SOUPS 43150 WITH SCORE 43207.716
AT ITER 2458 NEW BEST:: SOT 163060 SOS 57629 HAS SOPS 57629 HAS SOUS 43063 HAS SOUPS 43063 WITH SCORE 43120.629
AT ITER 2474 NEW BEST:: SOT 163021 SOS 57551 HAS SOPS 57551 HAS SOUS 42985 HAS SOUPS 42985 WITH SCORE 43042.551
AT ITER 2481 NEW BEST:: SOT 163020 SOS 57549 HAS SOPS 57549 HAS SOUS 42962 HAS SOUPS 42962 WITH SCORE 43019.549
AT ITER 2487 NEW BEST:: SOT 162750 SOS 57339 HAS SOPS 57339 HAS SOUS 42832 HAS SOUPS 42832 WITH SCORE 42889.339
AT ITER 2488 NEW BEST:: SOT 162749 SOS 57337 HAS SOPS 57337 HAS SOUS 42830 HAS SOUPS 42830 WITH SCORE 42887.337
AT ITER 2514 NEW BEST:: SOT 162735 SOS 57198 HAS SOPS 57198 HAS SOUS 42691 HAS SOUPS 42691 WITH SCORE 42748.198
AT ITER 2529 NEW BEST:: SOT 162757 SOS 56940 HAS SOPS 56940 HAS SOUS 42521 HAS SOUPS 42521 WITH SCORE 42577.94
AT ITER 2530 NEW BEST:: SOT 162751 SOS 56938 HAS SOPS 56938 HAS SOUS 42519 HAS SOUPS 42519 WITH SCORE 42575.938
AT ITER 2538 NEW BEST:: SOT 162748 SOS 56958 HAS SOPS 56958 HAS SOUS 42513 HAS SOUPS 42513 WITH SCORE 42569.958
AT ITER 2541 NEW BEST:: SOT 162789 SOS 56950 HAS SOPS 56950 HAS SOUS 42496 HAS SOUPS 42496 WITH SCORE 42552.95
AT ITER 2585 NEW BEST:: SOT 162760 SOS 56964 HAS SOPS 56964 HAS SOUS 42464 HAS SOUPS 42464 WITH SCORE 42520.964
AT ITER 2602 NEW BEST:: SOT 162749 SOS 56963 HAS SOPS 56963 HAS SOUS 42463 HAS SOUPS 42463 WITH SCORE 42519.963
AT ITER 2634 NEW BEST:: SOT 162747 SOS 56961 HAS SOPS 56961 HAS SOUS 42461 HAS SOUPS 42461 WITH SCORE 42517.961
AT ITER 2655 NEW BEST:: SOT 162511 SOS 56585 HAS SOPS 56585 HAS SOUS 42228 HAS SOUPS 42228 WITH SCORE 42284.585
AT ITER 2675 NEW BEST:: SOT 162532 SOS 56627 HAS SOPS 56627 HAS SOUS 42182 HAS SOUPS 42182 WITH SCORE 42238.627
AT ITER 2678 NEW BEST:: SOT 162532 SOS 56598 HAS SOPS 56598 HAS SOUS 42153 HAS SOUPS 42153 WITH SCORE 42209.598
AT ITER 2688 NEW BEST:: SOT 162338 SOS 56404 HAS SOPS 56404 HAS SOUS 41959 HAS SOUPS 41959 WITH SCORE 42015.404
AT ITER 2691 NEW BEST:: SOT 162339 SOS 56320 HAS SOPS 56320 HAS SOUS 41789 HAS SOUPS 41789 WITH SCORE 41845.32
AT ITER 2697 NEW BEST:: SOT 162260 SOS 56162 HAS SOPS 56162 HAS SOUS 41710 HAS SOUPS 41710 WITH SCORE 41766.162
AT ITER 2707 NEW BEST:: SOT 162325 SOS 56132 HAS SOPS 56132 HAS SOUS 41585 HAS SOUPS 41585 WITH SCORE 41641.132
AT ITER 2719 NEW BEST:: SOT 162373 SOS 56126 HAS SOPS 56126 HAS SOUS 41579 HAS SOUPS 41579 WITH SCORE 41635.126
AT ITER 2732 NEW BEST:: SOT 162006 SOS 55844 HAS SOPS 55844 HAS SOUS 41297 HAS SOUPS 41297 WITH SCORE 41352.844
AT ITER 2733 NEW BEST:: SOT 161983 SOS 55862 HAS SOPS 55862 HAS SOUS 41274 HAS SOUPS 41274 WITH SCORE 41329.862
AT ITER 2741 NEW BEST:: SOT 162048 SOS 55912 HAS SOPS 55912 HAS SOUS 41240 HAS SOUPS 41240 WITH SCORE 41295.912
AT ITER 2744 NEW BEST:: SOT 162025 SOS 55366 HAS SOPS 55366 HAS SOUS 41181 HAS SOUPS 41181 WITH SCORE 41236.366
AT ITER 2758 NEW BEST:: SOT 162154 SOS 55483 HAS SOPS 55483 HAS SOUS 41169 HAS SOUPS 41169 WITH SCORE 41224.483
AT ITER 2760 NEW BEST:: SOT 162131 SOS 55437 HAS SOPS 55437 HAS SOUS 41123 HAS SOUPS 41123 WITH SCORE 41178.437
AT ITER 2784 NEW BEST:: SOT 162136 SOS 55312 HAS SOPS 55312 HAS SOUS 41117 HAS SOUPS 41117 WITH SCORE 41172.312
AT ITER 2787 NEW BEST:: SOT 162151 SOS 55258 HAS SOPS 55258 HAS SOUS 41114 HAS SOUPS 41114 WITH SCORE 41169.258
AT ITER 2833 NEW BEST:: SOT 162153 SOS 55247 HAS SOPS 55247 HAS SOUS 41103 HAS SOUPS 41103 WITH SCORE 41158.247
AT ITER 2871 NEW BEST:: SOT 162158 SOS 55171 HAS SOPS 55171 HAS SOUS 41100 HAS SOUPS 41100 WITH SCORE 41155.171
AT ITER 2874 NEW BEST:: SOT 162117 SOS 55130 HAS SOPS 55130 HAS SOUS 41100 HAS SOUPS 41100 WITH SCORE 41155.13
AT ITER 2887 NEW BEST:: SOT 162095 SOS 55097 HAS SOPS 55097 HAS SOUS 41067 HAS SOUPS 41067 WITH SCORE 41122.097
AT ITER 2889 NEW BEST:: SOT 162095 SOS 55114 HAS SOPS 55114 HAS SOUS 41039 HAS SOUPS 41039 WITH SCORE 41094.114
AT ITER 2890 NEW BEST:: SOT 162069 SOS 55071 HAS SOPS 55071 HAS SOUS 40987 HAS SOUPS 40987 WITH SCORE 41042.071
AT ITER 2917 NEW BEST:: SOT 162004 SOS 54927 HAS SOPS 54927 HAS SOUS 40843 HAS SOUPS 40843 WITH SCORE 40897.927
AT ITER 2954 NEW BEST:: SOT 161967 SOS 54904 HAS SOPS 54904 HAS SOUS 40833 HAS SOUPS 40833 WITH SCORE 40887.904
AT ITER 2960 NEW BEST:: SOT 161964 SOS 54906 HAS SOPS 54906 HAS SOUS 40827 HAS SOUPS 40827 WITH SCORE 40881.906
AT ITER 2961 NEW BEST:: SOT 161964 SOS 54863 HAS SOPS 54863 HAS SOUS 40784 HAS SOUPS 40784 WITH SCORE 40838.863
AT ITER 2978 NEW BEST:: SOT 161895 SOS 54908 HAS SOPS 54908 HAS SOUS 40723 HAS SOUPS 40723 WITH SCORE 40777.908
AT ITER 2980 NEW BEST:: SOT 161893 SOS 54906 HAS SOPS 54906 HAS SOUS 40723 HAS SOUPS 40723 WITH SCORE 40777.906
AT ITER 2995 NEW BEST:: SOT 161836 SOS 54792 HAS SOPS 54792 HAS SOUS 40609 HAS SOUPS 40609 WITH SCORE 40663.792
AT ITER 3011 NEW BEST:: SOT 161836 SOS 54787 HAS SOPS 54787 HAS SOUS 40604 HAS SOUPS 40604 WITH SCORE 40658.787
AT ITER 3020 NEW BEST:: SOT 161814 SOS 54743 HAS SOPS 54743 HAS SOUS 40560 HAS SOUPS 40560 WITH SCORE 40614.743
AT ITER 3047 NEW BEST:: SOT 161819 SOS 54724 HAS SOPS 54724 HAS SOUS 40541 HAS SOUPS 40541 WITH SCORE 40595.724
AT ITER 3049 NEW BEST:: SOT 161769 SOS 54692 HAS SOPS 54692 HAS SOUS 40509 HAS SOUPS 40509 WITH SCORE 40563.692
AT ITER 3053 NEW BEST:: SOT 161767 SOS 54690 HAS SOPS 54690 HAS SOUS 40507 HAS SOUPS 40507 WITH SCORE 40561.69
AT ITER 3055 NEW BEST:: SOT 161762 SOS 54673 HAS SOPS 54673 HAS SOUS 40490 HAS SOUPS 40490 WITH SCORE 40544.673
AT ITER 3078 NEW BEST:: SOT 161666 SOS 54577 HAS SOPS 54577 HAS SOUS 40490 HAS SOUPS 40490 WITH SCORE 40544.577
AT ITER 3115 NEW BEST:: SOT 161649 SOS 54560 HAS SOPS 54560 HAS SOUS 40473 HAS SOUPS 40473 WITH SCORE 40527.56
AT ITER 3128 NEW BEST:: SOT 161673 SOS 54277 HAS SOPS 54277 HAS SOUS 40190 HAS SOUPS 40190 WITH SCORE 40244.277
AT ITER 3139 NEW BEST:: SOT 161673 SOS 54275 HAS SOPS 54275 HAS SOUS 40188 HAS SOUPS 40188 WITH SCORE 40242.275
AT ITER 3143 NEW BEST:: SOT 161496 SOS 54043 HAS SOPS 54043 HAS SOUS 40078 HAS SOUPS 40078 WITH SCORE 40132.043
AT ITER 3150 NEW BEST:: SOT 161472 SOS 54009 HAS SOPS 54009 HAS SOUS 40044 HAS SOUPS 40044 WITH SCORE 40098.009
AT ITER 3153 NEW BEST:: SOT 161369 SOS 53778 HAS SOPS 53778 HAS SOUS 39957 HAS SOUPS 39957 WITH SCORE 40010.778
AT ITER 3156 NEW BEST:: SOT 161364 SOS 53773 HAS SOPS 53773 HAS SOUS 39955 HAS SOUPS 39955 WITH SCORE 40008.773
AT ITER 3157 NEW BEST:: SOT 161370 SOS 53734 HAS SOPS 53734 HAS SOUS 39871 HAS SOUPS 39871 WITH SCORE 39924.734
AT ITER 3165 NEW BEST:: SOT 161378 SOS 53728 HAS SOPS 53728 HAS SOUS 39865 HAS SOUPS 39865 WITH SCORE 39918.728
AT ITER 3192 NEW BEST:: SOT 161366 SOS 53704 HAS SOPS 53704 HAS SOUS 39841 HAS SOUPS 39841 WITH SCORE 39894.704
AT ITER 3196 NEW BEST:: SOT 161332 SOS 53656 HAS SOPS 53656 HAS SOUS 39813 HAS SOUPS 39813 WITH SCORE 39866.656
AT ITER 3202 NEW BEST:: SOT 161315 SOS 53630 HAS SOPS 53630 HAS SOUS 39787 HAS SOUPS 39787 WITH SCORE 39840.63
AT ITER 3221 NEW BEST:: SOT 161315 SOS 53630 HAS SOPS 53630 HAS SOUS 39786 HAS SOUPS 39786 WITH SCORE 39839.63
AT ITER 3236 NEW BEST:: SOT 161323 SOS 53646 HAS SOPS 53646 HAS SOUS 39776 HAS SOUPS 39776 WITH SCORE 39829.646
AT ITER 3237 NEW BEST:: SOT 161267 SOS 53590 HAS SOPS 53590 HAS SOUS 39720 HAS SOUPS 39720 WITH SCORE 39773.59
AT ITER 3248 NEW BEST:: SOT 161197 SOS 53485 HAS SOPS 53485 HAS SOUS 39650 HAS SOUPS 39650 WITH SCORE 39703.485
AT ITER 3258 NEW BEST:: SOT 161197 SOS 53485 HAS SOPS 53485 HAS SOUS 39644 HAS SOUPS 39644 WITH SCORE 39697.485
AT ITER 3267 NEW BEST:: SOT 161194 SOS 53458 HAS SOPS 53458 HAS SOUS 39617 HAS SOUPS 39617 WITH SCORE 39670.458
AT ITER 3285 NEW BEST:: SOT 161176 SOS 53270 HAS SOPS 53270 HAS SOUS 39527 HAS SOUPS 39527 WITH SCORE 39580.27
AT ITER 3291 NEW BEST:: SOT 161169 SOS 53263 HAS SOPS 53263 HAS SOUS 39520 HAS SOUPS 39520 WITH SCORE 39573.263
AT ITER 3301 NEW BEST:: SOT 161192 SOS 53232 HAS SOPS 53232 HAS SOUS 39489 HAS SOUPS 39489 WITH SCORE 39542.232
AT ITER 3302 NEW BEST:: SOT 161192 SOS 53108 HAS SOPS 53108 HAS SOUS 39365 HAS SOUPS 39365 WITH SCORE 39418.108
AT ITER 3303 NEW BEST:: SOT 161097 SOS 53013 HAS SOPS 53013 HAS SOUS 39336 HAS SOUPS 39336 WITH SCORE 39389.013
AT ITER 3321 NEW BEST:: SOT 161146 SOS 52945 HAS SOPS 52945 HAS SOUS 39268 HAS SOUPS 39268 WITH SCORE 39320.945
AT ITER 3325 NEW BEST:: SOT 161140 SOS 52921 HAS SOPS 52921 HAS SOUS 39244 HAS SOUPS 39244 WITH SCORE 39296.921
AT ITER 3337 NEW BEST:: SOT 161140 SOS 52851 HAS SOPS 52851 HAS SOUS 39174 HAS SOUPS 39174 WITH SCORE 39226.851
AT ITER 3343 NEW BEST:: SOT 161248 SOS 52953 HAS SOPS 52953 HAS SOUS 39163 HAS SOUPS 39163 WITH SCORE 39215.953
AT ITER 3346 NEW BEST:: SOT 161224 SOS 52861 HAS SOPS 52861 HAS SOUS 39135 HAS SOUPS 39135 WITH SCORE 39187.861
AT ITER 3353 NEW BEST:: SOT 161224 SOS 52774 HAS SOPS 52774 HAS SOUS 39089 HAS SOUPS 39089 WITH SCORE 39141.774
AT ITER 3366 NEW BEST:: SOT 161004 SOS 52682 HAS SOPS 52682 HAS SOUS 38997 HAS SOUPS 38997 WITH SCORE 39049.682
AT ITER 3372 NEW BEST:: SOT 160894 SOS 52462 HAS SOPS 52462 HAS SOUS 38794 HAS SOUPS 38794 WITH SCORE 38846.462
AT ITER 3379 NEW BEST:: SOT 160884 SOS 52445 HAS SOPS 52445 HAS SOUS 38777 HAS SOUPS 38777 WITH SCORE 38829.445
AT ITER 3385 NEW BEST:: SOT 160884 SOS 52445 HAS SOPS 52445 HAS SOUS 38754 HAS SOUPS 38754 WITH SCORE 38806.445
AT ITER 3401 NEW BEST:: SOT 160893 SOS 52423 HAS SOPS 52423 HAS SOUS 38732 HAS SOUPS 38732 WITH SCORE 38784.423
AT ITER 3404 NEW BEST:: SOT 160893 SOS 52415 HAS SOPS 52415 HAS SOUS 38724 HAS SOUPS 38724 WITH SCORE 38776.415
AT ITER 3405 NEW BEST:: SOT 160886 SOS 52381 HAS SOPS 52381 HAS SOUS 38681 HAS SOUPS 38681 WITH SCORE 38733.381
AT ITER 3438 NEW BEST:: SOT 160885 SOS 52379 HAS SOPS 52379 HAS SOUS 38679 HAS SOUPS 38679 WITH SCORE 38731.379
AT ITER 3451 NEW BEST:: SOT 160854 SOS 52348 HAS SOPS 52348 HAS SOUS 38648 HAS SOUPS 38648 WITH SCORE 38700.348
AT ITER 3467 NEW BEST:: SOT 160897 SOS 52289 HAS SOPS 52289 HAS SOUS 38461 HAS SOUPS 38461 WITH SCORE 38513.289
AT ITER 3480 NEW BEST:: SOT 160897 SOS 52258 HAS SOPS 52258 HAS SOUS 38449 HAS SOUPS 38449 WITH SCORE 38501.258
AT ITER 3494 NEW BEST:: SOT 160942 SOS 52294 HAS SOPS 52294 HAS SOUS 38363 HAS SOUPS 38363 WITH SCORE 38415.294
AT ITER 3498 NEW BEST:: SOT 160938 SOS 52290 HAS SOPS 52290 HAS SOUS 38363 HAS SOUPS 38363 WITH SCORE 38415.29
AT ITER 3518 NEW BEST:: SOT 160929 SOS 52307 HAS SOPS 52307 HAS SOUS 38359 HAS SOUPS 38359 WITH SCORE 38411.307
AT ITER 3546 NEW BEST:: SOT 160924 SOS 52297 HAS SOPS 52297 HAS SOUS 38354 HAS SOUPS 38354 WITH SCORE 38406.297
AT ITER 3553 NEW BEST:: SOT 160916 SOS 52218 HAS SOPS 52218 HAS SOUS 38278 HAS SOUPS 38278 WITH SCORE 38330.218
AT ITER 3556 NEW BEST:: SOT 160873 SOS 52190 HAS SOPS 52190 HAS SOUS 38250 HAS SOUPS 38250 WITH SCORE 38302.19
AT ITER 3583 NEW BEST:: SOT 160873 SOS 52141 HAS SOPS 52141 HAS SOUS 38201 HAS SOUPS 38201 WITH SCORE 38253.141
AT ITER 3587 NEW BEST:: SOT 160844 SOS 52062 HAS SOPS 52062 HAS SOUS 38154 HAS SOUPS 38154 WITH SCORE 38206.062
AT ITER 3634 NEW BEST:: SOT 160839 SOS 52065 HAS SOPS 52065 HAS SOUS 38144 HAS SOUPS 38144 WITH SCORE 38196.065
AT ITER 3657 NEW BEST:: SOT 160839 SOS 52065 HAS SOPS 52065 HAS SOUS 38143 HAS SOUPS 38143 WITH SCORE 38195.065
AT ITER 3659 NEW BEST:: SOT 160685 SOS 51932 HAS SOPS 51932 HAS SOUS 37996 HAS SOUPS 37996 WITH SCORE 38047.932
AT ITER 3664 NEW BEST:: SOT 160549 SOS 51728 HAS SOPS 51728 HAS SOUS 37860 HAS SOUPS 37860 WITH SCORE 37911.728
AT ITER 3668 NEW BEST:: SOT 160536 SOS 51702 HAS SOPS 51702 HAS SOUS 37834 HAS SOUPS 37834 WITH SCORE 37885.702
AT ITER 3703 NEW BEST:: SOT 160528 SOS 51686 HAS SOPS 51686 HAS SOUS 37826 HAS SOUPS 37826 WITH SCORE 37877.686
AT ITER 3710 NEW BEST:: SOT 160494 SOS 51666 HAS SOPS 51666 HAS SOUS 37806 HAS SOUPS 37806 WITH SCORE 37857.666
AT ITER 3723 NEW BEST:: SOT 160473 SOS 51624 HAS SOPS 51624 HAS SOUS 37764 HAS SOUPS 37764 WITH SCORE 37815.624
AT ITER 3733 NEW BEST:: SOT 160456 SOS 51590 HAS SOPS 51590 HAS SOUS 37654 HAS SOUPS 37654 WITH SCORE 37705.59
AT ITER 3745 NEW BEST:: SOT 160454 SOS 51555 HAS SOPS 51555 HAS SOUS 37619 HAS SOUPS 37619 WITH SCORE 37670.555
AT ITER 3750 NEW BEST:: SOT 160456 SOS 51553 HAS SOPS 51553 HAS SOUS 37611 HAS SOUPS 37611 WITH SCORE 37662.553
AT ITER 3780 NEW BEST:: SOT 160446 SOS 51523 HAS SOPS 51523 HAS SOUS 37581 HAS SOUPS 37581 WITH SCORE 37632.523
AT ITER 3803 NEW BEST:: SOT 160424 SOS 51661 HAS SOPS 51661 HAS SOUS 37418 HAS SOUPS 37418 WITH SCORE 37469.661
AT ITER 3805 NEW BEST:: SOT 160419 SOS 51632 HAS SOPS 51632 HAS SOUS 37389 HAS SOUPS 37389 WITH SCORE 37440.632
AT ITER 3808 NEW BEST:: SOT 160414 SOS 51622 HAS SOPS 51622 HAS SOUS 37379 HAS SOUPS 37379 WITH SCORE 37430.622
AT ITER 3816 NEW BEST:: SOT 160414 SOS 51622 HAS SOPS 51622 HAS SOUS 37378 HAS SOUPS 37378 WITH SCORE 37429.622
AT ITER 3818 NEW BEST:: SOT 160423 SOS 51640 HAS SOPS 51640 HAS SOUS 37291 HAS SOUPS 37291 WITH SCORE 37342.64
AT ITER 3820 NEW BEST:: SOT 160404 SOS 51602 HAS SOPS 51602 HAS SOUS 37253 HAS SOUPS 37253 WITH SCORE 37304.602
AT ITER 3884 NEW BEST:: SOT 160344 SOS 51482 HAS SOPS 51482 HAS SOUS 37193 HAS SOUPS 37193 WITH SCORE 37244.482
AT ITER 3890 NEW BEST:: SOT 160293 SOS 51380 HAS SOPS 51380 HAS SOUS 37133 HAS SOUPS 37133 WITH SCORE 37184.38
AT ITER 3895 NEW BEST:: SOT 160210 SOS 51268 HAS SOPS 51268 HAS SOUS 37018 HAS SOUPS 37018 WITH SCORE 37069.268
AT ITER 3915 NEW BEST:: SOT 160176 SOS 51200 HAS SOPS 51200 HAS SOUS 36950 HAS SOUPS 36950 WITH SCORE 37001.2
AT ITER 3921 NEW BEST:: SOT 160144 SOS 51179 HAS SOPS 51179 HAS SOUS 36929 HAS SOUPS 36929 WITH SCORE 36980.179
AT ITER 3946 NEW BEST:: SOT 160217 SOS 51080 HAS SOPS 51080 HAS SOUS 36777 HAS SOUPS 36777 WITH SCORE 36828.08
AT ITER 3961 NEW BEST:: SOT 160148 SOS 51011 HAS SOPS 51011 HAS SOUS 36708 HAS SOUPS 36708 WITH SCORE 36759.011
AT ITER 3985 NEW BEST:: SOT 160144 SOS 51006 HAS SOPS 51006 HAS SOUS 36703 HAS SOUPS 36703 WITH SCORE 36754.006
AT ITER 3999 NEW BEST:: SOT 160084 SOS 50994 HAS SOPS 50994 HAS SOUS 36691 HAS SOUPS 36691 WITH SCORE 36741.994
AT ITER 4012 NEW BEST:: SOT 160084 SOS 50994 HAS SOPS 50994 HAS SOUS 36679 HAS SOUPS 36679 WITH SCORE 36729.994
AT ITER 4015 NEW BEST:: SOT 160104 SOS 50938 HAS SOPS 50938 HAS SOUS 36623 HAS SOUPS 36623 WITH SCORE 36673.938
AT ITER 4028 NEW BEST:: SOT 160104 SOS 50934 HAS SOPS 50934 HAS SOUS 36619 HAS SOUPS 36619 WITH SCORE 36669.934
AT ITER 4041 NEW BEST:: SOT 160039 SOS 50869 HAS SOPS 50869 HAS SOUS 36553 HAS SOUPS 36553 WITH SCORE 36603.869
AT ITER 4049 NEW BEST:: SOT 160039 SOS 50944 HAS SOPS 50944 HAS SOUS 36549 HAS SOUPS 36549 WITH SCORE 36599.944
AT ITER 4068 NEW BEST:: SOT 160010 SOS 50886 HAS SOPS 50886 HAS SOUS 36470 HAS SOUPS 36470 WITH SCORE 36520.886
AT ITER 4069 NEW BEST:: SOT 160010 SOS 50884 HAS SOPS 50884 HAS SOUS 36468 HAS SOUPS 36468 WITH SCORE 36518.884
AT ITER 4089 NEW BEST:: SOT 160010 SOS 50876 HAS SOPS 50876 HAS SOUS 36460 HAS SOUPS 36460 WITH SCORE 36510.876
AT ITER 4092 NEW BEST:: SOT 160028 SOS 50827 HAS SOPS 50827 HAS SOUS 36326 HAS SOUPS 36326 WITH SCORE 36376.827
AT ITER 4099 NEW BEST:: SOT 160022 SOS 50821 HAS SOPS 50821 HAS SOUS 36320 HAS SOUPS 36320 WITH SCORE 36370.821
AT ITER 4100 NEW BEST:: SOT 160011 SOS 50810 HAS SOPS 50810 HAS SOUS 36320 HAS SOUPS 36320 WITH SCORE 36370.81
AT ITER 4106 NEW BEST:: SOT 160010 SOS 50891 HAS SOPS 50891 HAS SOUS 36318 HAS SOUPS 36318 WITH SCORE 36368.891
AT ITER 4107 NEW BEST:: SOT 159999 SOS 50887 HAS SOPS 50887 HAS SOUS 36296 HAS SOUPS 36296 WITH SCORE 36346.887
AT ITER 4111 NEW BEST:: SOT 160055 SOS 50943 HAS SOPS 50943 HAS SOUS 36286 HAS SOUPS 36286 WITH SCORE 36336.943
AT ITER 4131 NEW BEST:: SOT 160009 SOS 50871 HAS SOPS 50871 HAS SOUS 36249 HAS SOUPS 36249 WITH SCORE 36299.871
AT ITER 4152 NEW BEST:: SOT 160008 SOS 50859 HAS SOPS 50859 HAS SOUS 36237 HAS SOUPS 36237 WITH SCORE 36287.859
AT ITER 4185 NEW BEST:: SOT 160008 SOS 50838 HAS SOPS 50838 HAS SOUS 36216 HAS SOUPS 36216 WITH SCORE 36266.838
AT ITER 4187 NEW BEST:: SOT 159967 SOS 50774 HAS SOPS 50774 HAS SOUS 36134 HAS SOUPS 36134 WITH SCORE 36184.774
AT ITER 4210 NEW BEST:: SOT 159913 SOS 50737 HAS SOPS 50737 HAS SOUS 36034 HAS SOUPS 36034 WITH SCORE 36084.737
AT ITER 4228 NEW BEST:: SOT 159909 SOS 50729 HAS SOPS 50729 HAS SOUS 36026 HAS SOUPS 36026 WITH SCORE 36076.729
AT ITER 4240 NEW BEST:: SOT 159795 SOS 50617 HAS SOPS 50617 HAS SOUS 35914 HAS SOUPS 35914 WITH SCORE 35964.617
AT ITER 4245 NEW BEST:: SOT 159795 SOS 50592 HAS SOPS 50592 HAS SOUS 35904 HAS SOUPS 35904 WITH SCORE 35954.592
AT ITER 4248 NEW BEST:: SOT 159761 SOS 50557 HAS SOPS 50557 HAS SOUS 35869 HAS SOUPS 35869 WITH SCORE 35919.557
AT ITER 4264 NEW BEST:: SOT 159749 SOS 50544 HAS SOPS 50544 HAS SOUS 35856 HAS SOUPS 35856 WITH SCORE 35906.544
AT ITER 4272 NEW BEST:: SOT 159743 SOS 50502 HAS SOPS 50502 HAS SOUS 35814 HAS SOUPS 35814 WITH SCORE 35864.502
AT ITER 4323 NEW BEST:: SOT 159744 SOS 50495 HAS SOPS 50495 HAS SOUS 35807 HAS SOUPS 35807 WITH SCORE 35857.495
AT ITER 4333 NEW BEST:: SOT 159743 SOS 50493 HAS SOPS 50493 HAS SOUS 35805 HAS SOUPS 35805 WITH SCORE 35855.493
AT ITER 4339 NEW BEST:: SOT 159863 SOS 50733 HAS SOPS 50733 HAS SOUS 35754 HAS SOUPS 35754 WITH SCORE 35804.733
AT ITER 4356 NEW BEST:: SOT 159885 SOS 50769 HAS SOPS 50769 HAS SOUS 35737 HAS SOUPS 35737 WITH SCORE 35787.769
AT ITER 4362 NEW BEST:: SOT 159853 SOS 50685 HAS SOPS 50685 HAS SOUS 35625 HAS SOUPS 35625 WITH SCORE 35675.685
AT ITER 4388 NEW BEST:: SOT 159853 SOS 50669 HAS SOPS 50669 HAS SOUS 35609 HAS SOUPS 35609 WITH SCORE 35659.669
AT ITER 4402 NEW BEST:: SOT 159852 SOS 50668 HAS SOPS 50668 HAS SOUS 35608 HAS SOUPS 35608 WITH SCORE 35658.668
AT ITER 4419 NEW BEST:: SOT 159842 SOS 50667 HAS SOPS 50667 HAS SOUS 35607 HAS SOUPS 35607 WITH SCORE 35657.667
AT ITER 4446 NEW BEST:: SOT 159843 SOS 50519 HAS SOPS 50519 HAS SOUS 35606 HAS SOUPS 35606 WITH SCORE 35656.519
AT ITER 4469 NEW BEST:: SOT 159808 SOS 50414 HAS SOPS 50414 HAS SOUS 35536 HAS SOUPS 35536 WITH SCORE 35586.414
AT ITER 4482 NEW BEST:: SOT 159803 SOS 50412 HAS SOPS 50412 HAS SOUS 35534 HAS SOUPS 35534 WITH SCORE 35584.412
AT ITER 4490 NEW BEST:: SOT 159772 SOS 50381 HAS SOPS 50381 HAS SOUS 35503 HAS SOUPS 35503 WITH SCORE 35553.381
AT ITER 4505 NEW BEST:: SOT 159803 SOS 50393 HAS SOPS 50393 HAS SOUS 35484 HAS SOUPS 35484 WITH SCORE 35534.393
AT ITER 4519 NEW BEST:: SOT 159803 SOS 50425 HAS SOPS 50425 HAS SOUS 35414 HAS SOUPS 35414 WITH SCORE 35464.425
AT ITER 4549 NEW BEST:: SOT 159577 SOS 50198 HAS SOPS 50198 HAS SOUS 35413 HAS SOUPS 35413 WITH SCORE 35463.198
AT ITER 4579 NEW BEST:: SOT 159573 SOS 50151 HAS SOPS 50151 HAS SOUS 35386 HAS SOUPS 35386 WITH SCORE 35436.151
AT ITER 4580 NEW BEST:: SOT 159571 SOS 50147 HAS SOPS 50147 HAS SOUS 35378 HAS SOUPS 35378 WITH SCORE 35428.147
AT ITER 4600 NEW BEST:: SOT 159565 SOS 50141 HAS SOPS 50141 HAS SOUS 35372 HAS SOUPS 35372 WITH SCORE 35422.141
AT ITER 4601 NEW BEST:: SOT 159674 SOS 50105 HAS SOPS 50105 HAS SOUS 35316 HAS SOUPS 35316 WITH SCORE 35366.105
AT ITER 4609 NEW BEST:: SOT 159648 SOS 50053 HAS SOPS 50053 HAS SOUS 35264 HAS SOUPS 35264 WITH SCORE 35314.053
AT ITER 4629 NEW BEST:: SOT 159634 SOS 50039 HAS SOPS 50039 HAS SOUS 35264 HAS SOUPS 35264 WITH SCORE 35314.039
AT ITER 4640 NEW BEST:: SOT 159506 SOS 49857 HAS SOPS 49857 HAS SOUS 35198 HAS SOUPS 35198 WITH SCORE 35247.857
AT ITER 4642 NEW BEST:: SOT 159473 SOS 49836 HAS SOPS 49836 HAS SOUS 35177 HAS SOUPS 35177 WITH SCORE 35226.836
AT ITER 4647 NEW BEST:: SOT 159444 SOS 49834 HAS SOPS 49834 HAS SOUS 35175 HAS SOUPS 35175 WITH SCORE 35224.834
AT ITER 4657 NEW BEST:: SOT 159419 SOS 49809 HAS SOPS 49809 HAS SOUS 35150 HAS SOUPS 35150 WITH SCORE 35199.809
AT ITER 4671 NEW BEST:: SOT 159434 SOS 49805 HAS SOPS 49805 HAS SOUS 35146 HAS SOUPS 35146 WITH SCORE 35195.805
AT ITER 4709 NEW BEST:: SOT 159433 SOS 49802 HAS SOPS 49802 HAS SOUS 35143 HAS SOUPS 35143 WITH SCORE 35192.802
AT ITER 4713 NEW BEST:: SOT 159388 SOS 49740 HAS SOPS 49740 HAS SOUS 35109 HAS SOUPS 35109 WITH SCORE 35158.74
AT ITER 4714 NEW BEST:: SOT 159377 SOS 49729 HAS SOPS 49729 HAS SOUS 35098 HAS SOUPS 35098 WITH SCORE 35147.729
AT ITER 4718 NEW BEST:: SOT 159338 SOS 49672 HAS SOPS 49672 HAS SOUS 35062 HAS SOUPS 35062 WITH SCORE 35111.672
AT ITER 4730 NEW BEST:: SOT 159293 SOS 49627 HAS SOPS 49627 HAS SOUS 35037 HAS SOUPS 35037 WITH SCORE 35086.627
AT ITER 4759 NEW BEST:: SOT 159278 SOS 49597 HAS SOPS 49597 HAS SOUS 35007 HAS SOUPS 35007 WITH SCORE 35056.597
AT ITER 4764 NEW BEST:: SOT 159256 SOS 49656 HAS SOPS 49656 HAS SOUS 34999 HAS SOUPS 34999 WITH SCORE 35048.656
AT ITER 4794 NEW BEST:: SOT 159272 SOS 49672 HAS SOPS 49672 HAS SOUS 34985 HAS SOUPS 34985 WITH SCORE 35034.672
AT ITER 4820 NEW BEST:: SOT 159252 SOS 49602 HAS SOPS 49602 HAS SOUS 34905 HAS SOUPS 34905 WITH SCORE 34954.602
AT ITER 4824 NEW BEST:: SOT 159235 SOS 49585 HAS SOPS 49585 HAS SOUS 34888 HAS SOUPS 34888 WITH SCORE 34937.585
AT ITER 4827 NEW BEST:: SOT 159235 SOS 49566 HAS SOPS 49566 HAS SOUS 34869 HAS SOUPS 34869 WITH SCORE 34918.566
AT ITER 4836 NEW BEST:: SOT 159235 SOS 49559 HAS SOPS 49559 HAS SOUS 34862 HAS SOUPS 34862 WITH SCORE 34911.559
AT ITER 4837 NEW BEST:: SOT 159244 SOS 49568 HAS SOPS 49568 HAS SOUS 34853 HAS SOUPS 34853 WITH SCORE 34902.568
AT ITER 4839 NEW BEST:: SOT 159232 SOS 49532 HAS SOPS 49532 HAS SOUS 34841 HAS SOUPS 34841 WITH SCORE 34890.532
AT ITER 4844 NEW BEST:: SOT 159214 SOS 49478 HAS SOPS 49478 HAS SOUS 34823 HAS SOUPS 34823 WITH SCORE 34872.478
AT ITER 4847 NEW BEST:: SOT 159181 SOS 49412 HAS SOPS 49412 HAS SOUS 34757 HAS SOUPS 34757 WITH SCORE 34806.412
AT ITER 4872 NEW BEST:: SOT 159159 SOS 49390 HAS SOPS 49390 HAS SOUS 34757 HAS SOUPS 34757 WITH SCORE 34806.39
AT ITER 4925 NEW BEST:: SOT 159159 SOS 49370 HAS SOPS 49370 HAS SOUS 34757 HAS SOUPS 34757 WITH SCORE 34806.37
AT ITER 4957 NEW BEST:: SOT 159177 SOS 49420 HAS SOPS 49420 HAS SOUS 34753 HAS SOUPS 34753 WITH SCORE 34802.42
AT ITER 4969 NEW BEST:: SOT 159151 SOS 49368 HAS SOPS 49368 HAS SOUS 34713 HAS SOUPS 34713 WITH SCORE 34762.368
AT ITER 4988 NEW BEST:: SOT 159151 SOS 49368 HAS SOPS 49368 HAS SOUS 34679 HAS SOUPS 34679 WITH SCORE 34728.368
AT ITER 4989 NEW BEST:: SOT 159143 SOS 49349 HAS SOPS 49349 HAS SOUS 34660 HAS SOUPS 34660 WITH SCORE 34709.349
AT ITER 5037 NEW BEST:: SOT 159142 SOS 49347 HAS SOPS 49347 HAS SOUS 34658 HAS SOUPS 34658 WITH SCORE 34707.347
AT ITER 5044 NEW BEST:: SOT 159101 SOS 49306 HAS SOPS 49306 HAS SOUS 34658 HAS SOUPS 34658 WITH SCORE 34707.306
AT ITER 5045 NEW BEST:: SOT 159106 SOS 49292 HAS SOPS 49292 HAS SOUS 34644 HAS SOUPS 34644 WITH SCORE 34693.292
AT ITER 5051 NEW BEST:: SOT 159084 SOS 49286 HAS SOPS 49286 HAS SOUS 34638 HAS SOUPS 34638 WITH SCORE 34687.286
AT ITER 5071 NEW BEST:: SOT 159039 SOS 49241 HAS SOPS 49241 HAS SOUS 34593 HAS SOUPS 34593 WITH SCORE 34642.241
AT ITER 5085 NEW BEST:: SOT 159046 SOS 49218 HAS SOPS 49218 HAS SOUS 34570 HAS SOUPS 34570 WITH SCORE 34619.218
AT ITER 5117 NEW BEST:: SOT 159043 SOS 49215 HAS SOPS 49215 HAS SOUS 34564 HAS SOUPS 34564 WITH SCORE 34613.215
AT ITER 5122 NEW BEST:: SOT 159049 SOS 49199 HAS SOPS 49199 HAS SOUS 34548 HAS SOUPS 34548 WITH SCORE 34597.199
AT ITER 5155 NEW BEST:: SOT 159028 SOS 49143 HAS SOPS 49143 HAS SOUS 34546 HAS SOUPS 34546 WITH SCORE 34595.143
AT ITER 5191 NEW BEST:: SOT 159023 SOS 49133 HAS SOPS 49133 HAS SOUS 34536 HAS SOUPS 34536 WITH SCORE 34585.133
AT ITER 5193 NEW BEST:: SOT 159017 SOS 49099 HAS SOPS 49099 HAS SOUS 34502 HAS SOUPS 34502 WITH SCORE 34551.099
AT ITER 5235 NEW BEST:: SOT 159004 SOS 49086 HAS SOPS 49086 HAS SOUS 34489 HAS SOUPS 34489 WITH SCORE 34538.086
AT ITER 5262 NEW BEST:: SOT 159004 SOS 49086 HAS SOPS 49086 HAS SOUS 34481 HAS SOUPS 34481 WITH SCORE 34530.086
AT ITER 5263 NEW BEST:: SOT 159002 SOS 49119 HAS SOPS 49119 HAS SOUS 34478 HAS SOUPS 34478 WITH SCORE 34527.119
AT ITER 5314 NEW BEST:: SOT 159002 SOS 49115 HAS SOPS 49115 HAS SOUS 34474 HAS SOUPS 34474 WITH SCORE 34523.115
AT ITER 5366 NEW BEST:: SOT 158943 SOS 48997 HAS SOPS 48997 HAS SOUS 34415 HAS SOUPS 34415 WITH SCORE 34463.997
AT ITER 5394 NEW BEST:: SOT 158926 SOS 48979 HAS SOPS 48979 HAS SOUS 34397 HAS SOUPS 34397 WITH SCORE 34445.979
AT ITER 5403 NEW BEST:: SOT 158926 SOS 48973 HAS SOPS 48973 HAS SOUS 34391 HAS SOUPS 34391 WITH SCORE 34439.973
AT ITER 5406 NEW BEST:: SOT 158938 SOS 49004 HAS SOPS 49004 HAS SOUS 34341 HAS SOUPS 34341 WITH SCORE 34390.004
AT ITER 5429 NEW BEST:: SOT 158901 SOS 48877 HAS SOPS 48877 HAS SOUS 34214 HAS SOUPS 34214 WITH SCORE 34262.877
AT ITER 5449 NEW BEST:: SOT 158897 SOS 48873 HAS SOPS 48873 HAS SOUS 34210 HAS SOUPS 34210 WITH SCORE 34258.873
AT ITER 5453 NEW BEST:: SOT 158893 SOS 48869 HAS SOPS 48869 HAS SOUS 34206 HAS SOUPS 34206 WITH SCORE 34254.869
AT ITER 5471 NEW BEST:: SOT 158899 SOS 48854 HAS SOPS 48854 HAS SOUS 34191 HAS SOUPS 34191 WITH SCORE 34239.854
AT ITER 5481 NEW BEST:: SOT 158856 SOS 48798 HAS SOPS 48798 HAS SOUS 34135 HAS SOUPS 34135 WITH SCORE 34183.798
AT ITER 5485 NEW BEST:: SOT 158809 SOS 48694 HAS SOPS 48694 HAS SOUS 34065 HAS SOUPS 34065 WITH SCORE 34113.694
AT ITER 5499 NEW BEST:: SOT 158841 SOS 48683 HAS SOPS 48683 HAS SOUS 34054 HAS SOUPS 34054 WITH SCORE 34102.683
AT ITER 5515 NEW BEST:: SOT 158841 SOS 48724 HAS SOPS 48724 HAS SOUS 34047 HAS SOUPS 34047 WITH SCORE 34095.724
AT ITER 5533 NEW BEST:: SOT 158811 SOS 48685 HAS SOPS 48685 HAS SOUS 34008 HAS SOUPS 34008 WITH SCORE 34056.685
AT ITER 5534 NEW BEST:: SOT 158805 SOS 48679 HAS SOPS 48679 HAS SOUS 34005 HAS SOUPS 34005 WITH SCORE 34053.679
AT ITER 5549 NEW BEST:: SOT 158802 SOS 48677 HAS SOPS 48677 HAS SOUS 34003 HAS SOUPS 34003 WITH SCORE 34051.677
AT ITER 5561 NEW BEST:: SOT 158802 SOS 48621 HAS SOPS 48621 HAS SOUS 33947 HAS SOUPS 33947 WITH SCORE 33995.621
AT ITER 5563 NEW BEST:: SOT 158786 SOS 48593 HAS SOPS 48593 HAS SOUS 33919 HAS SOUPS 33919 WITH SCORE 33967.593
AT ITER 5577 NEW BEST:: SOT 158802 SOS 48586 HAS SOPS 48586 HAS SOUS 33873 HAS SOUPS 33873 WITH SCORE 33921.586
AT ITER 5587 NEW BEST:: SOT 158802 SOS 48586 HAS SOPS 48586 HAS SOUS 33871 HAS SOUPS 33871 WITH SCORE 33919.586
AT ITER 5602 NEW BEST:: SOT 158777 SOS 48561 HAS SOPS 48561 HAS SOUS 33871 HAS SOUPS 33871 WITH SCORE 33919.561
AT ITER 5613 NEW BEST:: SOT 158648 SOS 48409 HAS SOPS 48409 HAS SOUS 33825 HAS SOUPS 33825 WITH SCORE 33873.409
AT ITER 5615 NEW BEST:: SOT 158654 SOS 48405 HAS SOPS 48405 HAS SOUS 33821 HAS SOUPS 33821 WITH SCORE 33869.405
AT ITER 5661 NEW BEST:: SOT 158630 SOS 48357 HAS SOPS 48357 HAS SOUS 33773 HAS SOUPS 33773 WITH SCORE 33821.357
AT ITER 5667 NEW BEST:: SOT 158574 SOS 48219 HAS SOPS 48219 HAS SOUS 33681 HAS SOUPS 33681 WITH SCORE 33729.219
AT ITER 5679 NEW BEST:: SOT 158568 SOS 48213 HAS SOPS 48213 HAS SOUS 33678 HAS SOUPS 33678 WITH SCORE 33726.213
AT ITER 5726 NEW BEST:: SOT 158568 SOS 48207 HAS SOPS 48207 HAS SOUS 33672 HAS SOUPS 33672 WITH SCORE 33720.207
AT ITER 5742 NEW BEST:: SOT 158568 SOS 48207 HAS SOPS 48207 HAS SOUS 33665 HAS SOUPS 33665 WITH SCORE 33713.207
AT ITER 5743 NEW BEST:: SOT 158557 SOS 48195 HAS SOPS 48195 HAS SOUS 33653 HAS SOUPS 33653 WITH SCORE 33701.195
AT ITER 5782 NEW BEST:: SOT 158533 SOS 48147 HAS SOPS 48147 HAS SOUS 33605 HAS SOUPS 33605 WITH SCORE 33653.147
AT ITER 5785 NEW BEST:: SOT 158531 SOS 48143 HAS SOPS 48143 HAS SOUS 33601 HAS SOUPS 33601 WITH SCORE 33649.143
AT ITER 5796 NEW BEST:: SOT 158515 SOS 48111 HAS SOPS 48111 HAS SOUS 33585 HAS SOUPS 33585 WITH SCORE 33633.111
AT ITER 5805 NEW BEST:: SOT 158465 SOS 48052 HAS SOPS 48052 HAS SOUS 33567 HAS SOUPS 33567 WITH SCORE 33615.052
AT ITER 5830 NEW BEST:: SOT 158457 SOS 48006 HAS SOPS 48006 HAS SOUS 33533 HAS SOUPS 33533 WITH SCORE 33581.006
AT ITER 5849 NEW BEST:: SOT 158443 SOS 47991 HAS SOPS 47991 HAS SOUS 33518 HAS SOUPS 33518 WITH SCORE 33565.991
AT ITER 5862 NEW BEST:: SOT 158441 SOS 47989 HAS SOPS 47989 HAS SOUS 33516 HAS SOUPS 33516 WITH SCORE 33563.989
AT ITER 5869 NEW BEST:: SOT 158399 SOS 47964 HAS SOPS 47964 HAS SOUS 33491 HAS SOUPS 33491 WITH SCORE 33538.964
AT ITER 5944 NEW BEST:: SOT 158363 SOS 47895 HAS SOPS 47895 HAS SOUS 33422 HAS SOUPS 33422 WITH SCORE 33469.895
AT ITER 5945 NEW BEST:: SOT 158361 SOS 47893 HAS SOPS 47893 HAS SOUS 33420 HAS SOUPS 33420 WITH SCORE 33467.893
AT ITER 5963 NEW BEST:: SOT 158358 SOS 47888 HAS SOPS 47888 HAS SOUS 33415 HAS SOUPS 33415 WITH SCORE 33462.888
AT ITER 5976 NEW BEST:: SOT 158316 SOS 47849 HAS SOPS 47849 HAS SOUS 33415 HAS SOUPS 33415 WITH SCORE 33462.849
AT ITER 5981 NEW BEST:: SOT 158308 SOS 47833 HAS SOPS 47833 HAS SOUS 33399 HAS SOUPS 33399 WITH SCORE 33446.833
AT ITER 5996 NEW BEST:: SOT 158298 SOS 47803 HAS SOPS 47803 HAS SOUS 33379 HAS SOUPS 33379 WITH SCORE 33426.803
AT ITER 6018 NEW BEST:: SOT 158284 SOS 47925 HAS SOPS 47925 HAS SOUS 33376 HAS SOUPS 33376 WITH SCORE 33423.925
AT ITER 6020 NEW BEST:: SOT 158249 SOS 47893 HAS SOPS 47893 HAS SOUS 33335 HAS SOUPS 33335 WITH SCORE 33382.893
AT ITER 6029 NEW BEST:: SOT 158217 SOS 47824 HAS SOPS 47824 HAS SOUS 33266 HAS SOUPS 33266 WITH SCORE 33313.824
AT ITER 6043 NEW BEST:: SOT 158215 SOS 47822 HAS SOPS 47822 HAS SOUS 33262 HAS SOUPS 33262 WITH SCORE 33309.822
AT ITER 6068 NEW BEST:: SOT 158202 SOS 47832 HAS SOPS 47832 HAS SOUS 33240 HAS SOUPS 33240 WITH SCORE 33287.832
AT ITER 6131 NEW BEST:: SOT 158193 SOS 47803 HAS SOPS 47803 HAS SOUS 33211 HAS SOUPS 33211 WITH SCORE 33258.803
AT ITER 6134 NEW BEST:: SOT 158184 SOS 47777 HAS SOPS 47777 HAS SOUS 33201 HAS SOUPS 33201 WITH SCORE 33248.777
AT ITER 6177 NEW BEST:: SOT 158184 SOS 47701 HAS SOPS 47701 HAS SOUS 33192 HAS SOUPS 33192 WITH SCORE 33239.701
AT ITER 6194 NEW BEST:: SOT 158171 SOS 47675 HAS SOPS 47675 HAS SOUS 33110 HAS SOUPS 33110 WITH SCORE 33157.675
AT ITER 6225 NEW BEST:: SOT 158106 SOS 47624 HAS SOPS 47624 HAS SOUS 33059 HAS SOUPS 33059 WITH SCORE 33106.624
AT ITER 6270 NEW BEST:: SOT 158016 SOS 47520 HAS SOPS 47520 HAS SOUS 32955 HAS SOUPS 32955 WITH SCORE 33002.52
AT ITER 6300 NEW BEST:: SOT 158010 SOS 47514 HAS SOPS 47514 HAS SOUS 32949 HAS SOUPS 32949 WITH SCORE 32996.514
AT ITER 6303 NEW BEST:: SOT 158033 SOS 47560 HAS SOPS 47560 HAS SOUS 32930 HAS SOUPS 32930 WITH SCORE 32977.56
AT ITER 6363 NEW BEST:: SOT 158033 SOS 47560 HAS SOPS 47560 HAS SOUS 32911 HAS SOUPS 32911 WITH SCORE 32958.56
AT ITER 6380 NEW BEST:: SOT 158032 SOS 47558 HAS SOPS 47558 HAS SOUS 32909 HAS SOUPS 32909 WITH SCORE 32956.558
AT ITER 6399 NEW BEST:: SOT 158031 SOS 47556 HAS SOPS 47556 HAS SOUS 32907 HAS SOUPS 32907 WITH SCORE 32954.556
AT ITER 6417 NEW BEST:: SOT 158013 SOS 47538 HAS SOPS 47538 HAS SOUS 32889 HAS SOUPS 32889 WITH SCORE 32936.538
AT ITER 6425 NEW BEST:: SOT 158014 SOS 47531 HAS SOPS 47531 HAS SOUS 32882 HAS SOUPS 32882 WITH SCORE 32929.531
AT ITER 6471 NEW BEST:: SOT 157968 SOS 47492 HAS SOPS 47492 HAS SOUS 32821 HAS SOUPS 32821 WITH SCORE 32868.492
AT ITER 6498 NEW BEST:: SOT 157881 SOS 47447 HAS SOPS 47447 HAS SOUS 32792 HAS SOUPS 32792 WITH SCORE 32839.447
AT ITER 6529 NEW BEST:: SOT 157874 SOS 47440 HAS SOPS 47440 HAS SOUS 32792 HAS SOUPS 32792 WITH SCORE 32839.44
AT ITER 6536 NEW BEST:: SOT 157825 SOS 47391 HAS SOPS 47391 HAS SOUS 32694 HAS SOUPS 32694 WITH SCORE 32741.391
AT ITER 6541 NEW BEST:: SOT 157825 SOS 47377 HAS SOPS 47377 HAS SOUS 32680 HAS SOUPS 32680 WITH SCORE 32727.377
AT ITER 6545 NEW BEST:: SOT 157821 SOS 47369 HAS SOPS 47369 HAS SOUS 32622 HAS SOUPS 32622 WITH SCORE 32669.369
AT ITER 6577 NEW BEST:: SOT 157820 SOS 47369 HAS SOPS 47369 HAS SOUS 32621 HAS SOUPS 32621 WITH SCORE 32668.369
AT ITER 6588 NEW BEST:: SOT 157799 SOS 47348 HAS SOPS 47348 HAS SOUS 32600 HAS SOUPS 32600 WITH SCORE 32647.348
AT ITER 6605 NEW BEST:: SOT 157799 SOS 47330 HAS SOPS 47330 HAS SOUS 32582 HAS SOUPS 32582 WITH SCORE 32629.33
AT ITER 6612 NEW BEST:: SOT 157812 SOS 47326 HAS SOPS 47326 HAS SOUS 32579 HAS SOUPS 32579 WITH SCORE 32626.326
AT ITER 6654 NEW BEST:: SOT 157789 SOS 47280 HAS SOPS 47280 HAS SOUS 32562 HAS SOUPS 32562 WITH SCORE 32609.28
AT ITER 6680 NEW BEST:: SOT 157756 SOS 47247 HAS SOPS 47247 HAS SOUS 32529 HAS SOUPS 32529 WITH SCORE 32576.247
AT ITER 6683 NEW BEST:: SOT 157725 SOS 47230 HAS SOPS 47230 HAS SOUS 32512 HAS SOUPS 32512 WITH SCORE 32559.23
AT ITER 6684 NEW BEST:: SOT 157720 SOS 47220 HAS SOPS 47220 HAS SOUS 32502 HAS SOUPS 32502 WITH SCORE 32549.22
AT ITER 6697 NEW BEST:: SOT 157715 SOS 47215 HAS SOPS 47215 HAS SOUS 32502 HAS SOUPS 32502 WITH SCORE 32549.215
AT ITER 6725 NEW BEST:: SOT 157687 SOS 47194 HAS SOPS 47194 HAS SOUS 32481 HAS SOUPS 32481 WITH SCORE 32528.194
AT ITER 6751 NEW BEST:: SOT 157699 SOS 47218 HAS SOPS 47218 HAS SOUS 32455 HAS SOUPS 32455 WITH SCORE 32502.218
AT ITER 6849 NEW BEST:: SOT 157685 SOS 47204 HAS SOPS 47204 HAS SOUS 32455 HAS SOUPS 32455 WITH SCORE 32502.204
AT ITER 6872 NEW BEST:: SOT 157685 SOS 47146 HAS SOPS 47146 HAS SOUS 32402 HAS SOUPS 32402 WITH SCORE 32449.146
AT ITER 6922 NEW BEST:: SOT 157655 SOS 47107 HAS SOPS 47107 HAS SOUS 32363 HAS SOUPS 32363 WITH SCORE 32410.107
AT ITER 6933 NEW BEST:: SOT 157685 SOS 47133 HAS SOPS 47133 HAS SOUS 32360 HAS SOUPS 32360 WITH SCORE 32407.133
AT ITER 6979 NEW BEST:: SOT 157656 SOS 46721 HAS SOPS 46721 HAS SOUS 32316 HAS SOUPS 32316 WITH SCORE 32362.721
AT ITER 7021 NEW BEST:: SOT 157656 SOS 46713 HAS SOPS 46713 HAS SOUS 32308 HAS SOUPS 32308 WITH SCORE 32354.713
AT ITER 7046 NEW BEST:: SOT 157669 SOS 46713 HAS SOPS 46713 HAS SOUS 32295 HAS SOUPS 32295 WITH SCORE 32341.713
AT ITER 7051 NEW BEST:: SOT 157669 SOS 46704 HAS SOPS 46704 HAS SOUS 32286 HAS SOUPS 32286 WITH SCORE 32332.704
AT ITER 7054 NEW BEST:: SOT 157669 SOS 46655 HAS SOPS 46655 HAS SOUS 32286 HAS SOUPS 32286 WITH SCORE 32332.655
AT ITER 7210 NEW BEST:: SOT 157669 SOS 46589 HAS SOPS 46589 HAS SOUS 32270 HAS SOUPS 32270 WITH SCORE 32316.589
AT ITER 7266 NEW BEST:: SOT 157722 SOS 46490 HAS SOPS 46490 HAS SOUS 32171 HAS SOUPS 32171 WITH SCORE 32217.49
AT ITER 7274 NEW BEST:: SOT 157707 SOS 46486 HAS SOPS 46486 HAS SOUS 32169 HAS SOUPS 32169 WITH SCORE 32215.486
AT ITER 7277 NEW BEST:: SOT 157648 SOS 46445 HAS SOPS 46445 HAS SOUS 32128 HAS SOUPS 32128 WITH SCORE 32174.445
AT ITER 7282 NEW BEST:: SOT 157733 SOS 46375 HAS SOPS 46375 HAS SOUS 32058 HAS SOUPS 32058 WITH SCORE 32104.375
AT ITER 7295 NEW BEST:: SOT 157572 SOS 46245 HAS SOPS 46245 HAS SOUS 31928 HAS SOUPS 31928 WITH SCORE 31974.245
AT ITER 7345 NEW BEST:: SOT 157576 SOS 46231 HAS SOPS 46231 HAS SOUS 31914 HAS SOUPS 31914 WITH SCORE 31960.231
AT ITER 7350 NEW BEST:: SOT 157565 SOS 46193 HAS SOPS 46193 HAS SOUS 31892 HAS SOUPS 31892 WITH SCORE 31938.193
AT ITER 7352 NEW BEST:: SOT 157564 SOS 46191 HAS SOPS 46191 HAS SOUS 31890 HAS SOUPS 31890 WITH SCORE 31936.191
AT ITER 7388 NEW BEST:: SOT 157552 SOS 46167 HAS SOPS 46167 HAS SOUS 31878 HAS SOUPS 31878 WITH SCORE 31924.167
AT ITER 7409 NEW BEST:: SOT 157549 SOS 46161 HAS SOPS 46161 HAS SOUS 31872 HAS SOUPS 31872 WITH SCORE 31918.161
AT ITER 7420 NEW BEST:: SOT 157521 SOS 46127 HAS SOPS 46127 HAS SOUS 31860 HAS SOUPS 31860 WITH SCORE 31906.127
AT ITER 7479 NEW BEST:: SOT 157628 SOS 46127 HAS SOPS 46127 HAS SOUS 31753 HAS SOUPS 31753 WITH SCORE 31799.127
AT ITER 7494 NEW BEST:: SOT 157585 SOS 46084 HAS SOPS 46084 HAS SOUS 31733 HAS SOUPS 31733 WITH SCORE 31779.084
AT ITER 7539 NEW BEST:: SOT 157584 SOS 46082 HAS SOPS 46082 HAS SOUS 31731 HAS SOUPS 31731 WITH SCORE 31777.082
AT ITER 7647 NEW BEST:: SOT 157585 SOS 46055 HAS SOPS 46055 HAS SOUS 31704 HAS SOUPS 31704 WITH SCORE 31750.055
AT ITER 7656 NEW BEST:: SOT 157567 SOS 46019 HAS SOPS 46019 HAS SOUS 31668 HAS SOUPS 31668 WITH SCORE 31714.019
AT ITER 7684 NEW BEST:: SOT 157567 SOS 46017 HAS SOPS 46017 HAS SOUS 31666 HAS SOUPS 31666 WITH SCORE 31712.017
AT ITER 7687 NEW BEST:: SOT 157553 SOS 46003 HAS SOPS 46003 HAS SOUS 31666 HAS SOUPS 31666 WITH SCORE 31712.003
AT ITER 7700 NEW BEST:: SOT 157517 SOS 45967 HAS SOPS 45967 HAS SOUS 31630 HAS SOUPS 31630 WITH SCORE 31675.967
AT ITER 7705 NEW BEST:: SOT 157486 SOS 45937 HAS SOPS 45937 HAS SOUS 31606 HAS SOUPS 31606 WITH SCORE 31651.937
AT ITER 7709 NEW BEST:: SOT 157485 SOS 45944 HAS SOPS 45944 HAS SOUS 31605 HAS SOUPS 31605 WITH SCORE 31650.944
AT ITER 7725 NEW BEST:: SOT 157490 SOS 45928 HAS SOPS 45928 HAS SOUS 31597 HAS SOUPS 31597 WITH SCORE 31642.928
AT ITER 7738 NEW BEST:: SOT 157433 SOS 45814 HAS SOPS 45814 HAS SOUS 31543 HAS SOUPS 31543 WITH SCORE 31588.814
AT ITER 7753 NEW BEST:: SOT 157427 SOS 45808 HAS SOPS 45808 HAS SOUS 31537 HAS SOUPS 31537 WITH SCORE 31582.808
AT ITER 7785 NEW BEST:: SOT 157446 SOS 45787 HAS SOPS 45787 HAS SOUS 31537 HAS SOUPS 31537 WITH SCORE 31582.787
AT ITER 7797 NEW BEST:: SOT 157446 SOS 45760 HAS SOPS 45760 HAS SOUS 31510 HAS SOUPS 31510 WITH SCORE 31555.76
AT ITER 7805 NEW BEST:: SOT 157436 SOS 45750 HAS SOPS 45750 HAS SOUS 31490 HAS SOUPS 31490 WITH SCORE 31535.75
AT ITER 7822 NEW BEST:: SOT 157441 SOS 45736 HAS SOPS 45736 HAS SOUS 31476 HAS SOUPS 31476 WITH SCORE 31521.736
AT ITER 7846 NEW BEST:: SOT 157402 SOS 45680 HAS SOPS 45680 HAS SOUS 31422 HAS SOUPS 31422 WITH SCORE 31467.68
AT ITER 7899 NEW BEST:: SOT 157388 SOS 45666 HAS SOPS 45666 HAS SOUS 31408 HAS SOUPS 31408 WITH SCORE 31453.666
AT ITER 7978 NEW BEST:: SOT 157362 SOS 45640 HAS SOPS 45640 HAS SOUS 31408 HAS SOUPS 31408 WITH SCORE 31453.64
AT ITER 8022 NEW BEST:: SOT 157360 SOS 45638 HAS SOPS 45638 HAS SOUS 31406 HAS SOUPS 31406 WITH SCORE 31451.638
AT ITER 8052 NEW BEST:: SOT 157334 SOS 45581 HAS SOPS 45581 HAS SOUS 31380 HAS SOUPS 31380 WITH SCORE 31425.581
AT ITER 8097 NEW BEST:: SOT 157331 SOS 45575 HAS SOPS 45575 HAS SOUS 31358 HAS SOUPS 31358 WITH SCORE 31403.575
AT ITER 8136 NEW BEST:: SOT 157312 SOS 45571 HAS SOPS 45571 HAS SOUS 31354 HAS SOUPS 31354 WITH SCORE 31399.571
AT ITER 8161 NEW BEST:: SOT 157286 SOS 45538 HAS SOPS 45538 HAS SOUS 31347 HAS SOUPS 31347 WITH SCORE 31392.538
AT ITER 8177 NEW BEST:: SOT 157286 SOS 45535 HAS SOPS 45535 HAS SOUS 31341 HAS SOUPS 31341 WITH SCORE 31386.535
AT ITER 8220 NEW BEST:: SOT 157324 SOS 45533 HAS SOPS 45533 HAS SOUS 31339 HAS SOUPS 31339 WITH SCORE 31384.533
AT ITER 8222 NEW BEST:: SOT 157316 SOS 45529 HAS SOPS 45529 HAS SOUS 31335 HAS SOUPS 31335 WITH SCORE 31380.529
AT ITER 8249 NEW BEST:: SOT 157303 SOS 45503 HAS SOPS 45503 HAS SOUS 31309 HAS SOUPS 31309 WITH SCORE 31354.503
AT ITER 8267 NEW BEST:: SOT 157123 SOS 45318 HAS SOPS 45318 HAS SOUS 31140 HAS SOUPS 31140 WITH SCORE 31185.318
AT ITER 8275 NEW BEST:: SOT 157123 SOS 45329 HAS SOPS 45329 HAS SOUS 31139 HAS SOUPS 31139 WITH SCORE 31184.329
AT ITER 8288 NEW BEST:: SOT 157120 SOS 45324 HAS SOPS 45324 HAS SOUS 31134 HAS SOUPS 31134 WITH SCORE 31179.324
AT ITER 8296 NEW BEST:: SOT 157157 SOS 45361 HAS SOPS 45361 HAS SOUS 31121 HAS SOUPS 31121 WITH SCORE 31166.361
AT ITER 8331 NEW BEST:: SOT 157143 SOS 45326 HAS SOPS 45326 HAS SOUS 31100 HAS SOUPS 31100 WITH SCORE 31145.326
AT ITER 8359 NEW BEST:: SOT 157131 SOS 45315 HAS SOPS 45315 HAS SOUS 31089 HAS SOUPS 31089 WITH SCORE 31134.315
AT ITER 8447 NEW BEST:: SOT 157177 SOS 45361 HAS SOPS 45361 HAS SOUS 31082 HAS SOUPS 31082 WITH SCORE 31127.361
AT ITER 8481 NEW BEST:: SOT 157177 SOS 45355 HAS SOPS 45355 HAS SOUS 31070 HAS SOUPS 31070 WITH SCORE 31115.355
AT ITER 8563 NEW BEST:: SOT 157107 SOS 45160 HAS SOPS 45160 HAS SOUS 31000 HAS SOUPS 31000 WITH SCORE 31045.16
AT ITER 8602 NEW BEST:: SOT 157044 SOS 45132 HAS SOPS 45132 HAS SOUS 30972 HAS SOUPS 30972 WITH SCORE 31017.132
AT ITER 8615 NEW BEST:: SOT 157044 SOS 45020 HAS SOPS 45020 HAS SOUS 30944 HAS SOUPS 30944 WITH SCORE 30989.02
AT ITER 8659 NEW BEST:: SOT 157056 SOS 45027 HAS SOPS 45027 HAS SOUS 30934 HAS SOUPS 30934 WITH SCORE 30979.027
AT ITER 8680 NEW BEST:: SOT 157031 SOS 44977 HAS SOPS 44977 HAS SOUS 30902 HAS SOUPS 30902 WITH SCORE 30946.977
AT ITER 8683 NEW BEST:: SOT 157030 SOS 44975 HAS SOPS 44975 HAS SOUS 30900 HAS SOUPS 30900 WITH SCORE 30944.975
AT ITER 8686 NEW BEST:: SOT 157030 SOS 44967 HAS SOPS 44967 HAS SOUS 30892 HAS SOUPS 30892 WITH SCORE 30936.967
AT ITER 8687 NEW BEST:: SOT 157026 SOS 44958 HAS SOPS 44958 HAS SOUS 30883 HAS SOUPS 30883 WITH SCORE 30927.958
AT ITER 8717 NEW BEST:: SOT 157026 SOS 44958 HAS SOPS 44958 HAS SOUS 30879 HAS SOUPS 30879 WITH SCORE 30923.958
AT ITER 8718 NEW BEST:: SOT 157019 SOS 44944 HAS SOPS 44944 HAS SOUS 30872 HAS SOUPS 30872 WITH SCORE 30916.944
AT ITER 8761 NEW BEST:: SOT 157017 SOS 44940 HAS SOPS 44940 HAS SOUS 30868 HAS SOUPS 30868 WITH SCORE 30912.94
AT ITER 8836 NEW BEST:: SOT 157007 SOS 44930 HAS SOPS 44930 HAS SOUS 30858 HAS SOUPS 30858 WITH SCORE 30902.93
AT ITER 8870 NEW BEST:: SOT 156983 SOS 44895 HAS SOPS 44895 HAS SOUS 30823 HAS SOUPS 30823 WITH SCORE 30867.895
AT ITER 9098 NEW BEST:: SOT 156983 SOS 44856 HAS SOPS 44856 HAS SOUS 30784 HAS SOUPS 30784 WITH SCORE 30828.856
AT ITER 9102 NEW BEST:: SOT 156959 SOS 44808 HAS SOPS 44808 HAS SOUS 30754 HAS SOUPS 30754 WITH SCORE 30798.808
AT ITER 9137 NEW BEST:: SOT 156957 SOS 44806 HAS SOPS 44806 HAS SOUS 30754 HAS SOUPS 30754 WITH SCORE 30798.806
AT ITER 9181 NEW BEST:: SOT 156924 SOS 44740 HAS SOPS 44740 HAS SOUS 30735 HAS SOUPS 30735 WITH SCORE 30779.74
AT ITER 9225 NEW BEST:: SOT 156924 SOS 44736 HAS SOPS 44736 HAS SOUS 30735 HAS SOUPS 30735 WITH SCORE 30779.736
AT ITER 9231 NEW BEST:: SOT 156910 SOS 44716 HAS SOPS 44716 HAS SOUS 30715 HAS SOUPS 30715 WITH SCORE 30759.716
AT ITER 9239 NEW BEST:: SOT 156887 SOS 44693 HAS SOPS 44693 HAS SOUS 30692 HAS SOUPS 30692 WITH SCORE 30736.693
AT ITER 9254 NEW BEST:: SOT 156887 SOS 44665 HAS SOPS 44665 HAS SOUS 30664 HAS SOUPS 30664 WITH SCORE 30708.665
AT ITER 9260 NEW BEST:: SOT 156861 SOS 44613 HAS SOPS 44613 HAS SOUS 30638 HAS SOUPS 30638 WITH SCORE 30682.613
AT ITER 9290 NEW BEST:: SOT 156858 SOS 44610 HAS SOPS 44610 HAS SOUS 30635 HAS SOUPS 30635 WITH SCORE 30679.61
AT ITER 9322 NEW BEST:: SOT 156858 SOS 44602 HAS SOPS 44602 HAS SOUS 30627 HAS SOUPS 30627 WITH SCORE 30671.602
AT ITER 9365 NEW BEST:: SOT 156838 SOS 44561 HAS SOPS 44561 HAS SOUS 30586 HAS SOUPS 30586 WITH SCORE 30630.561
AT ITER 9381 NEW BEST:: SOT 156819 SOS 44523 HAS SOPS 44523 HAS SOUS 30548 HAS SOUPS 30548 WITH SCORE 30592.523
AT ITER 9418 NEW BEST:: SOT 156808 SOS 44501 HAS SOPS 44501 HAS SOUS 30537 HAS SOUPS 30537 WITH SCORE 30581.501
AT ITER 9434 NEW BEST:: SOT 156807 SOS 44500 HAS SOPS 44500 HAS SOUS 30536 HAS SOUPS 30536 WITH SCORE 30580.5
AT ITER 9445 NEW BEST:: SOT 156807 SOS 44494 HAS SOPS 44494 HAS SOUS 30530 HAS SOUPS 30530 WITH SCORE 30574.494
AT ITER 9458 NEW BEST:: SOT 156810 SOS 44493 HAS SOPS 44493 HAS SOUS 30529 HAS SOUPS 30529 WITH SCORE 30573.493
AT ITER 9463 NEW BEST:: SOT 156792 SOS 44448 HAS SOPS 44448 HAS SOUS 30490 HAS SOUPS 30490 WITH SCORE 30534.448
AT ITER 9474 NEW BEST:: SOT 156780 SOS 44386 HAS SOPS 44386 HAS SOUS 30458 HAS SOUPS 30458 WITH SCORE 30502.386
AT ITER 9538 NEW BEST:: SOT 156789 SOS 44404 HAS SOPS 44404 HAS SOUS 30456 HAS SOUPS 30456 WITH SCORE 30500.404
AT ITER 9554 NEW BEST:: SOT 156821 SOS 44436 HAS SOPS 44436 HAS SOUS 30450 HAS SOUPS 30450 WITH SCORE 30494.436
AT ITER 9566 NEW BEST:: SOT 156801 SOS 44406 HAS SOPS 44406 HAS SOUS 30420 HAS SOUPS 30420 WITH SCORE 30464.406
AT ITER 9581 NEW BEST:: SOT 156797 SOS 44398 HAS SOPS 44398 HAS SOUS 30412 HAS SOUPS 30412 WITH SCORE 30456.398
AT ITER 9613 NEW BEST:: SOT 156782 SOS 44442 HAS SOPS 44442 HAS SOUS 30382 HAS SOUPS 30382 WITH SCORE 30426.442
AT ITER 9709 NEW BEST:: SOT 156772 SOS 44432 HAS SOPS 44432 HAS SOUS 30372 HAS SOUPS 30372 WITH SCORE 30416.432
AT ITER 9731 NEW BEST:: SOT 156774 SOS 44456 HAS SOPS 44456 HAS SOUS 30358 HAS SOUPS 30358 WITH SCORE 30402.456
AT ITER 9738 NEW BEST:: SOT 156771 SOS 44421 HAS SOPS 44421 HAS SOUS 30352 HAS SOUPS 30352 WITH SCORE 30396.421
AT ITER 9819 NEW BEST:: SOT 156755 SOS 44363 HAS SOPS 44363 HAS SOUS 30301 HAS SOUPS 30301 WITH SCORE 30345.363
AT ITER 9845 NEW BEST:: SOT 156739 SOS 44331 HAS SOPS 44331 HAS SOUS 30285 HAS SOUPS 30285 WITH SCORE 30329.331
AT ITER 9846 NEW BEST:: SOT 156739 SOS 44278 HAS SOPS 44278 HAS SOUS 30232 HAS SOUPS 30232 WITH SCORE 30276.278
AT ITER 9852 NEW BEST:: SOT 156671 SOS 44263 HAS SOPS 44263 HAS SOUS 30217 HAS SOUPS 30217 WITH SCORE 30261.263
AT ITER 9889 NEW BEST:: SOT 156671 SOS 44251 HAS SOPS 44251 HAS SOUS 30205 HAS SOUPS 30205 WITH SCORE 30249.251
AT ITER 9914 NEW BEST:: SOT 156670 SOS 44249 HAS SOPS 44249 HAS SOUS 30203 HAS SOUPS 30203 WITH SCORE 30247.249
AT ITER 9977 NEW BEST:: SOT 156670 SOS 44237 HAS SOPS 44237 HAS SOUS 30203 HAS SOUPS 30203 WITH SCORE 30247.237

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="BusinessProcesses-PT-11"
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 BusinessProcesses-PT-11, 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-158897680100536"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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