About the Execution of smart for ShieldIIPs-PT-040A
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15766.020 | 3600000.00 | 3600030.00 | 0.00 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/mnt/tpsp/fkordon/mcc2020-input.r207-tajo-159033469100172.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ShieldIIPs-PT-040A, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469100172
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 496K
-rw-r--r-- 1 mcc users 3.0K May 14 00:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K May 14 00:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 13 17:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 13 17:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K May 14 10:01 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 14 10:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:01 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 14 10:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.1K May 13 13:17 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K May 13 13:17 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 13 07:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 07:46 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 338K May 12 20:42 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME ShieldIIPs-PT-040A-CTLFireability-00
FORMULA_NAME ShieldIIPs-PT-040A-CTLFireability-01
FORMULA_NAME ShieldIIPs-PT-040A-CTLFireability-02
FORMULA_NAME ShieldIIPs-PT-040A-CTLFireability-03
FORMULA_NAME ShieldIIPs-PT-040A-CTLFireability-04
FORMULA_NAME ShieldIIPs-PT-040A-CTLFireability-05
FORMULA_NAME ShieldIIPs-PT-040A-CTLFireability-06
FORMULA_NAME ShieldIIPs-PT-040A-CTLFireability-07
FORMULA_NAME ShieldIIPs-PT-040A-CTLFireability-08
FORMULA_NAME ShieldIIPs-PT-040A-CTLFireability-09
FORMULA_NAME ShieldIIPs-PT-040A-CTLFireability-10
FORMULA_NAME ShieldIIPs-PT-040A-CTLFireability-11
FORMULA_NAME ShieldIIPs-PT-040A-CTLFireability-12
FORMULA_NAME ShieldIIPs-PT-040A-CTLFireability-13
FORMULA_NAME ShieldIIPs-PT-040A-CTLFireability-14
FORMULA_NAME ShieldIIPs-PT-040A-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1590435815986
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPs (PT), instance 040A
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart
GOT IT HERE. BS
Petri model created: 1003 places, 963 transitions, 4326 arcs.
AT ITER 0 NEW BEST:: SOT 657445 SOS 507808 HAS SOPS 507808 HAS SOUS 427760 HAS SOUPS 427760 WITH SCORE 428267.808
AT ITER 2 NEW BEST:: SOT 656930 SOS 507355 HAS SOPS 507355 HAS SOUS 427307 HAS SOUPS 427307 WITH SCORE 427814.355
AT ITER 5 NEW BEST:: SOT 656880 SOS 507304 HAS SOPS 507304 HAS SOUS 427256 HAS SOUPS 427256 WITH SCORE 427763.304
AT ITER 6 NEW BEST:: SOT 656839 SOS 507099 HAS SOPS 507099 HAS SOUS 427256 HAS SOUPS 427256 WITH SCORE 427763.099
AT ITER 20 NEW BEST:: SOT 656622 SOS 506266 HAS SOPS 506266 HAS SOUS 426720 HAS SOUPS 426720 WITH SCORE 427226.266
AT ITER 24 NEW BEST:: SOT 656422 SOS 505392 HAS SOPS 505392 HAS SOUS 426352 HAS SOUPS 426352 WITH SCORE 426857.392
AT ITER 27 NEW BEST:: SOT 656338 SOS 504197 HAS SOPS 504197 HAS SOUS 426327 HAS SOUPS 426327 WITH SCORE 426831.197
AT ITER 28 NEW BEST:: SOT 656337 SOS 504196 HAS SOPS 504196 HAS SOUS 426326 HAS SOUPS 426326 WITH SCORE 426830.196
AT ITER 32 NEW BEST:: SOT 656130 SOS 504038 HAS SOPS 504038 HAS SOUS 426168 HAS SOUPS 426168 WITH SCORE 426672.038
AT ITER 33 NEW BEST:: SOT 656127 SOS 504035 HAS SOPS 504035 HAS SOUS 426165 HAS SOUPS 426165 WITH SCORE 426669.035
AT ITER 34 NEW BEST:: SOT 656003 SOS 502797 HAS SOPS 502797 HAS SOUS 426027 HAS SOUPS 426027 WITH SCORE 426529.797
AT ITER 41 NEW BEST:: SOT 655889 SOS 502227 HAS SOPS 502227 HAS SOUS 426027 HAS SOUPS 426027 WITH SCORE 426529.227
AT ITER 48 NEW BEST:: SOT 655963 SOS 502151 HAS SOPS 502151 HAS SOUS 426021 HAS SOUPS 426021 WITH SCORE 426523.151
AT ITER 56 NEW BEST:: SOT 655963 SOS 501739 HAS SOPS 501739 HAS SOUS 426009 HAS SOUPS 426009 WITH SCORE 426510.739
AT ITER 60 NEW BEST:: SOT 655883 SOS 501197 HAS SOPS 501197 HAS SOUS 425988 HAS SOUPS 425988 WITH SCORE 426489.197
AT ITER 62 NEW BEST:: SOT 655679 SOS 500993 HAS SOPS 500993 HAS SOUS 425784 HAS SOUPS 425784 WITH SCORE 426284.993
AT ITER 66 NEW BEST:: SOT 655793 SOS 500456 HAS SOPS 500456 HAS SOUS 425650 HAS SOUPS 425650 WITH SCORE 426150.456
AT ITER 86 NEW BEST:: SOT 655790 SOS 500453 HAS SOPS 500453 HAS SOUS 425647 HAS SOUPS 425647 WITH SCORE 426147.453
AT ITER 89 NEW BEST:: SOT 656287 SOS 499978 HAS SOPS 499978 HAS SOUS 425551 HAS SOUPS 425551 WITH SCORE 426050.978
AT ITER 92 NEW BEST:: SOT 656201 SOS 499892 HAS SOPS 499892 HAS SOUS 425465 HAS SOUPS 425465 WITH SCORE 425964.892
AT ITER 93 NEW BEST:: SOT 656327 SOS 500018 HAS SOPS 500018 HAS SOUS 425431 HAS SOUPS 425431 WITH SCORE 425931.018
AT ITER 101 NEW BEST:: SOT 656327 SOS 499642 HAS SOPS 499642 HAS SOUS 425289 HAS SOUPS 425289 WITH SCORE 425788.642
AT ITER 104 NEW BEST:: SOT 656094 SOS 499512 HAS SOPS 499512 HAS SOUS 425276 HAS SOUPS 425276 WITH SCORE 425775.512
AT ITER 110 NEW BEST:: SOT 655642 SOS 499217 HAS SOPS 499217 HAS SOUS 424981 HAS SOUPS 424981 WITH SCORE 425480.217
AT ITER 113 NEW BEST:: SOT 655351 SOS 498926 HAS SOPS 498926 HAS SOUS 424690 HAS SOUPS 424690 WITH SCORE 425188.926
AT ITER 121 NEW BEST:: SOT 654899 SOS 498473 HAS SOPS 498473 HAS SOUS 424237 HAS SOUPS 424237 WITH SCORE 424735.473
AT ITER 123 NEW BEST:: SOT 654899 SOS 498277 HAS SOPS 498277 HAS SOUS 424154 HAS SOUPS 424154 WITH SCORE 424652.277
AT ITER 127 NEW BEST:: SOT 654291 SOS 497668 HAS SOPS 497668 HAS SOUS 423545 HAS SOUPS 423545 WITH SCORE 424042.668
AT ITER 131 NEW BEST:: SOT 653992 SOS 496320 HAS SOPS 496320 HAS SOUS 423233 HAS SOUPS 423233 WITH SCORE 423729.32
AT ITER 141 NEW BEST:: SOT 653992 SOS 495882 HAS SOPS 495882 HAS SOUS 423171 HAS SOUPS 423171 WITH SCORE 423666.882
AT ITER 150 NEW BEST:: SOT 653989 SOS 495879 HAS SOPS 495879 HAS SOUS 423168 HAS SOUPS 423168 WITH SCORE 423663.879
AT ITER 151 NEW BEST:: SOT 654017 SOS 495852 HAS SOPS 495852 HAS SOUS 423140 HAS SOUPS 423140 WITH SCORE 423635.852
AT ITER 154 NEW BEST:: SOT 653359 SOS 495193 HAS SOPS 495193 HAS SOUS 422481 HAS SOUPS 422481 WITH SCORE 422976.193
AT ITER 161 NEW BEST:: SOT 653331 SOS 495165 HAS SOPS 495165 HAS SOUS 422453 HAS SOUPS 422453 WITH SCORE 422948.165
AT ITER 163 NEW BEST:: SOT 653331 SOS 494704 HAS SOPS 494704 HAS SOUS 422296 HAS SOUPS 422296 WITH SCORE 422790.704
AT ITER 176 NEW BEST:: SOT 653081 SOS 494203 HAS SOPS 494203 HAS SOUS 421554 HAS SOUPS 421554 WITH SCORE 422048.203
AT ITER 177 NEW BEST:: SOT 652604 SOS 493725 HAS SOPS 493725 HAS SOUS 421076 HAS SOUPS 421076 WITH SCORE 421569.725
AT ITER 178 NEW BEST:: SOT 652616 SOS 493682 HAS SOPS 493682 HAS SOUS 421033 HAS SOUPS 421033 WITH SCORE 421526.682
AT ITER 181 NEW BEST:: SOT 653226 SOS 493289 HAS SOPS 493289 HAS SOUS 420819 HAS SOUPS 420819 WITH SCORE 421312.289
AT ITER 184 NEW BEST:: SOT 652987 SOS 493050 HAS SOPS 493050 HAS SOUS 420580 HAS SOUPS 420580 WITH SCORE 421073.05
AT ITER 185 NEW BEST:: SOT 652909 SOS 492972 HAS SOPS 492972 HAS SOUS 420502 HAS SOUPS 420502 WITH SCORE 420994.972
AT ITER 196 NEW BEST:: SOT 652557 SOS 492641 HAS SOPS 492641 HAS SOUS 420187 HAS SOUPS 420187 WITH SCORE 420679.641
AT ITER 203 NEW BEST:: SOT 652557 SOS 492640 HAS SOPS 492640 HAS SOUS 420186 HAS SOUPS 420186 WITH SCORE 420678.64
AT ITER 204 NEW BEST:: SOT 652287 SOS 492370 HAS SOPS 492370 HAS SOUS 419916 HAS SOUPS 419916 WITH SCORE 420408.37
AT ITER 205 NEW BEST:: SOT 652117 SOS 492231 HAS SOPS 492231 HAS SOUS 419777 HAS SOUPS 419777 WITH SCORE 420269.231
AT ITER 213 NEW BEST:: SOT 651836 SOS 491948 HAS SOPS 491948 HAS SOUS 419494 HAS SOUPS 419494 WITH SCORE 419985.948
AT ITER 214 NEW BEST:: SOT 651592 SOS 491703 HAS SOPS 491703 HAS SOUS 419249 HAS SOUPS 419249 WITH SCORE 419740.703
AT ITER 215 NEW BEST:: SOT 651602 SOS 491552 HAS SOPS 491552 HAS SOUS 419098 HAS SOUPS 419098 WITH SCORE 419589.552
AT ITER 222 NEW BEST:: SOT 651269 SOS 490904 HAS SOPS 490904 HAS SOUS 418450 HAS SOUPS 418450 WITH SCORE 418940.904
AT ITER 228 NEW BEST:: SOT 650960 SOS 490595 HAS SOPS 490595 HAS SOUS 418141 HAS SOUPS 418141 WITH SCORE 418631.595
AT ITER 230 NEW BEST:: SOT 650494 SOS 490128 HAS SOPS 490128 HAS SOUS 417674 HAS SOUPS 417674 WITH SCORE 418164.128
AT ITER 233 NEW BEST:: SOT 650362 SOS 489996 HAS SOPS 489996 HAS SOUS 417542 HAS SOUPS 417542 WITH SCORE 418031.996
AT ITER 243 NEW BEST:: SOT 650362 SOS 489996 HAS SOPS 489996 HAS SOUS 417540 HAS SOUPS 417540 WITH SCORE 418029.996
AT ITER 251 NEW BEST:: SOT 650362 SOS 489505 HAS SOPS 489505 HAS SOUS 417433 HAS SOUPS 417433 WITH SCORE 417922.505
AT ITER 253 NEW BEST:: SOT 650531 SOS 489050 HAS SOPS 489050 HAS SOUS 417419 HAS SOUPS 417419 WITH SCORE 417908.05
AT ITER 264 NEW BEST:: SOT 650531 SOS 488921 HAS SOPS 488921 HAS SOUS 417419 HAS SOUPS 417419 WITH SCORE 417907.921
AT ITER 273 NEW BEST:: SOT 650391 SOS 488779 HAS SOPS 488779 HAS SOUS 417277 HAS SOUPS 417277 WITH SCORE 417765.779
AT ITER 280 NEW BEST:: SOT 650157 SOS 487859 HAS SOPS 487859 HAS SOUS 416768 HAS SOUPS 416768 WITH SCORE 417255.859
AT ITER 282 NEW BEST:: SOT 649705 SOS 487405 HAS SOPS 487405 HAS SOUS 416314 HAS SOUPS 416314 WITH SCORE 416801.405
AT ITER 284 NEW BEST:: SOT 649704 SOS 487404 HAS SOPS 487404 HAS SOUS 416313 HAS SOUPS 416313 WITH SCORE 416800.404
AT ITER 288 NEW BEST:: SOT 649556 SOS 487399 HAS SOPS 487399 HAS SOUS 416308 HAS SOUPS 416308 WITH SCORE 416795.399
AT ITER 289 NEW BEST:: SOT 650218 SOS 487065 HAS SOPS 487065 HAS SOUS 416097 HAS SOUPS 416097 WITH SCORE 416584.065
AT ITER 299 NEW BEST:: SOT 650022 SOS 486869 HAS SOPS 486869 HAS SOUS 415740 HAS SOUPS 415740 WITH SCORE 416226.869
AT ITER 311 NEW BEST:: SOT 650128 SOS 486975 HAS SOPS 486975 HAS SOUS 415686 HAS SOUPS 415686 WITH SCORE 416172.975
AT ITER 312 NEW BEST:: SOT 649991 SOS 486836 HAS SOPS 486836 HAS SOUS 415547 HAS SOUPS 415547 WITH SCORE 416033.836
AT ITER 325 NEW BEST:: SOT 649991 SOS 486827 HAS SOPS 486827 HAS SOUS 415538 HAS SOUPS 415538 WITH SCORE 416024.827
AT ITER 326 NEW BEST:: SOT 649767 SOS 486601 HAS SOPS 486601 HAS SOUS 415312 HAS SOUPS 415312 WITH SCORE 415798.601
AT ITER 327 NEW BEST:: SOT 649548 SOS 486380 HAS SOPS 486380 HAS SOUS 415091 HAS SOUPS 415091 WITH SCORE 415577.38
AT ITER 329 NEW BEST:: SOT 649866 SOS 485417 HAS SOPS 485417 HAS SOUS 414575 HAS SOUPS 414575 WITH SCORE 415060.417
AT ITER 331 NEW BEST:: SOT 649866 SOS 485416 HAS SOPS 485416 HAS SOUS 414574 HAS SOUPS 414574 WITH SCORE 415059.416
AT ITER 333 NEW BEST:: SOT 649863 SOS 485413 HAS SOPS 485413 HAS SOUS 414571 HAS SOUPS 414571 WITH SCORE 415056.413
AT ITER 351 NEW BEST:: SOT 649693 SOS 484696 HAS SOPS 484696 HAS SOUS 414334 HAS SOUPS 414334 WITH SCORE 414818.696
AT ITER 356 NEW BEST:: SOT 649488 SOS 483655 HAS SOPS 483655 HAS SOUS 413804 HAS SOUPS 413804 WITH SCORE 414287.655
AT ITER 357 NEW BEST:: SOT 649488 SOS 483654 HAS SOPS 483654 HAS SOUS 413803 HAS SOUPS 413803 WITH SCORE 414286.654
AT ITER 360 NEW BEST:: SOT 649874 SOS 483746 HAS SOPS 483746 HAS SOUS 413796 HAS SOUPS 413796 WITH SCORE 414279.746
AT ITER 364 NEW BEST:: SOT 649612 SOS 483324 HAS SOPS 483324 HAS SOUS 413374 HAS SOUPS 413374 WITH SCORE 413857.324
AT ITER 373 NEW BEST:: SOT 649587 SOS 483249 HAS SOPS 483249 HAS SOUS 413373 HAS SOUPS 413373 WITH SCORE 413856.249
AT ITER 375 NEW BEST:: SOT 649664 SOS 483326 HAS SOPS 483326 HAS SOUS 413290 HAS SOUPS 413290 WITH SCORE 413773.326
AT ITER 379 NEW BEST:: SOT 649713 SOS 483321 HAS SOPS 483321 HAS SOUS 413285 HAS SOUPS 413285 WITH SCORE 413768.321
AT ITER 387 NEW BEST:: SOT 649713 SOS 483243 HAS SOPS 483243 HAS SOUS 413285 HAS SOUPS 413285 WITH SCORE 413768.243
AT ITER 395 NEW BEST:: SOT 649651 SOS 483181 HAS SOPS 483181 HAS SOUS 413223 HAS SOUPS 413223 WITH SCORE 413706.181
AT ITER 399 NEW BEST:: SOT 649785 SOS 483315 HAS SOPS 483315 HAS SOUS 413196 HAS SOUPS 413196 WITH SCORE 413679.315
AT ITER 401 NEW BEST:: SOT 649954 SOS 482728 HAS SOPS 482728 HAS SOUS 412640 HAS SOUPS 412640 WITH SCORE 413122.728
AT ITER 408 NEW BEST:: SOT 649742 SOS 481330 HAS SOPS 481330 HAS SOUS 411971 HAS SOUPS 411971 WITH SCORE 412452.33
AT ITER 411 NEW BEST:: SOT 649674 SOS 481262 HAS SOPS 481262 HAS SOUS 411903 HAS SOUPS 411903 WITH SCORE 412384.262
AT ITER 412 NEW BEST:: SOT 649671 SOS 481259 HAS SOPS 481259 HAS SOUS 411900 HAS SOUPS 411900 WITH SCORE 412381.259
AT ITER 413 NEW BEST:: SOT 649671 SOS 480931 HAS SOPS 480931 HAS SOUS 411848 HAS SOUPS 411848 WITH SCORE 412328.931
AT ITER 415 NEW BEST:: SOT 649444 SOS 480704 HAS SOPS 480704 HAS SOUS 411621 HAS SOUPS 411621 WITH SCORE 412101.704
AT ITER 418 NEW BEST:: SOT 649363 SOS 480623 HAS SOPS 480623 HAS SOUS 411540 HAS SOUPS 411540 WITH SCORE 412020.623
AT ITER 422 NEW BEST:: SOT 649363 SOS 480586 HAS SOPS 480586 HAS SOUS 411503 HAS SOUPS 411503 WITH SCORE 411983.586
AT ITER 426 NEW BEST:: SOT 648920 SOS 480146 HAS SOPS 480146 HAS SOUS 411069 HAS SOUPS 411069 WITH SCORE 411549.146
AT ITER 427 NEW BEST:: SOT 648679 SOS 479067 HAS SOPS 479067 HAS SOUS 410572 HAS SOUPS 410572 WITH SCORE 411051.067
AT ITER 429 NEW BEST:: SOT 648677 SOS 479065 HAS SOPS 479065 HAS SOUS 410570 HAS SOUPS 410570 WITH SCORE 411049.065
AT ITER 430 NEW BEST:: SOT 648715 SOS 479019 HAS SOPS 479019 HAS SOUS 410524 HAS SOUPS 410524 WITH SCORE 411003.019
AT ITER 442 NEW BEST:: SOT 648715 SOS 478687 HAS SOPS 478687 HAS SOUS 410429 HAS SOUPS 410429 WITH SCORE 410907.687
AT ITER 444 NEW BEST:: SOT 648702 SOS 478743 HAS SOPS 478743 HAS SOUS 410405 HAS SOUPS 410405 WITH SCORE 410883.743
AT ITER 446 NEW BEST:: SOT 648448 SOS 478487 HAS SOPS 478487 HAS SOUS 410149 HAS SOUPS 410149 WITH SCORE 410627.487
AT ITER 449 NEW BEST:: SOT 648385 SOS 478424 HAS SOPS 478424 HAS SOUS 410086 HAS SOUPS 410086 WITH SCORE 410564.424
AT ITER 450 NEW BEST:: SOT 647444 SOS 477647 HAS SOPS 477647 HAS SOUS 409309 HAS SOUPS 409309 WITH SCORE 409786.647
AT ITER 454 NEW BEST:: SOT 647390 SOS 477593 HAS SOPS 477593 HAS SOUS 409255 HAS SOUPS 409255 WITH SCORE 409732.593
AT ITER 460 NEW BEST:: SOT 647155 SOS 476563 HAS SOPS 476563 HAS SOUS 408695 HAS SOUPS 408695 WITH SCORE 409171.563
AT ITER 463 NEW BEST:: SOT 647078 SOS 476486 HAS SOPS 476486 HAS SOUS 408618 HAS SOUPS 408618 WITH SCORE 409094.486
AT ITER 477 NEW BEST:: SOT 647018 SOS 476426 HAS SOPS 476426 HAS SOUS 408558 HAS SOUPS 408558 WITH SCORE 409034.426
AT ITER 480 NEW BEST:: SOT 646988 SOS 476396 HAS SOPS 476396 HAS SOUS 408528 HAS SOUPS 408528 WITH SCORE 409004.396
AT ITER 485 NEW BEST:: SOT 647343 SOS 476378 HAS SOPS 476378 HAS SOUS 408510 HAS SOUPS 408510 WITH SCORE 408986.378
AT ITER 493 NEW BEST:: SOT 647236 SOS 476271 HAS SOPS 476271 HAS SOUS 408467 HAS SOUPS 408467 WITH SCORE 408943.271
AT ITER 498 NEW BEST:: SOT 647236 SOS 476239 HAS SOPS 476239 HAS SOUS 408433 HAS SOUPS 408433 WITH SCORE 408909.239
AT ITER 504 NEW BEST:: SOT 647084 SOS 476087 HAS SOPS 476087 HAS SOUS 408281 HAS SOUPS 408281 WITH SCORE 408757.087
AT ITER 507 NEW BEST:: SOT 646943 SOS 475944 HAS SOPS 475944 HAS SOUS 408138 HAS SOUPS 408138 WITH SCORE 408613.944
AT ITER 509 NEW BEST:: SOT 645722 SOS 474723 HAS SOPS 474723 HAS SOUS 406917 HAS SOUPS 406917 WITH SCORE 407391.723
AT ITER 510 NEW BEST:: SOT 645466 SOS 473853 HAS SOPS 473853 HAS SOUS 406604 HAS SOUPS 406604 WITH SCORE 407077.853
AT ITER 511 NEW BEST:: SOT 644443 SOS 473019 HAS SOPS 473019 HAS SOUS 405770 HAS SOUPS 405770 WITH SCORE 406243.019
AT ITER 512 NEW BEST:: SOT 644587 SOS 472998 HAS SOPS 472998 HAS SOUS 405582 HAS SOUPS 405582 WITH SCORE 406054.998
AT ITER 514 NEW BEST:: SOT 644587 SOS 472754 HAS SOPS 472754 HAS SOUS 405547 HAS SOUPS 405547 WITH SCORE 406019.754
AT ITER 515 NEW BEST:: SOT 643992 SOS 471960 HAS SOPS 471960 HAS SOUS 404753 HAS SOUPS 404753 WITH SCORE 405224.96
AT ITER 517 NEW BEST:: SOT 643919 SOS 471711 HAS SOPS 471711 HAS SOUS 404607 HAS SOUPS 404607 WITH SCORE 405078.711
AT ITER 521 NEW BEST:: SOT 643173 SOS 470647 HAS SOPS 470647 HAS SOUS 404164 HAS SOUPS 404164 WITH SCORE 404634.647
AT ITER 523 NEW BEST:: SOT 643015 SOS 470489 HAS SOPS 470489 HAS SOUS 404006 HAS SOUPS 404006 WITH SCORE 404476.489
AT ITER 525 NEW BEST:: SOT 642941 SOS 470415 HAS SOPS 470415 HAS SOUS 403932 HAS SOUPS 403932 WITH SCORE 404402.415
AT ITER 527 NEW BEST:: SOT 642908 SOS 470217 HAS SOPS 470217 HAS SOUS 403833 HAS SOUPS 403833 WITH SCORE 404303.217
AT ITER 532 NEW BEST:: SOT 642886 SOS 469970 HAS SOPS 469970 HAS SOUS 403586 HAS SOUPS 403586 WITH SCORE 404055.97
AT ITER 535 NEW BEST:: SOT 642871 SOS 469955 HAS SOPS 469955 HAS SOUS 403571 HAS SOUPS 403571 WITH SCORE 404040.955
AT ITER 539 NEW BEST:: SOT 642390 SOS 469397 HAS SOPS 469397 HAS SOUS 403013 HAS SOUPS 403013 WITH SCORE 403482.397
AT ITER 541 NEW BEST:: SOT 642148 SOS 469153 HAS SOPS 469153 HAS SOUS 402769 HAS SOUPS 402769 WITH SCORE 403238.153
AT ITER 547 NEW BEST:: SOT 642148 SOS 469004 HAS SOPS 469004 HAS SOUS 402756 HAS SOUPS 402756 WITH SCORE 403225.004
AT ITER 550 NEW BEST:: SOT 642135 SOS 468978 HAS SOPS 468978 HAS SOUS 402730 HAS SOUPS 402730 WITH SCORE 403198.978
AT ITER 555 NEW BEST:: SOT 642134 SOS 468975 HAS SOPS 468975 HAS SOUS 402727 HAS SOUPS 402727 WITH SCORE 403195.975
AT ITER 563 NEW BEST:: SOT 642129 SOS 468965 HAS SOPS 468965 HAS SOUS 402717 HAS SOUPS 402717 WITH SCORE 403185.965
AT ITER 568 NEW BEST:: SOT 642404 SOS 468336 HAS SOPS 468336 HAS SOUS 402716 HAS SOUPS 402716 WITH SCORE 403184.336
AT ITER 571 NEW BEST:: SOT 641637 SOS 467066 HAS SOPS 467066 HAS SOUS 401981 HAS SOUPS 401981 WITH SCORE 402448.066
AT ITER 577 NEW BEST:: SOT 641617 SOS 467046 HAS SOPS 467046 HAS SOUS 401960 HAS SOUPS 401960 WITH SCORE 402427.046
AT ITER 589 NEW BEST:: SOT 641036 SOS 466451 HAS SOPS 466451 HAS SOUS 401214 HAS SOUPS 401214 WITH SCORE 401680.451
AT ITER 590 NEW BEST:: SOT 640913 SOS 466328 HAS SOPS 466328 HAS SOUS 401090 HAS SOUPS 401090 WITH SCORE 401556.328
AT ITER 591 NEW BEST:: SOT 640913 SOS 466351 HAS SOPS 466351 HAS SOUS 401089 HAS SOUPS 401089 WITH SCORE 401555.351
AT ITER 600 NEW BEST:: SOT 640809 SOS 466245 HAS SOPS 466245 HAS SOUS 400983 HAS SOUPS 400983 WITH SCORE 401449.245
AT ITER 607 NEW BEST:: SOT 639629 SOS 465159 HAS SOPS 465159 HAS SOUS 399833 HAS SOUPS 399833 WITH SCORE 400298.159
AT ITER 609 NEW BEST:: SOT 639136 SOS 464666 HAS SOPS 464666 HAS SOUS 399340 HAS SOUPS 399340 WITH SCORE 399804.666
AT ITER 610 NEW BEST:: SOT 639136 SOS 464496 HAS SOPS 464496 HAS SOUS 399306 HAS SOUPS 399306 WITH SCORE 399770.496
AT ITER 611 NEW BEST:: SOT 639136 SOS 464399 HAS SOPS 464399 HAS SOUS 399306 HAS SOUPS 399306 WITH SCORE 399770.399
AT ITER 613 NEW BEST:: SOT 638759 SOS 464025 HAS SOPS 464025 HAS SOUS 398934 HAS SOUPS 398934 WITH SCORE 399398.025
AT ITER 614 NEW BEST:: SOT 638298 SOS 463564 HAS SOPS 463564 HAS SOUS 398473 HAS SOUPS 398473 WITH SCORE 398936.564
AT ITER 615 NEW BEST:: SOT 638490 SOS 462913 HAS SOPS 462913 HAS SOUS 398130 HAS SOUPS 398130 WITH SCORE 398592.913
AT ITER 619 NEW BEST:: SOT 638490 SOS 462750 HAS SOPS 462750 HAS SOUS 397967 HAS SOUPS 397967 WITH SCORE 398429.75
AT ITER 623 NEW BEST:: SOT 638484 SOS 463843 HAS SOPS 463843 HAS SOUS 397922 HAS SOUPS 397922 WITH SCORE 398385.843
AT ITER 629 NEW BEST:: SOT 638383 SOS 463742 HAS SOPS 463742 HAS SOUS 397821 HAS SOUPS 397821 WITH SCORE 398284.742
AT ITER 630 NEW BEST:: SOT 638200 SOS 462755 HAS SOPS 462755 HAS SOUS 397546 HAS SOUPS 397546 WITH SCORE 398008.755
AT ITER 631 NEW BEST:: SOT 637931 SOS 462484 HAS SOPS 462484 HAS SOUS 397275 HAS SOUPS 397275 WITH SCORE 397737.484
AT ITER 636 NEW BEST:: SOT 638671 SOS 462590 HAS SOPS 462590 HAS SOUS 397046 HAS SOUPS 397046 WITH SCORE 397508.59
AT ITER 646 NEW BEST:: SOT 638641 SOS 462560 HAS SOPS 462560 HAS SOUS 397016 HAS SOUPS 397016 WITH SCORE 397478.56
AT ITER 650 NEW BEST:: SOT 638519 SOS 462438 HAS SOPS 462438 HAS SOUS 396894 HAS SOUPS 396894 WITH SCORE 397356.438
AT ITER 654 NEW BEST:: SOT 638346 SOS 462265 HAS SOPS 462265 HAS SOUS 396721 HAS SOUPS 396721 WITH SCORE 397183.265
AT ITER 666 NEW BEST:: SOT 638101 SOS 460943 HAS SOPS 460943 HAS SOUS 396315 HAS SOUPS 396315 WITH SCORE 396775.943
AT ITER 673 NEW BEST:: SOT 637867 SOS 460312 HAS SOPS 460312 HAS SOUS 395684 HAS SOUPS 395684 WITH SCORE 396144.312
AT ITER 676 NEW BEST:: SOT 637530 SOS 459475 HAS SOPS 459475 HAS SOUS 394847 HAS SOUPS 394847 WITH SCORE 395306.475
AT ITER 678 NEW BEST:: SOT 637438 SOS 459383 HAS SOPS 459383 HAS SOUS 394755 HAS SOUPS 394755 WITH SCORE 395214.383
AT ITER 687 NEW BEST:: SOT 636185 SOS 458130 HAS SOPS 458130 HAS SOUS 393502 HAS SOUPS 393502 WITH SCORE 393960.13
AT ITER 688 NEW BEST:: SOT 636133 SOS 457998 HAS SOPS 457998 HAS SOUS 393370 HAS SOUPS 393370 WITH SCORE 393827.998
AT ITER 691 NEW BEST:: SOT 635419 SOS 457646 HAS SOPS 457646 HAS SOUS 393021 HAS SOUPS 393021 WITH SCORE 393478.646
AT ITER 699 NEW BEST:: SOT 635419 SOS 457645 HAS SOPS 457645 HAS SOUS 393020 HAS SOUPS 393020 WITH SCORE 393477.645
AT ITER 718 NEW BEST:: SOT 634957 SOS 457211 HAS SOPS 457211 HAS SOUS 392958 HAS SOUPS 392958 WITH SCORE 393415.211
AT ITER 728 NEW BEST:: SOT 634933 SOS 456944 HAS SOPS 456944 HAS SOUS 392808 HAS SOUPS 392808 WITH SCORE 393264.944
AT ITER 735 NEW BEST:: SOT 634198 SOS 455953 HAS SOPS 455953 HAS SOUS 391896 HAS SOUPS 391896 WITH SCORE 392351.953
AT ITER 738 NEW BEST:: SOT 634198 SOS 455952 HAS SOPS 455952 HAS SOUS 391895 HAS SOUPS 391895 WITH SCORE 392350.952
AT ITER 743 NEW BEST:: SOT 634143 SOS 455677 HAS SOPS 455677 HAS SOUS 391693 HAS SOUPS 391693 WITH SCORE 392148.677
AT ITER 744 NEW BEST:: SOT 633914 SOS 455522 HAS SOPS 455522 HAS SOUS 391538 HAS SOUPS 391538 WITH SCORE 391993.522
AT ITER 745 NEW BEST:: SOT 633914 SOS 455149 HAS SOPS 455149 HAS SOUS 391506 HAS SOUPS 391506 WITH SCORE 391961.149
AT ITER 748 NEW BEST:: SOT 633747 SOS 454982 HAS SOPS 454982 HAS SOUS 391339 HAS SOUPS 391339 WITH SCORE 391793.982
AT ITER 752 NEW BEST:: SOT 633632 SOS 454707 HAS SOPS 454707 HAS SOUS 390886 HAS SOUPS 390886 WITH SCORE 391340.707
AT ITER 753 NEW BEST:: SOT 633632 SOS 454427 HAS SOPS 454427 HAS SOUS 390694 HAS SOUPS 390694 WITH SCORE 391148.427
AT ITER 755 NEW BEST:: SOT 633412 SOS 453905 HAS SOPS 453905 HAS SOUS 390443 HAS SOUPS 390443 WITH SCORE 390896.905
AT ITER 760 NEW BEST:: SOT 633515 SOS 453658 HAS SOPS 453658 HAS SOUS 390196 HAS SOUPS 390196 WITH SCORE 390649.658
AT ITER 761 NEW BEST:: SOT 633301 SOS 453443 HAS SOPS 453443 HAS SOUS 389981 HAS SOUPS 389981 WITH SCORE 390434.443
AT ITER 765 NEW BEST:: SOT 633879 SOS 453387 HAS SOPS 453387 HAS SOUS 389765 HAS SOUPS 389765 WITH SCORE 390218.387
AT ITER 766 NEW BEST:: SOT 633835 SOS 453373 HAS SOPS 453373 HAS SOUS 389582 HAS SOUPS 389582 WITH SCORE 390035.373
AT ITER 768 NEW BEST:: SOT 633720 SOS 453258 HAS SOPS 453258 HAS SOUS 389467 HAS SOUPS 389467 WITH SCORE 389920.258
AT ITER 772 NEW BEST:: SOT 633719 SOS 453129 HAS SOPS 453129 HAS SOUS 389462 HAS SOUPS 389462 WITH SCORE 389915.129
AT ITER 777 NEW BEST:: SOT 633203 SOS 452839 HAS SOPS 452839 HAS SOUS 388945 HAS SOUPS 388945 WITH SCORE 389397.839
AT ITER 778 NEW BEST:: SOT 633121 SOS 452757 HAS SOPS 452757 HAS SOUS 388863 HAS SOUPS 388863 WITH SCORE 389315.757
AT ITER 783 NEW BEST:: SOT 633226 SOS 452968 HAS SOPS 452968 HAS SOUS 388862 HAS SOUPS 388862 WITH SCORE 389314.968
AT ITER 784 NEW BEST:: SOT 633174 SOS 452916 HAS SOPS 452916 HAS SOUS 388810 HAS SOUPS 388810 WITH SCORE 389262.916
AT ITER 792 NEW BEST:: SOT 632826 SOS 452568 HAS SOPS 452568 HAS SOUS 388302 HAS SOUPS 388302 WITH SCORE 388754.568
AT ITER 799 NEW BEST:: SOT 632690 SOS 452257 HAS SOPS 452257 HAS SOUS 387991 HAS SOUPS 387991 WITH SCORE 388443.257
AT ITER 805 NEW BEST:: SOT 632691 SOS 452253 HAS SOPS 452253 HAS SOUS 387987 HAS SOUPS 387987 WITH SCORE 388439.253
AT ITER 807 NEW BEST:: SOT 632687 SOS 452247 HAS SOPS 452247 HAS SOUS 387983 HAS SOUPS 387983 WITH SCORE 388435.247
AT ITER 808 NEW BEST:: SOT 632447 SOS 452007 HAS SOPS 452007 HAS SOUS 387743 HAS SOUPS 387743 WITH SCORE 388195.007
AT ITER 809 NEW BEST:: SOT 632584 SOS 451854 HAS SOPS 451854 HAS SOUS 387732 HAS SOUPS 387732 WITH SCORE 388183.854
AT ITER 813 NEW BEST:: SOT 632562 SOS 451832 HAS SOPS 451832 HAS SOUS 387710 HAS SOUPS 387710 WITH SCORE 388161.832
AT ITER 815 NEW BEST:: SOT 632562 SOS 451660 HAS SOPS 451660 HAS SOUS 387708 HAS SOUPS 387708 WITH SCORE 388159.66
AT ITER 818 NEW BEST:: SOT 632562 SOS 451582 HAS SOPS 451582 HAS SOUS 387630 HAS SOUPS 387630 WITH SCORE 388081.582
AT ITER 819 NEW BEST:: SOT 632440 SOS 451460 HAS SOPS 451460 HAS SOUS 387508 HAS SOUPS 387508 WITH SCORE 387959.46
AT ITER 822 NEW BEST:: SOT 632002 SOS 450875 HAS SOPS 450875 HAS SOUS 386923 HAS SOUPS 386923 WITH SCORE 387373.875
AT ITER 833 NEW BEST:: SOT 631828 SOS 449983 HAS SOPS 449983 HAS SOUS 386617 HAS SOUPS 386617 WITH SCORE 387066.983
AT ITER 834 NEW BEST:: SOT 631750 SOS 449905 HAS SOPS 449905 HAS SOUS 386539 HAS SOUPS 386539 WITH SCORE 386988.905
AT ITER 845 NEW BEST:: SOT 631633 SOS 449788 HAS SOPS 449788 HAS SOUS 386422 HAS SOUPS 386422 WITH SCORE 386871.788
AT ITER 846 NEW BEST:: SOT 632417 SOS 449409 HAS SOPS 449409 HAS SOUS 386417 HAS SOUPS 386417 WITH SCORE 386866.409
AT ITER 848 NEW BEST:: SOT 632358 SOS 449349 HAS SOPS 449349 HAS SOUS 386357 HAS SOUPS 386357 WITH SCORE 386806.349
AT ITER 849 NEW BEST:: SOT 632447 SOS 449273 HAS SOPS 449273 HAS SOUS 385890 HAS SOUPS 385890 WITH SCORE 386339.273
AT ITER 861 NEW BEST:: SOT 632331 SOS 447935 HAS SOPS 447935 HAS SOUS 385665 HAS SOUPS 385665 WITH SCORE 386112.935
AT ITER 865 NEW BEST:: SOT 632294 SOS 447787 HAS SOPS 447787 HAS SOUS 385628 HAS SOUPS 385628 WITH SCORE 386075.787
AT ITER 866 NEW BEST:: SOT 632263 SOS 447563 HAS SOPS 447563 HAS SOUS 385404 HAS SOUPS 385404 WITH SCORE 385851.563
AT ITER 867 NEW BEST:: SOT 631997 SOS 447291 HAS SOPS 447291 HAS SOUS 385132 HAS SOUPS 385132 WITH SCORE 385579.291
AT ITER 869 NEW BEST:: SOT 631819 SOS 446935 HAS SOPS 446935 HAS SOUS 384776 HAS SOUPS 384776 WITH SCORE 385222.935
AT ITER 872 NEW BEST:: SOT 631819 SOS 446441 HAS SOPS 446441 HAS SOUS 384643 HAS SOUPS 384643 WITH SCORE 385089.441
AT ITER 874 NEW BEST:: SOT 631549 SOS 445360 HAS SOPS 445360 HAS SOUS 384118 HAS SOUPS 384118 WITH SCORE 384563.36
AT ITER 877 NEW BEST:: SOT 630255 SOS 444066 HAS SOPS 444066 HAS SOUS 382824 HAS SOUPS 382824 WITH SCORE 383268.066
AT ITER 886 NEW BEST:: SOT 630126 SOS 443808 HAS SOPS 443808 HAS SOUS 382566 HAS SOUPS 382566 WITH SCORE 383009.808
AT ITER 891 NEW BEST:: SOT 630126 SOS 443805 HAS SOPS 443805 HAS SOUS 382563 HAS SOUPS 382563 WITH SCORE 383006.805
AT ITER 897 NEW BEST:: SOT 630036 SOS 442739 HAS SOPS 442739 HAS SOUS 382403 HAS SOUPS 382403 WITH SCORE 382845.739
AT ITER 907 NEW BEST:: SOT 630036 SOS 442622 HAS SOPS 442622 HAS SOUS 382169 HAS SOUPS 382169 WITH SCORE 382611.622
AT ITER 916 NEW BEST:: SOT 629962 SOS 442178 HAS SOPS 442178 HAS SOUS 381997 HAS SOUPS 381997 WITH SCORE 382439.178
AT ITER 922 NEW BEST:: SOT 629962 SOS 442178 HAS SOPS 442178 HAS SOUS 381996 HAS SOUPS 381996 WITH SCORE 382438.178
AT ITER 938 NEW BEST:: SOT 629720 SOS 441934 HAS SOPS 441934 HAS SOUS 381752 HAS SOUPS 381752 WITH SCORE 382193.934
AT ITER 949 NEW BEST:: SOT 629706 SOS 441920 HAS SOPS 441920 HAS SOUS 381738 HAS SOUPS 381738 WITH SCORE 382179.92
AT ITER 950 NEW BEST:: SOT 629711 SOS 441919 HAS SOPS 441919 HAS SOUS 381737 HAS SOUPS 381737 WITH SCORE 382178.919
AT ITER 953 NEW BEST:: SOT 629244 SOS 441380 HAS SOPS 441380 HAS SOUS 381198 HAS SOUPS 381198 WITH SCORE 381639.38
AT ITER 954 NEW BEST:: SOT 629224 SOS 441359 HAS SOPS 441359 HAS SOUS 381177 HAS SOUPS 381177 WITH SCORE 381618.359
AT ITER 956 NEW BEST:: SOT 629224 SOS 441277 HAS SOPS 441277 HAS SOUS 381095 HAS SOUPS 381095 WITH SCORE 381536.277
AT ITER 960 NEW BEST:: SOT 628990 SOS 441043 HAS SOPS 441043 HAS SOUS 380861 HAS SOUPS 380861 WITH SCORE 381302.043
AT ITER 966 NEW BEST:: SOT 628668 SOS 441058 HAS SOPS 441058 HAS SOUS 380452 HAS SOUPS 380452 WITH SCORE 380893.058
AT ITER 968 NEW BEST:: SOT 628437 SOS 440827 HAS SOPS 440827 HAS SOUS 380221 HAS SOUPS 380221 WITH SCORE 380661.827
AT ITER 982 NEW BEST:: SOT 628193 SOS 440456 HAS SOPS 440456 HAS SOUS 379850 HAS SOUPS 379850 WITH SCORE 380290.456
AT ITER 987 NEW BEST:: SOT 628251 SOS 440373 HAS SOPS 440373 HAS SOUS 379767 HAS SOUPS 379767 WITH SCORE 380207.373
AT ITER 990 NEW BEST:: SOT 627675 SOS 439637 HAS SOPS 439637 HAS SOUS 378719 HAS SOUPS 378719 WITH SCORE 379158.637
AT ITER 991 NEW BEST:: SOT 627535 SOS 439497 HAS SOPS 439497 HAS SOUS 378579 HAS SOUPS 378579 WITH SCORE 379018.497
AT ITER 998 NEW BEST:: SOT 627361 SOS 439323 HAS SOPS 439323 HAS SOUS 378405 HAS SOUPS 378405 WITH SCORE 378844.323
AT ITER 1004 NEW BEST:: SOT 626873 SOS 438835 HAS SOPS 438835 HAS SOUS 378236 HAS SOUPS 378236 WITH SCORE 378674.835
AT ITER 1005 NEW BEST:: SOT 626400 SOS 438362 HAS SOPS 438362 HAS SOUS 377763 HAS SOUPS 377763 WITH SCORE 378201.362
AT ITER 1017 NEW BEST:: SOT 626400 SOS 438391 HAS SOPS 438391 HAS SOUS 377715 HAS SOUPS 377715 WITH SCORE 378153.391
AT ITER 1020 NEW BEST:: SOT 626400 SOS 438389 HAS SOPS 438389 HAS SOUS 377713 HAS SOUPS 377713 WITH SCORE 378151.389
AT ITER 1021 NEW BEST:: SOT 626547 SOS 437774 HAS SOPS 437774 HAS SOUS 377134 HAS SOUPS 377134 WITH SCORE 377571.774
AT ITER 1026 NEW BEST:: SOT 626142 SOS 437368 HAS SOPS 437368 HAS SOUS 376789 HAS SOUPS 376789 WITH SCORE 377226.368
AT ITER 1037 NEW BEST:: SOT 625995 SOS 437220 HAS SOPS 437220 HAS SOUS 376641 HAS SOUPS 376641 WITH SCORE 377078.22
AT ITER 1041 NEW BEST:: SOT 626194 SOS 437345 HAS SOPS 437345 HAS SOUS 376564 HAS SOUPS 376564 WITH SCORE 377001.345
AT ITER 1057 NEW BEST:: SOT 625927 SOS 437499 HAS SOPS 437499 HAS SOUS 376467 HAS SOUPS 376467 WITH SCORE 376904.499
AT ITER 1062 NEW BEST:: SOT 625874 SOS 437446 HAS SOPS 437446 HAS SOUS 376414 HAS SOUPS 376414 WITH SCORE 376851.446
AT ITER 1068 NEW BEST:: SOT 625677 SOS 437130 HAS SOPS 437130 HAS SOUS 376098 HAS SOUPS 376098 WITH SCORE 376535.13
AT ITER 1070 NEW BEST:: SOT 625951 SOS 437128 HAS SOPS 437128 HAS SOUS 376096 HAS SOUPS 376096 WITH SCORE 376533.128
AT ITER 1079 NEW BEST:: SOT 625408 SOS 436409 HAS SOPS 436409 HAS SOUS 375377 HAS SOUPS 375377 WITH SCORE 375813.409
AT ITER 1083 NEW BEST:: SOT 625247 SOS 436278 HAS SOPS 436278 HAS SOUS 375246 HAS SOUPS 375246 WITH SCORE 375682.278
AT ITER 1088 NEW BEST:: SOT 625586 SOS 436217 HAS SOPS 436217 HAS SOUS 375185 HAS SOUPS 375185 WITH SCORE 375621.217
AT ITER 1094 NEW BEST:: SOT 625424 SOS 436080 HAS SOPS 436080 HAS SOUS 374925 HAS SOUPS 374925 WITH SCORE 375361.08
AT ITER 1100 NEW BEST:: SOT 625350 SOS 436004 HAS SOPS 436004 HAS SOUS 374849 HAS SOUPS 374849 WITH SCORE 375285.004
AT ITER 1102 NEW BEST:: SOT 625699 SOS 435966 HAS SOPS 435966 HAS SOUS 374772 HAS SOUPS 374772 WITH SCORE 375207.966
AT ITER 1113 NEW BEST:: SOT 625635 SOS 435695 HAS SOPS 435695 HAS SOUS 374501 HAS SOUPS 374501 WITH SCORE 374936.695
AT ITER 1116 NEW BEST:: SOT 626350 SOS 436179 HAS SOPS 436179 HAS SOUS 374433 HAS SOUPS 374433 WITH SCORE 374869.179
AT ITER 1119 NEW BEST:: SOT 626350 SOS 435632 HAS SOPS 435632 HAS SOUS 374403 HAS SOUPS 374403 WITH SCORE 374838.632
AT ITER 1121 NEW BEST:: SOT 626299 SOS 435480 HAS SOPS 435480 HAS SOUS 374341 HAS SOUPS 374341 WITH SCORE 374776.48
AT ITER 1122 NEW BEST:: SOT 626386 SOS 435567 HAS SOPS 435567 HAS SOUS 374279 HAS SOUPS 374279 WITH SCORE 374714.567
AT ITER 1124 NEW BEST:: SOT 626258 SOS 435519 HAS SOPS 435519 HAS SOUS 374152 HAS SOUPS 374152 WITH SCORE 374587.519
AT ITER 1126 NEW BEST:: SOT 626073 SOS 434870 HAS SOPS 434870 HAS SOUS 373646 HAS SOUPS 373646 WITH SCORE 374080.87
AT ITER 1132 NEW BEST:: SOT 626073 SOS 434776 HAS SOPS 434776 HAS SOUS 373625 HAS SOUPS 373625 WITH SCORE 374059.776
AT ITER 1138 NEW BEST:: SOT 625931 SOS 434705 HAS SOPS 434705 HAS SOUS 373553 HAS SOUPS 373553 WITH SCORE 373987.705
AT ITER 1139 NEW BEST:: SOT 625964 SOS 434671 HAS SOPS 434671 HAS SOUS 373455 HAS SOUPS 373455 WITH SCORE 373889.671
AT ITER 1142 NEW BEST:: SOT 625808 SOS 434513 HAS SOPS 434513 HAS SOUS 373297 HAS SOUPS 373297 WITH SCORE 373731.513
AT ITER 1157 NEW BEST:: SOT 625712 SOS 434124 HAS SOPS 434124 HAS SOUS 373100 HAS SOUPS 373100 WITH SCORE 373534.124
AT ITER 1158 NEW BEST:: SOT 625207 SOS 433543 HAS SOPS 433543 HAS SOUS 372519 HAS SOUPS 372519 WITH SCORE 372952.543
AT ITER 1160 NEW BEST:: SOT 625145 SOS 433171 HAS SOPS 433171 HAS SOUS 372414 HAS SOUPS 372414 WITH SCORE 372847.171
AT ITER 1162 NEW BEST:: SOT 625493 SOS 433420 HAS SOPS 433420 HAS SOUS 372359 HAS SOUPS 372359 WITH SCORE 372792.42
AT ITER 1168 NEW BEST:: SOT 625473 SOS 433398 HAS SOPS 433398 HAS SOUS 372337 HAS SOUPS 372337 WITH SCORE 372770.398
AT ITER 1172 NEW BEST:: SOT 625527 SOS 432918 HAS SOPS 432918 HAS SOUS 371715 HAS SOUPS 371715 WITH SCORE 372147.918
AT ITER 1174 NEW BEST:: SOT 625386 SOS 432986 HAS SOPS 432986 HAS SOUS 371621 HAS SOUPS 371621 WITH SCORE 372053.986
AT ITER 1185 NEW BEST:: SOT 625234 SOS 432834 HAS SOPS 432834 HAS SOUS 371621 HAS SOUPS 371621 WITH SCORE 372053.834
AT ITER 1191 NEW BEST:: SOT 625492 SOS 431862 HAS SOPS 431862 HAS SOUS 371544 HAS SOUPS 371544 WITH SCORE 371975.862
AT ITER 1201 NEW BEST:: SOT 625669 SOS 432243 HAS SOPS 432243 HAS SOUS 371496 HAS SOUPS 371496 WITH SCORE 371928.243
AT ITER 1202 NEW BEST:: SOT 625283 SOS 431786 HAS SOPS 431786 HAS SOUS 370755 HAS SOUPS 370755 WITH SCORE 371186.786
AT ITER 1203 NEW BEST:: SOT 625198 SOS 430722 HAS SOPS 430722 HAS SOUS 370080 HAS SOUPS 370080 WITH SCORE 370510.722
AT ITER 1206 NEW BEST:: SOT 625113 SOS 430554 HAS SOPS 430554 HAS SOUS 369912 HAS SOUPS 369912 WITH SCORE 370342.554
AT ITER 1211 NEW BEST:: SOT 625137 SOS 430360 HAS SOPS 430360 HAS SOUS 369718 HAS SOUPS 369718 WITH SCORE 370148.36
AT ITER 1217 NEW BEST:: SOT 625168 SOS 430191 HAS SOPS 430191 HAS SOUS 369549 HAS SOUPS 369549 WITH SCORE 369979.191
AT ITER 1220 NEW BEST:: SOT 625112 SOS 430241 HAS SOPS 430241 HAS SOUS 369415 HAS SOUPS 369415 WITH SCORE 369845.241
AT ITER 1222 NEW BEST:: SOT 625260 SOS 430146 HAS SOPS 430146 HAS SOUS 369320 HAS SOUPS 369320 WITH SCORE 369750.146
AT ITER 1223 NEW BEST:: SOT 624971 SOS 429857 HAS SOPS 429857 HAS SOUS 369031 HAS SOUPS 369031 WITH SCORE 369460.857
AT ITER 1224 NEW BEST:: SOT 624971 SOS 429841 HAS SOPS 429841 HAS SOUS 369015 HAS SOUPS 369015 WITH SCORE 369444.841
AT ITER 1225 NEW BEST:: SOT 624897 SOS 429607 HAS SOPS 429607 HAS SOUS 368781 HAS SOUPS 368781 WITH SCORE 369210.607
AT ITER 1230 NEW BEST:: SOT 624927 SOS 429600 HAS SOPS 429600 HAS SOUS 368780 HAS SOUPS 368780 WITH SCORE 369209.6
AT ITER 1244 NEW BEST:: SOT 624923 SOS 428896 HAS SOPS 428896 HAS SOUS 367962 HAS SOUPS 367962 WITH SCORE 368390.896
AT ITER 1246 NEW BEST:: SOT 624879 SOS 428676 HAS SOPS 428676 HAS SOUS 367962 HAS SOUPS 367962 WITH SCORE 368390.676
AT ITER 1248 NEW BEST:: SOT 624779 SOS 428622 HAS SOPS 428622 HAS SOUS 367908 HAS SOUPS 367908 WITH SCORE 368336.622
AT ITER 1255 NEW BEST:: SOT 624779 SOS 428711 HAS SOPS 428711 HAS SOUS 367843 HAS SOUPS 367843 WITH SCORE 368271.711
AT ITER 1258 NEW BEST:: SOT 624539 SOS 427378 HAS SOPS 427378 HAS SOUS 367000 HAS SOUPS 367000 WITH SCORE 367427.378
AT ITER 1263 NEW BEST:: SOT 624489 SOS 427328 HAS SOPS 427328 HAS SOUS 366950 HAS SOUPS 366950 WITH SCORE 367377.328
AT ITER 1272 NEW BEST:: SOT 624489 SOS 427329 HAS SOPS 427329 HAS SOUS 366887 HAS SOUPS 366887 WITH SCORE 367314.329
AT ITER 1276 NEW BEST:: SOT 624398 SOS 427238 HAS SOPS 427238 HAS SOUS 366796 HAS SOUPS 366796 WITH SCORE 367223.238
AT ITER 1282 NEW BEST:: SOT 625198 SOS 427369 HAS SOPS 427369 HAS SOUS 366776 HAS SOUPS 366776 WITH SCORE 367203.369
AT ITER 1290 NEW BEST:: SOT 625348 SOS 427199 HAS SOPS 427199 HAS SOUS 366575 HAS SOUPS 366575 WITH SCORE 367002.199
AT ITER 1294 NEW BEST:: SOT 625277 SOS 427127 HAS SOPS 427127 HAS SOUS 366502 HAS SOUPS 366502 WITH SCORE 366929.127
AT ITER 1297 NEW BEST:: SOT 625277 SOS 427126 HAS SOPS 427126 HAS SOUS 366501 HAS SOUPS 366501 WITH SCORE 366928.126
AT ITER 1301 NEW BEST:: SOT 625181 SOS 426991 HAS SOPS 426991 HAS SOUS 366366 HAS SOUPS 366366 WITH SCORE 366792.991
AT ITER 1307 NEW BEST:: SOT 624821 SOS 426467 HAS SOPS 426467 HAS SOUS 365843 HAS SOUPS 365843 WITH SCORE 366269.467
AT ITER 1309 NEW BEST:: SOT 625145 SOS 426670 HAS SOPS 426670 HAS SOUS 365720 HAS SOUPS 365720 WITH SCORE 366146.67
AT ITER 1312 NEW BEST:: SOT 624829 SOS 426346 HAS SOPS 426346 HAS SOUS 365396 HAS SOUPS 365396 WITH SCORE 365822.346
AT ITER 1313 NEW BEST:: SOT 624692 SOS 426077 HAS SOPS 426077 HAS SOUS 365271 HAS SOUPS 365271 WITH SCORE 365697.077
AT ITER 1320 NEW BEST:: SOT 624654 SOS 425963 HAS SOPS 425963 HAS SOUS 365233 HAS SOUPS 365233 WITH SCORE 365658.963
AT ITER 1327 NEW BEST:: SOT 624654 SOS 425961 HAS SOPS 425961 HAS SOUS 365231 HAS SOUPS 365231 WITH SCORE 365656.961
AT ITER 1350 NEW BEST:: SOT 624466 SOS 425137 HAS SOPS 425137 HAS SOUS 364835 HAS SOUPS 364835 WITH SCORE 365260.137
AT ITER 1351 NEW BEST:: SOT 624509 SOS 424125 HAS SOPS 424125 HAS SOUS 364351 HAS SOUPS 364351 WITH SCORE 364775.125
AT ITER 1355 NEW BEST:: SOT 624474 SOS 424125 HAS SOPS 424125 HAS SOUS 364315 HAS SOUPS 364315 WITH SCORE 364739.125
AT ITER 1358 NEW BEST:: SOT 624474 SOS 424124 HAS SOPS 424124 HAS SOUS 364314 HAS SOUPS 364314 WITH SCORE 364738.124
AT ITER 1369 NEW BEST:: SOT 624186 SOS 423836 HAS SOPS 423836 HAS SOUS 364026 HAS SOUPS 364026 WITH SCORE 364449.836
AT ITER 1371 NEW BEST:: SOT 624407 SOS 422513 HAS SOPS 422513 HAS SOUS 363212 HAS SOUPS 363212 WITH SCORE 363634.513
AT ITER 1377 NEW BEST:: SOT 624249 SOS 422355 HAS SOPS 422355 HAS SOUS 363053 HAS SOUPS 363053 WITH SCORE 363475.355
AT ITER 1378 NEW BEST:: SOT 624245 SOS 422415 HAS SOPS 422415 HAS SOUS 363051 HAS SOUPS 363051 WITH SCORE 363473.415
AT ITER 1382 NEW BEST:: SOT 623924 SOS 422165 HAS SOPS 422165 HAS SOUS 362403 HAS SOUPS 362403 WITH SCORE 362825.165
AT ITER 1390 NEW BEST:: SOT 623924 SOS 422163 HAS SOPS 422163 HAS SOUS 362401 HAS SOUPS 362401 WITH SCORE 362823.163
AT ITER 1395 NEW BEST:: SOT 623866 SOS 422042 HAS SOPS 422042 HAS SOUS 362340 HAS SOUPS 362340 WITH SCORE 362762.042
AT ITER 1401 NEW BEST:: SOT 623844 SOS 421964 HAS SOPS 421964 HAS SOUS 362229 HAS SOUPS 362229 WITH SCORE 362650.964
AT ITER 1402 NEW BEST:: SOT 623715 SOS 421792 HAS SOPS 421792 HAS SOUS 362057 HAS SOUPS 362057 WITH SCORE 362478.792
AT ITER 1403 NEW BEST:: SOT 623202 SOS 421279 HAS SOPS 421279 HAS SOUS 361544 HAS SOUPS 361544 WITH SCORE 361965.279
AT ITER 1416 NEW BEST:: SOT 623078 SOS 421233 HAS SOPS 421233 HAS SOUS 361498 HAS SOUPS 361498 WITH SCORE 361919.233
AT ITER 1420 NEW BEST:: SOT 623078 SOS 421195 HAS SOPS 421195 HAS SOUS 361338 HAS SOUPS 361338 WITH SCORE 361759.195
AT ITER 1421 NEW BEST:: SOT 623078 SOS 421322 HAS SOPS 421322 HAS SOUS 361309 HAS SOUPS 361309 WITH SCORE 361730.322
AT ITER 1425 NEW BEST:: SOT 622495 SOS 420191 HAS SOPS 420191 HAS SOUS 358910 HAS SOUPS 358910 WITH SCORE 359330.191
AT ITER 1428 NEW BEST:: SOT 622045 SOS 419643 HAS SOPS 419643 HAS SOUS 358328 HAS SOUPS 358328 WITH SCORE 358747.643
AT ITER 1441 NEW BEST:: SOT 622622 SOS 419071 HAS SOPS 419071 HAS SOUS 357897 HAS SOUPS 357897 WITH SCORE 358316.071
AT ITER 1456 NEW BEST:: SOT 622539 SOS 418988 HAS SOPS 418988 HAS SOUS 357814 HAS SOUPS 357814 WITH SCORE 358232.988
AT ITER 1463 NEW BEST:: SOT 622270 SOS 418717 HAS SOPS 418717 HAS SOUS 357594 HAS SOUPS 357594 WITH SCORE 358012.717
AT ITER 1467 NEW BEST:: SOT 622276 SOS 418559 HAS SOPS 418559 HAS SOUS 357526 HAS SOUPS 357526 WITH SCORE 357944.559
AT ITER 1468 NEW BEST:: SOT 622082 SOS 418264 HAS SOPS 418264 HAS SOUS 357433 HAS SOUPS 357433 WITH SCORE 357851.264
AT ITER 1470 NEW BEST:: SOT 622060 SOS 418242 HAS SOPS 418242 HAS SOUS 357411 HAS SOUPS 357411 WITH SCORE 357829.242
AT ITER 1472 NEW BEST:: SOT 622151 SOS 417340 HAS SOPS 417340 HAS SOUS 357391 HAS SOUPS 357391 WITH SCORE 357808.34
AT ITER 1474 NEW BEST:: SOT 622190 SOS 417178 HAS SOPS 417178 HAS SOUS 357227 HAS SOUPS 357227 WITH SCORE 357644.178
AT ITER 1478 NEW BEST:: SOT 621973 SOS 416961 HAS SOPS 416961 HAS SOUS 357010 HAS SOUPS 357010 WITH SCORE 357426.961
AT ITER 1484 NEW BEST:: SOT 621973 SOS 416610 HAS SOPS 416610 HAS SOUS 356630 HAS SOUPS 356630 WITH SCORE 357046.61
AT ITER 1489 NEW BEST:: SOT 622672 SOS 416426 HAS SOPS 416426 HAS SOUS 355974 HAS SOUPS 355974 WITH SCORE 356390.426
AT ITER 1493 NEW BEST:: SOT 622643 SOS 416426 HAS SOPS 416426 HAS SOUS 355945 HAS SOUPS 355945 WITH SCORE 356361.426
AT ITER 1501 NEW BEST:: SOT 622479 SOS 416196 HAS SOPS 416196 HAS SOUS 355653 HAS SOUPS 355653 WITH SCORE 356069.196
AT ITER 1504 NEW BEST:: SOT 622256 SOS 415680 HAS SOPS 415680 HAS SOUS 355187 HAS SOUPS 355187 WITH SCORE 355602.68
AT ITER 1508 NEW BEST:: SOT 622217 SOS 415641 HAS SOPS 415641 HAS SOUS 355109 HAS SOUPS 355109 WITH SCORE 355524.641
AT ITER 1509 NEW BEST:: SOT 622217 SOS 415637 HAS SOPS 415637 HAS SOUS 355107 HAS SOUPS 355107 WITH SCORE 355522.637
AT ITER 1517 NEW BEST:: SOT 622219 SOS 415433 HAS SOPS 415433 HAS SOUS 354772 HAS SOUPS 354772 WITH SCORE 355187.433
AT ITER 1519 NEW BEST:: SOT 622182 SOS 415260 HAS SOPS 415260 HAS SOUS 354599 HAS SOUPS 354599 WITH SCORE 355014.26
AT ITER 1521 NEW BEST:: SOT 622067 SOS 415145 HAS SOPS 415145 HAS SOUS 354484 HAS SOUPS 354484 WITH SCORE 354899.145
AT ITER 1524 NEW BEST:: SOT 621980 SOS 414901 HAS SOPS 414901 HAS SOUS 354276 HAS SOUPS 354276 WITH SCORE 354690.901
AT ITER 1525 NEW BEST:: SOT 621980 SOS 414961 HAS SOPS 414961 HAS SOUS 354230 HAS SOUPS 354230 WITH SCORE 354644.961
AT ITER 1527 NEW BEST:: SOT 621963 SOS 414893 HAS SOPS 414893 HAS SOUS 354196 HAS SOUPS 354196 WITH SCORE 354610.893
AT ITER 1531 NEW BEST:: SOT 622182 SOS 414727 HAS SOPS 414727 HAS SOUS 354171 HAS SOUPS 354171 WITH SCORE 354585.727
AT ITER 1532 NEW BEST:: SOT 622163 SOS 414485 HAS SOPS 414485 HAS SOUS 353854 HAS SOUPS 353854 WITH SCORE 354268.485
AT ITER 1543 NEW BEST:: SOT 621868 SOS 414190 HAS SOPS 414190 HAS SOUS 353559 HAS SOUPS 353559 WITH SCORE 353973.19
AT ITER 1545 NEW BEST:: SOT 621868 SOS 413740 HAS SOPS 413740 HAS SOUS 353458 HAS SOUPS 353458 WITH SCORE 353871.74
AT ITER 1549 NEW BEST:: SOT 621508 SOS 413391 HAS SOPS 413391 HAS SOUS 353256 HAS SOUPS 353256 WITH SCORE 353669.391
AT ITER 1551 NEW BEST:: SOT 621468 SOS 413351 HAS SOPS 413351 HAS SOUS 353216 HAS SOUPS 353216 WITH SCORE 353629.351
AT ITER 1555 NEW BEST:: SOT 621553 SOS 413436 HAS SOPS 413436 HAS SOUS 353138 HAS SOUPS 353138 WITH SCORE 353551.436
AT ITER 1560 NEW BEST:: SOT 621713 SOS 413290 HAS SOPS 413290 HAS SOUS 353072 HAS SOUPS 353072 WITH SCORE 353485.29
AT ITER 1568 NEW BEST:: SOT 621554 SOS 413131 HAS SOPS 413131 HAS SOUS 352913 HAS SOUPS 352913 WITH SCORE 353326.131
AT ITER 1576 NEW BEST:: SOT 621462 SOS 413039 HAS SOPS 413039 HAS SOUS 352821 HAS SOUPS 352821 WITH SCORE 353234.039
AT ITER 1585 NEW BEST:: SOT 622201 SOS 412730 HAS SOPS 412730 HAS SOUS 352492 HAS SOUPS 352492 WITH SCORE 352904.73
AT ITER 1587 NEW BEST:: SOT 621803 SOS 412332 HAS SOPS 412332 HAS SOUS 352094 HAS SOUPS 352094 WITH SCORE 352506.332
AT ITER 1592 NEW BEST:: SOT 621271 SOS 411914 HAS SOPS 411914 HAS SOUS 351819 HAS SOUPS 351819 WITH SCORE 352230.914
AT ITER 1598 NEW BEST:: SOT 621271 SOS 411709 HAS SOPS 411709 HAS SOUS 351491 HAS SOUPS 351491 WITH SCORE 351902.709
AT ITER 1599 NEW BEST:: SOT 621355 SOS 411708 HAS SOPS 411708 HAS SOUS 351490 HAS SOUPS 351490 WITH SCORE 351901.708
AT ITER 1602 NEW BEST:: SOT 621384 SOS 411425 HAS SOPS 411425 HAS SOUS 351326 HAS SOUPS 351326 WITH SCORE 351737.425
AT ITER 1604 NEW BEST:: SOT 621029 SOS 411287 HAS SOPS 411287 HAS SOUS 350840 HAS SOUPS 350840 WITH SCORE 351251.287
AT ITER 1611 NEW BEST:: SOT 621026 SOS 411284 HAS SOPS 411284 HAS SOUS 350837 HAS SOUPS 350837 WITH SCORE 351248.284
AT ITER 1617 NEW BEST:: SOT 621026 SOS 411277 HAS SOPS 411277 HAS SOUS 350830 HAS SOUPS 350830 WITH SCORE 351241.277
AT ITER 1620 NEW BEST:: SOT 620746 SOS 410874 HAS SOPS 410874 HAS SOUS 350427 HAS SOUPS 350427 WITH SCORE 350837.874
AT ITER 1623 NEW BEST:: SOT 620746 SOS 410404 HAS SOPS 410404 HAS SOUS 350360 HAS SOUPS 350360 WITH SCORE 350770.404
AT ITER 1624 NEW BEST:: SOT 619982 SOS 409456 HAS SOPS 409456 HAS SOUS 349411 HAS SOUPS 349411 WITH SCORE 349820.456
AT ITER 1625 NEW BEST:: SOT 619965 SOS 409405 HAS SOPS 409405 HAS SOUS 349376 HAS SOUPS 349376 WITH SCORE 349785.405
AT ITER 1643 NEW BEST:: SOT 619427 SOS 408521 HAS SOPS 408521 HAS SOUS 348492 HAS SOUPS 348492 WITH SCORE 348900.521
AT ITER 1647 NEW BEST:: SOT 618883 SOS 407918 HAS SOPS 407918 HAS SOUS 347889 HAS SOUPS 347889 WITH SCORE 348296.918
AT ITER 1648 NEW BEST:: SOT 618779 SOS 407814 HAS SOPS 407814 HAS SOUS 347785 HAS SOUPS 347785 WITH SCORE 348192.814
AT ITER 1654 NEW BEST:: SOT 618787 SOS 407514 HAS SOPS 407514 HAS SOUS 347764 HAS SOUPS 347764 WITH SCORE 348171.514
AT ITER 1657 NEW BEST:: SOT 618435 SOS 407358 HAS SOPS 407358 HAS SOUS 347608 HAS SOUPS 347608 WITH SCORE 348015.358
AT ITER 1659 NEW BEST:: SOT 618509 SOS 406942 HAS SOPS 406942 HAS SOUS 346970 HAS SOUPS 346970 WITH SCORE 347376.942
AT ITER 1661 NEW BEST:: SOT 618179 SOS 406612 HAS SOPS 406612 HAS SOUS 346640 HAS SOUPS 346640 WITH SCORE 347046.612
AT ITER 1663 NEW BEST:: SOT 618149 SOS 406578 HAS SOPS 406578 HAS SOUS 346606 HAS SOUPS 346606 WITH SCORE 347012.578
AT ITER 1679 NEW BEST:: SOT 618034 SOS 405914 HAS SOPS 405914 HAS SOUS 345065 HAS SOUPS 345065 WITH SCORE 345470.914
AT ITER 1682 NEW BEST:: SOT 617901 SOS 405886 HAS SOPS 405886 HAS SOUS 344749 HAS SOUPS 344749 WITH SCORE 345154.886
AT ITER 1684 NEW BEST:: SOT 618602 SOS 405879 HAS SOPS 405879 HAS SOUS 344695 HAS SOUPS 344695 WITH SCORE 345100.879
AT ITER 1685 NEW BEST:: SOT 618606 SOS 405146 HAS SOPS 405146 HAS SOUS 344232 HAS SOUPS 344232 WITH SCORE 344637.146
AT ITER 1691 NEW BEST:: SOT 618606 SOS 405088 HAS SOPS 405088 HAS SOUS 344117 HAS SOUPS 344117 WITH SCORE 344522.088
AT ITER 1694 NEW BEST:: SOT 618083 SOS 404563 HAS SOPS 404563 HAS SOUS 343592 HAS SOUPS 343592 WITH SCORE 343996.563
AT ITER 1700 NEW BEST:: SOT 617582 SOS 403612 HAS SOPS 403612 HAS SOUS 343030 HAS SOUPS 343030 WITH SCORE 343433.612
AT ITER 1702 NEW BEST:: SOT 617255 SOS 403273 HAS SOPS 403273 HAS SOUS 342691 HAS SOUPS 342691 WITH SCORE 343094.273
AT ITER 1707 NEW BEST:: SOT 616949 SOS 403109 HAS SOPS 403109 HAS SOUS 342661 HAS SOUPS 342661 WITH SCORE 343064.109
AT ITER 1715 NEW BEST:: SOT 616420 SOS 402280 HAS SOPS 402280 HAS SOUS 341748 HAS SOUPS 341748 WITH SCORE 342150.28
AT ITER 1719 NEW BEST:: SOT 616374 SOS 402234 HAS SOPS 402234 HAS SOUS 341702 HAS SOUPS 341702 WITH SCORE 342104.234
AT ITER 1720 NEW BEST:: SOT 616374 SOS 402215 HAS SOPS 402215 HAS SOUS 341650 HAS SOUPS 341650 WITH SCORE 342052.215
AT ITER 1723 NEW BEST:: SOT 616374 SOS 402215 HAS SOPS 402215 HAS SOUS 341540 HAS SOUPS 341540 WITH SCORE 341942.215
AT ITER 1725 NEW BEST:: SOT 616256 SOS 402097 HAS SOPS 402097 HAS SOUS 341422 HAS SOUPS 341422 WITH SCORE 341824.097
AT ITER 1727 NEW BEST:: SOT 616249 SOS 402090 HAS SOPS 402090 HAS SOUS 341422 HAS SOUPS 341422 WITH SCORE 341824.09
AT ITER 1740 NEW BEST:: SOT 616249 SOS 402081 HAS SOPS 402081 HAS SOUS 341405 HAS SOUPS 341405 WITH SCORE 341807.081
AT ITER 1743 NEW BEST:: SOT 616261 SOS 402071 HAS SOPS 402071 HAS SOUS 341370 HAS SOUPS 341370 WITH SCORE 341772.071
AT ITER 1748 NEW BEST:: SOT 616100 SOS 402271 HAS SOPS 402271 HAS SOUS 341322 HAS SOUPS 341322 WITH SCORE 341724.271
AT ITER 1764 NEW BEST:: SOT 616220 SOS 402391 HAS SOPS 402391 HAS SOUS 341318 HAS SOUPS 341318 WITH SCORE 341720.391
AT ITER 1774 NEW BEST:: SOT 616010 SOS 401971 HAS SOPS 401971 HAS SOUS 340898 HAS SOUPS 340898 WITH SCORE 341299.971
AT ITER 1792 NEW BEST:: SOT 615909 SOS 401959 HAS SOPS 401959 HAS SOUS 340886 HAS SOUPS 340886 WITH SCORE 341287.959
AT ITER 1797 NEW BEST:: SOT 615344 SOS 401394 HAS SOPS 401394 HAS SOUS 340321 HAS SOUPS 340321 WITH SCORE 340722.394
AT ITER 1799 NEW BEST:: SOT 615420 SOS 401304 HAS SOPS 401304 HAS SOUS 340237 HAS SOUPS 340237 WITH SCORE 340638.304
AT ITER 1800 NEW BEST:: SOT 614626 SOS 400351 HAS SOPS 400351 HAS SOUS 339284 HAS SOUPS 339284 WITH SCORE 339684.351
AT ITER 1801 NEW BEST:: SOT 614625 SOS 400235 HAS SOPS 400235 HAS SOUS 339167 HAS SOUPS 339167 WITH SCORE 339567.235
AT ITER 1802 NEW BEST:: SOT 614650 SOS 400260 HAS SOPS 400260 HAS SOUS 339093 HAS SOUPS 339093 WITH SCORE 339493.26
AT ITER 1809 NEW BEST:: SOT 614515 SOS 400125 HAS SOPS 400125 HAS SOUS 338957 HAS SOUPS 338957 WITH SCORE 339357.125
AT ITER 1818 NEW BEST:: SOT 614699 SOS 398192 HAS SOPS 398192 HAS SOUS 338705 HAS SOUPS 338705 WITH SCORE 339103.192
AT ITER 1821 NEW BEST:: SOT 614762 SOS 398319 HAS SOPS 398319 HAS SOUS 338704 HAS SOUPS 338704 WITH SCORE 339102.319
AT ITER 1831 NEW BEST:: SOT 614792 SOS 398214 HAS SOPS 398214 HAS SOUS 338599 HAS SOUPS 338599 WITH SCORE 338997.214
AT ITER 1833 NEW BEST:: SOT 614722 SOS 398006 HAS SOPS 398006 HAS SOUS 338320 HAS SOUPS 338320 WITH SCORE 338718.006
AT ITER 1834 NEW BEST:: SOT 614934 SOS 398115 HAS SOPS 398115 HAS SOUS 338283 HAS SOUPS 338283 WITH SCORE 338681.115
AT ITER 1839 NEW BEST:: SOT 614576 SOS 397701 HAS SOPS 397701 HAS SOUS 337658 HAS SOUPS 337658 WITH SCORE 338055.701
AT ITER 1844 NEW BEST:: SOT 614369 SOS 397494 HAS SOPS 397494 HAS SOUS 337451 HAS SOUPS 337451 WITH SCORE 337848.494
AT ITER 1846 NEW BEST:: SOT 614334 SOS 397424 HAS SOPS 397424 HAS SOUS 337416 HAS SOUPS 337416 WITH SCORE 337813.424
AT ITER 1857 NEW BEST:: SOT 614330 SOS 397420 HAS SOPS 397420 HAS SOUS 337412 HAS SOUPS 337412 WITH SCORE 337809.42
AT ITER 1859 NEW BEST:: SOT 614462 SOS 397447 HAS SOPS 397447 HAS SOUS 337314 HAS SOUPS 337314 WITH SCORE 337711.447
AT ITER 1866 NEW BEST:: SOT 614462 SOS 397442 HAS SOPS 397442 HAS SOUS 337309 HAS SOUPS 337309 WITH SCORE 337706.442
AT ITER 1874 NEW BEST:: SOT 614328 SOS 395464 HAS SOPS 395464 HAS SOUS 337114 HAS SOUPS 337114 WITH SCORE 337509.464
AT ITER 1879 NEW BEST:: SOT 614340 SOS 395476 HAS SOPS 395476 HAS SOUS 336891 HAS SOUPS 336891 WITH SCORE 337286.476
AT ITER 1880 NEW BEST:: SOT 614340 SOS 395320 HAS SOPS 395320 HAS SOUS 336735 HAS SOUPS 336735 WITH SCORE 337130.32
AT ITER 1881 NEW BEST:: SOT 614340 SOS 395261 HAS SOPS 395261 HAS SOUS 336503 HAS SOUPS 336503 WITH SCORE 336898.261
AT ITER 1883 NEW BEST:: SOT 614256 SOS 395177 HAS SOPS 395177 HAS SOUS 336461 HAS SOUPS 336461 WITH SCORE 336856.177
AT ITER 1884 NEW BEST:: SOT 614352 SOS 395197 HAS SOPS 395197 HAS SOUS 336123 HAS SOUPS 336123 WITH SCORE 336518.197
AT ITER 1888 NEW BEST:: SOT 614345 SOS 395190 HAS SOPS 395190 HAS SOUS 336116 HAS SOUPS 336116 WITH SCORE 336511.19
AT ITER 1894 NEW BEST:: SOT 614509 SOS 394976 HAS SOPS 394976 HAS SOUS 336010 HAS SOUPS 336010 WITH SCORE 336404.976
AT ITER 1897 NEW BEST:: SOT 614481 SOS 394948 HAS SOPS 394948 HAS SOUS 335982 HAS SOUPS 335982 WITH SCORE 336376.948
AT ITER 1908 NEW BEST:: SOT 614124 SOS 394591 HAS SOPS 394591 HAS SOUS 335515 HAS SOUPS 335515 WITH SCORE 335909.591
AT ITER 1911 NEW BEST:: SOT 614242 SOS 394746 HAS SOPS 394746 HAS SOUS 335495 HAS SOUPS 335495 WITH SCORE 335889.746
AT ITER 1919 NEW BEST:: SOT 613421 SOS 393361 HAS SOPS 393361 HAS SOUS 333963 HAS SOUPS 333963 WITH SCORE 334356.361
AT ITER 1921 NEW BEST:: SOT 613573 SOS 393281 HAS SOPS 393281 HAS SOUS 333821 HAS SOUPS 333821 WITH SCORE 334214.281
AT ITER 1932 NEW BEST:: SOT 613529 SOS 393206 HAS SOPS 393206 HAS SOUS 333757 HAS SOUPS 333757 WITH SCORE 334150.206
AT ITER 1936 NEW BEST:: SOT 612768 SOS 391497 HAS SOPS 391497 HAS SOUS 331602 HAS SOUPS 331602 WITH SCORE 331993.497
AT ITER 1960 NEW BEST:: SOT 612528 SOS 391129 HAS SOPS 391129 HAS SOUS 331234 HAS SOUPS 331234 WITH SCORE 331625.129
AT ITER 1966 NEW BEST:: SOT 612526 SOS 391041 HAS SOPS 391041 HAS SOUS 331126 HAS SOUPS 331126 WITH SCORE 331517.041
AT ITER 1968 NEW BEST:: SOT 612526 SOS 390802 HAS SOPS 390802 HAS SOUS 330409 HAS SOUPS 330409 WITH SCORE 330799.802
AT ITER 1971 NEW BEST:: SOT 612495 SOS 390567 HAS SOPS 390567 HAS SOUS 330204 HAS SOUPS 330204 WITH SCORE 330594.567
AT ITER 1980 NEW BEST:: SOT 612495 SOS 390410 HAS SOPS 390410 HAS SOUS 330047 HAS SOUPS 330047 WITH SCORE 330437.41
AT ITER 1982 NEW BEST:: SOT 611992 SOS 389905 HAS SOPS 389905 HAS SOUS 329541 HAS SOUPS 329541 WITH SCORE 329930.905
AT ITER 1984 NEW BEST:: SOT 612069 SOS 389830 HAS SOPS 389830 HAS SOUS 329489 HAS SOUPS 329489 WITH SCORE 329878.83
AT ITER 1987 NEW BEST:: SOT 612063 SOS 389824 HAS SOPS 389824 HAS SOUS 329483 HAS SOUPS 329483 WITH SCORE 329872.824
AT ITER 1992 NEW BEST:: SOT 612050 SOS 389811 HAS SOPS 389811 HAS SOUS 329470 HAS SOUPS 329470 WITH SCORE 329859.811
AT ITER 2000 NEW BEST:: SOT 612023 SOS 389784 HAS SOPS 389784 HAS SOUS 329447 HAS SOUPS 329447 WITH SCORE 329836.784
AT ITER 2004 NEW BEST:: SOT 612023 SOS 389778 HAS SOPS 389778 HAS SOUS 329441 HAS SOUPS 329441 WITH SCORE 329830.778
AT ITER 2007 NEW BEST:: SOT 611899 SOS 389623 HAS SOPS 389623 HAS SOUS 329286 HAS SOUPS 329286 WITH SCORE 329675.623
AT ITER 2011 NEW BEST:: SOT 611477 SOS 389201 HAS SOPS 389201 HAS SOUS 328864 HAS SOUPS 328864 WITH SCORE 329253.201
AT ITER 2018 NEW BEST:: SOT 611163 SOS 388789 HAS SOPS 388789 HAS SOUS 328452 HAS SOUPS 328452 WITH SCORE 328840.789
AT ITER 2020 NEW BEST:: SOT 611142 SOS 388724 HAS SOPS 388724 HAS SOUS 328387 HAS SOUPS 328387 WITH SCORE 328775.724
AT ITER 2026 NEW BEST:: SOT 610972 SOS 388497 HAS SOPS 388497 HAS SOUS 328160 HAS SOUPS 328160 WITH SCORE 328548.497
AT ITER 2046 NEW BEST:: SOT 610794 SOS 388230 HAS SOPS 388230 HAS SOUS 327893 HAS SOUPS 327893 WITH SCORE 328281.23
AT ITER 2051 NEW BEST:: SOT 610802 SOS 388303 HAS SOPS 388303 HAS SOUS 327881 HAS SOUPS 327881 WITH SCORE 328269.303
AT ITER 2053 NEW BEST:: SOT 610694 SOS 388102 HAS SOPS 388102 HAS SOUS 327680 HAS SOUPS 327680 WITH SCORE 328068.102
AT ITER 2060 NEW BEST:: SOT 610692 SOS 388076 HAS SOPS 388076 HAS SOUS 327654 HAS SOUPS 327654 WITH SCORE 328042.076
AT ITER 2063 NEW BEST:: SOT 610644 SOS 387644 HAS SOPS 387644 HAS SOUS 327589 HAS SOUPS 327589 WITH SCORE 327976.644
AT ITER 2065 NEW BEST:: SOT 610475 SOS 387269 HAS SOPS 387269 HAS SOUS 326938 HAS SOUPS 326938 WITH SCORE 327325.269
AT ITER 2066 NEW BEST:: SOT 610475 SOS 387269 HAS SOPS 387269 HAS SOUS 326937 HAS SOUPS 326937 WITH SCORE 327324.269
AT ITER 2069 NEW BEST:: SOT 610403 SOS 387197 HAS SOPS 387197 HAS SOUS 326865 HAS SOUPS 326865 WITH SCORE 327252.197
AT ITER 2070 NEW BEST:: SOT 610403 SOS 387048 HAS SOPS 387048 HAS SOUS 326716 HAS SOUPS 326716 WITH SCORE 327103.048
AT ITER 2073 NEW BEST:: SOT 609952 SOS 386597 HAS SOPS 386597 HAS SOUS 326265 HAS SOUPS 326265 WITH SCORE 326651.597
AT ITER 2074 NEW BEST:: SOT 609525 SOS 385705 HAS SOPS 385705 HAS SOUS 325373 HAS SOUPS 325373 WITH SCORE 325758.705
AT ITER 2075 NEW BEST:: SOT 608734 SOS 384713 HAS SOPS 384713 HAS SOUS 324199 HAS SOUPS 324199 WITH SCORE 324583.713
AT ITER 2091 NEW BEST:: SOT 608461 SOS 384440 HAS SOPS 384440 HAS SOUS 323926 HAS SOUPS 323926 WITH SCORE 324310.44
AT ITER 2092 NEW BEST:: SOT 608461 SOS 384428 HAS SOPS 384428 HAS SOUS 323851 HAS SOUPS 323851 WITH SCORE 324235.428
AT ITER 2097 NEW BEST:: SOT 608461 SOS 384277 HAS SOPS 384277 HAS SOUS 323808 HAS SOUPS 323808 WITH SCORE 324192.277
AT ITER 2099 NEW BEST:: SOT 608460 SOS 384276 HAS SOPS 384276 HAS SOUS 323807 HAS SOUPS 323807 WITH SCORE 324191.276
AT ITER 2108 NEW BEST:: SOT 608318 SOS 384134 HAS SOPS 384134 HAS SOUS 323665 HAS SOUPS 323665 WITH SCORE 324049.134
AT ITER 2114 NEW BEST:: SOT 608203 SOS 383972 HAS SOPS 383972 HAS SOUS 323503 HAS SOUPS 323503 WITH SCORE 323886.972
AT ITER 2126 NEW BEST:: SOT 608054 SOS 383823 HAS SOPS 383823 HAS SOUS 323354 HAS SOUPS 323354 WITH SCORE 323737.823
AT ITER 2132 NEW BEST:: SOT 608011 SOS 383712 HAS SOPS 383712 HAS SOUS 323291 HAS SOUPS 323291 WITH SCORE 323674.712
AT ITER 2134 NEW BEST:: SOT 607876 SOS 383448 HAS SOPS 383448 HAS SOUS 323027 HAS SOUPS 323027 WITH SCORE 323410.448
AT ITER 2140 NEW BEST:: SOT 607825 SOS 383219 HAS SOPS 383219 HAS SOUS 322901 HAS SOUPS 322901 WITH SCORE 323284.219
AT ITER 2143 NEW BEST:: SOT 607816 SOS 383212 HAS SOPS 383212 HAS SOUS 322896 HAS SOUPS 322896 WITH SCORE 323279.212
AT ITER 2149 NEW BEST:: SOT 608628 SOS 382968 HAS SOPS 382968 HAS SOUS 322749 HAS SOUPS 322749 WITH SCORE 323131.968
AT ITER 2157 NEW BEST:: SOT 608564 SOS 382759 HAS SOPS 382759 HAS SOUS 322700 HAS SOUPS 322700 WITH SCORE 323082.759
AT ITER 2168 NEW BEST:: SOT 608732 SOS 382925 HAS SOPS 382925 HAS SOUS 322536 HAS SOUPS 322536 WITH SCORE 322918.925
AT ITER 2171 NEW BEST:: SOT 608490 SOS 382683 HAS SOPS 382683 HAS SOUS 322294 HAS SOUPS 322294 WITH SCORE 322676.683
AT ITER 2175 NEW BEST:: SOT 608157 SOS 381988 HAS SOPS 381988 HAS SOUS 322136 HAS SOUPS 322136 WITH SCORE 322517.988
AT ITER 2183 NEW BEST:: SOT 608108 SOS 381792 HAS SOPS 381792 HAS SOUS 322136 HAS SOUPS 322136 WITH SCORE 322517.792
AT ITER 2185 NEW BEST:: SOT 608095 SOS 381779 HAS SOPS 381779 HAS SOUS 322123 HAS SOUPS 322123 WITH SCORE 322504.779
AT ITER 2192 NEW BEST:: SOT 608095 SOS 381620 HAS SOPS 381620 HAS SOUS 321964 HAS SOUPS 321964 WITH SCORE 322345.62
AT ITER 2214 NEW BEST:: SOT 608065 SOS 381447 HAS SOPS 381447 HAS SOUS 321791 HAS SOUPS 321791 WITH SCORE 322172.447
AT ITER 2220 NEW BEST:: SOT 607764 SOS 380945 HAS SOPS 380945 HAS SOUS 321289 HAS SOUPS 321289 WITH SCORE 321669.945
AT ITER 2228 NEW BEST:: SOT 607459 SOS 380640 HAS SOPS 380640 HAS SOUS 320836 HAS SOUPS 320836 WITH SCORE 321216.64
AT ITER 2244 NEW BEST:: SOT 608220 SOS 381226 HAS SOPS 381226 HAS SOUS 320148 HAS SOUPS 320148 WITH SCORE 320529.226
AT ITER 2248 NEW BEST:: SOT 608340 SOS 380860 HAS SOPS 380860 HAS SOUS 320145 HAS SOUPS 320145 WITH SCORE 320525.86
AT ITER 2260 NEW BEST:: SOT 608093 SOS 380521 HAS SOPS 380521 HAS SOUS 320133 HAS SOUPS 320133 WITH SCORE 320513.521
AT ITER 2266 NEW BEST:: SOT 608093 SOS 380453 HAS SOPS 380453 HAS SOUS 320092 HAS SOUPS 320092 WITH SCORE 320472.453
AT ITER 2270 NEW BEST:: SOT 608000 SOS 380358 HAS SOPS 380358 HAS SOUS 319997 HAS SOUPS 319997 WITH SCORE 320377.358
AT ITER 2271 NEW BEST:: SOT 608000 SOS 380327 HAS SOPS 380327 HAS SOUS 319930 HAS SOUPS 319930 WITH SCORE 320310.327
AT ITER 2280 NEW BEST:: SOT 608000 SOS 380264 HAS SOPS 380264 HAS SOUS 319921 HAS SOUPS 319921 WITH SCORE 320301.264
AT ITER 2290 NEW BEST:: SOT 607548 SOS 379812 HAS SOPS 379812 HAS SOUS 319469 HAS SOUPS 319469 WITH SCORE 319848.812
AT ITER 2291 NEW BEST:: SOT 607148 SOS 379412 HAS SOPS 379412 HAS SOUS 319069 HAS SOUPS 319069 WITH SCORE 319448.412
AT ITER 2304 NEW BEST:: SOT 607030 SOS 379165 HAS SOPS 379165 HAS SOUS 318878 HAS SOUPS 318878 WITH SCORE 319257.165
AT ITER 2314 NEW BEST:: SOT 606908 SOS 377310 HAS SOPS 377310 HAS SOUS 318099 HAS SOUPS 318099 WITH SCORE 318476.31
AT ITER 2320 NEW BEST:: SOT 606747 SOS 377149 HAS SOPS 377149 HAS SOUS 317938 HAS SOUPS 317938 WITH SCORE 318315.149
AT ITER 2327 NEW BEST:: SOT 606750 SOS 377152 HAS SOPS 377152 HAS SOUS 317909 HAS SOUPS 317909 WITH SCORE 318286.152
AT ITER 2328 NEW BEST:: SOT 606393 SOS 376795 HAS SOPS 376795 HAS SOUS 317552 HAS SOUPS 317552 WITH SCORE 317928.795
AT ITER 2332 NEW BEST:: SOT 606347 SOS 376703 HAS SOPS 376703 HAS SOUS 317460 HAS SOUPS 317460 WITH SCORE 317836.703
AT ITER 2334 NEW BEST:: SOT 606283 SOS 376639 HAS SOPS 376639 HAS SOUS 317396 HAS SOUPS 317396 WITH SCORE 317772.639
AT ITER 2337 NEW BEST:: SOT 606283 SOS 375518 HAS SOPS 375518 HAS SOUS 317030 HAS SOUPS 317030 WITH SCORE 317405.518
AT ITER 2342 NEW BEST:: SOT 606172 SOS 375359 HAS SOPS 375359 HAS SOUS 316896 HAS SOUPS 316896 WITH SCORE 317271.359
AT ITER 2343 NEW BEST:: SOT 606072 SOS 375135 HAS SOPS 375135 HAS SOUS 316550 HAS SOUPS 316550 WITH SCORE 316925.135
AT ITER 2347 NEW BEST:: SOT 606072 SOS 375473 HAS SOPS 375473 HAS SOUS 316538 HAS SOUPS 316538 WITH SCORE 316913.473
AT ITER 2350 NEW BEST:: SOT 606037 SOS 375762 HAS SOPS 375762 HAS SOUS 316282 HAS SOUPS 316282 WITH SCORE 316657.762
AT ITER 2352 NEW BEST:: SOT 606015 SOS 375535 HAS SOPS 375535 HAS SOUS 316055 HAS SOUPS 316055 WITH SCORE 316430.535
AT ITER 2358 NEW BEST:: SOT 605666 SOS 375014 HAS SOPS 375014 HAS SOUS 315534 HAS SOUPS 315534 WITH SCORE 315909.014
AT ITER 2359 NEW BEST:: SOT 605336 SOS 374580 HAS SOPS 374580 HAS SOUS 315100 HAS SOUPS 315100 WITH SCORE 315474.58
AT ITER 2360 NEW BEST:: SOT 604913 SOS 374157 HAS SOPS 374157 HAS SOUS 314677 HAS SOUPS 314677 WITH SCORE 315051.157
AT ITER 2372 NEW BEST:: SOT 604897 SOS 374092 HAS SOPS 374092 HAS SOUS 314612 HAS SOUPS 314612 WITH SCORE 314986.092
AT ITER 2377 NEW BEST:: SOT 604812 SOS 374117 HAS SOPS 374117 HAS SOUS 314229 HAS SOUPS 314229 WITH SCORE 314603.117
AT ITER 2379 NEW BEST:: SOT 604742 SOS 373795 HAS SOPS 373795 HAS SOUS 314035 HAS SOUPS 314035 WITH SCORE 314408.795
AT ITER 2384 NEW BEST:: SOT 604472 SOS 373446 HAS SOPS 373446 HAS SOUS 313686 HAS SOUPS 313686 WITH SCORE 314059.446
AT ITER 2385 NEW BEST:: SOT 604434 SOS 373505 HAS SOPS 373505 HAS SOUS 313571 HAS SOUPS 313571 WITH SCORE 313944.505
AT ITER 2388 NEW BEST:: SOT 604499 SOS 373269 HAS SOPS 373269 HAS SOUS 313335 HAS SOUPS 313335 WITH SCORE 313708.269
AT ITER 2390 NEW BEST:: SOT 604485 SOS 373252 HAS SOPS 373252 HAS SOUS 313317 HAS SOUPS 313317 WITH SCORE 313690.252
AT ITER 2421 NEW BEST:: SOT 604283 SOS 373249 HAS SOPS 373249 HAS SOUS 313316 HAS SOUPS 313316 WITH SCORE 313689.249
AT ITER 2436 NEW BEST:: SOT 604281 SOS 373081 HAS SOPS 373081 HAS SOUS 313148 HAS SOUPS 313148 WITH SCORE 313521.081
AT ITER 2444 NEW BEST:: SOT 604117 SOS 373138 HAS SOPS 373138 HAS SOUS 313043 HAS SOUPS 313043 WITH SCORE 313416.138
AT ITER 2455 NEW BEST:: SOT 603942 SOS 372914 HAS SOPS 372914 HAS SOUS 312819 HAS SOUPS 312819 WITH SCORE 313191.914
AT ITER 2457 NEW BEST:: SOT 603942 SOS 372902 HAS SOPS 372902 HAS SOUS 312807 HAS SOUPS 312807 WITH SCORE 313179.902
AT ITER 2484 NEW BEST:: SOT 603848 SOS 372373 HAS SOPS 372373 HAS SOUS 312683 HAS SOUPS 312683 WITH SCORE 313055.373
AT ITER 2486 NEW BEST:: SOT 603970 SOS 372219 HAS SOPS 372219 HAS SOUS 312636 HAS SOUPS 312636 WITH SCORE 313008.219
AT ITER 2501 NEW BEST:: SOT 603893 SOS 372142 HAS SOPS 372142 HAS SOUS 312559 HAS SOUPS 312559 WITH SCORE 312931.142
AT ITER 2505 NEW BEST:: SOT 603257 SOS 371504 HAS SOPS 371504 HAS SOUS 311921 HAS SOUPS 311921 WITH SCORE 312292.504
AT ITER 2506 NEW BEST:: SOT 603104 SOS 371244 HAS SOPS 371244 HAS SOUS 311648 HAS SOUPS 311648 WITH SCORE 312019.244
AT ITER 2520 NEW BEST:: SOT 602663 SOS 370799 HAS SOPS 370799 HAS SOUS 311041 HAS SOUPS 311041 WITH SCORE 311411.799
AT ITER 2521 NEW BEST:: SOT 602333 SOS 370367 HAS SOPS 370367 HAS SOUS 310609 HAS SOUPS 310609 WITH SCORE 310979.367
AT ITER 2528 NEW BEST:: SOT 602303 SOS 370085 HAS SOPS 370085 HAS SOUS 310327 HAS SOUPS 310327 WITH SCORE 310697.085
AT ITER 2529 NEW BEST:: SOT 602728 SOS 369839 HAS SOPS 369839 HAS SOUS 310151 HAS SOUPS 310151 WITH SCORE 310520.839
AT ITER 2540 NEW BEST:: SOT 602690 SOS 369787 HAS SOPS 369787 HAS SOUS 310135 HAS SOUPS 310135 WITH SCORE 310504.787
AT ITER 2557 NEW BEST:: SOT 602457 SOS 369533 HAS SOPS 369533 HAS SOUS 309862 HAS SOUPS 309862 WITH SCORE 310231.533
AT ITER 2561 NEW BEST:: SOT 602290 SOS 369387 HAS SOPS 369387 HAS SOUS 309693 HAS SOUPS 309693 WITH SCORE 310062.387
AT ITER 2562 NEW BEST:: SOT 602311 SOS 369348 HAS SOPS 369348 HAS SOUS 309654 HAS SOUPS 309654 WITH SCORE 310023.348
AT ITER 2565 NEW BEST:: SOT 602389 SOS 368934 HAS SOPS 368934 HAS SOUS 309648 HAS SOUPS 309648 WITH SCORE 310016.934
AT ITER 2572 NEW BEST:: SOT 602258 SOS 368789 HAS SOPS 368789 HAS SOUS 309237 HAS SOUPS 309237 WITH SCORE 309605.789
AT ITER 2574 NEW BEST:: SOT 602420 SOS 368781 HAS SOPS 368781 HAS SOUS 309229 HAS SOUPS 309229 WITH SCORE 309597.781
AT ITER 2576 NEW BEST:: SOT 602419 SOS 368637 HAS SOPS 368637 HAS SOUS 308695 HAS SOUPS 308695 WITH SCORE 309063.637
AT ITER 2577 NEW BEST:: SOT 601949 SOS 368153 HAS SOPS 368153 HAS SOUS 308211 HAS SOUPS 308211 WITH SCORE 308579.153
AT ITER 2588 NEW BEST:: SOT 601742 SOS 367779 HAS SOPS 367779 HAS SOUS 307837 HAS SOUPS 307837 WITH SCORE 308204.779
AT ITER 2604 NEW BEST:: SOT 602164 SOS 367541 HAS SOPS 367541 HAS SOUS 307767 HAS SOUPS 307767 WITH SCORE 308134.541
AT ITER 2607 NEW BEST:: SOT 602102 SOS 367479 HAS SOPS 367479 HAS SOUS 307705 HAS SOUPS 307705 WITH SCORE 308072.479
AT ITER 2609 NEW BEST:: SOT 601888 SOS 367476 HAS SOPS 367476 HAS SOUS 307687 HAS SOUPS 307687 WITH SCORE 308054.476
AT ITER 2613 NEW BEST:: SOT 601885 SOS 367576 HAS SOPS 367576 HAS SOUS 307572 HAS SOUPS 307572 WITH SCORE 307939.576
AT ITER 2622 NEW BEST:: SOT 601841 SOS 367532 HAS SOPS 367532 HAS SOUS 307528 HAS SOUPS 307528 WITH SCORE 307895.532
AT ITER 2628 NEW BEST:: SOT 601594 SOS 366484 HAS SOPS 366484 HAS SOUS 307338 HAS SOUPS 307338 WITH SCORE 307704.484
AT ITER 2636 NEW BEST:: SOT 601164 SOS 366054 HAS SOPS 366054 HAS SOUS 306908 HAS SOUPS 306908 WITH SCORE 307274.054
AT ITER 2637 NEW BEST:: SOT 601164 SOS 365889 HAS SOPS 365889 HAS SOUS 306836 HAS SOUPS 306836 WITH SCORE 307201.889
AT ITER 2638 NEW BEST:: SOT 601161 SOS 365886 HAS SOPS 365886 HAS SOUS 306833 HAS SOUPS 306833 WITH SCORE 307198.886
AT ITER 2650 NEW BEST:: SOT 601155 SOS 365631 HAS SOPS 365631 HAS SOUS 306661 HAS SOUPS 306661 WITH SCORE 307026.631
AT ITER 2661 NEW BEST:: SOT 601400 SOS 365784 HAS SOPS 365784 HAS SOUS 306502 HAS SOUPS 306502 WITH SCORE 306867.784
AT ITER 2667 NEW BEST:: SOT 601400 SOS 365686 HAS SOPS 365686 HAS SOUS 306429 HAS SOUPS 306429 WITH SCORE 306794.686
AT ITER 2680 NEW BEST:: SOT 601310 SOS 365596 HAS SOPS 365596 HAS SOUS 306339 HAS SOUPS 306339 WITH SCORE 306704.596
AT ITER 2682 NEW BEST:: SOT 601214 SOS 365161 HAS SOPS 365161 HAS SOUS 306237 HAS SOUPS 306237 WITH SCORE 306602.161
AT ITER 2685 NEW BEST:: SOT 601214 SOS 365137 HAS SOPS 365137 HAS SOUS 306213 HAS SOUPS 306213 WITH SCORE 306578.137
AT ITER 2687 NEW BEST:: SOT 601214 SOS 365137 HAS SOPS 365137 HAS SOUS 306132 HAS SOUPS 306132 WITH SCORE 306497.137
AT ITER 2689 NEW BEST:: SOT 601214 SOS 364952 HAS SOPS 364952 HAS SOUS 306015 HAS SOUPS 306015 WITH SCORE 306379.952
AT ITER 2693 NEW BEST:: SOT 601114 SOS 364948 HAS SOPS 364948 HAS SOUS 305913 HAS SOUPS 305913 WITH SCORE 306277.948
AT ITER 2695 NEW BEST:: SOT 600956 SOS 364790 HAS SOPS 364790 HAS SOUS 305744 HAS SOUPS 305744 WITH SCORE 306108.79
AT ITER 2704 NEW BEST:: SOT 600956 SOS 364430 HAS SOPS 364430 HAS SOUS 304972 HAS SOUPS 304972 WITH SCORE 305336.43
AT ITER 2721 NEW BEST:: SOT 600498 SOS 363796 HAS SOPS 363796 HAS SOUS 304338 HAS SOUPS 304338 WITH SCORE 304701.796
AT ITER 2725 NEW BEST:: SOT 600551 SOS 363634 HAS SOPS 363634 HAS SOUS 304160 HAS SOUPS 304160 WITH SCORE 304523.634
AT ITER 2735 NEW BEST:: SOT 600997 SOS 364136 HAS SOPS 364136 HAS SOUS 303796 HAS SOUPS 303796 WITH SCORE 304160.136
AT ITER 2739 NEW BEST:: SOT 600955 SOS 363666 HAS SOPS 363666 HAS SOUS 303361 HAS SOUPS 303361 WITH SCORE 303724.666
AT ITER 2746 NEW BEST:: SOT 601040 SOS 363252 HAS SOPS 363252 HAS SOUS 303081 HAS SOUPS 303081 WITH SCORE 303444.252
AT ITER 2752 NEW BEST:: SOT 600899 SOS 362523 HAS SOPS 362523 HAS SOUS 302817 HAS SOUPS 302817 WITH SCORE 303179.523
AT ITER 2758 NEW BEST:: SOT 601601 SOS 362681 HAS SOPS 362681 HAS SOUS 302553 HAS SOUPS 302553 WITH SCORE 302915.681
AT ITER 2761 NEW BEST:: SOT 601601 SOS 362198 HAS SOPS 362198 HAS SOUS 301929 HAS SOUPS 301929 WITH SCORE 302291.198
AT ITER 2779 NEW BEST:: SOT 601612 SOS 361699 HAS SOPS 361699 HAS SOUS 301674 HAS SOUPS 301674 WITH SCORE 302035.699
AT ITER 2787 NEW BEST:: SOT 601536 SOS 361564 HAS SOPS 361564 HAS SOUS 301539 HAS SOUPS 301539 WITH SCORE 301900.564
AT ITER 2788 NEW BEST:: SOT 601236 SOS 361264 HAS SOPS 361264 HAS SOUS 301239 HAS SOUPS 301239 WITH SCORE 301600.264
AT ITER 2790 NEW BEST:: SOT 601231 SOS 361259 HAS SOPS 361259 HAS SOUS 301229 HAS SOUPS 301229 WITH SCORE 301590.259
AT ITER 2791 NEW BEST:: SOT 601150 SOS 361086 HAS SOPS 361086 HAS SOUS 301061 HAS SOUPS 301061 WITH SCORE 301422.086
AT ITER 2794 NEW BEST:: SOT 600054 SOS 359990 HAS SOPS 359990 HAS SOUS 299965 HAS SOUPS 299965 WITH SCORE 300324.99
AT ITER 2796 NEW BEST:: SOT 600020 SOS 359269 HAS SOPS 359269 HAS SOUS 299406 HAS SOUPS 299406 WITH SCORE 299765.269
AT ITER 2799 NEW BEST:: SOT 599599 SOS 358970 HAS SOPS 358970 HAS SOUS 299175 HAS SOUPS 299175 WITH SCORE 299533.97
AT ITER 2812 NEW BEST:: SOT 599801 SOS 359070 HAS SOPS 359070 HAS SOUS 298969 HAS SOUPS 298969 WITH SCORE 299328.07
AT ITER 2831 NEW BEST:: SOT 599632 SOS 357886 HAS SOPS 357886 HAS SOUS 298361 HAS SOUPS 298361 WITH SCORE 298718.886
AT ITER 2837 NEW BEST:: SOT 599308 SOS 357703 HAS SOPS 357703 HAS SOUS 298268 HAS SOUPS 298268 WITH SCORE 298625.703
AT ITER 2846 NEW BEST:: SOT 599361 SOS 357356 HAS SOPS 357356 HAS SOUS 297944 HAS SOUPS 297944 WITH SCORE 298301.356
AT ITER 2848 NEW BEST:: SOT 599337 SOS 357284 HAS SOPS 357284 HAS SOUS 297896 HAS SOUPS 297896 WITH SCORE 298253.284
AT ITER 2856 NEW BEST:: SOT 599337 SOS 357016 HAS SOPS 357016 HAS SOUS 297628 HAS SOUPS 297628 WITH SCORE 297985.016
AT ITER 2857 NEW BEST:: SOT 599132 SOS 356701 HAS SOPS 356701 HAS SOUS 297147 HAS SOUPS 297147 WITH SCORE 297503.701
AT ITER 2858 NEW BEST:: SOT 599331 SOS 356108 HAS SOPS 356108 HAS SOUS 296300 HAS SOUPS 296300 WITH SCORE 296656.108
AT ITER 2867 NEW BEST:: SOT 599023 SOS 355525 HAS SOPS 355525 HAS SOUS 295483 HAS SOUPS 295483 WITH SCORE 295838.525
AT ITER 2870 NEW BEST:: SOT 598145 SOS 354695 HAS SOPS 354695 HAS SOUS 293657 HAS SOUPS 293657 WITH SCORE 294011.695
AT ITER 2874 NEW BEST:: SOT 598145 SOS 354471 HAS SOPS 354471 HAS SOUS 293214 HAS SOUPS 293214 WITH SCORE 293568.471
AT ITER 2883 NEW BEST:: SOT 598142 SOS 354360 HAS SOPS 354360 HAS SOUS 293103 HAS SOUPS 293103 WITH SCORE 293457.36
AT ITER 2897 NEW BEST:: SOT 598142 SOS 354356 HAS SOPS 354356 HAS SOUS 293099 HAS SOUPS 293099 WITH SCORE 293453.356
AT ITER 2906 NEW BEST:: SOT 598203 SOS 354243 HAS SOPS 354243 HAS SOUS 292994 HAS SOUPS 292994 WITH SCORE 293348.243
AT ITER 2909 NEW BEST:: SOT 598108 SOS 354155 HAS SOPS 354155 HAS SOUS 292906 HAS SOUPS 292906 WITH SCORE 293260.155
AT ITER 2924 NEW BEST:: SOT 597793 SOS 353504 HAS SOPS 353504 HAS SOUS 292678 HAS SOUPS 292678 WITH SCORE 293031.504
AT ITER 2945 NEW BEST:: SOT 597747 SOS 353580 HAS SOPS 353580 HAS SOUS 292555 HAS SOUPS 292555 WITH SCORE 292908.58
AT ITER 2954 NEW BEST:: SOT 597747 SOS 353610 HAS SOPS 353610 HAS SOUS 292540 HAS SOUPS 292540 WITH SCORE 292893.61
AT ITER 2955 NEW BEST:: SOT 597715 SOS 353578 HAS SOPS 353578 HAS SOUS 292508 HAS SOUPS 292508 WITH SCORE 292861.578
AT ITER 2964 NEW BEST:: SOT 597907 SOS 353612 HAS SOPS 353612 HAS SOUS 292285 HAS SOUPS 292285 WITH SCORE 292638.612
AT ITER 2968 NEW BEST:: SOT 597907 SOS 353102 HAS SOPS 353102 HAS SOUS 292132 HAS SOUPS 292132 WITH SCORE 292485.102
AT ITER 2970 NEW BEST:: SOT 597790 SOS 352726 HAS SOPS 352726 HAS SOUS 291166 HAS SOUPS 291166 WITH SCORE 291518.726
AT ITER 2973 NEW BEST:: SOT 597685 SOS 352621 HAS SOPS 352621 HAS SOUS 291061 HAS SOUPS 291061 WITH SCORE 291413.621
AT ITER 2984 NEW BEST:: SOT 597607 SOS 352543 HAS SOPS 352543 HAS SOUS 290983 HAS SOUPS 290983 WITH SCORE 291335.543
AT ITER 2994 NEW BEST:: SOT 597681 SOS 352544 HAS SOPS 352544 HAS SOUS 290965 HAS SOUPS 290965 WITH SCORE 291317.544
AT ITER 2996 NEW BEST:: SOT 597604 SOS 352508 HAS SOPS 352508 HAS SOUS 290929 HAS SOUPS 290929 WITH SCORE 291281.508
AT ITER 2997 NEW BEST:: SOT 597364 SOS 352194 HAS SOPS 352194 HAS SOUS 290670 HAS SOUPS 290670 WITH SCORE 291022.194
AT ITER 2999 NEW BEST:: SOT 597316 SOS 351756 HAS SOPS 351756 HAS SOUS 290196 HAS SOUPS 290196 WITH SCORE 290547.756
AT ITER 3012 NEW BEST:: SOT 597185 SOS 351572 HAS SOPS 351572 HAS SOUS 290014 HAS SOUPS 290014 WITH SCORE 290365.572
AT ITER 3016 NEW BEST:: SOT 597029 SOS 351445 HAS SOPS 351445 HAS SOUS 289903 HAS SOUPS 289903 WITH SCORE 290254.445
AT ITER 3020 NEW BEST:: SOT 596944 SOS 351190 HAS SOPS 351190 HAS SOUS 289738 HAS SOUPS 289738 WITH SCORE 290089.19
AT ITER 3028 NEW BEST:: SOT 596849 SOS 351118 HAS SOPS 351118 HAS SOUS 289600 HAS SOUPS 289600 WITH SCORE 289951.118
AT ITER 3030 NEW BEST:: SOT 596849 SOS 351010 HAS SOPS 351010 HAS SOUS 289564 HAS SOUPS 289564 WITH SCORE 289915.01
AT ITER 3036 NEW BEST:: SOT 596849 SOS 350906 HAS SOPS 350906 HAS SOUS 289513 HAS SOUPS 289513 WITH SCORE 289863.906
AT ITER 3039 NEW BEST:: SOT 595932 SOS 349625 HAS SOPS 349625 HAS SOUS 288232 HAS SOUPS 288232 WITH SCORE 288581.625
AT ITER 3047 NEW BEST:: SOT 595930 SOS 349621 HAS SOPS 349621 HAS SOUS 288228 HAS SOUPS 288228 WITH SCORE 288577.621
AT ITER 3057 NEW BEST:: SOT 595914 SOS 349494 HAS SOPS 349494 HAS SOUS 288101 HAS SOUPS 288101 WITH SCORE 288450.494
AT ITER 3064 NEW BEST:: SOT 595849 SOS 349418 HAS SOPS 349418 HAS SOUS 288025 HAS SOUPS 288025 WITH SCORE 288374.418
AT ITER 3077 NEW BEST:: SOT 595772 SOS 349566 HAS SOPS 349566 HAS SOUS 288011 HAS SOUPS 288011 WITH SCORE 288360.566
AT ITER 3081 NEW BEST:: SOT 596095 SOS 349706 HAS SOPS 349706 HAS SOUS 287968 HAS SOUPS 287968 WITH SCORE 288317.706
AT ITER 3088 NEW BEST:: SOT 595841 SOS 349496 HAS SOPS 349496 HAS SOUS 287609 HAS SOUPS 287609 WITH SCORE 287958.496
AT ITER 3089 NEW BEST:: SOT 595743 SOS 349398 HAS SOPS 349398 HAS SOUS 287511 HAS SOUPS 287511 WITH SCORE 287860.398
AT ITER 3093 NEW BEST:: SOT 595708 SOS 349328 HAS SOPS 349328 HAS SOUS 287476 HAS SOUPS 287476 WITH SCORE 287825.328
AT ITER 3105 NEW BEST:: SOT 595724 SOS 349135 HAS SOPS 349135 HAS SOUS 287283 HAS SOUPS 287283 WITH SCORE 287632.135
AT ITER 3111 NEW BEST:: SOT 595584 SOS 348982 HAS SOPS 348982 HAS SOUS 287101 HAS SOUPS 287101 WITH SCORE 287449.982
AT ITER 3113 NEW BEST:: SOT 595584 SOS 348826 HAS SOPS 348826 HAS SOUS 286273 HAS SOUPS 286273 WITH SCORE 286621.826
AT ITER 3118 NEW BEST:: SOT 595514 SOS 348581 HAS SOPS 348581 HAS SOUS 286135 HAS SOUPS 286135 WITH SCORE 286483.581
AT ITER 3122 NEW BEST:: SOT 594889 SOS 347956 HAS SOPS 347956 HAS SOUS 285510 HAS SOUPS 285510 WITH SCORE 285857.956
AT ITER 3124 NEW BEST:: SOT 594834 SOS 347913 HAS SOPS 347913 HAS SOUS 285329 HAS SOUPS 285329 WITH SCORE 285676.913
AT ITER 3133 NEW BEST:: SOT 594736 SOS 347503 HAS SOPS 347503 HAS SOUS 285054 HAS SOUPS 285054 WITH SCORE 285401.503
AT ITER 3147 NEW BEST:: SOT 594613 SOS 347319 HAS SOPS 347319 HAS SOUS 284873 HAS SOUPS 284873 WITH SCORE 285220.319
AT ITER 3158 NEW BEST:: SOT 594561 SOS 347245 HAS SOPS 347245 HAS SOUS 284799 HAS SOUPS 284799 WITH SCORE 285146.245
AT ITER 3161 NEW BEST:: SOT 594386 SOS 346926 HAS SOPS 346926 HAS SOUS 284681 HAS SOUPS 284681 WITH SCORE 285027.926
AT ITER 3173 NEW BEST:: SOT 594310 SOS 346850 HAS SOPS 346850 HAS SOUS 284605 HAS SOUPS 284605 WITH SCORE 284951.85
AT ITER 3180 NEW BEST:: SOT 594310 SOS 346370 HAS SOPS 346370 HAS SOUS 284403 HAS SOUPS 284403 WITH SCORE 284749.37
AT ITER 3201 NEW BEST:: SOT 594310 SOS 346301 HAS SOPS 346301 HAS SOUS 284403 HAS SOUPS 284403 WITH SCORE 284749.301
AT ITER 3203 NEW BEST:: SOT 593861 SOS 345852 HAS SOPS 345852 HAS SOUS 284236 HAS SOUPS 284236 WITH SCORE 284581.852
AT ITER 3209 NEW BEST:: SOT 593760 SOS 345703 HAS SOPS 345703 HAS SOUS 284087 HAS SOUPS 284087 WITH SCORE 284432.703
AT ITER 3210 NEW BEST:: SOT 593863 SOS 345680 HAS SOPS 345680 HAS SOUS 284064 HAS SOUPS 284064 WITH SCORE 284409.68
AT ITER 3211 NEW BEST:: SOT 593748 SOS 345596 HAS SOPS 345596 HAS SOUS 283913 HAS SOUPS 283913 WITH SCORE 284258.596
AT ITER 3212 NEW BEST:: SOT 593748 SOS 345596 HAS SOPS 345596 HAS SOUS 283792 HAS SOUPS 283792 WITH SCORE 284137.596
AT ITER 3216 NEW BEST:: SOT 593692 SOS 345540 HAS SOPS 345540 HAS SOUS 283736 HAS SOUPS 283736 WITH SCORE 284081.54
AT ITER 3218 NEW BEST:: SOT 593668 SOS 345339 HAS SOPS 345339 HAS SOUS 283538 HAS SOUPS 283538 WITH SCORE 283883.339
AT ITER 3219 NEW BEST:: SOT 593662 SOS 345675 HAS SOPS 345675 HAS SOUS 283530 HAS SOUPS 283530 WITH SCORE 283875.675
AT ITER 3225 NEW BEST:: SOT 593662 SOS 345680 HAS SOPS 345680 HAS SOUS 283340 HAS SOUPS 283340 WITH SCORE 283685.68
AT ITER 3227 NEW BEST:: SOT 593589 SOS 345607 HAS SOPS 345607 HAS SOUS 283146 HAS SOUPS 283146 WITH SCORE 283491.607
AT ITER 3229 NEW BEST:: SOT 593588 SOS 345606 HAS SOPS 345606 HAS SOUS 283145 HAS SOUPS 283145 WITH SCORE 283490.606
AT ITER 3239 NEW BEST:: SOT 593809 SOS 344947 HAS SOPS 344947 HAS SOUS 282794 HAS SOUPS 282794 WITH SCORE 283138.947
AT ITER 3249 NEW BEST:: SOT 593809 SOS 344947 HAS SOPS 344947 HAS SOUS 282788 HAS SOUPS 282788 WITH SCORE 283132.947
AT ITER 3260 NEW BEST:: SOT 593498 SOS 343967 HAS SOPS 343967 HAS SOUS 281872 HAS SOUPS 281872 WITH SCORE 282215.967
AT ITER 3262 NEW BEST:: SOT 593498 SOS 343904 HAS SOPS 343904 HAS SOUS 281746 HAS SOUPS 281746 WITH SCORE 282089.904
AT ITER 3273 NEW BEST:: SOT 593429 SOS 343835 HAS SOPS 343835 HAS SOUS 281677 HAS SOUPS 281677 WITH SCORE 282020.835
AT ITER 3278 NEW BEST:: SOT 593144 SOS 343685 HAS SOPS 343685 HAS SOUS 281527 HAS SOUPS 281527 WITH SCORE 281870.685
AT ITER 3312 NEW BEST:: SOT 593212 SOS 343685 HAS SOPS 343685 HAS SOUS 281320 HAS SOUPS 281320 WITH SCORE 281663.685
AT ITER 3316 NEW BEST:: SOT 593171 SOS 343644 HAS SOPS 343644 HAS SOUS 281292 HAS SOUPS 281292 WITH SCORE 281635.644
AT ITER 3322 NEW BEST:: SOT 593208 SOS 343694 HAS SOPS 343694 HAS SOUS 281263 HAS SOUPS 281263 WITH SCORE 281606.694
AT ITER 3327 NEW BEST:: SOT 593193 SOS 343679 HAS SOPS 343679 HAS SOUS 281248 HAS SOUPS 281248 WITH SCORE 281591.679
AT ITER 3330 NEW BEST:: SOT 593185 SOS 343632 HAS SOPS 343632 HAS SOUS 281201 HAS SOUPS 281201 WITH SCORE 281544.632
AT ITER 3333 NEW BEST:: SOT 593231 SOS 343553 HAS SOPS 343553 HAS SOUS 281119 HAS SOUPS 281119 WITH SCORE 281462.553
AT ITER 3338 NEW BEST:: SOT 592930 SOS 343027 HAS SOPS 343027 HAS SOUS 280593 HAS SOUPS 280593 WITH SCORE 280936.027
AT ITER 3343 NEW BEST:: SOT 592681 SOS 342106 HAS SOPS 342106 HAS SOUS 279864 HAS SOUPS 279864 WITH SCORE 280206.106
AT ITER 3345 NEW BEST:: SOT 592681 SOS 341454 HAS SOPS 341454 HAS SOUS 279672 HAS SOUPS 279672 WITH SCORE 280013.454
AT ITER 3352 NEW BEST:: SOT 592442 SOS 341088 HAS SOPS 341088 HAS SOUS 279306 HAS SOUPS 279306 WITH SCORE 279647.088
AT ITER 3369 NEW BEST:: SOT 592385 SOS 341062 HAS SOPS 341062 HAS SOUS 279298 HAS SOUPS 279298 WITH SCORE 279639.062
AT ITER 3374 NEW BEST:: SOT 592271 SOS 340815 HAS SOPS 340815 HAS SOUS 279051 HAS SOUPS 279051 WITH SCORE 279391.815
AT ITER 3379 NEW BEST:: SOT 592444 SOS 340925 HAS SOPS 340925 HAS SOUS 279041 HAS SOUPS 279041 WITH SCORE 279381.925
AT ITER 3389 NEW BEST:: SOT 592288 SOS 340692 HAS SOPS 340692 HAS SOUS 278652 HAS SOUPS 278652 WITH SCORE 278992.692
AT ITER 3397 NEW BEST:: SOT 592081 SOS 340290 HAS SOPS 340290 HAS SOUS 278250 HAS SOUPS 278250 WITH SCORE 278590.29
AT ITER 3400 NEW BEST:: SOT 592071 SOS 340280 HAS SOPS 340280 HAS SOUS 278240 HAS SOUPS 278240 WITH SCORE 278580.28
AT ITER 3404 NEW BEST:: SOT 591967 SOS 340072 HAS SOPS 340072 HAS SOUS 278032 HAS SOUPS 278032 WITH SCORE 278372.072
AT ITER 3405 NEW BEST:: SOT 591967 SOS 339893 HAS SOPS 339893 HAS SOUS 278014 HAS SOUPS 278014 WITH SCORE 278353.893
AT ITER 3407 NEW BEST:: SOT 591967 SOS 339880 HAS SOPS 339880 HAS SOUS 278001 HAS SOUPS 278001 WITH SCORE 278340.88
AT ITER 3409 NEW BEST:: SOT 592021 SOS 339934 HAS SOPS 339934 HAS SOUS 277946 HAS SOUPS 277946 WITH SCORE 278285.934
AT ITER 3421 NEW BEST:: SOT 592021 SOS 339556 HAS SOPS 339556 HAS SOUS 277859 HAS SOUPS 277859 WITH SCORE 278198.556
AT ITER 3426 NEW BEST:: SOT 591523 SOS 339354 HAS SOPS 339354 HAS SOUS 277272 HAS SOUPS 277272 WITH SCORE 277611.354
AT ITER 3430 NEW BEST:: SOT 591546 SOS 339377 HAS SOPS 339377 HAS SOUS 277079 HAS SOUPS 277079 WITH SCORE 277418.377
AT ITER 3448 NEW BEST:: SOT 591326 SOS 338993 HAS SOPS 338993 HAS SOUS 276746 HAS SOUPS 276746 WITH SCORE 277084.993
AT ITER 3450 NEW BEST:: SOT 591326 SOS 339028 HAS SOPS 339028 HAS SOUS 276732 HAS SOUPS 276732 WITH SCORE 277071.028
AT ITER 3461 NEW BEST:: SOT 591235 SOS 338937 HAS SOPS 338937 HAS SOUS 276641 HAS SOUPS 276641 WITH SCORE 276979.937
AT ITER 3464 NEW BEST:: SOT 591174 SOS 338857 HAS SOPS 338857 HAS SOUS 276561 HAS SOUPS 276561 WITH SCORE 276899.857
AT ITER 3471 NEW BEST:: SOT 591140 SOS 338823 HAS SOPS 338823 HAS SOUS 276527 HAS SOUPS 276527 WITH SCORE 276865.823
AT ITER 3472 NEW BEST:: SOT 591140 SOS 338792 HAS SOPS 338792 HAS SOUS 276482 HAS SOUPS 276482 WITH SCORE 276820.792
AT ITER 3481 NEW BEST:: SOT 591114 SOS 338723 HAS SOPS 338723 HAS SOUS 276316 HAS SOUPS 276316 WITH SCORE 276654.723
AT ITER 3486 NEW BEST:: SOT 591090 SOS 338699 HAS SOPS 338699 HAS SOUS 276292 HAS SOUPS 276292 WITH SCORE 276630.699
AT ITER 3491 NEW BEST:: SOT 591003 SOS 338933 HAS SOPS 338933 HAS SOUS 276281 HAS SOUPS 276281 WITH SCORE 276619.933
AT ITER 3504 NEW BEST:: SOT 591003 SOS 338643 HAS SOPS 338643 HAS SOUS 276180 HAS SOUPS 276180 WITH SCORE 276518.643
AT ITER 3507 NEW BEST:: SOT 590953 SOS 338531 HAS SOPS 338531 HAS SOUS 276068 HAS SOUPS 276068 WITH SCORE 276406.531
AT ITER 3518 NEW BEST:: SOT 590953 SOS 338387 HAS SOPS 338387 HAS SOUS 276066 HAS SOUPS 276066 WITH SCORE 276404.387
AT ITER 3520 NEW BEST:: SOT 591013 SOS 338230 HAS SOPS 338230 HAS SOUS 275998 HAS SOUPS 275998 WITH SCORE 276336.23
AT ITER 3523 NEW BEST:: SOT 591013 SOS 338309 HAS SOPS 338309 HAS SOUS 275925 HAS SOUPS 275925 WITH SCORE 276263.309
AT ITER 3524 NEW BEST:: SOT 590995 SOS 338291 HAS SOPS 338291 HAS SOUS 275907 HAS SOUPS 275907 WITH SCORE 276245.291
AT ITER 3525 NEW BEST:: SOT 591440 SOS 338333 HAS SOPS 338333 HAS SOUS 275784 HAS SOUPS 275784 WITH SCORE 276122.333
AT ITER 3530 NEW BEST:: SOT 591433 SOS 338155 HAS SOPS 338155 HAS SOUS 275606 HAS SOUPS 275606 WITH SCORE 275944.155
AT ITER 3536 NEW BEST:: SOT 591657 SOS 338398 HAS SOPS 338398 HAS SOUS 275585 HAS SOUPS 275585 WITH SCORE 275923.398
AT ITER 3538 NEW BEST:: SOT 591555 SOS 338296 HAS SOPS 338296 HAS SOUS 275483 HAS SOUPS 275483 WITH SCORE 275821.296
AT ITER 3548 NEW BEST:: SOT 591555 SOS 338328 HAS SOPS 338328 HAS SOUS 275419 HAS SOUPS 275419 WITH SCORE 275757.328
AT ITER 3552 NEW BEST:: SOT 591490 SOS 338263 HAS SOPS 338263 HAS SOUS 275154 HAS SOUPS 275154 WITH SCORE 275492.263
AT ITER 3558 NEW BEST:: SOT 591288 SOS 338139 HAS SOPS 338139 HAS SOUS 275030 HAS SOUPS 275030 WITH SCORE 275368.139
AT ITER 3575 NEW BEST:: SOT 591328 SOS 337964 HAS SOPS 337964 HAS SOUS 274997 HAS SOUPS 274997 WITH SCORE 275334.964
AT ITER 3579 NEW BEST:: SOT 591307 SOS 337943 HAS SOPS 337943 HAS SOUS 274976 HAS SOUPS 274976 WITH SCORE 275313.943
AT ITER 3584 NEW BEST:: SOT 591161 SOS 337657 HAS SOPS 337657 HAS SOUS 274871 HAS SOUPS 274871 WITH SCORE 275208.657
AT ITER 3586 NEW BEST:: SOT 591303 SOS 338075 HAS SOPS 338075 HAS SOUS 274818 HAS SOUPS 274818 WITH SCORE 275156.075
AT ITER 3596 NEW BEST:: SOT 590786 SOS 337251 HAS SOPS 337251 HAS SOUS 273994 HAS SOUPS 273994 WITH SCORE 274331.251
AT ITER 3600 NEW BEST:: SOT 590743 SOS 337208 HAS SOPS 337208 HAS SOUS 273990 HAS SOUPS 273990 WITH SCORE 274327.208
AT ITER 3604 NEW BEST:: SOT 590645 SOS 337100 HAS SOPS 337100 HAS SOUS 273882 HAS SOUPS 273882 WITH SCORE 274219.1
AT ITER 3616 NEW BEST:: SOT 590912 SOS 336648 HAS SOPS 336648 HAS SOUS 273571 HAS SOUPS 273571 WITH SCORE 273907.648
AT ITER 3620 NEW BEST:: SOT 590877 SOS 336549 HAS SOPS 336549 HAS SOUS 273444 HAS SOUPS 273444 WITH SCORE 273780.549
AT ITER 3632 NEW BEST:: SOT 590921 SOS 336584 HAS SOPS 336584 HAS SOUS 273399 HAS SOUPS 273399 WITH SCORE 273735.584
AT ITER 3637 NEW BEST:: SOT 590831 SOS 336359 HAS SOPS 336359 HAS SOUS 273264 HAS SOUPS 273264 WITH SCORE 273600.359
AT ITER 3658 NEW BEST:: SOT 590540 SOS 335971 HAS SOPS 335971 HAS SOUS 272876 HAS SOUPS 272876 WITH SCORE 273211.971
AT ITER 3666 NEW BEST:: SOT 590623 SOS 336054 HAS SOPS 336054 HAS SOUS 272794 HAS SOUPS 272794 WITH SCORE 273130.054
AT ITER 3683 NEW BEST:: SOT 590623 SOS 336272 HAS SOPS 336272 HAS SOUS 272736 HAS SOUPS 272736 WITH SCORE 273072.272
AT ITER 3693 NEW BEST:: SOT 590562 SOS 336211 HAS SOPS 336211 HAS SOUS 272675 HAS SOUPS 272675 WITH SCORE 273011.211
AT ITER 3698 NEW BEST:: SOT 590511 SOS 336160 HAS SOPS 336160 HAS SOUS 272624 HAS SOUPS 272624 WITH SCORE 272960.16
AT ITER 3699 NEW BEST:: SOT 590255 SOS 335840 HAS SOPS 335840 HAS SOUS 272112 HAS SOUPS 272112 WITH SCORE 272447.84
AT ITER 3707 NEW BEST:: SOT 590287 SOS 335835 HAS SOPS 335835 HAS SOUS 272107 HAS SOUPS 272107 WITH SCORE 272442.835
AT ITER 3717 NEW BEST:: SOT 590136 SOS 335684 HAS SOPS 335684 HAS SOUS 272049 HAS SOUPS 272049 WITH SCORE 272384.684
AT ITER 3720 NEW BEST:: SOT 590085 SOS 335633 HAS SOPS 335633 HAS SOUS 271998 HAS SOUPS 271998 WITH SCORE 272333.633
AT ITER 3729 NEW BEST:: SOT 589797 SOS 335597 HAS SOPS 335597 HAS SOUS 271962 HAS SOUPS 271962 WITH SCORE 272297.597
AT ITER 3731 NEW BEST:: SOT 589757 SOS 335180 HAS SOPS 335180 HAS SOUS 271741 HAS SOUPS 271741 WITH SCORE 272076.18
AT ITER 3743 NEW BEST:: SOT 589757 SOS 335328 HAS SOPS 335328 HAS SOUS 271691 HAS SOUPS 271691 WITH SCORE 272026.328
AT ITER 3747 NEW BEST:: SOT 589736 SOS 335300 HAS SOPS 335300 HAS SOUS 271663 HAS SOUPS 271663 WITH SCORE 271998.3
AT ITER 3759 NEW BEST:: SOT 589796 SOS 335328 HAS SOPS 335328 HAS SOUS 271662 HAS SOUPS 271662 WITH SCORE 271997.328
AT ITER 3761 NEW BEST:: SOT 589707 SOS 334497 HAS SOPS 334497 HAS SOUS 271148 HAS SOUPS 271148 WITH SCORE 271482.497
AT ITER 3762 NEW BEST:: SOT 589661 SOS 334451 HAS SOPS 334451 HAS SOUS 271145 HAS SOUPS 271145 WITH SCORE 271479.451
AT ITER 3765 NEW BEST:: SOT 589818 SOS 334132 HAS SOPS 334132 HAS SOUS 270936 HAS SOUPS 270936 WITH SCORE 271270.132
AT ITER 3770 NEW BEST:: SOT 589817 SOS 334104 HAS SOPS 334104 HAS SOUS 270899 HAS SOUPS 270899 WITH SCORE 271233.104
AT ITER 3771 NEW BEST:: SOT 589730 SOS 333907 HAS SOPS 333907 HAS SOUS 270879 HAS SOUPS 270879 WITH SCORE 271212.907
AT ITER 3773 NEW BEST:: SOT 589740 SOS 333704 HAS SOPS 333704 HAS SOUS 270596 HAS SOUPS 270596 WITH SCORE 270929.704
AT ITER 3777 NEW BEST:: SOT 589035 SOS 332855 HAS SOPS 332855 HAS SOUS 269834 HAS SOUPS 269834 WITH SCORE 270166.855
AT ITER 3780 NEW BEST:: SOT 589035 SOS 332800 HAS SOPS 332800 HAS SOUS 269814 HAS SOUPS 269814 WITH SCORE 270146.8
AT ITER 3781 NEW BEST:: SOT 589042 SOS 332695 HAS SOPS 332695 HAS SOUS 269745 HAS SOUPS 269745 WITH SCORE 270077.695
AT ITER 3782 NEW BEST:: SOT 588881 SOS 332060 HAS SOPS 332060 HAS SOUS 269119 HAS SOUPS 269119 WITH SCORE 269451.06
AT ITER 3793 NEW BEST:: SOT 588968 SOS 331965 HAS SOPS 331965 HAS SOUS 268985 HAS SOUPS 268985 WITH SCORE 269316.965
AT ITER 3800 NEW BEST:: SOT 588923 SOS 331861 HAS SOPS 331861 HAS SOUS 268881 HAS SOUPS 268881 WITH SCORE 269212.861
AT ITER 3811 NEW BEST:: SOT 588655 SOS 331585 HAS SOPS 331585 HAS SOUS 268605 HAS SOUPS 268605 WITH SCORE 268936.585
AT ITER 3813 NEW BEST:: SOT 588529 SOS 331449 HAS SOPS 331449 HAS SOUS 268270 HAS SOUPS 268270 WITH SCORE 268601.449
AT ITER 3818 NEW BEST:: SOT 588796 SOS 331530 HAS SOPS 331530 HAS SOUS 268236 HAS SOUPS 268236 WITH SCORE 268567.53
AT ITER 3820 NEW BEST:: SOT 588596 SOS 331330 HAS SOPS 331330 HAS SOUS 268036 HAS SOUPS 268036 WITH SCORE 268367.33
AT ITER 3821 NEW BEST:: SOT 588543 SOS 331277 HAS SOPS 331277 HAS SOUS 267983 HAS SOUPS 267983 WITH SCORE 268314.277
AT ITER 3823 NEW BEST:: SOT 588423 SOS 331157 HAS SOPS 331157 HAS SOUS 267863 HAS SOUPS 267863 WITH SCORE 268194.157
AT ITER 3824 NEW BEST:: SOT 588164 SOS 330639 HAS SOPS 330639 HAS SOUS 267447 HAS SOUPS 267447 WITH SCORE 267777.639
AT ITER 3838 NEW BEST:: SOT 588163 SOS 330638 HAS SOPS 330638 HAS SOUS 267446 HAS SOUPS 267446 WITH SCORE 267776.638
AT ITER 3851 NEW BEST:: SOT 587945 SOS 329529 HAS SOPS 329529 HAS SOUS 267295 HAS SOUPS 267295 WITH SCORE 267624.529
AT ITER 3858 NEW BEST:: SOT 587799 SOS 329383 HAS SOPS 329383 HAS SOUS 267144 HAS SOUPS 267144 WITH SCORE 267473.383
AT ITER 3870 NEW BEST:: SOT 587795 SOS 329379 HAS SOPS 329379 HAS SOUS 267140 HAS SOUPS 267140 WITH SCORE 267469.379
AT ITER 3880 NEW BEST:: SOT 587480 SOS 329001 HAS SOPS 329001 HAS SOUS 266762 HAS SOUPS 266762 WITH SCORE 267091.001
AT ITER 3900 NEW BEST:: SOT 587469 SOS 328924 HAS SOPS 328924 HAS SOUS 266740 HAS SOUPS 266740 WITH SCORE 267068.924
AT ITER 3904 NEW BEST:: SOT 587459 SOS 328914 HAS SOPS 328914 HAS SOUS 266720 HAS SOUPS 266720 WITH SCORE 267048.914
AT ITER 3905 NEW BEST:: SOT 587399 SOS 328854 HAS SOPS 328854 HAS SOUS 266660 HAS SOUPS 266660 WITH SCORE 266988.854
AT ITER 3921 NEW BEST:: SOT 587334 SOS 328789 HAS SOPS 328789 HAS SOUS 266595 HAS SOUPS 266595 WITH SCORE 266923.789
AT ITER 3924 NEW BEST:: SOT 587334 SOS 328802 HAS SOPS 328802 HAS SOUS 266350 HAS SOUPS 266350 WITH SCORE 266678.802
AT ITER 3932 NEW BEST:: SOT 587334 SOS 328792 HAS SOPS 328792 HAS SOUS 266340 HAS SOUPS 266340 WITH SCORE 266668.792
AT ITER 3933 NEW BEST:: SOT 587222 SOS 328406 HAS SOPS 328406 HAS SOUS 266158 HAS SOUPS 266158 WITH SCORE 266486.406
AT ITER 3936 NEW BEST:: SOT 587222 SOS 328322 HAS SOPS 328322 HAS SOUS 266074 HAS SOUPS 266074 WITH SCORE 266402.322
AT ITER 3938 NEW BEST:: SOT 586550 SOS 327780 HAS SOPS 327780 HAS SOUS 265399 HAS SOUPS 265399 WITH SCORE 265726.78
AT ITER 3939 NEW BEST:: SOT 586671 SOS 327629 HAS SOPS 327629 HAS SOUS 265248 HAS SOUPS 265248 WITH SCORE 265575.629
AT ITER 3942 NEW BEST:: SOT 586671 SOS 327629 HAS SOPS 327629 HAS SOUS 265243 HAS SOUPS 265243 WITH SCORE 265570.629
AT ITER 3945 NEW BEST:: SOT 586665 SOS 327623 HAS SOPS 327623 HAS SOUS 265237 HAS SOUPS 265237 WITH SCORE 265564.623
AT ITER 3949 NEW BEST:: SOT 586478 SOS 327436 HAS SOPS 327436 HAS SOUS 264963 HAS SOUPS 264963 WITH SCORE 265290.436
AT ITER 3950 NEW BEST:: SOT 586478 SOS 327356 HAS SOPS 327356 HAS SOUS 264915 HAS SOUPS 264915 WITH SCORE 265242.356
AT ITER 3959 NEW BEST:: SOT 586388 SOS 326447 HAS SOPS 326447 HAS SOUS 264603 HAS SOUPS 264603 WITH SCORE 264929.447
AT ITER 3964 NEW BEST:: SOT 586367 SOS 326403 HAS SOPS 326403 HAS SOUS 264579 HAS SOUPS 264579 WITH SCORE 264905.403
AT ITER 3967 NEW BEST:: SOT 586743 SOS 326378 HAS SOPS 326378 HAS SOUS 264554 HAS SOUPS 264554 WITH SCORE 264880.378
AT ITER 3969 NEW BEST:: SOT 586541 SOS 326176 HAS SOPS 326176 HAS SOUS 264352 HAS SOUPS 264352 WITH SCORE 264678.176
AT ITER 3973 NEW BEST:: SOT 586490 SOS 326108 HAS SOPS 326108 HAS SOUS 264301 HAS SOUPS 264301 WITH SCORE 264627.108
AT ITER 3976 NEW BEST:: SOT 586488 SOS 326057 HAS SOPS 326057 HAS SOUS 264201 HAS SOUPS 264201 WITH SCORE 264527.057
AT ITER 3981 NEW BEST:: SOT 586404 SOS 325973 HAS SOPS 325973 HAS SOUS 264071 HAS SOUPS 264071 WITH SCORE 264396.973
AT ITER 3984 NEW BEST:: SOT 586421 SOS 325990 HAS SOPS 325990 HAS SOUS 264065 HAS SOUPS 264065 WITH SCORE 264390.99
AT ITER 3989 NEW BEST:: SOT 586421 SOS 325955 HAS SOPS 325955 HAS SOUS 264020 HAS SOUPS 264020 WITH SCORE 264345.955
AT ITER 3990 NEW BEST:: SOT 586636 SOS 325739 HAS SOPS 325739 HAS SOUS 263790 HAS SOUPS 263790 WITH SCORE 264115.739
AT ITER 4008 NEW BEST:: SOT 586444 SOS 325539 HAS SOPS 325539 HAS SOUS 263590 HAS SOUPS 263590 WITH SCORE 263915.539
AT ITER 4012 NEW BEST:: SOT 586474 SOS 324950 HAS SOPS 324950 HAS SOUS 263451 HAS SOUPS 263451 WITH SCORE 263775.95
AT ITER 4014 NEW BEST:: SOT 586474 SOS 324875 HAS SOPS 324875 HAS SOUS 263451 HAS SOUPS 263451 WITH SCORE 263775.875
AT ITER 4018 NEW BEST:: SOT 586474 SOS 324843 HAS SOPS 324843 HAS SOUS 263426 HAS SOUPS 263426 WITH SCORE 263750.843
AT ITER 4019 NEW BEST:: SOT 586474 SOS 324843 HAS SOPS 324843 HAS SOUS 263423 HAS SOUPS 263423 WITH SCORE 263747.843
AT ITER 4020 NEW BEST:: SOT 586424 SOS 324793 HAS SOPS 324793 HAS SOUS 263354 HAS SOUPS 263354 WITH SCORE 263678.793
AT ITER 4026 NEW BEST:: SOT 586420 SOS 324788 HAS SOPS 324788 HAS SOUS 263350 HAS SOUPS 263350 WITH SCORE 263674.788
AT ITER 4027 NEW BEST:: SOT 586419 SOS 324787 HAS SOPS 324787 HAS SOUS 263349 HAS SOUPS 263349 WITH SCORE 263673.787
AT ITER 4041 NEW BEST:: SOT 586357 SOS 324705 HAS SOPS 324705 HAS SOUS 263251 HAS SOUPS 263251 WITH SCORE 263575.705
AT ITER 4044 NEW BEST:: SOT 586335 SOS 324460 HAS SOPS 324460 HAS SOUS 263074 HAS SOUPS 263074 WITH SCORE 263398.46
AT ITER 4046 NEW BEST:: SOT 586335 SOS 324448 HAS SOPS 324448 HAS SOUS 263068 HAS SOUPS 263068 WITH SCORE 263392.448
AT ITER 4051 NEW BEST:: SOT 586335 SOS 324429 HAS SOPS 324429 HAS SOUS 263049 HAS SOUPS 263049 WITH SCORE 263373.429
AT ITER 4060 NEW BEST:: SOT 586405 SOS 324359 HAS SOPS 324359 HAS SOUS 262979 HAS SOUPS 262979 WITH SCORE 263303.359
AT ITER 4066 NEW BEST:: SOT 586217 SOS 324171 HAS SOPS 324171 HAS SOUS 262885 HAS SOUPS 262885 WITH SCORE 263209.171
AT ITER 4070 NEW BEST:: SOT 585308 SOS 323417 HAS SOPS 323417 HAS SOUS 262247 HAS SOUPS 262247 WITH SCORE 262570.417
AT ITER 4076 NEW BEST:: SOT 585292 SOS 323403 HAS SOPS 323403 HAS SOUS 262232 HAS SOUPS 262232 WITH SCORE 262555.403
AT ITER 4078 NEW BEST:: SOT 585156 SOS 323267 HAS SOPS 323267 HAS SOUS 262096 HAS SOUPS 262096 WITH SCORE 262419.267
AT ITER 4080 NEW BEST:: SOT 584974 SOS 323085 HAS SOPS 323085 HAS SOUS 261766 HAS SOUPS 261766 WITH SCORE 262089.085
AT ITER 4086 NEW BEST:: SOT 584810 SOS 322422 HAS SOPS 322422 HAS SOUS 261251 HAS SOUPS 261251 WITH SCORE 261573.422
AT ITER 4091 NEW BEST:: SOT 584717 SOS 322341 HAS SOPS 322341 HAS SOUS 260840 HAS SOUPS 260840 WITH SCORE 261162.341
AT ITER 4093 NEW BEST:: SOT 584525 SOS 321915 HAS SOPS 321915 HAS SOUS 260722 HAS SOUPS 260722 WITH SCORE 261043.915
AT ITER 4094 NEW BEST:: SOT 584378 SOS 321861 HAS SOPS 321861 HAS SOUS 260682 HAS SOUPS 260682 WITH SCORE 261003.861
AT ITER 4109 NEW BEST:: SOT 584317 SOS 321398 HAS SOPS 321398 HAS SOUS 260415 HAS SOUPS 260415 WITH SCORE 260736.398
AT ITER 4112 NEW BEST:: SOT 584444 SOS 321402 HAS SOPS 321402 HAS SOUS 260373 HAS SOUPS 260373 WITH SCORE 260694.402
AT ITER 4120 NEW BEST:: SOT 584396 SOS 321381 HAS SOPS 321381 HAS SOUS 260360 HAS SOUPS 260360 WITH SCORE 260681.381
AT ITER 4121 NEW BEST:: SOT 584396 SOS 321411 HAS SOPS 321411 HAS SOUS 260330 HAS SOUPS 260330 WITH SCORE 260651.411
AT ITER 4129 NEW BEST:: SOT 584248 SOS 321437 HAS SOPS 321437 HAS SOUS 260289 HAS SOUPS 260289 WITH SCORE 260610.437
AT ITER 4139 NEW BEST:: SOT 584275 SOS 321437 HAS SOPS 321437 HAS SOUS 260262 HAS SOUPS 260262 WITH SCORE 260583.437
AT ITER 4143 NEW BEST:: SOT 584097 SOS 321276 HAS SOPS 321276 HAS SOUS 260158 HAS SOUPS 260158 WITH SCORE 260479.276
AT ITER 4153 NEW BEST:: SOT 584073 SOS 321129 HAS SOPS 321129 HAS SOUS 260011 HAS SOUPS 260011 WITH SCORE 260332.129
AT ITER 4155 NEW BEST:: SOT 584120 SOS 321128 HAS SOPS 321128 HAS SOUS 259960 HAS SOUPS 259960 WITH SCORE 260281.128
AT ITER 4156 NEW BEST:: SOT 584069 SOS 321077 HAS SOPS 321077 HAS SOUS 259960 HAS SOUPS 259960 WITH SCORE 260281.077
AT ITER 4159 NEW BEST:: SOT 583931 SOS 320870 HAS SOPS 320870 HAS SOUS 259753 HAS SOUPS 259753 WITH SCORE 260073.87
AT ITER 4161 NEW BEST:: SOT 583829 SOS 320768 HAS SOPS 320768 HAS SOUS 259651 HAS SOUPS 259651 WITH SCORE 259971.768
AT ITER 4163 NEW BEST:: SOT 583952 SOS 319456 HAS SOPS 319456 HAS SOUS 259461 HAS SOUPS 259461 WITH SCORE 259780.456
AT ITER 4164 NEW BEST:: SOT 583926 SOS 319404 HAS SOPS 319404 HAS SOUS 259409 HAS SOUPS 259409 WITH SCORE 259728.404
AT ITER 4185 NEW BEST:: SOT 584023 SOS 319643 HAS SOPS 319643 HAS SOUS 259133 HAS SOUPS 259133 WITH SCORE 259452.643
AT ITER 4194 NEW BEST:: SOT 584126 SOS 319247 HAS SOPS 319247 HAS SOUS 258863 HAS SOUPS 258863 WITH SCORE 259182.247
AT ITER 4201 NEW BEST:: SOT 584126 SOS 318768 HAS SOPS 318768 HAS SOUS 258403 HAS SOUPS 258403 WITH SCORE 258721.768
AT ITER 4205 NEW BEST:: SOT 584080 SOS 318745 HAS SOPS 318745 HAS SOUS 258403 HAS SOUPS 258403 WITH SCORE 258721.745
AT ITER 4210 NEW BEST:: SOT 584020 SOS 318665 HAS SOPS 318665 HAS SOUS 258343 HAS SOUPS 258343 WITH SCORE 258661.665
AT ITER 4212 NEW BEST:: SOT 583964 SOS 318697 HAS SOPS 318697 HAS SOUS 258319 HAS SOUPS 258319 WITH SCORE 258637.697
AT ITER 4222 NEW BEST:: SOT 584010 SOS 318811 HAS SOPS 318811 HAS SOUS 257974 HAS SOUPS 257974 WITH SCORE 258292.811
AT ITER 4225 NEW BEST:: SOT 584010 SOS 318110 HAS SOPS 318110 HAS SOUS 257646 HAS SOUPS 257646 WITH SCORE 257964.11
AT ITER 4228 NEW BEST:: SOT 583934 SOS 318058 HAS SOPS 318058 HAS SOUS 257594 HAS SOUPS 257594 WITH SCORE 257912.058
AT ITER 4245 NEW BEST:: SOT 583899 SOS 318023 HAS SOPS 318023 HAS SOUS 257559 HAS SOUPS 257559 WITH SCORE 257877.023
AT ITER 4254 NEW BEST:: SOT 583671 SOS 317848 HAS SOPS 317848 HAS SOUS 257384 HAS SOUPS 257384 WITH SCORE 257701.848
AT ITER 4286 NEW BEST:: SOT 583659 SOS 317821 HAS SOPS 317821 HAS SOUS 257357 HAS SOUPS 257357 WITH SCORE 257674.821
AT ITER 4293 NEW BEST:: SOT 583656 SOS 317899 HAS SOPS 317899 HAS SOUS 257356 HAS SOUPS 257356 WITH SCORE 257673.899
AT ITER 4295 NEW BEST:: SOT 583350 SOS 317612 HAS SOPS 317612 HAS SOUS 257103 HAS SOUPS 257103 WITH SCORE 257420.612
AT ITER 4297 NEW BEST:: SOT 583350 SOS 317534 HAS SOPS 317534 HAS SOUS 257053 HAS SOUPS 257053 WITH SCORE 257370.534
AT ITER 4300 NEW BEST:: SOT 583324 SOS 317444 HAS SOPS 317444 HAS SOUS 256984 HAS SOUPS 256984 WITH SCORE 257301.444
AT ITER 4302 NEW BEST:: SOT 583274 SOS 317098 HAS SOPS 317098 HAS SOUS 256410 HAS SOUPS 256410 WITH SCORE 256727.098
AT ITER 4303 NEW BEST:: SOT 583075 SOS 317005 HAS SOPS 317005 HAS SOUS 256317 HAS SOUPS 256317 WITH SCORE 256634.005
AT ITER 4306 NEW BEST:: SOT 583028 SOS 316745 HAS SOPS 316745 HAS SOUS 256084 HAS SOUPS 256084 WITH SCORE 256400.745
AT ITER 4309 NEW BEST:: SOT 583026 SOS 316742 HAS SOPS 316742 HAS SOUS 256081 HAS SOUPS 256081 WITH SCORE 256397.742
AT ITER 4315 NEW BEST:: SOT 582794 SOS 316243 HAS SOPS 316243 HAS SOUS 255798 HAS SOUPS 255798 WITH SCORE 256114.243
AT ITER 4325 NEW BEST:: SOT 582794 SOS 316224 HAS SOPS 316224 HAS SOUS 255798 HAS SOUPS 255798 WITH SCORE 256114.224
AT ITER 4331 NEW BEST:: SOT 582794 SOS 316259 HAS SOPS 316259 HAS SOUS 255763 HAS SOUPS 255763 WITH SCORE 256079.259
AT ITER 4336 NEW BEST:: SOT 582843 SOS 316335 HAS SOPS 316335 HAS SOUS 255731 HAS SOUPS 255731 WITH SCORE 256047.335
AT ITER 4341 NEW BEST:: SOT 582843 SOS 316317 HAS SOPS 316317 HAS SOUS 255713 HAS SOUPS 255713 WITH SCORE 256029.317
AT ITER 4342 NEW BEST:: SOT 582659 SOS 315847 HAS SOPS 315847 HAS SOUS 255463 HAS SOUPS 255463 WITH SCORE 255778.847
AT ITER 4347 NEW BEST:: SOT 582593 SOS 315781 HAS SOPS 315781 HAS SOUS 255375 HAS SOUPS 255375 WITH SCORE 255690.781
AT ITER 4350 NEW BEST:: SOT 582347 SOS 316050 HAS SOPS 316050 HAS SOUS 255363 HAS SOUPS 255363 WITH SCORE 255679.05
AT ITER 4363 NEW BEST:: SOT 582345 SOS 316052 HAS SOPS 316052 HAS SOUS 255361 HAS SOUPS 255361 WITH SCORE 255677.052
AT ITER 4365 NEW BEST:: SOT 582344 SOS 316051 HAS SOPS 316051 HAS SOUS 255361 HAS SOUPS 255361 WITH SCORE 255677.051
AT ITER 4369 NEW BEST:: SOT 582344 SOS 315860 HAS SOPS 315860 HAS SOUS 255357 HAS SOUPS 255357 WITH SCORE 255672.86
AT ITER 4371 NEW BEST:: SOT 582344 SOS 315666 HAS SOPS 315666 HAS SOUS 255245 HAS SOUPS 255245 WITH SCORE 255560.666
AT ITER 4375 NEW BEST:: SOT 582306 SOS 315478 HAS SOPS 315478 HAS SOUS 255151 HAS SOUPS 255151 WITH SCORE 255466.478
AT ITER 4376 NEW BEST:: SOT 582230 SOS 315341 HAS SOPS 315341 HAS SOUS 254997 HAS SOUPS 254997 WITH SCORE 255312.341
AT ITER 4386 NEW BEST:: SOT 582229 SOS 315340 HAS SOPS 315340 HAS SOUS 254996 HAS SOUPS 254996 WITH SCORE 255311.34
AT ITER 4396 NEW BEST:: SOT 582227 SOS 315335 HAS SOPS 315335 HAS SOUS 254992 HAS SOUPS 254992 WITH SCORE 255307.335
AT ITER 4402 NEW BEST:: SOT 582276 SOS 314810 HAS SOPS 314810 HAS SOUS 254112 HAS SOUPS 254112 WITH SCORE 254426.81
AT ITER 4413 NEW BEST:: SOT 582286 SOS 314884 HAS SOPS 314884 HAS SOUS 254076 HAS SOUPS 254076 WITH SCORE 254390.884
AT ITER 4414 NEW BEST:: SOT 581978 SOS 314207 HAS SOPS 314207 HAS SOUS 253472 HAS SOUPS 253472 WITH SCORE 253786.207
AT ITER 4416 NEW BEST:: SOT 581854 SOS 314081 HAS SOPS 314081 HAS SOUS 253346 HAS SOUPS 253346 WITH SCORE 253660.081
AT ITER 4420 NEW BEST:: SOT 581877 SOS 313830 HAS SOPS 313830 HAS SOUS 252980 HAS SOUPS 252980 WITH SCORE 253293.83
AT ITER 4438 NEW BEST:: SOT 581787 SOS 313773 HAS SOPS 313773 HAS SOUS 252923 HAS SOUPS 252923 WITH SCORE 253236.773
AT ITER 4448 NEW BEST:: SOT 581623 SOS 313525 HAS SOPS 313525 HAS SOUS 252697 HAS SOUPS 252697 WITH SCORE 253010.525
AT ITER 4455 NEW BEST:: SOT 581803 SOS 313613 HAS SOPS 313613 HAS SOUS 252696 HAS SOUPS 252696 WITH SCORE 253009.613
AT ITER 4465 NEW BEST:: SOT 581803 SOS 314529 HAS SOPS 314529 HAS SOUS 252574 HAS SOUPS 252574 WITH SCORE 252888.529
AT ITER 4474 NEW BEST:: SOT 581783 SOS 314425 HAS SOPS 314425 HAS SOUS 252386 HAS SOUPS 252386 WITH SCORE 252700.425
AT ITER 4479 NEW BEST:: SOT 581771 SOS 314401 HAS SOPS 314401 HAS SOUS 252374 HAS SOUPS 252374 WITH SCORE 252688.401
AT ITER 4486 NEW BEST:: SOT 581721 SOS 314151 HAS SOPS 314151 HAS SOUS 252324 HAS SOUPS 252324 WITH SCORE 252638.151
AT ITER 4489 NEW BEST:: SOT 581721 SOS 314037 HAS SOPS 314037 HAS SOUS 252210 HAS SOUPS 252210 WITH SCORE 252524.037
AT ITER 4492 NEW BEST:: SOT 581735 SOS 314318 HAS SOPS 314318 HAS SOUS 252056 HAS SOUPS 252056 WITH SCORE 252370.318
AT ITER 4512 NEW BEST:: SOT 581735 SOS 314206 HAS SOPS 314206 HAS SOUS 251954 HAS SOUPS 251954 WITH SCORE 252268.206
AT ITER 4513 NEW BEST:: SOT 581735 SOS 314126 HAS SOPS 314126 HAS SOUS 251954 HAS SOUPS 251954 WITH SCORE 252268.126
AT ITER 4515 NEW BEST:: SOT 581735 SOS 313880 HAS SOPS 313880 HAS SOUS 251913 HAS SOUPS 251913 WITH SCORE 252226.88
AT ITER 4516 NEW BEST:: SOT 581859 SOS 314214 HAS SOPS 314214 HAS SOUS 251854 HAS SOUPS 251854 WITH SCORE 252168.214
AT ITER 4525 NEW BEST:: SOT 581794 SOS 314149 HAS SOPS 314149 HAS SOUS 251789 HAS SOUPS 251789 WITH SCORE 252103.149
AT ITER 4530 NEW BEST:: SOT 581752 SOS 314107 HAS SOPS 314107 HAS SOUS 251726 HAS SOUPS 251726 WITH SCORE 252040.107
AT ITER 4545 NEW BEST:: SOT 581772 SOS 313418 HAS SOPS 313418 HAS SOUS 251435 HAS SOUPS 251435 WITH SCORE 251748.418
AT ITER 4548 NEW BEST:: SOT 581822 SOS 313038 HAS SOPS 313038 HAS SOUS 251325 HAS SOUPS 251325 WITH SCORE 251638.038
AT ITER 4555 NEW BEST:: SOT 581843 SOS 313055 HAS SOPS 313055 HAS SOUS 251276 HAS SOUPS 251276 WITH SCORE 251589.055
AT ITER 4562 NEW BEST:: SOT 581690 SOS 312640 HAS SOPS 312640 HAS SOUS 250881 HAS SOUPS 250881 WITH SCORE 251193.64
AT ITER 4566 NEW BEST:: SOT 581722 SOS 312390 HAS SOPS 312390 HAS SOUS 250672 HAS SOUPS 250672 WITH SCORE 250984.39
AT ITER 4571 NEW BEST:: SOT 581695 SOS 312363 HAS SOPS 312363 HAS SOUS 250645 HAS SOUPS 250645 WITH SCORE 250957.363
AT ITER 4575 NEW BEST:: SOT 581617 SOS 312285 HAS SOPS 312285 HAS SOUS 250567 HAS SOUPS 250567 WITH SCORE 250879.285
AT ITER 4586 NEW BEST:: SOT 581599 SOS 312249 HAS SOPS 312249 HAS SOUS 250531 HAS SOUPS 250531 WITH SCORE 250843.249
AT ITER 4607 NEW BEST:: SOT 581599 SOS 312245 HAS SOPS 312245 HAS SOUS 250527 HAS SOUPS 250527 WITH SCORE 250839.245
AT ITER 4610 NEW BEST:: SOT 581992 SOS 309257 HAS SOPS 309257 HAS SOUS 249328 HAS SOUPS 249328 WITH SCORE 249637.257
AT ITER 4637 NEW BEST:: SOT 581848 SOS 309106 HAS SOPS 309106 HAS SOUS 249177 HAS SOUPS 249177 WITH SCORE 249486.106
AT ITER 4638 NEW BEST:: SOT 581829 SOS 309085 HAS SOPS 309085 HAS SOUS 249156 HAS SOUPS 249156 WITH SCORE 249465.085
AT ITER 4647 NEW BEST:: SOT 581784 SOS 309029 HAS SOPS 309029 HAS SOUS 249116 HAS SOUPS 249116 WITH SCORE 249425.029
AT ITER 4650 NEW BEST:: SOT 581612 SOS 308857 HAS SOPS 308857 HAS SOUS 248944 HAS SOUPS 248944 WITH SCORE 249252.857
AT ITER 4666 NEW BEST:: SOT 581586 SOS 308831 HAS SOPS 308831 HAS SOUS 248918 HAS SOUPS 248918 WITH SCORE 249226.831
AT ITER 4673 NEW BEST:: SOT 581551 SOS 308819 HAS SOPS 308819 HAS SOUS 248842 HAS SOUPS 248842 WITH SCORE 249150.819
AT ITER 4683 NEW BEST:: SOT 581288 SOS 308817 HAS SOPS 308817 HAS SOUS 248840 HAS SOUPS 248840 WITH SCORE 249148.817
AT ITER 4704 NEW BEST:: SOT 581202 SOS 308858 HAS SOPS 308858 HAS SOUS 248837 HAS SOUPS 248837 WITH SCORE 249145.858
AT ITER 4711 NEW BEST:: SOT 580975 SOS 308570 HAS SOPS 308570 HAS SOUS 248549 HAS SOUPS 248549 WITH SCORE 248857.57
AT ITER 4719 NEW BEST:: SOT 580937 SOS 308473 HAS SOPS 308473 HAS SOUS 248461 HAS SOUPS 248461 WITH SCORE 248769.473
AT ITER 4720 NEW BEST:: SOT 580937 SOS 308340 HAS SOPS 308340 HAS SOUS 248328 HAS SOUPS 248328 WITH SCORE 248636.34
AT ITER 4721 NEW BEST:: SOT 580954 SOS 308025 HAS SOPS 308025 HAS SOUS 248212 HAS SOUPS 248212 WITH SCORE 248520.025
AT ITER 4739 NEW BEST:: SOT 580588 SOS 307224 HAS SOPS 307224 HAS SOUS 248151 HAS SOUPS 248151 WITH SCORE 248458.224
AT ITER 4742 NEW BEST:: SOT 580576 SOS 307212 HAS SOPS 307212 HAS SOUS 248063 HAS SOUPS 248063 WITH SCORE 248370.212
AT ITER 4746 NEW BEST:: SOT 580482 SOS 307076 HAS SOPS 307076 HAS SOUS 247917 HAS SOUPS 247917 WITH SCORE 248224.076
AT ITER 4747 NEW BEST:: SOT 580456 SOS 306998 HAS SOPS 306998 HAS SOUS 247852 HAS SOUPS 247852 WITH SCORE 248158.998
AT ITER 4764 NEW BEST:: SOT 580456 SOS 306918 HAS SOPS 306918 HAS SOUS 247852 HAS SOUPS 247852 WITH SCORE 248158.918
AT ITER 4777 NEW BEST:: SOT 580482 SOS 306904 HAS SOPS 306904 HAS SOUS 247838 HAS SOUPS 247838 WITH SCORE 248144.904
AT ITER 4778 NEW BEST:: SOT 580071 SOS 306387 HAS SOPS 306387 HAS SOUS 247504 HAS SOUPS 247504 WITH SCORE 247810.387
AT ITER 4785 NEW BEST:: SOT 580066 SOS 306339 HAS SOPS 306339 HAS SOUS 247456 HAS SOUPS 247456 WITH SCORE 247762.339
AT ITER 4786 NEW BEST:: SOT 580064 SOS 306337 HAS SOPS 306337 HAS SOUS 247448 HAS SOUPS 247448 WITH SCORE 247754.337
AT ITER 4795 NEW BEST:: SOT 580054 SOS 306312 HAS SOPS 306312 HAS SOUS 247408 HAS SOUPS 247408 WITH SCORE 247714.312
AT ITER 4796 NEW BEST:: SOT 580054 SOS 306336 HAS SOPS 306336 HAS SOUS 247375 HAS SOUPS 247375 WITH SCORE 247681.336
AT ITER 4828 NEW BEST:: SOT 580029 SOS 306382 HAS SOPS 306382 HAS SOUS 247320 HAS SOUPS 247320 WITH SCORE 247626.382
AT ITER 4832 NEW BEST:: SOT 579683 SOS 306036 HAS SOPS 306036 HAS SOUS 246974 HAS SOUPS 246974 WITH SCORE 247280.036
AT ITER 4839 NEW BEST:: SOT 579683 SOS 306012 HAS SOPS 306012 HAS SOUS 246950 HAS SOUPS 246950 WITH SCORE 247256.012
AT ITER 4853 NEW BEST:: SOT 579382 SOS 305017 HAS SOPS 305017 HAS SOUS 246236 HAS SOUPS 246236 WITH SCORE 246541.017
AT ITER 4858 NEW BEST:: SOT 579371 SOS 304918 HAS SOPS 304918 HAS SOUS 246126 HAS SOUPS 246126 WITH SCORE 246430.918
AT ITER 4863 NEW BEST:: SOT 579277 SOS 304790 HAS SOPS 304790 HAS SOUS 246019 HAS SOUPS 246019 WITH SCORE 246323.79
AT ITER 4874 NEW BEST:: SOT 579253 SOS 304792 HAS SOPS 304792 HAS SOUS 245989 HAS SOUPS 245989 WITH SCORE 246293.792
AT ITER 4885 NEW BEST:: SOT 579459 SOS 304811 HAS SOPS 304811 HAS SOUS 245937 HAS SOUPS 245937 WITH SCORE 246241.811
AT ITER 4888 NEW BEST:: SOT 579420 SOS 304764 HAS SOPS 304764 HAS SOUS 245890 HAS SOUPS 245890 WITH SCORE 246194.764
AT ITER 4893 NEW BEST:: SOT 579407 SOS 304803 HAS SOPS 304803 HAS SOUS 245858 HAS SOUPS 245858 WITH SCORE 246162.803
AT ITER 4899 NEW BEST:: SOT 579349 SOS 304697 HAS SOPS 304697 HAS SOUS 245722 HAS SOUPS 245722 WITH SCORE 246026.697
AT ITER 4900 NEW BEST:: SOT 579349 SOS 304697 HAS SOPS 304697 HAS SOUS 245674 HAS SOUPS 245674 WITH SCORE 245978.697
AT ITER 4915 NEW BEST:: SOT 579313 SOS 304625 HAS SOPS 304625 HAS SOUS 245628 HAS SOUPS 245628 WITH SCORE 245932.625
AT ITER 4916 NEW BEST:: SOT 579335 SOS 304610 HAS SOPS 304610 HAS SOUS 245613 HAS SOUPS 245613 WITH SCORE 245917.61
AT ITER 4928 NEW BEST:: SOT 579012 SOS 304327 HAS SOPS 304327 HAS SOUS 245355 HAS SOUPS 245355 WITH SCORE 245659.327
AT ITER 4940 NEW BEST:: SOT 578827 SOS 304134 HAS SOPS 304134 HAS SOUS 245347 HAS SOUPS 245347 WITH SCORE 245651.134
AT ITER 4944 NEW BEST:: SOT 578744 SOS 303719 HAS SOPS 303719 HAS SOUS 245181 HAS SOUPS 245181 WITH SCORE 245484.719
AT ITER 4947 NEW BEST:: SOT 578690 SOS 303665 HAS SOPS 303665 HAS SOUS 245127 HAS SOUPS 245127 WITH SCORE 245430.665
AT ITER 4962 NEW BEST:: SOT 578531 SOS 303644 HAS SOPS 303644 HAS SOUS 244987 HAS SOUPS 244987 WITH SCORE 245290.644
AT ITER 4967 NEW BEST:: SOT 578531 SOS 303590 HAS SOPS 303590 HAS SOUS 244879 HAS SOUPS 244879 WITH SCORE 245182.59
AT ITER 4972 NEW BEST:: SOT 578450 SOS 303382 HAS SOPS 303382 HAS SOUS 244300 HAS SOUPS 244300 WITH SCORE 244603.382
AT ITER 4979 NEW BEST:: SOT 578716 SOS 303503 HAS SOPS 303503 HAS SOUS 244259 HAS SOUPS 244259 WITH SCORE 244562.503
AT ITER 4983 NEW BEST:: SOT 578716 SOS 303668 HAS SOPS 303668 HAS SOUS 244226 HAS SOUPS 244226 WITH SCORE 244529.668
AT ITER 4996 NEW BEST:: SOT 578846 SOS 303787 HAS SOPS 303787 HAS SOUS 244215 HAS SOUPS 244215 WITH SCORE 244518.787
AT ITER 4999 NEW BEST:: SOT 578824 SOS 303721 HAS SOPS 303721 HAS SOUS 244200 HAS SOUPS 244200 WITH SCORE 244503.721
Bounds file is: CTLFireability.xml
PROPERTY: ShieldIIPs-PT-040A-CTLFireability-00 (AF( (AG( (AG( ((potential((tk(P752)>=1))))))))))
PROPERTY: ShieldIIPs-PT-040A-CTLFireability-01 (AF( ( (AG( ( ((potential((tk(P507)>=1) & (tk(P518)>=1)))) | ((potential((tk(P664)>=1) & (tk(P674)>=1) & (tk(P678)>=1)))) ))) & ( ((potential((tk(P989)>=1) & (tk(P997)>=1) & (tk(P1001)>=1)))) | ( (! ((potential((tk(P704)>=1) & (tk(P725)>=1))))) | ((potential((tk(P688)>=1) & (tk(P721)>=1)))) ) ) )))
PROPERTY: ShieldIIPs-PT-040A-CTLFireability-02 ( (AX( ( ( ( ((potential((tk(P222)>=1)))) | ((potential((tk(P392)>=1)))) ) | (! ((potential((tk(P501)>=1))))) ) & (AX( ((potential((tk(P383)>=1) & (tk(P385)>=1)))))) ))) | (EF( ( (AG( ((potential((tk(P790)>=1) & (tk(P811)>=1)))))) & (! ((potential((tk(P89)>=1) & (tk(P97)>=1) & (tk(P101)>=1))))) ))) )
PROPERTY: ShieldIIPs-PT-040A-CTLFireability-03 ( (AF( (! ( (! ((potential((tk(P239)>=1) & (tk(P247)>=1) & (tk(P253)>=1))))) | ( ((potential((tk(P787)>=1) & (tk(P793)>=1) & (tk(P802)>=1)))) | ((potential((tk(P406)>=1) & (tk(P419)>=1)))) ) )))) | ( (EF( ( ( ((potential((tk(P359)>=1) & (tk(P374)>=1)))) | ((potential((tk(P7)>=1) & (tk(P18)>=1)))) ) | ( ((potential((tk(P439)>=1) & (tk(P449)>=1) & (tk(P451)>=1)))) & ((potential((tk(P202)>=1)))) ) ))) | ( (AF( ( ((potential((tk(P159)>=1) & (tk(P173)>=1)))) & ((potential((tk(P764)>=1) & (tk(P774)>=1) & (tk(P778)>=1)))) ))) | (AX( ((potential((tk(P737)>=1) & (tk(P741)>=1) & (tk(P752)>=1)))))) ) ) )
PROPERTY: ShieldIIPs-PT-040A-CTLFireability-04 ( (AF( (EF( ( ((potential((tk(P579)>=1) & (tk(P600)>=1)))) & ((potential((tk(P908)>=1) & (tk(P910)>=1)))) ))))) | ((potential((tk(P406)>=1) & (tk(P419)>=1)))) )
PROPERTY: ShieldIIPs-PT-040A-CTLFireability-05 (AX( ( (EF( (! ((potential((tk(P904)>=1) & (tk(P925)>=1))))))) & (! (AF( ((potential((tk(P937)>=1) & (tk(P943)>=1) & (tk(P953)>=1))))))) )))
PROPERTY: ShieldIIPs-PT-040A-CTLFireability-06 (EG( (AF( (AF( ((potential((tk(P51)>=1))))))))))
PROPERTY: ShieldIIPs-PT-040A-CTLFireability-07 (AG( (AX( (AF( ((potential((tk(P333)>=1) & (tk(P335)>=1))))))))))
PROPERTY: ShieldIIPs-PT-040A-CTLFireability-08 (! (AG( ( ( ((potential((tk(P626)>=1)))) | ( ((potential((tk(P414)>=1) & (tk(P424)>=1) & (tk(P428)>=1)))) & ((potential((tk(P484)>=1) & (tk(P499)>=1)))) ) ) | (EF( ((potential((tk(P307)>=1) & (tk(P317)>=1)))))) ))))
PROPERTY: ShieldIIPs-PT-040A-CTLFireability-09 (AG( (AG( (! ( ((potential((tk(P489)>=1) & (tk(P499)>=1) & (tk(P503)>=1)))) & ((potential((tk(P262)>=1) & (tk(P268)>=1) & (tk(P277)>=1)))) ))))))
PROPERTY: ShieldIIPs-PT-040A-CTLFireability-10 ( ( (AF( (EF( ((potential((tk(P101)>=1)))))))) & (! (! (EG( ((potential((tk(P98)>=1)))))))) ) | (AF( (EU( ((potential((tk(P257)>=1) & (tk(P267)>=1)))) , ((potential((tk(P890)>=1) & (tk(P911)>=1)))) )))) )
PROPERTY: ShieldIIPs-PT-040A-CTLFireability-11 ( (! (EX( (EF( ((potential((tk(P929)>=1) & (tk(P950)>=1))))))))) | ( (EF( (EG( ((potential((tk(P737)>=1) & (tk(P741)>=1) & (tk(P752)>=1)))))))) & (EU( (! ((potential((tk(P362)>=1) & (tk(P366)>=1) & (tk(P377)>=1))))) , ((potential((tk(P137)>=1) & (tk(P141)>=1) & (tk(P152)>=1)))) )) ) )
PROPERTY: ShieldIIPs-PT-040A-CTLFireability-12 (AU( (EF( ( ((potential((tk(P864)>=1) & (tk(P874)>=1) & (tk(P878)>=1)))) | ((potential((tk(P512)>=1) & (tk(P516)>=1) & (tk(P527)>=1)))) ))) , ( (EX( ((potential((tk(P762)>=1) & (tk(P766)>=1) & (tk(P778)>=1)))))) & (AF( ((potential((tk(P212)>=1) & (tk(P216)>=1) & (tk(P228)>=1)))))) ) ))
PROPERTY: ShieldIIPs-PT-040A-CTLFireability-13 (EU( ( (EF( ((potential((tk(P115)>=1) & (tk(P136)>=1)))))) & ( (! ((potential((tk(P116)>=1))))) & (! ((potential((tk(P516)>=1))))) ) ) , ( (EX( ((potential((tk(P501)>=1)))))) | (AF( ((potential((tk(P542)>=1)))))) ) ))
PROPERTY: ShieldIIPs-PT-040A-CTLFireability-14 ( (EF( ( ( (! ((potential((tk(P632)>=1) & (tk(P643)>=1))))) & ((potential((tk(P377)>=1)))) ) | ((potential((tk(P51)>=1)))) ))) | (EG( ( (! ( ((potential((tk(P783)>=1) & (tk(P785)>=1)))) | ((potential((tk(P715)>=1) & (tk(P736)>=1)))) )) & (! (! ((potential((tk(P538)>=1) & (tk(P571)>=1)))))) ))) )
PROPERTY: ShieldIIPs-PT-040A-CTLFireability-15 ( (AF( (AF( ( ((potential((tk(P462)>=1) & (tk(P466)>=1) & (tk(P477)>=1)))) & ((potential((tk(P756)>=1) & (tk(P769)>=1)))) ))))) | (EU( ( ((potential((tk(P591)>=1)))) & ((potential((tk(P539)>=1) & (tk(P549)>=1) & (tk(P551)>=1)))) ) , ((potential((tk(P491)>=1)))) )) )
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="ShieldIIPs-PT-040A"
export BK_EXAMINATION="CTLFireability"
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 ShieldIIPs-PT-040A, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r207-tajo-159033469100172"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ShieldIIPs-PT-040A.tgz
mv ShieldIIPs-PT-040A execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;