Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r003-smll-158897508000041.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ASLink-PT-03a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508000041
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 516K
-rw-r--r-- 1 mcc users 3.3K Mar 25 09:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 25 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 25 09:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 25 09:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 2.9K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 25 09:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 25 09:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 25 08:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 25 08:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 09:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 25 09:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 357K 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 1589000819911

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

Filename model.pnml
Petri model created: 821 places, 1281 transitions, 4839 arcs.
AT ITER 0 NEW BEST:: SOT 576589 SOS 393886 HAS SOPS 393886 HAS SOUS 240008 HAS SOUPS 240008 WITH SCORE 240401.886
AT ITER 6 NEW BEST:: SOT 576186 SOS 392817 HAS SOPS 392817 HAS SOUS 239403 HAS SOUPS 239403 WITH SCORE 239795.817
AT ITER 11 NEW BEST:: SOT 576186 SOS 392429 HAS SOPS 392429 HAS SOUS 239363 HAS SOUPS 239363 WITH SCORE 239755.429
AT ITER 20 NEW BEST:: SOT 576174 SOS 392391 HAS SOPS 392391 HAS SOUS 239325 HAS SOUPS 239325 WITH SCORE 239717.391
AT ITER 21 NEW BEST:: SOT 575995 SOS 392033 HAS SOPS 392033 HAS SOUS 239144 HAS SOUPS 239144 WITH SCORE 239536.033
AT ITER 23 NEW BEST:: SOT 575963 SOS 391993 HAS SOPS 391993 HAS SOUS 239115 HAS SOUPS 239115 WITH SCORE 239506.993
AT ITER 27 NEW BEST:: SOT 575606 SOS 391061 HAS SOPS 391061 HAS SOUS 238397 HAS SOUPS 238397 WITH SCORE 238788.061
AT ITER 39 NEW BEST:: SOT 575403 SOS 390771 HAS SOPS 390771 HAS SOUS 238194 HAS SOUPS 238194 WITH SCORE 238584.771
AT ITER 42 NEW BEST:: SOT 575295 SOS 390696 HAS SOPS 390696 HAS SOUS 238190 HAS SOUPS 238190 WITH SCORE 238580.696
AT ITER 43 NEW BEST:: SOT 575113 SOS 390874 HAS SOPS 390874 HAS SOUS 237918 HAS SOUPS 237918 WITH SCORE 238308.874
AT ITER 46 NEW BEST:: SOT 575070 SOS 390872 HAS SOPS 390872 HAS SOUS 237916 HAS SOUPS 237916 WITH SCORE 238306.872
AT ITER 48 NEW BEST:: SOT 575070 SOS 390863 HAS SOPS 390863 HAS SOUS 237907 HAS SOUPS 237907 WITH SCORE 238297.863
AT ITER 54 NEW BEST:: SOT 574474 SOS 390381 HAS SOPS 390381 HAS SOUS 237425 HAS SOUPS 237425 WITH SCORE 237815.381
AT ITER 56 NEW BEST:: SOT 574351 SOS 390012 HAS SOPS 390012 HAS SOUS 237179 HAS SOUPS 237179 WITH SCORE 237569.012
AT ITER 57 NEW BEST:: SOT 574351 SOS 390012 HAS SOPS 390012 HAS SOUS 237172 HAS SOUPS 237172 WITH SCORE 237562.012
AT ITER 58 NEW BEST:: SOT 574293 SOS 388113 HAS SOPS 388113 HAS SOUS 236863 HAS SOUPS 236863 WITH SCORE 237251.113
AT ITER 64 NEW BEST:: SOT 574293 SOS 388065 HAS SOPS 388065 HAS SOUS 236863 HAS SOUPS 236863 WITH SCORE 237251.065
AT ITER 72 NEW BEST:: SOT 574264 SOS 388036 HAS SOPS 388036 HAS SOUS 236860 HAS SOUPS 236860 WITH SCORE 237248.036
AT ITER 73 NEW BEST:: SOT 573747 SOS 387647 HAS SOPS 387647 HAS SOUS 236471 HAS SOUPS 236471 WITH SCORE 236858.647
AT ITER 76 NEW BEST:: SOT 573419 SOS 386552 HAS SOPS 386552 HAS SOUS 235813 HAS SOUPS 235813 WITH SCORE 236199.552
AT ITER 83 NEW BEST:: SOT 573420 SOS 386549 HAS SOPS 386549 HAS SOUS 235810 HAS SOUPS 235810 WITH SCORE 236196.549
AT ITER 88 NEW BEST:: SOT 573325 SOS 386540 HAS SOPS 386540 HAS SOUS 235798 HAS SOUPS 235798 WITH SCORE 236184.54
AT ITER 89 NEW BEST:: SOT 572870 SOS 384794 HAS SOPS 384794 HAS SOUS 235245 HAS SOUPS 235245 WITH SCORE 235629.794
AT ITER 91 NEW BEST:: SOT 569561 SOS 385757 HAS SOPS 385757 HAS SOUS 232702 HAS SOUPS 232702 WITH SCORE 233087.757
AT ITER 92 NEW BEST:: SOT 569560 SOS 385756 HAS SOPS 385756 HAS SOUS 232702 HAS SOUPS 232702 WITH SCORE 233087.756
AT ITER 100 NEW BEST:: SOT 569560 SOS 386350 HAS SOPS 386350 HAS SOUS 232701 HAS SOUPS 232701 WITH SCORE 233087.35
AT ITER 102 NEW BEST:: SOT 569560 SOS 383918 HAS SOPS 383918 HAS SOUS 232415 HAS SOUPS 232415 WITH SCORE 232798.918
AT ITER 109 NEW BEST:: SOT 569411 SOS 383896 HAS SOPS 383896 HAS SOUS 232393 HAS SOUPS 232393 WITH SCORE 232776.896
AT ITER 110 NEW BEST:: SOT 569330 SOS 383894 HAS SOPS 383894 HAS SOUS 232390 HAS SOUPS 232390 WITH SCORE 232773.894
AT ITER 129 NEW BEST:: SOT 564349 SOS 378913 HAS SOPS 378913 HAS SOUS 227398 HAS SOUPS 227398 WITH SCORE 227776.913
AT ITER 135 NEW BEST:: SOT 564347 SOS 378909 HAS SOPS 378909 HAS SOUS 227393 HAS SOUPS 227393 WITH SCORE 227771.909
AT ITER 136 NEW BEST:: SOT 563679 SOS 378241 HAS SOPS 378241 HAS SOUS 226914 HAS SOUPS 226914 WITH SCORE 227292.241
AT ITER 152 NEW BEST:: SOT 563657 SOS 378218 HAS SOPS 378218 HAS SOUS 226891 HAS SOUPS 226891 WITH SCORE 227269.218
AT ITER 153 NEW BEST:: SOT 563413 SOS 377974 HAS SOPS 377974 HAS SOUS 226640 HAS SOUPS 226640 WITH SCORE 227017.974
AT ITER 159 NEW BEST:: SOT 563411 SOS 377665 HAS SOPS 377665 HAS SOUS 226612 HAS SOUPS 226612 WITH SCORE 226989.665
AT ITER 161 NEW BEST:: SOT 563120 SOS 375932 HAS SOPS 375932 HAS SOUS 225807 HAS SOUPS 225807 WITH SCORE 226182.932
AT ITER 167 NEW BEST:: SOT 563082 SOS 375894 HAS SOPS 375894 HAS SOUS 225768 HAS SOUPS 225768 WITH SCORE 226143.894
AT ITER 174 NEW BEST:: SOT 562897 SOS 375709 HAS SOPS 375709 HAS SOUS 225582 HAS SOUPS 225582 WITH SCORE 225957.709
AT ITER 179 NEW BEST:: SOT 563129 SOS 375084 HAS SOPS 375084 HAS SOUS 225300 HAS SOUPS 225300 WITH SCORE 225675.084
AT ITER 180 NEW BEST:: SOT 563129 SOS 374553 HAS SOPS 374553 HAS SOUS 225298 HAS SOUPS 225298 WITH SCORE 225672.553
AT ITER 191 NEW BEST:: SOT 562429 SOS 373853 HAS SOPS 373853 HAS SOUS 224598 HAS SOUPS 224598 WITH SCORE 224971.853
AT ITER 193 NEW BEST:: SOT 562203 SOS 373627 HAS SOPS 373627 HAS SOUS 224372 HAS SOUPS 224372 WITH SCORE 224745.627
AT ITER 199 NEW BEST:: SOT 562199 SOS 373089 HAS SOPS 373089 HAS SOUS 224277 HAS SOUPS 224277 WITH SCORE 224650.089
AT ITER 206 NEW BEST:: SOT 562091 SOS 372967 HAS SOPS 372967 HAS SOUS 224159 HAS SOUPS 224159 WITH SCORE 224531.967
AT ITER 217 NEW BEST:: SOT 561769 SOS 372645 HAS SOPS 372645 HAS SOUS 223837 HAS SOUPS 223837 WITH SCORE 224209.645
AT ITER 221 NEW BEST:: SOT 555575 SOS 366451 HAS SOPS 366451 HAS SOUS 217643 HAS SOUPS 217643 WITH SCORE 218009.451
AT ITER 243 NEW BEST:: SOT 555575 SOS 366451 HAS SOPS 366451 HAS SOUS 217631 HAS SOUPS 217631 WITH SCORE 217997.451
AT ITER 244 NEW BEST:: SOT 555575 SOS 366165 HAS SOPS 366165 HAS SOUS 217285 HAS SOUPS 217285 WITH SCORE 217651.165
AT ITER 251 NEW BEST:: SOT 555575 SOS 365951 HAS SOPS 365951 HAS SOUS 217272 HAS SOUPS 217272 WITH SCORE 217637.951
AT ITER 252 NEW BEST:: SOT 555608 SOS 365766 HAS SOPS 365766 HAS SOUS 217085 HAS SOUPS 217085 WITH SCORE 217450.766
AT ITER 267 NEW BEST:: SOT 555573 SOS 365728 HAS SOPS 365728 HAS SOUS 217047 HAS SOUPS 217047 WITH SCORE 217412.728
AT ITER 277 NEW BEST:: SOT 554925 SOS 365971 HAS SOPS 365971 HAS SOUS 216765 HAS SOUPS 216765 WITH SCORE 217130.971
AT ITER 302 NEW BEST:: SOT 554494 SOS 365539 HAS SOPS 365539 HAS SOUS 216333 HAS SOUPS 216333 WITH SCORE 216698.539
AT ITER 315 NEW BEST:: SOT 553323 SOS 364368 HAS SOPS 364368 HAS SOUS 215162 HAS SOUPS 215162 WITH SCORE 215526.368
AT ITER 343 NEW BEST:: SOT 553222 SOS 364366 HAS SOPS 364366 HAS SOUS 215160 HAS SOUPS 215160 WITH SCORE 215524.366
AT ITER 353 NEW BEST:: SOT 552519 SOS 363663 HAS SOPS 363663 HAS SOUS 214457 HAS SOUPS 214457 WITH SCORE 214820.663
AT ITER 355 NEW BEST:: SOT 552555 SOS 363019 HAS SOPS 363019 HAS SOUS 214449 HAS SOUPS 214449 WITH SCORE 214812.019
AT ITER 359 NEW BEST:: SOT 552447 SOS 362660 HAS SOPS 362660 HAS SOUS 214339 HAS SOUPS 214339 WITH SCORE 214701.66
AT ITER 364 NEW BEST:: SOT 551258 SOS 363633 HAS SOPS 363633 HAS SOUS 213430 HAS SOUPS 213430 WITH SCORE 213793.633
AT ITER 367 NEW BEST:: SOT 551177 SOS 363371 HAS SOPS 363371 HAS SOUS 213326 HAS SOUPS 213326 WITH SCORE 213689.371
AT ITER 369 NEW BEST:: SOT 550898 SOS 361175 HAS SOPS 361175 HAS SOUS 212835 HAS SOUPS 212835 WITH SCORE 213196.175
AT ITER 380 NEW BEST:: SOT 550890 SOS 361167 HAS SOPS 361167 HAS SOUS 212835 HAS SOUPS 212835 WITH SCORE 213196.167
AT ITER 382 NEW BEST:: SOT 550674 SOS 360951 HAS SOPS 360951 HAS SOUS 212619 HAS SOUPS 212619 WITH SCORE 212979.951
AT ITER 384 NEW BEST:: SOT 549413 SOS 359690 HAS SOPS 359690 HAS SOUS 211358 HAS SOUPS 211358 WITH SCORE 211717.69
AT ITER 386 NEW BEST:: SOT 549413 SOS 359682 HAS SOPS 359682 HAS SOUS 211350 HAS SOUPS 211350 WITH SCORE 211709.682
AT ITER 387 NEW BEST:: SOT 549411 SOS 358596 HAS SOPS 358596 HAS SOUS 211165 HAS SOUPS 211165 WITH SCORE 211523.596
AT ITER 395 NEW BEST:: SOT 549379 SOS 358566 HAS SOPS 358566 HAS SOUS 211135 HAS SOUPS 211135 WITH SCORE 211493.566
AT ITER 405 NEW BEST:: SOT 549461 SOS 357886 HAS SOPS 357886 HAS SOUS 211135 HAS SOUPS 211135 WITH SCORE 211492.886
AT ITER 407 NEW BEST:: SOT 549181 SOS 357561 HAS SOPS 357561 HAS SOUS 210578 HAS SOUPS 210578 WITH SCORE 210935.561
AT ITER 414 NEW BEST:: SOT 548967 SOS 357347 HAS SOPS 357347 HAS SOUS 210556 HAS SOUPS 210556 WITH SCORE 210913.347
AT ITER 415 NEW BEST:: SOT 548743 SOS 357114 HAS SOPS 357114 HAS SOUS 210545 HAS SOUPS 210545 WITH SCORE 210902.114
AT ITER 421 NEW BEST:: SOT 548696 SOS 357066 HAS SOPS 357066 HAS SOUS 210497 HAS SOUPS 210497 WITH SCORE 210854.066
AT ITER 423 NEW BEST:: SOT 548654 SOS 356982 HAS SOPS 356982 HAS SOUS 210433 HAS SOUPS 210433 WITH SCORE 210789.982
AT ITER 425 NEW BEST:: SOT 548637 SOS 356623 HAS SOPS 356623 HAS SOUS 210074 HAS SOUPS 210074 WITH SCORE 210430.623
AT ITER 431 NEW BEST:: SOT 548637 SOS 356474 HAS SOPS 356474 HAS SOUS 209994 HAS SOUPS 209994 WITH SCORE 210350.474
AT ITER 435 NEW BEST:: SOT 548316 SOS 355840 HAS SOPS 355840 HAS SOUS 209541 HAS SOUPS 209541 WITH SCORE 209896.84
AT ITER 439 NEW BEST:: SOT 548274 SOS 355799 HAS SOPS 355799 HAS SOUS 209541 HAS SOUPS 209541 WITH SCORE 209896.799
AT ITER 453 NEW BEST:: SOT 548274 SOS 355669 HAS SOPS 355669 HAS SOUS 209523 HAS SOUPS 209523 WITH SCORE 209878.669
AT ITER 456 NEW BEST:: SOT 548221 SOS 355609 HAS SOPS 355609 HAS SOUS 209463 HAS SOUPS 209463 WITH SCORE 209818.609
AT ITER 458 NEW BEST:: SOT 548217 SOS 356033 HAS SOPS 356033 HAS SOUS 209461 HAS SOUPS 209461 WITH SCORE 209817.033
AT ITER 475 NEW BEST:: SOT 539599 SOS 347415 HAS SOPS 347415 HAS SOUS 200823 HAS SOUPS 200823 WITH SCORE 201170.415
AT ITER 489 NEW BEST:: SOT 539599 SOS 347129 HAS SOPS 347129 HAS SOUS 200537 HAS SOUPS 200537 WITH SCORE 200884.129
AT ITER 494 NEW BEST:: SOT 539599 SOS 346734 HAS SOPS 346734 HAS SOUS 200460 HAS SOUPS 200460 WITH SCORE 200806.734
AT ITER 517 NEW BEST:: SOT 539248 SOS 346267 HAS SOPS 346267 HAS SOUS 200044 HAS SOUPS 200044 WITH SCORE 200390.267
AT ITER 520 NEW BEST:: SOT 539039 SOS 343377 HAS SOPS 343377 HAS SOUS 199446 HAS SOUPS 199446 WITH SCORE 199789.377
AT ITER 525 NEW BEST:: SOT 538977 SOS 343238 HAS SOPS 343238 HAS SOUS 199382 HAS SOUPS 199382 WITH SCORE 199725.238
AT ITER 531 NEW BEST:: SOT 538977 SOS 342860 HAS SOPS 342860 HAS SOUS 199115 HAS SOUPS 199115 WITH SCORE 199457.86
AT ITER 535 NEW BEST:: SOT 538871 SOS 342754 HAS SOPS 342754 HAS SOUS 198903 HAS SOUPS 198903 WITH SCORE 199245.754
AT ITER 547 NEW BEST:: SOT 538859 SOS 342730 HAS SOPS 342730 HAS SOUS 198879 HAS SOUPS 198879 WITH SCORE 199221.73
AT ITER 549 NEW BEST:: SOT 538859 SOS 342729 HAS SOPS 342729 HAS SOUS 198878 HAS SOUPS 198878 WITH SCORE 199220.729
AT ITER 554 NEW BEST:: SOT 537811 SOS 342377 HAS SOPS 342377 HAS SOUS 198001 HAS SOUPS 198001 WITH SCORE 198343.377
AT ITER 556 NEW BEST:: SOT 537682 SOS 342248 HAS SOPS 342248 HAS SOUS 197743 HAS SOUPS 197743 WITH SCORE 198085.248
AT ITER 560 NEW BEST:: SOT 537764 SOS 342055 HAS SOPS 342055 HAS SOUS 197743 HAS SOUPS 197743 WITH SCORE 198085.055
AT ITER 568 NEW BEST:: SOT 537784 SOS 341884 HAS SOPS 341884 HAS SOUS 197729 HAS SOUPS 197729 WITH SCORE 198070.884
AT ITER 569 NEW BEST:: SOT 537784 SOS 339404 HAS SOPS 339404 HAS SOUS 197158 HAS SOUPS 197158 WITH SCORE 197497.404
AT ITER 571 NEW BEST:: SOT 537554 SOS 338949 HAS SOPS 338949 HAS SOUS 196742 HAS SOUPS 196742 WITH SCORE 197080.949
AT ITER 577 NEW BEST:: SOT 537185 SOS 337771 HAS SOPS 337771 HAS SOUS 196002 HAS SOUPS 196002 WITH SCORE 196339.771
AT ITER 578 NEW BEST:: SOT 537185 SOS 337767 HAS SOPS 337767 HAS SOUS 195996 HAS SOUPS 195996 WITH SCORE 196333.767
AT ITER 585 NEW BEST:: SOT 537152 SOS 337760 HAS SOPS 337760 HAS SOUS 195989 HAS SOUPS 195989 WITH SCORE 196326.76
AT ITER 596 NEW BEST:: SOT 537107 SOS 337244 HAS SOPS 337244 HAS SOUS 195242 HAS SOUPS 195242 WITH SCORE 195579.244
AT ITER 601 NEW BEST:: SOT 536981 SOS 337114 HAS SOPS 337114 HAS SOUS 195240 HAS SOUPS 195240 WITH SCORE 195577.114
AT ITER 606 NEW BEST:: SOT 536897 SOS 336668 HAS SOPS 336668 HAS SOUS 194958 HAS SOUPS 194958 WITH SCORE 195294.668
AT ITER 607 NEW BEST:: SOT 536603 SOS 335976 HAS SOPS 335976 HAS SOUS 194119 HAS SOUPS 194119 WITH SCORE 194454.976
AT ITER 609 NEW BEST:: SOT 534471 SOS 333844 HAS SOPS 333844 HAS SOUS 191987 HAS SOUPS 191987 WITH SCORE 192320.844
AT ITER 621 NEW BEST:: SOT 533835 SOS 333207 HAS SOPS 333207 HAS SOUS 191350 HAS SOUPS 191350 WITH SCORE 191683.207
AT ITER 626 NEW BEST:: SOT 533501 SOS 332086 HAS SOPS 332086 HAS SOUS 190460 HAS SOUPS 190460 WITH SCORE 190792.086
AT ITER 629 NEW BEST:: SOT 533280 SOS 331072 HAS SOPS 331072 HAS SOUS 189354 HAS SOUPS 189354 WITH SCORE 189685.072
AT ITER 639 NEW BEST:: SOT 533143 SOS 330638 HAS SOPS 330638 HAS SOUS 189080 HAS SOUPS 189080 WITH SCORE 189410.638
AT ITER 641 NEW BEST:: SOT 532938 SOS 330428 HAS SOPS 330428 HAS SOUS 189071 HAS SOUPS 189071 WITH SCORE 189401.428
AT ITER 642 NEW BEST:: SOT 532938 SOS 330420 HAS SOPS 330420 HAS SOUS 189071 HAS SOUPS 189071 WITH SCORE 189401.42
AT ITER 649 NEW BEST:: SOT 528589 SOS 328980 HAS SOPS 328980 HAS SOUS 184339 HAS SOUPS 184339 WITH SCORE 184667.98
AT ITER 651 NEW BEST:: SOT 528510 SOS 327990 HAS SOPS 327990 HAS SOUS 184231 HAS SOUPS 184231 WITH SCORE 184558.99
AT ITER 655 NEW BEST:: SOT 528474 SOS 327670 HAS SOPS 327670 HAS SOUS 184001 HAS SOUPS 184001 WITH SCORE 184328.67
AT ITER 656 NEW BEST:: SOT 527176 SOS 326802 HAS SOPS 326802 HAS SOUS 182735 HAS SOUPS 182735 WITH SCORE 183061.802
AT ITER 662 NEW BEST:: SOT 527176 SOS 326778 HAS SOPS 326778 HAS SOUS 182699 HAS SOUPS 182699 WITH SCORE 183025.778
AT ITER 686 NEW BEST:: SOT 527142 SOS 326744 HAS SOPS 326744 HAS SOUS 182665 HAS SOUPS 182665 WITH SCORE 182991.744
AT ITER 687 NEW BEST:: SOT 526811 SOS 326413 HAS SOPS 326413 HAS SOUS 182333 HAS SOUPS 182333 WITH SCORE 182659.413
AT ITER 693 NEW BEST:: SOT 526728 SOS 326092 HAS SOPS 326092 HAS SOUS 182166 HAS SOUPS 182166 WITH SCORE 182492.092
AT ITER 706 NEW BEST:: SOT 526547 SOS 325911 HAS SOPS 325911 HAS SOUS 182165 HAS SOUPS 182165 WITH SCORE 182490.911
AT ITER 712 NEW BEST:: SOT 526497 SOS 325861 HAS SOPS 325861 HAS SOUS 182089 HAS SOUPS 182089 WITH SCORE 182414.861
AT ITER 714 NEW BEST:: SOT 526497 SOS 325861 HAS SOPS 325861 HAS SOUS 182088 HAS SOUPS 182088 WITH SCORE 182413.861
AT ITER 715 NEW BEST:: SOT 526487 SOS 325851 HAS SOPS 325851 HAS SOUS 182077 HAS SOUPS 182077 WITH SCORE 182402.851
AT ITER 716 NEW BEST:: SOT 526256 SOS 325620 HAS SOPS 325620 HAS SOUS 181846 HAS SOUPS 181846 WITH SCORE 182171.62
AT ITER 743 NEW BEST:: SOT 526248 SOS 325612 HAS SOPS 325612 HAS SOUS 181838 HAS SOUPS 181838 WITH SCORE 182163.612
AT ITER 745 NEW BEST:: SOT 526136 SOS 325500 HAS SOPS 325500 HAS SOUS 181726 HAS SOUPS 181726 WITH SCORE 182051.5
AT ITER 748 NEW BEST:: SOT 525880 SOS 325243 HAS SOPS 325243 HAS SOUS 181469 HAS SOUPS 181469 WITH SCORE 181794.243
AT ITER 754 NEW BEST:: SOT 525880 SOS 325243 HAS SOPS 325243 HAS SOUS 181468 HAS SOUPS 181468 WITH SCORE 181793.243
AT ITER 755 NEW BEST:: SOT 525825 SOS 325124 HAS SOPS 325124 HAS SOUS 181349 HAS SOUPS 181349 WITH SCORE 181674.124
AT ITER 764 NEW BEST:: SOT 525825 SOS 324991 HAS SOPS 324991 HAS SOUS 181338 HAS SOUPS 181338 WITH SCORE 181662.991
AT ITER 766 NEW BEST:: SOT 525825 SOS 324911 HAS SOPS 324911 HAS SOUS 181329 HAS SOUPS 181329 WITH SCORE 181653.911
AT ITER 768 NEW BEST:: SOT 526114 SOS 324401 HAS SOPS 324401 HAS SOUS 180923 HAS SOUPS 180923 WITH SCORE 181247.401
AT ITER 780 NEW BEST:: SOT 525534 SOS 323014 HAS SOPS 323014 HAS SOUS 179539 HAS SOUPS 179539 WITH SCORE 179862.014
AT ITER 814 NEW BEST:: SOT 525452 SOS 322678 HAS SOPS 322678 HAS SOUS 179102 HAS SOUPS 179102 WITH SCORE 179424.678
AT ITER 823 NEW BEST:: SOT 525375 SOS 321990 HAS SOPS 321990 HAS SOUS 178415 HAS SOUPS 178415 WITH SCORE 178736.99
AT ITER 824 NEW BEST:: SOT 525021 SOS 321224 HAS SOPS 321224 HAS SOUS 177906 HAS SOUPS 177906 WITH SCORE 178227.224
AT ITER 826 NEW BEST:: SOT 525059 SOS 321258 HAS SOPS 321258 HAS SOUS 177904 HAS SOUPS 177904 WITH SCORE 178225.258
AT ITER 833 NEW BEST:: SOT 525059 SOS 321026 HAS SOPS 321026 HAS SOUS 177795 HAS SOUPS 177795 WITH SCORE 178116.026
AT ITER 840 NEW BEST:: SOT 525056 SOS 321023 HAS SOPS 321023 HAS SOUS 177792 HAS SOUPS 177792 WITH SCORE 178113.023
AT ITER 843 NEW BEST:: SOT 524951 SOS 320917 HAS SOPS 320917 HAS SOUS 177686 HAS SOUPS 177686 WITH SCORE 178006.917
AT ITER 857 NEW BEST:: SOT 524892 SOS 320799 HAS SOPS 320799 HAS SOUS 177568 HAS SOUPS 177568 WITH SCORE 177888.799
AT ITER 868 NEW BEST:: SOT 524860 SOS 320767 HAS SOPS 320767 HAS SOUS 177548 HAS SOUPS 177548 WITH SCORE 177868.767
AT ITER 874 NEW BEST:: SOT 524860 SOS 320767 HAS SOPS 320767 HAS SOUS 177522 HAS SOUPS 177522 WITH SCORE 177842.767
AT ITER 875 NEW BEST:: SOT 524527 SOS 320434 HAS SOPS 320434 HAS SOUS 177189 HAS SOUPS 177189 WITH SCORE 177509.434
AT ITER 877 NEW BEST:: SOT 524527 SOS 320428 HAS SOPS 320428 HAS SOUS 177183 HAS SOUPS 177183 WITH SCORE 177503.428
AT ITER 880 NEW BEST:: SOT 524185 SOS 320086 HAS SOPS 320086 HAS SOUS 176841 HAS SOUPS 176841 WITH SCORE 177161.086
AT ITER 884 NEW BEST:: SOT 524036 SOS 319788 HAS SOPS 319788 HAS SOUS 176543 HAS SOUPS 176543 WITH SCORE 176862.788
AT ITER 886 NEW BEST:: SOT 523960 SOS 319703 HAS SOPS 319703 HAS SOUS 176458 HAS SOUPS 176458 WITH SCORE 176777.703
AT ITER 910 NEW BEST:: SOT 524016 SOS 319397 HAS SOPS 319397 HAS SOUS 175971 HAS SOUPS 175971 WITH SCORE 176290.397
AT ITER 919 NEW BEST:: SOT 523757 SOS 319184 HAS SOPS 319184 HAS SOUS 175803 HAS SOUPS 175803 WITH SCORE 176122.184
AT ITER 933 NEW BEST:: SOT 523661 SOS 315974 HAS SOPS 315974 HAS SOUS 175361 HAS SOUPS 175361 WITH SCORE 175676.974
AT ITER 939 NEW BEST:: SOT 523594 SOS 315840 HAS SOPS 315840 HAS SOUS 175300 HAS SOUPS 175300 WITH SCORE 175615.84
AT ITER 955 NEW BEST:: SOT 523381 SOS 314939 HAS SOPS 314939 HAS SOUS 174667 HAS SOUPS 174667 WITH SCORE 174981.939
AT ITER 959 NEW BEST:: SOT 523281 SOS 314839 HAS SOPS 314839 HAS SOUS 174567 HAS SOUPS 174567 WITH SCORE 174881.839
AT ITER 968 NEW BEST:: SOT 523273 SOS 314813 HAS SOPS 314813 HAS SOUS 174551 HAS SOUPS 174551 WITH SCORE 174865.813
AT ITER 971 NEW BEST:: SOT 523262 SOS 314802 HAS SOPS 314802 HAS SOUS 174539 HAS SOUPS 174539 WITH SCORE 174853.802
AT ITER 973 NEW BEST:: SOT 523262 SOS 314760 HAS SOPS 314760 HAS SOUS 174539 HAS SOUPS 174539 WITH SCORE 174853.76
AT ITER 975 NEW BEST:: SOT 523262 SOS 314852 HAS SOPS 314852 HAS SOUS 174538 HAS SOUPS 174538 WITH SCORE 174852.852
AT ITER 979 NEW BEST:: SOT 523251 SOS 314837 HAS SOPS 314837 HAS SOUS 174523 HAS SOUPS 174523 WITH SCORE 174837.837
AT ITER 981 NEW BEST:: SOT 523259 SOS 314833 HAS SOPS 314833 HAS SOUS 174519 HAS SOUPS 174519 WITH SCORE 174833.833
AT ITER 985 NEW BEST:: SOT 523201 SOS 314717 HAS SOPS 314717 HAS SOUS 174403 HAS SOUPS 174403 WITH SCORE 174717.717
AT ITER 986 NEW BEST:: SOT 522953 SOS 314018 HAS SOPS 314018 HAS SOUS 173829 HAS SOUPS 173829 WITH SCORE 174143.018
AT ITER 993 NEW BEST:: SOT 522903 SOS 313968 HAS SOPS 313968 HAS SOUS 173779 HAS SOUPS 173779 WITH SCORE 174092.968
AT ITER 996 NEW BEST:: SOT 522745 SOS 314292 HAS SOPS 314292 HAS SOUS 173629 HAS SOUPS 173629 WITH SCORE 173943.292
AT ITER 1014 NEW BEST:: SOT 522415 SOS 313797 HAS SOPS 313797 HAS SOUS 173464 HAS SOUPS 173464 WITH SCORE 173777.797
AT ITER 1032 NEW BEST:: SOT 521767 SOS 313149 HAS SOPS 313149 HAS SOUS 172816 HAS SOUPS 172816 WITH SCORE 173129.149
AT ITER 1034 NEW BEST:: SOT 521610 SOS 311888 HAS SOPS 311888 HAS SOUS 172635 HAS SOUPS 172635 WITH SCORE 172946.888
AT ITER 1042 NEW BEST:: SOT 521666 SOS 311873 HAS SOPS 311873 HAS SOUS 172619 HAS SOUPS 172619 WITH SCORE 172930.873
AT ITER 1043 NEW BEST:: SOT 521421 SOS 311715 HAS SOPS 311715 HAS SOUS 172461 HAS SOUPS 172461 WITH SCORE 172772.715
AT ITER 1051 NEW BEST:: SOT 521608 SOS 311305 HAS SOPS 311305 HAS SOUS 172321 HAS SOUPS 172321 WITH SCORE 172632.305
AT ITER 1080 NEW BEST:: SOT 521608 SOS 311297 HAS SOPS 311297 HAS SOUS 172320 HAS SOUPS 172320 WITH SCORE 172631.297
AT ITER 1088 NEW BEST:: SOT 521653 SOS 310895 HAS SOPS 310895 HAS SOUS 171973 HAS SOUPS 171973 WITH SCORE 172283.895
AT ITER 1104 NEW BEST:: SOT 521123 SOS 311258 HAS SOPS 311258 HAS SOUS 171814 HAS SOUPS 171814 WITH SCORE 172125.258
AT ITER 1121 NEW BEST:: SOT 521105 SOS 311240 HAS SOPS 311240 HAS SOUS 171796 HAS SOUPS 171796 WITH SCORE 172107.24
AT ITER 1129 NEW BEST:: SOT 521105 SOS 310970 HAS SOPS 310970 HAS SOUS 171661 HAS SOUPS 171661 WITH SCORE 171971.97
AT ITER 1134 NEW BEST:: SOT 521092 SOS 310882 HAS SOPS 310882 HAS SOUS 171573 HAS SOUPS 171573 WITH SCORE 171883.882
AT ITER 1138 NEW BEST:: SOT 519947 SOS 318840 HAS SOPS 318840 HAS SOUS 170254 HAS SOUPS 170254 WITH SCORE 170572.84
AT ITER 1143 NEW BEST:: SOT 519947 SOS 318831 HAS SOPS 318831 HAS SOUS 170254 HAS SOUPS 170254 WITH SCORE 170572.831
AT ITER 1145 NEW BEST:: SOT 519608 SOS 318492 HAS SOPS 318492 HAS SOUS 170168 HAS SOUPS 170168 WITH SCORE 170486.492
AT ITER 1149 NEW BEST:: SOT 519581 SOS 318432 HAS SOPS 318432 HAS SOUS 170161 HAS SOUPS 170161 WITH SCORE 170479.432
AT ITER 1150 NEW BEST:: SOT 519581 SOS 317950 HAS SOPS 317950 HAS SOUS 169977 HAS SOUPS 169977 WITH SCORE 170294.95
AT ITER 1151 NEW BEST:: SOT 519580 SOS 317949 HAS SOPS 317949 HAS SOUS 169974 HAS SOUPS 169974 WITH SCORE 170291.949
AT ITER 1156 NEW BEST:: SOT 519573 SOS 317942 HAS SOPS 317942 HAS SOUS 169974 HAS SOUPS 169974 WITH SCORE 170291.942
AT ITER 1163 NEW BEST:: SOT 519598 SOS 317967 HAS SOPS 317967 HAS SOUS 169803 HAS SOUPS 169803 WITH SCORE 170120.967
AT ITER 1167 NEW BEST:: SOT 519594 SOS 317963 HAS SOPS 317963 HAS SOUS 169799 HAS SOUPS 169799 WITH SCORE 170116.963
AT ITER 1179 NEW BEST:: SOT 519587 SOS 317942 HAS SOPS 317942 HAS SOUS 169792 HAS SOUPS 169792 WITH SCORE 170109.942
AT ITER 1198 NEW BEST:: SOT 519446 SOS 317900 HAS SOPS 317900 HAS SOUS 169651 HAS SOUPS 169651 WITH SCORE 169968.9
AT ITER 1205 NEW BEST:: SOT 519505 SOS 317836 HAS SOPS 317836 HAS SOUS 169646 HAS SOUPS 169646 WITH SCORE 169963.836
AT ITER 1209 NEW BEST:: SOT 519500 SOS 317702 HAS SOPS 317702 HAS SOUS 169512 HAS SOUPS 169512 WITH SCORE 169829.702
AT ITER 1214 NEW BEST:: SOT 519500 SOS 317855 HAS SOPS 317855 HAS SOUS 169287 HAS SOUPS 169287 WITH SCORE 169604.855
AT ITER 1217 NEW BEST:: SOT 518946 SOS 317301 HAS SOPS 317301 HAS SOUS 168732 HAS SOUPS 168732 WITH SCORE 169049.301
AT ITER 1220 NEW BEST:: SOT 516800 SOS 316934 HAS SOPS 316934 HAS SOUS 166451 HAS SOUPS 166451 WITH SCORE 166767.934
AT ITER 1224 NEW BEST:: SOT 516663 SOS 316797 HAS SOPS 316797 HAS SOUS 166314 HAS SOUPS 166314 WITH SCORE 166630.797
AT ITER 1225 NEW BEST:: SOT 513282 SOS 313416 HAS SOPS 313416 HAS SOUS 162933 HAS SOUPS 162933 WITH SCORE 163246.416
AT ITER 1234 NEW BEST:: SOT 513258 SOS 313392 HAS SOPS 313392 HAS SOUS 162909 HAS SOUPS 162909 WITH SCORE 163222.392
AT ITER 1235 NEW BEST:: SOT 513274 SOS 313338 HAS SOPS 313338 HAS SOUS 162889 HAS SOUPS 162889 WITH SCORE 163202.338
AT ITER 1255 NEW BEST:: SOT 513274 SOS 311540 HAS SOPS 311540 HAS SOUS 162729 HAS SOUPS 162729 WITH SCORE 163040.54
AT ITER 1256 NEW BEST:: SOT 511446 SOS 310079 HAS SOPS 310079 HAS SOUS 161211 HAS SOUPS 161211 WITH SCORE 161521.079
AT ITER 1258 NEW BEST:: SOT 511537 SOS 309969 HAS SOPS 309969 HAS SOUS 161203 HAS SOUPS 161203 WITH SCORE 161512.969
AT ITER 1274 NEW BEST:: SOT 511501 SOS 310283 HAS SOPS 310283 HAS SOUS 161152 HAS SOUPS 161152 WITH SCORE 161462.283
AT ITER 1283 NEW BEST:: SOT 511501 SOS 310262 HAS SOPS 310262 HAS SOUS 161152 HAS SOUPS 161152 WITH SCORE 161462.262
AT ITER 1291 NEW BEST:: SOT 511464 SOS 310334 HAS SOPS 310334 HAS SOUS 161115 HAS SOUPS 161115 WITH SCORE 161425.334
AT ITER 1298 NEW BEST:: SOT 511464 SOS 310249 HAS SOPS 310249 HAS SOUS 161114 HAS SOUPS 161114 WITH SCORE 161424.249
AT ITER 1306 NEW BEST:: SOT 511419 SOS 310120 HAS SOPS 310120 HAS SOUS 160979 HAS SOUPS 160979 WITH SCORE 161289.12
AT ITER 1310 NEW BEST:: SOT 511419 SOS 309945 HAS SOPS 309945 HAS SOUS 160944 HAS SOUPS 160944 WITH SCORE 161253.945
AT ITER 1331 NEW BEST:: SOT 511098 SOS 309623 HAS SOPS 309623 HAS SOUS 160701 HAS SOUPS 160701 WITH SCORE 161010.623
AT ITER 1335 NEW BEST:: SOT 511098 SOS 309495 HAS SOPS 309495 HAS SOUS 160573 HAS SOUPS 160573 WITH SCORE 160882.495
AT ITER 1340 NEW BEST:: SOT 511098 SOS 308741 HAS SOPS 308741 HAS SOUS 160565 HAS SOUPS 160565 WITH SCORE 160873.741
AT ITER 1349 NEW BEST:: SOT 508032 SOS 307210 HAS SOPS 307210 HAS SOUS 157024 HAS SOUPS 157024 WITH SCORE 157331.21
AT ITER 1350 NEW BEST:: SOT 508199 SOS 307325 HAS SOPS 307325 HAS SOUS 156998 HAS SOUPS 156998 WITH SCORE 157305.325
AT ITER 1355 NEW BEST:: SOT 508199 SOS 307319 HAS SOPS 307319 HAS SOUS 156992 HAS SOUPS 156992 WITH SCORE 157299.319
AT ITER 1370 NEW BEST:: SOT 508196 SOS 307316 HAS SOPS 307316 HAS SOUS 156989 HAS SOUPS 156989 WITH SCORE 157296.316
AT ITER 1371 NEW BEST:: SOT 508326 SOS 307276 HAS SOPS 307276 HAS SOUS 156949 HAS SOUPS 156949 WITH SCORE 157256.276
AT ITER 1372 NEW BEST:: SOT 507910 SOS 306860 HAS SOPS 306860 HAS SOUS 156531 HAS SOUPS 156531 WITH SCORE 156837.86
AT ITER 1387 NEW BEST:: SOT 507739 SOS 308297 HAS SOPS 308297 HAS SOUS 156469 HAS SOUPS 156469 WITH SCORE 156777.297
AT ITER 1390 NEW BEST:: SOT 507769 SOS 307941 HAS SOPS 307941 HAS SOUS 156377 HAS SOUPS 156377 WITH SCORE 156684.941
AT ITER 1391 NEW BEST:: SOT 506709 SOS 306562 HAS SOPS 306562 HAS SOUS 154998 HAS SOUPS 154998 WITH SCORE 155304.562
AT ITER 1392 NEW BEST:: SOT 506613 SOS 306657 HAS SOPS 306657 HAS SOUS 154902 HAS SOUPS 154902 WITH SCORE 155208.657
AT ITER 1403 NEW BEST:: SOT 506589 SOS 306584 HAS SOPS 306584 HAS SOUS 154852 HAS SOUPS 154852 WITH SCORE 155158.584
AT ITER 1415 NEW BEST:: SOT 506492 SOS 306251 HAS SOPS 306251 HAS SOUS 154484 HAS SOUPS 154484 WITH SCORE 154790.251
AT ITER 1452 NEW BEST:: SOT 506421 SOS 306145 HAS SOPS 306145 HAS SOUS 154378 HAS SOUPS 154378 WITH SCORE 154684.145
AT ITER 1466 NEW BEST:: SOT 506414 SOS 306132 HAS SOPS 306132 HAS SOUS 154364 HAS SOUPS 154364 WITH SCORE 154670.132
AT ITER 1468 NEW BEST:: SOT 506413 SOS 306131 HAS SOPS 306131 HAS SOUS 154363 HAS SOUPS 154363 WITH SCORE 154669.131
AT ITER 1473 NEW BEST:: SOT 506245 SOS 305711 HAS SOPS 305711 HAS SOUS 154027 HAS SOUPS 154027 WITH SCORE 154332.711
AT ITER 1475 NEW BEST:: SOT 506232 SOS 305698 HAS SOPS 305698 HAS SOUS 154014 HAS SOUPS 154014 WITH SCORE 154319.698
AT ITER 1477 NEW BEST:: SOT 506211 SOS 305677 HAS SOPS 305677 HAS SOUS 153837 HAS SOUPS 153837 WITH SCORE 154142.677
AT ITER 1479 NEW BEST:: SOT 505955 SOS 305703 HAS SOPS 305703 HAS SOUS 153576 HAS SOUPS 153576 WITH SCORE 153881.703
AT ITER 1486 NEW BEST:: SOT 505297 SOS 305078 HAS SOPS 305078 HAS SOUS 152951 HAS SOUPS 152951 WITH SCORE 153256.078
AT ITER 1489 NEW BEST:: SOT 505144 SOS 299559 HAS SOPS 299559 HAS SOUS 152379 HAS SOUPS 152379 WITH SCORE 152678.559
AT ITER 1492 NEW BEST:: SOT 505103 SOS 299518 HAS SOPS 299518 HAS SOUS 152338 HAS SOUPS 152338 WITH SCORE 152637.518
AT ITER 1508 NEW BEST:: SOT 505027 SOS 298920 HAS SOPS 298920 HAS SOUS 152196 HAS SOUPS 152196 WITH SCORE 152494.92
AT ITER 1536 NEW BEST:: SOT 505123 SOS 299282 HAS SOPS 299282 HAS SOUS 152115 HAS SOUPS 152115 WITH SCORE 152414.282
AT ITER 1539 NEW BEST:: SOT 504992 SOS 299268 HAS SOPS 299268 HAS SOUS 152101 HAS SOUPS 152101 WITH SCORE 152400.268
AT ITER 1547 NEW BEST:: SOT 504893 SOS 298720 HAS SOPS 298720 HAS SOUS 151627 HAS SOUPS 151627 WITH SCORE 151925.72
AT ITER 1551 NEW BEST:: SOT 504971 SOS 297808 HAS SOPS 297808 HAS SOUS 151354 HAS SOUPS 151354 WITH SCORE 151651.808
AT ITER 1553 NEW BEST:: SOT 504969 SOS 297806 HAS SOPS 297806 HAS SOUS 151342 HAS SOUPS 151342 WITH SCORE 151639.806
AT ITER 1562 NEW BEST:: SOT 504750 SOS 297364 HAS SOPS 297364 HAS SOUS 150900 HAS SOUPS 150900 WITH SCORE 151197.364
AT ITER 1569 NEW BEST:: SOT 504269 SOS 297469 HAS SOPS 297469 HAS SOUS 150506 HAS SOUPS 150506 WITH SCORE 150803.469
AT ITER 1581 NEW BEST:: SOT 504242 SOS 297442 HAS SOPS 297442 HAS SOUS 150476 HAS SOUPS 150476 WITH SCORE 150773.442
AT ITER 1585 NEW BEST:: SOT 504109 SOS 297309 HAS SOPS 297309 HAS SOUS 150282 HAS SOUPS 150282 WITH SCORE 150579.309
AT ITER 1599 NEW BEST:: SOT 502748 SOS 295819 HAS SOPS 295819 HAS SOUS 148792 HAS SOUPS 148792 WITH SCORE 149087.819
AT ITER 1607 NEW BEST:: SOT 502702 SOS 295632 HAS SOPS 295632 HAS SOUS 148700 HAS SOUPS 148700 WITH SCORE 148995.632
AT ITER 1611 NEW BEST:: SOT 502627 SOS 295632 HAS SOPS 295632 HAS SOUS 148550 HAS SOUPS 148550 WITH SCORE 148845.632
AT ITER 1619 NEW BEST:: SOT 502597 SOS 295594 HAS SOPS 295594 HAS SOUS 148512 HAS SOUPS 148512 WITH SCORE 148807.594
AT ITER 1623 NEW BEST:: SOT 501368 SOS 295836 HAS SOPS 295836 HAS SOUS 147319 HAS SOUPS 147319 WITH SCORE 147614.836
AT ITER 1632 NEW BEST:: SOT 501335 SOS 295816 HAS SOPS 295816 HAS SOUS 147299 HAS SOUPS 147299 WITH SCORE 147594.816
AT ITER 1634 NEW BEST:: SOT 501267 SOS 295680 HAS SOPS 295680 HAS SOUS 147284 HAS SOUPS 147284 WITH SCORE 147579.68
AT ITER 1642 NEW BEST:: SOT 501493 SOS 295653 HAS SOPS 295653 HAS SOUS 146931 HAS SOUPS 146931 WITH SCORE 147226.653
AT ITER 1674 NEW BEST:: SOT 501449 SOS 295576 HAS SOPS 295576 HAS SOUS 146854 HAS SOUPS 146854 WITH SCORE 147149.576
AT ITER 1680 NEW BEST:: SOT 501440 SOS 295567 HAS SOPS 295567 HAS SOUS 146845 HAS SOUPS 146845 WITH SCORE 147140.567
AT ITER 1690 NEW BEST:: SOT 501277 SOS 295311 HAS SOPS 295311 HAS SOUS 146622 HAS SOUPS 146622 WITH SCORE 146917.311
AT ITER 1704 NEW BEST:: SOT 501260 SOS 295294 HAS SOPS 295294 HAS SOUS 146535 HAS SOUPS 146535 WITH SCORE 146830.294
AT ITER 1713 NEW BEST:: SOT 501260 SOS 295278 HAS SOPS 295278 HAS SOUS 146519 HAS SOUPS 146519 WITH SCORE 146814.278
AT ITER 1714 NEW BEST:: SOT 501252 SOS 295246 HAS SOPS 295246 HAS SOUS 146495 HAS SOUPS 146495 WITH SCORE 146790.246
AT ITER 1726 NEW BEST:: SOT 501251 SOS 295319 HAS SOPS 295319 HAS SOUS 146370 HAS SOUPS 146370 WITH SCORE 146665.319
AT ITER 1728 NEW BEST:: SOT 501137 SOS 295174 HAS SOPS 295174 HAS SOUS 145976 HAS SOUPS 145976 WITH SCORE 146271.174
AT ITER 1733 NEW BEST:: SOT 501100 SOS 295137 HAS SOPS 295137 HAS SOUS 145939 HAS SOUPS 145939 WITH SCORE 146234.137
AT ITER 1738 NEW BEST:: SOT 501015 SOS 295052 HAS SOPS 295052 HAS SOUS 145804 HAS SOUPS 145804 WITH SCORE 146099.052
AT ITER 1742 NEW BEST:: SOT 501012 SOS 295049 HAS SOPS 295049 HAS SOUS 145801 HAS SOUPS 145801 WITH SCORE 146096.049
AT ITER 1749 NEW BEST:: SOT 501007 SOS 294884 HAS SOPS 294884 HAS SOUS 145798 HAS SOUPS 145798 WITH SCORE 146092.884
AT ITER 1756 NEW BEST:: SOT 501199 SOS 294710 HAS SOPS 294710 HAS SOUS 145624 HAS SOUPS 145624 WITH SCORE 145918.71
AT ITER 1765 NEW BEST:: SOT 500582 SOS 294385 HAS SOPS 294385 HAS SOUS 145496 HAS SOUPS 145496 WITH SCORE 145790.385
AT ITER 1774 NEW BEST:: SOT 500582 SOS 294087 HAS SOPS 294087 HAS SOUS 145485 HAS SOUPS 145485 WITH SCORE 145779.087
AT ITER 1789 NEW BEST:: SOT 500541 SOS 294044 HAS SOPS 294044 HAS SOUS 145442 HAS SOUPS 145442 WITH SCORE 145736.044
AT ITER 1796 NEW BEST:: SOT 500541 SOS 294044 HAS SOPS 294044 HAS SOUS 145415 HAS SOUPS 145415 WITH SCORE 145709.044
AT ITER 1838 NEW BEST:: SOT 500470 SOS 293973 HAS SOPS 293973 HAS SOUS 145344 HAS SOUPS 145344 WITH SCORE 145637.973
AT ITER 1851 NEW BEST:: SOT 500470 SOS 294974 HAS SOPS 294974 HAS SOUS 145338 HAS SOUPS 145338 WITH SCORE 145632.974
AT ITER 1852 NEW BEST:: SOT 500272 SOS 294776 HAS SOPS 294776 HAS SOUS 145041 HAS SOUPS 145041 WITH SCORE 145335.776
AT ITER 1856 NEW BEST:: SOT 500188 SOS 294496 HAS SOPS 294496 HAS SOUS 144929 HAS SOUPS 144929 WITH SCORE 145223.496
AT ITER 1867 NEW BEST:: SOT 500164 SOS 294472 HAS SOPS 294472 HAS SOUS 144929 HAS SOUPS 144929 WITH SCORE 145223.472
AT ITER 1868 NEW BEST:: SOT 500164 SOS 294196 HAS SOPS 294196 HAS SOUS 144688 HAS SOUPS 144688 WITH SCORE 144982.196
AT ITER 1893 NEW BEST:: SOT 500078 SOS 294110 HAS SOPS 294110 HAS SOUS 144600 HAS SOUPS 144600 WITH SCORE 144894.11
AT ITER 1894 NEW BEST:: SOT 499969 SOS 293928 HAS SOPS 293928 HAS SOUS 144418 HAS SOUPS 144418 WITH SCORE 144711.928
AT ITER 1907 NEW BEST:: SOT 499932 SOS 293450 HAS SOPS 293450 HAS SOUS 144279 HAS SOUPS 144279 WITH SCORE 144572.45
AT ITER 1908 NEW BEST:: SOT 499926 SOS 293444 HAS SOPS 293444 HAS SOUS 144273 HAS SOUPS 144273 WITH SCORE 144566.444
AT ITER 1919 NEW BEST:: SOT 499926 SOS 293517 HAS SOPS 293517 HAS SOUS 144244 HAS SOUPS 144244 WITH SCORE 144537.517
AT ITER 1923 NEW BEST:: SOT 500019 SOS 293610 HAS SOPS 293610 HAS SOUS 144236 HAS SOUPS 144236 WITH SCORE 144529.61
AT ITER 1925 NEW BEST:: SOT 499932 SOS 293523 HAS SOPS 293523 HAS SOUS 144235 HAS SOUPS 144235 WITH SCORE 144528.523
AT ITER 1926 NEW BEST:: SOT 499802 SOS 293725 HAS SOPS 293725 HAS SOUS 143917 HAS SOUPS 143917 WITH SCORE 144210.725
AT ITER 1931 NEW BEST:: SOT 499694 SOS 293617 HAS SOPS 293617 HAS SOUS 143809 HAS SOUPS 143809 WITH SCORE 144102.617
AT ITER 1935 NEW BEST:: SOT 499680 SOS 293603 HAS SOPS 293603 HAS SOUS 143795 HAS SOUPS 143795 WITH SCORE 144088.603
AT ITER 1936 NEW BEST:: SOT 499430 SOS 293232 HAS SOPS 293232 HAS SOUS 143420 HAS SOUPS 143420 WITH SCORE 143713.232
AT ITER 1942 NEW BEST:: SOT 499390 SOS 293235 HAS SOPS 293235 HAS SOUS 143416 HAS SOUPS 143416 WITH SCORE 143709.235
AT ITER 1943 NEW BEST:: SOT 499333 SOS 292198 HAS SOPS 292198 HAS SOUS 143274 HAS SOUPS 143274 WITH SCORE 143566.198
AT ITER 1949 NEW BEST:: SOT 499259 SOS 291775 HAS SOPS 291775 HAS SOUS 143126 HAS SOUPS 143126 WITH SCORE 143417.775
AT ITER 1976 NEW BEST:: SOT 499182 SOS 291690 HAS SOPS 291690 HAS SOUS 143040 HAS SOUPS 143040 WITH SCORE 143331.69
AT ITER 1984 NEW BEST:: SOT 499149 SOS 291624 HAS SOPS 291624 HAS SOUS 142974 HAS SOUPS 142974 WITH SCORE 143265.624
AT ITER 1986 NEW BEST:: SOT 498957 SOS 291434 HAS SOPS 291434 HAS SOUS 142784 HAS SOUPS 142784 WITH SCORE 143075.434
AT ITER 1999 NEW BEST:: SOT 498891 SOS 291368 HAS SOPS 291368 HAS SOUS 142718 HAS SOUPS 142718 WITH SCORE 143009.368
AT ITER 2028 NEW BEST:: SOT 498048 SOS 291458 HAS SOPS 291458 HAS SOUS 142124 HAS SOUPS 142124 WITH SCORE 142415.458
AT ITER 2035 NEW BEST:: SOT 498006 SOS 291374 HAS SOPS 291374 HAS SOUS 142040 HAS SOUPS 142040 WITH SCORE 142331.374
AT ITER 2037 NEW BEST:: SOT 498006 SOS 291365 HAS SOPS 291365 HAS SOUS 142031 HAS SOUPS 142031 WITH SCORE 142322.365
AT ITER 2040 NEW BEST:: SOT 497920 SOS 291279 HAS SOPS 291279 HAS SOUS 141945 HAS SOUPS 141945 WITH SCORE 142236.279
AT ITER 2044 NEW BEST:: SOT 497875 SOS 291144 HAS SOPS 291144 HAS SOUS 141810 HAS SOUPS 141810 WITH SCORE 142101.144
AT ITER 2045 NEW BEST:: SOT 497398 SOS 290478 HAS SOPS 290478 HAS SOUS 141576 HAS SOUPS 141576 WITH SCORE 141866.478
AT ITER 2055 NEW BEST:: SOT 497410 SOS 290460 HAS SOPS 290460 HAS SOUS 141558 HAS SOUPS 141558 WITH SCORE 141848.46
AT ITER 2058 NEW BEST:: SOT 497396 SOS 290446 HAS SOPS 290446 HAS SOUS 141544 HAS SOUPS 141544 WITH SCORE 141834.446
AT ITER 2096 NEW BEST:: SOT 497396 SOS 290355 HAS SOPS 290355 HAS SOUS 141334 HAS SOUPS 141334 WITH SCORE 141624.355
AT ITER 2102 NEW BEST:: SOT 497396 SOS 290353 HAS SOPS 290353 HAS SOUS 141334 HAS SOUPS 141334 WITH SCORE 141624.353
AT ITER 2121 NEW BEST:: SOT 497372 SOS 289974 HAS SOPS 289974 HAS SOUS 141042 HAS SOUPS 141042 WITH SCORE 141331.974
AT ITER 2130 NEW BEST:: SOT 497372 SOS 289862 HAS SOPS 289862 HAS SOUS 140914 HAS SOUPS 140914 WITH SCORE 141203.862
AT ITER 2152 NEW BEST:: SOT 497239 SOS 289729 HAS SOPS 289729 HAS SOUS 140783 HAS SOUPS 140783 WITH SCORE 141072.729
AT ITER 2181 NEW BEST:: SOT 497209 SOS 289699 HAS SOPS 289699 HAS SOUS 140753 HAS SOUPS 140753 WITH SCORE 141042.699
AT ITER 2209 NEW BEST:: SOT 496905 SOS 289382 HAS SOPS 289382 HAS SOUS 140436 HAS SOUPS 140436 WITH SCORE 140725.382
AT ITER 2218 NEW BEST:: SOT 496765 SOS 288742 HAS SOPS 288742 HAS SOUS 140322 HAS SOUPS 140322 WITH SCORE 140610.742
AT ITER 2232 NEW BEST:: SOT 496765 SOS 288742 HAS SOPS 288742 HAS SOUS 140262 HAS SOUPS 140262 WITH SCORE 140550.742
AT ITER 2248 NEW BEST:: SOT 496238 SOS 288215 HAS SOPS 288215 HAS SOUS 140008 HAS SOUPS 140008 WITH SCORE 140296.215
AT ITER 2251 NEW BEST:: SOT 496208 SOS 288185 HAS SOPS 288185 HAS SOUS 139973 HAS SOUPS 139973 WITH SCORE 140261.185
AT ITER 2255 NEW BEST:: SOT 496095 SOS 288072 HAS SOPS 288072 HAS SOUS 139841 HAS SOUPS 139841 WITH SCORE 140129.072
AT ITER 2262 NEW BEST:: SOT 494680 SOS 287662 HAS SOPS 287662 HAS SOUS 138871 HAS SOUPS 138871 WITH SCORE 139158.662
AT ITER 2287 NEW BEST:: SOT 494682 SOS 287834 HAS SOPS 287834 HAS SOUS 138749 HAS SOUPS 138749 WITH SCORE 139036.834
AT ITER 2293 NEW BEST:: SOT 494654 SOS 287806 HAS SOPS 287806 HAS SOUS 138721 HAS SOUPS 138721 WITH SCORE 139008.806
AT ITER 2304 NEW BEST:: SOT 494458 SOS 287610 HAS SOPS 287610 HAS SOUS 138554 HAS SOUPS 138554 WITH SCORE 138841.61
AT ITER 2306 NEW BEST:: SOT 494299 SOS 287292 HAS SOPS 287292 HAS SOUS 138236 HAS SOUPS 138236 WITH SCORE 138523.292
AT ITER 2322 NEW BEST:: SOT 494130 SOS 287469 HAS SOPS 287469 HAS SOUS 138058 HAS SOUPS 138058 WITH SCORE 138345.469
AT ITER 2328 NEW BEST:: SOT 494166 SOS 287367 HAS SOPS 287367 HAS SOUS 137970 HAS SOUPS 137970 WITH SCORE 138257.367
AT ITER 2349 NEW BEST:: SOT 494070 SOS 287271 HAS SOPS 287271 HAS SOUS 137826 HAS SOUPS 137826 WITH SCORE 138113.271
AT ITER 2361 NEW BEST:: SOT 493976 SOS 287339 HAS SOPS 287339 HAS SOUS 137714 HAS SOUPS 137714 WITH SCORE 138001.339
AT ITER 2366 NEW BEST:: SOT 493940 SOS 287303 HAS SOPS 287303 HAS SOUS 137622 HAS SOUPS 137622 WITH SCORE 137909.303
AT ITER 2372 NEW BEST:: SOT 493892 SOS 287209 HAS SOPS 287209 HAS SOUS 137528 HAS SOUPS 137528 WITH SCORE 137815.209
AT ITER 2373 NEW BEST:: SOT 493892 SOS 287236 HAS SOPS 287236 HAS SOUS 137474 HAS SOUPS 137474 WITH SCORE 137761.236
AT ITER 2397 NEW BEST:: SOT 493691 SOS 286869 HAS SOPS 286869 HAS SOUS 137424 HAS SOUPS 137424 WITH SCORE 137710.869
AT ITER 2399 NEW BEST:: SOT 492616 SOS 287620 HAS SOPS 287620 HAS SOUS 136756 HAS SOUPS 136756 WITH SCORE 137043.62
AT ITER 2404 NEW BEST:: SOT 492608 SOS 287604 HAS SOPS 287604 HAS SOUS 136752 HAS SOUPS 136752 WITH SCORE 137039.604
AT ITER 2414 NEW BEST:: SOT 492545 SOS 287395 HAS SOPS 287395 HAS SOUS 136487 HAS SOUPS 136487 WITH SCORE 136774.395
AT ITER 2419 NEW BEST:: SOT 492433 SOS 287071 HAS SOPS 287071 HAS SOUS 136253 HAS SOUPS 136253 WITH SCORE 136540.071
AT ITER 2423 NEW BEST:: SOT 492349 SOS 286987 HAS SOPS 286987 HAS SOUS 136169 HAS SOUPS 136169 WITH SCORE 136455.987
AT ITER 2426 NEW BEST:: SOT 492256 SOS 286894 HAS SOPS 286894 HAS SOUS 135983 HAS SOUPS 135983 WITH SCORE 136269.894
AT ITER 2442 NEW BEST:: SOT 492130 SOS 287246 HAS SOPS 287246 HAS SOUS 135957 HAS SOUPS 135957 WITH SCORE 136244.246
AT ITER 2468 NEW BEST:: SOT 492107 SOS 287223 HAS SOPS 287223 HAS SOUS 135811 HAS SOUPS 135811 WITH SCORE 136098.223
AT ITER 2471 NEW BEST:: SOT 491992 SOS 287108 HAS SOPS 287108 HAS SOUS 135661 HAS SOUPS 135661 WITH SCORE 135948.108
AT ITER 2474 NEW BEST:: SOT 491988 SOS 287015 HAS SOPS 287015 HAS SOUS 135568 HAS SOUPS 135568 WITH SCORE 135855.015
AT ITER 2500 NEW BEST:: SOT 491970 SOS 286988 HAS SOPS 286988 HAS SOUS 135532 HAS SOUPS 135532 WITH SCORE 135818.988
AT ITER 2502 NEW BEST:: SOT 491947 SOS 286846 HAS SOPS 286846 HAS SOUS 135390 HAS SOUPS 135390 WITH SCORE 135676.846
AT ITER 2510 NEW BEST:: SOT 491947 SOS 286498 HAS SOPS 286498 HAS SOUS 135353 HAS SOUPS 135353 WITH SCORE 135639.498
AT ITER 2584 NEW BEST:: SOT 491970 SOS 286493 HAS SOPS 286493 HAS SOUS 135348 HAS SOUPS 135348 WITH SCORE 135634.493
AT ITER 2594 NEW BEST:: SOT 491756 SOS 286279 HAS SOPS 286279 HAS SOUS 135192 HAS SOUPS 135192 WITH SCORE 135478.279
AT ITER 2601 NEW BEST:: SOT 491806 SOS 286135 HAS SOPS 286135 HAS SOUS 135120 HAS SOUPS 135120 WITH SCORE 135406.135
AT ITER 2604 NEW BEST:: SOT 491806 SOS 285943 HAS SOPS 285943 HAS SOUS 134928 HAS SOUPS 134928 WITH SCORE 135213.943
AT ITER 2614 NEW BEST:: SOT 489569 SOS 283654 HAS SOPS 283654 HAS SOUS 132741 HAS SOUPS 132741 WITH SCORE 133024.654
AT ITER 2625 NEW BEST:: SOT 489365 SOS 283332 HAS SOPS 283332 HAS SOUS 132646 HAS SOUPS 132646 WITH SCORE 132929.332
AT ITER 2626 NEW BEST:: SOT 489246 SOS 283181 HAS SOPS 283181 HAS SOUS 132571 HAS SOUPS 132571 WITH SCORE 132854.181
AT ITER 2659 NEW BEST:: SOT 489219 SOS 283154 HAS SOPS 283154 HAS SOUS 132517 HAS SOUPS 132517 WITH SCORE 132800.154
AT ITER 2690 NEW BEST:: SOT 489201 SOS 283136 HAS SOPS 283136 HAS SOUS 132498 HAS SOUPS 132498 WITH SCORE 132781.136
AT ITER 2702 NEW BEST:: SOT 489201 SOS 282340 HAS SOPS 282340 HAS SOUS 132408 HAS SOUPS 132408 WITH SCORE 132690.34
AT ITER 2709 NEW BEST:: SOT 489185 SOS 282324 HAS SOPS 282324 HAS SOUS 132392 HAS SOUPS 132392 WITH SCORE 132674.324
AT ITER 2717 NEW BEST:: SOT 489149 SOS 282288 HAS SOPS 282288 HAS SOUS 132356 HAS SOUPS 132356 WITH SCORE 132638.288
AT ITER 2749 NEW BEST:: SOT 489226 SOS 282148 HAS SOPS 282148 HAS SOUS 132216 HAS SOUPS 132216 WITH SCORE 132498.148
AT ITER 2758 NEW BEST:: SOT 489179 SOS 282089 HAS SOPS 282089 HAS SOUS 132139 HAS SOUPS 132139 WITH SCORE 132421.089
AT ITER 2761 NEW BEST:: SOT 489116 SOS 281962 HAS SOPS 281962 HAS SOUS 132012 HAS SOUPS 132012 WITH SCORE 132293.962
AT ITER 2772 NEW BEST:: SOT 489115 SOS 281894 HAS SOPS 281894 HAS SOUS 132010 HAS SOUPS 132010 WITH SCORE 132291.894
AT ITER 2793 NEW BEST:: SOT 488934 SOS 281698 HAS SOPS 281698 HAS SOUS 131814 HAS SOUPS 131814 WITH SCORE 132095.698
AT ITER 2801 NEW BEST:: SOT 488988 SOS 281858 HAS SOPS 281858 HAS SOUS 131800 HAS SOUPS 131800 WITH SCORE 132081.858
AT ITER 2814 NEW BEST:: SOT 488988 SOS 281608 HAS SOPS 281608 HAS SOUS 131799 HAS SOUPS 131799 WITH SCORE 132080.608
AT ITER 2825 NEW BEST:: SOT 488932 SOS 281534 HAS SOPS 281534 HAS SOUS 131771 HAS SOUPS 131771 WITH SCORE 132052.534
AT ITER 2834 NEW BEST:: SOT 488785 SOS 281407 HAS SOPS 281407 HAS SOUS 131528 HAS SOUPS 131528 WITH SCORE 131809.407
AT ITER 2839 NEW BEST:: SOT 488778 SOS 281393 HAS SOPS 281393 HAS SOUS 131514 HAS SOUPS 131514 WITH SCORE 131795.393
AT ITER 2842 NEW BEST:: SOT 488778 SOS 281393 HAS SOPS 281393 HAS SOUS 131377 HAS SOUPS 131377 WITH SCORE 131658.393
AT ITER 2851 NEW BEST:: SOT 488657 SOS 281303 HAS SOPS 281303 HAS SOUS 131287 HAS SOUPS 131287 WITH SCORE 131568.303
AT ITER 2869 NEW BEST:: SOT 488647 SOS 281295 HAS SOPS 281295 HAS SOUS 131286 HAS SOUPS 131286 WITH SCORE 131567.295
AT ITER 2877 NEW BEST:: SOT 488608 SOS 281198 HAS SOPS 281198 HAS SOUS 131206 HAS SOUPS 131206 WITH SCORE 131487.198
AT ITER 2932 NEW BEST:: SOT 487465 SOS 280055 HAS SOPS 280055 HAS SOUS 130207 HAS SOUPS 130207 WITH SCORE 130487.055
AT ITER 2960 NEW BEST:: SOT 487666 SOS 280094 HAS SOPS 280094 HAS SOUS 130114 HAS SOUPS 130114 WITH SCORE 130394.094
AT ITER 2970 NEW BEST:: SOT 487666 SOS 280094 HAS SOPS 280094 HAS SOUS 130092 HAS SOUPS 130092 WITH SCORE 130372.094
AT ITER 2973 NEW BEST:: SOT 487552 SOS 279943 HAS SOPS 279943 HAS SOUS 129864 HAS SOUPS 129864 WITH SCORE 130143.943
AT ITER 2981 NEW BEST:: SOT 487579 SOS 279574 HAS SOPS 279574 HAS SOUS 129495 HAS SOUPS 129495 WITH SCORE 129774.574
AT ITER 2982 NEW BEST:: SOT 487576 SOS 279571 HAS SOPS 279571 HAS SOUS 129491 HAS SOUPS 129491 WITH SCORE 129770.571
AT ITER 2995 NEW BEST:: SOT 487525 SOS 279520 HAS SOPS 279520 HAS SOUS 129440 HAS SOUPS 129440 WITH SCORE 129719.52
AT ITER 3045 NEW BEST:: SOT 487506 SOS 279512 HAS SOPS 279512 HAS SOUS 129432 HAS SOUPS 129432 WITH SCORE 129711.512
AT ITER 3046 NEW BEST:: SOT 487332 SOS 278881 HAS SOPS 278881 HAS SOUS 128801 HAS SOUPS 128801 WITH SCORE 129079.881
AT ITER 3061 NEW BEST:: SOT 487332 SOS 278845 HAS SOPS 278845 HAS SOUS 128667 HAS SOUPS 128667 WITH SCORE 128945.845
AT ITER 3062 NEW BEST:: SOT 487195 SOS 278708 HAS SOPS 278708 HAS SOUS 128530 HAS SOUPS 128530 WITH SCORE 128808.708
AT ITER 3063 NEW BEST:: SOT 487195 SOS 278674 HAS SOPS 278674 HAS SOUS 128496 HAS SOUPS 128496 WITH SCORE 128774.674
AT ITER 3068 NEW BEST:: SOT 487162 SOS 278641 HAS SOPS 278641 HAS SOUS 128463 HAS SOUPS 128463 WITH SCORE 128741.641
AT ITER 3077 NEW BEST:: SOT 487071 SOS 278286 HAS SOPS 278286 HAS SOUS 128021 HAS SOUPS 128021 WITH SCORE 128299.286
AT ITER 3083 NEW BEST:: SOT 487036 SOS 278276 HAS SOPS 278276 HAS SOUS 128018 HAS SOUPS 128018 WITH SCORE 128296.276
AT ITER 3087 NEW BEST:: SOT 487036 SOS 278265 HAS SOPS 278265 HAS SOUS 128007 HAS SOUPS 128007 WITH SCORE 128285.265
AT ITER 3088 NEW BEST:: SOT 486920 SOS 278091 HAS SOPS 278091 HAS SOUS 127833 HAS SOUPS 127833 WITH SCORE 128111.091
AT ITER 3099 NEW BEST:: SOT 486884 SOS 278055 HAS SOPS 278055 HAS SOUS 127797 HAS SOUPS 127797 WITH SCORE 128075.055
AT ITER 3105 NEW BEST:: SOT 486871 SOS 278042 HAS SOPS 278042 HAS SOUS 127788 HAS SOUPS 127788 WITH SCORE 128066.042
AT ITER 3118 NEW BEST:: SOT 486803 SOS 276617 HAS SOPS 276617 HAS SOUS 127700 HAS SOUPS 127700 WITH SCORE 127976.617
AT ITER 3135 NEW BEST:: SOT 486853 SOS 276555 HAS SOPS 276555 HAS SOUS 127628 HAS SOUPS 127628 WITH SCORE 127904.555
AT ITER 3147 NEW BEST:: SOT 486846 SOS 276506 HAS SOPS 276506 HAS SOUS 127579 HAS SOUPS 127579 WITH SCORE 127855.506
AT ITER 3160 NEW BEST:: SOT 486456 SOS 275917 HAS SOPS 275917 HAS SOUS 126990 HAS SOUPS 126990 WITH SCORE 127265.917
AT ITER 3172 NEW BEST:: SOT 480273 SOS 269734 HAS SOPS 269734 HAS SOUS 120807 HAS SOUPS 120807 WITH SCORE 121076.734
AT ITER 3180 NEW BEST:: SOT 480273 SOS 269727 HAS SOPS 269727 HAS SOUS 120800 HAS SOUPS 120800 WITH SCORE 121069.727
AT ITER 3185 NEW BEST:: SOT 480267 SOS 269721 HAS SOPS 269721 HAS SOUS 120794 HAS SOUPS 120794 WITH SCORE 121063.721
AT ITER 3192 NEW BEST:: SOT 479905 SOS 269264 HAS SOPS 269264 HAS SOUS 120337 HAS SOUPS 120337 WITH SCORE 120606.264
AT ITER 3202 NEW BEST:: SOT 479901 SOS 269256 HAS SOPS 269256 HAS SOUS 120331 HAS SOUPS 120331 WITH SCORE 120600.256
AT ITER 3212 NEW BEST:: SOT 479382 SOS 269068 HAS SOPS 269068 HAS SOUS 119915 HAS SOUPS 119915 WITH SCORE 120184.068
AT ITER 3214 NEW BEST:: SOT 479382 SOS 269104 HAS SOPS 269104 HAS SOUS 119909 HAS SOUPS 119909 WITH SCORE 120178.104
AT ITER 3220 NEW BEST:: SOT 479365 SOS 269087 HAS SOPS 269087 HAS SOUS 119875 HAS SOUPS 119875 WITH SCORE 120144.087
AT ITER 3229 NEW BEST:: SOT 479351 SOS 269045 HAS SOPS 269045 HAS SOUS 119833 HAS SOUPS 119833 WITH SCORE 120102.045
AT ITER 3241 NEW BEST:: SOT 479311 SOS 269005 HAS SOPS 269005 HAS SOUS 119788 HAS SOUPS 119788 WITH SCORE 120057.005
AT ITER 3277 NEW BEST:: SOT 479235 SOS 268808 HAS SOPS 268808 HAS SOUS 119628 HAS SOUPS 119628 WITH SCORE 119896.808
AT ITER 3282 NEW BEST:: SOT 479235 SOS 268676 HAS SOPS 268676 HAS SOUS 119562 HAS SOUPS 119562 WITH SCORE 119830.676
AT ITER 3283 NEW BEST:: SOT 479235 SOS 268599 HAS SOPS 268599 HAS SOUS 119485 HAS SOUPS 119485 WITH SCORE 119753.599
AT ITER 3303 NEW BEST:: SOT 479328 SOS 268369 HAS SOPS 268369 HAS SOUS 119407 HAS SOUPS 119407 WITH SCORE 119675.369
AT ITER 3321 NEW BEST:: SOT 479305 SOS 268335 HAS SOPS 268335 HAS SOUS 119346 HAS SOUPS 119346 WITH SCORE 119614.335
AT ITER 3338 NEW BEST:: SOT 479250 SOS 268475 HAS SOPS 268475 HAS SOUS 119220 HAS SOUPS 119220 WITH SCORE 119488.475
AT ITER 3350 NEW BEST:: SOT 479250 SOS 268446 HAS SOPS 268446 HAS SOUS 119191 HAS SOUPS 119191 WITH SCORE 119459.446
AT ITER 3355 NEW BEST:: SOT 479230 SOS 268426 HAS SOPS 268426 HAS SOUS 119171 HAS SOUPS 119171 WITH SCORE 119439.426
AT ITER 3372 NEW BEST:: SOT 480579 SOS 269709 HAS SOPS 269709 HAS SOUS 119164 HAS SOUPS 119164 WITH SCORE 119433.709
AT ITER 3389 NEW BEST:: SOT 480755 SOS 268938 HAS SOPS 268938 HAS SOUS 119106 HAS SOUPS 119106 WITH SCORE 119374.938
AT ITER 3392 NEW BEST:: SOT 480740 SOS 268923 HAS SOPS 268923 HAS SOUS 119091 HAS SOUPS 119091 WITH SCORE 119359.923
AT ITER 3409 NEW BEST:: SOT 480735 SOS 268512 HAS SOPS 268512 HAS SOUS 119051 HAS SOUPS 119051 WITH SCORE 119319.512
AT ITER 3415 NEW BEST:: SOT 480414 SOS 268191 HAS SOPS 268191 HAS SOUS 118730 HAS SOUPS 118730 WITH SCORE 118998.191
AT ITER 3421 NEW BEST:: SOT 480406 SOS 268143 HAS SOPS 268143 HAS SOUS 118714 HAS SOUPS 118714 WITH SCORE 118982.143
AT ITER 3448 NEW BEST:: SOT 480392 SOS 268143 HAS SOPS 268143 HAS SOUS 118700 HAS SOUPS 118700 WITH SCORE 118968.143
AT ITER 3455 NEW BEST:: SOT 480377 SOS 268128 HAS SOPS 268128 HAS SOUS 118669 HAS SOUPS 118669 WITH SCORE 118937.128
AT ITER 3469 NEW BEST:: SOT 480250 SOS 268001 HAS SOPS 268001 HAS SOUS 118547 HAS SOUPS 118547 WITH SCORE 118815.001
AT ITER 3514 NEW BEST:: SOT 480250 SOS 267949 HAS SOPS 267949 HAS SOUS 118547 HAS SOUPS 118547 WITH SCORE 118814.949
AT ITER 3520 NEW BEST:: SOT 478981 SOS 266499 HAS SOPS 266499 HAS SOUS 116957 HAS SOUPS 116957 WITH SCORE 117223.499
AT ITER 3521 NEW BEST:: SOT 478712 SOS 264420 HAS SOPS 264420 HAS SOUS 116838 HAS SOUPS 116838 WITH SCORE 117102.42
AT ITER 3539 NEW BEST:: SOT 478621 SOS 264212 HAS SOPS 264212 HAS SOUS 116630 HAS SOUPS 116630 WITH SCORE 116894.212
AT ITER 3544 NEW BEST:: SOT 478592 SOS 264154 HAS SOPS 264154 HAS SOUS 116601 HAS SOUPS 116601 WITH SCORE 116865.154
AT ITER 3550 NEW BEST:: SOT 478532 SOS 264190 HAS SOPS 264190 HAS SOUS 116589 HAS SOUPS 116589 WITH SCORE 116853.19
AT ITER 3555 NEW BEST:: SOT 478476 SOS 264134 HAS SOPS 264134 HAS SOUS 116462 HAS SOUPS 116462 WITH SCORE 116726.134
AT ITER 3562 NEW BEST:: SOT 477580 SOS 263126 HAS SOPS 263126 HAS SOUS 115454 HAS SOUPS 115454 WITH SCORE 115717.126
AT ITER 3564 NEW BEST:: SOT 475053 SOS 260599 HAS SOPS 260599 HAS SOUS 112927 HAS SOUPS 112927 WITH SCORE 113187.599
AT ITER 3582 NEW BEST:: SOT 475265 SOS 260811 HAS SOPS 260811 HAS SOUS 112859 HAS SOUPS 112859 WITH SCORE 113119.811
AT ITER 3591 NEW BEST:: SOT 475265 SOS 260811 HAS SOPS 260811 HAS SOUS 112847 HAS SOUPS 112847 WITH SCORE 113107.811
AT ITER 3613 NEW BEST:: SOT 475094 SOS 260675 HAS SOPS 260675 HAS SOUS 112592 HAS SOUPS 112592 WITH SCORE 112852.675
AT ITER 3617 NEW BEST:: SOT 475094 SOS 260507 HAS SOPS 260507 HAS SOUS 112589 HAS SOUPS 112589 WITH SCORE 112849.507
AT ITER 3619 NEW BEST:: SOT 475134 SOS 260587 HAS SOPS 260587 HAS SOUS 112577 HAS SOUPS 112577 WITH SCORE 112837.587
AT ITER 3622 NEW BEST:: SOT 475066 SOS 260473 HAS SOPS 260473 HAS SOUS 112357 HAS SOUPS 112357 WITH SCORE 112617.473
AT ITER 3633 NEW BEST:: SOT 474964 SOS 260269 HAS SOPS 260269 HAS SOUS 112164 HAS SOUPS 112164 WITH SCORE 112424.269
AT ITER 3645 NEW BEST:: SOT 474964 SOS 260241 HAS SOPS 260241 HAS SOUS 112113 HAS SOUPS 112113 WITH SCORE 112373.241
AT ITER 3667 NEW BEST:: SOT 474905 SOS 260122 HAS SOPS 260122 HAS SOUS 111988 HAS SOUPS 111988 WITH SCORE 112248.122
AT ITER 3698 NEW BEST:: SOT 474867 SOS 259782 HAS SOPS 259782 HAS SOUS 111916 HAS SOUPS 111916 WITH SCORE 112175.782
AT ITER 3711 NEW BEST:: SOT 474866 SOS 259878 HAS SOPS 259878 HAS SOUS 111745 HAS SOUPS 111745 WITH SCORE 112004.878
AT ITER 3721 NEW BEST:: SOT 474865 SOS 259877 HAS SOPS 259877 HAS SOUS 111744 HAS SOUPS 111744 WITH SCORE 112003.877
AT ITER 3755 NEW BEST:: SOT 474808 SOS 259603 HAS SOPS 259603 HAS SOUS 111527 HAS SOUPS 111527 WITH SCORE 111786.603
AT ITER 3758 NEW BEST:: SOT 474808 SOS 259384 HAS SOPS 259384 HAS SOUS 111308 HAS SOUPS 111308 WITH SCORE 111567.384
AT ITER 3772 NEW BEST:: SOT 474806 SOS 259382 HAS SOPS 259382 HAS SOUS 111306 HAS SOUPS 111306 WITH SCORE 111565.382
AT ITER 3789 NEW BEST:: SOT 474799 SOS 258245 HAS SOPS 258245 HAS SOUS 111298 HAS SOUPS 111298 WITH SCORE 111556.245
AT ITER 3820 NEW BEST:: SOT 474795 SOS 258233 HAS SOPS 258233 HAS SOUS 111294 HAS SOUPS 111294 WITH SCORE 111552.233
AT ITER 3821 NEW BEST:: SOT 474551 SOS 258501 HAS SOPS 258501 HAS SOUS 111111 HAS SOUPS 111111 WITH SCORE 111369.501
AT ITER 3836 NEW BEST:: SOT 474551 SOS 258433 HAS SOPS 258433 HAS SOUS 110975 HAS SOUPS 110975 WITH SCORE 111233.433
AT ITER 3841 NEW BEST:: SOT 474418 SOS 258227 HAS SOPS 258227 HAS SOUS 110769 HAS SOUPS 110769 WITH SCORE 111027.227
AT ITER 3865 NEW BEST:: SOT 474377 SOS 257667 HAS SOPS 257667 HAS SOUS 110745 HAS SOUPS 110745 WITH SCORE 111002.667
AT ITER 3879 NEW BEST:: SOT 474351 SOS 257615 HAS SOPS 257615 HAS SOUS 110720 HAS SOUPS 110720 WITH SCORE 110977.615
AT ITER 3888 NEW BEST:: SOT 474340 SOS 257339 HAS SOPS 257339 HAS SOUS 110615 HAS SOUPS 110615 WITH SCORE 110872.339
AT ITER 3922 NEW BEST:: SOT 474355 SOS 257315 HAS SOPS 257315 HAS SOUS 110479 HAS SOUPS 110479 WITH SCORE 110736.315
AT ITER 3950 NEW BEST:: SOT 474353 SOS 257313 HAS SOPS 257313 HAS SOUS 110475 HAS SOUPS 110475 WITH SCORE 110732.313
AT ITER 3953 NEW BEST:: SOT 474353 SOS 257196 HAS SOPS 257196 HAS SOUS 110158 HAS SOUPS 110158 WITH SCORE 110415.196
AT ITER 3965 NEW BEST:: SOT 474313 SOS 257114 HAS SOPS 257114 HAS SOUS 110120 HAS SOUPS 110120 WITH SCORE 110377.114
AT ITER 3966 NEW BEST:: SOT 474310 SOS 257108 HAS SOPS 257108 HAS SOUS 110114 HAS SOUPS 110114 WITH SCORE 110371.108
AT ITER 3968 NEW BEST:: SOT 474310 SOS 257054 HAS SOPS 257054 HAS SOUS 110022 HAS SOUPS 110022 WITH SCORE 110279.054
AT ITER 3971 NEW BEST:: SOT 472593 SOS 257624 HAS SOPS 257624 HAS SOUS 108088 HAS SOUPS 108088 WITH SCORE 108345.624
AT ITER 3983 NEW BEST:: SOT 472587 SOS 257639 HAS SOPS 257639 HAS SOUS 108086 HAS SOUPS 108086 WITH SCORE 108343.639
AT ITER 4024 NEW BEST:: SOT 472256 SOS 257140 HAS SOPS 257140 HAS SOUS 107806 HAS SOUPS 107806 WITH SCORE 108063.14
AT ITER 4048 NEW BEST:: SOT 472238 SOS 257122 HAS SOPS 257122 HAS SOUS 107784 HAS SOUPS 107784 WITH SCORE 108041.122
AT ITER 4050 NEW BEST:: SOT 472222 SOS 257074 HAS SOPS 257074 HAS SOUS 107738 HAS SOUPS 107738 WITH SCORE 107995.074
AT ITER 4069 NEW BEST:: SOT 471806 SOS 258528 HAS SOPS 258528 HAS SOUS 107657 HAS SOUPS 107657 WITH SCORE 107915.528
AT ITER 4071 NEW BEST:: SOT 471784 SOS 258500 HAS SOPS 258500 HAS SOUS 107618 HAS SOUPS 107618 WITH SCORE 107876.5
AT ITER 4075 NEW BEST:: SOT 471553 SOS 258759 HAS SOPS 258759 HAS SOUS 107535 HAS SOUPS 107535 WITH SCORE 107793.759
AT ITER 4080 NEW BEST:: SOT 471536 SOS 258742 HAS SOPS 258742 HAS SOUS 107518 HAS SOUPS 107518 WITH SCORE 107776.742
AT ITER 4087 NEW BEST:: SOT 471579 SOS 259130 HAS SOPS 259130 HAS SOUS 107370 HAS SOUPS 107370 WITH SCORE 107629.13
AT ITER 4092 NEW BEST:: SOT 471495 SOS 259046 HAS SOPS 259046 HAS SOUS 107244 HAS SOUPS 107244 WITH SCORE 107503.046
AT ITER 4098 NEW BEST:: SOT 471421 SOS 258972 HAS SOPS 258972 HAS SOUS 107133 HAS SOUPS 107133 WITH SCORE 107391.972
AT ITER 4111 NEW BEST:: SOT 471421 SOS 258954 HAS SOPS 258954 HAS SOUS 107118 HAS SOUPS 107118 WITH SCORE 107376.954
AT ITER 4115 NEW BEST:: SOT 471311 SOS 258692 HAS SOPS 258692 HAS SOUS 107106 HAS SOUPS 107106 WITH SCORE 107364.692
AT ITER 4117 NEW BEST:: SOT 471131 SOS 258413 HAS SOPS 258413 HAS SOUS 106731 HAS SOUPS 106731 WITH SCORE 106989.413
AT ITER 4123 NEW BEST:: SOT 471061 SOS 258273 HAS SOPS 258273 HAS SOUS 106591 HAS SOUPS 106591 WITH SCORE 106849.273
AT ITER 4160 NEW BEST:: SOT 470078 SOS 257289 HAS SOPS 257289 HAS SOUS 106492 HAS SOUPS 106492 WITH SCORE 106749.289
AT ITER 4198 NEW BEST:: SOT 470078 SOS 257285 HAS SOPS 257285 HAS SOUS 106488 HAS SOUPS 106488 WITH SCORE 106745.285
AT ITER 4209 NEW BEST:: SOT 470040 SOS 257305 HAS SOPS 257305 HAS SOUS 106450 HAS SOUPS 106450 WITH SCORE 106707.305
AT ITER 4211 NEW BEST:: SOT 470000 SOS 256963 HAS SOPS 256963 HAS SOUS 106370 HAS SOUPS 106370 WITH SCORE 106626.963
AT ITER 4234 NEW BEST:: SOT 469967 SOS 257020 HAS SOPS 257020 HAS SOUS 106277 HAS SOUPS 106277 WITH SCORE 106534.02
AT ITER 4245 NEW BEST:: SOT 469960 SOS 257006 HAS SOPS 257006 HAS SOUS 106263 HAS SOUPS 106263 WITH SCORE 106520.006
AT ITER 4254 NEW BEST:: SOT 469944 SOS 256990 HAS SOPS 256990 HAS SOUS 106247 HAS SOUPS 106247 WITH SCORE 106503.99
AT ITER 4268 NEW BEST:: SOT 469942 SOS 256980 HAS SOPS 256980 HAS SOUS 106224 HAS SOUPS 106224 WITH SCORE 106480.98
AT ITER 4285 NEW BEST:: SOT 469899 SOS 256909 HAS SOPS 256909 HAS SOUS 106153 HAS SOUPS 106153 WITH SCORE 106409.909
AT ITER 4289 NEW BEST:: SOT 470144 SOS 256756 HAS SOPS 256756 HAS SOUS 105980 HAS SOUPS 105980 WITH SCORE 106236.756
AT ITER 4348 NEW BEST:: SOT 469832 SOS 256866 HAS SOPS 256866 HAS SOUS 105582 HAS SOUPS 105582 WITH SCORE 105838.866
AT ITER 4352 NEW BEST:: SOT 469826 SOS 256854 HAS SOPS 256854 HAS SOUS 105570 HAS SOUPS 105570 WITH SCORE 105826.854
AT ITER 4365 NEW BEST:: SOT 469826 SOS 256854 HAS SOPS 256854 HAS SOUS 105566 HAS SOUPS 105566 WITH SCORE 105822.854
AT ITER 4377 NEW BEST:: SOT 469867 SOS 256829 HAS SOPS 256829 HAS SOUS 105541 HAS SOUPS 105541 WITH SCORE 105797.829
AT ITER 4384 NEW BEST:: SOT 469987 SOS 256888 HAS SOPS 256888 HAS SOUS 105445 HAS SOUPS 105445 WITH SCORE 105701.888
AT ITER 4385 NEW BEST:: SOT 469981 SOS 256747 HAS SOPS 256747 HAS SOUS 105433 HAS SOUPS 105433 WITH SCORE 105689.747
AT ITER 4388 NEW BEST:: SOT 469990 SOS 256733 HAS SOPS 256733 HAS SOUS 105419 HAS SOUPS 105419 WITH SCORE 105675.733
AT ITER 4391 NEW BEST:: SOT 469892 SOS 256679 HAS SOPS 256679 HAS SOUS 105153 HAS SOUPS 105153 WITH SCORE 105409.679
AT ITER 4413 NEW BEST:: SOT 469859 SOS 256646 HAS SOPS 256646 HAS SOUS 105087 HAS SOUPS 105087 WITH SCORE 105343.646
AT ITER 4426 NEW BEST:: SOT 469517 SOS 256818 HAS SOPS 256818 HAS SOUS 105046 HAS SOUPS 105046 WITH SCORE 105302.818
AT ITER 4434 NEW BEST:: SOT 469441 SOS 256742 HAS SOPS 256742 HAS SOUS 104932 HAS SOUPS 104932 WITH SCORE 105188.742
AT ITER 4458 NEW BEST:: SOT 469393 SOS 256602 HAS SOPS 256602 HAS SOUS 104882 HAS SOUPS 104882 WITH SCORE 105138.602
AT ITER 4490 NEW BEST:: SOT 469391 SOS 256585 HAS SOPS 256585 HAS SOUS 104865 HAS SOUPS 104865 WITH SCORE 105121.585
AT ITER 4500 NEW BEST:: SOT 469385 SOS 256415 HAS SOPS 256415 HAS SOUS 104853 HAS SOUPS 104853 WITH SCORE 105109.415
AT ITER 4509 NEW BEST:: SOT 469375 SOS 256413 HAS SOPS 256413 HAS SOUS 104851 HAS SOUPS 104851 WITH SCORE 105107.413
AT ITER 4523 NEW BEST:: SOT 469357 SOS 256386 HAS SOPS 256386 HAS SOUS 104833 HAS SOUPS 104833 WITH SCORE 105089.386
AT ITER 4527 NEW BEST:: SOT 469355 SOS 256379 HAS SOPS 256379 HAS SOUS 104826 HAS SOUPS 104826 WITH SCORE 105082.379
AT ITER 4542 NEW BEST:: SOT 469357 SOS 256378 HAS SOPS 256378 HAS SOUS 104825 HAS SOUPS 104825 WITH SCORE 105081.378
AT ITER 4543 NEW BEST:: SOT 469357 SOS 256378 HAS SOPS 256378 HAS SOUS 104814 HAS SOUPS 104814 WITH SCORE 105070.378
AT ITER 4547 NEW BEST:: SOT 469349 SOS 256035 HAS SOPS 256035 HAS SOUS 104662 HAS SOUPS 104662 WITH SCORE 104918.035
AT ITER 4556 NEW BEST:: SOT 469333 SOS 256011 HAS SOPS 256011 HAS SOUS 104654 HAS SOUPS 104654 WITH SCORE 104910.011
AT ITER 4607 NEW BEST:: SOT 469333 SOS 256011 HAS SOPS 256011 HAS SOUS 104651 HAS SOUPS 104651 WITH SCORE 104907.011
AT ITER 4620 NEW BEST:: SOT 469279 SOS 255930 HAS SOPS 255930 HAS SOUS 104543 HAS SOUPS 104543 WITH SCORE 104798.93
AT ITER 4659 NEW BEST:: SOT 469210 SOS 255778 HAS SOPS 255778 HAS SOUS 104496 HAS SOUPS 104496 WITH SCORE 104751.778
AT ITER 4667 NEW BEST:: SOT 469031 SOS 255468 HAS SOPS 255468 HAS SOUS 104181 HAS SOUPS 104181 WITH SCORE 104436.468
AT ITER 4673 NEW BEST:: SOT 469027 SOS 255464 HAS SOPS 255464 HAS SOUS 104177 HAS SOUPS 104177 WITH SCORE 104432.464
AT ITER 4682 NEW BEST:: SOT 469027 SOS 255326 HAS SOPS 255326 HAS SOUS 104177 HAS SOUPS 104177 WITH SCORE 104432.326
AT ITER 4709 NEW BEST:: SOT 469002 SOS 255385 HAS SOPS 255385 HAS SOUS 104166 HAS SOUPS 104166 WITH SCORE 104421.385
AT ITER 4714 NEW BEST:: SOT 468955 SOS 255338 HAS SOPS 255338 HAS SOUS 104072 HAS SOUPS 104072 WITH SCORE 104327.338
AT ITER 4717 NEW BEST:: SOT 468926 SOS 255309 HAS SOPS 255309 HAS SOUS 104033 HAS SOUPS 104033 WITH SCORE 104288.309
AT ITER 4731 NEW BEST:: SOT 468814 SOS 255132 HAS SOPS 255132 HAS SOUS 103831 HAS SOUPS 103831 WITH SCORE 104086.132
AT ITER 4734 NEW BEST:: SOT 468790 SOS 255108 HAS SOPS 255108 HAS SOUS 103807 HAS SOUPS 103807 WITH SCORE 104062.108
AT ITER 4753 NEW BEST:: SOT 468788 SOS 255106 HAS SOPS 255106 HAS SOUS 103794 HAS SOUPS 103794 WITH SCORE 104049.106
AT ITER 4763 NEW BEST:: SOT 468748 SOS 255027 HAS SOPS 255027 HAS SOUS 103751 HAS SOUPS 103751 WITH SCORE 104006.027
AT ITER 4768 NEW BEST:: SOT 468701 SOS 254980 HAS SOPS 254980 HAS SOUS 103704 HAS SOUPS 103704 WITH SCORE 103958.98
AT ITER 4782 NEW BEST:: SOT 468460 SOS 254631 HAS SOPS 254631 HAS SOUS 103586 HAS SOUPS 103586 WITH SCORE 103840.631
AT ITER 4788 NEW BEST:: SOT 468456 SOS 254627 HAS SOPS 254627 HAS SOUS 103578 HAS SOUPS 103578 WITH SCORE 103832.627
AT ITER 4796 NEW BEST:: SOT 468418 SOS 254268 HAS SOPS 254268 HAS SOUS 103547 HAS SOUPS 103547 WITH SCORE 103801.268
AT ITER 4812 NEW BEST:: SOT 468457 SOS 254300 HAS SOPS 254300 HAS SOUS 103543 HAS SOUPS 103543 WITH SCORE 103797.3
AT ITER 4815 NEW BEST:: SOT 468433 SOS 254132 HAS SOPS 254132 HAS SOUS 103495 HAS SOUPS 103495 WITH SCORE 103749.132
AT ITER 4819 NEW BEST:: SOT 468207 SOS 253612 HAS SOPS 253612 HAS SOUS 103167 HAS SOUPS 103167 WITH SCORE 103420.612
AT ITER 4858 NEW BEST:: SOT 468207 SOS 252844 HAS SOPS 252844 HAS SOUS 103167 HAS SOUPS 103167 WITH SCORE 103419.844
AT ITER 4872 NEW BEST:: SOT 468207 SOS 252856 HAS SOPS 252856 HAS SOUS 103164 HAS SOUPS 103164 WITH SCORE 103416.856
AT ITER 4878 NEW BEST:: SOT 467999 SOS 252633 HAS SOPS 252633 HAS SOUS 102941 HAS SOUPS 102941 WITH SCORE 103193.633
AT ITER 4902 NEW BEST:: SOT 467893 SOS 252495 HAS SOPS 252495 HAS SOUS 102819 HAS SOUPS 102819 WITH SCORE 103071.495
AT ITER 4913 NEW BEST:: SOT 467802 SOS 252313 HAS SOPS 252313 HAS SOUS 102637 HAS SOUPS 102637 WITH SCORE 102889.313
AT ITER 4948 NEW BEST:: SOT 467749 SOS 252040 HAS SOPS 252040 HAS SOUS 102458 HAS SOUPS 102458 WITH SCORE 102710.04
AT ITER 5001 NEW BEST:: SOT 467782 SOS 251800 HAS SOPS 251800 HAS SOUS 102454 HAS SOUPS 102454 WITH SCORE 102705.8
AT ITER 5003 NEW BEST:: SOT 467791 SOS 251755 HAS SOPS 251755 HAS SOUS 102409 HAS SOUPS 102409 WITH SCORE 102660.755
AT ITER 5087 NEW BEST:: SOT 467764 SOS 251333 HAS SOPS 251333 HAS SOUS 102358 HAS SOUPS 102358 WITH SCORE 102609.333
AT ITER 5136 NEW BEST:: SOT 467706 SOS 251275 HAS SOPS 251275 HAS SOUS 102249 HAS SOUPS 102249 WITH SCORE 102500.275
AT ITER 5158 NEW BEST:: SOT 467615 SOS 251184 HAS SOPS 251184 HAS SOUS 102229 HAS SOUPS 102229 WITH SCORE 102480.184
AT ITER 5164 NEW BEST:: SOT 467494 SOS 250952 HAS SOPS 250952 HAS SOUS 101997 HAS SOUPS 101997 WITH SCORE 102247.952
AT ITER 5196 NEW BEST:: SOT 467416 SOS 250874 HAS SOPS 250874 HAS SOUS 101919 HAS SOUPS 101919 WITH SCORE 102169.874
AT ITER 5206 NEW BEST:: SOT 467398 SOS 250813 HAS SOPS 250813 HAS SOUS 101892 HAS SOUPS 101892 WITH SCORE 102142.813
AT ITER 5210 NEW BEST:: SOT 467398 SOS 250081 HAS SOPS 250081 HAS SOUS 101865 HAS SOUPS 101865 WITH SCORE 102115.081
AT ITER 5215 NEW BEST:: SOT 467391 SOS 250074 HAS SOPS 250074 HAS SOUS 101858 HAS SOUPS 101858 WITH SCORE 102108.074
AT ITER 5218 NEW BEST:: SOT 467388 SOS 250071 HAS SOPS 250071 HAS SOUS 101858 HAS SOUPS 101858 WITH SCORE 102108.071
AT ITER 5244 NEW BEST:: SOT 467364 SOS 250047 HAS SOPS 250047 HAS SOUS 101834 HAS SOUPS 101834 WITH SCORE 102084.047
AT ITER 5269 NEW BEST:: SOT 467364 SOS 250068 HAS SOPS 250068 HAS SOUS 101813 HAS SOUPS 101813 WITH SCORE 102063.068
AT ITER 5287 NEW BEST:: SOT 467233 SOS 249944 HAS SOPS 249944 HAS SOUS 101689 HAS SOUPS 101689 WITH SCORE 101938.944
AT ITER 5341 NEW BEST:: SOT 467233 SOS 249942 HAS SOPS 249942 HAS SOUS 101687 HAS SOUPS 101687 WITH SCORE 101936.942
AT ITER 5349 NEW BEST:: SOT 467219 SOS 249914 HAS SOPS 249914 HAS SOUS 101659 HAS SOUPS 101659 WITH SCORE 101908.914
AT ITER 5360 NEW BEST:: SOT 467018 SOS 249756 HAS SOPS 249756 HAS SOUS 101501 HAS SOUPS 101501 WITH SCORE 101750.756
AT ITER 5376 NEW BEST:: SOT 466998 SOS 249736 HAS SOPS 249736 HAS SOUS 101499 HAS SOUPS 101499 WITH SCORE 101748.736
AT ITER 5379 NEW BEST:: SOT 466986 SOS 249638 HAS SOPS 249638 HAS SOUS 101475 HAS SOUPS 101475 WITH SCORE 101724.638
AT ITER 5383 NEW BEST:: SOT 466986 SOS 249644 HAS SOPS 249644 HAS SOUS 101385 HAS SOUPS 101385 WITH SCORE 101634.644
AT ITER 5457 NEW BEST:: SOT 466954 SOS 249581 HAS SOPS 249581 HAS SOUS 101352 HAS SOUPS 101352 WITH SCORE 101601.581
AT ITER 5482 NEW BEST:: SOT 466954 SOS 249261 HAS SOPS 249261 HAS SOUS 101312 HAS SOUPS 101312 WITH SCORE 101561.261
AT ITER 5487 NEW BEST:: SOT 466954 SOS 249229 HAS SOPS 249229 HAS SOUS 101280 HAS SOUPS 101280 WITH SCORE 101529.229
AT ITER 5493 NEW BEST:: SOT 466871 SOS 249146 HAS SOPS 249146 HAS SOUS 101197 HAS SOUPS 101197 WITH SCORE 101446.146
AT ITER 5530 NEW BEST:: SOT 466835 SOS 249043 HAS SOPS 249043 HAS SOUS 101094 HAS SOUPS 101094 WITH SCORE 101343.043
AT ITER 5538 NEW BEST:: SOT 466835 SOS 249043 HAS SOPS 249043 HAS SOUS 101092 HAS SOUPS 101092 WITH SCORE 101341.043
AT ITER 5556 NEW BEST:: SOT 466792 SOS 248921 HAS SOPS 248921 HAS SOUS 100901 HAS SOUPS 100901 WITH SCORE 101149.921
AT ITER 5560 NEW BEST:: SOT 466819 SOS 248915 HAS SOPS 248915 HAS SOUS 100895 HAS SOUPS 100895 WITH SCORE 101143.915
AT ITER 5575 NEW BEST:: SOT 466769 SOS 248679 HAS SOPS 248679 HAS SOUS 100659 HAS SOUPS 100659 WITH SCORE 100907.679
AT ITER 5599 NEW BEST:: SOT 466769 SOS 248273 HAS SOPS 248273 HAS SOUS 100659 HAS SOUPS 100659 WITH SCORE 100907.273
AT ITER 5608 NEW BEST:: SOT 466771 SOS 248233 HAS SOPS 248233 HAS SOUS 100619 HAS SOUPS 100619 WITH SCORE 100867.233
AT ITER 5609 NEW BEST:: SOT 466741 SOS 248146 HAS SOPS 248146 HAS SOUS 100577 HAS SOUPS 100577 WITH SCORE 100825.146
AT ITER 5630 NEW BEST:: SOT 466739 SOS 248143 HAS SOPS 248143 HAS SOUS 100574 HAS SOUPS 100574 WITH SCORE 100822.143
AT ITER 5650 NEW BEST:: SOT 466862 SOS 247426 HAS SOPS 247426 HAS SOUS 100487 HAS SOUPS 100487 WITH SCORE 100734.426
AT ITER 5651 NEW BEST:: SOT 466830 SOS 247394 HAS SOPS 247394 HAS SOUS 100455 HAS SOUPS 100455 WITH SCORE 100702.394
AT ITER 5682 NEW BEST:: SOT 466830 SOS 247407 HAS SOPS 247407 HAS SOUS 100442 HAS SOUPS 100442 WITH SCORE 100689.407
AT ITER 5718 NEW BEST:: SOT 466849 SOS 247237 HAS SOPS 247237 HAS SOUS 100272 HAS SOUPS 100272 WITH SCORE 100519.237
AT ITER 5733 NEW BEST:: SOT 466848 SOS 247236 HAS SOPS 247236 HAS SOUS 100270 HAS SOUPS 100270 WITH SCORE 100517.236
AT ITER 5765 NEW BEST:: SOT 466832 SOS 247184 HAS SOPS 247184 HAS SOUS 100166 HAS SOUPS 100166 WITH SCORE 100413.184
AT ITER 5785 NEW BEST:: SOT 466823 SOS 247166 HAS SOPS 247166 HAS SOUS 100148 HAS SOUPS 100148 WITH SCORE 100395.166
AT ITER 5796 NEW BEST:: SOT 466788 SOS 247131 HAS SOPS 247131 HAS SOUS 100129 HAS SOUPS 100129 WITH SCORE 100376.131
AT ITER 5803 NEW BEST:: SOT 466781 SOS 247124 HAS SOPS 247124 HAS SOUS 100126 HAS SOUPS 100126 WITH SCORE 100373.124
AT ITER 5814 NEW BEST:: SOT 466806 SOS 247149 HAS SOPS 247149 HAS SOUS 100121 HAS SOUPS 100121 WITH SCORE 100368.149
AT ITER 5836 NEW BEST:: SOT 466712 SOS 247047 HAS SOPS 247047 HAS SOUS 100019 HAS SOUPS 100019 WITH SCORE 100266.047
AT ITER 5849 NEW BEST:: SOT 466702 SOS 247047 HAS SOPS 247047 HAS SOUS 99990 HAS SOUPS 99990 WITH SCORE 100237.047
AT ITER 5886 NEW BEST:: SOT 466610 SOS 246904 HAS SOPS 246904 HAS SOUS 99755 HAS SOUPS 99755 WITH SCORE 100001.904
AT ITER 5890 NEW BEST:: SOT 466579 SOS 246869 HAS SOPS 246869 HAS SOUS 99720 HAS SOUPS 99720 WITH SCORE 99966.869
AT ITER 5910 NEW BEST:: SOT 466569 SOS 246859 HAS SOPS 246859 HAS SOUS 99710 HAS SOUPS 99710 WITH SCORE 99956.859
AT ITER 5920 NEW BEST:: SOT 466588 SOS 247006 HAS SOPS 247006 HAS SOUS 99588 HAS SOUPS 99588 WITH SCORE 99835.006
AT ITER 5933 NEW BEST:: SOT 466570 SOS 246790 HAS SOPS 246790 HAS SOUS 99568 HAS SOUPS 99568 WITH SCORE 99814.79
AT ITER 5949 NEW BEST:: SOT 466472 SOS 246000 HAS SOPS 246000 HAS SOUS 99345 HAS SOUPS 99345 WITH SCORE 99591.0
AT ITER 5964 NEW BEST:: SOT 466490 SOS 246037 HAS SOPS 246037 HAS SOUS 99331 HAS SOUPS 99331 WITH SCORE 99577.037
AT ITER 5967 NEW BEST:: SOT 466468 SOS 245931 HAS SOPS 245931 HAS SOUS 99281 HAS SOUPS 99281 WITH SCORE 99526.931
AT ITER 5975 NEW BEST:: SOT 465773 SOS 245668 HAS SOPS 245668 HAS SOUS 98898 HAS SOUPS 98898 WITH SCORE 99143.668
AT ITER 5985 NEW BEST:: SOT 465668 SOS 245578 HAS SOPS 245578 HAS SOUS 98808 HAS SOUPS 98808 WITH SCORE 99053.578
AT ITER 5991 NEW BEST:: SOT 465663 SOS 245568 HAS SOPS 245568 HAS SOUS 98798 HAS SOUPS 98798 WITH SCORE 99043.568
AT ITER 5998 NEW BEST:: SOT 465644 SOS 245549 HAS SOPS 245549 HAS SOUS 98779 HAS SOUPS 98779 WITH SCORE 99024.549
AT ITER 6021 NEW BEST:: SOT 465588 SOS 245500 HAS SOPS 245500 HAS SOUS 98716 HAS SOUPS 98716 WITH SCORE 98961.5
AT ITER 6032 NEW BEST:: SOT 465611 SOS 245466 HAS SOPS 245466 HAS SOUS 98682 HAS SOUPS 98682 WITH SCORE 98927.466
AT ITER 6044 NEW BEST:: SOT 465607 SOS 245458 HAS SOPS 245458 HAS SOUS 98674 HAS SOUPS 98674 WITH SCORE 98919.458
AT ITER 6063 NEW BEST:: SOT 465555 SOS 245406 HAS SOPS 245406 HAS SOUS 98622 HAS SOUPS 98622 WITH SCORE 98867.406
AT ITER 6074 NEW BEST:: SOT 465542 SOS 242695 HAS SOPS 242695 HAS SOUS 98588 HAS SOUPS 98588 WITH SCORE 98830.695
AT ITER 6077 NEW BEST:: SOT 465527 SOS 242650 HAS SOPS 242650 HAS SOUS 98558 HAS SOUPS 98558 WITH SCORE 98800.65
AT ITER 6090 NEW BEST:: SOT 465439 SOS 242474 HAS SOPS 242474 HAS SOUS 98382 HAS SOUPS 98382 WITH SCORE 98624.474
AT ITER 6102 NEW BEST:: SOT 465414 SOS 242474 HAS SOPS 242474 HAS SOUS 98357 HAS SOUPS 98357 WITH SCORE 98599.474
AT ITER 6123 NEW BEST:: SOT 465412 SOS 242470 HAS SOPS 242470 HAS SOUS 98353 HAS SOUPS 98353 WITH SCORE 98595.47
AT ITER 6126 NEW BEST:: SOT 465391 SOS 242427 HAS SOPS 242427 HAS SOUS 98319 HAS SOUPS 98319 WITH SCORE 98561.427
AT ITER 6128 NEW BEST:: SOT 465226 SOS 242360 HAS SOPS 242360 HAS SOUS 98252 HAS SOUPS 98252 WITH SCORE 98494.36
AT ITER 6142 NEW BEST:: SOT 465215 SOS 242327 HAS SOPS 242327 HAS SOUS 98219 HAS SOUPS 98219 WITH SCORE 98461.327
AT ITER 6155 NEW BEST:: SOT 465211 SOS 242320 HAS SOPS 242320 HAS SOUS 98214 HAS SOUPS 98214 WITH SCORE 98456.32
AT ITER 6165 NEW BEST:: SOT 465234 SOS 242039 HAS SOPS 242039 HAS SOUS 98108 HAS SOUPS 98108 WITH SCORE 98350.039
AT ITER 6174 NEW BEST:: SOT 465240 SOS 241956 HAS SOPS 241956 HAS SOUS 98104 HAS SOUPS 98104 WITH SCORE 98345.956
AT ITER 6182 NEW BEST:: SOT 465191 SOS 241907 HAS SOPS 241907 HAS SOUS 98055 HAS SOUPS 98055 WITH SCORE 98296.907
AT ITER 6222 NEW BEST:: SOT 465175 SOS 242040 HAS SOPS 242040 HAS SOUS 98039 HAS SOUPS 98039 WITH SCORE 98281.04
AT ITER 6238 NEW BEST:: SOT 465175 SOS 241969 HAS SOPS 241969 HAS SOUS 97968 HAS SOUPS 97968 WITH SCORE 98209.969
AT ITER 6265 NEW BEST:: SOT 465142 SOS 241936 HAS SOPS 241936 HAS SOUS 97902 HAS SOUPS 97902 WITH SCORE 98143.936
AT ITER 6296 NEW BEST:: SOT 465142 SOS 241878 HAS SOPS 241878 HAS SOUS 97902 HAS SOUPS 97902 WITH SCORE 98143.878
AT ITER 6302 NEW BEST:: SOT 465141 SOS 241749 HAS SOPS 241749 HAS SOUS 97891 HAS SOUPS 97891 WITH SCORE 98132.749
AT ITER 6344 NEW BEST:: SOT 465157 SOS 241737 HAS SOPS 241737 HAS SOUS 97879 HAS SOUPS 97879 WITH SCORE 98120.737
AT ITER 6361 NEW BEST:: SOT 465157 SOS 241688 HAS SOPS 241688 HAS SOUS 97830 HAS SOUPS 97830 WITH SCORE 98071.688
AT ITER 6378 NEW BEST:: SOT 465146 SOS 241692 HAS SOPS 241692 HAS SOUS 97810 HAS SOUPS 97810 WITH SCORE 98051.692
AT ITER 6380 NEW BEST:: SOT 465171 SOS 241736 HAS SOPS 241736 HAS SOUS 97748 HAS SOUPS 97748 WITH SCORE 97989.736
AT ITER 6388 NEW BEST:: SOT 465157 SOS 241617 HAS SOPS 241617 HAS SOUS 97654 HAS SOUPS 97654 WITH SCORE 97895.617
AT ITER 6398 NEW BEST:: SOT 465157 SOS 241533 HAS SOPS 241533 HAS SOUS 97626 HAS SOUPS 97626 WITH SCORE 97867.533
AT ITER 6418 NEW BEST:: SOT 465138 SOS 241514 HAS SOPS 241514 HAS SOUS 97622 HAS SOUPS 97622 WITH SCORE 97863.514
AT ITER 6443 NEW BEST:: SOT 465094 SOS 241514 HAS SOPS 241514 HAS SOUS 97578 HAS SOUPS 97578 WITH SCORE 97819.514
AT ITER 6450 NEW BEST:: SOT 465239 SOS 241537 HAS SOPS 241537 HAS SOUS 97529 HAS SOUPS 97529 WITH SCORE 97770.537
AT ITER 6507 NEW BEST:: SOT 465096 SOS 241371 HAS SOPS 241371 HAS SOUS 97363 HAS SOUPS 97363 WITH SCORE 97604.371
AT ITER 6508 NEW BEST:: SOT 465073 SOS 241348 HAS SOPS 241348 HAS SOUS 97340 HAS SOUPS 97340 WITH SCORE 97581.348
AT ITER 6524 NEW BEST:: SOT 465044 SOS 241319 HAS SOPS 241319 HAS SOUS 97305 HAS SOUPS 97305 WITH SCORE 97546.319
AT ITER 6566 NEW BEST:: SOT 465044 SOS 241359 HAS SOPS 241359 HAS SOUS 97265 HAS SOUPS 97265 WITH SCORE 97506.359
AT ITER 6574 NEW BEST:: SOT 465041 SOS 241356 HAS SOPS 241356 HAS SOUS 97262 HAS SOUPS 97262 WITH SCORE 97503.356
AT ITER 6608 NEW BEST:: SOT 464789 SOS 241056 HAS SOPS 241056 HAS SOUS 96962 HAS SOUPS 96962 WITH SCORE 97203.056
AT ITER 6633 NEW BEST:: SOT 464522 SOS 240950 HAS SOPS 240950 HAS SOUS 96856 HAS SOUPS 96856 WITH SCORE 97096.95
AT ITER 6659 NEW BEST:: SOT 464485 SOS 240874 HAS SOPS 240874 HAS SOUS 96818 HAS SOUPS 96818 WITH SCORE 97058.874
AT ITER 6663 NEW BEST:: SOT 464485 SOS 240887 HAS SOPS 240887 HAS SOUS 96817 HAS SOUPS 96817 WITH SCORE 97057.887
AT ITER 6672 NEW BEST:: SOT 464423 SOS 240771 HAS SOPS 240771 HAS SOUS 96693 HAS SOUPS 96693 WITH SCORE 96933.771
AT ITER 6687 NEW BEST:: SOT 464423 SOS 240649 HAS SOPS 240649 HAS SOUS 96513 HAS SOUPS 96513 WITH SCORE 96753.649
AT ITER 6768 NEW BEST:: SOT 464423 SOS 240621 HAS SOPS 240621 HAS SOUS 96485 HAS SOUPS 96485 WITH SCORE 96725.621
AT ITER 6829 NEW BEST:: SOT 464416 SOS 240614 HAS SOPS 240614 HAS SOUS 96477 HAS SOUPS 96477 WITH SCORE 96717.614
AT ITER 6836 NEW BEST:: SOT 464411 SOS 240380 HAS SOPS 240380 HAS SOUS 96243 HAS SOUPS 96243 WITH SCORE 96483.38
AT ITER 6863 NEW BEST:: SOT 464401 SOS 240365 HAS SOPS 240365 HAS SOUS 96228 HAS SOUPS 96228 WITH SCORE 96468.365
AT ITER 6870 NEW BEST:: SOT 463957 SOS 240855 HAS SOPS 240855 HAS SOUS 96030 HAS SOUPS 96030 WITH SCORE 96270.855
AT ITER 6876 NEW BEST:: SOT 463955 SOS 240853 HAS SOPS 240853 HAS SOUS 96026 HAS SOUPS 96026 WITH SCORE 96266.853
AT ITER 6886 NEW BEST:: SOT 463955 SOS 240853 HAS SOPS 240853 HAS SOUS 96005 HAS SOUPS 96005 WITH SCORE 96245.853
AT ITER 6889 NEW BEST:: SOT 463944 SOS 240759 HAS SOPS 240759 HAS SOUS 95911 HAS SOUPS 95911 WITH SCORE 96151.759
AT ITER 6950 NEW BEST:: SOT 463896 SOS 240708 HAS SOPS 240708 HAS SOUS 95892 HAS SOUPS 95892 WITH SCORE 96132.708
AT ITER 6981 NEW BEST:: SOT 463931 SOS 240620 HAS SOPS 240620 HAS SOUS 95804 HAS SOUPS 95804 WITH SCORE 96044.62
AT ITER 6985 NEW BEST:: SOT 463980 SOS 240609 HAS SOPS 240609 HAS SOUS 95793 HAS SOUPS 95793 WITH SCORE 96033.609
AT ITER 6996 NEW BEST:: SOT 463980 SOS 240594 HAS SOPS 240594 HAS SOUS 95750 HAS SOUPS 95750 WITH SCORE 95990.594
AT ITER 7014 NEW BEST:: SOT 463935 SOS 240549 HAS SOPS 240549 HAS SOUS 95705 HAS SOUPS 95705 WITH SCORE 95945.549
AT ITER 7027 NEW BEST:: SOT 463934 SOS 240548 HAS SOPS 240548 HAS SOUS 95692 HAS SOUPS 95692 WITH SCORE 95932.548
AT ITER 7043 NEW BEST:: SOT 463929 SOS 240518 HAS SOPS 240518 HAS SOUS 95682 HAS SOUPS 95682 WITH SCORE 95922.518
AT ITER 7055 NEW BEST:: SOT 463894 SOS 240467 HAS SOPS 240467 HAS SOUS 95631 HAS SOUPS 95631 WITH SCORE 95871.467
AT ITER 7059 NEW BEST:: SOT 463880 SOS 240435 HAS SOPS 240435 HAS SOUS 95599 HAS SOUPS 95599 WITH SCORE 95839.435
AT ITER 7069 NEW BEST:: SOT 464032 SOS 240592 HAS SOPS 240592 HAS SOUS 95585 HAS SOUPS 95585 WITH SCORE 95825.592
AT ITER 7107 NEW BEST:: SOT 463989 SOS 240526 HAS SOPS 240526 HAS SOUS 95576 HAS SOUPS 95576 WITH SCORE 95816.526
AT ITER 7128 NEW BEST:: SOT 463008 SOS 240786 HAS SOPS 240786 HAS SOUS 95305 HAS SOUPS 95305 WITH SCORE 95545.786
AT ITER 7133 NEW BEST:: SOT 463003 SOS 240776 HAS SOPS 240776 HAS SOUS 95295 HAS SOUPS 95295 WITH SCORE 95535.776
AT ITER 7136 NEW BEST:: SOT 462991 SOS 240752 HAS SOPS 240752 HAS SOUS 95271 HAS SOUPS 95271 WITH SCORE 95511.752
AT ITER 7204 NEW BEST:: SOT 462982 SOS 240743 HAS SOPS 240743 HAS SOUS 95251 HAS SOUPS 95251 WITH SCORE 95491.743
AT ITER 7219 NEW BEST:: SOT 462888 SOS 240649 HAS SOPS 240649 HAS SOUS 95156 HAS SOUPS 95156 WITH SCORE 95396.649
AT ITER 7221 NEW BEST:: SOT 462888 SOS 240648 HAS SOPS 240648 HAS SOUS 95156 HAS SOUPS 95156 WITH SCORE 95396.648
AT ITER 7224 NEW BEST:: SOT 462923 SOS 240515 HAS SOPS 240515 HAS SOUS 95023 HAS SOUPS 95023 WITH SCORE 95263.515
AT ITER 7229 NEW BEST:: SOT 462793 SOS 240475 HAS SOPS 240475 HAS SOUS 94880 HAS SOUPS 94880 WITH SCORE 95120.475
AT ITER 7230 NEW BEST:: SOT 462873 SOS 239996 HAS SOPS 239996 HAS SOUS 94570 HAS SOUPS 94570 WITH SCORE 94809.996
AT ITER 7242 NEW BEST:: SOT 462845 SOS 238512 HAS SOPS 238512 HAS SOUS 94517 HAS SOUPS 94517 WITH SCORE 94755.512
AT ITER 7265 NEW BEST:: SOT 462845 SOS 238512 HAS SOPS 238512 HAS SOUS 94447 HAS SOUPS 94447 WITH SCORE 94685.512
AT ITER 7274 NEW BEST:: SOT 462842 SOS 238509 HAS SOPS 238509 HAS SOUS 94444 HAS SOUPS 94444 WITH SCORE 94682.509
AT ITER 7298 NEW BEST:: SOT 462842 SOS 238509 HAS SOPS 238509 HAS SOUS 94424 HAS SOUPS 94424 WITH SCORE 94662.509
AT ITER 7306 NEW BEST:: SOT 462897 SOS 238564 HAS SOPS 238564 HAS SOUS 94422 HAS SOUPS 94422 WITH SCORE 94660.564
AT ITER 7334 NEW BEST:: SOT 462854 SOS 238454 HAS SOPS 238454 HAS SOUS 94182 HAS SOUPS 94182 WITH SCORE 94420.454
AT ITER 7347 NEW BEST:: SOT 462854 SOS 238262 HAS SOPS 238262 HAS SOUS 94182 HAS SOUPS 94182 WITH SCORE 94420.262
AT ITER 7351 NEW BEST:: SOT 462930 SOS 238338 HAS SOPS 238338 HAS SOUS 94142 HAS SOUPS 94142 WITH SCORE 94380.338
AT ITER 7378 NEW BEST:: SOT 462897 SOS 238196 HAS SOPS 238196 HAS SOUS 94033 HAS SOUPS 94033 WITH SCORE 94271.196
AT ITER 7387 NEW BEST:: SOT 462797 SOS 238007 HAS SOPS 238007 HAS SOUS 93844 HAS SOUPS 93844 WITH SCORE 94082.007
AT ITER 7397 NEW BEST:: SOT 462797 SOS 237999 HAS SOPS 237999 HAS SOUS 93836 HAS SOUPS 93836 WITH SCORE 94073.999
AT ITER 7414 NEW BEST:: SOT 462405 SOS 237562 HAS SOPS 237562 HAS SOUS 93481 HAS SOUPS 93481 WITH SCORE 93718.562
AT ITER 7415 NEW BEST:: SOT 462404 SOS 237561 HAS SOPS 237561 HAS SOUS 93480 HAS SOUPS 93480 WITH SCORE 93717.561
AT ITER 7426 NEW BEST:: SOT 462426 SOS 237583 HAS SOPS 237583 HAS SOUS 93434 HAS SOUPS 93434 WITH SCORE 93671.583
AT ITER 7452 NEW BEST:: SOT 462340 SOS 237412 HAS SOPS 237412 HAS SOUS 93263 HAS SOUPS 93263 WITH SCORE 93500.412
AT ITER 7462 NEW BEST:: SOT 462315 SOS 237412 HAS SOPS 237412 HAS SOUS 93238 HAS SOUPS 93238 WITH SCORE 93475.412
AT ITER 7484 NEW BEST:: SOT 462292 SOS 237401 HAS SOPS 237401 HAS SOUS 93227 HAS SOUPS 93227 WITH SCORE 93464.401
AT ITER 7507 NEW BEST:: SOT 462277 SOS 237386 HAS SOPS 237386 HAS SOUS 93170 HAS SOUPS 93170 WITH SCORE 93407.386
AT ITER 7539 NEW BEST:: SOT 462277 SOS 237518 HAS SOPS 237518 HAS SOUS 93107 HAS SOUPS 93107 WITH SCORE 93344.518
AT ITER 7559 NEW BEST:: SOT 462116 SOS 237357 HAS SOPS 237357 HAS SOUS 93038 HAS SOUPS 93038 WITH SCORE 93275.357
AT ITER 7567 NEW BEST:: SOT 461896 SOS 237009 HAS SOPS 237009 HAS SOUS 92690 HAS SOUPS 92690 WITH SCORE 92927.009
AT ITER 7568 NEW BEST:: SOT 461924 SOS 236936 HAS SOPS 236936 HAS SOUS 92657 HAS SOUPS 92657 WITH SCORE 92893.936
AT ITER 7599 NEW BEST:: SOT 461882 SOS 236922 HAS SOPS 236922 HAS SOUS 92643 HAS SOUPS 92643 WITH SCORE 92879.922
AT ITER 7618 NEW BEST:: SOT 461818 SOS 236824 HAS SOPS 236824 HAS SOUS 92545 HAS SOUPS 92545 WITH SCORE 92781.824
AT ITER 7622 NEW BEST:: SOT 461808 SOS 236850 HAS SOPS 236850 HAS SOUS 92525 HAS SOUPS 92525 WITH SCORE 92761.85
AT ITER 7630 NEW BEST:: SOT 461539 SOS 236581 HAS SOPS 236581 HAS SOUS 92496 HAS SOUPS 92496 WITH SCORE 92732.581
AT ITER 7666 NEW BEST:: SOT 461535 SOS 236577 HAS SOPS 236577 HAS SOUS 92486 HAS SOUPS 92486 WITH SCORE 92722.577
AT ITER 7696 NEW BEST:: SOT 461535 SOS 236451 HAS SOPS 236451 HAS SOUS 92486 HAS SOUPS 92486 WITH SCORE 92722.451
AT ITER 7724 NEW BEST:: SOT 461509 SOS 236425 HAS SOPS 236425 HAS SOUS 92460 HAS SOUPS 92460 WITH SCORE 92696.425
AT ITER 7770 NEW BEST:: SOT 461508 SOS 236424 HAS SOPS 236424 HAS SOUS 92417 HAS SOUPS 92417 WITH SCORE 92653.424
AT ITER 7824 NEW BEST:: SOT 461508 SOS 236430 HAS SOPS 236430 HAS SOUS 92411 HAS SOUPS 92411 WITH SCORE 92647.43
AT ITER 7834 NEW BEST:: SOT 461508 SOS 236415 HAS SOPS 236415 HAS SOUS 92396 HAS SOUPS 92396 WITH SCORE 92632.415
AT ITER 7864 NEW BEST:: SOT 461506 SOS 236413 HAS SOPS 236413 HAS SOUS 92392 HAS SOUPS 92392 WITH SCORE 92628.413
AT ITER 7865 NEW BEST:: SOT 461485 SOS 236392 HAS SOPS 236392 HAS SOUS 92371 HAS SOUPS 92371 WITH SCORE 92607.392
AT ITER 7872 NEW BEST:: SOT 461469 SOS 236302 HAS SOPS 236302 HAS SOUS 92360 HAS SOUPS 92360 WITH SCORE 92596.302
AT ITER 7874 NEW BEST:: SOT 461459 SOS 236292 HAS SOPS 236292 HAS SOUS 92350 HAS SOUPS 92350 WITH SCORE 92586.292
AT ITER 7908 NEW BEST:: SOT 461448 SOS 236281 HAS SOPS 236281 HAS SOUS 92314 HAS SOUPS 92314 WITH SCORE 92550.281
AT ITER 7916 NEW BEST:: SOT 461340 SOS 235804 HAS SOPS 235804 HAS SOUS 91946 HAS SOUPS 91946 WITH SCORE 92181.804
AT ITER 7918 NEW BEST:: SOT 461243 SOS 235513 HAS SOPS 235513 HAS SOUS 91657 HAS SOUPS 91657 WITH SCORE 91892.513
AT ITER 7941 NEW BEST:: SOT 461115 SOS 234384 HAS SOPS 234384 HAS SOUS 91529 HAS SOUPS 91529 WITH SCORE 91763.384
AT ITER 7949 NEW BEST:: SOT 461117 SOS 234358 HAS SOPS 234358 HAS SOUS 91503 HAS SOUPS 91503 WITH SCORE 91737.358
AT ITER 7979 NEW BEST:: SOT 461090 SOS 234304 HAS SOPS 234304 HAS SOUS 91449 HAS SOUPS 91449 WITH SCORE 91683.304
AT ITER 8062 NEW BEST:: SOT 460962 SOS 234371 HAS SOPS 234371 HAS SOUS 91371 HAS SOUPS 91371 WITH SCORE 91605.371
AT ITER 8063 NEW BEST:: SOT 460941 SOS 234405 HAS SOPS 234405 HAS SOUS 91315 HAS SOUPS 91315 WITH SCORE 91549.405
AT ITER 8082 NEW BEST:: SOT 460935 SOS 234414 HAS SOPS 234414 HAS SOUS 91294 HAS SOUPS 91294 WITH SCORE 91528.414
AT ITER 8105 NEW BEST:: SOT 460896 SOS 234179 HAS SOPS 234179 HAS SOUS 91235 HAS SOUPS 91235 WITH SCORE 91469.179
AT ITER 8121 NEW BEST:: SOT 461059 SOS 233584 HAS SOPS 233584 HAS SOUS 91088 HAS SOUPS 91088 WITH SCORE 91321.584
AT ITER 8123 NEW BEST:: SOT 461059 SOS 233624 HAS SOPS 233624 HAS SOUS 91087 HAS SOUPS 91087 WITH SCORE 91320.624
AT ITER 8143 NEW BEST:: SOT 461066 SOS 233623 HAS SOPS 233623 HAS SOUS 91086 HAS SOUPS 91086 WITH SCORE 91319.623
AT ITER 8169 NEW BEST:: SOT 461096 SOS 233684 HAS SOPS 233684 HAS SOUS 91032 HAS SOUPS 91032 WITH SCORE 91265.684
AT ITER 8177 NEW BEST:: SOT 461078 SOS 233666 HAS SOPS 233666 HAS SOUS 90996 HAS SOUPS 90996 WITH SCORE 91229.666
AT ITER 8201 NEW BEST:: SOT 460927 SOS 233364 HAS SOPS 233364 HAS SOUS 90931 HAS SOUPS 90931 WITH SCORE 91164.364
AT ITER 8208 NEW BEST:: SOT 460853 SOS 233264 HAS SOPS 233264 HAS SOUS 90905 HAS SOUPS 90905 WITH SCORE 91138.264
AT ITER 8212 NEW BEST:: SOT 460853 SOS 233264 HAS SOPS 233264 HAS SOUS 90898 HAS SOUPS 90898 WITH SCORE 91131.264
AT ITER 8216 NEW BEST:: SOT 460827 SOS 233238 HAS SOPS 233238 HAS SOUS 90872 HAS SOUPS 90872 WITH SCORE 91105.238
AT ITER 8241 NEW BEST:: SOT 460821 SOS 233232 HAS SOPS 233232 HAS SOUS 90866 HAS SOUPS 90866 WITH SCORE 91099.232
AT ITER 8280 NEW BEST:: SOT 460815 SOS 233223 HAS SOPS 233223 HAS SOUS 90857 HAS SOUPS 90857 WITH SCORE 91090.223
AT ITER 8297 NEW BEST:: SOT 460701 SOS 233093 HAS SOPS 233093 HAS SOUS 90727 HAS SOUPS 90727 WITH SCORE 90960.093
AT ITER 8311 NEW BEST:: SOT 460701 SOS 233182 HAS SOPS 233182 HAS SOUS 90600 HAS SOUPS 90600 WITH SCORE 90833.182
AT ITER 8347 NEW BEST:: SOT 460551 SOS 232882 HAS SOPS 232882 HAS SOUS 90300 HAS SOUPS 90300 WITH SCORE 90532.882
AT ITER 8360 NEW BEST:: SOT 460551 SOS 232870 HAS SOPS 232870 HAS SOUS 90288 HAS SOUPS 90288 WITH SCORE 90520.87
AT ITER 8370 NEW BEST:: SOT 460541 SOS 232654 HAS SOPS 232654 HAS SOUS 90220 HAS SOUPS 90220 WITH SCORE 90452.654
AT ITER 8389 NEW BEST:: SOT 460531 SOS 232650 HAS SOPS 232650 HAS SOUS 90216 HAS SOUPS 90216 WITH SCORE 90448.65
AT ITER 8390 NEW BEST:: SOT 460465 SOS 232506 HAS SOPS 232506 HAS SOUS 89926 HAS SOUPS 89926 WITH SCORE 90158.506
AT ITER 8431 NEW BEST:: SOT 460449 SOS 232394 HAS SOPS 232394 HAS SOUS 89902 HAS SOUPS 89902 WITH SCORE 90134.394
AT ITER 8447 NEW BEST:: SOT 460437 SOS 232116 HAS SOPS 232116 HAS SOUS 89852 HAS SOUPS 89852 WITH SCORE 90084.116
AT ITER 8451 NEW BEST:: SOT 460437 SOS 232109 HAS SOPS 232109 HAS SOUS 89809 HAS SOUPS 89809 WITH SCORE 90041.109
AT ITER 8494 NEW BEST:: SOT 460306 SOS 231770 HAS SOPS 231770 HAS SOUS 89701 HAS SOUPS 89701 WITH SCORE 89932.77
AT ITER 8510 NEW BEST:: SOT 460371 SOS 231696 HAS SOPS 231696 HAS SOUS 89659 HAS SOUPS 89659 WITH SCORE 89890.696
AT ITER 8516 NEW BEST:: SOT 460378 SOS 231688 HAS SOPS 231688 HAS SOUS 89651 HAS SOUPS 89651 WITH SCORE 89882.688
AT ITER 8526 NEW BEST:: SOT 460373 SOS 231676 HAS SOPS 231676 HAS SOUS 89648 HAS SOUPS 89648 WITH SCORE 89879.676
AT ITER 8538 NEW BEST:: SOT 460373 SOS 231676 HAS SOPS 231676 HAS SOUS 89640 HAS SOUPS 89640 WITH SCORE 89871.676
AT ITER 8567 NEW BEST:: SOT 460398 SOS 231648 HAS SOPS 231648 HAS SOUS 89612 HAS SOUPS 89612 WITH SCORE 89843.648
AT ITER 8576 NEW BEST:: SOT 460378 SOS 231628 HAS SOPS 231628 HAS SOUS 89595 HAS SOUPS 89595 WITH SCORE 89826.628
AT ITER 8587 NEW BEST:: SOT 460345 SOS 231562 HAS SOPS 231562 HAS SOUS 89529 HAS SOUPS 89529 WITH SCORE 89760.562
AT ITER 8613 NEW BEST:: SOT 460275 SOS 231968 HAS SOPS 231968 HAS SOUS 89376 HAS SOUPS 89376 WITH SCORE 89607.968
AT ITER 8621 NEW BEST:: SOT 460227 SOS 231922 HAS SOPS 231922 HAS SOUS 89330 HAS SOUPS 89330 WITH SCORE 89561.922
AT ITER 8668 NEW BEST:: SOT 460206 SOS 231901 HAS SOPS 231901 HAS SOUS 89309 HAS SOUPS 89309 WITH SCORE 89540.901
AT ITER 8671 NEW BEST:: SOT 460124 SOS 231816 HAS SOPS 231816 HAS SOUS 89224 HAS SOUPS 89224 WITH SCORE 89455.816
AT ITER 8694 NEW BEST:: SOT 460121 SOS 231813 HAS SOPS 231813 HAS SOUS 89218 HAS SOUPS 89218 WITH SCORE 89449.813
AT ITER 8760 NEW BEST:: SOT 460093 SOS 231787 HAS SOPS 231787 HAS SOUS 89202 HAS SOUPS 89202 WITH SCORE 89433.787
AT ITER 8764 NEW BEST:: SOT 460084 SOS 231772 HAS SOPS 231772 HAS SOUS 89187 HAS SOUPS 89187 WITH SCORE 89418.772
AT ITER 8789 NEW BEST:: SOT 460082 SOS 231770 HAS SOPS 231770 HAS SOUS 89091 HAS SOUPS 89091 WITH SCORE 89322.77
AT ITER 8801 NEW BEST:: SOT 460070 SOS 231758 HAS SOPS 231758 HAS SOUS 89079 HAS SOUPS 89079 WITH SCORE 89310.758
AT ITER 8852 NEW BEST:: SOT 460031 SOS 231680 HAS SOPS 231680 HAS SOUS 89001 HAS SOUPS 89001 WITH SCORE 89232.68
AT ITER 8870 NEW BEST:: SOT 460028 SOS 231677 HAS SOPS 231677 HAS SOUS 88995 HAS SOUPS 88995 WITH SCORE 89226.677
AT ITER 8884 NEW BEST:: SOT 460016 SOS 231634 HAS SOPS 231634 HAS SOUS 88952 HAS SOUPS 88952 WITH SCORE 89183.634
AT ITER 8935 NEW BEST:: SOT 460014 SOS 231615 HAS SOPS 231615 HAS SOUS 88933 HAS SOUPS 88933 WITH SCORE 89164.615
AT ITER 8943 NEW BEST:: SOT 460102 SOS 231703 HAS SOPS 231703 HAS SOUS 88929 HAS SOUPS 88929 WITH SCORE 89160.703
AT ITER 8959 NEW BEST:: SOT 460100 SOS 231701 HAS SOPS 231701 HAS SOUS 88927 HAS SOUPS 88927 WITH SCORE 89158.701
AT ITER 8990 NEW BEST:: SOT 459959 SOS 231160 HAS SOPS 231160 HAS SOUS 88586 HAS SOUPS 88586 WITH SCORE 88817.16
AT ITER 9013 NEW BEST:: SOT 459781 SOS 231123 HAS SOPS 231123 HAS SOUS 88577 HAS SOUPS 88577 WITH SCORE 88808.123
AT ITER 9026 NEW BEST:: SOT 459781 SOS 231123 HAS SOPS 231123 HAS SOUS 88542 HAS SOUPS 88542 WITH SCORE 88773.123
AT ITER 9036 NEW BEST:: SOT 459778 SOS 231120 HAS SOPS 231120 HAS SOUS 88539 HAS SOUPS 88539 WITH SCORE 88770.12
AT ITER 9038 NEW BEST:: SOT 459770 SOS 231104 HAS SOPS 231104 HAS SOUS 88507 HAS SOUPS 88507 WITH SCORE 88738.104
AT ITER 9041 NEW BEST:: SOT 459770 SOS 231104 HAS SOPS 231104 HAS SOUS 88503 HAS SOUPS 88503 WITH SCORE 88734.104
AT ITER 9042 NEW BEST:: SOT 459739 SOS 231073 HAS SOPS 231073 HAS SOUS 88441 HAS SOUPS 88441 WITH SCORE 88672.073
AT ITER 9048 NEW BEST:: SOT 459813 SOS 231263 HAS SOPS 231263 HAS SOUS 88395 HAS SOUPS 88395 WITH SCORE 88626.263
AT ITER 9094 NEW BEST:: SOT 459793 SOS 231243 HAS SOPS 231243 HAS SOUS 88375 HAS SOUPS 88375 WITH SCORE 88606.243
AT ITER 9095 NEW BEST:: SOT 459755 SOS 231207 HAS SOPS 231207 HAS SOUS 88248 HAS SOUPS 88248 WITH SCORE 88479.207
AT ITER 9115 NEW BEST:: SOT 459774 SOS 230438 HAS SOPS 230438 HAS SOUS 88167 HAS SOUPS 88167 WITH SCORE 88397.438
AT ITER 9116 NEW BEST:: SOT 459756 SOS 230432 HAS SOPS 230432 HAS SOUS 88131 HAS SOUPS 88131 WITH SCORE 88361.432
AT ITER 9119 NEW BEST:: SOT 459736 SOS 230402 HAS SOPS 230402 HAS SOUS 88101 HAS SOUPS 88101 WITH SCORE 88331.402
AT ITER 9126 NEW BEST:: SOT 459585 SOS 230678 HAS SOPS 230678 HAS SOUS 88043 HAS SOUPS 88043 WITH SCORE 88273.678
AT ITER 9129 NEW BEST:: SOT 459578 SOS 230664 HAS SOPS 230664 HAS SOUS 88029 HAS SOUPS 88029 WITH SCORE 88259.664
AT ITER 9136 NEW BEST:: SOT 459573 SOS 230666 HAS SOPS 230666 HAS SOUS 88017 HAS SOUPS 88017 WITH SCORE 88247.666
AT ITER 9137 NEW BEST:: SOT 459552 SOS 230624 HAS SOPS 230624 HAS SOUS 87975 HAS SOUPS 87975 WITH SCORE 88205.624
AT ITER 9148 NEW BEST:: SOT 459531 SOS 230603 HAS SOPS 230603 HAS SOUS 87952 HAS SOUPS 87952 WITH SCORE 88182.603
AT ITER 9149 NEW BEST:: SOT 459439 SOS 230453 HAS SOPS 230453 HAS SOUS 87860 HAS SOUPS 87860 WITH SCORE 88090.453
AT ITER 9172 NEW BEST:: SOT 459425 SOS 230439 HAS SOPS 230439 HAS SOUS 87846 HAS SOUPS 87846 WITH SCORE 88076.439
AT ITER 9187 NEW BEST:: SOT 459365 SOS 230417 HAS SOPS 230417 HAS SOUS 87824 HAS SOUPS 87824 WITH SCORE 88054.417
AT ITER 9236 NEW BEST:: SOT 459372 SOS 230299 HAS SOPS 230299 HAS SOUS 87716 HAS SOUPS 87716 WITH SCORE 87946.299
AT ITER 9258 NEW BEST:: SOT 459069 SOS 229938 HAS SOPS 229938 HAS SOUS 87312 HAS SOUPS 87312 WITH SCORE 87541.938
AT ITER 9310 NEW BEST:: SOT 459469 SOS 229745 HAS SOPS 229745 HAS SOUS 87257 HAS SOUPS 87257 WITH SCORE 87486.745
AT ITER 9312 NEW BEST:: SOT 459426 SOS 229739 HAS SOPS 229739 HAS SOUS 87241 HAS SOUPS 87241 WITH SCORE 87470.739
AT ITER 9337 NEW BEST:: SOT 459350 SOS 229663 HAS SOPS 229663 HAS SOUS 87165 HAS SOUPS 87165 WITH SCORE 87394.663
AT ITER 9457 NEW BEST:: SOT 459296 SOS 229663 HAS SOPS 229663 HAS SOUS 87133 HAS SOUPS 87133 WITH SCORE 87362.663
AT ITER 9468 NEW BEST:: SOT 459296 SOS 229548 HAS SOPS 229548 HAS SOUS 87018 HAS SOUPS 87018 WITH SCORE 87247.548
AT ITER 9473 NEW BEST:: SOT 459286 SOS 229517 HAS SOPS 229517 HAS SOUS 86982 HAS SOUPS 86982 WITH SCORE 87211.517
AT ITER 9479 NEW BEST:: SOT 459263 SOS 229519 HAS SOPS 229519 HAS SOUS 86941 HAS SOUPS 86941 WITH SCORE 87170.519
AT ITER 9496 NEW BEST:: SOT 459262 SOS 229517 HAS SOPS 229517 HAS SOUS 86939 HAS SOUPS 86939 WITH SCORE 87168.517
AT ITER 9502 NEW BEST:: SOT 459194 SOS 229436 HAS SOPS 229436 HAS SOUS 86858 HAS SOUPS 86858 WITH SCORE 87087.436
AT ITER 9509 NEW BEST:: SOT 459126 SOS 229368 HAS SOPS 229368 HAS SOUS 86754 HAS SOUPS 86754 WITH SCORE 86983.368
AT ITER 9517 NEW BEST:: SOT 459072 SOS 229238 HAS SOPS 229238 HAS SOUS 86669 HAS SOUPS 86669 WITH SCORE 86898.238
AT ITER 9548 NEW BEST:: SOT 459089 SOS 229255 HAS SOPS 229255 HAS SOUS 86653 HAS SOUPS 86653 WITH SCORE 86882.255
AT ITER 9591 NEW BEST:: SOT 459155 SOS 229307 HAS SOPS 229307 HAS SOUS 86650 HAS SOUPS 86650 WITH SCORE 86879.307
AT ITER 9602 NEW BEST:: SOT 459119 SOS 229233 HAS SOPS 229233 HAS SOUS 86616 HAS SOUPS 86616 WITH SCORE 86845.233
AT ITER 9681 NEW BEST:: SOT 459143 SOS 229139 HAS SOPS 229139 HAS SOUS 86522 HAS SOUPS 86522 WITH SCORE 86751.139
AT ITER 9724 NEW BEST:: SOT 459143 SOS 229138 HAS SOPS 229138 HAS SOUS 86522 HAS SOUPS 86522 WITH SCORE 86751.138
AT ITER 9726 NEW BEST:: SOT 459143 SOS 229132 HAS SOPS 229132 HAS SOUS 86516 HAS SOUPS 86516 WITH SCORE 86745.132
AT ITER 9731 NEW BEST:: SOT 459143 SOS 229117 HAS SOPS 229117 HAS SOUS 86501 HAS SOUPS 86501 WITH SCORE 86730.117
AT ITER 9740 NEW BEST:: SOT 459141 SOS 229113 HAS SOPS 229113 HAS SOUS 86499 HAS SOUPS 86499 WITH SCORE 86728.113
AT ITER 9741 NEW BEST:: SOT 459041 SOS 228950 HAS SOPS 228950 HAS SOUS 86336 HAS SOUPS 86336 WITH SCORE 86564.95
AT ITER 9743 NEW BEST:: SOT 459039 SOS 228946 HAS SOPS 228946 HAS SOUS 86332 HAS SOUPS 86332 WITH SCORE 86560.946
AT ITER 9745 NEW BEST:: SOT 459039 SOS 228941 HAS SOPS 228941 HAS SOUS 86327 HAS SOUPS 86327 WITH SCORE 86555.941
AT ITER 9751 NEW BEST:: SOT 459039 SOS 228677 HAS SOPS 228677 HAS SOUS 86325 HAS SOUPS 86325 WITH SCORE 86553.677
AT ITER 9758 NEW BEST:: SOT 459036 SOS 228674 HAS SOPS 228674 HAS SOUS 86322 HAS SOUPS 86322 WITH SCORE 86550.674
AT ITER 9773 NEW BEST:: SOT 458949 SOS 228573 HAS SOPS 228573 HAS SOUS 86300 HAS SOUPS 86300 WITH SCORE 86528.573
AT ITER 9777 NEW BEST:: SOT 459070 SOS 228694 HAS SOPS 228694 HAS SOUS 86264 HAS SOUPS 86264 WITH SCORE 86492.694
AT ITER 9781 NEW BEST:: SOT 459016 SOS 228640 HAS SOPS 228640 HAS SOUS 86211 HAS SOUPS 86211 WITH SCORE 86439.64
AT ITER 9788 NEW BEST:: SOT 459013 SOS 228615 HAS SOPS 228615 HAS SOUS 86170 HAS SOUPS 86170 WITH SCORE 86398.615
AT ITER 9819 NEW BEST:: SOT 459013 SOS 228629 HAS SOPS 228629 HAS SOUS 86156 HAS SOUPS 86156 WITH SCORE 86384.629
AT ITER 9829 NEW BEST:: SOT 459003 SOS 228494 HAS SOPS 228494 HAS SOUS 86136 HAS SOUPS 86136 WITH SCORE 86364.494
AT ITER 9873 NEW BEST:: SOT 459003 SOS 228467 HAS SOPS 228467 HAS SOUS 86135 HAS SOUPS 86135 WITH SCORE 86363.467
AT ITER 9879 NEW BEST:: SOT 458975 SOS 228436 HAS SOPS 228436 HAS SOUS 86104 HAS SOUPS 86104 WITH SCORE 86332.436
AT ITER 9884 NEW BEST:: SOT 458837 SOS 228298 HAS SOPS 228298 HAS SOUS 85974 HAS SOUPS 85974 WITH SCORE 86202.298
AT ITER 9889 NEW BEST:: SOT 458823 SOS 228475 HAS SOPS 228475 HAS SOUS 85932 HAS SOUPS 85932 WITH SCORE 86160.475
AT ITER 9893 NEW BEST:: SOT 458797 SOS 228241 HAS SOPS 228241 HAS SOUS 85835 HAS SOUPS 85835 WITH SCORE 86063.241
AT ITER 9911 NEW BEST:: SOT 458767 SOS 227759 HAS SOPS 227759 HAS SOUS 85789 HAS SOUPS 85789 WITH SCORE 86016.759
AT ITER 9920 NEW BEST:: SOT 458767 SOS 227723 HAS SOPS 227723 HAS SOUS 85783 HAS SOUPS 85783 WITH SCORE 86010.723
AT ITER 9928 NEW BEST:: SOT 458818 SOS 227698 HAS SOPS 227698 HAS SOUS 85771 HAS SOUPS 85771 WITH SCORE 85998.698
AT ITER 9929 NEW BEST:: SOT 458788 SOS 227668 HAS SOPS 227668 HAS SOUS 85741 HAS SOUPS 85741 WITH SCORE 85968.668
AT ITER 9961 NEW BEST:: SOT 458743 SOS 227596 HAS SOPS 227596 HAS SOUS 85669 HAS SOUPS 85669 WITH SCORE 85896.596
AT ITER 9972 NEW BEST:: SOT 458751 SOS 227630 HAS SOPS 227630 HAS SOUS 85656 HAS SOUPS 85656 WITH SCORE 85883.63
AT ITER 9981 NEW BEST:: SOT 458811 SOS 227744 HAS SOPS 227744 HAS SOUS 85653 HAS SOUPS 85653 WITH SCORE 85880.744
AT ITER 9991 NEW BEST:: SOT 458611 SOS 227544 HAS SOPS 227544 HAS SOUS 85641 HAS SOUPS 85641 WITH SCORE 85868.544

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="ASLink-PT-03a"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is ASLink-PT-03a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r003-smll-158897508000041"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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