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.r224-oct2-159033538900504.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 ViralEpidemic-PT-S03D1C1A04, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538900504
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 792K
-rw-r--r-- 1 mcc users 4.2K May 14 04:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 14 04:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K May 13 22:34 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 22:34 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K May 14 10:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 14 10:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 14 10:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 14 10:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.8K May 13 15:40 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K May 13 15:40 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.7K May 13 11:24 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K May 13 11:24 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 11 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 615K May 12 20:42 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 1590473532560

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

Filename model.pnml
Petri model created: 606 places, 847 transitions, 1936 arcs.
AT ITER 0 NEW BEST:: SOT 354234 SOS 192601 HAS SOPS 192601 HAS SOUS 75293 HAS SOUPS 75293 WITH SCORE 75485.601
AT ITER 1 NEW BEST:: SOT 353898 SOS 191929 HAS SOPS 191929 HAS SOUS 75293 HAS SOUPS 75293 WITH SCORE 75484.929
AT ITER 2 NEW BEST:: SOT 353582 SOS 191295 HAS SOPS 191295 HAS SOUS 75289 HAS SOUPS 75289 WITH SCORE 75480.295
AT ITER 34 NEW BEST:: SOT 353156 SOS 190442 HAS SOPS 190442 HAS SOUS 75288 HAS SOUPS 75288 WITH SCORE 75478.442
AT ITER 41 NEW BEST:: SOT 352874 SOS 189877 HAS SOPS 189877 HAS SOUS 75287 HAS SOUPS 75287 WITH SCORE 75476.877
AT ITER 51 NEW BEST:: SOT 352640 SOS 189407 HAS SOPS 189407 HAS SOUS 75283 HAS SOUPS 75283 WITH SCORE 75472.407
AT ITER 52 NEW BEST:: SOT 352278 SOS 188683 HAS SOPS 188683 HAS SOUS 75283 HAS SOUPS 75283 WITH SCORE 75471.683
AT ITER 67 NEW BEST:: SOT 352156 SOS 188437 HAS SOPS 188437 HAS SOUS 75279 HAS SOUPS 75279 WITH SCORE 75467.437
AT ITER 70 NEW BEST:: SOT 351618 SOS 187361 HAS SOPS 187361 HAS SOUS 75279 HAS SOUPS 75279 WITH SCORE 75466.361
AT ITER 71 NEW BEST:: SOT 351058 SOS 186239 HAS SOPS 186239 HAS SOUS 75275 HAS SOUPS 75275 WITH SCORE 75461.239
AT ITER 85 NEW BEST:: SOT 350778 SOS 185679 HAS SOPS 185679 HAS SOUS 75275 HAS SOUPS 75275 WITH SCORE 75460.679
AT ITER 99 NEW BEST:: SOT 350522 SOS 185165 HAS SOPS 185165 HAS SOUS 75271 HAS SOUPS 75271 WITH SCORE 75456.165
AT ITER 100 NEW BEST:: SOT 350254 SOS 184629 HAS SOPS 184629 HAS SOUS 75271 HAS SOUPS 75271 WITH SCORE 75455.629
AT ITER 102 NEW BEST:: SOT 349698 SOS 183517 HAS SOPS 183517 HAS SOUS 75271 HAS SOUPS 75271 WITH SCORE 75454.517
AT ITER 104 NEW BEST:: SOT 349618 SOS 183357 HAS SOPS 183357 HAS SOUS 75271 HAS SOUPS 75271 WITH SCORE 75454.357
AT ITER 109 NEW BEST:: SOT 349268 SOS 182521 HAS SOPS 182521 HAS SOUS 75173 HAS SOUPS 75173 WITH SCORE 75355.521
AT ITER 112 NEW BEST:: SOT 348788 SOS 181561 HAS SOPS 181561 HAS SOUS 75173 HAS SOUPS 75173 WITH SCORE 75354.561
AT ITER 113 NEW BEST:: SOT 348540 SOS 181064 HAS SOPS 181064 HAS SOUS 75172 HAS SOUPS 75172 WITH SCORE 75353.064
AT ITER 115 NEW BEST:: SOT 348410 SOS 180802 HAS SOPS 180802 HAS SOUS 75168 HAS SOUPS 75168 WITH SCORE 75348.802
AT ITER 122 NEW BEST:: SOT 348186 SOS 180242 HAS SOPS 180242 HAS SOUS 75054 HAS SOUPS 75054 WITH SCORE 75234.242
AT ITER 148 NEW BEST:: SOT 347642 SOS 179154 HAS SOPS 179154 HAS SOUS 75054 HAS SOUPS 75054 WITH SCORE 75233.154
AT ITER 158 NEW BEST:: SOT 347516 SOS 178902 HAS SOPS 178902 HAS SOUS 75054 HAS SOUPS 75054 WITH SCORE 75232.902
AT ITER 160 NEW BEST:: SOT 347232 SOS 178334 HAS SOPS 178334 HAS SOUS 75054 HAS SOUPS 75054 WITH SCORE 75232.334
AT ITER 169 NEW BEST:: SOT 347164 SOS 178198 HAS SOPS 178198 HAS SOUS 75054 HAS SOUPS 75054 WITH SCORE 75232.198
AT ITER 201 NEW BEST:: SOT 346860 SOS 177590 HAS SOPS 177590 HAS SOUS 75054 HAS SOUPS 75054 WITH SCORE 75231.59
AT ITER 202 NEW BEST:: SOT 346472 SOS 176813 HAS SOPS 176813 HAS SOUS 75053 HAS SOUPS 75053 WITH SCORE 75229.813
AT ITER 205 NEW BEST:: SOT 346008 SOS 175885 HAS SOPS 175885 HAS SOUS 75053 HAS SOUPS 75053 WITH SCORE 75228.885
AT ITER 215 NEW BEST:: SOT 345427 SOS 174511 HAS SOPS 174511 HAS SOUS 74904 HAS SOUPS 74904 WITH SCORE 75078.511
AT ITER 222 NEW BEST:: SOT 344915 SOS 173317 HAS SOPS 173317 HAS SOUS 74794 HAS SOUPS 74794 WITH SCORE 74967.317
AT ITER 229 NEW BEST:: SOT 344556 SOS 172540 HAS SOPS 172540 HAS SOUS 74760 HAS SOUPS 74760 WITH SCORE 74932.54
AT ITER 244 NEW BEST:: SOT 344432 SOS 172290 HAS SOPS 172290 HAS SOUS 74756 HAS SOUPS 74756 WITH SCORE 74928.29
AT ITER 264 NEW BEST:: SOT 344432 SOS 172288 HAS SOPS 172288 HAS SOUS 74752 HAS SOUPS 74752 WITH SCORE 74924.288
AT ITER 273 NEW BEST:: SOT 344260 SOS 171943 HAS SOPS 171943 HAS SOUS 74751 HAS SOUPS 74751 WITH SCORE 74922.943
AT ITER 278 NEW BEST:: SOT 344046 SOS 171385 HAS SOPS 171385 HAS SOUS 74711 HAS SOUPS 74711 WITH SCORE 74882.385
AT ITER 288 NEW BEST:: SOT 343834 SOS 170855 HAS SOPS 170855 HAS SOUS 74605 HAS SOUPS 74605 WITH SCORE 74775.855
AT ITER 289 NEW BEST:: SOT 343766 SOS 170685 HAS SOPS 170685 HAS SOUS 74503 HAS SOUPS 74503 WITH SCORE 74673.685
AT ITER 290 NEW BEST:: SOT 343550 SOS 170252 HAS SOPS 170252 HAS SOUS 74502 HAS SOUPS 74502 WITH SCORE 74672.252
AT ITER 298 NEW BEST:: SOT 342947 SOS 169245 HAS SOPS 169245 HAS SOUS 74297 HAS SOUPS 74297 WITH SCORE 74466.245
AT ITER 308 NEW BEST:: SOT 342653 SOS 168657 HAS SOPS 168657 HAS SOUS 74297 HAS SOUPS 74297 WITH SCORE 74465.657
AT ITER 312 NEW BEST:: SOT 342335 SOS 167914 HAS SOPS 167914 HAS SOUS 74222 HAS SOUPS 74222 WITH SCORE 74389.914
AT ITER 313 NEW BEST:: SOT 341951 SOS 166953 HAS SOPS 166953 HAS SOUS 73957 HAS SOUPS 73957 WITH SCORE 74123.953
AT ITER 315 NEW BEST:: SOT 341939 SOS 166932 HAS SOPS 166932 HAS SOUS 73952 HAS SOUPS 73952 WITH SCORE 74118.932
AT ITER 320 NEW BEST:: SOT 341206 SOS 165737 HAS SOPS 165737 HAS SOUS 73849 HAS SOUPS 73849 WITH SCORE 74014.737
AT ITER 329 NEW BEST:: SOT 341144 SOS 165613 HAS SOPS 165613 HAS SOUS 73787 HAS SOUPS 73787 WITH SCORE 73952.613
AT ITER 341 NEW BEST:: SOT 340393 SOS 164395 HAS SOPS 164395 HAS SOUS 73700 HAS SOUPS 73700 WITH SCORE 73864.395
AT ITER 344 NEW BEST:: SOT 340007 SOS 163621 HAS SOPS 163621 HAS SOUS 73696 HAS SOUPS 73696 WITH SCORE 73859.621
AT ITER 350 NEW BEST:: SOT 339979 SOS 163563 HAS SOPS 163563 HAS SOUS 73692 HAS SOUPS 73692 WITH SCORE 73855.563
AT ITER 353 NEW BEST:: SOT 339563 SOS 162729 HAS SOPS 162729 HAS SOUS 73688 HAS SOUPS 73688 WITH SCORE 73850.729
AT ITER 360 NEW BEST:: SOT 338878 SOS 161591 HAS SOPS 161591 HAS SOUS 73486 HAS SOUPS 73486 WITH SCORE 73647.591
AT ITER 363 NEW BEST:: SOT 338863 SOS 161561 HAS SOPS 161561 HAS SOUS 73471 HAS SOUPS 73471 WITH SCORE 73632.561
AT ITER 393 NEW BEST:: SOT 338341 SOS 160517 HAS SOPS 160517 HAS SOUS 73471 HAS SOUPS 73471 WITH SCORE 73631.517
AT ITER 395 NEW BEST:: SOT 338289 SOS 160412 HAS SOPS 160412 HAS SOUS 73470 HAS SOUPS 73470 WITH SCORE 73630.412
AT ITER 412 NEW BEST:: SOT 337847 SOS 159443 HAS SOPS 159443 HAS SOUS 73447 HAS SOUPS 73447 WITH SCORE 73606.443
AT ITER 415 NEW BEST:: SOT 337331 SOS 158153 HAS SOPS 158153 HAS SOUS 73187 HAS SOUPS 73187 WITH SCORE 73345.153
AT ITER 458 NEW BEST:: SOT 337331 SOS 158151 HAS SOPS 158151 HAS SOUS 73183 HAS SOUPS 73183 WITH SCORE 73341.151
AT ITER 463 NEW BEST:: SOT 337139 SOS 157766 HAS SOPS 157766 HAS SOUS 73182 HAS SOUPS 73182 WITH SCORE 73339.766
AT ITER 485 NEW BEST:: SOT 337139 SOS 157765 HAS SOPS 157765 HAS SOUS 73181 HAS SOUPS 73181 WITH SCORE 73338.765
AT ITER 505 NEW BEST:: SOT 336362 SOS 156413 HAS SOPS 156413 HAS SOUS 72985 HAS SOUPS 72985 WITH SCORE 73141.413
AT ITER 506 NEW BEST:: SOT 335806 SOS 155068 HAS SOPS 155068 HAS SOUS 72752 HAS SOUPS 72752 WITH SCORE 72907.068
AT ITER 508 NEW BEST:: SOT 335590 SOS 154634 HAS SOPS 154634 HAS SOUS 72748 HAS SOUPS 72748 WITH SCORE 72902.634
AT ITER 510 NEW BEST:: SOT 335412 SOS 154278 HAS SOPS 154278 HAS SOUS 72748 HAS SOUPS 72748 WITH SCORE 72902.278
AT ITER 539 NEW BEST:: SOT 335372 SOS 154198 HAS SOPS 154198 HAS SOUS 72748 HAS SOUPS 72748 WITH SCORE 72902.198
AT ITER 554 NEW BEST:: SOT 335186 SOS 153733 HAS SOPS 153733 HAS SOUS 72655 HAS SOUPS 72655 WITH SCORE 72808.733
AT ITER 560 NEW BEST:: SOT 334796 SOS 152758 HAS SOPS 152758 HAS SOUS 72070 HAS SOUPS 72070 WITH SCORE 72222.758
AT ITER 567 NEW BEST:: SOT 334652 SOS 152468 HAS SOPS 152468 HAS SOUS 72066 HAS SOUPS 72066 WITH SCORE 72218.468
AT ITER 579 NEW BEST:: SOT 334148 SOS 151232 HAS SOPS 151232 HAS SOUS 71410 HAS SOUPS 71410 WITH SCORE 71561.232
AT ITER 580 NEW BEST:: SOT 333712 SOS 150360 HAS SOPS 150360 HAS SOUS 71410 HAS SOUPS 71410 WITH SCORE 71560.36
AT ITER 590 NEW BEST:: SOT 333447 SOS 149674 HAS SOPS 149674 HAS SOUS 71062 HAS SOUPS 71062 WITH SCORE 71211.674
AT ITER 613 NEW BEST:: SOT 333341 SOS 149409 HAS SOPS 149409 HAS SOUS 70943 HAS SOUPS 70943 WITH SCORE 71092.409
AT ITER 619 NEW BEST:: SOT 333019 SOS 148763 HAS SOPS 148763 HAS SOUS 70939 HAS SOUPS 70939 WITH SCORE 71087.763
AT ITER 626 NEW BEST:: SOT 332972 SOS 148692 HAS SOPS 148692 HAS SOUS 70939 HAS SOUPS 70939 WITH SCORE 71087.692
AT ITER 683 NEW BEST:: SOT 332678 SOS 147825 HAS SOPS 147825 HAS SOUS 70490 HAS SOUPS 70490 WITH SCORE 70637.825
AT ITER 686 NEW BEST:: SOT 332168 SOS 146805 HAS SOPS 146805 HAS SOUS 70490 HAS SOUPS 70490 WITH SCORE 70636.805
AT ITER 688 NEW BEST:: SOT 332074 SOS 146616 HAS SOPS 146616 HAS SOUS 70489 HAS SOUPS 70489 WITH SCORE 70635.616
AT ITER 690 NEW BEST:: SOT 331750 SOS 145811 HAS SOPS 145811 HAS SOUS 70433 HAS SOUPS 70433 WITH SCORE 70578.811
AT ITER 693 NEW BEST:: SOT 331706 SOS 145721 HAS SOPS 145721 HAS SOUS 70429 HAS SOUPS 70429 WITH SCORE 70574.721
AT ITER 697 NEW BEST:: SOT 331650 SOS 145607 HAS SOPS 145607 HAS SOUS 70427 HAS SOUPS 70427 WITH SCORE 70572.607
AT ITER 708 NEW BEST:: SOT 331650 SOS 145493 HAS SOPS 145493 HAS SOUS 70311 HAS SOUPS 70311 WITH SCORE 70456.493
AT ITER 733 NEW BEST:: SOT 330906 SOS 143986 HAS SOPS 143986 HAS SOUS 69860 HAS SOUPS 69860 WITH SCORE 70003.986
AT ITER 737 NEW BEST:: SOT 330876 SOS 143911 HAS SOPS 143911 HAS SOUS 69845 HAS SOUPS 69845 WITH SCORE 69988.911
AT ITER 742 NEW BEST:: SOT 330465 SOS 142973 HAS SOPS 142973 HAS SOUS 69806 HAS SOUPS 69806 WITH SCORE 69948.973
AT ITER 771 NEW BEST:: SOT 329674 SOS 141340 HAS SOPS 141340 HAS SOUS 69345 HAS SOUPS 69345 WITH SCORE 69486.34
AT ITER 779 NEW BEST:: SOT 329646 SOS 141312 HAS SOPS 141312 HAS SOUS 69315 HAS SOUPS 69315 WITH SCORE 69456.312
AT ITER 797 NEW BEST:: SOT 329582 SOS 141247 HAS SOPS 141247 HAS SOUS 69246 HAS SOUPS 69246 WITH SCORE 69387.247
AT ITER 810 NEW BEST:: SOT 329558 SOS 141187 HAS SOPS 141187 HAS SOUS 69232 HAS SOUPS 69232 WITH SCORE 69373.187
AT ITER 832 NEW BEST:: SOT 329558 SOS 141186 HAS SOPS 141186 HAS SOUS 69227 HAS SOUPS 69227 WITH SCORE 69368.186
AT ITER 868 NEW BEST:: SOT 329558 SOS 141184 HAS SOPS 141184 HAS SOUS 69223 HAS SOUPS 69223 WITH SCORE 69364.184
AT ITER 875 NEW BEST:: SOT 329200 SOS 140467 HAS SOPS 140467 HAS SOUS 69222 HAS SOUPS 69222 WITH SCORE 69362.467
AT ITER 876 NEW BEST:: SOT 329192 SOS 140451 HAS SOPS 140451 HAS SOUS 69214 HAS SOUPS 69214 WITH SCORE 69354.451
AT ITER 911 NEW BEST:: SOT 328617 SOS 139038 HAS SOPS 139038 HAS SOUS 68548 HAS SOUPS 68548 WITH SCORE 68687.038
AT ITER 918 NEW BEST:: SOT 328255 SOS 138313 HAS SOPS 138313 HAS SOUS 68547 HAS SOUPS 68547 WITH SCORE 68685.313
AT ITER 934 NEW BEST:: SOT 328045 SOS 137788 HAS SOPS 137788 HAS SOUS 68442 HAS SOUPS 68442 WITH SCORE 68579.788
AT ITER 936 NEW BEST:: SOT 327847 SOS 137293 HAS SOPS 137293 HAS SOUS 68343 HAS SOUPS 68343 WITH SCORE 68480.293
AT ITER 938 NEW BEST:: SOT 327482 SOS 136420 HAS SOPS 136420 HAS SOUS 68261 HAS SOUPS 68261 WITH SCORE 68397.42
AT ITER 946 NEW BEST:: SOT 327459 SOS 136346 HAS SOPS 136346 HAS SOUS 68229 HAS SOUPS 68229 WITH SCORE 68365.346
AT ITER 947 NEW BEST:: SOT 326990 SOS 135337 HAS SOPS 135337 HAS SOUS 68205 HAS SOUPS 68205 WITH SCORE 68340.337
AT ITER 963 NEW BEST:: SOT 326950 SOS 135237 HAS SOPS 135237 HAS SOUS 68163 HAS SOUPS 68163 WITH SCORE 68298.237
AT ITER 969 NEW BEST:: SOT 326944 SOS 135225 HAS SOPS 135225 HAS SOUS 68163 HAS SOUPS 68163 WITH SCORE 68298.225
AT ITER 983 NEW BEST:: SOT 327118 SOS 135573 HAS SOPS 135573 HAS SOUS 68107 HAS SOUPS 68107 WITH SCORE 68242.573
AT ITER 987 NEW BEST:: SOT 326791 SOS 134756 HAS SOPS 134756 HAS SOUS 67997 HAS SOUPS 67997 WITH SCORE 68131.756
AT ITER 989 NEW BEST:: SOT 326542 SOS 134057 HAS SOPS 134057 HAS SOUS 67674 HAS SOUPS 67674 WITH SCORE 67808.057
AT ITER 1000 NEW BEST:: SOT 326414 SOS 133914 HAS SOPS 133914 HAS SOUS 67674 HAS SOUPS 67674 WITH SCORE 67807.914
AT ITER 1043 NEW BEST:: SOT 326018 SOS 133122 HAS SOPS 133122 HAS SOUS 67410 HAS SOUPS 67410 WITH SCORE 67543.122
AT ITER 1059 NEW BEST:: SOT 325978 SOS 133042 HAS SOPS 133042 HAS SOUS 67410 HAS SOUPS 67410 WITH SCORE 67543.042
AT ITER 1094 NEW BEST:: SOT 325978 SOS 132950 HAS SOPS 132950 HAS SOUS 67316 HAS SOUPS 67316 WITH SCORE 67448.95
AT ITER 1109 NEW BEST:: SOT 325848 SOS 132563 HAS SOPS 132563 HAS SOUS 67253 HAS SOUPS 67253 WITH SCORE 67385.563
AT ITER 1113 NEW BEST:: SOT 325529 SOS 131890 HAS SOPS 131890 HAS SOUS 66998 HAS SOUPS 66998 WITH SCORE 67129.89
AT ITER 1120 NEW BEST:: SOT 325244 SOS 131213 HAS SOPS 131213 HAS SOUS 66936 HAS SOUPS 66936 WITH SCORE 67067.213
AT ITER 1138 NEW BEST:: SOT 325063 SOS 130737 HAS SOPS 130737 HAS SOUS 66865 HAS SOUPS 66865 WITH SCORE 66995.737
AT ITER 1144 NEW BEST:: SOT 325009 SOS 130683 HAS SOPS 130683 HAS SOUS 66811 HAS SOUPS 66811 WITH SCORE 66941.683
AT ITER 1145 NEW BEST:: SOT 324507 SOS 129642 HAS SOPS 129642 HAS SOUS 66774 HAS SOUPS 66774 WITH SCORE 66903.642
AT ITER 1147 NEW BEST:: SOT 324458 SOS 129544 HAS SOPS 129544 HAS SOUS 66725 HAS SOUPS 66725 WITH SCORE 66854.544
AT ITER 1156 NEW BEST:: SOT 324458 SOS 129544 HAS SOPS 129544 HAS SOUS 66543 HAS SOUPS 66543 WITH SCORE 66672.544
AT ITER 1157 NEW BEST:: SOT 324392 SOS 129412 HAS SOPS 129412 HAS SOUS 66477 HAS SOUPS 66477 WITH SCORE 66606.412
AT ITER 1173 NEW BEST:: SOT 324127 SOS 128699 HAS SOPS 128699 HAS SOUS 66165 HAS SOUPS 66165 WITH SCORE 66293.699
AT ITER 1174 NEW BEST:: SOT 323997 SOS 128374 HAS SOPS 128374 HAS SOUS 66098 HAS SOUPS 66098 WITH SCORE 66226.374
AT ITER 1175 NEW BEST:: SOT 323733 SOS 127714 HAS SOPS 127714 HAS SOUS 65966 HAS SOUPS 65966 WITH SCORE 66093.714
AT ITER 1184 NEW BEST:: SOT 323711 SOS 127670 HAS SOPS 127670 HAS SOUS 65966 HAS SOUPS 65966 WITH SCORE 66093.67
AT ITER 1203 NEW BEST:: SOT 323668 SOS 127541 HAS SOPS 127541 HAS SOUS 65921 HAS SOUPS 65921 WITH SCORE 66048.541
AT ITER 1207 NEW BEST:: SOT 323642 SOS 127489 HAS SOPS 127489 HAS SOUS 65921 HAS SOUPS 65921 WITH SCORE 66048.489
AT ITER 1242 NEW BEST:: SOT 323308 SOS 126654 HAS SOPS 126654 HAS SOUS 65420 HAS SOUPS 65420 WITH SCORE 65546.654
AT ITER 1249 NEW BEST:: SOT 323288 SOS 126650 HAS SOPS 126650 HAS SOUS 65414 HAS SOUPS 65414 WITH SCORE 65540.65
AT ITER 1265 NEW BEST:: SOT 323267 SOS 126608 HAS SOPS 126608 HAS SOUS 65393 HAS SOUPS 65393 WITH SCORE 65519.608
AT ITER 1284 NEW BEST:: SOT 323259 SOS 126584 HAS SOPS 126584 HAS SOUS 65393 HAS SOUPS 65393 WITH SCORE 65519.584
AT ITER 1286 NEW BEST:: SOT 323259 SOS 126583 HAS SOPS 126583 HAS SOUS 65392 HAS SOUPS 65392 WITH SCORE 65518.583
AT ITER 1305 NEW BEST:: SOT 323089 SOS 126322 HAS SOPS 126322 HAS SOUS 65392 HAS SOUPS 65392 WITH SCORE 65518.322
AT ITER 1306 NEW BEST:: SOT 323002 SOS 126235 HAS SOPS 126235 HAS SOUS 65305 HAS SOUPS 65305 WITH SCORE 65431.235
AT ITER 1313 NEW BEST:: SOT 323032 SOS 126295 HAS SOPS 126295 HAS SOUS 65277 HAS SOUPS 65277 WITH SCORE 65403.295
AT ITER 1342 NEW BEST:: SOT 323146 SOS 126165 HAS SOPS 126165 HAS SOUS 65077 HAS SOUPS 65077 WITH SCORE 65203.165
AT ITER 1345 NEW BEST:: SOT 322575 SOS 125236 HAS SOPS 125236 HAS SOUS 64933 HAS SOUPS 64933 WITH SCORE 65058.236
AT ITER 1347 NEW BEST:: SOT 322575 SOS 125235 HAS SOPS 125235 HAS SOUS 64928 HAS SOUPS 64928 WITH SCORE 65053.235
AT ITER 1348 NEW BEST:: SOT 322539 SOS 125163 HAS SOPS 125163 HAS SOUS 64928 HAS SOUPS 64928 WITH SCORE 65053.163
AT ITER 1359 NEW BEST:: SOT 322456 SOS 124906 HAS SOPS 124906 HAS SOUS 64752 HAS SOUPS 64752 WITH SCORE 64876.906
AT ITER 1372 NEW BEST:: SOT 322442 SOS 124868 HAS SOPS 124868 HAS SOUS 64713 HAS SOUPS 64713 WITH SCORE 64837.868
AT ITER 1374 NEW BEST:: SOT 322358 SOS 124627 HAS SOPS 124627 HAS SOUS 64686 HAS SOUPS 64686 WITH SCORE 64810.627
AT ITER 1382 NEW BEST:: SOT 322326 SOS 124562 HAS SOPS 124562 HAS SOUS 64685 HAS SOUPS 64685 WITH SCORE 64809.562
AT ITER 1416 NEW BEST:: SOT 322218 SOS 124346 HAS SOPS 124346 HAS SOUS 64618 HAS SOUPS 64618 WITH SCORE 64742.346
AT ITER 1419 NEW BEST:: SOT 322218 SOS 124334 HAS SOPS 124334 HAS SOUS 64606 HAS SOUPS 64606 WITH SCORE 64730.334
AT ITER 1420 NEW BEST:: SOT 322178 SOS 124234 HAS SOPS 124234 HAS SOUS 64586 HAS SOUPS 64586 WITH SCORE 64710.234
AT ITER 1430 NEW BEST:: SOT 322178 SOS 124207 HAS SOPS 124207 HAS SOUS 64555 HAS SOUPS 64555 WITH SCORE 64679.207
AT ITER 1455 NEW BEST:: SOT 321967 SOS 123793 HAS SOPS 123793 HAS SOUS 64464 HAS SOUPS 64464 WITH SCORE 64587.793
AT ITER 1461 NEW BEST:: SOT 322005 SOS 123869 HAS SOPS 123869 HAS SOUS 64426 HAS SOUPS 64426 WITH SCORE 64549.869
AT ITER 1484 NEW BEST:: SOT 321975 SOS 123779 HAS SOPS 123779 HAS SOUS 64426 HAS SOUPS 64426 WITH SCORE 64549.779
AT ITER 1494 NEW BEST:: SOT 321595 SOS 122896 HAS SOPS 122896 HAS SOUS 64337 HAS SOUPS 64337 WITH SCORE 64459.896
AT ITER 1501 NEW BEST:: SOT 321229 SOS 122123 HAS SOPS 122123 HAS SOUS 64296 HAS SOUPS 64296 WITH SCORE 64418.123
AT ITER 1511 NEW BEST:: SOT 321214 SOS 122093 HAS SOPS 122093 HAS SOUS 64281 HAS SOUPS 64281 WITH SCORE 64403.093
AT ITER 1513 NEW BEST:: SOT 321199 SOS 122078 HAS SOPS 122078 HAS SOUS 64266 HAS SOUPS 64266 WITH SCORE 64388.078
AT ITER 1524 NEW BEST:: SOT 321223 SOS 122078 HAS SOPS 122078 HAS SOUS 64152 HAS SOUPS 64152 WITH SCORE 64274.078
AT ITER 1527 NEW BEST:: SOT 321148 SOS 122077 HAS SOPS 122077 HAS SOUS 64151 HAS SOUPS 64151 WITH SCORE 64273.077
AT ITER 1538 NEW BEST:: SOT 320859 SOS 121483 HAS SOPS 121483 HAS SOUS 64131 HAS SOUPS 64131 WITH SCORE 64252.483
AT ITER 1547 NEW BEST:: SOT 320333 SOS 120355 HAS SOPS 120355 HAS SOUS 64055 HAS SOUPS 64055 WITH SCORE 64175.355
AT ITER 1570 NEW BEST:: SOT 320335 SOS 120360 HAS SOPS 120360 HAS SOUS 64054 HAS SOUPS 64054 WITH SCORE 64174.36
AT ITER 1571 NEW BEST:: SOT 319697 SOS 119183 HAS SOPS 119183 HAS SOUS 63668 HAS SOUPS 63668 WITH SCORE 63787.183
AT ITER 1574 NEW BEST:: SOT 319519 SOS 118762 HAS SOPS 118762 HAS SOUS 63515 HAS SOUPS 63515 WITH SCORE 63633.762
AT ITER 1577 NEW BEST:: SOT 319444 SOS 118612 HAS SOPS 118612 HAS SOUS 63420 HAS SOUPS 63420 WITH SCORE 63538.612
AT ITER 1591 NEW BEST:: SOT 319310 SOS 118277 HAS SOPS 118277 HAS SOUS 63202 HAS SOUPS 63202 WITH SCORE 63320.277
AT ITER 1598 NEW BEST:: SOT 319285 SOS 118202 HAS SOPS 118202 HAS SOUS 63124 HAS SOUPS 63124 WITH SCORE 63242.202
AT ITER 1607 NEW BEST:: SOT 319221 SOS 118074 HAS SOPS 118074 HAS SOUS 63124 HAS SOUPS 63124 WITH SCORE 63242.074
AT ITER 1622 NEW BEST:: SOT 319077 SOS 117834 HAS SOPS 117834 HAS SOUS 63076 HAS SOUPS 63076 WITH SCORE 63193.834
AT ITER 1632 NEW BEST:: SOT 319032 SOS 117659 HAS SOPS 117659 HAS SOUS 62956 HAS SOUPS 62956 WITH SCORE 63073.659
AT ITER 1643 NEW BEST:: SOT 319032 SOS 117658 HAS SOPS 117658 HAS SOUS 62951 HAS SOUPS 62951 WITH SCORE 63068.658
AT ITER 1646 NEW BEST:: SOT 319063 SOS 117720 HAS SOPS 117720 HAS SOUS 62920 HAS SOUPS 62920 WITH SCORE 63037.72
AT ITER 1649 NEW BEST:: SOT 318985 SOS 117553 HAS SOPS 117553 HAS SOUS 62831 HAS SOUPS 62831 WITH SCORE 62948.553
AT ITER 1652 NEW BEST:: SOT 318962 SOS 117485 HAS SOPS 117485 HAS SOUS 62830 HAS SOUPS 62830 WITH SCORE 62947.485
AT ITER 1658 NEW BEST:: SOT 318625 SOS 116712 HAS SOPS 116712 HAS SOUS 62703 HAS SOUPS 62703 WITH SCORE 62819.712
AT ITER 1668 NEW BEST:: SOT 318509 SOS 116504 HAS SOPS 116504 HAS SOUS 62679 HAS SOUPS 62679 WITH SCORE 62795.504
AT ITER 1682 NEW BEST:: SOT 318485 SOS 116463 HAS SOPS 116463 HAS SOUS 62670 HAS SOUPS 62670 WITH SCORE 62786.463
AT ITER 1693 NEW BEST:: SOT 318433 SOS 116357 HAS SOPS 116357 HAS SOUS 62666 HAS SOUPS 62666 WITH SCORE 62782.357
AT ITER 1705 NEW BEST:: SOT 318387 SOS 116242 HAS SOPS 116242 HAS SOUS 62639 HAS SOUPS 62639 WITH SCORE 62755.242
AT ITER 1713 NEW BEST:: SOT 318270 SOS 115913 HAS SOPS 115913 HAS SOUS 62366 HAS SOUPS 62366 WITH SCORE 62481.913
AT ITER 1739 NEW BEST:: SOT 318236 SOS 115845 HAS SOPS 115845 HAS SOUS 62332 HAS SOUPS 62332 WITH SCORE 62447.845
AT ITER 1745 NEW BEST:: SOT 318347 SOS 116067 HAS SOPS 116067 HAS SOUS 62112 HAS SOUPS 62112 WITH SCORE 62228.067
AT ITER 1747 NEW BEST:: SOT 318287 SOS 115917 HAS SOPS 115917 HAS SOUS 62082 HAS SOUPS 62082 WITH SCORE 62197.917
AT ITER 1778 NEW BEST:: SOT 317872 SOS 114975 HAS SOPS 114975 HAS SOUS 61961 HAS SOUPS 61961 WITH SCORE 62075.975
AT ITER 1781 NEW BEST:: SOT 317810 SOS 114827 HAS SOPS 114827 HAS SOUS 61937 HAS SOUPS 61937 WITH SCORE 62051.827
AT ITER 1782 NEW BEST:: SOT 317810 SOS 114827 HAS SOPS 114827 HAS SOUS 61851 HAS SOUPS 61851 WITH SCORE 61965.827
AT ITER 1787 NEW BEST:: SOT 317670 SOS 114477 HAS SOPS 114477 HAS SOUS 61749 HAS SOUPS 61749 WITH SCORE 61863.477
AT ITER 1800 NEW BEST:: SOT 317454 SOS 113937 HAS SOPS 113937 HAS SOUS 61425 HAS SOUPS 61425 WITH SCORE 61538.937
AT ITER 1802 NEW BEST:: SOT 317454 SOS 113880 HAS SOPS 113880 HAS SOUS 61368 HAS SOUPS 61368 WITH SCORE 61481.88
AT ITER 1844 NEW BEST:: SOT 317449 SOS 113865 HAS SOPS 113865 HAS SOUS 61366 HAS SOUPS 61366 WITH SCORE 61479.865
AT ITER 1879 NEW BEST:: SOT 317464 SOS 113967 HAS SOPS 113967 HAS SOUS 61351 HAS SOUPS 61351 WITH SCORE 61464.967
AT ITER 1914 NEW BEST:: SOT 317444 SOS 113917 HAS SOPS 113917 HAS SOUS 61341 HAS SOUPS 61341 WITH SCORE 61454.917
AT ITER 1923 NEW BEST:: SOT 317457 SOS 113907 HAS SOPS 113907 HAS SOUS 61302 HAS SOUPS 61302 WITH SCORE 61415.907
AT ITER 1928 NEW BEST:: SOT 317347 SOS 113758 HAS SOPS 113758 HAS SOUS 61295 HAS SOUPS 61295 WITH SCORE 61408.758
AT ITER 1929 NEW BEST:: SOT 317260 SOS 113671 HAS SOPS 113671 HAS SOUS 61208 HAS SOUPS 61208 WITH SCORE 61321.671
AT ITER 1942 NEW BEST:: SOT 317240 SOS 113631 HAS SOPS 113631 HAS SOUS 61208 HAS SOUPS 61208 WITH SCORE 61321.631
AT ITER 1973 NEW BEST:: SOT 317228 SOS 113605 HAS SOPS 113605 HAS SOUS 61204 HAS SOUPS 61204 WITH SCORE 61317.605
AT ITER 1977 NEW BEST:: SOT 317228 SOS 113582 HAS SOPS 113582 HAS SOUS 61179 HAS SOUPS 61179 WITH SCORE 61292.582
AT ITER 1983 NEW BEST:: SOT 316910 SOS 112787 HAS SOPS 112787 HAS SOUS 60912 HAS SOUPS 60912 WITH SCORE 61024.787
AT ITER 1988 NEW BEST:: SOT 316835 SOS 112609 HAS SOPS 112609 HAS SOUS 60809 HAS SOUPS 60809 WITH SCORE 60921.609
AT ITER 1992 NEW BEST:: SOT 316570 SOS 112017 HAS SOPS 112017 HAS SOUS 60543 HAS SOUPS 60543 WITH SCORE 60655.017
AT ITER 2017 NEW BEST:: SOT 316010 SOS 110710 HAS SOPS 110710 HAS SOUS 60410 HAS SOUPS 60410 WITH SCORE 60520.71
AT ITER 2019 NEW BEST:: SOT 315780 SOS 110250 HAS SOPS 110250 HAS SOUS 60178 HAS SOUPS 60178 WITH SCORE 60288.25
AT ITER 2033 NEW BEST:: SOT 315745 SOS 110161 HAS SOPS 110161 HAS SOUS 60124 HAS SOUPS 60124 WITH SCORE 60234.161
AT ITER 2035 NEW BEST:: SOT 315734 SOS 110144 HAS SOPS 110144 HAS SOUS 60124 HAS SOUPS 60124 WITH SCORE 60234.144
AT ITER 2071 NEW BEST:: SOT 315801 SOS 110336 HAS SOPS 110336 HAS SOUS 60115 HAS SOUPS 60115 WITH SCORE 60225.336
AT ITER 2096 NEW BEST:: SOT 315678 SOS 110090 HAS SOPS 110090 HAS SOUS 59951 HAS SOUPS 59951 WITH SCORE 60061.09
AT ITER 2101 NEW BEST:: SOT 315610 SOS 109954 HAS SOPS 109954 HAS SOUS 59949 HAS SOUPS 59949 WITH SCORE 60058.954
AT ITER 2109 NEW BEST:: SOT 315356 SOS 109421 HAS SOPS 109421 HAS SOUS 59930 HAS SOUPS 59930 WITH SCORE 60039.421
AT ITER 2112 NEW BEST:: SOT 315300 SOS 109281 HAS SOPS 109281 HAS SOUS 59900 HAS SOUPS 59900 WITH SCORE 60009.281
AT ITER 2117 NEW BEST:: SOT 314981 SOS 108576 HAS SOPS 108576 HAS SOUS 59589 HAS SOUPS 59589 WITH SCORE 59697.576
AT ITER 2120 NEW BEST:: SOT 314947 SOS 108508 HAS SOPS 108508 HAS SOUS 59521 HAS SOUPS 59521 WITH SCORE 59629.508
AT ITER 2124 NEW BEST:: SOT 314846 SOS 108319 HAS SOPS 108319 HAS SOUS 59433 HAS SOUPS 59433 WITH SCORE 59541.319
AT ITER 2131 NEW BEST:: SOT 314109 SOS 107049 HAS SOPS 107049 HAS SOUS 59411 HAS SOUPS 59411 WITH SCORE 59518.049
AT ITER 2168 NEW BEST:: SOT 314086 SOS 107022 HAS SOPS 107022 HAS SOUS 59405 HAS SOUPS 59405 WITH SCORE 59512.022
AT ITER 2177 NEW BEST:: SOT 313742 SOS 106449 HAS SOPS 106449 HAS SOUS 59391 HAS SOUPS 59391 WITH SCORE 59497.449
AT ITER 2224 NEW BEST:: SOT 313716 SOS 106397 HAS SOPS 106397 HAS SOUS 59391 HAS SOUPS 59391 WITH SCORE 59497.397
AT ITER 2234 NEW BEST:: SOT 313716 SOS 106483 HAS SOPS 106483 HAS SOUS 59355 HAS SOUPS 59355 WITH SCORE 59461.483
AT ITER 2248 NEW BEST:: SOT 313716 SOS 106471 HAS SOPS 106471 HAS SOUS 59343 HAS SOUPS 59343 WITH SCORE 59449.471
AT ITER 2250 NEW BEST:: SOT 313703 SOS 106414 HAS SOPS 106414 HAS SOUS 59299 HAS SOUPS 59299 WITH SCORE 59405.414
AT ITER 2254 NEW BEST:: SOT 313672 SOS 106383 HAS SOPS 106383 HAS SOUS 59238 HAS SOUPS 59238 WITH SCORE 59344.383
AT ITER 2278 NEW BEST:: SOT 313603 SOS 106245 HAS SOPS 106245 HAS SOUS 59199 HAS SOUPS 59199 WITH SCORE 59305.245
AT ITER 2280 NEW BEST:: SOT 313602 SOS 106242 HAS SOPS 106242 HAS SOUS 59197 HAS SOUPS 59197 WITH SCORE 59303.242
AT ITER 2284 NEW BEST:: SOT 313877 SOS 106861 HAS SOPS 106861 HAS SOUS 59165 HAS SOUPS 59165 WITH SCORE 59271.861
AT ITER 2304 NEW BEST:: SOT 313825 SOS 106756 HAS SOPS 106756 HAS SOUS 59164 HAS SOUPS 59164 WITH SCORE 59270.756
AT ITER 2342 NEW BEST:: SOT 313805 SOS 106716 HAS SOPS 106716 HAS SOUS 59142 HAS SOUPS 59142 WITH SCORE 59248.716
AT ITER 2362 NEW BEST:: SOT 313488 SOS 105927 HAS SOPS 105927 HAS SOUS 58952 HAS SOUPS 58952 WITH SCORE 59057.927
AT ITER 2364 NEW BEST:: SOT 313757 SOS 106531 HAS SOPS 106531 HAS SOUS 58839 HAS SOUPS 58839 WITH SCORE 58945.531
AT ITER 2365 NEW BEST:: SOT 313742 SOS 106501 HAS SOPS 106501 HAS SOUS 58839 HAS SOUPS 58839 WITH SCORE 58945.501
AT ITER 2383 NEW BEST:: SOT 313740 SOS 106496 HAS SOPS 106496 HAS SOUS 58838 HAS SOUPS 58838 WITH SCORE 58944.496
AT ITER 2404 NEW BEST:: SOT 313356 SOS 105694 HAS SOPS 105694 HAS SOUS 58738 HAS SOUPS 58738 WITH SCORE 58843.694
AT ITER 2434 NEW BEST:: SOT 313255 SOS 105433 HAS SOPS 105433 HAS SOUS 58696 HAS SOUPS 58696 WITH SCORE 58801.433
AT ITER 2435 NEW BEST:: SOT 313253 SOS 105429 HAS SOPS 105429 HAS SOUS 58696 HAS SOUPS 58696 WITH SCORE 58801.429
AT ITER 2439 NEW BEST:: SOT 313244 SOS 105411 HAS SOPS 105411 HAS SOUS 58687 HAS SOUPS 58687 WITH SCORE 58792.411
AT ITER 2441 NEW BEST:: SOT 313241 SOS 105403 HAS SOPS 105403 HAS SOUS 58686 HAS SOUPS 58686 WITH SCORE 58791.403
AT ITER 2443 NEW BEST:: SOT 313218 SOS 105357 HAS SOPS 105357 HAS SOUS 58686 HAS SOUPS 58686 WITH SCORE 58791.357
AT ITER 2449 NEW BEST:: SOT 313216 SOS 105296 HAS SOPS 105296 HAS SOUS 58682 HAS SOUPS 58682 WITH SCORE 58787.296
AT ITER 2470 NEW BEST:: SOT 313205 SOS 105246 HAS SOPS 105246 HAS SOUS 58645 HAS SOUPS 58645 WITH SCORE 58750.246
AT ITER 2501 NEW BEST:: SOT 313248 SOS 105332 HAS SOPS 105332 HAS SOUS 58628 HAS SOUPS 58628 WITH SCORE 58733.332
AT ITER 2517 NEW BEST:: SOT 313231 SOS 105320 HAS SOPS 105320 HAS SOUS 58616 HAS SOUPS 58616 WITH SCORE 58721.32
AT ITER 2520 NEW BEST:: SOT 312920 SOS 104738 HAS SOPS 104738 HAS SOUS 58512 HAS SOUPS 58512 WITH SCORE 58616.738
AT ITER 2543 NEW BEST:: SOT 312873 SOS 104644 HAS SOPS 104644 HAS SOUS 58512 HAS SOUPS 58512 WITH SCORE 58616.644
AT ITER 2551 NEW BEST:: SOT 312872 SOS 104643 HAS SOPS 104643 HAS SOUS 58509 HAS SOUPS 58509 WITH SCORE 58613.643
AT ITER 2557 NEW BEST:: SOT 312792 SOS 104443 HAS SOPS 104443 HAS SOUS 58469 HAS SOUPS 58469 WITH SCORE 58573.443
AT ITER 2566 NEW BEST:: SOT 312573 SOS 103938 HAS SOPS 103938 HAS SOUS 58282 HAS SOUPS 58282 WITH SCORE 58385.938
AT ITER 2572 NEW BEST:: SOT 312273 SOS 103274 HAS SOPS 103274 HAS SOUS 58210 HAS SOUPS 58210 WITH SCORE 58313.274
AT ITER 2586 NEW BEST:: SOT 312263 SOS 103264 HAS SOPS 103264 HAS SOUS 58198 HAS SOUPS 58198 WITH SCORE 58301.264
AT ITER 2589 NEW BEST:: SOT 312263 SOS 103264 HAS SOPS 103264 HAS SOUS 58146 HAS SOUPS 58146 WITH SCORE 58249.264
AT ITER 2591 NEW BEST:: SOT 312510 SOS 103758 HAS SOPS 103758 HAS SOUS 58101 HAS SOUPS 58101 WITH SCORE 58204.758
AT ITER 2593 NEW BEST:: SOT 312441 SOS 103620 HAS SOPS 103620 HAS SOUS 58053 HAS SOUPS 58053 WITH SCORE 58156.62
AT ITER 2602 NEW BEST:: SOT 312107 SOS 102733 HAS SOPS 102733 HAS SOUS 57958 HAS SOUPS 57958 WITH SCORE 58060.733
AT ITER 2604 NEW BEST:: SOT 311767 SOS 101883 HAS SOPS 101883 HAS SOUS 57788 HAS SOUPS 57788 WITH SCORE 57889.883
AT ITER 2610 NEW BEST:: SOT 311672 SOS 101671 HAS SOPS 101671 HAS SOUS 57788 HAS SOUPS 57788 WITH SCORE 57889.671
AT ITER 2626 NEW BEST:: SOT 311652 SOS 101617 HAS SOPS 101617 HAS SOUS 57754 HAS SOUPS 57754 WITH SCORE 57855.617
AT ITER 2637 NEW BEST:: SOT 311427 SOS 101100 HAS SOPS 101100 HAS SOUS 57664 HAS SOUPS 57664 WITH SCORE 57765.1
AT ITER 2638 NEW BEST:: SOT 311351 SOS 100910 HAS SOPS 100910 HAS SOUS 57626 HAS SOUPS 57626 WITH SCORE 57726.91
AT ITER 2648 NEW BEST:: SOT 311346 SOS 100900 HAS SOPS 100900 HAS SOUS 57621 HAS SOUPS 57621 WITH SCORE 57721.9
AT ITER 2661 NEW BEST:: SOT 311175 SOS 100451 HAS SOPS 100451 HAS SOUS 57604 HAS SOUPS 57604 WITH SCORE 57704.451
AT ITER 2671 NEW BEST:: SOT 311169 SOS 100433 HAS SOPS 100433 HAS SOUS 57604 HAS SOUPS 57604 WITH SCORE 57704.433
AT ITER 2684 NEW BEST:: SOT 311145 SOS 100385 HAS SOPS 100385 HAS SOUS 57580 HAS SOUPS 57580 WITH SCORE 57680.385
AT ITER 2686 NEW BEST:: SOT 311136 SOS 100367 HAS SOPS 100367 HAS SOUS 57569 HAS SOUPS 57569 WITH SCORE 57669.367
AT ITER 2698 NEW BEST:: SOT 311132 SOS 100359 HAS SOPS 100359 HAS SOUS 57563 HAS SOUPS 57563 WITH SCORE 57663.359
AT ITER 2711 NEW BEST:: SOT 310936 SOS 99904 HAS SOPS 99904 HAS SOUS 57476 HAS SOUPS 57476 WITH SCORE 57575.904
AT ITER 2718 NEW BEST:: SOT 310656 SOS 99220 HAS SOPS 99220 HAS SOUS 57360 HAS SOUPS 57360 WITH SCORE 57459.22
AT ITER 2719 NEW BEST:: SOT 310677 SOS 99272 HAS SOPS 99272 HAS SOUS 57349 HAS SOUPS 57349 WITH SCORE 57448.272
AT ITER 2725 NEW BEST:: SOT 310664 SOS 99190 HAS SOPS 99190 HAS SOUS 57166 HAS SOUPS 57166 WITH SCORE 57265.19
AT ITER 2757 NEW BEST:: SOT 310664 SOS 99178 HAS SOPS 99178 HAS SOUS 57154 HAS SOUPS 57154 WITH SCORE 57253.178
AT ITER 2759 NEW BEST:: SOT 310417 SOS 98667 HAS SOPS 98667 HAS SOUS 56662 HAS SOUPS 56662 WITH SCORE 56760.667
AT ITER 2783 NEW BEST:: SOT 310337 SOS 98467 HAS SOPS 98467 HAS SOUS 56622 HAS SOUPS 56622 WITH SCORE 56720.467
AT ITER 2825 NEW BEST:: SOT 310337 SOS 98467 HAS SOPS 98467 HAS SOUS 56567 HAS SOUPS 56567 WITH SCORE 56665.467
AT ITER 2846 NEW BEST:: SOT 310329 SOS 98451 HAS SOPS 98451 HAS SOUS 56567 HAS SOUPS 56567 WITH SCORE 56665.451
AT ITER 2857 NEW BEST:: SOT 310144 SOS 98080 HAS SOPS 98080 HAS SOUS 56509 HAS SOUPS 56509 WITH SCORE 56607.08
AT ITER 2863 NEW BEST:: SOT 310102 SOS 97954 HAS SOPS 97954 HAS SOUS 56425 HAS SOUPS 56425 WITH SCORE 56522.954
AT ITER 2874 NEW BEST:: SOT 309603 SOS 96758 HAS SOPS 96758 HAS SOUS 56223 HAS SOUPS 56223 WITH SCORE 56319.758
AT ITER 2878 NEW BEST:: SOT 309469 SOS 96423 HAS SOPS 96423 HAS SOUS 56054 HAS SOUPS 56054 WITH SCORE 56150.423
AT ITER 2880 NEW BEST:: SOT 309666 SOS 96878 HAS SOPS 96878 HAS SOUS 56020 HAS SOUPS 56020 WITH SCORE 56116.878
AT ITER 2888 NEW BEST:: SOT 309695 SOS 96936 HAS SOPS 96936 HAS SOUS 55991 HAS SOUPS 55991 WITH SCORE 56087.936
AT ITER 2897 NEW BEST:: SOT 309478 SOS 96452 HAS SOPS 96452 HAS SOUS 55954 HAS SOUPS 55954 WITH SCORE 56050.452
AT ITER 2907 NEW BEST:: SOT 309159 SOS 95952 HAS SOPS 95952 HAS SOUS 55925 HAS SOUPS 55925 WITH SCORE 56020.952
AT ITER 2909 NEW BEST:: SOT 309137 SOS 95907 HAS SOPS 95907 HAS SOUS 55924 HAS SOUPS 55924 WITH SCORE 56019.907
AT ITER 2910 NEW BEST:: SOT 308919 SOS 95460 HAS SOPS 95460 HAS SOUS 55903 HAS SOUPS 55903 WITH SCORE 55998.46
AT ITER 2916 NEW BEST:: SOT 308884 SOS 95325 HAS SOPS 95325 HAS SOUS 55859 HAS SOUPS 55859 WITH SCORE 55954.325
AT ITER 2919 NEW BEST:: SOT 308624 SOS 94674 HAS SOPS 94674 HAS SOUS 55486 HAS SOUPS 55486 WITH SCORE 55580.674
AT ITER 2927 NEW BEST:: SOT 308743 SOS 94912 HAS SOPS 94912 HAS SOUS 55369 HAS SOUPS 55369 WITH SCORE 55463.912
AT ITER 2934 NEW BEST:: SOT 308740 SOS 94906 HAS SOPS 94906 HAS SOUS 55366 HAS SOUPS 55366 WITH SCORE 55460.906
AT ITER 2938 NEW BEST:: SOT 308726 SOS 94871 HAS SOPS 94871 HAS SOUS 55345 HAS SOUPS 55345 WITH SCORE 55439.871
AT ITER 2940 NEW BEST:: SOT 308664 SOS 94716 HAS SOPS 94716 HAS SOUS 55283 HAS SOUPS 55283 WITH SCORE 55377.716
AT ITER 2948 NEW BEST:: SOT 308875 SOS 95153 HAS SOPS 95153 HAS SOUS 55251 HAS SOUPS 55251 WITH SCORE 55346.153
AT ITER 2961 NEW BEST:: SOT 308611 SOS 94565 HAS SOPS 94565 HAS SOUS 55147 HAS SOUPS 55147 WITH SCORE 55241.565
AT ITER 2964 NEW BEST:: SOT 308602 SOS 94547 HAS SOPS 94547 HAS SOUS 55147 HAS SOUPS 55147 WITH SCORE 55241.547
AT ITER 2977 NEW BEST:: SOT 308590 SOS 94523 HAS SOPS 94523 HAS SOUS 55135 HAS SOUPS 55135 WITH SCORE 55229.523
AT ITER 2984 NEW BEST:: SOT 308615 SOS 94547 HAS SOPS 94547 HAS SOUS 55134 HAS SOUPS 55134 WITH SCORE 55228.547
AT ITER 2988 NEW BEST:: SOT 308135 SOS 93396 HAS SOPS 93396 HAS SOUS 54891 HAS SOUPS 54891 WITH SCORE 54984.396
AT ITER 3013 NEW BEST:: SOT 308181 SOS 93533 HAS SOPS 93533 HAS SOUS 54890 HAS SOUPS 54890 WITH SCORE 54983.533
AT ITER 3038 NEW BEST:: SOT 308083 SOS 93337 HAS SOPS 93337 HAS SOUS 54890 HAS SOUPS 54890 WITH SCORE 54983.337
AT ITER 3044 NEW BEST:: SOT 307962 SOS 93106 HAS SOPS 93106 HAS SOUS 54852 HAS SOUPS 54852 WITH SCORE 54945.106
AT ITER 3091 NEW BEST:: SOT 307961 SOS 93105 HAS SOPS 93105 HAS SOUS 54849 HAS SOUPS 54849 WITH SCORE 54942.105
AT ITER 3094 NEW BEST:: SOT 307961 SOS 93053 HAS SOPS 93053 HAS SOUS 54693 HAS SOUPS 54693 WITH SCORE 54786.053
AT ITER 3121 NEW BEST:: SOT 307926 SOS 92769 HAS SOPS 92769 HAS SOUS 54662 HAS SOUPS 54662 WITH SCORE 54754.769
AT ITER 3139 NEW BEST:: SOT 307893 SOS 92736 HAS SOPS 92736 HAS SOUS 54629 HAS SOUPS 54629 WITH SCORE 54721.736
AT ITER 3158 NEW BEST:: SOT 307852 SOS 92622 HAS SOPS 92622 HAS SOUS 54535 HAS SOUPS 54535 WITH SCORE 54627.622
AT ITER 3168 NEW BEST:: SOT 307852 SOS 92599 HAS SOPS 92599 HAS SOUS 54466 HAS SOUPS 54466 WITH SCORE 54558.599
AT ITER 3186 NEW BEST:: SOT 307909 SOS 92553 HAS SOPS 92553 HAS SOUS 54418 HAS SOUPS 54418 WITH SCORE 54510.553
AT ITER 3188 NEW BEST:: SOT 307786 SOS 92334 HAS SOPS 92334 HAS SOUS 54417 HAS SOUPS 54417 WITH SCORE 54509.334
AT ITER 3193 NEW BEST:: SOT 307770 SOS 92302 HAS SOPS 92302 HAS SOUS 54401 HAS SOUPS 54401 WITH SCORE 54493.302
AT ITER 3215 NEW BEST:: SOT 307593 SOS 91888 HAS SOPS 91888 HAS SOUS 54382 HAS SOUPS 54382 WITH SCORE 54473.888
AT ITER 3222 NEW BEST:: SOT 307565 SOS 91818 HAS SOPS 91818 HAS SOUS 54368 HAS SOUPS 54368 WITH SCORE 54459.818
AT ITER 3228 NEW BEST:: SOT 307390 SOS 91485 HAS SOPS 91485 HAS SOUS 53940 HAS SOUPS 53940 WITH SCORE 54031.485
AT ITER 3241 NEW BEST:: SOT 307329 SOS 91283 HAS SOPS 91283 HAS SOUS 53850 HAS SOUPS 53850 WITH SCORE 53941.283
AT ITER 3255 NEW BEST:: SOT 307327 SOS 91277 HAS SOPS 91277 HAS SOUS 53848 HAS SOUPS 53848 WITH SCORE 53939.277
AT ITER 3266 NEW BEST:: SOT 307326 SOS 91276 HAS SOPS 91276 HAS SOUS 53848 HAS SOUPS 53848 WITH SCORE 53939.276
AT ITER 3284 NEW BEST:: SOT 307251 SOS 91126 HAS SOPS 91126 HAS SOUS 53773 HAS SOUPS 53773 WITH SCORE 53864.126
AT ITER 3299 NEW BEST:: SOT 307188 SOS 91000 HAS SOPS 91000 HAS SOUS 53668 HAS SOUPS 53668 WITH SCORE 53759.0
AT ITER 3326 NEW BEST:: SOT 307275 SOS 91174 HAS SOPS 91174 HAS SOUS 53661 HAS SOUPS 53661 WITH SCORE 53752.174
AT ITER 3328 NEW BEST:: SOT 307273 SOS 91170 HAS SOPS 91170 HAS SOUS 53659 HAS SOUPS 53659 WITH SCORE 53750.17
AT ITER 3334 NEW BEST:: SOT 307273 SOS 91170 HAS SOPS 91170 HAS SOUS 53571 HAS SOUPS 53571 WITH SCORE 53662.17
AT ITER 3368 NEW BEST:: SOT 307273 SOS 91170 HAS SOPS 91170 HAS SOUS 53569 HAS SOUPS 53569 WITH SCORE 53660.17
AT ITER 3371 NEW BEST:: SOT 306916 SOS 90456 HAS SOPS 90456 HAS SOUS 53329 HAS SOUPS 53329 WITH SCORE 53419.456
AT ITER 3375 NEW BEST:: SOT 307011 SOS 90657 HAS SOPS 90657 HAS SOUS 53317 HAS SOUPS 53317 WITH SCORE 53407.657
AT ITER 3380 NEW BEST:: SOT 306681 SOS 89962 HAS SOPS 89962 HAS SOUS 53266 HAS SOUPS 53266 WITH SCORE 53355.962
AT ITER 3387 NEW BEST:: SOT 306512 SOS 89624 HAS SOPS 89624 HAS SOUS 53172 HAS SOUPS 53172 WITH SCORE 53261.624
AT ITER 3416 NEW BEST:: SOT 306457 SOS 89549 HAS SOPS 89549 HAS SOUS 53162 HAS SOUPS 53162 WITH SCORE 53251.549
AT ITER 3452 NEW BEST:: SOT 306405 SOS 89402 HAS SOPS 89402 HAS SOUS 53067 HAS SOUPS 53067 WITH SCORE 53156.402
AT ITER 3460 NEW BEST:: SOT 306387 SOS 89366 HAS SOPS 89366 HAS SOUS 53049 HAS SOUPS 53049 WITH SCORE 53138.366
AT ITER 3464 NEW BEST:: SOT 306238 SOS 89181 HAS SOPS 89181 HAS SOUS 52942 HAS SOUPS 52942 WITH SCORE 53031.181
AT ITER 3465 NEW BEST:: SOT 306227 SOS 89127 HAS SOPS 89127 HAS SOUS 52899 HAS SOUPS 52899 WITH SCORE 52988.127
AT ITER 3470 NEW BEST:: SOT 306177 SOS 88958 HAS SOPS 88958 HAS SOUS 52806 HAS SOUPS 52806 WITH SCORE 52894.958
AT ITER 3474 NEW BEST:: SOT 306157 SOS 88903 HAS SOPS 88903 HAS SOUS 52801 HAS SOUPS 52801 WITH SCORE 52889.903
AT ITER 3480 NEW BEST:: SOT 306152 SOS 88901 HAS SOPS 88901 HAS SOUS 52783 HAS SOUPS 52783 WITH SCORE 52871.901
AT ITER 3489 NEW BEST:: SOT 306152 SOS 88861 HAS SOPS 88861 HAS SOUS 52717 HAS SOUPS 52717 WITH SCORE 52805.861
AT ITER 3495 NEW BEST:: SOT 306131 SOS 88819 HAS SOPS 88819 HAS SOUS 52612 HAS SOUPS 52612 WITH SCORE 52700.819
AT ITER 3506 NEW BEST:: SOT 306017 SOS 88647 HAS SOPS 88647 HAS SOUS 52611 HAS SOUPS 52611 WITH SCORE 52699.647
AT ITER 3514 NEW BEST:: SOT 305510 SOS 87450 HAS SOPS 87450 HAS SOUS 52505 HAS SOUPS 52505 WITH SCORE 52592.45
AT ITER 3518 NEW BEST:: SOT 305452 SOS 87305 HAS SOPS 87305 HAS SOUS 52476 HAS SOUPS 52476 WITH SCORE 52563.305
AT ITER 3527 NEW BEST:: SOT 305434 SOS 87277 HAS SOPS 87277 HAS SOUS 52475 HAS SOUPS 52475 WITH SCORE 52562.277
AT ITER 3536 NEW BEST:: SOT 305466 SOS 87377 HAS SOPS 87377 HAS SOUS 52471 HAS SOUPS 52471 WITH SCORE 52558.377
AT ITER 3547 NEW BEST:: SOT 305466 SOS 87377 HAS SOPS 87377 HAS SOUS 52463 HAS SOUPS 52463 WITH SCORE 52550.377
AT ITER 3552 NEW BEST:: SOT 305456 SOS 87357 HAS SOPS 87357 HAS SOUS 52453 HAS SOUPS 52453 WITH SCORE 52540.357
AT ITER 3579 NEW BEST:: SOT 305295 SOS 86966 HAS SOPS 86966 HAS SOUS 52321 HAS SOUPS 52321 WITH SCORE 52407.966
AT ITER 3595 NEW BEST:: SOT 305291 SOS 86958 HAS SOPS 86958 HAS SOUS 52313 HAS SOUPS 52313 WITH SCORE 52399.958
AT ITER 3605 NEW BEST:: SOT 305139 SOS 86578 HAS SOPS 86578 HAS SOUS 52295 HAS SOUPS 52295 WITH SCORE 52381.578
AT ITER 3621 NEW BEST:: SOT 305136 SOS 86587 HAS SOPS 86587 HAS SOUS 52292 HAS SOUPS 52292 WITH SCORE 52378.587
AT ITER 3627 NEW BEST:: SOT 304975 SOS 86186 HAS SOPS 86186 HAS SOUS 52159 HAS SOUPS 52159 WITH SCORE 52245.186
AT ITER 3656 NEW BEST:: SOT 304877 SOS 86084 HAS SOPS 86084 HAS SOUS 52047 HAS SOUPS 52047 WITH SCORE 52133.084
AT ITER 3658 NEW BEST:: SOT 304877 SOS 86079 HAS SOPS 86079 HAS SOUS 52032 HAS SOUPS 52032 WITH SCORE 52118.079
AT ITER 3664 NEW BEST:: SOT 304869 SOS 86061 HAS SOPS 86061 HAS SOUS 52028 HAS SOUPS 52028 WITH SCORE 52114.061
AT ITER 3692 NEW BEST:: SOT 304919 SOS 86185 HAS SOPS 86185 HAS SOUS 52002 HAS SOUPS 52002 WITH SCORE 52088.185
AT ITER 3701 NEW BEST:: SOT 304909 SOS 86174 HAS SOPS 86174 HAS SOUS 51971 HAS SOUPS 51971 WITH SCORE 52057.174
AT ITER 3703 NEW BEST:: SOT 304907 SOS 86168 HAS SOPS 86168 HAS SOUS 51971 HAS SOUPS 51971 WITH SCORE 52057.168
AT ITER 3708 NEW BEST:: SOT 305037 SOS 86445 HAS SOPS 86445 HAS SOUS 51954 HAS SOUPS 51954 WITH SCORE 52040.445
AT ITER 3709 NEW BEST:: SOT 304958 SOS 86260 HAS SOPS 86260 HAS SOUS 51898 HAS SOUPS 51898 WITH SCORE 51984.26
AT ITER 3716 NEW BEST:: SOT 304817 SOS 85978 HAS SOPS 85978 HAS SOUS 51885 HAS SOUPS 51885 WITH SCORE 51970.978
AT ITER 3747 NEW BEST:: SOT 304820 SOS 85984 HAS SOPS 85984 HAS SOUS 51842 HAS SOUPS 51842 WITH SCORE 51927.984
AT ITER 3756 NEW BEST:: SOT 304742 SOS 85828 HAS SOPS 85828 HAS SOUS 51803 HAS SOUPS 51803 WITH SCORE 51888.828
AT ITER 3765 NEW BEST:: SOT 304581 SOS 85422 HAS SOPS 85422 HAS SOUS 51703 HAS SOUPS 51703 WITH SCORE 51788.422
AT ITER 3772 NEW BEST:: SOT 304460 SOS 85180 HAS SOPS 85180 HAS SOUS 51573 HAS SOUPS 51573 WITH SCORE 51658.18
AT ITER 3782 NEW BEST:: SOT 304368 SOS 84996 HAS SOPS 84996 HAS SOUS 51573 HAS SOUPS 51573 WITH SCORE 51657.996
AT ITER 3792 NEW BEST:: SOT 304332 SOS 84897 HAS SOPS 84897 HAS SOUS 51572 HAS SOUPS 51572 WITH SCORE 51656.897
AT ITER 3803 NEW BEST:: SOT 304365 SOS 84958 HAS SOPS 84958 HAS SOUS 51567 HAS SOUPS 51567 WITH SCORE 51651.958
AT ITER 3810 NEW BEST:: SOT 304323 SOS 84923 HAS SOPS 84923 HAS SOUS 51536 HAS SOUPS 51536 WITH SCORE 51620.923
AT ITER 3828 NEW BEST:: SOT 304250 SOS 84751 HAS SOPS 84751 HAS SOUS 51481 HAS SOUPS 51481 WITH SCORE 51565.751
AT ITER 3842 NEW BEST:: SOT 304228 SOS 84647 HAS SOPS 84647 HAS SOUS 51454 HAS SOUPS 51454 WITH SCORE 51538.647
AT ITER 3864 NEW BEST:: SOT 304228 SOS 84647 HAS SOPS 84647 HAS SOUS 51452 HAS SOUPS 51452 WITH SCORE 51536.647
AT ITER 3883 NEW BEST:: SOT 304181 SOS 84557 HAS SOPS 84557 HAS SOUS 51391 HAS SOUPS 51391 WITH SCORE 51475.557
AT ITER 3885 NEW BEST:: SOT 304159 SOS 84513 HAS SOPS 84513 HAS SOUS 51367 HAS SOUPS 51367 WITH SCORE 51451.513
AT ITER 3949 NEW BEST:: SOT 304145 SOS 84485 HAS SOPS 84485 HAS SOUS 51294 HAS SOUPS 51294 WITH SCORE 51378.485
AT ITER 3959 NEW BEST:: SOT 304184 SOS 84535 HAS SOPS 84535 HAS SOUS 51293 HAS SOUPS 51293 WITH SCORE 51377.535
AT ITER 3991 NEW BEST:: SOT 304182 SOS 84530 HAS SOPS 84530 HAS SOUS 51292 HAS SOUPS 51292 WITH SCORE 51376.53
AT ITER 3997 NEW BEST:: SOT 304144 SOS 84442 HAS SOPS 84442 HAS SOUS 51244 HAS SOUPS 51244 WITH SCORE 51328.442
AT ITER 4000 NEW BEST:: SOT 304095 SOS 84344 HAS SOPS 84344 HAS SOUS 51213 HAS SOUPS 51213 WITH SCORE 51297.344
AT ITER 4004 NEW BEST:: SOT 304083 SOS 84320 HAS SOPS 84320 HAS SOUS 51201 HAS SOUPS 51201 WITH SCORE 51285.32
AT ITER 4027 NEW BEST:: SOT 304151 SOS 84456 HAS SOPS 84456 HAS SOUS 51145 HAS SOUPS 51145 WITH SCORE 51229.456
AT ITER 4033 NEW BEST:: SOT 304134 SOS 84439 HAS SOPS 84439 HAS SOUS 51066 HAS SOUPS 51066 WITH SCORE 51150.439
AT ITER 4034 NEW BEST:: SOT 304089 SOS 84320 HAS SOPS 84320 HAS SOUS 50992 HAS SOUPS 50992 WITH SCORE 51076.32
AT ITER 4060 NEW BEST:: SOT 304046 SOS 84234 HAS SOPS 84234 HAS SOUS 50933 HAS SOUPS 50933 WITH SCORE 51017.234
AT ITER 4067 NEW BEST:: SOT 304011 SOS 84164 HAS SOPS 84164 HAS SOUS 50898 HAS SOUPS 50898 WITH SCORE 50982.164
AT ITER 4081 NEW BEST:: SOT 304066 SOS 84294 HAS SOPS 84294 HAS SOUS 50849 HAS SOUPS 50849 WITH SCORE 50933.294
AT ITER 4090 NEW BEST:: SOT 304038 SOS 84224 HAS SOPS 84224 HAS SOUS 50835 HAS SOUPS 50835 WITH SCORE 50919.224
AT ITER 4107 NEW BEST:: SOT 303991 SOS 84133 HAS SOPS 84133 HAS SOUS 50835 HAS SOUPS 50835 WITH SCORE 50919.133
AT ITER 4108 NEW BEST:: SOT 303978 SOS 84107 HAS SOPS 84107 HAS SOUS 50822 HAS SOUPS 50822 WITH SCORE 50906.107
AT ITER 4167 NEW BEST:: SOT 303758 SOS 83563 HAS SOPS 83563 HAS SOUS 50750 HAS SOUPS 50750 WITH SCORE 50833.563
AT ITER 4177 NEW BEST:: SOT 303634 SOS 83315 HAS SOPS 83315 HAS SOUS 50581 HAS SOUPS 50581 WITH SCORE 50664.315
AT ITER 4179 NEW BEST:: SOT 303519 SOS 83097 HAS SOPS 83097 HAS SOUS 50547 HAS SOUPS 50547 WITH SCORE 50630.097
AT ITER 4224 NEW BEST:: SOT 303284 SOS 82683 HAS SOPS 82683 HAS SOUS 50547 HAS SOUPS 50547 WITH SCORE 50629.683
AT ITER 4232 NEW BEST:: SOT 303232 SOS 82553 HAS SOPS 82553 HAS SOUS 50470 HAS SOUPS 50470 WITH SCORE 50552.553
AT ITER 4240 NEW BEST:: SOT 303197 SOS 82446 HAS SOPS 82446 HAS SOUS 50468 HAS SOUPS 50468 WITH SCORE 50550.446
AT ITER 4250 NEW BEST:: SOT 303147 SOS 82346 HAS SOPS 82346 HAS SOUS 50468 HAS SOUPS 50468 WITH SCORE 50550.346
AT ITER 4251 NEW BEST:: SOT 302918 SOS 81766 HAS SOPS 81766 HAS SOUS 50213 HAS SOUPS 50213 WITH SCORE 50294.766
AT ITER 4252 NEW BEST:: SOT 302918 SOS 81795 HAS SOPS 81795 HAS SOUS 50192 HAS SOUPS 50192 WITH SCORE 50273.795
AT ITER 4269 NEW BEST:: SOT 302976 SOS 81929 HAS SOPS 81929 HAS SOUS 50027 HAS SOUPS 50027 WITH SCORE 50108.929
AT ITER 4281 NEW BEST:: SOT 302873 SOS 81765 HAS SOPS 81765 HAS SOUS 49903 HAS SOUPS 49903 WITH SCORE 49984.765
AT ITER 4313 NEW BEST:: SOT 302857 SOS 81700 HAS SOPS 81700 HAS SOUS 49813 HAS SOUPS 49813 WITH SCORE 49894.7
AT ITER 4314 NEW BEST:: SOT 302857 SOS 81700 HAS SOPS 81700 HAS SOUS 49793 HAS SOUPS 49793 WITH SCORE 49874.7
AT ITER 4380 NEW BEST:: SOT 302828 SOS 81642 HAS SOPS 81642 HAS SOUS 49764 HAS SOUPS 49764 WITH SCORE 49845.642
AT ITER 4392 NEW BEST:: SOT 302621 SOS 81296 HAS SOPS 81296 HAS SOUS 49764 HAS SOUPS 49764 WITH SCORE 49845.296
AT ITER 4399 NEW BEST:: SOT 302568 SOS 81190 HAS SOPS 81190 HAS SOUS 49764 HAS SOUPS 49764 WITH SCORE 49845.19
AT ITER 4400 NEW BEST:: SOT 302556 SOS 81143 HAS SOPS 81143 HAS SOUS 49685 HAS SOUPS 49685 WITH SCORE 49766.143
AT ITER 4433 NEW BEST:: SOT 302375 SOS 80709 HAS SOPS 80709 HAS SOUS 49628 HAS SOUPS 49628 WITH SCORE 49708.709
AT ITER 4449 NEW BEST:: SOT 302365 SOS 80685 HAS SOPS 80685 HAS SOUS 49614 HAS SOUPS 49614 WITH SCORE 49694.685
AT ITER 4481 NEW BEST:: SOT 302332 SOS 80619 HAS SOPS 80619 HAS SOUS 49614 HAS SOUPS 49614 WITH SCORE 49694.619
AT ITER 4484 NEW BEST:: SOT 302331 SOS 80617 HAS SOPS 80617 HAS SOUS 49614 HAS SOUPS 49614 WITH SCORE 49694.617
AT ITER 4526 NEW BEST:: SOT 302331 SOS 80574 HAS SOPS 80574 HAS SOUS 49614 HAS SOUPS 49614 WITH SCORE 49694.574
AT ITER 4537 NEW BEST:: SOT 302307 SOS 80506 HAS SOPS 80506 HAS SOUS 49567 HAS SOUPS 49567 WITH SCORE 49647.506
AT ITER 4629 NEW BEST:: SOT 302259 SOS 80414 HAS SOPS 80414 HAS SOUS 49503 HAS SOUPS 49503 WITH SCORE 49583.414
AT ITER 4642 NEW BEST:: SOT 302246 SOS 80401 HAS SOPS 80401 HAS SOUS 49502 HAS SOUPS 49502 WITH SCORE 49582.401
AT ITER 4650 NEW BEST:: SOT 302168 SOS 80206 HAS SOPS 80206 HAS SOUS 49407 HAS SOUPS 49407 WITH SCORE 49487.206
AT ITER 4654 NEW BEST:: SOT 302164 SOS 80198 HAS SOPS 80198 HAS SOUS 49402 HAS SOUPS 49402 WITH SCORE 49482.198
AT ITER 4686 NEW BEST:: SOT 302220 SOS 80274 HAS SOPS 80274 HAS SOUS 49386 HAS SOUPS 49386 WITH SCORE 49466.274
AT ITER 4704 NEW BEST:: SOT 302171 SOS 80176 HAS SOPS 80176 HAS SOUS 49337 HAS SOUPS 49337 WITH SCORE 49417.176
AT ITER 4734 NEW BEST:: SOT 302171 SOS 80182 HAS SOPS 80182 HAS SOUS 49319 HAS SOUPS 49319 WITH SCORE 49399.182
AT ITER 4746 NEW BEST:: SOT 302165 SOS 80170 HAS SOPS 80170 HAS SOUS 49295 HAS SOUPS 49295 WITH SCORE 49375.17
AT ITER 4763 NEW BEST:: SOT 302135 SOS 80113 HAS SOPS 80113 HAS SOUS 49278 HAS SOUPS 49278 WITH SCORE 49358.113
AT ITER 4771 NEW BEST:: SOT 302109 SOS 80048 HAS SOPS 80048 HAS SOUS 49239 HAS SOUPS 49239 WITH SCORE 49319.048
AT ITER 4804 NEW BEST:: SOT 302076 SOS 79982 HAS SOPS 79982 HAS SOUS 49195 HAS SOUPS 49195 WITH SCORE 49274.982
AT ITER 4810 NEW BEST:: SOT 302066 SOS 79962 HAS SOPS 79962 HAS SOUS 49195 HAS SOUPS 49195 WITH SCORE 49274.962
AT ITER 4817 NEW BEST:: SOT 302058 SOS 79942 HAS SOPS 79942 HAS SOUS 49183 HAS SOUPS 49183 WITH SCORE 49262.942
AT ITER 4835 NEW BEST:: SOT 301962 SOS 79750 HAS SOPS 79750 HAS SOUS 49183 HAS SOUPS 49183 WITH SCORE 49262.75
AT ITER 4904 NEW BEST:: SOT 301899 SOS 79624 HAS SOPS 79624 HAS SOUS 49159 HAS SOUPS 49159 WITH SCORE 49238.624
AT ITER 4919 NEW BEST:: SOT 301862 SOS 79587 HAS SOPS 79587 HAS SOUS 49126 HAS SOUPS 49126 WITH SCORE 49205.587
AT ITER 4929 NEW BEST:: SOT 301847 SOS 79557 HAS SOPS 79557 HAS SOUS 49111 HAS SOUPS 49111 WITH SCORE 49190.557
AT ITER 4930 NEW BEST:: SOT 301848 SOS 79559 HAS SOPS 79559 HAS SOUS 49108 HAS SOUPS 49108 WITH SCORE 49187.559
AT ITER 4934 NEW BEST:: SOT 301710 SOS 79184 HAS SOPS 79184 HAS SOUS 49050 HAS SOUPS 49050 WITH SCORE 49129.184
AT ITER 4936 NEW BEST:: SOT 301667 SOS 79075 HAS SOPS 79075 HAS SOUS 49030 HAS SOUPS 49030 WITH SCORE 49109.075
AT ITER 4938 NEW BEST:: SOT 301510 SOS 78689 HAS SOPS 78689 HAS SOUS 48855 HAS SOUPS 48855 WITH SCORE 48933.689
AT ITER 4977 NEW BEST:: SOT 301481 SOS 78631 HAS SOPS 78631 HAS SOUS 48848 HAS SOUPS 48848 WITH SCORE 48926.631
AT ITER 4988 NEW BEST:: SOT 301455 SOS 78492 HAS SOPS 78492 HAS SOUS 48773 HAS SOUPS 48773 WITH SCORE 48851.492
AT ITER 4991 NEW BEST:: SOT 301515 SOS 78639 HAS SOPS 78639 HAS SOUS 48732 HAS SOUPS 48732 WITH SCORE 48810.639
AT ITER 5011 NEW BEST:: SOT 301522 SOS 78653 HAS SOPS 78653 HAS SOUS 48725 HAS SOUPS 48725 WITH SCORE 48803.653
AT ITER 5013 NEW BEST:: SOT 301520 SOS 78648 HAS SOPS 78648 HAS SOUS 48722 HAS SOUPS 48722 WITH SCORE 48800.648
AT ITER 5018 NEW BEST:: SOT 301539 SOS 78669 HAS SOPS 78669 HAS SOUS 48683 HAS SOUPS 48683 WITH SCORE 48761.669
AT ITER 5035 NEW BEST:: SOT 301419 SOS 78369 HAS SOPS 78369 HAS SOUS 48623 HAS SOUPS 48623 WITH SCORE 48701.369
AT ITER 5039 NEW BEST:: SOT 301337 SOS 78214 HAS SOPS 78214 HAS SOUS 48586 HAS SOUPS 48586 WITH SCORE 48664.214
AT ITER 5047 NEW BEST:: SOT 301337 SOS 78214 HAS SOPS 78214 HAS SOUS 48584 HAS SOUPS 48584 WITH SCORE 48662.214
AT ITER 5094 NEW BEST:: SOT 301095 SOS 77648 HAS SOPS 77648 HAS SOUS 48564 HAS SOUPS 48564 WITH SCORE 48641.648
AT ITER 5196 NEW BEST:: SOT 301093 SOS 77644 HAS SOPS 77644 HAS SOUS 48562 HAS SOUPS 48562 WITH SCORE 48639.644
AT ITER 5207 NEW BEST:: SOT 301052 SOS 77562 HAS SOPS 77562 HAS SOUS 48508 HAS SOUPS 48508 WITH SCORE 48585.562
AT ITER 5210 NEW BEST:: SOT 301051 SOS 77596 HAS SOPS 77596 HAS SOUS 48366 HAS SOUPS 48366 WITH SCORE 48443.596
AT ITER 5264 NEW BEST:: SOT 301026 SOS 77546 HAS SOPS 77546 HAS SOUS 48341 HAS SOUPS 48341 WITH SCORE 48418.546
AT ITER 5310 NEW BEST:: SOT 300912 SOS 77318 HAS SOPS 77318 HAS SOUS 48341 HAS SOUPS 48341 WITH SCORE 48418.318
AT ITER 5315 NEW BEST:: SOT 300842 SOS 77140 HAS SOPS 77140 HAS SOUS 48315 HAS SOUPS 48315 WITH SCORE 48392.14
AT ITER 5320 NEW BEST:: SOT 300771 SOS 76935 HAS SOPS 76935 HAS SOUS 48303 HAS SOUPS 48303 WITH SCORE 48379.935
AT ITER 5322 NEW BEST:: SOT 300665 SOS 76706 HAS SOPS 76706 HAS SOUS 48284 HAS SOUPS 48284 WITH SCORE 48360.706
AT ITER 5388 NEW BEST:: SOT 300665 SOS 76706 HAS SOPS 76706 HAS SOUS 48240 HAS SOUPS 48240 WITH SCORE 48316.706
AT ITER 5393 NEW BEST:: SOT 300625 SOS 76606 HAS SOPS 76606 HAS SOUS 48218 HAS SOUPS 48218 WITH SCORE 48294.606
AT ITER 5397 NEW BEST:: SOT 300587 SOS 76511 HAS SOPS 76511 HAS SOUS 48161 HAS SOUPS 48161 WITH SCORE 48237.511
AT ITER 5398 NEW BEST:: SOT 300466 SOS 76287 HAS SOPS 76287 HAS SOUS 48155 HAS SOUPS 48155 WITH SCORE 48231.287
AT ITER 5421 NEW BEST:: SOT 300290 SOS 75816 HAS SOPS 75816 HAS SOUS 48019 HAS SOUPS 48019 WITH SCORE 48094.816
AT ITER 5451 NEW BEST:: SOT 300289 SOS 75814 HAS SOPS 75814 HAS SOUS 48018 HAS SOUPS 48018 WITH SCORE 48093.814
AT ITER 5472 NEW BEST:: SOT 300545 SOS 76326 HAS SOPS 76326 HAS SOUS 47976 HAS SOUPS 47976 WITH SCORE 48052.326
AT ITER 5480 NEW BEST:: SOT 300602 SOS 76440 HAS SOPS 76440 HAS SOUS 47920 HAS SOUPS 47920 WITH SCORE 47996.44
AT ITER 5488 NEW BEST:: SOT 300584 SOS 76402 HAS SOPS 76402 HAS SOUS 47916 HAS SOUPS 47916 WITH SCORE 47992.402
AT ITER 5500 NEW BEST:: SOT 300461 SOS 76156 HAS SOPS 76156 HAS SOUS 47793 HAS SOUPS 47793 WITH SCORE 47869.156
AT ITER 5508 NEW BEST:: SOT 300465 SOS 76141 HAS SOPS 76141 HAS SOUS 47740 HAS SOUPS 47740 WITH SCORE 47816.141
AT ITER 5518 NEW BEST:: SOT 300457 SOS 76117 HAS SOPS 76117 HAS SOUS 47724 HAS SOUPS 47724 WITH SCORE 47800.117
AT ITER 5554 NEW BEST:: SOT 300454 SOS 76111 HAS SOPS 76111 HAS SOUS 47721 HAS SOUPS 47721 WITH SCORE 47797.111
AT ITER 5555 NEW BEST:: SOT 300452 SOS 76108 HAS SOPS 76108 HAS SOUS 47721 HAS SOUPS 47721 WITH SCORE 47797.108
AT ITER 5576 NEW BEST:: SOT 300387 SOS 76015 HAS SOPS 76015 HAS SOUS 47706 HAS SOUPS 47706 WITH SCORE 47782.015
AT ITER 5591 NEW BEST:: SOT 300381 SOS 76003 HAS SOPS 76003 HAS SOUS 47694 HAS SOUPS 47694 WITH SCORE 47770.003
AT ITER 5601 NEW BEST:: SOT 300249 SOS 75739 HAS SOPS 75739 HAS SOUS 47606 HAS SOUPS 47606 WITH SCORE 47681.739
AT ITER 5603 NEW BEST:: SOT 300241 SOS 75723 HAS SOPS 75723 HAS SOUS 47594 HAS SOUPS 47594 WITH SCORE 47669.723
AT ITER 5607 NEW BEST:: SOT 300211 SOS 75663 HAS SOPS 75663 HAS SOUS 47531 HAS SOUPS 47531 WITH SCORE 47606.663
AT ITER 5611 NEW BEST:: SOT 300141 SOS 75592 HAS SOPS 75592 HAS SOUS 47456 HAS SOUPS 47456 WITH SCORE 47531.592
AT ITER 5614 NEW BEST:: SOT 300135 SOS 75580 HAS SOPS 75580 HAS SOUS 47441 HAS SOUPS 47441 WITH SCORE 47516.58
AT ITER 5618 NEW BEST:: SOT 299996 SOS 75302 HAS SOPS 75302 HAS SOUS 47264 HAS SOUPS 47264 WITH SCORE 47339.302
AT ITER 5622 NEW BEST:: SOT 299962 SOS 75217 HAS SOPS 75217 HAS SOUS 47213 HAS SOUPS 47213 WITH SCORE 47288.217
AT ITER 5623 NEW BEST:: SOT 299845 SOS 74922 HAS SOPS 74922 HAS SOUS 47200 HAS SOUPS 47200 WITH SCORE 47274.922
AT ITER 5625 NEW BEST:: SOT 299819 SOS 74856 HAS SOPS 74856 HAS SOUS 47182 HAS SOUPS 47182 WITH SCORE 47256.856
AT ITER 5635 NEW BEST:: SOT 299815 SOS 74848 HAS SOPS 74848 HAS SOUS 47152 HAS SOUPS 47152 WITH SCORE 47226.848
AT ITER 5640 NEW BEST:: SOT 299820 SOS 74880 HAS SOPS 74880 HAS SOUS 47149 HAS SOUPS 47149 WITH SCORE 47223.88
AT ITER 5678 NEW BEST:: SOT 299811 SOS 74862 HAS SOPS 74862 HAS SOUS 47140 HAS SOUPS 47140 WITH SCORE 47214.862
AT ITER 5686 NEW BEST:: SOT 299894 SOS 75034 HAS SOPS 75034 HAS SOUS 47133 HAS SOUPS 47133 WITH SCORE 47208.034
AT ITER 5738 NEW BEST:: SOT 299820 SOS 74863 HAS SOPS 74863 HAS SOUS 47082 HAS SOUPS 47082 WITH SCORE 47156.863
AT ITER 5748 NEW BEST:: SOT 299899 SOS 75054 HAS SOPS 75054 HAS SOUS 47066 HAS SOUPS 47066 WITH SCORE 47141.054
AT ITER 5755 NEW BEST:: SOT 300072 SOS 75400 HAS SOPS 75400 HAS SOUS 46999 HAS SOUPS 46999 WITH SCORE 47074.4
AT ITER 5763 NEW BEST:: SOT 300008 SOS 75246 HAS SOPS 75246 HAS SOUS 46973 HAS SOUPS 46973 WITH SCORE 47048.246
AT ITER 5770 NEW BEST:: SOT 300003 SOS 75231 HAS SOPS 75231 HAS SOUS 46963 HAS SOUPS 46963 WITH SCORE 47038.231
AT ITER 5772 NEW BEST:: SOT 300003 SOS 75231 HAS SOPS 75231 HAS SOUS 46744 HAS SOUPS 46744 WITH SCORE 46819.231
AT ITER 5774 NEW BEST:: SOT 300003 SOS 75226 HAS SOPS 75226 HAS SOUS 46739 HAS SOUPS 46739 WITH SCORE 46814.226
AT ITER 5784 NEW BEST:: SOT 300011 SOS 75302 HAS SOPS 75302 HAS SOUS 46648 HAS SOUPS 46648 WITH SCORE 46723.302
AT ITER 5787 NEW BEST:: SOT 299993 SOS 75266 HAS SOPS 75266 HAS SOUS 46648 HAS SOUPS 46648 WITH SCORE 46723.266
AT ITER 5806 NEW BEST:: SOT 299934 SOS 75153 HAS SOPS 75153 HAS SOUS 46528 HAS SOUPS 46528 WITH SCORE 46603.153
AT ITER 5830 NEW BEST:: SOT 299913 SOS 75169 HAS SOPS 75169 HAS SOUS 46482 HAS SOUPS 46482 WITH SCORE 46557.169
AT ITER 5831 NEW BEST:: SOT 299890 SOS 75123 HAS SOPS 75123 HAS SOUS 46482 HAS SOUPS 46482 WITH SCORE 46557.123
AT ITER 5833 NEW BEST:: SOT 299882 SOS 75103 HAS SOPS 75103 HAS SOUS 46476 HAS SOUPS 46476 WITH SCORE 46551.103
AT ITER 5836 NEW BEST:: SOT 299850 SOS 75010 HAS SOPS 75010 HAS SOUS 46415 HAS SOUPS 46415 WITH SCORE 46490.01
AT ITER 5850 NEW BEST:: SOT 299855 SOS 75087 HAS SOPS 75087 HAS SOUS 46248 HAS SOUPS 46248 WITH SCORE 46323.087
AT ITER 5858 NEW BEST:: SOT 299726 SOS 74829 HAS SOPS 74829 HAS SOUS 46076 HAS SOUPS 46076 WITH SCORE 46150.829
AT ITER 5867 NEW BEST:: SOT 299892 SOS 75062 HAS SOPS 75062 HAS SOUS 46047 HAS SOUPS 46047 WITH SCORE 46122.062
AT ITER 5912 NEW BEST:: SOT 299768 SOS 74776 HAS SOPS 74776 HAS SOUS 46009 HAS SOUPS 46009 WITH SCORE 46083.776
AT ITER 5923 NEW BEST:: SOT 299763 SOS 74766 HAS SOPS 74766 HAS SOUS 46001 HAS SOUPS 46001 WITH SCORE 46075.766
AT ITER 5939 NEW BEST:: SOT 299627 SOS 74426 HAS SOPS 74426 HAS SOUS 45797 HAS SOUPS 45797 WITH SCORE 45871.426
AT ITER 5942 NEW BEST:: SOT 299375 SOS 74053 HAS SOPS 74053 HAS SOUS 45772 HAS SOUPS 45772 WITH SCORE 45846.053
AT ITER 5948 NEW BEST:: SOT 299349 SOS 74009 HAS SOPS 74009 HAS SOUS 45772 HAS SOUPS 45772 WITH SCORE 45846.009
AT ITER 5952 NEW BEST:: SOT 299349 SOS 73977 HAS SOPS 73977 HAS SOUS 45740 HAS SOUPS 45740 WITH SCORE 45813.977
AT ITER 5963 NEW BEST:: SOT 299325 SOS 73944 HAS SOPS 73944 HAS SOUS 45737 HAS SOUPS 45737 WITH SCORE 45810.944
AT ITER 6001 NEW BEST:: SOT 299313 SOS 73940 HAS SOPS 73940 HAS SOUS 45710 HAS SOUPS 45710 WITH SCORE 45783.94
AT ITER 6065 NEW BEST:: SOT 299352 SOS 74018 HAS SOPS 74018 HAS SOUS 45687 HAS SOUPS 45687 WITH SCORE 45761.018
AT ITER 6068 NEW BEST:: SOT 299312 SOS 73918 HAS SOPS 73918 HAS SOUS 45687 HAS SOUPS 45687 WITH SCORE 45760.918
AT ITER 6084 NEW BEST:: SOT 299307 SOS 73908 HAS SOPS 73908 HAS SOUS 45682 HAS SOUPS 45682 WITH SCORE 45755.908
AT ITER 6086 NEW BEST:: SOT 299301 SOS 73896 HAS SOPS 73896 HAS SOUS 45676 HAS SOUPS 45676 WITH SCORE 45749.896
AT ITER 6093 NEW BEST:: SOT 299315 SOS 73924 HAS SOPS 73924 HAS SOUS 45611 HAS SOUPS 45611 WITH SCORE 45684.924
AT ITER 6151 NEW BEST:: SOT 299127 SOS 73448 HAS SOPS 73448 HAS SOUS 45272 HAS SOUPS 45272 WITH SCORE 45345.448
AT ITER 6179 NEW BEST:: SOT 299091 SOS 73354 HAS SOPS 73354 HAS SOUS 45258 HAS SOUPS 45258 WITH SCORE 45331.354
AT ITER 6185 NEW BEST:: SOT 299091 SOS 73354 HAS SOPS 73354 HAS SOUS 45256 HAS SOUPS 45256 WITH SCORE 45329.354
AT ITER 6210 NEW BEST:: SOT 299204 SOS 73635 HAS SOPS 73635 HAS SOUS 45246 HAS SOUPS 45246 WITH SCORE 45319.635
AT ITER 6214 NEW BEST:: SOT 299205 SOS 73637 HAS SOPS 73637 HAS SOUS 45245 HAS SOUPS 45245 WITH SCORE 45318.637
AT ITER 6228 NEW BEST:: SOT 298991 SOS 73316 HAS SOPS 73316 HAS SOUS 45245 HAS SOUPS 45245 WITH SCORE 45318.316
AT ITER 6231 NEW BEST:: SOT 298958 SOS 73225 HAS SOPS 73225 HAS SOUS 45237 HAS SOUPS 45237 WITH SCORE 45310.225
AT ITER 6241 NEW BEST:: SOT 298938 SOS 73185 HAS SOPS 73185 HAS SOUS 45209 HAS SOUPS 45209 WITH SCORE 45282.185
AT ITER 6303 NEW BEST:: SOT 298918 SOS 73136 HAS SOPS 73136 HAS SOUS 45184 HAS SOUPS 45184 WITH SCORE 45257.136
AT ITER 6309 NEW BEST:: SOT 298918 SOS 73112 HAS SOPS 73112 HAS SOUS 45160 HAS SOUPS 45160 WITH SCORE 45233.112
AT ITER 6322 NEW BEST:: SOT 298878 SOS 73032 HAS SOPS 73032 HAS SOUS 45118 HAS SOUPS 45118 WITH SCORE 45191.032
AT ITER 6327 NEW BEST:: SOT 298803 SOS 72925 HAS SOPS 72925 HAS SOUS 45118 HAS SOUPS 45118 WITH SCORE 45190.925
AT ITER 6329 NEW BEST:: SOT 298783 SOS 72907 HAS SOPS 72907 HAS SOUS 45060 HAS SOUPS 45060 WITH SCORE 45132.907
AT ITER 6400 NEW BEST:: SOT 298276 SOS 71664 HAS SOPS 71664 HAS SOUS 44548 HAS SOUPS 44548 WITH SCORE 44619.664
AT ITER 6403 NEW BEST:: SOT 298269 SOS 71646 HAS SOPS 71646 HAS SOUS 44537 HAS SOUPS 44537 WITH SCORE 44608.646
AT ITER 6407 NEW BEST:: SOT 298178 SOS 71591 HAS SOPS 71591 HAS SOUS 44499 HAS SOUPS 44499 WITH SCORE 44570.591
AT ITER 6427 NEW BEST:: SOT 298178 SOS 71591 HAS SOPS 71591 HAS SOUS 44475 HAS SOUPS 44475 WITH SCORE 44546.591
AT ITER 6431 NEW BEST:: SOT 298186 SOS 71587 HAS SOPS 71587 HAS SOUS 44435 HAS SOUPS 44435 WITH SCORE 44506.587
AT ITER 6439 NEW BEST:: SOT 298052 SOS 71167 HAS SOPS 71167 HAS SOUS 44394 HAS SOUPS 44394 WITH SCORE 44465.167
AT ITER 6440 NEW BEST:: SOT 298030 SOS 71123 HAS SOPS 71123 HAS SOUS 44350 HAS SOUPS 44350 WITH SCORE 44421.123
AT ITER 6459 NEW BEST:: SOT 297961 SOS 70998 HAS SOPS 70998 HAS SOUS 44292 HAS SOUPS 44292 WITH SCORE 44362.998
AT ITER 6464 NEW BEST:: SOT 297961 SOS 70999 HAS SOPS 70999 HAS SOUS 44291 HAS SOUPS 44291 WITH SCORE 44361.999
AT ITER 6499 NEW BEST:: SOT 297948 SOS 70985 HAS SOPS 70985 HAS SOUS 44290 HAS SOUPS 44290 WITH SCORE 44360.985
AT ITER 6507 NEW BEST:: SOT 297894 SOS 70931 HAS SOPS 70931 HAS SOUS 44218 HAS SOUPS 44218 WITH SCORE 44288.931
AT ITER 6576 NEW BEST:: SOT 297886 SOS 70915 HAS SOPS 70915 HAS SOUS 44201 HAS SOUPS 44201 WITH SCORE 44271.915
AT ITER 6594 NEW BEST:: SOT 297853 SOS 70881 HAS SOPS 70881 HAS SOUS 44163 HAS SOUPS 44163 WITH SCORE 44233.881
AT ITER 6598 NEW BEST:: SOT 297848 SOS 70866 HAS SOPS 70866 HAS SOUS 44163 HAS SOUPS 44163 WITH SCORE 44233.866
AT ITER 6619 NEW BEST:: SOT 297885 SOS 70940 HAS SOPS 70940 HAS SOUS 44148 HAS SOUPS 44148 WITH SCORE 44218.94
AT ITER 6640 NEW BEST:: SOT 297890 SOS 70934 HAS SOPS 70934 HAS SOUS 44137 HAS SOUPS 44137 WITH SCORE 44207.934
AT ITER 6664 NEW BEST:: SOT 297906 SOS 70888 HAS SOPS 70888 HAS SOUS 44072 HAS SOUPS 44072 WITH SCORE 44142.888
AT ITER 6674 NEW BEST:: SOT 297902 SOS 70880 HAS SOPS 70880 HAS SOUS 44067 HAS SOUPS 44067 WITH SCORE 44137.88
AT ITER 6676 NEW BEST:: SOT 297974 SOS 71024 HAS SOPS 71024 HAS SOUS 44009 HAS SOUPS 44009 WITH SCORE 44080.024
AT ITER 6722 NEW BEST:: SOT 297926 SOS 70928 HAS SOPS 70928 HAS SOUS 43983 HAS SOUPS 43983 WITH SCORE 44053.928
AT ITER 6765 NEW BEST:: SOT 297787 SOS 70599 HAS SOPS 70599 HAS SOUS 43943 HAS SOUPS 43943 WITH SCORE 44013.599
AT ITER 6785 NEW BEST:: SOT 297773 SOS 70584 HAS SOPS 70584 HAS SOUS 43942 HAS SOUPS 43942 WITH SCORE 44012.584
AT ITER 6802 NEW BEST:: SOT 297704 SOS 70446 HAS SOPS 70446 HAS SOUS 43880 HAS SOUPS 43880 WITH SCORE 43950.446
AT ITER 6839 NEW BEST:: SOT 297700 SOS 70434 HAS SOPS 70434 HAS SOUS 43872 HAS SOUPS 43872 WITH SCORE 43942.434
AT ITER 6850 NEW BEST:: SOT 297809 SOS 70555 HAS SOPS 70555 HAS SOUS 43850 HAS SOUPS 43850 WITH SCORE 43920.555
AT ITER 6862 NEW BEST:: SOT 297809 SOS 70556 HAS SOPS 70556 HAS SOUS 43849 HAS SOUPS 43849 WITH SCORE 43919.556
AT ITER 6888 NEW BEST:: SOT 297801 SOS 70540 HAS SOPS 70540 HAS SOUS 43841 HAS SOUPS 43841 WITH SCORE 43911.54
AT ITER 6899 NEW BEST:: SOT 297777 SOS 70490 HAS SOPS 70490 HAS SOUS 43839 HAS SOUPS 43839 WITH SCORE 43909.49
AT ITER 6905 NEW BEST:: SOT 297757 SOS 70455 HAS SOPS 70455 HAS SOUS 43832 HAS SOUPS 43832 WITH SCORE 43902.455
AT ITER 6906 NEW BEST:: SOT 297715 SOS 70392 HAS SOPS 70392 HAS SOUS 43832 HAS SOUPS 43832 WITH SCORE 43902.392
AT ITER 6910 NEW BEST:: SOT 297722 SOS 70382 HAS SOPS 70382 HAS SOUS 43816 HAS SOUPS 43816 WITH SCORE 43886.382
AT ITER 6935 NEW BEST:: SOT 297722 SOS 70358 HAS SOPS 70358 HAS SOUS 43744 HAS SOUPS 43744 WITH SCORE 43814.358
AT ITER 6941 NEW BEST:: SOT 297572 SOS 70058 HAS SOPS 70058 HAS SOUS 43544 HAS SOUPS 43544 WITH SCORE 43614.058
AT ITER 6988 NEW BEST:: SOT 297572 SOS 70049 HAS SOPS 70049 HAS SOUS 43517 HAS SOUPS 43517 WITH SCORE 43587.049
AT ITER 6996 NEW BEST:: SOT 297572 SOS 70040 HAS SOPS 70040 HAS SOUS 43486 HAS SOUPS 43486 WITH SCORE 43556.04
AT ITER 7000 NEW BEST:: SOT 297584 SOS 70040 HAS SOPS 70040 HAS SOUS 43478 HAS SOUPS 43478 WITH SCORE 43548.04
AT ITER 7026 NEW BEST:: SOT 297503 SOS 69887 HAS SOPS 69887 HAS SOUS 43469 HAS SOUPS 43469 WITH SCORE 43538.887
AT ITER 7072 NEW BEST:: SOT 297464 SOS 69809 HAS SOPS 69809 HAS SOUS 43444 HAS SOUPS 43444 WITH SCORE 43513.809
AT ITER 7073 NEW BEST:: SOT 297410 SOS 69692 HAS SOPS 69692 HAS SOUS 43418 HAS SOUPS 43418 WITH SCORE 43487.692
AT ITER 7113 NEW BEST:: SOT 297401 SOS 69674 HAS SOPS 69674 HAS SOUS 43410 HAS SOUPS 43410 WITH SCORE 43479.674
AT ITER 7119 NEW BEST:: SOT 297341 SOS 69524 HAS SOPS 69524 HAS SOUS 43320 HAS SOUPS 43320 WITH SCORE 43389.524
AT ITER 7127 NEW BEST:: SOT 297191 SOS 69224 HAS SOPS 69224 HAS SOUS 43170 HAS SOUPS 43170 WITH SCORE 43239.224
AT ITER 7134 NEW BEST:: SOT 297107 SOS 69014 HAS SOPS 69014 HAS SOUS 43128 HAS SOUPS 43128 WITH SCORE 43197.014
AT ITER 7140 NEW BEST:: SOT 296933 SOS 68666 HAS SOPS 68666 HAS SOUS 42914 HAS SOUPS 42914 WITH SCORE 42982.666
AT ITER 7143 NEW BEST:: SOT 296842 SOS 68421 HAS SOPS 68421 HAS SOUS 42900 HAS SOUPS 42900 WITH SCORE 42968.421
AT ITER 7150 NEW BEST:: SOT 296862 SOS 68461 HAS SOPS 68461 HAS SOUS 42880 HAS SOUPS 42880 WITH SCORE 42948.461
AT ITER 7165 NEW BEST:: SOT 296867 SOS 68423 HAS SOPS 68423 HAS SOUS 42812 HAS SOUPS 42812 WITH SCORE 42880.423
AT ITER 7171 NEW BEST:: SOT 296580 SOS 67856 HAS SOPS 67856 HAS SOUS 42596 HAS SOUPS 42596 WITH SCORE 42663.856
AT ITER 7182 NEW BEST:: SOT 296522 SOS 67740 HAS SOPS 67740 HAS SOUS 42538 HAS SOUPS 42538 WITH SCORE 42605.74
AT ITER 7204 NEW BEST:: SOT 296508 SOS 67712 HAS SOPS 67712 HAS SOUS 42538 HAS SOUPS 42538 WITH SCORE 42605.712
AT ITER 7221 NEW BEST:: SOT 296226 SOS 67203 HAS SOPS 67203 HAS SOUS 42386 HAS SOUPS 42386 WITH SCORE 42453.203
AT ITER 7226 NEW BEST:: SOT 296222 SOS 67195 HAS SOPS 67195 HAS SOUS 42382 HAS SOUPS 42382 WITH SCORE 42449.195
AT ITER 7262 NEW BEST:: SOT 296106 SOS 66921 HAS SOPS 66921 HAS SOUS 42282 HAS SOUPS 42282 WITH SCORE 42348.921
AT ITER 7281 NEW BEST:: SOT 296037 SOS 66783 HAS SOPS 66783 HAS SOUS 42190 HAS SOUPS 42190 WITH SCORE 42256.783
AT ITER 7284 NEW BEST:: SOT 296113 SOS 66868 HAS SOPS 66868 HAS SOUS 42161 HAS SOUPS 42161 WITH SCORE 42227.868
AT ITER 7316 NEW BEST:: SOT 296110 SOS 66865 HAS SOPS 66865 HAS SOUS 42158 HAS SOUPS 42158 WITH SCORE 42224.865
AT ITER 7403 NEW BEST:: SOT 296100 SOS 66845 HAS SOPS 66845 HAS SOUS 42158 HAS SOUPS 42158 WITH SCORE 42224.845
AT ITER 7465 NEW BEST:: SOT 296084 SOS 66805 HAS SOPS 66805 HAS SOUS 42138 HAS SOUPS 42138 WITH SCORE 42204.805
AT ITER 7476 NEW BEST:: SOT 295995 SOS 66556 HAS SOPS 66556 HAS SOUS 42104 HAS SOUPS 42104 WITH SCORE 42170.556
AT ITER 7480 NEW BEST:: SOT 295977 SOS 66538 HAS SOPS 66538 HAS SOUS 42050 HAS SOUPS 42050 WITH SCORE 42116.538
AT ITER 7489 NEW BEST:: SOT 295959 SOS 66521 HAS SOPS 66521 HAS SOUS 42032 HAS SOUPS 42032 WITH SCORE 42098.521
AT ITER 7500 NEW BEST:: SOT 295864 SOS 66299 HAS SOPS 66299 HAS SOUS 41991 HAS SOUPS 41991 WITH SCORE 42057.299
AT ITER 7536 NEW BEST:: SOT 295849 SOS 66262 HAS SOPS 66262 HAS SOUS 41969 HAS SOUPS 41969 WITH SCORE 42035.262
AT ITER 7538 NEW BEST:: SOT 295784 SOS 66131 HAS SOPS 66131 HAS SOUS 41860 HAS SOUPS 41860 WITH SCORE 41926.131
AT ITER 7539 NEW BEST:: SOT 295768 SOS 66091 HAS SOPS 66091 HAS SOUS 41852 HAS SOUPS 41852 WITH SCORE 41918.091
AT ITER 7557 NEW BEST:: SOT 295749 SOS 66053 HAS SOPS 66053 HAS SOUS 41833 HAS SOUPS 41833 WITH SCORE 41899.053
AT ITER 7578 NEW BEST:: SOT 295770 SOS 66095 HAS SOPS 66095 HAS SOUS 41831 HAS SOUPS 41831 WITH SCORE 41897.095
AT ITER 7601 NEW BEST:: SOT 295724 SOS 66003 HAS SOPS 66003 HAS SOUS 41776 HAS SOUPS 41776 WITH SCORE 41842.003
AT ITER 7604 NEW BEST:: SOT 295719 SOS 65998 HAS SOPS 65998 HAS SOUS 41769 HAS SOUPS 41769 WITH SCORE 41834.998
AT ITER 7613 NEW BEST:: SOT 295695 SOS 65958 HAS SOPS 65958 HAS SOUS 41761 HAS SOUPS 41761 WITH SCORE 41826.958
AT ITER 7621 NEW BEST:: SOT 295695 SOS 65958 HAS SOPS 65958 HAS SOUS 41755 HAS SOUPS 41755 WITH SCORE 41820.958
AT ITER 7631 NEW BEST:: SOT 295654 SOS 65876 HAS SOPS 65876 HAS SOUS 41714 HAS SOUPS 41714 WITH SCORE 41779.876
AT ITER 7653 NEW BEST:: SOT 295654 SOS 65876 HAS SOPS 65876 HAS SOUS 41706 HAS SOUPS 41706 WITH SCORE 41771.876
AT ITER 7709 NEW BEST:: SOT 295654 SOS 65876 HAS SOPS 65876 HAS SOUS 41680 HAS SOUPS 41680 WITH SCORE 41745.876
AT ITER 7719 NEW BEST:: SOT 295636 SOS 65822 HAS SOPS 65822 HAS SOUS 41626 HAS SOUPS 41626 WITH SCORE 41691.822
AT ITER 7736 NEW BEST:: SOT 295620 SOS 65782 HAS SOPS 65782 HAS SOUS 41618 HAS SOUPS 41618 WITH SCORE 41683.782
AT ITER 7738 NEW BEST:: SOT 295620 SOS 65770 HAS SOPS 65770 HAS SOUS 41570 HAS SOUPS 41570 WITH SCORE 41635.77
AT ITER 7740 NEW BEST:: SOT 295444 SOS 65418 HAS SOPS 65418 HAS SOUS 41570 HAS SOUPS 41570 WITH SCORE 41635.418
AT ITER 7745 NEW BEST:: SOT 295192 SOS 64795 HAS SOPS 64795 HAS SOUS 41431 HAS SOUPS 41431 WITH SCORE 41495.795
AT ITER 7755 NEW BEST:: SOT 295147 SOS 64782 HAS SOPS 64782 HAS SOUS 41401 HAS SOUPS 41401 WITH SCORE 41465.782
AT ITER 7763 NEW BEST:: SOT 295137 SOS 64722 HAS SOPS 64722 HAS SOUS 41386 HAS SOUPS 41386 WITH SCORE 41450.722
AT ITER 7764 NEW BEST:: SOT 295135 SOS 64720 HAS SOPS 64720 HAS SOUS 41386 HAS SOUPS 41386 WITH SCORE 41450.72
AT ITER 7782 NEW BEST:: SOT 295103 SOS 64672 HAS SOPS 64672 HAS SOUS 41386 HAS SOUPS 41386 WITH SCORE 41450.672
AT ITER 7792 NEW BEST:: SOT 295107 SOS 64676 HAS SOPS 64676 HAS SOUS 41302 HAS SOUPS 41302 WITH SCORE 41366.676
AT ITER 7829 NEW BEST:: SOT 295033 SOS 64565 HAS SOPS 64565 HAS SOUS 41302 HAS SOUPS 41302 WITH SCORE 41366.565
AT ITER 7831 NEW BEST:: SOT 295073 SOS 64590 HAS SOPS 64590 HAS SOUS 41291 HAS SOUPS 41291 WITH SCORE 41355.59
AT ITER 7857 NEW BEST:: SOT 294731 SOS 64089 HAS SOPS 64089 HAS SOUS 41253 HAS SOUPS 41253 WITH SCORE 41317.089
AT ITER 7889 NEW BEST:: SOT 294729 SOS 64085 HAS SOPS 64085 HAS SOUS 41253 HAS SOUPS 41253 WITH SCORE 41317.085
AT ITER 7901 NEW BEST:: SOT 294603 SOS 63833 HAS SOPS 63833 HAS SOUS 41073 HAS SOUPS 41073 WITH SCORE 41136.833
AT ITER 7910 NEW BEST:: SOT 294297 SOS 63176 HAS SOPS 63176 HAS SOUS 41051 HAS SOUPS 41051 WITH SCORE 41114.176
AT ITER 7917 NEW BEST:: SOT 294186 SOS 62961 HAS SOPS 62961 HAS SOUS 40936 HAS SOUPS 40936 WITH SCORE 40998.961
AT ITER 7973 NEW BEST:: SOT 294182 SOS 62951 HAS SOPS 62951 HAS SOUS 40932 HAS SOUPS 40932 WITH SCORE 40994.951
AT ITER 7983 NEW BEST:: SOT 294164 SOS 62897 HAS SOPS 62897 HAS SOUS 40932 HAS SOUPS 40932 WITH SCORE 40994.897
AT ITER 7986 NEW BEST:: SOT 294159 SOS 62882 HAS SOPS 62882 HAS SOUS 40932 HAS SOUPS 40932 WITH SCORE 40994.882
AT ITER 8014 NEW BEST:: SOT 294079 SOS 62702 HAS SOPS 62702 HAS SOUS 40921 HAS SOUPS 40921 WITH SCORE 40983.702
AT ITER 8020 NEW BEST:: SOT 294075 SOS 62694 HAS SOPS 62694 HAS SOUS 40915 HAS SOUPS 40915 WITH SCORE 40977.694
AT ITER 8032 NEW BEST:: SOT 294064 SOS 62661 HAS SOPS 62661 HAS SOUS 40871 HAS SOUPS 40871 WITH SCORE 40933.661
AT ITER 8063 NEW BEST:: SOT 294053 SOS 62650 HAS SOPS 62650 HAS SOUS 40871 HAS SOUPS 40871 WITH SCORE 40933.65
AT ITER 8066 NEW BEST:: SOT 293967 SOS 62521 HAS SOPS 62521 HAS SOUS 40871 HAS SOUPS 40871 WITH SCORE 40933.521
AT ITER 8081 NEW BEST:: SOT 293614 SOS 61896 HAS SOPS 61896 HAS SOUS 40687 HAS SOUPS 40687 WITH SCORE 40748.896
AT ITER 8128 NEW BEST:: SOT 293274 SOS 61138 HAS SOPS 61138 HAS SOUS 40338 HAS SOUPS 40338 WITH SCORE 40399.138
AT ITER 8180 NEW BEST:: SOT 293243 SOS 61076 HAS SOPS 61076 HAS SOUS 40319 HAS SOUPS 40319 WITH SCORE 40380.076
AT ITER 8243 NEW BEST:: SOT 293241 SOS 61057 HAS SOPS 61057 HAS SOUS 40286 HAS SOUPS 40286 WITH SCORE 40347.057
AT ITER 8251 NEW BEST:: SOT 293197 SOS 60938 HAS SOPS 60938 HAS SOUS 40263 HAS SOUPS 40263 WITH SCORE 40323.938
AT ITER 8273 NEW BEST:: SOT 292978 SOS 60314 HAS SOPS 60314 HAS SOUS 39803 HAS SOUPS 39803 WITH SCORE 39863.314
AT ITER 8287 NEW BEST:: SOT 292960 SOS 60304 HAS SOPS 60304 HAS SOUS 39747 HAS SOUPS 39747 WITH SCORE 39807.304
AT ITER 8295 NEW BEST:: SOT 292835 SOS 59958 HAS SOPS 59958 HAS SOUS 39675 HAS SOUPS 39675 WITH SCORE 39734.958
AT ITER 8315 NEW BEST:: SOT 292803 SOS 59878 HAS SOPS 59878 HAS SOUS 39639 HAS SOUPS 39639 WITH SCORE 39698.878
AT ITER 8326 NEW BEST:: SOT 292725 SOS 59716 HAS SOPS 59716 HAS SOUS 39594 HAS SOUPS 39594 WITH SCORE 39653.716
AT ITER 8409 NEW BEST:: SOT 292721 SOS 59679 HAS SOPS 59679 HAS SOUS 39578 HAS SOUPS 39578 WITH SCORE 39637.679
AT ITER 8415 NEW BEST:: SOT 292721 SOS 59678 HAS SOPS 59678 HAS SOUS 39573 HAS SOUPS 39573 WITH SCORE 39632.678
AT ITER 8463 NEW BEST:: SOT 292665 SOS 59497 HAS SOPS 59497 HAS SOUS 39435 HAS SOUPS 39435 WITH SCORE 39494.497
AT ITER 8507 NEW BEST:: SOT 292559 SOS 59310 HAS SOPS 59310 HAS SOUS 39380 HAS SOUPS 39380 WITH SCORE 39439.31
AT ITER 8555 NEW BEST:: SOT 292552 SOS 59303 HAS SOPS 59303 HAS SOUS 39371 HAS SOUPS 39371 WITH SCORE 39430.303
AT ITER 8570 NEW BEST:: SOT 292522 SOS 59237 HAS SOPS 59237 HAS SOUS 39365 HAS SOUPS 39365 WITH SCORE 39424.237
AT ITER 8573 NEW BEST:: SOT 292389 SOS 58993 HAS SOPS 58993 HAS SOUS 39285 HAS SOUPS 39285 WITH SCORE 39343.993
AT ITER 8593 NEW BEST:: SOT 292369 SOS 58997 HAS SOPS 58997 HAS SOUS 39265 HAS SOUPS 39265 WITH SCORE 39323.997
AT ITER 8603 NEW BEST:: SOT 292367 SOS 58993 HAS SOPS 58993 HAS SOUS 39263 HAS SOUPS 39263 WITH SCORE 39321.993
AT ITER 8605 NEW BEST:: SOT 292246 SOS 58716 HAS SOPS 58716 HAS SOUS 39227 HAS SOUPS 39227 WITH SCORE 39285.716
AT ITER 8675 NEW BEST:: SOT 292263 SOS 58765 HAS SOPS 58765 HAS SOUS 39225 HAS SOUPS 39225 WITH SCORE 39283.765
AT ITER 8677 NEW BEST:: SOT 292251 SOS 58741 HAS SOPS 58741 HAS SOUS 39225 HAS SOUPS 39225 WITH SCORE 39283.741
AT ITER 8682 NEW BEST:: SOT 292265 SOS 58769 HAS SOPS 58769 HAS SOUS 39213 HAS SOUPS 39213 WITH SCORE 39271.769
AT ITER 8711 NEW BEST:: SOT 292261 SOS 58765 HAS SOPS 58765 HAS SOUS 39173 HAS SOUPS 39173 WITH SCORE 39231.765
AT ITER 8778 NEW BEST:: SOT 292213 SOS 58669 HAS SOPS 58669 HAS SOUS 39164 HAS SOUPS 39164 WITH SCORE 39222.669
AT ITER 8807 NEW BEST:: SOT 292196 SOS 58625 HAS SOPS 58625 HAS SOUS 39134 HAS SOUPS 39134 WITH SCORE 39192.625
AT ITER 8818 NEW BEST:: SOT 292162 SOS 58564 HAS SOPS 58564 HAS SOUS 39124 HAS SOUPS 39124 WITH SCORE 39182.564
AT ITER 8831 NEW BEST:: SOT 292162 SOS 58564 HAS SOPS 58564 HAS SOUS 39102 HAS SOUPS 39102 WITH SCORE 39160.564
AT ITER 8839 NEW BEST:: SOT 292152 SOS 58544 HAS SOPS 58544 HAS SOUS 39082 HAS SOUPS 39082 WITH SCORE 39140.544
AT ITER 8845 NEW BEST:: SOT 292077 SOS 58346 HAS SOPS 58346 HAS SOUS 39051 HAS SOUPS 39051 WITH SCORE 39109.346
AT ITER 8852 NEW BEST:: SOT 292083 SOS 58348 HAS SOPS 58348 HAS SOUS 39043 HAS SOUPS 39043 WITH SCORE 39101.348
AT ITER 8867 NEW BEST:: SOT 292085 SOS 58352 HAS SOPS 58352 HAS SOUS 38987 HAS SOUPS 38987 WITH SCORE 39045.352
AT ITER 8889 NEW BEST:: SOT 292114 SOS 58498 HAS SOPS 58498 HAS SOUS 38970 HAS SOUPS 38970 WITH SCORE 39028.498
AT ITER 8896 NEW BEST:: SOT 292098 SOS 58466 HAS SOPS 58466 HAS SOUS 38954 HAS SOUPS 38954 WITH SCORE 39012.466
AT ITER 8909 NEW BEST:: SOT 292076 SOS 58422 HAS SOPS 58422 HAS SOUS 38932 HAS SOUPS 38932 WITH SCORE 38990.422
AT ITER 8914 NEW BEST:: SOT 292076 SOS 58422 HAS SOPS 58422 HAS SOUS 38914 HAS SOUPS 38914 WITH SCORE 38972.422
AT ITER 8928 NEW BEST:: SOT 292064 SOS 58398 HAS SOPS 58398 HAS SOUS 38902 HAS SOUPS 38902 WITH SCORE 38960.398
AT ITER 8931 NEW BEST:: SOT 291901 SOS 58072 HAS SOPS 58072 HAS SOUS 38867 HAS SOUPS 38867 WITH SCORE 38925.072
AT ITER 8964 NEW BEST:: SOT 291950 SOS 58265 HAS SOPS 58265 HAS SOUS 38859 HAS SOUPS 38859 WITH SCORE 38917.265
AT ITER 8984 NEW BEST:: SOT 291940 SOS 58234 HAS SOPS 58234 HAS SOUS 38857 HAS SOUPS 38857 WITH SCORE 38915.234
AT ITER 9000 NEW BEST:: SOT 291863 SOS 58083 HAS SOPS 58083 HAS SOUS 38810 HAS SOUPS 38810 WITH SCORE 38868.083
AT ITER 9014 NEW BEST:: SOT 291857 SOS 58065 HAS SOPS 58065 HAS SOUS 38810 HAS SOUPS 38810 WITH SCORE 38868.065
AT ITER 9045 NEW BEST:: SOT 291809 SOS 57948 HAS SOPS 57948 HAS SOUS 38770 HAS SOUPS 38770 WITH SCORE 38827.948
AT ITER 9066 NEW BEST:: SOT 291795 SOS 57926 HAS SOPS 57926 HAS SOUS 38755 HAS SOUPS 38755 WITH SCORE 38812.926
AT ITER 9071 NEW BEST:: SOT 291795 SOS 57918 HAS SOPS 57918 HAS SOUS 38717 HAS SOUPS 38717 WITH SCORE 38774.918
AT ITER 9074 NEW BEST:: SOT 291768 SOS 57864 HAS SOPS 57864 HAS SOUS 38681 HAS SOUPS 38681 WITH SCORE 38738.864
AT ITER 9092 NEW BEST:: SOT 291754 SOS 57836 HAS SOPS 57836 HAS SOUS 38681 HAS SOUPS 38681 WITH SCORE 38738.836
AT ITER 9103 NEW BEST:: SOT 291743 SOS 57806 HAS SOPS 57806 HAS SOUS 38642 HAS SOUPS 38642 WITH SCORE 38699.806
AT ITER 9137 NEW BEST:: SOT 291762 SOS 57838 HAS SOPS 57838 HAS SOUS 38624 HAS SOUPS 38624 WITH SCORE 38681.838
AT ITER 9145 NEW BEST:: SOT 291753 SOS 57813 HAS SOPS 57813 HAS SOUS 38622 HAS SOUPS 38622 WITH SCORE 38679.813
AT ITER 9177 NEW BEST:: SOT 291772 SOS 57865 HAS SOPS 57865 HAS SOUS 38573 HAS SOUPS 38573 WITH SCORE 38630.865
AT ITER 9183 NEW BEST:: SOT 291703 SOS 57727 HAS SOPS 57727 HAS SOUS 38505 HAS SOUPS 38505 WITH SCORE 38562.727
AT ITER 9185 NEW BEST:: SOT 291665 SOS 57632 HAS SOPS 57632 HAS SOUS 38486 HAS SOUPS 38486 WITH SCORE 38543.632
AT ITER 9249 NEW BEST:: SOT 291625 SOS 57552 HAS SOPS 57552 HAS SOUS 38441 HAS SOUPS 38441 WITH SCORE 38498.552
AT ITER 9252 NEW BEST:: SOT 291574 SOS 57217 HAS SOPS 57217 HAS SOUS 38281 HAS SOUPS 38281 WITH SCORE 38338.217
AT ITER 9262 NEW BEST:: SOT 291562 SOS 57193 HAS SOPS 57193 HAS SOUS 38269 HAS SOUPS 38269 WITH SCORE 38326.193
AT ITER 9272 NEW BEST:: SOT 291508 SOS 57079 HAS SOPS 57079 HAS SOUS 38207 HAS SOUPS 38207 WITH SCORE 38264.079
AT ITER 9307 NEW BEST:: SOT 291473 SOS 57035 HAS SOPS 57035 HAS SOUS 38207 HAS SOUPS 38207 WITH SCORE 38264.035
AT ITER 9329 NEW BEST:: SOT 291426 SOS 56962 HAS SOPS 56962 HAS SOUS 38181 HAS SOUPS 38181 WITH SCORE 38237.962
AT ITER 9356 NEW BEST:: SOT 291386 SOS 56865 HAS SOPS 56865 HAS SOUS 38152 HAS SOUPS 38152 WITH SCORE 38208.865
AT ITER 9372 NEW BEST:: SOT 291371 SOS 56835 HAS SOPS 56835 HAS SOUS 38152 HAS SOUPS 38152 WITH SCORE 38208.835
AT ITER 9375 NEW BEST:: SOT 291338 SOS 56757 HAS SOPS 56757 HAS SOUS 38140 HAS SOUPS 38140 WITH SCORE 38196.757
AT ITER 9385 NEW BEST:: SOT 291303 SOS 56722 HAS SOPS 56722 HAS SOUS 38140 HAS SOUPS 38140 WITH SCORE 38196.722
AT ITER 9435 NEW BEST:: SOT 291293 SOS 56702 HAS SOPS 56702 HAS SOUS 38130 HAS SOUPS 38130 WITH SCORE 38186.702
AT ITER 9469 NEW BEST:: SOT 291285 SOS 56686 HAS SOPS 56686 HAS SOUS 38126 HAS SOUPS 38126 WITH SCORE 38182.686
AT ITER 9539 NEW BEST:: SOT 291184 SOS 56551 HAS SOPS 56551 HAS SOUS 37984 HAS SOUPS 37984 WITH SCORE 38040.551
AT ITER 9541 NEW BEST:: SOT 291239 SOS 56627 HAS SOPS 56627 HAS SOUS 37973 HAS SOUPS 37973 WITH SCORE 38029.627
AT ITER 9564 NEW BEST:: SOT 291200 SOS 56529 HAS SOPS 56529 HAS SOUS 37954 HAS SOUPS 37954 WITH SCORE 38010.529
AT ITER 9570 NEW BEST:: SOT 291204 SOS 56533 HAS SOPS 56533 HAS SOUS 37950 HAS SOUPS 37950 WITH SCORE 38006.533
AT ITER 9580 NEW BEST:: SOT 291198 SOS 56523 HAS SOPS 56523 HAS SOUS 37916 HAS SOUPS 37916 WITH SCORE 37972.523
AT ITER 9584 NEW BEST:: SOT 291178 SOS 56443 HAS SOPS 56443 HAS SOUS 37890 HAS SOUPS 37890 WITH SCORE 37946.443
AT ITER 9620 NEW BEST:: SOT 291154 SOS 56383 HAS SOPS 56383 HAS SOUS 37878 HAS SOUPS 37878 WITH SCORE 37934.383
AT ITER 9631 NEW BEST:: SOT 291152 SOS 56380 HAS SOPS 56380 HAS SOUS 37877 HAS SOUPS 37877 WITH SCORE 37933.38
AT ITER 9641 NEW BEST:: SOT 291145 SOS 56338 HAS SOPS 56338 HAS SOUS 37870 HAS SOUPS 37870 WITH SCORE 37926.338
AT ITER 9662 NEW BEST:: SOT 291135 SOS 56313 HAS SOPS 56313 HAS SOUS 37861 HAS SOUPS 37861 WITH SCORE 37917.313
AT ITER 9695 NEW BEST:: SOT 291123 SOS 56289 HAS SOPS 56289 HAS SOUS 37861 HAS SOUPS 37861 WITH SCORE 37917.289
AT ITER 9725 NEW BEST:: SOT 291117 SOS 56272 HAS SOPS 56272 HAS SOUS 37850 HAS SOUPS 37850 WITH SCORE 37906.272
AT ITER 9777 NEW BEST:: SOT 291017 SOS 56046 HAS SOPS 56046 HAS SOUS 37704 HAS SOUPS 37704 WITH SCORE 37760.046
AT ITER 9810 NEW BEST:: SOT 291005 SOS 56048 HAS SOPS 56048 HAS SOUS 37699 HAS SOUPS 37699 WITH SCORE 37755.048
AT ITER 9834 NEW BEST:: SOT 290991 SOS 55984 HAS SOPS 55984 HAS SOUS 37650 HAS SOUPS 37650 WITH SCORE 37705.984
AT ITER 9847 NEW BEST:: SOT 290967 SOS 55936 HAS SOPS 55936 HAS SOUS 37622 HAS SOUPS 37622 WITH SCORE 37677.936
AT ITER 9895 NEW BEST:: SOT 290676 SOS 55243 HAS SOPS 55243 HAS SOUS 37556 HAS SOUPS 37556 WITH SCORE 37611.243
AT ITER 9896 NEW BEST:: SOT 290674 SOS 55206 HAS SOPS 55206 HAS SOUS 37527 HAS SOUPS 37527 WITH SCORE 37582.206
AT ITER 9920 NEW BEST:: SOT 290644 SOS 55131 HAS SOPS 55131 HAS SOUS 37512 HAS SOUPS 37512 WITH SCORE 37567.131
AT ITER 9948 NEW BEST:: SOT 290644 SOS 55114 HAS SOPS 55114 HAS SOUS 37453 HAS SOUPS 37453 WITH SCORE 37508.114
AT ITER 9972 NEW BEST:: SOT 290644 SOS 55116 HAS SOPS 55116 HAS SOUS 37451 HAS SOUPS 37451 WITH SCORE 37506.116
AT ITER 9981 NEW BEST:: SOT 290631 SOS 55077 HAS SOPS 55077 HAS SOUS 37412 HAS SOUPS 37412 WITH SCORE 37467.077
AT ITER 9996 NEW BEST:: SOT 290768 SOS 55378 HAS SOPS 55378 HAS SOUS 37393 HAS SOUPS 37393 WITH SCORE 37448.378

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="ViralEpidemic-PT-S03D1C1A04"
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 ViralEpidemic-PT-S03D1C1A04, 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 r224-oct2-159033538900504"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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