fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r207-tajo-159033469800699
Last Updated
Jun 28, 2020

About the Execution of smart for ShieldPPPt-PT-040A

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15765.580 3600000.00 3600000.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-159033469800699.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 ShieldPPPt-PT-040A, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469800699
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 432K
-rw-r--r-- 1 mcc users 3.1K May 14 01:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K May 14 01:58 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 13 19:25 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 19:25 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 14 10:04 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 14 10:04 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 14 10:04 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 14 10:04 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.1K May 13 14:11 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 14K May 13 14:11 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 13 08:55 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K May 13 08:55 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 268K 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 ShieldPPPt-PT-040A-CTLCardinality-00
FORMULA_NAME ShieldPPPt-PT-040A-CTLCardinality-01
FORMULA_NAME ShieldPPPt-PT-040A-CTLCardinality-02
FORMULA_NAME ShieldPPPt-PT-040A-CTLCardinality-03
FORMULA_NAME ShieldPPPt-PT-040A-CTLCardinality-04
FORMULA_NAME ShieldPPPt-PT-040A-CTLCardinality-05
FORMULA_NAME ShieldPPPt-PT-040A-CTLCardinality-06
FORMULA_NAME ShieldPPPt-PT-040A-CTLCardinality-07
FORMULA_NAME ShieldPPPt-PT-040A-CTLCardinality-08
FORMULA_NAME ShieldPPPt-PT-040A-CTLCardinality-09
FORMULA_NAME ShieldPPPt-PT-040A-CTLCardinality-10
FORMULA_NAME ShieldPPPt-PT-040A-CTLCardinality-11
FORMULA_NAME ShieldPPPt-PT-040A-CTLCardinality-12
FORMULA_NAME ShieldPPPt-PT-040A-CTLCardinality-13
FORMULA_NAME ShieldPPPt-PT-040A-CTLCardinality-14
FORMULA_NAME ShieldPPPt-PT-040A-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1590450092171

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPt (PT), instance 040A
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 1003 places, 723 transitions, 2886 arcs.
AT ITER 0 NEW BEST:: SOT 597368 SOS 500700 HAS SOPS 500700 HAS SOUS 403466 HAS SOUPS 403466 WITH SCORE 403966.7
AT ITER 2 NEW BEST:: SOT 596072 SOS 498201 HAS SOPS 498201 HAS SOUS 402109 HAS SOUPS 402109 WITH SCORE 402607.201
AT ITER 6 NEW BEST:: SOT 595874 SOS 498001 HAS SOPS 498001 HAS SOUS 401909 HAS SOUPS 401909 WITH SCORE 402407.001
AT ITER 7 NEW BEST:: SOT 595472 SOS 497599 HAS SOPS 497599 HAS SOUS 401507 HAS SOUPS 401507 WITH SCORE 402004.599
AT ITER 11 NEW BEST:: SOT 595472 SOS 497569 HAS SOPS 497569 HAS SOUS 401507 HAS SOUPS 401507 WITH SCORE 402004.569
AT ITER 13 NEW BEST:: SOT 594163 SOS 495368 HAS SOPS 495368 HAS SOUS 399675 HAS SOUPS 399675 WITH SCORE 400170.368
AT ITER 16 NEW BEST:: SOT 593758 SOS 494961 HAS SOPS 494961 HAS SOUS 399267 HAS SOUPS 399267 WITH SCORE 399761.961
AT ITER 17 NEW BEST:: SOT 593758 SOS 494082 HAS SOPS 494082 HAS SOUS 399258 HAS SOUPS 399258 WITH SCORE 399752.082
AT ITER 20 NEW BEST:: SOT 593173 SOS 493564 HAS SOPS 493564 HAS SOUS 398808 HAS SOUPS 398808 WITH SCORE 399301.564
AT ITER 22 NEW BEST:: SOT 592979 SOS 493368 HAS SOPS 493368 HAS SOUS 398612 HAS SOUPS 398612 WITH SCORE 399105.368
AT ITER 23 NEW BEST:: SOT 592979 SOS 492449 HAS SOPS 492449 HAS SOUS 398610 HAS SOUPS 398610 WITH SCORE 399102.449
AT ITER 28 NEW BEST:: SOT 592979 SOS 491355 HAS SOPS 491355 HAS SOUS 398607 HAS SOUPS 398607 WITH SCORE 399098.355
AT ITER 30 NEW BEST:: SOT 592935 SOS 491311 HAS SOPS 491311 HAS SOUS 398563 HAS SOUPS 398563 WITH SCORE 399054.311
AT ITER 31 NEW BEST:: SOT 592586 SOS 490960 HAS SOPS 490960 HAS SOUS 398212 HAS SOUPS 398212 WITH SCORE 398702.96
AT ITER 34 NEW BEST:: SOT 592059 SOS 490433 HAS SOPS 490433 HAS SOUS 397683 HAS SOUPS 397683 WITH SCORE 398173.433
AT ITER 36 NEW BEST:: SOT 591545 SOS 489917 HAS SOPS 489917 HAS SOUS 397166 HAS SOUPS 397166 WITH SCORE 397655.917
AT ITER 37 NEW BEST:: SOT 591545 SOS 488505 HAS SOPS 488505 HAS SOUS 396817 HAS SOUPS 396817 WITH SCORE 397305.505
AT ITER 38 NEW BEST:: SOT 590837 SOS 487797 HAS SOPS 487797 HAS SOUS 396361 HAS SOUPS 396361 WITH SCORE 396848.797
AT ITER 39 NEW BEST:: SOT 590510 SOS 487470 HAS SOPS 487470 HAS SOUS 396034 HAS SOUPS 396034 WITH SCORE 396521.47
AT ITER 45 NEW BEST:: SOT 590216 SOS 487176 HAS SOPS 487176 HAS SOUS 395738 HAS SOUPS 395738 WITH SCORE 396225.176
AT ITER 46 NEW BEST:: SOT 588983 SOS 485943 HAS SOPS 485943 HAS SOUS 394673 HAS SOUPS 394673 WITH SCORE 395158.943
AT ITER 47 NEW BEST:: SOT 588983 SOS 485230 HAS SOPS 485230 HAS SOUS 394464 HAS SOUPS 394464 WITH SCORE 394949.23
AT ITER 48 NEW BEST:: SOT 588399 SOS 484646 HAS SOPS 484646 HAS SOUS 393880 HAS SOUPS 393880 WITH SCORE 394364.646
AT ITER 52 NEW BEST:: SOT 588020 SOS 484267 HAS SOPS 484267 HAS SOUS 393499 HAS SOUPS 393499 WITH SCORE 393983.267
AT ITER 53 NEW BEST:: SOT 587968 SOS 484215 HAS SOPS 484215 HAS SOUS 393472 HAS SOUPS 393472 WITH SCORE 393956.215
AT ITER 55 NEW BEST:: SOT 587968 SOS 483694 HAS SOPS 483694 HAS SOUS 393365 HAS SOUPS 393365 WITH SCORE 393848.694
AT ITER 59 NEW BEST:: SOT 587968 SOS 483192 HAS SOPS 483192 HAS SOUS 393211 HAS SOUPS 393211 WITH SCORE 393694.192
AT ITER 60 NEW BEST:: SOT 587968 SOS 483133 HAS SOPS 483133 HAS SOUS 393203 HAS SOUPS 393203 WITH SCORE 393686.133
AT ITER 62 NEW BEST:: SOT 587179 SOS 482344 HAS SOPS 482344 HAS SOUS 392413 HAS SOUPS 392413 WITH SCORE 392895.344
AT ITER 64 NEW BEST:: SOT 586776 SOS 481941 HAS SOPS 481941 HAS SOUS 392010 HAS SOUPS 392010 WITH SCORE 392491.941
AT ITER 65 NEW BEST:: SOT 586776 SOS 480628 HAS SOPS 480628 HAS SOUS 391714 HAS SOUPS 391714 WITH SCORE 392194.628
AT ITER 66 NEW BEST:: SOT 585824 SOS 479761 HAS SOPS 479761 HAS SOUS 390732 HAS SOUPS 390732 WITH SCORE 391211.761
AT ITER 69 NEW BEST:: SOT 585658 SOS 479595 HAS SOPS 479595 HAS SOUS 390564 HAS SOUPS 390564 WITH SCORE 391043.595
AT ITER 70 NEW BEST:: SOT 585198 SOS 479303 HAS SOPS 479303 HAS SOUS 390441 HAS SOUPS 390441 WITH SCORE 390920.303
AT ITER 71 NEW BEST:: SOT 584301 SOS 478926 HAS SOPS 478926 HAS SOUS 389935 HAS SOUPS 389935 WITH SCORE 390413.926
AT ITER 72 NEW BEST:: SOT 583733 SOS 476166 HAS SOPS 476166 HAS SOUS 388335 HAS SOUPS 388335 WITH SCORE 388811.166
AT ITER 73 NEW BEST:: SOT 583733 SOS 476167 HAS SOPS 476167 HAS SOUS 388328 HAS SOUPS 388328 WITH SCORE 388804.167
AT ITER 74 NEW BEST:: SOT 582600 SOS 475060 HAS SOPS 475060 HAS SOUS 387246 HAS SOUPS 387246 WITH SCORE 387721.06
AT ITER 75 NEW BEST:: SOT 582600 SOS 473954 HAS SOPS 473954 HAS SOUS 387244 HAS SOUPS 387244 WITH SCORE 387717.954
AT ITER 76 NEW BEST:: SOT 582600 SOS 473492 HAS SOPS 473492 HAS SOUS 387235 HAS SOUPS 387235 WITH SCORE 387708.492
AT ITER 78 NEW BEST:: SOT 582585 SOS 473477 HAS SOPS 473477 HAS SOUS 387218 HAS SOUPS 387218 WITH SCORE 387691.477
AT ITER 84 NEW BEST:: SOT 582585 SOS 473189 HAS SOPS 473189 HAS SOUS 387218 HAS SOUPS 387218 WITH SCORE 387691.189
AT ITER 86 NEW BEST:: SOT 582585 SOS 471845 HAS SOPS 471845 HAS SOUS 387215 HAS SOUPS 387215 WITH SCORE 387686.845
AT ITER 87 NEW BEST:: SOT 582580 SOS 471840 HAS SOPS 471840 HAS SOUS 387210 HAS SOUPS 387210 WITH SCORE 387681.84
AT ITER 88 NEW BEST:: SOT 581333 SOS 470593 HAS SOPS 470593 HAS SOUS 385963 HAS SOUPS 385963 WITH SCORE 386433.593
AT ITER 89 NEW BEST:: SOT 581333 SOS 470589 HAS SOPS 470589 HAS SOUS 385961 HAS SOUPS 385961 WITH SCORE 386431.589
AT ITER 90 NEW BEST:: SOT 580297 SOS 469446 HAS SOPS 469446 HAS SOUS 385014 HAS SOUPS 385014 WITH SCORE 385483.446
AT ITER 93 NEW BEST:: SOT 579800 SOS 469115 HAS SOPS 469115 HAS SOUS 384500 HAS SOUPS 384500 WITH SCORE 384969.115
AT ITER 96 NEW BEST:: SOT 579800 SOS 468654 HAS SOPS 468654 HAS SOUS 384498 HAS SOUPS 384498 WITH SCORE 384966.654
AT ITER 98 NEW BEST:: SOT 579148 SOS 468000 HAS SOPS 468000 HAS SOUS 384080 HAS SOUPS 384080 WITH SCORE 384548.0
AT ITER 103 NEW BEST:: SOT 578215 SOS 467067 HAS SOPS 467067 HAS SOUS 382836 HAS SOUPS 382836 WITH SCORE 383303.067
AT ITER 104 NEW BEST:: SOT 577932 SOS 466784 HAS SOPS 466784 HAS SOUS 382552 HAS SOUPS 382552 WITH SCORE 383018.784
AT ITER 105 NEW BEST:: SOT 577446 SOS 466296 HAS SOPS 466296 HAS SOUS 382064 HAS SOUPS 382064 WITH SCORE 382530.296
AT ITER 106 NEW BEST:: SOT 576453 SOS 464476 HAS SOPS 464476 HAS SOUS 380821 HAS SOUPS 380821 WITH SCORE 381285.476
AT ITER 108 NEW BEST:: SOT 576453 SOS 464092 HAS SOPS 464092 HAS SOUS 380819 HAS SOUPS 380819 WITH SCORE 381283.092
AT ITER 115 NEW BEST:: SOT 576093 SOS 463732 HAS SOPS 463732 HAS SOUS 380339 HAS SOUPS 380339 WITH SCORE 380802.732
AT ITER 118 NEW BEST:: SOT 576031 SOS 463670 HAS SOPS 463670 HAS SOUS 380320 HAS SOUPS 380320 WITH SCORE 380783.67
AT ITER 119 NEW BEST:: SOT 576031 SOS 463658 HAS SOPS 463658 HAS SOUS 380320 HAS SOUPS 380320 WITH SCORE 380783.658
AT ITER 120 NEW BEST:: SOT 576004 SOS 462779 HAS SOPS 462779 HAS SOUS 380260 HAS SOUPS 380260 WITH SCORE 380722.779
AT ITER 123 NEW BEST:: SOT 574573 SOS 461348 HAS SOPS 461348 HAS SOUS 378829 HAS SOUPS 378829 WITH SCORE 379290.348
AT ITER 124 NEW BEST:: SOT 574492 SOS 461267 HAS SOPS 461267 HAS SOUS 378748 HAS SOUPS 378748 WITH SCORE 379209.267
AT ITER 127 NEW BEST:: SOT 573883 SOS 458443 HAS SOPS 458443 HAS SOUS 377122 HAS SOUPS 377122 WITH SCORE 377580.443
AT ITER 129 NEW BEST:: SOT 573735 SOS 458295 HAS SOPS 458295 HAS SOUS 376990 HAS SOUPS 376990 WITH SCORE 377448.295
AT ITER 130 NEW BEST:: SOT 573205 SOS 457765 HAS SOPS 457765 HAS SOUS 376354 HAS SOUPS 376354 WITH SCORE 376811.765
AT ITER 132 NEW BEST:: SOT 571213 SOS 454247 HAS SOPS 454247 HAS SOUS 373473 HAS SOUPS 373473 WITH SCORE 373927.247
AT ITER 133 NEW BEST:: SOT 571021 SOS 454055 HAS SOPS 454055 HAS SOUS 373281 HAS SOUPS 373281 WITH SCORE 373735.055
AT ITER 137 NEW BEST:: SOT 570771 SOS 453805 HAS SOPS 453805 HAS SOUS 373031 HAS SOUPS 373031 WITH SCORE 373484.805
AT ITER 138 NEW BEST:: SOT 570252 SOS 452464 HAS SOPS 452464 HAS SOUS 372055 HAS SOUPS 372055 WITH SCORE 372507.464
AT ITER 141 NEW BEST:: SOT 570252 SOS 452032 HAS SOPS 452032 HAS SOUS 372048 HAS SOUPS 372048 WITH SCORE 372500.032
AT ITER 142 NEW BEST:: SOT 569463 SOS 451243 HAS SOPS 451243 HAS SOUS 371469 HAS SOUPS 371469 WITH SCORE 371920.243
AT ITER 146 NEW BEST:: SOT 569463 SOS 449924 HAS SOPS 449924 HAS SOUS 371287 HAS SOUPS 371287 WITH SCORE 371736.924
AT ITER 147 NEW BEST:: SOT 568910 SOS 447295 HAS SOPS 447295 HAS SOUS 369840 HAS SOUPS 369840 WITH SCORE 370287.295
AT ITER 150 NEW BEST:: SOT 568111 SOS 446496 HAS SOPS 446496 HAS SOUS 369410 HAS SOUPS 369410 WITH SCORE 369856.496
AT ITER 151 NEW BEST:: SOT 568111 SOS 445240 HAS SOPS 445240 HAS SOUS 369359 HAS SOUPS 369359 WITH SCORE 369804.24
AT ITER 153 NEW BEST:: SOT 567935 SOS 445062 HAS SOPS 445062 HAS SOUS 369181 HAS SOUPS 369181 WITH SCORE 369626.062
AT ITER 155 NEW BEST:: SOT 567359 SOS 444486 HAS SOPS 444486 HAS SOUS 368605 HAS SOUPS 368605 WITH SCORE 369049.486
AT ITER 157 NEW BEST:: SOT 567359 SOS 444285 HAS SOPS 444285 HAS SOUS 368594 HAS SOUPS 368594 WITH SCORE 369038.285
AT ITER 163 NEW BEST:: SOT 567359 SOS 443509 HAS SOPS 443509 HAS SOUS 368592 HAS SOUPS 368592 WITH SCORE 369035.509
AT ITER 165 NEW BEST:: SOT 567272 SOS 443393 HAS SOPS 443393 HAS SOUS 368476 HAS SOUPS 368476 WITH SCORE 368919.393
AT ITER 167 NEW BEST:: SOT 566337 SOS 442458 HAS SOPS 442458 HAS SOUS 367722 HAS SOUPS 367722 WITH SCORE 368164.458
AT ITER 168 NEW BEST:: SOT 564953 SOS 440126 HAS SOPS 440126 HAS SOUS 365851 HAS SOUPS 365851 WITH SCORE 366291.126
AT ITER 170 NEW BEST:: SOT 564858 SOS 440029 HAS SOPS 440029 HAS SOUS 365754 HAS SOUPS 365754 WITH SCORE 366194.029
AT ITER 171 NEW BEST:: SOT 564700 SOS 439871 HAS SOPS 439871 HAS SOUS 365596 HAS SOUPS 365596 WITH SCORE 366035.871
AT ITER 174 NEW BEST:: SOT 563062 SOS 437006 HAS SOPS 437006 HAS SOUS 363136 HAS SOUPS 363136 WITH SCORE 363573.006
AT ITER 175 NEW BEST:: SOT 563062 SOS 436369 HAS SOPS 436369 HAS SOUS 363130 HAS SOUPS 363130 WITH SCORE 363566.369
AT ITER 176 NEW BEST:: SOT 563062 SOS 435220 HAS SOPS 435220 HAS SOUS 362967 HAS SOUPS 362967 WITH SCORE 363402.22
AT ITER 177 NEW BEST:: SOT 563062 SOS 434060 HAS SOPS 434060 HAS SOUS 362362 HAS SOUPS 362362 WITH SCORE 362796.06
AT ITER 179 NEW BEST:: SOT 563062 SOS 434060 HAS SOPS 434060 HAS SOUS 362301 HAS SOUPS 362301 WITH SCORE 362735.06
AT ITER 182 NEW BEST:: SOT 562424 SOS 433573 HAS SOPS 433573 HAS SOUS 361813 HAS SOUPS 361813 WITH SCORE 362246.573
AT ITER 183 NEW BEST:: SOT 562390 SOS 433539 HAS SOPS 433539 HAS SOUS 361779 HAS SOUPS 361779 WITH SCORE 362212.539
AT ITER 184 NEW BEST:: SOT 562390 SOS 432255 HAS SOPS 432255 HAS SOUS 361778 HAS SOUPS 361778 WITH SCORE 362210.255
AT ITER 185 NEW BEST:: SOT 561997 SOS 431497 HAS SOPS 431497 HAS SOUS 361019 HAS SOUPS 361019 WITH SCORE 361450.497
AT ITER 186 NEW BEST:: SOT 560717 SOS 428579 HAS SOPS 428579 HAS SOUS 358791 HAS SOUPS 358791 WITH SCORE 359219.579
AT ITER 189 NEW BEST:: SOT 559682 SOS 427544 HAS SOPS 427544 HAS SOUS 357745 HAS SOUPS 357745 WITH SCORE 358172.544
AT ITER 190 NEW BEST:: SOT 559215 SOS 427077 HAS SOPS 427077 HAS SOUS 357278 HAS SOUPS 357278 WITH SCORE 357705.077
AT ITER 191 NEW BEST:: SOT 559169 SOS 427031 HAS SOPS 427031 HAS SOUS 357232 HAS SOUPS 357232 WITH SCORE 357659.031
AT ITER 196 NEW BEST:: SOT 558987 SOS 426849 HAS SOPS 426849 HAS SOUS 357050 HAS SOUPS 357050 WITH SCORE 357476.849
AT ITER 197 NEW BEST:: SOT 557804 SOS 424915 HAS SOPS 424915 HAS SOUS 355593 HAS SOUPS 355593 WITH SCORE 356017.915
AT ITER 198 NEW BEST:: SOT 557542 SOS 424653 HAS SOPS 424653 HAS SOUS 355331 HAS SOUPS 355331 WITH SCORE 355755.653
AT ITER 199 NEW BEST:: SOT 556796 SOS 423907 HAS SOPS 423907 HAS SOUS 354254 HAS SOUPS 354254 WITH SCORE 354677.907
AT ITER 201 NEW BEST:: SOT 556777 SOS 423887 HAS SOPS 423887 HAS SOUS 354234 HAS SOUPS 354234 WITH SCORE 354657.887
AT ITER 202 NEW BEST:: SOT 556777 SOS 423275 HAS SOPS 423275 HAS SOUS 353927 HAS SOUPS 353927 WITH SCORE 354350.275
AT ITER 208 NEW BEST:: SOT 556399 SOS 422897 HAS SOPS 422897 HAS SOUS 353377 HAS SOUPS 353377 WITH SCORE 353799.897
AT ITER 209 NEW BEST:: SOT 555206 SOS 419580 HAS SOPS 419580 HAS SOUS 351464 HAS SOUPS 351464 WITH SCORE 351883.58
AT ITER 210 NEW BEST:: SOT 554979 SOS 419353 HAS SOPS 419353 HAS SOUS 351237 HAS SOUPS 351237 WITH SCORE 351656.353
AT ITER 211 NEW BEST:: SOT 554979 SOS 419059 HAS SOPS 419059 HAS SOUS 351139 HAS SOUPS 351139 WITH SCORE 351558.059
AT ITER 212 NEW BEST:: SOT 554965 SOS 417774 HAS SOPS 417774 HAS SOUS 350980 HAS SOUPS 350980 WITH SCORE 351397.774
AT ITER 216 NEW BEST:: SOT 554419 SOS 417226 HAS SOPS 417226 HAS SOUS 350432 HAS SOUPS 350432 WITH SCORE 350849.226
AT ITER 218 NEW BEST:: SOT 553792 SOS 416556 HAS SOPS 416556 HAS SOUS 349375 HAS SOUPS 349375 WITH SCORE 349791.556
AT ITER 220 NEW BEST:: SOT 553292 SOS 415120 HAS SOPS 415120 HAS SOUS 348465 HAS SOUPS 348465 WITH SCORE 348880.12
AT ITER 221 NEW BEST:: SOT 553479 SOS 415307 HAS SOPS 415307 HAS SOUS 348416 HAS SOUPS 348416 WITH SCORE 348831.307
AT ITER 224 NEW BEST:: SOT 553286 SOS 415114 HAS SOPS 415114 HAS SOUS 348223 HAS SOUPS 348223 WITH SCORE 348638.114
AT ITER 226 NEW BEST:: SOT 553286 SOS 415050 HAS SOPS 415050 HAS SOUS 348223 HAS SOUPS 348223 WITH SCORE 348638.05
AT ITER 227 NEW BEST:: SOT 553286 SOS 415050 HAS SOPS 415050 HAS SOUS 348192 HAS SOUPS 348192 WITH SCORE 348607.05
AT ITER 228 NEW BEST:: SOT 551867 SOS 412535 HAS SOPS 412535 HAS SOUS 346198 HAS SOUPS 346198 WITH SCORE 346610.535
AT ITER 229 NEW BEST:: SOT 551581 SOS 412249 HAS SOPS 412249 HAS SOUS 345912 HAS SOUPS 345912 WITH SCORE 346324.249
AT ITER 231 NEW BEST:: SOT 550819 SOS 411341 HAS SOPS 411341 HAS SOUS 344859 HAS SOUPS 344859 WITH SCORE 345270.341
AT ITER 232 NEW BEST:: SOT 550169 SOS 410691 HAS SOPS 410691 HAS SOUS 344207 HAS SOUPS 344207 WITH SCORE 344617.691
AT ITER 234 NEW BEST:: SOT 549870 SOS 408871 HAS SOPS 408871 HAS SOUS 343378 HAS SOUPS 343378 WITH SCORE 343786.871
AT ITER 242 NEW BEST:: SOT 549870 SOS 408820 HAS SOPS 408820 HAS SOUS 343375 HAS SOUPS 343375 WITH SCORE 343783.82
AT ITER 243 NEW BEST:: SOT 549480 SOS 408428 HAS SOPS 408428 HAS SOUS 342983 HAS SOUPS 342983 WITH SCORE 343391.428
AT ITER 252 NEW BEST:: SOT 549409 SOS 408357 HAS SOPS 408357 HAS SOUS 342910 HAS SOUPS 342910 WITH SCORE 343318.357
AT ITER 253 NEW BEST:: SOT 549409 SOS 408333 HAS SOPS 408333 HAS SOUS 342910 HAS SOUPS 342910 WITH SCORE 343318.333
AT ITER 255 NEW BEST:: SOT 549161 SOS 408109 HAS SOPS 408109 HAS SOUS 342758 HAS SOUPS 342758 WITH SCORE 343166.109
AT ITER 262 NEW BEST:: SOT 548419 SOS 407365 HAS SOPS 407365 HAS SOUS 342103 HAS SOUPS 342103 WITH SCORE 342510.365
AT ITER 263 NEW BEST:: SOT 548108 SOS 407130 HAS SOPS 407130 HAS SOUS 341965 HAS SOUPS 341965 WITH SCORE 342372.13
AT ITER 264 NEW BEST:: SOT 548108 SOS 407124 HAS SOPS 407124 HAS SOUS 341965 HAS SOUPS 341965 WITH SCORE 342372.124
AT ITER 265 NEW BEST:: SOT 547879 SOS 406895 HAS SOPS 406895 HAS SOUS 341736 HAS SOUPS 341736 WITH SCORE 342142.895
AT ITER 267 NEW BEST:: SOT 547194 SOS 406210 HAS SOPS 406210 HAS SOUS 341191 HAS SOUPS 341191 WITH SCORE 341597.21
AT ITER 271 NEW BEST:: SOT 546948 SOS 405964 HAS SOPS 405964 HAS SOUS 340945 HAS SOUPS 340945 WITH SCORE 341350.964
AT ITER 273 NEW BEST:: SOT 546814 SOS 405830 HAS SOPS 405830 HAS SOUS 340671 HAS SOUPS 340671 WITH SCORE 341076.83
AT ITER 274 NEW BEST:: SOT 546785 SOS 405801 HAS SOPS 405801 HAS SOUS 340642 HAS SOUPS 340642 WITH SCORE 341047.801
AT ITER 275 NEW BEST:: SOT 546785 SOS 405372 HAS SOPS 405372 HAS SOUS 340641 HAS SOUPS 340641 WITH SCORE 341046.372
AT ITER 281 NEW BEST:: SOT 546785 SOS 404466 HAS SOPS 404466 HAS SOUS 340641 HAS SOUPS 340641 WITH SCORE 341045.466
AT ITER 282 NEW BEST:: SOT 546434 SOS 402942 HAS SOPS 402942 HAS SOUS 339873 HAS SOUPS 339873 WITH SCORE 340275.942
AT ITER 283 NEW BEST:: SOT 546006 SOS 401846 HAS SOPS 401846 HAS SOUS 339311 HAS SOUPS 339311 WITH SCORE 339712.846
AT ITER 285 NEW BEST:: SOT 545877 SOS 401597 HAS SOPS 401597 HAS SOUS 339073 HAS SOUPS 339073 WITH SCORE 339474.597
AT ITER 286 NEW BEST:: SOT 545877 SOS 401572 HAS SOPS 401572 HAS SOUS 339064 HAS SOUPS 339064 WITH SCORE 339465.572
AT ITER 287 NEW BEST:: SOT 545913 SOS 401127 HAS SOPS 401127 HAS SOUS 339050 HAS SOUPS 339050 WITH SCORE 339451.127
AT ITER 290 NEW BEST:: SOT 545913 SOS 401399 HAS SOPS 401399 HAS SOUS 339046 HAS SOUPS 339046 WITH SCORE 339447.399
AT ITER 296 NEW BEST:: SOT 545606 SOS 401226 HAS SOPS 401226 HAS SOUS 339010 HAS SOUPS 339010 WITH SCORE 339411.226
AT ITER 299 NEW BEST:: SOT 545481 SOS 399976 HAS SOPS 399976 HAS SOUS 338471 HAS SOUPS 338471 WITH SCORE 338870.976
AT ITER 301 NEW BEST:: SOT 545637 SOS 398452 HAS SOPS 398452 HAS SOUS 337895 HAS SOUPS 337895 WITH SCORE 338293.452
AT ITER 302 NEW BEST:: SOT 545686 SOS 398217 HAS SOPS 398217 HAS SOUS 337781 HAS SOUPS 337781 WITH SCORE 338179.217
AT ITER 304 NEW BEST:: SOT 545527 SOS 398058 HAS SOPS 398058 HAS SOUS 337628 HAS SOUPS 337628 WITH SCORE 338026.058
AT ITER 305 NEW BEST:: SOT 545487 SOS 398018 HAS SOPS 398018 HAS SOUS 337588 HAS SOUPS 337588 WITH SCORE 337986.018
AT ITER 308 NEW BEST:: SOT 545343 SOS 397865 HAS SOPS 397865 HAS SOUS 337435 HAS SOUPS 337435 WITH SCORE 337832.865
AT ITER 309 NEW BEST:: SOT 545073 SOS 397595 HAS SOPS 397595 HAS SOUS 337240 HAS SOUPS 337240 WITH SCORE 337637.595
AT ITER 311 NEW BEST:: SOT 544905 SOS 397576 HAS SOPS 397576 HAS SOUS 337221 HAS SOUPS 337221 WITH SCORE 337618.576
AT ITER 313 NEW BEST:: SOT 544373 SOS 397093 HAS SOPS 397093 HAS SOUS 336788 HAS SOUPS 336788 WITH SCORE 337185.093
AT ITER 314 NEW BEST:: SOT 543784 SOS 395064 HAS SOPS 395064 HAS SOUS 335829 HAS SOUPS 335829 WITH SCORE 336224.064
AT ITER 317 NEW BEST:: SOT 543322 SOS 394602 HAS SOPS 394602 HAS SOUS 335366 HAS SOUPS 335366 WITH SCORE 335760.602
AT ITER 320 NEW BEST:: SOT 543322 SOS 394047 HAS SOPS 394047 HAS SOUS 335181 HAS SOUPS 335181 WITH SCORE 335575.047
AT ITER 321 NEW BEST:: SOT 543054 SOS 393795 HAS SOPS 393795 HAS SOUS 334929 HAS SOUPS 334929 WITH SCORE 335322.795
AT ITER 322 NEW BEST:: SOT 542944 SOS 393703 HAS SOPS 393703 HAS SOUS 334854 HAS SOUPS 334854 WITH SCORE 335247.703
AT ITER 323 NEW BEST:: SOT 542900 SOS 393659 HAS SOPS 393659 HAS SOUS 334810 HAS SOUPS 334810 WITH SCORE 335203.659
AT ITER 329 NEW BEST:: SOT 542309 SOS 393626 HAS SOPS 393626 HAS SOUS 334591 HAS SOUPS 334591 WITH SCORE 334984.626
AT ITER 333 NEW BEST:: SOT 542309 SOS 393550 HAS SOPS 393550 HAS SOUS 334591 HAS SOUPS 334591 WITH SCORE 334984.55
AT ITER 334 NEW BEST:: SOT 541947 SOS 393188 HAS SOPS 393188 HAS SOUS 334229 HAS SOUPS 334229 WITH SCORE 334622.188
AT ITER 337 NEW BEST:: SOT 541947 SOS 391869 HAS SOPS 391869 HAS SOUS 334222 HAS SOUPS 334222 WITH SCORE 334613.869
AT ITER 338 NEW BEST:: SOT 541610 SOS 391515 HAS SOPS 391515 HAS SOUS 333852 HAS SOUPS 333852 WITH SCORE 334243.515
AT ITER 339 NEW BEST:: SOT 541606 SOS 389656 HAS SOPS 389656 HAS SOUS 332949 HAS SOUPS 332949 WITH SCORE 333338.656
AT ITER 345 NEW BEST:: SOT 541316 SOS 389365 HAS SOPS 389365 HAS SOUS 332711 HAS SOUPS 332711 WITH SCORE 333100.365
AT ITER 346 NEW BEST:: SOT 541214 SOS 389401 HAS SOPS 389401 HAS SOUS 332617 HAS SOUPS 332617 WITH SCORE 333006.401
AT ITER 347 NEW BEST:: SOT 540987 SOS 389174 HAS SOPS 389174 HAS SOUS 332388 HAS SOUPS 332388 WITH SCORE 332777.174
AT ITER 349 NEW BEST:: SOT 540764 SOS 388705 HAS SOPS 388705 HAS SOUS 331908 HAS SOUPS 331908 WITH SCORE 332296.705
AT ITER 351 NEW BEST:: SOT 540764 SOS 387634 HAS SOPS 387634 HAS SOUS 331804 HAS SOUPS 331804 WITH SCORE 332191.634
AT ITER 352 NEW BEST:: SOT 540764 SOS 387121 HAS SOPS 387121 HAS SOUS 331667 HAS SOUPS 331667 WITH SCORE 332054.121
AT ITER 353 NEW BEST:: SOT 540764 SOS 386720 HAS SOPS 386720 HAS SOUS 331491 HAS SOUPS 331491 WITH SCORE 331877.72
AT ITER 354 NEW BEST:: SOT 540490 SOS 386120 HAS SOPS 386120 HAS SOUS 330882 HAS SOUPS 330882 WITH SCORE 331268.12
AT ITER 356 NEW BEST:: SOT 540490 SOS 385214 HAS SOPS 385214 HAS SOUS 330420 HAS SOUPS 330420 WITH SCORE 330805.214
AT ITER 357 NEW BEST:: SOT 540589 SOS 384673 HAS SOPS 384673 HAS SOUS 330212 HAS SOUPS 330212 WITH SCORE 330596.673
AT ITER 360 NEW BEST:: SOT 540150 SOS 384234 HAS SOPS 384234 HAS SOUS 329673 HAS SOUPS 329673 WITH SCORE 330057.234
AT ITER 361 NEW BEST:: SOT 539832 SOS 383975 HAS SOPS 383975 HAS SOUS 329483 HAS SOUPS 329483 WITH SCORE 329866.975
AT ITER 363 NEW BEST:: SOT 539544 SOS 383543 HAS SOPS 383543 HAS SOUS 329051 HAS SOUPS 329051 WITH SCORE 329434.543
AT ITER 367 NEW BEST:: SOT 539198 SOS 382334 HAS SOPS 382334 HAS SOUS 328617 HAS SOUPS 328617 WITH SCORE 328999.334
AT ITER 376 NEW BEST:: SOT 538717 SOS 381115 HAS SOPS 381115 HAS SOUS 328105 HAS SOUPS 328105 WITH SCORE 328486.115
AT ITER 381 NEW BEST:: SOT 538712 SOS 381110 HAS SOPS 381110 HAS SOUS 328100 HAS SOUPS 328100 WITH SCORE 328481.11
AT ITER 382 NEW BEST:: SOT 537756 SOS 380154 HAS SOPS 380154 HAS SOUS 327144 HAS SOUPS 327144 WITH SCORE 327524.154
AT ITER 385 NEW BEST:: SOT 537394 SOS 379792 HAS SOPS 379792 HAS SOUS 326895 HAS SOUPS 326895 WITH SCORE 327274.792
AT ITER 389 NEW BEST:: SOT 537394 SOS 379397 HAS SOPS 379397 HAS SOUS 326890 HAS SOUPS 326890 WITH SCORE 327269.397
AT ITER 391 NEW BEST:: SOT 537394 SOS 378469 HAS SOPS 378469 HAS SOUS 326834 HAS SOUPS 326834 WITH SCORE 327212.469
AT ITER 392 NEW BEST:: SOT 536887 SOS 378307 HAS SOPS 378307 HAS SOUS 326235 HAS SOUPS 326235 WITH SCORE 326613.307
AT ITER 399 NEW BEST:: SOT 536049 SOS 375877 HAS SOPS 375877 HAS SOUS 324902 HAS SOUPS 324902 WITH SCORE 325277.877
AT ITER 404 NEW BEST:: SOT 535839 SOS 375664 HAS SOPS 375664 HAS SOUS 324700 HAS SOUPS 324700 WITH SCORE 325075.664
AT ITER 406 NEW BEST:: SOT 535839 SOS 375606 HAS SOPS 375606 HAS SOUS 324698 HAS SOUPS 324698 WITH SCORE 325073.606
AT ITER 409 NEW BEST:: SOT 535469 SOS 374931 HAS SOPS 374931 HAS SOUS 324119 HAS SOUPS 324119 WITH SCORE 324493.931
AT ITER 411 NEW BEST:: SOT 535235 SOS 374931 HAS SOPS 374931 HAS SOUS 324098 HAS SOUPS 324098 WITH SCORE 324472.931
AT ITER 413 NEW BEST:: SOT 535235 SOS 375218 HAS SOPS 375218 HAS SOUS 324068 HAS SOUPS 324068 WITH SCORE 324443.218
AT ITER 415 NEW BEST:: SOT 534842 SOS 373553 HAS SOPS 373553 HAS SOUS 322923 HAS SOUPS 322923 WITH SCORE 323296.553
AT ITER 416 NEW BEST:: SOT 534405 SOS 373116 HAS SOPS 373116 HAS SOUS 322411 HAS SOUPS 322411 WITH SCORE 322784.116
AT ITER 419 NEW BEST:: SOT 534405 SOS 373071 HAS SOPS 373071 HAS SOUS 322410 HAS SOUPS 322410 WITH SCORE 322783.071
AT ITER 424 NEW BEST:: SOT 534405 SOS 371851 HAS SOPS 371851 HAS SOUS 322049 HAS SOUPS 322049 WITH SCORE 322420.851
AT ITER 427 NEW BEST:: SOT 534251 SOS 371697 HAS SOPS 371697 HAS SOUS 321895 HAS SOUPS 321895 WITH SCORE 322266.697
AT ITER 430 NEW BEST:: SOT 533923 SOS 371369 HAS SOPS 371369 HAS SOUS 321567 HAS SOUPS 321567 WITH SCORE 321938.369
AT ITER 436 NEW BEST:: SOT 533454 SOS 370900 HAS SOPS 370900 HAS SOUS 321098 HAS SOUPS 321098 WITH SCORE 321468.9
AT ITER 437 NEW BEST:: SOT 533404 SOS 370850 HAS SOPS 370850 HAS SOUS 321048 HAS SOUPS 321048 WITH SCORE 321418.85
AT ITER 444 NEW BEST:: SOT 533449 SOS 370715 HAS SOPS 370715 HAS SOUS 320913 HAS SOUPS 320913 WITH SCORE 321283.715
AT ITER 445 NEW BEST:: SOT 532872 SOS 370390 HAS SOPS 370390 HAS SOUS 320751 HAS SOUPS 320751 WITH SCORE 321121.39
AT ITER 446 NEW BEST:: SOT 532847 SOS 370365 HAS SOPS 370365 HAS SOUS 320726 HAS SOUPS 320726 WITH SCORE 321096.365
AT ITER 453 NEW BEST:: SOT 532847 SOS 369731 HAS SOPS 369731 HAS SOUS 320726 HAS SOUPS 320726 WITH SCORE 321095.731
AT ITER 456 NEW BEST:: SOT 532758 SOS 369214 HAS SOPS 369214 HAS SOUS 320209 HAS SOUPS 320209 WITH SCORE 320578.214
AT ITER 457 NEW BEST:: SOT 532758 SOS 369170 HAS SOPS 369170 HAS SOUS 320208 HAS SOUPS 320208 WITH SCORE 320577.17
AT ITER 461 NEW BEST:: SOT 532614 SOS 369066 HAS SOPS 369066 HAS SOUS 320097 HAS SOUPS 320097 WITH SCORE 320466.066
AT ITER 465 NEW BEST:: SOT 532218 SOS 368670 HAS SOPS 368670 HAS SOUS 319701 HAS SOUPS 319701 WITH SCORE 320069.67
AT ITER 467 NEW BEST:: SOT 532182 SOS 369094 HAS SOPS 369094 HAS SOUS 319685 HAS SOUPS 319685 WITH SCORE 320054.094
AT ITER 468 NEW BEST:: SOT 532031 SOS 368729 HAS SOPS 368729 HAS SOUS 319487 HAS SOUPS 319487 WITH SCORE 319855.729
AT ITER 472 NEW BEST:: SOT 532031 SOS 368226 HAS SOPS 368226 HAS SOUS 319484 HAS SOUPS 319484 WITH SCORE 319852.226
AT ITER 473 NEW BEST:: SOT 531840 SOS 368035 HAS SOPS 368035 HAS SOUS 319484 HAS SOUPS 319484 WITH SCORE 319852.035
AT ITER 474 NEW BEST:: SOT 531369 SOS 367564 HAS SOPS 367564 HAS SOUS 318804 HAS SOUPS 318804 WITH SCORE 319171.564
AT ITER 475 NEW BEST:: SOT 530650 SOS 367337 HAS SOPS 367337 HAS SOUS 318573 HAS SOUPS 318573 WITH SCORE 318940.337
AT ITER 476 NEW BEST:: SOT 530538 SOS 367282 HAS SOPS 367282 HAS SOUS 318518 HAS SOUPS 318518 WITH SCORE 318885.282
AT ITER 480 NEW BEST:: SOT 530381 SOS 367125 HAS SOPS 367125 HAS SOUS 318296 HAS SOUPS 318296 WITH SCORE 318663.125
AT ITER 481 NEW BEST:: SOT 530381 SOS 366865 HAS SOPS 366865 HAS SOUS 318243 HAS SOUPS 318243 WITH SCORE 318609.865
AT ITER 484 NEW BEST:: SOT 529903 SOS 366205 HAS SOPS 366205 HAS SOUS 317583 HAS SOUPS 317583 WITH SCORE 317949.205
AT ITER 491 NEW BEST:: SOT 529645 SOS 365947 HAS SOPS 365947 HAS SOUS 317325 HAS SOUPS 317325 WITH SCORE 317690.947
AT ITER 492 NEW BEST:: SOT 529390 SOS 365606 HAS SOPS 365606 HAS SOUS 316984 HAS SOUPS 316984 WITH SCORE 317349.606
AT ITER 498 NEW BEST:: SOT 529283 SOS 365499 HAS SOPS 365499 HAS SOUS 316877 HAS SOUPS 316877 WITH SCORE 317242.499
AT ITER 500 NEW BEST:: SOT 528391 SOS 363345 HAS SOPS 363345 HAS SOUS 315550 HAS SOUPS 315550 WITH SCORE 315913.345
AT ITER 502 NEW BEST:: SOT 526961 SOS 361939 HAS SOPS 361939 HAS SOUS 314170 HAS SOUPS 314170 WITH SCORE 314531.939
AT ITER 503 NEW BEST:: SOT 527077 SOS 361938 HAS SOPS 361938 HAS SOUS 314169 HAS SOUPS 314169 WITH SCORE 314530.938
AT ITER 505 NEW BEST:: SOT 526798 SOS 361566 HAS SOPS 361566 HAS SOUS 313797 HAS SOUPS 313797 WITH SCORE 314158.566
AT ITER 507 NEW BEST:: SOT 526626 SOS 361394 HAS SOPS 361394 HAS SOUS 313625 HAS SOUPS 313625 WITH SCORE 313986.394
AT ITER 509 NEW BEST:: SOT 526233 SOS 361001 HAS SOPS 361001 HAS SOUS 312980 HAS SOUPS 312980 WITH SCORE 313341.001
AT ITER 516 NEW BEST:: SOT 526488 SOS 360210 HAS SOPS 360210 HAS SOUS 312639 HAS SOUPS 312639 WITH SCORE 312999.21
AT ITER 517 NEW BEST:: SOT 526008 SOS 359730 HAS SOPS 359730 HAS SOUS 312159 HAS SOUPS 312159 WITH SCORE 312518.73
AT ITER 522 NEW BEST:: SOT 525390 SOS 358767 HAS SOPS 358767 HAS SOUS 311489 HAS SOUPS 311489 WITH SCORE 311847.767
AT ITER 525 NEW BEST:: SOT 525381 SOS 358712 HAS SOPS 358712 HAS SOUS 311388 HAS SOUPS 311388 WITH SCORE 311746.712
AT ITER 533 NEW BEST:: SOT 525381 SOS 358733 HAS SOPS 358733 HAS SOUS 311385 HAS SOUPS 311385 WITH SCORE 311743.733
AT ITER 535 NEW BEST:: SOT 524874 SOS 358435 HAS SOPS 358435 HAS SOUS 311087 HAS SOUPS 311087 WITH SCORE 311445.435
AT ITER 537 NEW BEST:: SOT 524864 SOS 358425 HAS SOPS 358425 HAS SOUS 311077 HAS SOUPS 311077 WITH SCORE 311435.425
AT ITER 538 NEW BEST:: SOT 524631 SOS 357505 HAS SOPS 357505 HAS SOUS 310289 HAS SOUPS 310289 WITH SCORE 310646.505
AT ITER 541 NEW BEST:: SOT 524631 SOS 357017 HAS SOPS 357017 HAS SOUS 310289 HAS SOUPS 310289 WITH SCORE 310646.017
AT ITER 542 NEW BEST:: SOT 524203 SOS 356032 HAS SOPS 356032 HAS SOUS 309304 HAS SOUPS 309304 WITH SCORE 309660.032
AT ITER 544 NEW BEST:: SOT 524203 SOS 355924 HAS SOPS 355924 HAS SOUS 309304 HAS SOUPS 309304 WITH SCORE 309659.924
AT ITER 547 NEW BEST:: SOT 524299 SOS 354662 HAS SOPS 354662 HAS SOUS 309214 HAS SOUPS 309214 WITH SCORE 309568.662
AT ITER 548 NEW BEST:: SOT 523877 SOS 353238 HAS SOPS 353238 HAS SOUS 308388 HAS SOUPS 308388 WITH SCORE 308741.238
AT ITER 549 NEW BEST:: SOT 523775 SOS 353134 HAS SOPS 353134 HAS SOUS 308284 HAS SOUPS 308284 WITH SCORE 308637.134
AT ITER 550 NEW BEST:: SOT 523773 SOS 353132 HAS SOPS 353132 HAS SOUS 308282 HAS SOUPS 308282 WITH SCORE 308635.132
AT ITER 554 NEW BEST:: SOT 523426 SOS 352954 HAS SOPS 352954 HAS SOUS 308104 HAS SOUPS 308104 WITH SCORE 308456.954
AT ITER 555 NEW BEST:: SOT 523426 SOS 352818 HAS SOPS 352818 HAS SOUS 307992 HAS SOUPS 307992 WITH SCORE 308344.818
AT ITER 556 NEW BEST:: SOT 523426 SOS 352818 HAS SOPS 352818 HAS SOUS 307858 HAS SOUPS 307858 WITH SCORE 308210.818
AT ITER 557 NEW BEST:: SOT 523037 SOS 352429 HAS SOPS 352429 HAS SOUS 307751 HAS SOUPS 307751 WITH SCORE 308103.429
AT ITER 558 NEW BEST:: SOT 523028 SOS 351531 HAS SOPS 351531 HAS SOUS 307636 HAS SOUPS 307636 WITH SCORE 307987.531
AT ITER 564 NEW BEST:: SOT 522943 SOS 351446 HAS SOPS 351446 HAS SOUS 307636 HAS SOUPS 307636 WITH SCORE 307987.446
AT ITER 565 NEW BEST:: SOT 522943 SOS 351443 HAS SOPS 351443 HAS SOUS 307633 HAS SOUPS 307633 WITH SCORE 307984.443
AT ITER 568 NEW BEST:: SOT 522943 SOS 350155 HAS SOPS 350155 HAS SOUS 307347 HAS SOUPS 307347 WITH SCORE 307697.155
AT ITER 571 NEW BEST:: SOT 522806 SOS 350018 HAS SOPS 350018 HAS SOUS 307210 HAS SOUPS 307210 WITH SCORE 307560.018
AT ITER 573 NEW BEST:: SOT 522861 SOS 349332 HAS SOPS 349332 HAS SOUS 306788 HAS SOUPS 306788 WITH SCORE 307137.332
AT ITER 574 NEW BEST:: SOT 522540 SOS 349092 HAS SOPS 349092 HAS SOUS 306548 HAS SOUPS 306548 WITH SCORE 306897.092
AT ITER 576 NEW BEST:: SOT 522540 SOS 348552 HAS SOPS 348552 HAS SOUS 306298 HAS SOUPS 306298 WITH SCORE 306646.552
AT ITER 578 NEW BEST:: SOT 522540 SOS 347931 HAS SOPS 347931 HAS SOUS 306145 HAS SOUPS 306145 WITH SCORE 306492.931
AT ITER 581 NEW BEST:: SOT 522278 SOS 347669 HAS SOPS 347669 HAS SOUS 305711 HAS SOUPS 305711 WITH SCORE 306058.669
AT ITER 588 NEW BEST:: SOT 522277 SOS 347476 HAS SOPS 347476 HAS SOUS 305543 HAS SOUPS 305543 WITH SCORE 305890.476
AT ITER 589 NEW BEST:: SOT 522183 SOS 347382 HAS SOPS 347382 HAS SOUS 305449 HAS SOUPS 305449 WITH SCORE 305796.382
AT ITER 593 NEW BEST:: SOT 522097 SOS 346711 HAS SOPS 346711 HAS SOUS 305275 HAS SOUPS 305275 WITH SCORE 305621.711
AT ITER 598 NEW BEST:: SOT 522085 SOS 346695 HAS SOPS 346695 HAS SOUS 305259 HAS SOUPS 305259 WITH SCORE 305605.695
AT ITER 600 NEW BEST:: SOT 521997 SOS 345274 HAS SOPS 345274 HAS SOUS 304601 HAS SOUPS 304601 WITH SCORE 304946.274
AT ITER 605 NEW BEST:: SOT 521996 SOS 345080 HAS SOPS 345080 HAS SOUS 304491 HAS SOUPS 304491 WITH SCORE 304836.08
AT ITER 606 NEW BEST:: SOT 521802 SOS 344692 HAS SOPS 344692 HAS SOUS 304101 HAS SOUPS 304101 WITH SCORE 304445.692
AT ITER 614 NEW BEST:: SOT 521960 SOS 344390 HAS SOPS 344390 HAS SOUS 303800 HAS SOUPS 303800 WITH SCORE 304144.39
AT ITER 615 NEW BEST:: SOT 521960 SOS 344263 HAS SOPS 344263 HAS SOUS 303704 HAS SOUPS 303704 WITH SCORE 304048.263
AT ITER 625 NEW BEST:: SOT 521880 SOS 344304 HAS SOPS 344304 HAS SOUS 303485 HAS SOUPS 303485 WITH SCORE 303829.304
AT ITER 627 NEW BEST:: SOT 521755 SOS 343892 HAS SOPS 343892 HAS SOUS 303073 HAS SOUPS 303073 WITH SCORE 303416.892
AT ITER 629 NEW BEST:: SOT 521058 SOS 341679 HAS SOPS 341679 HAS SOUS 301283 HAS SOUPS 301283 WITH SCORE 301624.679
AT ITER 631 NEW BEST:: SOT 520764 SOS 341382 HAS SOPS 341382 HAS SOUS 300986 HAS SOUPS 300986 WITH SCORE 301327.382
AT ITER 634 NEW BEST:: SOT 520649 SOS 341267 HAS SOPS 341267 HAS SOUS 300871 HAS SOUPS 300871 WITH SCORE 301212.267
AT ITER 635 NEW BEST:: SOT 520649 SOS 341036 HAS SOPS 341036 HAS SOUS 300755 HAS SOUPS 300755 WITH SCORE 301096.036
AT ITER 637 NEW BEST:: SOT 520648 SOS 341035 HAS SOPS 341035 HAS SOUS 300754 HAS SOUPS 300754 WITH SCORE 301095.035
AT ITER 644 NEW BEST:: SOT 520563 SOS 340950 HAS SOPS 340950 HAS SOUS 300669 HAS SOUPS 300669 WITH SCORE 301009.95
AT ITER 645 NEW BEST:: SOT 520268 SOS 340561 HAS SOPS 340561 HAS SOUS 300395 HAS SOUPS 300395 WITH SCORE 300735.561
AT ITER 646 NEW BEST:: SOT 519894 SOS 340220 HAS SOPS 340220 HAS SOUS 300088 HAS SOUPS 300088 WITH SCORE 300428.22
AT ITER 650 NEW BEST:: SOT 520362 SOS 339193 HAS SOPS 339193 HAS SOUS 299876 HAS SOUPS 299876 WITH SCORE 300215.193
AT ITER 654 NEW BEST:: SOT 519828 SOS 338192 HAS SOPS 338192 HAS SOUS 298788 HAS SOUPS 298788 WITH SCORE 299126.192
AT ITER 658 NEW BEST:: SOT 519647 SOS 338164 HAS SOPS 338164 HAS SOUS 298760 HAS SOUPS 298760 WITH SCORE 299098.164
AT ITER 660 NEW BEST:: SOT 519647 SOS 338147 HAS SOPS 338147 HAS SOUS 298760 HAS SOUPS 298760 WITH SCORE 299098.147
AT ITER 662 NEW BEST:: SOT 519047 SOS 338115 HAS SOPS 338115 HAS SOUS 298517 HAS SOUPS 298517 WITH SCORE 298855.115
AT ITER 664 NEW BEST:: SOT 518576 SOS 337395 HAS SOPS 337395 HAS SOUS 297990 HAS SOUPS 297990 WITH SCORE 298327.395
AT ITER 665 NEW BEST:: SOT 517811 SOS 336600 HAS SOPS 336600 HAS SOUS 297195 HAS SOUPS 297195 WITH SCORE 297531.6
AT ITER 667 NEW BEST:: SOT 516985 SOS 335774 HAS SOPS 335774 HAS SOUS 296433 HAS SOUPS 296433 WITH SCORE 296768.774
AT ITER 668 NEW BEST:: SOT 516947 SOS 335721 HAS SOPS 335721 HAS SOUS 296418 HAS SOUPS 296418 WITH SCORE 296753.721
AT ITER 673 NEW BEST:: SOT 516844 SOS 335618 HAS SOPS 335618 HAS SOUS 296203 HAS SOUPS 296203 WITH SCORE 296538.618
AT ITER 686 NEW BEST:: SOT 516676 SOS 335565 HAS SOPS 335565 HAS SOUS 296149 HAS SOUPS 296149 WITH SCORE 296484.565
AT ITER 687 NEW BEST:: SOT 516114 SOS 334923 HAS SOPS 334923 HAS SOUS 295117 HAS SOUPS 295117 WITH SCORE 295451.923
AT ITER 690 NEW BEST:: SOT 515869 SOS 334678 HAS SOPS 334678 HAS SOUS 295072 HAS SOUPS 295072 WITH SCORE 295406.678
AT ITER 692 NEW BEST:: SOT 515831 SOS 334640 HAS SOPS 334640 HAS SOUS 295034 HAS SOUPS 295034 WITH SCORE 295368.64
AT ITER 693 NEW BEST:: SOT 515539 SOS 334348 HAS SOPS 334348 HAS SOUS 294742 HAS SOUPS 294742 WITH SCORE 295076.348
AT ITER 697 NEW BEST:: SOT 515539 SOS 334348 HAS SOPS 334348 HAS SOUS 294732 HAS SOUPS 294732 WITH SCORE 295066.348
AT ITER 698 NEW BEST:: SOT 515510 SOS 334337 HAS SOPS 334337 HAS SOUS 294721 HAS SOUPS 294721 WITH SCORE 295055.337
AT ITER 708 NEW BEST:: SOT 515510 SOS 334492 HAS SOPS 334492 HAS SOUS 294594 HAS SOUPS 294594 WITH SCORE 294928.492
AT ITER 709 NEW BEST:: SOT 515339 SOS 333927 HAS SOPS 333927 HAS SOUS 294191 HAS SOUPS 294191 WITH SCORE 294524.927
AT ITER 711 NEW BEST:: SOT 515224 SOS 333812 HAS SOPS 333812 HAS SOUS 294038 HAS SOUPS 294038 WITH SCORE 294371.812
AT ITER 713 NEW BEST:: SOT 515002 SOS 333590 HAS SOPS 333590 HAS SOUS 293816 HAS SOUPS 293816 WITH SCORE 294149.59
AT ITER 716 NEW BEST:: SOT 514820 SOS 332299 HAS SOPS 332299 HAS SOUS 293215 HAS SOUPS 293215 WITH SCORE 293547.299
AT ITER 724 NEW BEST:: SOT 514277 SOS 331867 HAS SOPS 331867 HAS SOUS 292646 HAS SOUPS 292646 WITH SCORE 292977.867
AT ITER 725 NEW BEST:: SOT 514277 SOS 331919 HAS SOPS 331919 HAS SOUS 292500 HAS SOUPS 292500 WITH SCORE 292831.919
AT ITER 727 NEW BEST:: SOT 514125 SOS 331691 HAS SOPS 331691 HAS SOUS 292272 HAS SOUPS 292272 WITH SCORE 292603.691
AT ITER 728 NEW BEST:: SOT 514044 SOS 331608 HAS SOPS 331608 HAS SOUS 292189 HAS SOUPS 292189 WITH SCORE 292520.608
AT ITER 733 NEW BEST:: SOT 514044 SOS 331538 HAS SOPS 331538 HAS SOUS 292189 HAS SOUPS 292189 WITH SCORE 292520.538
AT ITER 736 NEW BEST:: SOT 513966 SOS 331421 HAS SOPS 331421 HAS SOUS 292072 HAS SOUPS 292072 WITH SCORE 292403.421
AT ITER 739 NEW BEST:: SOT 513765 SOS 331220 HAS SOPS 331220 HAS SOUS 291950 HAS SOUPS 291950 WITH SCORE 292281.22
AT ITER 743 NEW BEST:: SOT 513765 SOS 330137 HAS SOPS 330137 HAS SOUS 291255 HAS SOUPS 291255 WITH SCORE 291585.137
AT ITER 746 NEW BEST:: SOT 513044 SOS 329416 HAS SOPS 329416 HAS SOUS 290640 HAS SOUPS 290640 WITH SCORE 290969.416
AT ITER 749 NEW BEST:: SOT 513025 SOS 329340 HAS SOPS 329340 HAS SOUS 290583 HAS SOUPS 290583 WITH SCORE 290912.34
AT ITER 754 NEW BEST:: SOT 512708 SOS 329023 HAS SOPS 329023 HAS SOUS 290266 HAS SOUPS 290266 WITH SCORE 290595.023
AT ITER 756 NEW BEST:: SOT 512568 SOS 328883 HAS SOPS 328883 HAS SOUS 290126 HAS SOUPS 290126 WITH SCORE 290454.883
AT ITER 762 NEW BEST:: SOT 512173 SOS 328488 HAS SOPS 328488 HAS SOUS 289731 HAS SOUPS 289731 WITH SCORE 290059.488
AT ITER 765 NEW BEST:: SOT 511888 SOS 328044 HAS SOPS 328044 HAS SOUS 289287 HAS SOUPS 289287 WITH SCORE 289615.044
AT ITER 769 NEW BEST:: SOT 511888 SOS 326799 HAS SOPS 326799 HAS SOUS 288870 HAS SOUPS 288870 WITH SCORE 289196.799
AT ITER 771 NEW BEST:: SOT 511582 SOS 326443 HAS SOPS 326443 HAS SOUS 288514 HAS SOUPS 288514 WITH SCORE 288840.443
AT ITER 772 NEW BEST:: SOT 511596 SOS 326333 HAS SOPS 326333 HAS SOUS 288426 HAS SOUPS 288426 WITH SCORE 288752.333
AT ITER 773 NEW BEST:: SOT 511596 SOS 326025 HAS SOPS 326025 HAS SOUS 288404 HAS SOUPS 288404 WITH SCORE 288730.025
AT ITER 775 NEW BEST:: SOT 511596 SOS 326018 HAS SOPS 326018 HAS SOUS 288404 HAS SOUPS 288404 WITH SCORE 288730.018
AT ITER 788 NEW BEST:: SOT 511630 SOS 325876 HAS SOPS 325876 HAS SOUS 288262 HAS SOUPS 288262 WITH SCORE 288587.876
AT ITER 790 NEW BEST:: SOT 511630 SOS 325808 HAS SOPS 325808 HAS SOUS 288262 HAS SOUPS 288262 WITH SCORE 288587.808
AT ITER 792 NEW BEST:: SOT 511528 SOS 325401 HAS SOPS 325401 HAS SOUS 287753 HAS SOUPS 287753 WITH SCORE 288078.401
AT ITER 797 NEW BEST:: SOT 511400 SOS 325397 HAS SOPS 325397 HAS SOUS 287749 HAS SOUPS 287749 WITH SCORE 288074.397
AT ITER 798 NEW BEST:: SOT 511120 SOS 324801 HAS SOPS 324801 HAS SOUS 287318 HAS SOUPS 287318 WITH SCORE 287642.801
AT ITER 803 NEW BEST:: SOT 511009 SOS 324690 HAS SOPS 324690 HAS SOUS 287207 HAS SOUPS 287207 WITH SCORE 287531.69
AT ITER 810 NEW BEST:: SOT 510876 SOS 324557 HAS SOPS 324557 HAS SOUS 287072 HAS SOUPS 287072 WITH SCORE 287396.557
AT ITER 812 NEW BEST:: SOT 511209 SOS 324535 HAS SOPS 324535 HAS SOUS 287050 HAS SOUPS 287050 WITH SCORE 287374.535
AT ITER 813 NEW BEST:: SOT 511251 SOS 324240 HAS SOPS 324240 HAS SOUS 286927 HAS SOUPS 286927 WITH SCORE 287251.24
AT ITER 816 NEW BEST:: SOT 511205 SOS 324063 HAS SOPS 324063 HAS SOUS 286794 HAS SOUPS 286794 WITH SCORE 287118.063
AT ITER 823 NEW BEST:: SOT 511598 SOS 324035 HAS SOPS 324035 HAS SOUS 286728 HAS SOUPS 286728 WITH SCORE 287052.035
AT ITER 825 NEW BEST:: SOT 511054 SOS 322602 HAS SOPS 322602 HAS SOUS 285783 HAS SOUPS 285783 WITH SCORE 286105.602
AT ITER 826 NEW BEST:: SOT 510341 SOS 321943 HAS SOPS 321943 HAS SOUS 285106 HAS SOUPS 285106 WITH SCORE 285427.943
AT ITER 827 NEW BEST:: SOT 510473 SOS 321853 HAS SOPS 321853 HAS SOUS 285105 HAS SOUPS 285105 WITH SCORE 285426.853
AT ITER 828 NEW BEST:: SOT 510467 SOS 321847 HAS SOPS 321847 HAS SOUS 285099 HAS SOUPS 285099 WITH SCORE 285420.847
AT ITER 833 NEW BEST:: SOT 510353 SOS 321691 HAS SOPS 321691 HAS SOUS 284943 HAS SOUPS 284943 WITH SCORE 285264.691
AT ITER 834 NEW BEST:: SOT 509795 SOS 321019 HAS SOPS 321019 HAS SOUS 284271 HAS SOUPS 284271 WITH SCORE 284592.019
AT ITER 836 NEW BEST:: SOT 509795 SOS 320646 HAS SOPS 320646 HAS SOUS 284268 HAS SOUPS 284268 WITH SCORE 284588.646
AT ITER 838 NEW BEST:: SOT 509688 SOS 320550 HAS SOPS 320550 HAS SOUS 284172 HAS SOUPS 284172 WITH SCORE 284492.55
AT ITER 839 NEW BEST:: SOT 509688 SOS 320550 HAS SOPS 320550 HAS SOUS 284171 HAS SOUPS 284171 WITH SCORE 284491.55
AT ITER 842 NEW BEST:: SOT 509688 SOS 319698 HAS SOPS 319698 HAS SOUS 283958 HAS SOUPS 283958 WITH SCORE 284277.698
AT ITER 844 NEW BEST:: SOT 509356 SOS 319366 HAS SOPS 319366 HAS SOUS 283378 HAS SOUPS 283378 WITH SCORE 283697.366
AT ITER 846 NEW BEST:: SOT 508890 SOS 317276 HAS SOPS 317276 HAS SOUS 282289 HAS SOUPS 282289 WITH SCORE 282606.276
AT ITER 850 NEW BEST:: SOT 508890 SOS 317275 HAS SOPS 317275 HAS SOUS 282008 HAS SOUPS 282008 WITH SCORE 282325.275
AT ITER 855 NEW BEST:: SOT 508890 SOS 317037 HAS SOPS 317037 HAS SOUS 282008 HAS SOUPS 282008 WITH SCORE 282325.037
AT ITER 860 NEW BEST:: SOT 508485 SOS 315406 HAS SOPS 315406 HAS SOUS 280901 HAS SOUPS 280901 WITH SCORE 281216.406
AT ITER 865 NEW BEST:: SOT 508337 SOS 315258 HAS SOPS 315258 HAS SOUS 280753 HAS SOUPS 280753 WITH SCORE 281068.258
AT ITER 867 NEW BEST:: SOT 508255 SOS 315176 HAS SOPS 315176 HAS SOUS 280671 HAS SOUPS 280671 WITH SCORE 280986.176
AT ITER 871 NEW BEST:: SOT 507953 SOS 314722 HAS SOPS 314722 HAS SOUS 280541 HAS SOUPS 280541 WITH SCORE 280855.722
AT ITER 872 NEW BEST:: SOT 507806 SOS 314575 HAS SOPS 314575 HAS SOUS 280392 HAS SOUPS 280392 WITH SCORE 280706.575
AT ITER 875 NEW BEST:: SOT 507426 SOS 314005 HAS SOPS 314005 HAS SOUS 279822 HAS SOUPS 279822 WITH SCORE 280136.005
AT ITER 880 NEW BEST:: SOT 507426 SOS 313938 HAS SOPS 313938 HAS SOUS 279755 HAS SOUPS 279755 WITH SCORE 280068.938
AT ITER 882 NEW BEST:: SOT 507426 SOS 313887 HAS SOPS 313887 HAS SOUS 279704 HAS SOUPS 279704 WITH SCORE 280017.887
AT ITER 889 NEW BEST:: SOT 507375 SOS 313836 HAS SOPS 313836 HAS SOUS 279602 HAS SOUPS 279602 WITH SCORE 279915.836
AT ITER 894 NEW BEST:: SOT 507298 SOS 313759 HAS SOPS 313759 HAS SOUS 279525 HAS SOUPS 279525 WITH SCORE 279838.759
AT ITER 898 NEW BEST:: SOT 507065 SOS 313524 HAS SOPS 313524 HAS SOUS 279289 HAS SOUPS 279289 WITH SCORE 279602.524
AT ITER 906 NEW BEST:: SOT 506691 SOS 313392 HAS SOPS 313392 HAS SOUS 279157 HAS SOUPS 279157 WITH SCORE 279470.392
AT ITER 910 NEW BEST:: SOT 506525 SOS 312144 HAS SOPS 312144 HAS SOUS 278841 HAS SOUPS 278841 WITH SCORE 279153.144
AT ITER 911 NEW BEST:: SOT 506523 SOS 312142 HAS SOPS 312142 HAS SOUS 278839 HAS SOUPS 278839 WITH SCORE 279151.142
AT ITER 912 NEW BEST:: SOT 506528 SOS 311639 HAS SOPS 311639 HAS SOUS 278494 HAS SOUPS 278494 WITH SCORE 278805.639
AT ITER 918 NEW BEST:: SOT 506527 SOS 311588 HAS SOPS 311588 HAS SOUS 278466 HAS SOUPS 278466 WITH SCORE 278777.588
AT ITER 920 NEW BEST:: SOT 506380 SOS 311441 HAS SOPS 311441 HAS SOUS 278341 HAS SOUPS 278341 WITH SCORE 278652.441
AT ITER 923 NEW BEST:: SOT 505943 SOS 311002 HAS SOPS 311002 HAS SOUS 277902 HAS SOUPS 277902 WITH SCORE 278213.002
AT ITER 924 NEW BEST:: SOT 505943 SOS 310981 HAS SOPS 310981 HAS SOUS 277895 HAS SOUPS 277895 WITH SCORE 278205.981
AT ITER 926 NEW BEST:: SOT 505062 SOS 309770 HAS SOPS 309770 HAS SOUS 277160 HAS SOUPS 277160 WITH SCORE 277469.77
AT ITER 928 NEW BEST:: SOT 505054 SOS 309758 HAS SOPS 309758 HAS SOUS 277148 HAS SOUPS 277148 WITH SCORE 277457.758
AT ITER 930 NEW BEST:: SOT 505009 SOS 309713 HAS SOPS 309713 HAS SOUS 277058 HAS SOUPS 277058 WITH SCORE 277367.713
AT ITER 936 NEW BEST:: SOT 504916 SOS 309530 HAS SOPS 309530 HAS SOUS 276779 HAS SOUPS 276779 WITH SCORE 277088.53
AT ITER 937 NEW BEST:: SOT 504664 SOS 309278 HAS SOPS 309278 HAS SOUS 276527 HAS SOUPS 276527 WITH SCORE 276836.278
AT ITER 938 NEW BEST:: SOT 504592 SOS 309195 HAS SOPS 309195 HAS SOUS 276444 HAS SOUPS 276444 WITH SCORE 276753.195
AT ITER 945 NEW BEST:: SOT 504592 SOS 309166 HAS SOPS 309166 HAS SOUS 276443 HAS SOUPS 276443 WITH SCORE 276752.166
AT ITER 947 NEW BEST:: SOT 504292 SOS 308750 HAS SOPS 308750 HAS SOUS 276177 HAS SOUPS 276177 WITH SCORE 276485.75
AT ITER 949 NEW BEST:: SOT 503470 SOS 307928 HAS SOPS 307928 HAS SOUS 275909 HAS SOUPS 275909 WITH SCORE 276216.928
AT ITER 950 NEW BEST:: SOT 503469 SOS 307925 HAS SOPS 307925 HAS SOUS 275905 HAS SOUPS 275905 WITH SCORE 276212.925
AT ITER 951 NEW BEST:: SOT 503469 SOS 308036 HAS SOPS 308036 HAS SOUS 275826 HAS SOUPS 275826 WITH SCORE 276134.036
AT ITER 954 NEW BEST:: SOT 503513 SOS 308230 HAS SOPS 308230 HAS SOUS 275815 HAS SOUPS 275815 WITH SCORE 276123.23
AT ITER 962 NEW BEST:: SOT 503743 SOS 308150 HAS SOPS 308150 HAS SOUS 275735 HAS SOUPS 275735 WITH SCORE 276043.15
AT ITER 966 NEW BEST:: SOT 503094 SOS 307130 HAS SOPS 307130 HAS SOUS 274715 HAS SOUPS 274715 WITH SCORE 275022.13
AT ITER 975 NEW BEST:: SOT 502822 SOS 306856 HAS SOPS 306856 HAS SOUS 274516 HAS SOUPS 274516 WITH SCORE 274822.856
AT ITER 978 NEW BEST:: SOT 502822 SOS 306821 HAS SOPS 306821 HAS SOUS 274481 HAS SOUPS 274481 WITH SCORE 274787.821
AT ITER 985 NEW BEST:: SOT 502636 SOS 306224 HAS SOPS 306224 HAS SOUS 273884 HAS SOUPS 273884 WITH SCORE 274190.224
AT ITER 989 NEW BEST:: SOT 502661 SOS 305813 HAS SOPS 305813 HAS SOUS 273702 HAS SOUPS 273702 WITH SCORE 274007.813
AT ITER 995 NEW BEST:: SOT 502547 SOS 305699 HAS SOPS 305699 HAS SOUS 273588 HAS SOUPS 273588 WITH SCORE 273893.699
AT ITER 996 NEW BEST:: SOT 502525 SOS 305631 HAS SOPS 305631 HAS SOUS 273520 HAS SOUPS 273520 WITH SCORE 273825.631
AT ITER 997 NEW BEST:: SOT 502295 SOS 305401 HAS SOPS 305401 HAS SOUS 273389 HAS SOUPS 273389 WITH SCORE 273694.401
AT ITER 999 NEW BEST:: SOT 501995 SOS 304274 HAS SOPS 304274 HAS SOUS 272262 HAS SOUPS 272262 WITH SCORE 272566.274
AT ITER 1000 NEW BEST:: SOT 501995 SOS 303891 HAS SOPS 303891 HAS SOUS 272195 HAS SOUPS 272195 WITH SCORE 272498.891
AT ITER 1001 NEW BEST:: SOT 501852 SOS 303555 HAS SOPS 303555 HAS SOUS 271909 HAS SOUPS 271909 WITH SCORE 272212.555
AT ITER 1002 NEW BEST:: SOT 501404 SOS 303043 HAS SOPS 303043 HAS SOUS 271277 HAS SOUPS 271277 WITH SCORE 271580.043
AT ITER 1003 NEW BEST:: SOT 501404 SOS 303043 HAS SOPS 303043 HAS SOUS 271275 HAS SOUPS 271275 WITH SCORE 271578.043
AT ITER 1010 NEW BEST:: SOT 501367 SOS 303032 HAS SOPS 303032 HAS SOUS 271264 HAS SOUPS 271264 WITH SCORE 271567.032
AT ITER 1015 NEW BEST:: SOT 501154 SOS 302600 HAS SOPS 302600 HAS SOUS 270790 HAS SOUPS 270790 WITH SCORE 271092.6
AT ITER 1016 NEW BEST:: SOT 500951 SOS 302397 HAS SOPS 302397 HAS SOUS 270587 HAS SOUPS 270587 WITH SCORE 270889.397
AT ITER 1023 NEW BEST:: SOT 500460 SOS 301761 HAS SOPS 301761 HAS SOUS 269951 HAS SOUPS 269951 WITH SCORE 270252.761
AT ITER 1029 NEW BEST:: SOT 500349 SOS 301539 HAS SOPS 301539 HAS SOUS 269729 HAS SOUPS 269729 WITH SCORE 270030.539
AT ITER 1033 NEW BEST:: SOT 500329 SOS 301519 HAS SOPS 301519 HAS SOUS 269709 HAS SOUPS 269709 WITH SCORE 270010.519
AT ITER 1044 NEW BEST:: SOT 500198 SOS 301083 HAS SOPS 301083 HAS SOUS 269472 HAS SOUPS 269472 WITH SCORE 269773.083
AT ITER 1047 NEW BEST:: SOT 499970 SOS 300855 HAS SOPS 300855 HAS SOUS 269145 HAS SOUPS 269145 WITH SCORE 269445.855
AT ITER 1053 NEW BEST:: SOT 499790 SOS 301069 HAS SOPS 301069 HAS SOUS 269046 HAS SOUPS 269046 WITH SCORE 269347.069
AT ITER 1062 NEW BEST:: SOT 499865 SOS 300460 HAS SOPS 300460 HAS SOUS 268803 HAS SOUPS 268803 WITH SCORE 269103.46
AT ITER 1068 NEW BEST:: SOT 499864 SOS 300331 HAS SOPS 300331 HAS SOUS 268802 HAS SOUPS 268802 WITH SCORE 269102.331
AT ITER 1073 NEW BEST:: SOT 499511 SOS 299899 HAS SOPS 299899 HAS SOUS 268370 HAS SOUPS 268370 WITH SCORE 268669.899
AT ITER 1074 NEW BEST:: SOT 499511 SOS 299768 HAS SOPS 299768 HAS SOUS 268368 HAS SOUPS 268368 WITH SCORE 268667.768
AT ITER 1080 NEW BEST:: SOT 499537 SOS 299471 HAS SOPS 299471 HAS SOUS 268260 HAS SOUPS 268260 WITH SCORE 268559.471
AT ITER 1089 NEW BEST:: SOT 499424 SOS 299357 HAS SOPS 299357 HAS SOUS 268259 HAS SOUPS 268259 WITH SCORE 268558.357
AT ITER 1100 NEW BEST:: SOT 499547 SOS 298446 HAS SOPS 298446 HAS SOUS 268230 HAS SOUPS 268230 WITH SCORE 268528.446
AT ITER 1107 NEW BEST:: SOT 499547 SOS 297211 HAS SOPS 297211 HAS SOUS 267830 HAS SOUPS 267830 WITH SCORE 268127.211
AT ITER 1109 NEW BEST:: SOT 499534 SOS 297155 HAS SOPS 297155 HAS SOUS 267774 HAS SOUPS 267774 WITH SCORE 268071.155
AT ITER 1110 NEW BEST:: SOT 499534 SOS 297105 HAS SOPS 297105 HAS SOUS 267724 HAS SOUPS 267724 WITH SCORE 268021.105
AT ITER 1114 NEW BEST:: SOT 499316 SOS 296669 HAS SOPS 296669 HAS SOUS 267288 HAS SOUPS 267288 WITH SCORE 267584.669
AT ITER 1115 NEW BEST:: SOT 498693 SOS 296874 HAS SOPS 296874 HAS SOUS 267103 HAS SOUPS 267103 WITH SCORE 267399.874
AT ITER 1123 NEW BEST:: SOT 498693 SOS 296486 HAS SOPS 296486 HAS SOUS 267103 HAS SOUPS 267103 WITH SCORE 267399.486
AT ITER 1127 NEW BEST:: SOT 497886 SOS 295152 HAS SOPS 295152 HAS SOUS 265982 HAS SOUPS 265982 WITH SCORE 266277.152
AT ITER 1131 NEW BEST:: SOT 497717 SOS 294807 HAS SOPS 294807 HAS SOUS 265796 HAS SOUPS 265796 WITH SCORE 266090.807
AT ITER 1146 NEW BEST:: SOT 497676 SOS 294766 HAS SOPS 294766 HAS SOUS 265748 HAS SOUPS 265748 WITH SCORE 266042.766
AT ITER 1150 NEW BEST:: SOT 497648 SOS 294673 HAS SOPS 294673 HAS SOUS 265634 HAS SOUPS 265634 WITH SCORE 265928.673
AT ITER 1151 NEW BEST:: SOT 497632 SOS 294649 HAS SOPS 294649 HAS SOUS 265610 HAS SOUPS 265610 WITH SCORE 265904.649
AT ITER 1152 NEW BEST:: SOT 497585 SOS 294602 HAS SOPS 294602 HAS SOUS 265590 HAS SOUPS 265590 WITH SCORE 265884.602
AT ITER 1153 NEW BEST:: SOT 497648 SOS 294380 HAS SOPS 294380 HAS SOUS 265365 HAS SOUPS 265365 WITH SCORE 265659.38
AT ITER 1158 NEW BEST:: SOT 497648 SOS 294215 HAS SOPS 294215 HAS SOUS 265202 HAS SOUPS 265202 WITH SCORE 265496.215
AT ITER 1159 NEW BEST:: SOT 497647 SOS 294009 HAS SOPS 294009 HAS SOUS 265198 HAS SOUPS 265198 WITH SCORE 265492.009
AT ITER 1165 NEW BEST:: SOT 497647 SOS 294008 HAS SOPS 294008 HAS SOUS 265197 HAS SOUPS 265197 WITH SCORE 265491.008
AT ITER 1167 NEW BEST:: SOT 497487 SOS 292883 HAS SOPS 292883 HAS SOUS 264828 HAS SOUPS 264828 WITH SCORE 265120.883
AT ITER 1176 NEW BEST:: SOT 497487 SOS 292813 HAS SOPS 292813 HAS SOUS 264824 HAS SOUPS 264824 WITH SCORE 265116.813
AT ITER 1188 NEW BEST:: SOT 497472 SOS 292798 HAS SOPS 292798 HAS SOUS 264809 HAS SOUPS 264809 WITH SCORE 265101.798
AT ITER 1190 NEW BEST:: SOT 497403 SOS 292757 HAS SOPS 292757 HAS SOUS 264768 HAS SOUPS 264768 WITH SCORE 265060.757
AT ITER 1196 NEW BEST:: SOT 497288 SOS 292642 HAS SOPS 292642 HAS SOUS 264653 HAS SOUPS 264653 WITH SCORE 264945.642
AT ITER 1209 NEW BEST:: SOT 497275 SOS 292591 HAS SOPS 292591 HAS SOUS 264627 HAS SOUPS 264627 WITH SCORE 264919.591
AT ITER 1210 NEW BEST:: SOT 497169 SOS 292017 HAS SOPS 292017 HAS SOUS 264284 HAS SOUPS 264284 WITH SCORE 264576.017
AT ITER 1214 NEW BEST:: SOT 497055 SOS 291903 HAS SOPS 291903 HAS SOUS 264284 HAS SOUPS 264284 WITH SCORE 264575.903
AT ITER 1215 NEW BEST:: SOT 497009 SOS 291419 HAS SOPS 291419 HAS SOUS 263803 HAS SOUPS 263803 WITH SCORE 264094.419
AT ITER 1219 NEW BEST:: SOT 496220 SOS 290508 HAS SOPS 290508 HAS SOUS 262771 HAS SOUPS 262771 WITH SCORE 263061.508
AT ITER 1221 NEW BEST:: SOT 496514 SOS 290106 HAS SOPS 290106 HAS SOUS 262636 HAS SOUPS 262636 WITH SCORE 262926.106
AT ITER 1226 NEW BEST:: SOT 496381 SOS 289745 HAS SOPS 289745 HAS SOUS 262377 HAS SOUPS 262377 WITH SCORE 262666.745
AT ITER 1235 NEW BEST:: SOT 496386 SOS 289563 HAS SOPS 289563 HAS SOUS 262309 HAS SOUPS 262309 WITH SCORE 262598.563
AT ITER 1236 NEW BEST:: SOT 496295 SOS 289950 HAS SOPS 289950 HAS SOUS 262190 HAS SOUPS 262190 WITH SCORE 262479.95
AT ITER 1237 NEW BEST:: SOT 496250 SOS 289905 HAS SOPS 289905 HAS SOUS 262160 HAS SOUPS 262160 WITH SCORE 262449.905
AT ITER 1242 NEW BEST:: SOT 496118 SOS 289773 HAS SOPS 289773 HAS SOUS 262028 HAS SOUPS 262028 WITH SCORE 262317.773
AT ITER 1248 NEW BEST:: SOT 496118 SOS 289599 HAS SOPS 289599 HAS SOUS 262017 HAS SOUPS 262017 WITH SCORE 262306.599
AT ITER 1256 NEW BEST:: SOT 495884 SOS 288873 HAS SOPS 288873 HAS SOUS 261413 HAS SOUPS 261413 WITH SCORE 261701.873
AT ITER 1260 NEW BEST:: SOT 495884 SOS 288823 HAS SOPS 288823 HAS SOUS 261363 HAS SOUPS 261363 WITH SCORE 261651.823
AT ITER 1262 NEW BEST:: SOT 495813 SOS 289176 HAS SOPS 289176 HAS SOUS 261307 HAS SOUPS 261307 WITH SCORE 261596.176
AT ITER 1268 NEW BEST:: SOT 495711 SOS 289176 HAS SOPS 289176 HAS SOUS 261306 HAS SOUPS 261306 WITH SCORE 261595.176
AT ITER 1271 NEW BEST:: SOT 495377 SOS 288638 HAS SOPS 288638 HAS SOUS 260557 HAS SOUPS 260557 WITH SCORE 260845.638
AT ITER 1272 NEW BEST:: SOT 495205 SOS 288179 HAS SOPS 288179 HAS SOUS 260189 HAS SOUPS 260189 WITH SCORE 260477.179
AT ITER 1277 NEW BEST:: SOT 495205 SOS 287693 HAS SOPS 287693 HAS SOUS 259737 HAS SOUPS 259737 WITH SCORE 260024.693
AT ITER 1279 NEW BEST:: SOT 495020 SOS 287441 HAS SOPS 287441 HAS SOUS 259720 HAS SOUPS 259720 WITH SCORE 260007.441
AT ITER 1281 NEW BEST:: SOT 494604 SOS 286889 HAS SOPS 286889 HAS SOUS 259168 HAS SOUPS 259168 WITH SCORE 259454.889
AT ITER 1288 NEW BEST:: SOT 494446 SOS 286731 HAS SOPS 286731 HAS SOUS 259010 HAS SOUPS 259010 WITH SCORE 259296.731
AT ITER 1289 NEW BEST:: SOT 494259 SOS 286451 HAS SOPS 286451 HAS SOUS 258730 HAS SOUPS 258730 WITH SCORE 259016.451
AT ITER 1293 NEW BEST:: SOT 494154 SOS 286346 HAS SOPS 286346 HAS SOUS 258625 HAS SOUPS 258625 WITH SCORE 258911.346
AT ITER 1294 NEW BEST:: SOT 494154 SOS 286244 HAS SOPS 286244 HAS SOUS 258574 HAS SOUPS 258574 WITH SCORE 258860.244
AT ITER 1295 NEW BEST:: SOT 493997 SOS 286087 HAS SOPS 286087 HAS SOUS 258417 HAS SOUPS 258417 WITH SCORE 258703.087
AT ITER 1303 NEW BEST:: SOT 493997 SOS 285953 HAS SOPS 285953 HAS SOUS 258283 HAS SOUPS 258283 WITH SCORE 258568.953
AT ITER 1304 NEW BEST:: SOT 493904 SOS 285860 HAS SOPS 285860 HAS SOUS 258190 HAS SOUPS 258190 WITH SCORE 258475.86
AT ITER 1309 NEW BEST:: SOT 493681 SOS 285393 HAS SOPS 285393 HAS SOUS 257723 HAS SOUPS 257723 WITH SCORE 258008.393
AT ITER 1315 NEW BEST:: SOT 493556 SOS 285122 HAS SOPS 285122 HAS SOUS 257452 HAS SOUPS 257452 WITH SCORE 257737.122
AT ITER 1316 NEW BEST:: SOT 493528 SOS 285094 HAS SOPS 285094 HAS SOUS 257424 HAS SOUPS 257424 WITH SCORE 257709.094
AT ITER 1319 NEW BEST:: SOT 493056 SOS 284450 HAS SOPS 284450 HAS SOUS 256772 HAS SOUPS 256772 WITH SCORE 257056.45
AT ITER 1323 NEW BEST:: SOT 492702 SOS 284250 HAS SOPS 284250 HAS SOUS 256572 HAS SOUPS 256572 WITH SCORE 256856.25
AT ITER 1330 NEW BEST:: SOT 492576 SOS 283998 HAS SOPS 283998 HAS SOUS 256237 HAS SOUPS 256237 WITH SCORE 256520.998
AT ITER 1337 NEW BEST:: SOT 492386 SOS 283564 HAS SOPS 283564 HAS SOUS 255752 HAS SOUPS 255752 WITH SCORE 256035.564
AT ITER 1341 NEW BEST:: SOT 492188 SOS 282414 HAS SOPS 282414 HAS SOUS 255162 HAS SOUPS 255162 WITH SCORE 255444.414
AT ITER 1346 NEW BEST:: SOT 492036 SOS 282023 HAS SOPS 282023 HAS SOUS 254798 HAS SOUPS 254798 WITH SCORE 255080.023
AT ITER 1347 NEW BEST:: SOT 492050 SOS 281997 HAS SOPS 281997 HAS SOUS 254772 HAS SOUPS 254772 WITH SCORE 255053.997
AT ITER 1348 NEW BEST:: SOT 492032 SOS 281977 HAS SOPS 281977 HAS SOUS 254752 HAS SOUPS 254752 WITH SCORE 255033.977
AT ITER 1349 NEW BEST:: SOT 492032 SOS 281973 HAS SOPS 281973 HAS SOUS 254748 HAS SOUPS 254748 WITH SCORE 255029.973
AT ITER 1354 NEW BEST:: SOT 492140 SOS 281850 HAS SOPS 281850 HAS SOUS 254716 HAS SOUPS 254716 WITH SCORE 254997.85
AT ITER 1355 NEW BEST:: SOT 491843 SOS 281727 HAS SOPS 281727 HAS SOUS 254593 HAS SOUPS 254593 WITH SCORE 254874.727
AT ITER 1357 NEW BEST:: SOT 491808 SOS 281692 HAS SOPS 281692 HAS SOUS 254558 HAS SOUPS 254558 WITH SCORE 254839.692
AT ITER 1360 NEW BEST:: SOT 491808 SOS 281527 HAS SOPS 281527 HAS SOUS 254558 HAS SOUPS 254558 WITH SCORE 254839.527
AT ITER 1365 NEW BEST:: SOT 491798 SOS 281442 HAS SOPS 281442 HAS SOUS 254497 HAS SOUPS 254497 WITH SCORE 254778.442
AT ITER 1371 NEW BEST:: SOT 491798 SOS 281441 HAS SOPS 281441 HAS SOUS 254496 HAS SOUPS 254496 WITH SCORE 254777.441
AT ITER 1378 NEW BEST:: SOT 491693 SOS 281301 HAS SOPS 281301 HAS SOUS 254356 HAS SOUPS 254356 WITH SCORE 254637.301
AT ITER 1382 NEW BEST:: SOT 491544 SOS 281128 HAS SOPS 281128 HAS SOUS 254096 HAS SOUPS 254096 WITH SCORE 254377.128
AT ITER 1386 NEW BEST:: SOT 490985 SOS 280400 HAS SOPS 280400 HAS SOUS 253523 HAS SOUPS 253523 WITH SCORE 253803.4
AT ITER 1388 NEW BEST:: SOT 491048 SOS 279870 HAS SOPS 279870 HAS SOUS 253487 HAS SOUPS 253487 WITH SCORE 253766.87
AT ITER 1402 NEW BEST:: SOT 491048 SOS 279591 HAS SOPS 279591 HAS SOUS 253438 HAS SOUPS 253438 WITH SCORE 253717.591
AT ITER 1411 NEW BEST:: SOT 491004 SOS 279503 HAS SOPS 279503 HAS SOUS 253350 HAS SOUPS 253350 WITH SCORE 253629.503
AT ITER 1412 NEW BEST:: SOT 491001 SOS 279500 HAS SOPS 279500 HAS SOUS 253347 HAS SOUPS 253347 WITH SCORE 253626.5
AT ITER 1418 NEW BEST:: SOT 489996 SOS 276680 HAS SOPS 276680 HAS SOUS 251760 HAS SOUPS 251760 WITH SCORE 252036.68
AT ITER 1419 NEW BEST:: SOT 489962 SOS 276654 HAS SOPS 276654 HAS SOUS 251734 HAS SOUPS 251734 WITH SCORE 252010.654
AT ITER 1426 NEW BEST:: SOT 489962 SOS 276243 HAS SOPS 276243 HAS SOUS 251362 HAS SOUPS 251362 WITH SCORE 251638.243
AT ITER 1430 NEW BEST:: SOT 489796 SOS 275885 HAS SOPS 275885 HAS SOUS 250890 HAS SOUPS 250890 WITH SCORE 251165.885
AT ITER 1432 NEW BEST:: SOT 490124 SOS 275832 HAS SOPS 275832 HAS SOUS 250837 HAS SOUPS 250837 WITH SCORE 251112.832
AT ITER 1438 NEW BEST:: SOT 490124 SOS 275807 HAS SOPS 275807 HAS SOUS 250812 HAS SOUPS 250812 WITH SCORE 251087.807
AT ITER 1440 NEW BEST:: SOT 489977 SOS 275660 HAS SOPS 275660 HAS SOUS 250665 HAS SOUPS 250665 WITH SCORE 250940.66
AT ITER 1446 NEW BEST:: SOT 489926 SOS 275615 HAS SOPS 275615 HAS SOUS 250619 HAS SOUPS 250619 WITH SCORE 250894.615
AT ITER 1459 NEW BEST:: SOT 489918 SOS 275607 HAS SOPS 275607 HAS SOUS 250611 HAS SOUPS 250611 WITH SCORE 250886.607
AT ITER 1461 NEW BEST:: SOT 489797 SOS 275486 HAS SOPS 275486 HAS SOUS 250592 HAS SOUPS 250592 WITH SCORE 250867.486
AT ITER 1462 NEW BEST:: SOT 489647 SOS 275464 HAS SOPS 275464 HAS SOUS 250365 HAS SOUPS 250365 WITH SCORE 250640.464
AT ITER 1464 NEW BEST:: SOT 489647 SOS 274936 HAS SOPS 274936 HAS SOUS 250365 HAS SOUPS 250365 WITH SCORE 250639.936
AT ITER 1473 NEW BEST:: SOT 489592 SOS 274775 HAS SOPS 274775 HAS SOUS 250259 HAS SOUPS 250259 WITH SCORE 250533.775
AT ITER 1476 NEW BEST:: SOT 489433 SOS 274613 HAS SOPS 274613 HAS SOUS 250097 HAS SOUPS 250097 WITH SCORE 250371.613
AT ITER 1481 NEW BEST:: SOT 489449 SOS 273566 HAS SOPS 273566 HAS SOUS 249724 HAS SOUPS 249724 WITH SCORE 249997.566
AT ITER 1488 NEW BEST:: SOT 489347 SOS 273362 HAS SOPS 273362 HAS SOUS 249520 HAS SOUPS 249520 WITH SCORE 249793.362
AT ITER 1496 NEW BEST:: SOT 489372 SOS 273148 HAS SOPS 273148 HAS SOUS 249428 HAS SOUPS 249428 WITH SCORE 249701.148
AT ITER 1499 NEW BEST:: SOT 489370 SOS 273041 HAS SOPS 273041 HAS SOUS 249426 HAS SOUPS 249426 WITH SCORE 249699.041
AT ITER 1505 NEW BEST:: SOT 489359 SOS 272844 HAS SOPS 272844 HAS SOUS 249355 HAS SOUPS 249355 WITH SCORE 249627.844
AT ITER 1514 NEW BEST:: SOT 488581 SOS 272064 HAS SOPS 272064 HAS SOUS 248587 HAS SOUPS 248587 WITH SCORE 248859.064
AT ITER 1516 NEW BEST:: SOT 488360 SOS 271302 HAS SOPS 271302 HAS SOUS 248080 HAS SOUPS 248080 WITH SCORE 248351.302
AT ITER 1519 NEW BEST:: SOT 488342 SOS 271266 HAS SOPS 271266 HAS SOUS 248044 HAS SOUPS 248044 WITH SCORE 248315.266
AT ITER 1523 NEW BEST:: SOT 488150 SOS 271074 HAS SOPS 271074 HAS SOUS 247948 HAS SOUPS 247948 WITH SCORE 248219.074
AT ITER 1524 NEW BEST:: SOT 487368 SOS 270281 HAS SOPS 270281 HAS SOUS 247155 HAS SOUPS 247155 WITH SCORE 247425.281
AT ITER 1525 NEW BEST:: SOT 487418 SOS 270031 HAS SOPS 270031 HAS SOUS 247017 HAS SOUPS 247017 WITH SCORE 247287.031
AT ITER 1526 NEW BEST:: SOT 487256 SOS 269707 HAS SOPS 269707 HAS SOUS 246848 HAS SOUPS 246848 WITH SCORE 247117.707
AT ITER 1527 NEW BEST:: SOT 487210 SOS 269699 HAS SOPS 269699 HAS SOUS 246840 HAS SOUPS 246840 WITH SCORE 247109.699
AT ITER 1529 NEW BEST:: SOT 486986 SOS 269311 HAS SOPS 269311 HAS SOUS 246452 HAS SOUPS 246452 WITH SCORE 246721.311
AT ITER 1532 NEW BEST:: SOT 486986 SOS 269297 HAS SOPS 269297 HAS SOUS 246450 HAS SOUPS 246450 WITH SCORE 246719.297
AT ITER 1536 NEW BEST:: SOT 486928 SOS 269208 HAS SOPS 269208 HAS SOUS 246373 HAS SOUPS 246373 WITH SCORE 246642.208
AT ITER 1540 NEW BEST:: SOT 486763 SOS 269043 HAS SOPS 269043 HAS SOUS 246208 HAS SOUPS 246208 WITH SCORE 246477.043
AT ITER 1548 NEW BEST:: SOT 486545 SOS 268566 HAS SOPS 268566 HAS SOUS 245088 HAS SOUPS 245088 WITH SCORE 245356.566
AT ITER 1551 NEW BEST:: SOT 486536 SOS 268557 HAS SOPS 268557 HAS SOUS 245079 HAS SOUPS 245079 WITH SCORE 245347.557
AT ITER 1552 NEW BEST:: SOT 486403 SOS 268457 HAS SOPS 268457 HAS SOUS 244979 HAS SOUPS 244979 WITH SCORE 245247.457
AT ITER 1554 NEW BEST:: SOT 486291 SOS 268345 HAS SOPS 268345 HAS SOUS 244867 HAS SOUPS 244867 WITH SCORE 245135.345
AT ITER 1568 NEW BEST:: SOT 486313 SOS 268392 HAS SOPS 268392 HAS SOUS 244833 HAS SOUPS 244833 WITH SCORE 245101.392
AT ITER 1571 NEW BEST:: SOT 486333 SOS 268412 HAS SOPS 268412 HAS SOUS 244832 HAS SOUPS 244832 WITH SCORE 245100.412
AT ITER 1578 NEW BEST:: SOT 486243 SOS 268367 HAS SOPS 268367 HAS SOUS 244787 HAS SOUPS 244787 WITH SCORE 245055.367
AT ITER 1579 NEW BEST:: SOT 486087 SOS 268036 HAS SOPS 268036 HAS SOUS 244364 HAS SOUPS 244364 WITH SCORE 244632.036
AT ITER 1580 NEW BEST:: SOT 486194 SOS 268143 HAS SOPS 268143 HAS SOUS 244265 HAS SOUPS 244265 WITH SCORE 244533.143
AT ITER 1582 NEW BEST:: SOT 486008 SOS 267957 HAS SOPS 267957 HAS SOUS 244079 HAS SOUPS 244079 WITH SCORE 244346.957
AT ITER 1606 NEW BEST:: SOT 485868 SOS 267798 HAS SOPS 267798 HAS SOUS 243920 HAS SOUPS 243920 WITH SCORE 244187.798
AT ITER 1619 NEW BEST:: SOT 485708 SOS 267636 HAS SOPS 267636 HAS SOUS 243758 HAS SOUPS 243758 WITH SCORE 244025.636
AT ITER 1625 NEW BEST:: SOT 485708 SOS 267464 HAS SOPS 267464 HAS SOUS 243755 HAS SOUPS 243755 WITH SCORE 244022.464
AT ITER 1634 NEW BEST:: SOT 485708 SOS 267024 HAS SOPS 267024 HAS SOUS 243718 HAS SOUPS 243718 WITH SCORE 243985.024
AT ITER 1640 NEW BEST:: SOT 485703 SOS 267009 HAS SOPS 267009 HAS SOUS 243708 HAS SOUPS 243708 WITH SCORE 243975.009
AT ITER 1641 NEW BEST:: SOT 485654 SOS 267117 HAS SOPS 267117 HAS SOUS 243702 HAS SOUPS 243702 WITH SCORE 243969.117
AT ITER 1655 NEW BEST:: SOT 485654 SOS 266767 HAS SOPS 266767 HAS SOUS 243614 HAS SOUPS 243614 WITH SCORE 243880.767
AT ITER 1658 NEW BEST:: SOT 485654 SOS 266754 HAS SOPS 266754 HAS SOUS 243614 HAS SOUPS 243614 WITH SCORE 243880.754
AT ITER 1661 NEW BEST:: SOT 485631 SOS 266592 HAS SOPS 266592 HAS SOUS 243452 HAS SOUPS 243452 WITH SCORE 243718.592
AT ITER 1669 NEW BEST:: SOT 485548 SOS 266508 HAS SOPS 266508 HAS SOUS 243368 HAS SOUPS 243368 WITH SCORE 243634.508
AT ITER 1672 NEW BEST:: SOT 485495 SOS 266464 HAS SOPS 266464 HAS SOUS 243361 HAS SOUPS 243361 WITH SCORE 243627.464
AT ITER 1673 NEW BEST:: SOT 485529 SOS 265644 HAS SOPS 265644 HAS SOUS 242804 HAS SOUPS 242804 WITH SCORE 243069.644
AT ITER 1676 NEW BEST:: SOT 485446 SOS 265537 HAS SOPS 265537 HAS SOUS 242670 HAS SOUPS 242670 WITH SCORE 242935.537
AT ITER 1677 NEW BEST:: SOT 485381 SOS 265463 HAS SOPS 265463 HAS SOUS 242596 HAS SOUPS 242596 WITH SCORE 242861.463
AT ITER 1678 NEW BEST:: SOT 485381 SOS 265379 HAS SOPS 265379 HAS SOUS 242512 HAS SOUPS 242512 WITH SCORE 242777.379
AT ITER 1684 NEW BEST:: SOT 485367 SOS 265365 HAS SOPS 265365 HAS SOUS 242498 HAS SOUPS 242498 WITH SCORE 242763.365
AT ITER 1687 NEW BEST:: SOT 485345 SOS 265343 HAS SOPS 265343 HAS SOUS 242448 HAS SOUPS 242448 WITH SCORE 242713.343
AT ITER 1707 NEW BEST:: SOT 485286 SOS 265282 HAS SOPS 265282 HAS SOUS 242387 HAS SOUPS 242387 WITH SCORE 242652.282
AT ITER 1712 NEW BEST:: SOT 485286 SOS 265251 HAS SOPS 265251 HAS SOUS 242315 HAS SOUPS 242315 WITH SCORE 242580.251
AT ITER 1719 NEW BEST:: SOT 485213 SOS 264909 HAS SOPS 264909 HAS SOUS 242106 HAS SOUPS 242106 WITH SCORE 242370.909
AT ITER 1731 NEW BEST:: SOT 485201 SOS 264875 HAS SOPS 264875 HAS SOUS 242072 HAS SOUPS 242072 WITH SCORE 242336.875
AT ITER 1736 NEW BEST:: SOT 485145 SOS 264822 HAS SOPS 264822 HAS SOUS 242018 HAS SOUPS 242018 WITH SCORE 242282.822
AT ITER 1739 NEW BEST:: SOT 485096 SOS 264761 HAS SOPS 264761 HAS SOUS 241957 HAS SOUPS 241957 WITH SCORE 242221.761
AT ITER 1743 NEW BEST:: SOT 484494 SOS 264068 HAS SOPS 264068 HAS SOUS 241001 HAS SOUPS 241001 WITH SCORE 241265.068
AT ITER 1744 NEW BEST:: SOT 484531 SOS 263763 HAS SOPS 263763 HAS SOUS 240883 HAS SOUPS 240883 WITH SCORE 241146.763
AT ITER 1752 NEW BEST:: SOT 484473 SOS 263656 HAS SOPS 263656 HAS SOUS 240747 HAS SOUPS 240747 WITH SCORE 241010.656
AT ITER 1754 NEW BEST:: SOT 484410 SOS 263555 HAS SOPS 263555 HAS SOUS 240662 HAS SOUPS 240662 WITH SCORE 240925.555
AT ITER 1777 NEW BEST:: SOT 484410 SOS 263555 HAS SOPS 263555 HAS SOUS 240643 HAS SOUPS 240643 WITH SCORE 240906.555
AT ITER 1779 NEW BEST:: SOT 484427 SOS 262998 HAS SOPS 262998 HAS SOUS 240337 HAS SOUPS 240337 WITH SCORE 240599.998
AT ITER 1783 NEW BEST:: SOT 484426 SOS 262996 HAS SOPS 262996 HAS SOUS 240335 HAS SOUPS 240335 WITH SCORE 240597.996
AT ITER 1785 NEW BEST:: SOT 484281 SOS 262851 HAS SOPS 262851 HAS SOUS 240181 HAS SOUPS 240181 WITH SCORE 240443.851
AT ITER 1796 NEW BEST:: SOT 484303 SOS 262805 HAS SOPS 262805 HAS SOUS 240135 HAS SOUPS 240135 WITH SCORE 240397.805
AT ITER 1802 NEW BEST:: SOT 484303 SOS 262775 HAS SOPS 262775 HAS SOUS 240105 HAS SOUPS 240105 WITH SCORE 240367.775
AT ITER 1803 NEW BEST:: SOT 484303 SOS 262775 HAS SOPS 262775 HAS SOUS 240102 HAS SOUPS 240102 WITH SCORE 240364.775
AT ITER 1805 NEW BEST:: SOT 484303 SOS 262686 HAS SOPS 262686 HAS SOUS 240099 HAS SOUPS 240099 WITH SCORE 240361.686
AT ITER 1806 NEW BEST:: SOT 484263 SOS 262540 HAS SOPS 262540 HAS SOUS 240019 HAS SOUPS 240019 WITH SCORE 240281.54
AT ITER 1809 NEW BEST:: SOT 484263 SOS 262420 HAS SOPS 262420 HAS SOUS 239973 HAS SOUPS 239973 WITH SCORE 240235.42
AT ITER 1813 NEW BEST:: SOT 483845 SOS 261808 HAS SOPS 261808 HAS SOUS 239220 HAS SOUPS 239220 WITH SCORE 239481.808
AT ITER 1815 NEW BEST:: SOT 483776 SOS 261693 HAS SOPS 261693 HAS SOUS 239105 HAS SOUPS 239105 WITH SCORE 239366.693
AT ITER 1818 NEW BEST:: SOT 483721 SOS 261464 HAS SOPS 261464 HAS SOUS 238876 HAS SOUPS 238876 WITH SCORE 239137.464
AT ITER 1822 NEW BEST:: SOT 483705 SOS 260563 HAS SOPS 260563 HAS SOUS 238339 HAS SOUPS 238339 WITH SCORE 238599.563
AT ITER 1828 NEW BEST:: SOT 483603 SOS 260364 HAS SOPS 260364 HAS SOUS 238039 HAS SOUPS 238039 WITH SCORE 238299.364
AT ITER 1830 NEW BEST:: SOT 483360 SOS 260178 HAS SOPS 260178 HAS SOUS 237742 HAS SOUPS 237742 WITH SCORE 238002.178
AT ITER 1839 NEW BEST:: SOT 483428 SOS 259793 HAS SOPS 259793 HAS SOUS 237720 HAS SOUPS 237720 WITH SCORE 237979.793
AT ITER 1845 NEW BEST:: SOT 483428 SOS 259514 HAS SOPS 259514 HAS SOUS 237718 HAS SOUPS 237718 WITH SCORE 237977.514
AT ITER 1848 NEW BEST:: SOT 483428 SOS 259238 HAS SOPS 259238 HAS SOUS 237626 HAS SOUPS 237626 WITH SCORE 237885.238
AT ITER 1849 NEW BEST:: SOT 483153 SOS 258963 HAS SOPS 258963 HAS SOUS 237351 HAS SOUPS 237351 WITH SCORE 237609.963
AT ITER 1853 NEW BEST:: SOT 483152 SOS 258707 HAS SOPS 258707 HAS SOUS 237345 HAS SOUPS 237345 WITH SCORE 237603.707
AT ITER 1871 NEW BEST:: SOT 483058 SOS 258613 HAS SOPS 258613 HAS SOUS 237251 HAS SOUPS 237251 WITH SCORE 237509.613
AT ITER 1880 NEW BEST:: SOT 482890 SOS 258444 HAS SOPS 258444 HAS SOUS 237082 HAS SOUPS 237082 WITH SCORE 237340.444
AT ITER 1885 NEW BEST:: SOT 482909 SOS 258101 HAS SOPS 258101 HAS SOUS 236736 HAS SOUPS 236736 WITH SCORE 236994.101
AT ITER 1887 NEW BEST:: SOT 483128 SOS 257317 HAS SOPS 257317 HAS SOUS 236567 HAS SOUPS 236567 WITH SCORE 236824.317
AT ITER 1899 NEW BEST:: SOT 483127 SOS 257113 HAS SOPS 257113 HAS SOUS 236362 HAS SOUPS 236362 WITH SCORE 236619.113
AT ITER 1904 NEW BEST:: SOT 483081 SOS 256314 HAS SOPS 256314 HAS SOUS 236221 HAS SOUPS 236221 WITH SCORE 236477.314
AT ITER 1912 NEW BEST:: SOT 483140 SOS 256342 HAS SOPS 256342 HAS SOUS 236091 HAS SOUPS 236091 WITH SCORE 236347.342
AT ITER 1919 NEW BEST:: SOT 483047 SOS 255976 HAS SOPS 255976 HAS SOUS 235882 HAS SOUPS 235882 WITH SCORE 236137.976
AT ITER 1920 NEW BEST:: SOT 482956 SOS 253833 HAS SOPS 253833 HAS SOUS 235299 HAS SOUPS 235299 WITH SCORE 235552.833
AT ITER 1922 NEW BEST:: SOT 482956 SOS 253797 HAS SOPS 253797 HAS SOUS 235263 HAS SOUPS 235263 WITH SCORE 235516.797
AT ITER 1925 NEW BEST:: SOT 482916 SOS 253757 HAS SOPS 253757 HAS SOUS 235223 HAS SOUPS 235223 WITH SCORE 235476.757
AT ITER 1929 NEW BEST:: SOT 482921 SOS 253660 HAS SOPS 253660 HAS SOUS 235157 HAS SOUPS 235157 WITH SCORE 235410.66
AT ITER 1937 NEW BEST:: SOT 482911 SOS 253650 HAS SOPS 253650 HAS SOUS 235147 HAS SOUPS 235147 WITH SCORE 235400.65
AT ITER 1941 NEW BEST:: SOT 482784 SOS 253491 HAS SOPS 253491 HAS SOUS 234970 HAS SOUPS 234970 WITH SCORE 235223.491
AT ITER 1944 NEW BEST:: SOT 482727 SOS 253454 HAS SOPS 253454 HAS SOUS 234933 HAS SOUPS 234933 WITH SCORE 235186.454
AT ITER 1954 NEW BEST:: SOT 482778 SOS 253107 HAS SOPS 253107 HAS SOUS 234810 HAS SOUPS 234810 WITH SCORE 235063.107
AT ITER 1955 NEW BEST:: SOT 482689 SOS 253046 HAS SOPS 253046 HAS SOUS 234749 HAS SOUPS 234749 WITH SCORE 235002.046
AT ITER 1956 NEW BEST:: SOT 482643 SOS 252698 HAS SOPS 252698 HAS SOUS 234626 HAS SOUPS 234626 WITH SCORE 234878.698
AT ITER 1957 NEW BEST:: SOT 482577 SOS 251929 HAS SOPS 251929 HAS SOUS 234178 HAS SOUPS 234178 WITH SCORE 234429.929
AT ITER 1962 NEW BEST:: SOT 482558 SOS 251872 HAS SOPS 251872 HAS SOUS 234121 HAS SOUPS 234121 WITH SCORE 234372.872
AT ITER 1963 NEW BEST:: SOT 482558 SOS 251869 HAS SOPS 251869 HAS SOUS 234118 HAS SOUPS 234118 WITH SCORE 234369.869
AT ITER 1964 NEW BEST:: SOT 482342 SOS 251689 HAS SOPS 251689 HAS SOUS 233905 HAS SOUPS 233905 WITH SCORE 234156.689
AT ITER 1983 NEW BEST:: SOT 482208 SOS 251417 HAS SOPS 251417 HAS SOUS 233634 HAS SOUPS 233634 WITH SCORE 233885.417
AT ITER 1984 NEW BEST:: SOT 481611 SOS 250820 HAS SOPS 250820 HAS SOUS 233037 HAS SOUPS 233037 WITH SCORE 233287.82
AT ITER 1987 NEW BEST:: SOT 481519 SOS 250352 HAS SOPS 250352 HAS SOUS 232710 HAS SOUPS 232710 WITH SCORE 232960.352
AT ITER 1988 NEW BEST:: SOT 481519 SOS 250233 HAS SOPS 250233 HAS SOUS 232710 HAS SOUPS 232710 WITH SCORE 232960.233
AT ITER 1989 NEW BEST:: SOT 481467 SOS 250077 HAS SOPS 250077 HAS SOUS 232606 HAS SOUPS 232606 WITH SCORE 232856.077
AT ITER 1990 NEW BEST:: SOT 481419 SOS 250029 HAS SOPS 250029 HAS SOUS 232606 HAS SOUPS 232606 WITH SCORE 232856.029
AT ITER 1994 NEW BEST:: SOT 481376 SOS 249916 HAS SOPS 249916 HAS SOUS 232477 HAS SOUPS 232477 WITH SCORE 232726.916
AT ITER 1999 NEW BEST:: SOT 481124 SOS 249655 HAS SOPS 249655 HAS SOUS 232468 HAS SOUPS 232468 WITH SCORE 232717.655
AT ITER 2004 NEW BEST:: SOT 481102 SOS 249570 HAS SOPS 249570 HAS SOUS 232334 HAS SOUPS 232334 WITH SCORE 232583.57
AT ITER 2018 NEW BEST:: SOT 480967 SOS 249435 HAS SOPS 249435 HAS SOUS 232199 HAS SOUPS 232199 WITH SCORE 232448.435
AT ITER 2021 NEW BEST:: SOT 480910 SOS 249378 HAS SOPS 249378 HAS SOUS 232138 HAS SOUPS 232138 WITH SCORE 232387.378
AT ITER 2025 NEW BEST:: SOT 480676 SOS 249144 HAS SOPS 249144 HAS SOUS 231736 HAS SOUPS 231736 WITH SCORE 231985.144
AT ITER 2026 NEW BEST:: SOT 480554 SOS 249022 HAS SOPS 249022 HAS SOUS 231614 HAS SOUPS 231614 WITH SCORE 231863.022
AT ITER 2028 NEW BEST:: SOT 480518 SOS 249069 HAS SOPS 249069 HAS SOUS 231542 HAS SOUPS 231542 WITH SCORE 231791.069
AT ITER 2033 NEW BEST:: SOT 480224 SOS 248586 HAS SOPS 248586 HAS SOUS 230972 HAS SOUPS 230972 WITH SCORE 231220.586
AT ITER 2038 NEW BEST:: SOT 480018 SOS 248032 HAS SOPS 248032 HAS SOUS 230388 HAS SOUPS 230388 WITH SCORE 230636.032
AT ITER 2039 NEW BEST:: SOT 479996 SOS 248197 HAS SOPS 248197 HAS SOUS 230219 HAS SOUPS 230219 WITH SCORE 230467.197
AT ITER 2043 NEW BEST:: SOT 479926 SOS 248127 HAS SOPS 248127 HAS SOUS 230149 HAS SOUPS 230149 WITH SCORE 230397.127
AT ITER 2044 NEW BEST:: SOT 479772 SOS 247565 HAS SOPS 247565 HAS SOUS 229799 HAS SOUPS 229799 WITH SCORE 230046.565
AT ITER 2051 NEW BEST:: SOT 479402 SOS 247278 HAS SOPS 247278 HAS SOUS 229583 HAS SOUPS 229583 WITH SCORE 229830.278
AT ITER 2052 NEW BEST:: SOT 479281 SOS 247037 HAS SOPS 247037 HAS SOUS 229342 HAS SOUPS 229342 WITH SCORE 229589.037
AT ITER 2059 NEW BEST:: SOT 479245 SOS 246993 HAS SOPS 246993 HAS SOUS 229294 HAS SOUPS 229294 WITH SCORE 229540.993
AT ITER 2064 NEW BEST:: SOT 479245 SOS 246991 HAS SOPS 246991 HAS SOUS 229292 HAS SOUPS 229292 WITH SCORE 229538.991
AT ITER 2078 NEW BEST:: SOT 479254 SOS 247015 HAS SOPS 247015 HAS SOUS 229201 HAS SOUPS 229201 WITH SCORE 229448.015
AT ITER 2079 NEW BEST:: SOT 479251 SOS 247009 HAS SOPS 247009 HAS SOUS 229195 HAS SOUPS 229195 WITH SCORE 229442.009
AT ITER 2088 NEW BEST:: SOT 479238 SOS 246956 HAS SOPS 246956 HAS SOUS 229142 HAS SOUPS 229142 WITH SCORE 229388.956
AT ITER 2094 NEW BEST:: SOT 479264 SOS 246803 HAS SOPS 246803 HAS SOUS 229051 HAS SOUPS 229051 WITH SCORE 229297.803
AT ITER 2095 NEW BEST:: SOT 479251 SOS 246764 HAS SOPS 246764 HAS SOUS 229025 HAS SOUPS 229025 WITH SCORE 229271.764
AT ITER 2096 NEW BEST:: SOT 478859 SOS 246117 HAS SOPS 246117 HAS SOUS 228378 HAS SOUPS 228378 WITH SCORE 228624.117
AT ITER 2097 NEW BEST:: SOT 478859 SOS 245721 HAS SOPS 245721 HAS SOUS 228378 HAS SOUPS 228378 WITH SCORE 228623.721
AT ITER 2100 NEW BEST:: SOT 478859 SOS 245489 HAS SOPS 245489 HAS SOUS 228146 HAS SOUPS 228146 WITH SCORE 228391.489
AT ITER 2106 NEW BEST:: SOT 478928 SOS 245482 HAS SOPS 245482 HAS SOUS 228139 HAS SOUPS 228139 WITH SCORE 228384.482
AT ITER 2121 NEW BEST:: SOT 478350 SOS 244828 HAS SOPS 244828 HAS SOUS 227485 HAS SOUPS 227485 WITH SCORE 227729.828
AT ITER 2132 NEW BEST:: SOT 478306 SOS 244784 HAS SOPS 244784 HAS SOUS 227441 HAS SOUPS 227441 WITH SCORE 227685.784
AT ITER 2143 NEW BEST:: SOT 478059 SOS 244506 HAS SOPS 244506 HAS SOUS 227163 HAS SOUPS 227163 WITH SCORE 227407.506
AT ITER 2147 NEW BEST:: SOT 477932 SOS 244379 HAS SOPS 244379 HAS SOUS 226859 HAS SOUPS 226859 WITH SCORE 227103.379
AT ITER 2148 NEW BEST:: SOT 477622 SOS 244069 HAS SOPS 244069 HAS SOUS 226704 HAS SOUPS 226704 WITH SCORE 226948.069
AT ITER 2150 NEW BEST:: SOT 477622 SOS 244022 HAS SOPS 244022 HAS SOUS 226702 HAS SOUPS 226702 WITH SCORE 226946.022
AT ITER 2155 NEW BEST:: SOT 477227 SOS 243627 HAS SOPS 243627 HAS SOUS 226307 HAS SOUPS 226307 WITH SCORE 226550.627
AT ITER 2165 NEW BEST:: SOT 477227 SOS 243627 HAS SOPS 243627 HAS SOUS 226306 HAS SOUPS 226306 WITH SCORE 226549.627
AT ITER 2171 NEW BEST:: SOT 477227 SOS 243365 HAS SOPS 243365 HAS SOUS 226288 HAS SOUPS 226288 WITH SCORE 226531.365
AT ITER 2174 NEW BEST:: SOT 477227 SOS 243365 HAS SOPS 243365 HAS SOUS 226252 HAS SOUPS 226252 WITH SCORE 226495.365
AT ITER 2178 NEW BEST:: SOT 477178 SOS 243316 HAS SOPS 243316 HAS SOUS 226203 HAS SOUPS 226203 WITH SCORE 226446.316
AT ITER 2191 NEW BEST:: SOT 477129 SOS 243267 HAS SOPS 243267 HAS SOUS 226154 HAS SOUPS 226154 WITH SCORE 226397.267
AT ITER 2193 NEW BEST:: SOT 477089 SOS 243187 HAS SOPS 243187 HAS SOUS 226074 HAS SOUPS 226074 WITH SCORE 226317.187
AT ITER 2197 NEW BEST:: SOT 476770 SOS 242825 HAS SOPS 242825 HAS SOUS 225712 HAS SOUPS 225712 WITH SCORE 225954.825
AT ITER 2203 NEW BEST:: SOT 476694 SOS 242749 HAS SOPS 242749 HAS SOUS 225636 HAS SOUPS 225636 WITH SCORE 225878.749
AT ITER 2207 NEW BEST:: SOT 476677 SOS 242732 HAS SOPS 242732 HAS SOUS 225619 HAS SOUPS 225619 WITH SCORE 225861.732
AT ITER 2208 NEW BEST:: SOT 476651 SOS 242428 HAS SOPS 242428 HAS SOUS 225383 HAS SOUPS 225383 WITH SCORE 225625.428
AT ITER 2211 NEW BEST:: SOT 476527 SOS 242361 HAS SOPS 242361 HAS SOUS 225316 HAS SOUPS 225316 WITH SCORE 225558.361
AT ITER 2212 NEW BEST:: SOT 476451 SOS 242339 HAS SOPS 242339 HAS SOUS 225294 HAS SOUPS 225294 WITH SCORE 225536.339
AT ITER 2226 NEW BEST:: SOT 476078 SOS 241930 HAS SOPS 241930 HAS SOUS 224809 HAS SOUPS 224809 WITH SCORE 225050.93
AT ITER 2229 NEW BEST:: SOT 476073 SOS 241668 HAS SOPS 241668 HAS SOUS 224547 HAS SOUPS 224547 WITH SCORE 224788.668
AT ITER 2230 NEW BEST:: SOT 475885 SOS 240859 HAS SOPS 240859 HAS SOUS 223738 HAS SOUPS 223738 WITH SCORE 223978.859
AT ITER 2231 NEW BEST:: SOT 475828 SOS 240848 HAS SOPS 240848 HAS SOUS 223727 HAS SOUPS 223727 WITH SCORE 223967.848
AT ITER 2237 NEW BEST:: SOT 475820 SOS 240846 HAS SOPS 240846 HAS SOUS 223725 HAS SOUPS 223725 WITH SCORE 223965.846
AT ITER 2238 NEW BEST:: SOT 475820 SOS 240825 HAS SOPS 240825 HAS SOUS 223704 HAS SOUPS 223704 WITH SCORE 223944.825
AT ITER 2240 NEW BEST:: SOT 475820 SOS 240808 HAS SOPS 240808 HAS SOUS 223687 HAS SOUPS 223687 WITH SCORE 223927.808
AT ITER 2242 NEW BEST:: SOT 475373 SOS 240367 HAS SOPS 240367 HAS SOUS 223246 HAS SOUPS 223246 WITH SCORE 223486.367
AT ITER 2247 NEW BEST:: SOT 475338 SOS 240262 HAS SOPS 240262 HAS SOUS 223141 HAS SOUPS 223141 WITH SCORE 223381.262
AT ITER 2248 NEW BEST:: SOT 475258 SOS 240030 HAS SOPS 240030 HAS SOUS 222985 HAS SOUPS 222985 WITH SCORE 223225.03
AT ITER 2251 NEW BEST:: SOT 475355 SOS 239901 HAS SOPS 239901 HAS SOUS 222856 HAS SOUPS 222856 WITH SCORE 223095.901
AT ITER 2254 NEW BEST:: SOT 475289 SOS 239835 HAS SOPS 239835 HAS SOUS 222790 HAS SOUPS 222790 WITH SCORE 223029.835
AT ITER 2260 NEW BEST:: SOT 475289 SOS 239877 HAS SOPS 239877 HAS SOUS 222609 HAS SOUPS 222609 WITH SCORE 222848.877
AT ITER 2279 NEW BEST:: SOT 475113 SOS 239840 HAS SOPS 239840 HAS SOUS 222572 HAS SOUPS 222572 WITH SCORE 222811.84
AT ITER 2284 NEW BEST:: SOT 475113 SOS 239835 HAS SOPS 239835 HAS SOUS 222567 HAS SOUPS 222567 WITH SCORE 222806.835
AT ITER 2291 NEW BEST:: SOT 475113 SOS 239767 HAS SOPS 239767 HAS SOUS 222499 HAS SOUPS 222499 WITH SCORE 222738.767
AT ITER 2299 NEW BEST:: SOT 475249 SOS 239758 HAS SOPS 239758 HAS SOUS 222490 HAS SOUPS 222490 WITH SCORE 222729.758
AT ITER 2301 NEW BEST:: SOT 475046 SOS 239555 HAS SOPS 239555 HAS SOUS 222287 HAS SOUPS 222287 WITH SCORE 222526.555
AT ITER 2305 NEW BEST:: SOT 475001 SOS 239510 HAS SOPS 239510 HAS SOUS 222241 HAS SOUPS 222241 WITH SCORE 222480.51
AT ITER 2308 NEW BEST:: SOT 474958 SOS 239432 HAS SOPS 239432 HAS SOUS 222163 HAS SOUPS 222163 WITH SCORE 222402.432
AT ITER 2310 NEW BEST:: SOT 474937 SOS 239411 HAS SOPS 239411 HAS SOUS 222142 HAS SOUPS 222142 WITH SCORE 222381.411
AT ITER 2313 NEW BEST:: SOT 474889 SOS 239363 HAS SOPS 239363 HAS SOUS 222094 HAS SOUPS 222094 WITH SCORE 222333.363
AT ITER 2317 NEW BEST:: SOT 474871 SOS 239306 HAS SOPS 239306 HAS SOUS 222040 HAS SOUPS 222040 WITH SCORE 222279.306
AT ITER 2319 NEW BEST:: SOT 474909 SOS 239374 HAS SOPS 239374 HAS SOUS 221886 HAS SOUPS 221886 WITH SCORE 222125.374
AT ITER 2323 NEW BEST:: SOT 474922 SOS 239605 HAS SOPS 239605 HAS SOUS 221884 HAS SOUPS 221884 WITH SCORE 222123.605
AT ITER 2336 NEW BEST:: SOT 474922 SOS 239605 HAS SOPS 239605 HAS SOUS 221803 HAS SOUPS 221803 WITH SCORE 222042.605
AT ITER 2341 NEW BEST:: SOT 474922 SOS 239329 HAS SOPS 239329 HAS SOUS 221527 HAS SOUPS 221527 WITH SCORE 221766.329
AT ITER 2343 NEW BEST:: SOT 474922 SOS 239329 HAS SOPS 239329 HAS SOUS 221519 HAS SOUPS 221519 WITH SCORE 221758.329
AT ITER 2346 NEW BEST:: SOT 474696 SOS 239077 HAS SOPS 239077 HAS SOUS 221267 HAS SOUPS 221267 WITH SCORE 221506.077
AT ITER 2352 NEW BEST:: SOT 474696 SOS 239004 HAS SOPS 239004 HAS SOUS 221194 HAS SOUPS 221194 WITH SCORE 221433.004
AT ITER 2355 NEW BEST:: SOT 474671 SOS 239266 HAS SOPS 239266 HAS SOUS 221135 HAS SOUPS 221135 WITH SCORE 221374.266
AT ITER 2367 NEW BEST:: SOT 474601 SOS 239147 HAS SOPS 239147 HAS SOUS 221016 HAS SOUPS 221016 WITH SCORE 221255.147
AT ITER 2368 NEW BEST:: SOT 474557 SOS 239103 HAS SOPS 239103 HAS SOUS 220972 HAS SOUPS 220972 WITH SCORE 221211.103
AT ITER 2372 NEW BEST:: SOT 474555 SOS 239092 HAS SOPS 239092 HAS SOUS 220961 HAS SOUPS 220961 WITH SCORE 221200.092
AT ITER 2375 NEW BEST:: SOT 474555 SOS 239068 HAS SOPS 239068 HAS SOUS 220893 HAS SOUPS 220893 WITH SCORE 221132.068
AT ITER 2378 NEW BEST:: SOT 474063 SOS 238731 HAS SOPS 238731 HAS SOUS 220311 HAS SOUPS 220311 WITH SCORE 220549.731
AT ITER 2380 NEW BEST:: SOT 473737 SOS 238555 HAS SOPS 238555 HAS SOUS 220135 HAS SOUPS 220135 WITH SCORE 220373.555
AT ITER 2381 NEW BEST:: SOT 473707 SOS 238525 HAS SOPS 238525 HAS SOUS 220105 HAS SOUPS 220105 WITH SCORE 220343.525
AT ITER 2394 NEW BEST:: SOT 473648 SOS 238465 HAS SOPS 238465 HAS SOUS 220052 HAS SOUPS 220052 WITH SCORE 220290.465
AT ITER 2403 NEW BEST:: SOT 473585 SOS 238402 HAS SOPS 238402 HAS SOUS 219989 HAS SOUPS 219989 WITH SCORE 220227.402
AT ITER 2422 NEW BEST:: SOT 473585 SOS 238374 HAS SOPS 238374 HAS SOUS 219975 HAS SOUPS 219975 WITH SCORE 220213.374
AT ITER 2436 NEW BEST:: SOT 473561 SOS 238248 HAS SOPS 238248 HAS SOUS 219849 HAS SOUPS 219849 WITH SCORE 220087.248
AT ITER 2441 NEW BEST:: SOT 473599 SOS 238080 HAS SOPS 238080 HAS SOUS 219711 HAS SOUPS 219711 WITH SCORE 219949.08
AT ITER 2444 NEW BEST:: SOT 473519 SOS 237889 HAS SOPS 237889 HAS SOUS 219520 HAS SOUPS 219520 WITH SCORE 219757.889
AT ITER 2458 NEW BEST:: SOT 473478 SOS 238023 HAS SOPS 238023 HAS SOUS 219379 HAS SOUPS 219379 WITH SCORE 219617.023
AT ITER 2459 NEW BEST:: SOT 473475 SOS 238020 HAS SOPS 238020 HAS SOUS 219376 HAS SOUPS 219376 WITH SCORE 219614.02
AT ITER 2462 NEW BEST:: SOT 473475 SOS 237937 HAS SOPS 237937 HAS SOUS 219293 HAS SOUPS 219293 WITH SCORE 219530.937
AT ITER 2466 NEW BEST:: SOT 473515 SOS 237590 HAS SOPS 237590 HAS SOUS 219119 HAS SOUPS 219119 WITH SCORE 219356.59
AT ITER 2467 NEW BEST:: SOT 473469 SOS 237509 HAS SOPS 237509 HAS SOUS 219038 HAS SOUPS 219038 WITH SCORE 219275.509
AT ITER 2495 NEW BEST:: SOT 473286 SOS 237259 HAS SOPS 237259 HAS SOUS 218803 HAS SOUPS 218803 WITH SCORE 219040.259
AT ITER 2497 NEW BEST:: SOT 473355 SOS 237253 HAS SOPS 237253 HAS SOUS 218797 HAS SOUPS 218797 WITH SCORE 219034.253
AT ITER 2501 NEW BEST:: SOT 473355 SOS 236984 HAS SOPS 236984 HAS SOUS 218535 HAS SOUPS 218535 WITH SCORE 218771.984
AT ITER 2504 NEW BEST:: SOT 473102 SOS 235847 HAS SOPS 235847 HAS SOUS 217799 HAS SOUPS 217799 WITH SCORE 218034.847
AT ITER 2510 NEW BEST:: SOT 473127 SOS 235812 HAS SOPS 235812 HAS SOUS 217764 HAS SOUPS 217764 WITH SCORE 217999.812
AT ITER 2513 NEW BEST:: SOT 473127 SOS 235812 HAS SOPS 235812 HAS SOUS 217735 HAS SOUPS 217735 WITH SCORE 217970.812
AT ITER 2518 NEW BEST:: SOT 473143 SOS 235503 HAS SOPS 235503 HAS SOUS 217426 HAS SOUPS 217426 WITH SCORE 217661.503
AT ITER 2520 NEW BEST:: SOT 473125 SOS 235466 HAS SOPS 235466 HAS SOUS 217389 HAS SOUPS 217389 WITH SCORE 217624.466
AT ITER 2521 NEW BEST:: SOT 473077 SOS 235230 HAS SOPS 235230 HAS SOUS 217153 HAS SOUPS 217153 WITH SCORE 217388.23
AT ITER 2523 NEW BEST:: SOT 472512 SOS 234457 HAS SOPS 234457 HAS SOUS 216165 HAS SOUPS 216165 WITH SCORE 216399.457
AT ITER 2540 NEW BEST:: SOT 472461 SOS 234406 HAS SOPS 234406 HAS SOUS 216114 HAS SOUPS 216114 WITH SCORE 216348.406
AT ITER 2549 NEW BEST:: SOT 472233 SOS 234175 HAS SOPS 234175 HAS SOUS 215883 HAS SOUPS 215883 WITH SCORE 216117.175
AT ITER 2561 NEW BEST:: SOT 472104 SOS 233988 HAS SOPS 233988 HAS SOUS 215696 HAS SOUPS 215696 WITH SCORE 215929.988
AT ITER 2568 NEW BEST:: SOT 472104 SOS 233851 HAS SOPS 233851 HAS SOUS 215559 HAS SOUPS 215559 WITH SCORE 215792.851
AT ITER 2579 NEW BEST:: SOT 471981 SOS 233728 HAS SOPS 233728 HAS SOUS 215430 HAS SOUPS 215430 WITH SCORE 215663.728
AT ITER 2592 NEW BEST:: SOT 471959 SOS 233691 HAS SOPS 233691 HAS SOUS 215382 HAS SOUPS 215382 WITH SCORE 215615.691
AT ITER 2593 NEW BEST:: SOT 471962 SOS 233421 HAS SOPS 233421 HAS SOUS 215277 HAS SOUPS 215277 WITH SCORE 215510.421
AT ITER 2594 NEW BEST:: SOT 471657 SOS 232316 HAS SOPS 232316 HAS SOUS 214644 HAS SOUPS 214644 WITH SCORE 214876.316
AT ITER 2595 NEW BEST:: SOT 471635 SOS 232227 HAS SOPS 232227 HAS SOUS 214555 HAS SOUPS 214555 WITH SCORE 214787.227
AT ITER 2597 NEW BEST:: SOT 471577 SOS 232169 HAS SOPS 232169 HAS SOUS 214497 HAS SOUPS 214497 WITH SCORE 214729.169
AT ITER 2601 NEW BEST:: SOT 471507 SOS 232147 HAS SOPS 232147 HAS SOUS 214475 HAS SOUPS 214475 WITH SCORE 214707.147
AT ITER 2602 NEW BEST:: SOT 471483 SOS 232123 HAS SOPS 232123 HAS SOUS 214451 HAS SOUPS 214451 WITH SCORE 214683.123
AT ITER 2627 NEW BEST:: SOT 471483 SOS 232028 HAS SOPS 232028 HAS SOUS 214352 HAS SOUPS 214352 WITH SCORE 214584.028
AT ITER 2638 NEW BEST:: SOT 471465 SOS 231983 HAS SOPS 231983 HAS SOUS 214325 HAS SOUPS 214325 WITH SCORE 214556.983
AT ITER 2644 NEW BEST:: SOT 471347 SOS 231766 HAS SOPS 231766 HAS SOUS 214078 HAS SOUPS 214078 WITH SCORE 214309.766
AT ITER 2648 NEW BEST:: SOT 471142 SOS 231679 HAS SOPS 231679 HAS SOUS 213991 HAS SOUPS 213991 WITH SCORE 214222.679
AT ITER 2665 NEW BEST:: SOT 471046 SOS 231583 HAS SOPS 231583 HAS SOUS 213887 HAS SOUPS 213887 WITH SCORE 214118.583
AT ITER 2667 NEW BEST:: SOT 471120 SOS 231288 HAS SOPS 231288 HAS SOUS 213531 HAS SOUPS 213531 WITH SCORE 213762.288
AT ITER 2669 NEW BEST:: SOT 471120 SOS 231186 HAS SOPS 231186 HAS SOUS 213531 HAS SOUPS 213531 WITH SCORE 213762.186
AT ITER 2673 NEW BEST:: SOT 471120 SOS 231173 HAS SOPS 231173 HAS SOUS 213531 HAS SOUPS 213531 WITH SCORE 213762.173
AT ITER 2674 NEW BEST:: SOT 471090 SOS 231113 HAS SOPS 231113 HAS SOUS 213501 HAS SOUPS 213501 WITH SCORE 213732.113
AT ITER 2676 NEW BEST:: SOT 471088 SOS 231111 HAS SOPS 231111 HAS SOUS 213499 HAS SOUPS 213499 WITH SCORE 213730.111
AT ITER 2683 NEW BEST:: SOT 470971 SOS 230984 HAS SOPS 230984 HAS SOUS 213372 HAS SOUPS 213372 WITH SCORE 213602.984
AT ITER 2688 NEW BEST:: SOT 470968 SOS 230975 HAS SOPS 230975 HAS SOUS 213363 HAS SOUPS 213363 WITH SCORE 213593.975
AT ITER 2701 NEW BEST:: SOT 470967 SOS 230974 HAS SOPS 230974 HAS SOUS 213362 HAS SOUPS 213362 WITH SCORE 213592.974
AT ITER 2711 NEW BEST:: SOT 470764 SOS 230428 HAS SOPS 230428 HAS SOUS 212816 HAS SOUPS 212816 WITH SCORE 213046.428
AT ITER 2713 NEW BEST:: SOT 470632 SOS 230296 HAS SOPS 230296 HAS SOUS 212558 HAS SOUPS 212558 WITH SCORE 212788.296
AT ITER 2756 NEW BEST:: SOT 470322 SOS 229986 HAS SOPS 229986 HAS SOUS 212248 HAS SOUPS 212248 WITH SCORE 212477.986
AT ITER 2761 NEW BEST:: SOT 470322 SOS 229902 HAS SOPS 229902 HAS SOUS 212222 HAS SOUPS 212222 WITH SCORE 212451.902
AT ITER 2763 NEW BEST:: SOT 470271 SOS 229851 HAS SOPS 229851 HAS SOUS 212140 HAS SOUPS 212140 WITH SCORE 212369.851
AT ITER 2765 NEW BEST:: SOT 470229 SOS 229809 HAS SOPS 229809 HAS SOUS 212065 HAS SOUPS 212065 WITH SCORE 212294.809
AT ITER 2771 NEW BEST:: SOT 470179 SOS 229759 HAS SOPS 229759 HAS SOUS 212015 HAS SOUPS 212015 WITH SCORE 212244.759
AT ITER 2784 NEW BEST:: SOT 469975 SOS 229257 HAS SOPS 229257 HAS SOUS 211538 HAS SOUPS 211538 WITH SCORE 211767.257
AT ITER 2794 NEW BEST:: SOT 469957 SOS 229239 HAS SOPS 229239 HAS SOUS 211520 HAS SOUPS 211520 WITH SCORE 211749.239
AT ITER 2799 NEW BEST:: SOT 469760 SOS 228867 HAS SOPS 228867 HAS SOUS 211280 HAS SOUPS 211280 WITH SCORE 211508.867
AT ITER 2800 NEW BEST:: SOT 469754 SOS 228855 HAS SOPS 228855 HAS SOUS 211268 HAS SOUPS 211268 WITH SCORE 211496.855
AT ITER 2802 NEW BEST:: SOT 469754 SOS 228791 HAS SOPS 228791 HAS SOUS 211204 HAS SOUPS 211204 WITH SCORE 211432.791
AT ITER 2804 NEW BEST:: SOT 469862 SOS 228899 HAS SOPS 228899 HAS SOUS 211182 HAS SOUPS 211182 WITH SCORE 211410.899
AT ITER 2809 NEW BEST:: SOT 469875 SOS 228793 HAS SOPS 228793 HAS SOUS 211076 HAS SOUPS 211076 WITH SCORE 211304.793
AT ITER 2815 NEW BEST:: SOT 470158 SOS 228099 HAS SOPS 228099 HAS SOUS 211045 HAS SOUPS 211045 WITH SCORE 211273.099
AT ITER 2825 NEW BEST:: SOT 470095 SOS 228080 HAS SOPS 228080 HAS SOUS 211026 HAS SOUPS 211026 WITH SCORE 211254.08
AT ITER 2830 NEW BEST:: SOT 470045 SOS 227948 HAS SOPS 227948 HAS SOUS 210872 HAS SOUPS 210872 WITH SCORE 211099.948
AT ITER 2836 NEW BEST:: SOT 469986 SOS 227692 HAS SOPS 227692 HAS SOUS 210612 HAS SOUPS 210612 WITH SCORE 210839.692
AT ITER 2840 NEW BEST:: SOT 469790 SOS 227400 HAS SOPS 227400 HAS SOUS 210310 HAS SOUPS 210310 WITH SCORE 210537.4
AT ITER 2843 NEW BEST:: SOT 469787 SOS 227397 HAS SOPS 227397 HAS SOUS 210307 HAS SOUPS 210307 WITH SCORE 210534.397
AT ITER 2851 NEW BEST:: SOT 469827 SOS 227401 HAS SOPS 227401 HAS SOUS 210274 HAS SOUPS 210274 WITH SCORE 210501.401
AT ITER 2855 NEW BEST:: SOT 469700 SOS 227274 HAS SOPS 227274 HAS SOUS 210147 HAS SOUPS 210147 WITH SCORE 210374.274
AT ITER 2859 NEW BEST:: SOT 469550 SOS 227124 HAS SOPS 227124 HAS SOUS 209818 HAS SOUPS 209818 WITH SCORE 210045.124
AT ITER 2866 NEW BEST:: SOT 469619 SOS 227057 HAS SOPS 227057 HAS SOUS 209751 HAS SOUPS 209751 WITH SCORE 209978.057
AT ITER 2875 NEW BEST:: SOT 469596 SOS 227022 HAS SOPS 227022 HAS SOUS 209716 HAS SOUPS 209716 WITH SCORE 209943.022
AT ITER 2886 NEW BEST:: SOT 469568 SOS 226547 HAS SOPS 226547 HAS SOUS 209241 HAS SOUPS 209241 WITH SCORE 209467.547
AT ITER 2890 NEW BEST:: SOT 469554 SOS 226533 HAS SOPS 226533 HAS SOUS 209227 HAS SOUPS 209227 WITH SCORE 209453.533
AT ITER 2919 NEW BEST:: SOT 469546 SOS 226525 HAS SOPS 226525 HAS SOUS 209219 HAS SOUPS 209219 WITH SCORE 209445.525
AT ITER 2940 NEW BEST:: SOT 469536 SOS 226505 HAS SOPS 226505 HAS SOUS 209199 HAS SOUPS 209199 WITH SCORE 209425.505
AT ITER 2949 NEW BEST:: SOT 469776 SOS 226484 HAS SOPS 226484 HAS SOUS 209178 HAS SOUPS 209178 WITH SCORE 209404.484
AT ITER 2990 NEW BEST:: SOT 469776 SOS 226478 HAS SOPS 226478 HAS SOUS 209178 HAS SOUPS 209178 WITH SCORE 209404.478
AT ITER 2993 NEW BEST:: SOT 469776 SOS 225428 HAS SOPS 225428 HAS SOUS 209178 HAS SOUPS 209178 WITH SCORE 209403.428
AT ITER 3003 NEW BEST:: SOT 469776 SOS 224188 HAS SOPS 224188 HAS SOUS 208601 HAS SOUPS 208601 WITH SCORE 208825.188
AT ITER 3012 NEW BEST:: SOT 469780 SOS 224205 HAS SOPS 224205 HAS SOUS 208465 HAS SOUPS 208465 WITH SCORE 208689.205
AT ITER 3018 NEW BEST:: SOT 470065 SOS 224501 HAS SOPS 224501 HAS SOUS 208301 HAS SOUPS 208301 WITH SCORE 208525.501
AT ITER 3028 NEW BEST:: SOT 470065 SOS 224479 HAS SOPS 224479 HAS SOUS 208301 HAS SOUPS 208301 WITH SCORE 208525.479
AT ITER 3031 NEW BEST:: SOT 469965 SOS 224379 HAS SOPS 224379 HAS SOUS 208201 HAS SOUPS 208201 WITH SCORE 208425.379
AT ITER 3032 NEW BEST:: SOT 469914 SOS 224299 HAS SOPS 224299 HAS SOUS 208150 HAS SOUPS 208150 WITH SCORE 208374.299
AT ITER 3033 NEW BEST:: SOT 469914 SOS 224035 HAS SOPS 224035 HAS SOUS 208150 HAS SOUPS 208150 WITH SCORE 208374.035
AT ITER 3035 NEW BEST:: SOT 469914 SOS 223985 HAS SOPS 223985 HAS SOUS 208102 HAS SOUPS 208102 WITH SCORE 208325.985
AT ITER 3045 NEW BEST:: SOT 469942 SOS 224013 HAS SOPS 224013 HAS SOUS 208079 HAS SOUPS 208079 WITH SCORE 208303.013
AT ITER 3049 NEW BEST:: SOT 469963 SOS 223937 HAS SOPS 223937 HAS SOUS 208003 HAS SOUPS 208003 WITH SCORE 208226.937
AT ITER 3055 NEW BEST:: SOT 469665 SOS 223508 HAS SOPS 223508 HAS SOUS 207729 HAS SOUPS 207729 WITH SCORE 207952.508
AT ITER 3057 NEW BEST:: SOT 469655 SOS 223548 HAS SOPS 223548 HAS SOUS 207699 HAS SOUPS 207699 WITH SCORE 207922.548
AT ITER 3062 NEW BEST:: SOT 469655 SOS 223658 HAS SOPS 223658 HAS SOUS 207687 HAS SOUPS 207687 WITH SCORE 207910.658
AT ITER 3063 NEW BEST:: SOT 469655 SOS 223646 HAS SOPS 223646 HAS SOUS 207675 HAS SOUPS 207675 WITH SCORE 207898.646
AT ITER 3071 NEW BEST:: SOT 469655 SOS 223488 HAS SOPS 223488 HAS SOUS 207622 HAS SOUPS 207622 WITH SCORE 207845.488
AT ITER 3073 NEW BEST:: SOT 469620 SOS 223418 HAS SOPS 223418 HAS SOUS 207587 HAS SOUPS 207587 WITH SCORE 207810.418
AT ITER 3074 NEW BEST:: SOT 469635 SOS 223293 HAS SOPS 223293 HAS SOUS 207462 HAS SOUPS 207462 WITH SCORE 207685.293
AT ITER 3094 NEW BEST:: SOT 469570 SOS 223282 HAS SOPS 223282 HAS SOUS 207451 HAS SOUPS 207451 WITH SCORE 207674.282
AT ITER 3111 NEW BEST:: SOT 469449 SOS 222752 HAS SOPS 222752 HAS SOUS 207171 HAS SOUPS 207171 WITH SCORE 207393.752
AT ITER 3119 NEW BEST:: SOT 469408 SOS 222568 HAS SOPS 222568 HAS SOUS 206987 HAS SOUPS 206987 WITH SCORE 207209.568
AT ITER 3127 NEW BEST:: SOT 469378 SOS 222538 HAS SOPS 222538 HAS SOUS 206957 HAS SOUPS 206957 WITH SCORE 207179.538
AT ITER 3135 NEW BEST:: SOT 469338 SOS 222459 HAS SOPS 222459 HAS SOUS 206877 HAS SOUPS 206877 WITH SCORE 207099.459
AT ITER 3138 NEW BEST:: SOT 469362 SOS 222368 HAS SOPS 222368 HAS SOUS 206786 HAS SOUPS 206786 WITH SCORE 207008.368
AT ITER 3147 NEW BEST:: SOT 469187 SOS 221318 HAS SOPS 221318 HAS SOUS 206499 HAS SOUPS 206499 WITH SCORE 206720.318
AT ITER 3150 NEW BEST:: SOT 469439 SOS 221184 HAS SOPS 221184 HAS SOUS 206400 HAS SOUPS 206400 WITH SCORE 206621.184
AT ITER 3174 NEW BEST:: SOT 469439 SOS 221184 HAS SOPS 221184 HAS SOUS 206330 HAS SOUPS 206330 WITH SCORE 206551.184
AT ITER 3178 NEW BEST:: SOT 469437 SOS 221098 HAS SOPS 221098 HAS SOUS 206295 HAS SOUPS 206295 WITH SCORE 206516.098
AT ITER 3180 NEW BEST:: SOT 469163 SOS 220447 HAS SOPS 220447 HAS SOUS 205644 HAS SOUPS 205644 WITH SCORE 205864.447
AT ITER 3184 NEW BEST:: SOT 469247 SOS 220531 HAS SOPS 220531 HAS SOUS 205536 HAS SOUPS 205536 WITH SCORE 205756.531
AT ITER 3209 NEW BEST:: SOT 469450 SOS 220734 HAS SOPS 220734 HAS SOUS 205499 HAS SOUPS 205499 WITH SCORE 205719.734
AT ITER 3212 NEW BEST:: SOT 469433 SOS 220717 HAS SOPS 220717 HAS SOUS 205482 HAS SOUPS 205482 WITH SCORE 205702.717
AT ITER 3224 NEW BEST:: SOT 469430 SOS 220698 HAS SOPS 220698 HAS SOUS 205463 HAS SOUPS 205463 WITH SCORE 205683.698
AT ITER 3229 NEW BEST:: SOT 469472 SOS 220290 HAS SOPS 220290 HAS SOUS 205171 HAS SOUPS 205171 WITH SCORE 205391.29
AT ITER 3239 NEW BEST:: SOT 469472 SOS 220221 HAS SOPS 220221 HAS SOUS 205171 HAS SOUPS 205171 WITH SCORE 205391.221
AT ITER 3249 NEW BEST:: SOT 469359 SOS 220037 HAS SOPS 220037 HAS SOUS 204860 HAS SOUPS 204860 WITH SCORE 205080.037
AT ITER 3250 NEW BEST:: SOT 469144 SOS 219760 HAS SOPS 219760 HAS SOUS 204705 HAS SOUPS 204705 WITH SCORE 204924.76
AT ITER 3252 NEW BEST:: SOT 469130 SOS 219594 HAS SOPS 219594 HAS SOUS 204539 HAS SOUPS 204539 WITH SCORE 204758.594
AT ITER 3256 NEW BEST:: SOT 469106 SOS 219558 HAS SOPS 219558 HAS SOUS 204503 HAS SOUPS 204503 WITH SCORE 204722.558
AT ITER 3260 NEW BEST:: SOT 469012 SOS 219518 HAS SOPS 219518 HAS SOUS 204463 HAS SOUPS 204463 WITH SCORE 204682.518
AT ITER 3270 NEW BEST:: SOT 468966 SOS 219382 HAS SOPS 219382 HAS SOUS 204387 HAS SOUPS 204387 WITH SCORE 204606.382
AT ITER 3274 NEW BEST:: SOT 468888 SOS 219372 HAS SOPS 219372 HAS SOUS 204366 HAS SOUPS 204366 WITH SCORE 204585.372
AT ITER 3280 NEW BEST:: SOT 468866 SOS 219306 HAS SOPS 219306 HAS SOUS 204300 HAS SOUPS 204300 WITH SCORE 204519.306
AT ITER 3299 NEW BEST:: SOT 468617 SOS 219236 HAS SOPS 219236 HAS SOUS 204230 HAS SOUPS 204230 WITH SCORE 204449.236
AT ITER 3307 NEW BEST:: SOT 468377 SOS 218943 HAS SOPS 218943 HAS SOUS 203815 HAS SOUPS 203815 WITH SCORE 204033.943
AT ITER 3317 NEW BEST:: SOT 468151 SOS 218617 HAS SOPS 218617 HAS SOUS 203489 HAS SOUPS 203489 WITH SCORE 203707.617
AT ITER 3319 NEW BEST:: SOT 467963 SOS 218429 HAS SOPS 218429 HAS SOUS 203301 HAS SOUPS 203301 WITH SCORE 203519.429
AT ITER 3322 NEW BEST:: SOT 467920 SOS 218336 HAS SOPS 218336 HAS SOUS 203223 HAS SOUPS 203223 WITH SCORE 203441.336
AT ITER 3337 NEW BEST:: SOT 467940 SOS 217298 HAS SOPS 217298 HAS SOUS 203140 HAS SOUPS 203140 WITH SCORE 203357.298
AT ITER 3339 NEW BEST:: SOT 467825 SOS 217034 HAS SOPS 217034 HAS SOUS 202876 HAS SOUPS 202876 WITH SCORE 203093.034
AT ITER 3350 NEW BEST:: SOT 467655 SOS 216712 HAS SOPS 216712 HAS SOUS 202554 HAS SOUPS 202554 WITH SCORE 202770.712
AT ITER 3355 NEW BEST:: SOT 467544 SOS 216601 HAS SOPS 216601 HAS SOUS 202443 HAS SOUPS 202443 WITH SCORE 202659.601
AT ITER 3359 NEW BEST:: SOT 467532 SOS 216363 HAS SOPS 216363 HAS SOUS 202205 HAS SOUPS 202205 WITH SCORE 202421.363
AT ITER 3362 NEW BEST:: SOT 467220 SOS 216027 HAS SOPS 216027 HAS SOUS 201869 HAS SOUPS 201869 WITH SCORE 202085.027
AT ITER 3363 NEW BEST:: SOT 467164 SOS 215962 HAS SOPS 215962 HAS SOUS 201835 HAS SOUPS 201835 WITH SCORE 202050.962
AT ITER 3368 NEW BEST:: SOT 467108 SOS 215842 HAS SOPS 215842 HAS SOUS 201715 HAS SOUPS 201715 WITH SCORE 201930.842
AT ITER 3369 NEW BEST:: SOT 467100 SOS 215830 HAS SOPS 215830 HAS SOUS 201703 HAS SOUPS 201703 WITH SCORE 201918.83
AT ITER 3379 NEW BEST:: SOT 467218 SOS 215083 HAS SOPS 215083 HAS SOUS 201458 HAS SOUPS 201458 WITH SCORE 201673.083
AT ITER 3388 NEW BEST:: SOT 467154 SOS 214955 HAS SOPS 214955 HAS SOUS 201330 HAS SOUPS 201330 WITH SCORE 201544.955
AT ITER 3390 NEW BEST:: SOT 467154 SOS 214669 HAS SOPS 214669 HAS SOUS 201328 HAS SOUPS 201328 WITH SCORE 201542.669
AT ITER 3413 NEW BEST:: SOT 467145 SOS 214559 HAS SOPS 214559 HAS SOUS 201092 HAS SOUPS 201092 WITH SCORE 201306.559
AT ITER 3415 NEW BEST:: SOT 467034 SOS 214264 HAS SOPS 214264 HAS SOUS 200870 HAS SOUPS 200870 WITH SCORE 201084.264
AT ITER 3447 NEW BEST:: SOT 466872 SOS 214102 HAS SOPS 214102 HAS SOUS 200708 HAS SOUPS 200708 WITH SCORE 200922.102
AT ITER 3448 NEW BEST:: SOT 466888 SOS 214185 HAS SOPS 214185 HAS SOUS 200629 HAS SOUPS 200629 WITH SCORE 200843.185
AT ITER 3454 NEW BEST:: SOT 466763 SOS 213714 HAS SOPS 213714 HAS SOUS 200354 HAS SOUPS 200354 WITH SCORE 200567.714
AT ITER 3459 NEW BEST:: SOT 466770 SOS 213699 HAS SOPS 213699 HAS SOUS 200339 HAS SOUPS 200339 WITH SCORE 200552.699
AT ITER 3465 NEW BEST:: SOT 466770 SOS 213663 HAS SOPS 213663 HAS SOUS 200303 HAS SOUPS 200303 WITH SCORE 200516.663
AT ITER 3488 NEW BEST:: SOT 466748 SOS 213615 HAS SOPS 213615 HAS SOUS 200259 HAS SOUPS 200259 WITH SCORE 200472.615
AT ITER 3490 NEW BEST:: SOT 466619 SOS 213340 HAS SOPS 213340 HAS SOUS 199996 HAS SOUPS 199996 WITH SCORE 200209.34
AT ITER 3493 NEW BEST:: SOT 466604 SOS 213325 HAS SOPS 213325 HAS SOUS 199996 HAS SOUPS 199996 WITH SCORE 200209.325
AT ITER 3510 NEW BEST:: SOT 466569 SOS 213246 HAS SOPS 213246 HAS SOUS 199917 HAS SOUPS 199917 WITH SCORE 200130.246
AT ITER 3511 NEW BEST:: SOT 466379 SOS 212324 HAS SOPS 212324 HAS SOUS 199375 HAS SOUPS 199375 WITH SCORE 199587.324
AT ITER 3521 NEW BEST:: SOT 466072 SOS 211774 HAS SOPS 211774 HAS SOUS 198987 HAS SOUPS 198987 WITH SCORE 199198.774
AT ITER 3525 NEW BEST:: SOT 465989 SOS 211711 HAS SOPS 211711 HAS SOUS 198924 HAS SOUPS 198924 WITH SCORE 199135.711
AT ITER 3538 NEW BEST:: SOT 465989 SOS 211455 HAS SOPS 211455 HAS SOUS 198840 HAS SOUPS 198840 WITH SCORE 199051.455
AT ITER 3539 NEW BEST:: SOT 465735 SOS 211123 HAS SOPS 211123 HAS SOUS 198508 HAS SOUPS 198508 WITH SCORE 198719.123
AT ITER 3550 NEW BEST:: SOT 465660 SOS 211019 HAS SOPS 211019 HAS SOUS 198408 HAS SOUPS 198408 WITH SCORE 198619.019
AT ITER 3572 NEW BEST:: SOT 465376 SOS 210839 HAS SOPS 210839 HAS SOUS 198015 HAS SOUPS 198015 WITH SCORE 198225.839
AT ITER 3581 NEW BEST:: SOT 465363 SOS 210813 HAS SOPS 210813 HAS SOUS 197989 HAS SOUPS 197989 WITH SCORE 198199.813
AT ITER 3592 NEW BEST:: SOT 465363 SOS 210688 HAS SOPS 210688 HAS SOUS 197752 HAS SOUPS 197752 WITH SCORE 197962.688
AT ITER 3601 NEW BEST:: SOT 465282 SOS 210655 HAS SOPS 210655 HAS SOUS 197719 HAS SOUPS 197719 WITH SCORE 197929.655
AT ITER 3604 NEW BEST:: SOT 465278 SOS 210643 HAS SOPS 210643 HAS SOUS 197707 HAS SOUPS 197707 WITH SCORE 197917.643
AT ITER 3606 NEW BEST:: SOT 464924 SOS 210289 HAS SOPS 210289 HAS SOUS 197353 HAS SOUPS 197353 WITH SCORE 197563.289
AT ITER 3617 NEW BEST:: SOT 464722 SOS 210087 HAS SOPS 210087 HAS SOUS 197105 HAS SOUPS 197105 WITH SCORE 197315.087
AT ITER 3624 NEW BEST:: SOT 464706 SOS 210039 HAS SOPS 210039 HAS SOUS 197073 HAS SOUPS 197073 WITH SCORE 197283.039
AT ITER 3639 NEW BEST:: SOT 464653 SOS 209934 HAS SOPS 209934 HAS SOUS 196967 HAS SOUPS 196967 WITH SCORE 197176.934
AT ITER 3641 NEW BEST:: SOT 464590 SOS 209871 HAS SOPS 209871 HAS SOUS 196904 HAS SOUPS 196904 WITH SCORE 197113.871
AT ITER 3647 NEW BEST:: SOT 464590 SOS 209779 HAS SOPS 209779 HAS SOUS 196812 HAS SOUPS 196812 WITH SCORE 197021.779
AT ITER 3651 NEW BEST:: SOT 464519 SOS 209501 HAS SOPS 209501 HAS SOUS 196642 HAS SOUPS 196642 WITH SCORE 196851.501
AT ITER 3657 NEW BEST:: SOT 464380 SOS 209431 HAS SOPS 209431 HAS SOUS 196500 HAS SOUPS 196500 WITH SCORE 196709.431
AT ITER 3659 NEW BEST:: SOT 464298 SOS 209349 HAS SOPS 209349 HAS SOUS 196500 HAS SOUPS 196500 WITH SCORE 196709.349
AT ITER 3662 NEW BEST:: SOT 464256 SOS 209307 HAS SOPS 209307 HAS SOUS 196458 HAS SOUPS 196458 WITH SCORE 196667.307
AT ITER 3664 NEW BEST:: SOT 463975 SOS 208801 HAS SOPS 208801 HAS SOUS 196285 HAS SOUPS 196285 WITH SCORE 196493.801
AT ITER 3665 NEW BEST:: SOT 464000 SOS 208745 HAS SOPS 208745 HAS SOUS 196229 HAS SOUPS 196229 WITH SCORE 196437.745
AT ITER 3667 NEW BEST:: SOT 463947 SOS 208784 HAS SOPS 208784 HAS SOUS 196146 HAS SOUPS 196146 WITH SCORE 196354.784
AT ITER 3674 NEW BEST:: SOT 463957 SOS 208654 HAS SOPS 208654 HAS SOUS 196033 HAS SOUPS 196033 WITH SCORE 196241.654
AT ITER 3678 NEW BEST:: SOT 463954 SOS 208501 HAS SOPS 208501 HAS SOUS 195968 HAS SOUPS 195968 WITH SCORE 196176.501
AT ITER 3681 NEW BEST:: SOT 463898 SOS 208427 HAS SOPS 208427 HAS SOUS 195941 HAS SOUPS 195941 WITH SCORE 196149.427
AT ITER 3683 NEW BEST:: SOT 463894 SOS 208419 HAS SOPS 208419 HAS SOUS 195937 HAS SOUPS 195937 WITH SCORE 196145.419
AT ITER 3689 NEW BEST:: SOT 463894 SOS 208395 HAS SOPS 208395 HAS SOUS 195929 HAS SOUPS 195929 WITH SCORE 196137.395
AT ITER 3713 NEW BEST:: SOT 463613 SOS 207877 HAS SOPS 207877 HAS SOUS 195416 HAS SOUPS 195416 WITH SCORE 195623.877
AT ITER 3721 NEW BEST:: SOT 463612 SOS 207876 HAS SOPS 207876 HAS SOUS 195414 HAS SOUPS 195414 WITH SCORE 195621.876
AT ITER 3726 NEW BEST:: SOT 463606 SOS 207867 HAS SOPS 207867 HAS SOUS 195405 HAS SOUPS 195405 WITH SCORE 195612.867
AT ITER 3741 NEW BEST:: SOT 463607 SOS 207850 HAS SOPS 207850 HAS SOUS 195388 HAS SOUPS 195388 WITH SCORE 195595.85
AT ITER 3746 NEW BEST:: SOT 463582 SOS 207757 HAS SOPS 207757 HAS SOUS 195295 HAS SOUPS 195295 WITH SCORE 195502.757
AT ITER 3749 NEW BEST:: SOT 463577 SOS 207674 HAS SOPS 207674 HAS SOUS 195212 HAS SOUPS 195212 WITH SCORE 195419.674
AT ITER 3751 NEW BEST:: SOT 463538 SOS 207584 HAS SOPS 207584 HAS SOUS 195122 HAS SOUPS 195122 WITH SCORE 195329.584
AT ITER 3755 NEW BEST:: SOT 463527 SOS 207573 HAS SOPS 207573 HAS SOUS 195111 HAS SOUPS 195111 WITH SCORE 195318.573
AT ITER 3772 NEW BEST:: SOT 463451 SOS 207418 HAS SOPS 207418 HAS SOUS 194883 HAS SOUPS 194883 WITH SCORE 195090.418
AT ITER 3773 NEW BEST:: SOT 463381 SOS 207348 HAS SOPS 207348 HAS SOUS 194813 HAS SOUPS 194813 WITH SCORE 195020.348
AT ITER 3788 NEW BEST:: SOT 463327 SOS 207345 HAS SOPS 207345 HAS SOUS 194810 HAS SOUPS 194810 WITH SCORE 195017.345
AT ITER 3792 NEW BEST:: SOT 463225 SOS 207145 HAS SOPS 207145 HAS SOUS 194665 HAS SOUPS 194665 WITH SCORE 194872.145
AT ITER 3800 NEW BEST:: SOT 463258 SOS 207010 HAS SOPS 207010 HAS SOUS 194591 HAS SOUPS 194591 WITH SCORE 194798.01
AT ITER 3816 NEW BEST:: SOT 463256 SOS 207008 HAS SOPS 207008 HAS SOUS 194589 HAS SOUPS 194589 WITH SCORE 194796.008
AT ITER 3826 NEW BEST:: SOT 463110 SOS 206862 HAS SOPS 206862 HAS SOUS 194443 HAS SOUPS 194443 WITH SCORE 194649.862
AT ITER 3829 NEW BEST:: SOT 463110 SOS 206454 HAS SOPS 206454 HAS SOUS 194307 HAS SOUPS 194307 WITH SCORE 194513.454
AT ITER 3833 NEW BEST:: SOT 462920 SOS 206264 HAS SOPS 206264 HAS SOUS 194117 HAS SOUPS 194117 WITH SCORE 194323.264
AT ITER 3842 NEW BEST:: SOT 462907 SOS 206251 HAS SOPS 206251 HAS SOUS 194104 HAS SOUPS 194104 WITH SCORE 194310.251
AT ITER 3847 NEW BEST:: SOT 462907 SOS 205925 HAS SOPS 205925 HAS SOUS 194104 HAS SOUPS 194104 WITH SCORE 194309.925
AT ITER 3854 NEW BEST:: SOT 462890 SOS 205906 HAS SOPS 205906 HAS SOUS 194085 HAS SOUPS 194085 WITH SCORE 194290.906
AT ITER 3863 NEW BEST:: SOT 462890 SOS 205898 HAS SOPS 205898 HAS SOUS 194077 HAS SOUPS 194077 WITH SCORE 194282.898
AT ITER 3871 NEW BEST:: SOT 463136 SOS 205462 HAS SOPS 205462 HAS SOUS 193845 HAS SOUPS 193845 WITH SCORE 194050.462
AT ITER 3875 NEW BEST:: SOT 463141 SOS 205287 HAS SOPS 205287 HAS SOUS 193670 HAS SOUPS 193670 WITH SCORE 193875.287
AT ITER 3892 NEW BEST:: SOT 463141 SOS 205287 HAS SOPS 205287 HAS SOUS 193668 HAS SOUPS 193668 WITH SCORE 193873.287
AT ITER 3895 NEW BEST:: SOT 463102 SOS 205209 HAS SOPS 205209 HAS SOUS 193628 HAS SOUPS 193628 WITH SCORE 193833.209
AT ITER 3896 NEW BEST:: SOT 462914 SOS 204889 HAS SOPS 204889 HAS SOUS 193342 HAS SOUPS 193342 WITH SCORE 193546.889
AT ITER 3897 NEW BEST:: SOT 462512 SOS 204462 HAS SOPS 204462 HAS SOUS 192915 HAS SOUPS 192915 WITH SCORE 193119.462
AT ITER 3900 NEW BEST:: SOT 462512 SOS 204400 HAS SOPS 204400 HAS SOUS 192915 HAS SOUPS 192915 WITH SCORE 193119.4
AT ITER 3901 NEW BEST:: SOT 462492 SOS 204360 HAS SOPS 204360 HAS SOUS 192875 HAS SOUPS 192875 WITH SCORE 193079.36
AT ITER 3915 NEW BEST:: SOT 462344 SOS 204173 HAS SOPS 204173 HAS SOUS 192688 HAS SOUPS 192688 WITH SCORE 192892.173
AT ITER 3918 NEW BEST:: SOT 462344 SOS 204123 HAS SOPS 204123 HAS SOUS 192663 HAS SOUPS 192663 WITH SCORE 192867.123
AT ITER 3920 NEW BEST:: SOT 462302 SOS 204104 HAS SOPS 204104 HAS SOUS 192537 HAS SOUPS 192537 WITH SCORE 192741.104
AT ITER 3926 NEW BEST:: SOT 462219 SOS 204023 HAS SOPS 204023 HAS SOUS 192441 HAS SOUPS 192441 WITH SCORE 192645.023
AT ITER 3927 NEW BEST:: SOT 462216 SOS 204017 HAS SOPS 204017 HAS SOUS 192438 HAS SOUPS 192438 WITH SCORE 192642.017
AT ITER 3933 NEW BEST:: SOT 462439 SOS 203898 HAS SOPS 203898 HAS SOUS 192349 HAS SOUPS 192349 WITH SCORE 192552.898
AT ITER 3934 NEW BEST:: SOT 462289 SOS 203803 HAS SOPS 203803 HAS SOUS 192250 HAS SOUPS 192250 WITH SCORE 192453.803
AT ITER 3941 NEW BEST:: SOT 462289 SOS 203802 HAS SOPS 203802 HAS SOUS 192249 HAS SOUPS 192249 WITH SCORE 192452.802
AT ITER 3953 NEW BEST:: SOT 462067 SOS 203560 HAS SOPS 203560 HAS SOUS 191940 HAS SOUPS 191940 WITH SCORE 192143.56
AT ITER 3962 NEW BEST:: SOT 462067 SOS 203303 HAS SOPS 203303 HAS SOUS 191711 HAS SOUPS 191711 WITH SCORE 191914.303
AT ITER 3976 NEW BEST:: SOT 462067 SOS 203292 HAS SOPS 203292 HAS SOUS 191700 HAS SOUPS 191700 WITH SCORE 191903.292
AT ITER 3982 NEW BEST:: SOT 462115 SOS 203002 HAS SOPS 203002 HAS SOUS 191605 HAS SOUPS 191605 WITH SCORE 191808.002
AT ITER 3996 NEW BEST:: SOT 462101 SOS 202837 HAS SOPS 202837 HAS SOUS 191450 HAS SOUPS 191450 WITH SCORE 191652.837
AT ITER 3997 NEW BEST:: SOT 462046 SOS 202782 HAS SOPS 202782 HAS SOUS 191395 HAS SOUPS 191395 WITH SCORE 191597.782
AT ITER 4005 NEW BEST:: SOT 461919 SOS 202528 HAS SOPS 202528 HAS SOUS 191141 HAS SOUPS 191141 WITH SCORE 191343.528
AT ITER 4011 NEW BEST:: SOT 461929 SOS 202450 HAS SOPS 202450 HAS SOUS 191063 HAS SOUPS 191063 WITH SCORE 191265.45
AT ITER 4012 NEW BEST:: SOT 461833 SOS 202230 HAS SOPS 202230 HAS SOUS 190843 HAS SOUPS 190843 WITH SCORE 191045.23
AT ITER 4022 NEW BEST:: SOT 461844 SOS 202203 HAS SOPS 202203 HAS SOUS 190816 HAS SOUPS 190816 WITH SCORE 191018.203
AT ITER 4028 NEW BEST:: SOT 461787 SOS 202260 HAS SOPS 202260 HAS SOUS 190770 HAS SOUPS 190770 WITH SCORE 190972.26
AT ITER 4044 NEW BEST:: SOT 461806 SOS 201934 HAS SOPS 201934 HAS SOUS 190540 HAS SOUPS 190540 WITH SCORE 190741.934
AT ITER 4051 NEW BEST:: SOT 461794 SOS 201747 HAS SOPS 201747 HAS SOUS 190329 HAS SOUPS 190329 WITH SCORE 190530.747
AT ITER 4054 NEW BEST:: SOT 461772 SOS 201474 HAS SOPS 201474 HAS SOUS 190156 HAS SOUPS 190156 WITH SCORE 190357.474
AT ITER 4058 NEW BEST:: SOT 461844 SOS 201408 HAS SOPS 201408 HAS SOUS 190090 HAS SOUPS 190090 WITH SCORE 190291.408
AT ITER 4060 NEW BEST:: SOT 461688 SOS 201313 HAS SOPS 201313 HAS SOUS 189893 HAS SOUPS 189893 WITH SCORE 190094.313
AT ITER 4061 NEW BEST:: SOT 461273 SOS 200640 HAS SOPS 200640 HAS SOUS 189220 HAS SOUPS 189220 WITH SCORE 189420.64
AT ITER 4063 NEW BEST:: SOT 461130 SOS 200701 HAS SOPS 200701 HAS SOUS 188921 HAS SOUPS 188921 WITH SCORE 189121.701
AT ITER 4073 NEW BEST:: SOT 461158 SOS 200603 HAS SOPS 200603 HAS SOUS 188823 HAS SOUPS 188823 WITH SCORE 189023.603
AT ITER 4075 NEW BEST:: SOT 461045 SOS 200295 HAS SOPS 200295 HAS SOUS 188515 HAS SOUPS 188515 WITH SCORE 188715.295
AT ITER 4082 NEW BEST:: SOT 460763 SOS 200013 HAS SOPS 200013 HAS SOUS 188211 HAS SOUPS 188211 WITH SCORE 188411.013
AT ITER 4084 NEW BEST:: SOT 460606 SOS 199856 HAS SOPS 199856 HAS SOUS 188054 HAS SOUPS 188054 WITH SCORE 188253.856
AT ITER 4097 NEW BEST:: SOT 460550 SOS 199887 HAS SOPS 199887 HAS SOUS 188034 HAS SOUPS 188034 WITH SCORE 188233.887
AT ITER 4102 NEW BEST:: SOT 460428 SOS 199738 HAS SOPS 199738 HAS SOUS 187885 HAS SOUPS 187885 WITH SCORE 188084.738
AT ITER 4104 NEW BEST:: SOT 460364 SOS 199661 HAS SOPS 199661 HAS SOUS 187808 HAS SOUPS 187808 WITH SCORE 188007.661
AT ITER 4105 NEW BEST:: SOT 460280 SOS 199535 HAS SOPS 199535 HAS SOUS 187682 HAS SOUPS 187682 WITH SCORE 187881.535
AT ITER 4110 NEW BEST:: SOT 459812 SOS 199022 HAS SOPS 199022 HAS SOUS 187068 HAS SOUPS 187068 WITH SCORE 187267.022
AT ITER 4125 NEW BEST:: SOT 460030 SOS 198820 HAS SOPS 198820 HAS SOUS 186875 HAS SOUPS 186875 WITH SCORE 187073.82
AT ITER 4126 NEW BEST:: SOT 460030 SOS 198502 HAS SOPS 198502 HAS SOUS 186557 HAS SOUPS 186557 WITH SCORE 186755.502
AT ITER 4139 NEW BEST:: SOT 460090 SOS 198492 HAS SOPS 198492 HAS SOUS 186509 HAS SOUPS 186509 WITH SCORE 186707.492
AT ITER 4156 NEW BEST:: SOT 460083 SOS 198484 HAS SOPS 198484 HAS SOUS 186501 HAS SOUPS 186501 WITH SCORE 186699.484
AT ITER 4160 NEW BEST:: SOT 459508 SOS 197802 HAS SOPS 197802 HAS SOUS 185877 HAS SOUPS 185877 WITH SCORE 186074.802
AT ITER 4165 NEW BEST:: SOT 459464 SOS 197758 HAS SOPS 197758 HAS SOUS 185811 HAS SOUPS 185811 WITH SCORE 186008.758
AT ITER 4166 NEW BEST:: SOT 459503 SOS 197354 HAS SOPS 197354 HAS SOUS 185648 HAS SOUPS 185648 WITH SCORE 185845.354
AT ITER 4186 NEW BEST:: SOT 459293 SOS 197004 HAS SOPS 197004 HAS SOUS 185363 HAS SOUPS 185363 WITH SCORE 185560.004
AT ITER 4187 NEW BEST:: SOT 459278 SOS 196989 HAS SOPS 196989 HAS SOUS 185348 HAS SOUPS 185348 WITH SCORE 185544.989
AT ITER 4190 NEW BEST:: SOT 459277 SOS 196976 HAS SOPS 196976 HAS SOUS 185335 HAS SOUPS 185335 WITH SCORE 185531.976
AT ITER 4192 NEW BEST:: SOT 459277 SOS 196955 HAS SOPS 196955 HAS SOUS 185314 HAS SOUPS 185314 WITH SCORE 185510.955
AT ITER 4196 NEW BEST:: SOT 459105 SOS 196691 HAS SOPS 196691 HAS SOUS 185050 HAS SOUPS 185050 WITH SCORE 185246.691
AT ITER 4200 NEW BEST:: SOT 459105 SOS 196665 HAS SOPS 196665 HAS SOUS 185029 HAS SOUPS 185029 WITH SCORE 185225.665
AT ITER 4230 NEW BEST:: SOT 459064 SOS 196733 HAS SOPS 196733 HAS SOUS 184947 HAS SOUPS 184947 WITH SCORE 185143.733
AT ITER 4248 NEW BEST:: SOT 458966 SOS 196612 HAS SOPS 196612 HAS SOUS 184822 HAS SOUPS 184822 WITH SCORE 185018.612
AT ITER 4272 NEW BEST:: SOT 458890 SOS 196599 HAS SOPS 196599 HAS SOUS 184746 HAS SOUPS 184746 WITH SCORE 184942.599
AT ITER 4278 NEW BEST:: SOT 458874 SOS 196567 HAS SOPS 196567 HAS SOUS 184714 HAS SOUPS 184714 WITH SCORE 184910.567
AT ITER 4279 NEW BEST:: SOT 458816 SOS 196509 HAS SOPS 196509 HAS SOUS 184656 HAS SOUPS 184656 WITH SCORE 184852.509
AT ITER 4282 NEW BEST:: SOT 458816 SOS 196394 HAS SOPS 196394 HAS SOUS 184541 HAS SOUPS 184541 WITH SCORE 184737.394
AT ITER 4290 NEW BEST:: SOT 458763 SOS 196341 HAS SOPS 196341 HAS SOUS 184488 HAS SOUPS 184488 WITH SCORE 184684.341
AT ITER 4297 NEW BEST:: SOT 458278 SOS 196226 HAS SOPS 196226 HAS SOUS 184305 HAS SOUPS 184305 WITH SCORE 184501.226
AT ITER 4308 NEW BEST:: SOT 458278 SOS 196226 HAS SOPS 196226 HAS SOUS 184247 HAS SOUPS 184247 WITH SCORE 184443.226
AT ITER 4311 NEW BEST:: SOT 458026 SOS 195974 HAS SOPS 195974 HAS SOUS 183869 HAS SOUPS 183869 WITH SCORE 184064.974
AT ITER 4318 NEW BEST:: SOT 458011 SOS 195959 HAS SOPS 195959 HAS SOUS 183854 HAS SOUPS 183854 WITH SCORE 184049.959
AT ITER 4326 NEW BEST:: SOT 458011 SOS 195953 HAS SOPS 195953 HAS SOUS 183851 HAS SOUPS 183851 WITH SCORE 184046.953
AT ITER 4328 NEW BEST:: SOT 458011 SOS 195924 HAS SOPS 195924 HAS SOUS 183822 HAS SOUPS 183822 WITH SCORE 184017.924
AT ITER 4333 NEW BEST:: SOT 458011 SOS 195867 HAS SOPS 195867 HAS SOUS 183803 HAS SOUPS 183803 WITH SCORE 183998.867
AT ITER 4335 NEW BEST:: SOT 458196 SOS 195823 HAS SOPS 195823 HAS SOUS 183759 HAS SOUPS 183759 WITH SCORE 183954.823
AT ITER 4340 NEW BEST:: SOT 458064 SOS 195574 HAS SOPS 195574 HAS SOUS 183510 HAS SOUPS 183510 WITH SCORE 183705.574
AT ITER 4350 NEW BEST:: SOT 458000 SOS 195510 HAS SOPS 195510 HAS SOUS 183446 HAS SOUPS 183446 WITH SCORE 183641.51
AT ITER 4356 NEW BEST:: SOT 458000 SOS 195374 HAS SOPS 195374 HAS SOUS 183310 HAS SOUPS 183310 WITH SCORE 183505.374
AT ITER 4375 NEW BEST:: SOT 458000 SOS 195285 HAS SOPS 195285 HAS SOUS 183310 HAS SOUPS 183310 WITH SCORE 183505.285
AT ITER 4390 NEW BEST:: SOT 457854 SOS 194965 HAS SOPS 194965 HAS SOUS 182974 HAS SOUPS 182974 WITH SCORE 183168.965
AT ITER 4393 NEW BEST:: SOT 457769 SOS 194598 HAS SOPS 194598 HAS SOUS 182607 HAS SOUPS 182607 WITH SCORE 182801.598
AT ITER 4396 NEW BEST:: SOT 457616 SOS 194433 HAS SOPS 194433 HAS SOUS 182543 HAS SOUPS 182543 WITH SCORE 182737.433
AT ITER 4441 NEW BEST:: SOT 457594 SOS 194433 HAS SOPS 194433 HAS SOUS 182526 HAS SOUPS 182526 WITH SCORE 182720.433
AT ITER 4443 NEW BEST:: SOT 457575 SOS 194318 HAS SOPS 194318 HAS SOUS 182239 HAS SOUPS 182239 WITH SCORE 182433.318
AT ITER 4452 NEW BEST:: SOT 457640 SOS 194001 HAS SOPS 194001 HAS SOUS 182196 HAS SOUPS 182196 WITH SCORE 182390.001
AT ITER 4460 NEW BEST:: SOT 457559 SOS 193892 HAS SOPS 193892 HAS SOUS 182073 HAS SOUPS 182073 WITH SCORE 182266.892
AT ITER 4463 NEW BEST:: SOT 457401 SOS 193391 HAS SOPS 193391 HAS SOUS 181674 HAS SOUPS 181674 WITH SCORE 181867.391
AT ITER 4465 NEW BEST:: SOT 457426 SOS 193375 HAS SOPS 193375 HAS SOUS 181658 HAS SOUPS 181658 WITH SCORE 181851.375
AT ITER 4485 NEW BEST:: SOT 457370 SOS 193375 HAS SOPS 193375 HAS SOUS 181602 HAS SOUPS 181602 WITH SCORE 181795.375
AT ITER 4487 NEW BEST:: SOT 457342 SOS 193315 HAS SOPS 193315 HAS SOUS 181542 HAS SOUPS 181542 WITH SCORE 181735.315
AT ITER 4493 NEW BEST:: SOT 457054 SOS 192982 HAS SOPS 192982 HAS SOUS 181209 HAS SOUPS 181209 WITH SCORE 181401.982
AT ITER 4498 NEW BEST:: SOT 457026 SOS 192954 HAS SOPS 192954 HAS SOUS 181181 HAS SOUPS 181181 WITH SCORE 181373.954
AT ITER 4501 NEW BEST:: SOT 457026 SOS 192867 HAS SOPS 192867 HAS SOUS 181094 HAS SOUPS 181094 WITH SCORE 181286.867
AT ITER 4525 NEW BEST:: SOT 456934 SOS 192826 HAS SOPS 192826 HAS SOUS 181053 HAS SOUPS 181053 WITH SCORE 181245.826
AT ITER 4530 NEW BEST:: SOT 456865 SOS 192854 HAS SOPS 192854 HAS SOUS 180995 HAS SOUPS 180995 WITH SCORE 181187.854
AT ITER 4542 NEW BEST:: SOT 456835 SOS 192579 HAS SOPS 192579 HAS SOUS 180943 HAS SOUPS 180943 WITH SCORE 181135.579
AT ITER 4547 NEW BEST:: SOT 456837 SOS 192441 HAS SOPS 192441 HAS SOUS 180802 HAS SOUPS 180802 WITH SCORE 180994.441
AT ITER 4559 NEW BEST:: SOT 456687 SOS 192291 HAS SOPS 192291 HAS SOUS 180652 HAS SOUPS 180652 WITH SCORE 180844.291
AT ITER 4569 NEW BEST:: SOT 456561 SOS 192243 HAS SOPS 192243 HAS SOUS 180604 HAS SOUPS 180604 WITH SCORE 180796.243
AT ITER 4572 NEW BEST:: SOT 456497 SOS 192179 HAS SOPS 192179 HAS SOUS 180540 HAS SOUPS 180540 WITH SCORE 180732.179
AT ITER 4574 NEW BEST:: SOT 456052 SOS 191618 HAS SOPS 191618 HAS SOUS 179979 HAS SOUPS 179979 WITH SCORE 180170.618
AT ITER 4577 NEW BEST:: SOT 456047 SOS 191598 HAS SOPS 191598 HAS SOUS 179969 HAS SOUPS 179969 WITH SCORE 180160.598
AT ITER 4580 NEW BEST:: SOT 456026 SOS 191570 HAS SOPS 191570 HAS SOUS 179941 HAS SOUPS 179941 WITH SCORE 180132.57
AT ITER 4583 NEW BEST:: SOT 456067 SOS 191562 HAS SOPS 191562 HAS SOUS 179908 HAS SOUPS 179908 WITH SCORE 180099.562
AT ITER 4612 NEW BEST:: SOT 456010 SOS 191476 HAS SOPS 191476 HAS SOUS 179815 HAS SOUPS 179815 WITH SCORE 180006.476
AT ITER 4617 NEW BEST:: SOT 456012 SOS 191206 HAS SOPS 191206 HAS SOUS 179793 HAS SOUPS 179793 WITH SCORE 179984.206
AT ITER 4624 NEW BEST:: SOT 455993 SOS 191111 HAS SOPS 191111 HAS SOUS 179736 HAS SOUPS 179736 WITH SCORE 179927.111
AT ITER 4626 NEW BEST:: SOT 455917 SOS 191035 HAS SOPS 191035 HAS SOUS 179660 HAS SOUPS 179660 WITH SCORE 179851.035
AT ITER 4627 NEW BEST:: SOT 455917 SOS 191035 HAS SOPS 191035 HAS SOUS 179647 HAS SOUPS 179647 WITH SCORE 179838.035
AT ITER 4632 NEW BEST:: SOT 455894 SOS 190915 HAS SOPS 190915 HAS SOUS 179601 HAS SOUPS 179601 WITH SCORE 179791.915
AT ITER 4633 NEW BEST:: SOT 455774 SOS 190675 HAS SOPS 190675 HAS SOUS 179395 HAS SOUPS 179395 WITH SCORE 179585.675
AT ITER 4640 NEW BEST:: SOT 455774 SOS 190622 HAS SOPS 190622 HAS SOUS 179342 HAS SOUPS 179342 WITH SCORE 179532.622
AT ITER 4656 NEW BEST:: SOT 455728 SOS 190576 HAS SOPS 190576 HAS SOUS 179296 HAS SOUPS 179296 WITH SCORE 179486.576
AT ITER 4658 NEW BEST:: SOT 455728 SOS 190536 HAS SOPS 190536 HAS SOUS 179256 HAS SOUPS 179256 WITH SCORE 179446.536
AT ITER 4660 NEW BEST:: SOT 455610 SOS 190419 HAS SOPS 190419 HAS SOUS 179082 HAS SOUPS 179082 WITH SCORE 179272.419
AT ITER 4662 NEW BEST:: SOT 455610 SOS 190394 HAS SOPS 190394 HAS SOUS 179057 HAS SOUPS 179057 WITH SCORE 179247.394
AT ITER 4663 NEW BEST:: SOT 455515 SOS 190299 HAS SOPS 190299 HAS SOUS 178962 HAS SOUPS 178962 WITH SCORE 179152.299
AT ITER 4681 NEW BEST:: SOT 455497 SOS 190095 HAS SOPS 190095 HAS SOUS 178790 HAS SOUPS 178790 WITH SCORE 178980.095
AT ITER 4687 NEW BEST:: SOT 455469 SOS 190025 HAS SOPS 190025 HAS SOUS 178734 HAS SOUPS 178734 WITH SCORE 178924.025
AT ITER 4695 NEW BEST:: SOT 455423 SOS 189962 HAS SOPS 189962 HAS SOUS 178688 HAS SOUPS 178688 WITH SCORE 178877.962
AT ITER 4696 NEW BEST:: SOT 455361 SOS 189900 HAS SOPS 189900 HAS SOUS 178626 HAS SOUPS 178626 WITH SCORE 178815.9
AT ITER 4700 NEW BEST:: SOT 455323 SOS 189832 HAS SOPS 189832 HAS SOUS 178558 HAS SOUPS 178558 WITH SCORE 178747.832
AT ITER 4704 NEW BEST:: SOT 455323 SOS 189802 HAS SOPS 189802 HAS SOUS 178546 HAS SOUPS 178546 WITH SCORE 178735.802
AT ITER 4710 NEW BEST:: SOT 454967 SOS 189446 HAS SOPS 189446 HAS SOUS 178190 HAS SOUPS 178190 WITH SCORE 178379.446
AT ITER 4725 NEW BEST:: SOT 454861 SOS 189321 HAS SOPS 189321 HAS SOUS 178065 HAS SOUPS 178065 WITH SCORE 178254.321
AT ITER 4751 NEW BEST:: SOT 455105 SOS 189201 HAS SOPS 189201 HAS SOUS 178015 HAS SOUPS 178015 WITH SCORE 178204.201
AT ITER 4754 NEW BEST:: SOT 455105 SOS 189173 HAS SOPS 189173 HAS SOUS 177987 HAS SOUPS 177987 WITH SCORE 178176.173
AT ITER 4781 NEW BEST:: SOT 455104 SOS 189172 HAS SOPS 189172 HAS SOUS 177986 HAS SOUPS 177986 WITH SCORE 178175.172
AT ITER 4785 NEW BEST:: SOT 455104 SOS 189299 HAS SOPS 189299 HAS SOUS 177963 HAS SOUPS 177963 WITH SCORE 178152.299
AT ITER 4815 NEW BEST:: SOT 455092 SOS 189287 HAS SOPS 189287 HAS SOUS 177963 HAS SOUPS 177963 WITH SCORE 178152.287
AT ITER 4826 NEW BEST:: SOT 455091 SOS 189286 HAS SOPS 189286 HAS SOUS 177962 HAS SOUPS 177962 WITH SCORE 178151.286
AT ITER 4837 NEW BEST:: SOT 454955 SOS 189082 HAS SOPS 189082 HAS SOUS 177758 HAS SOUPS 177758 WITH SCORE 177947.082
AT ITER 4838 NEW BEST:: SOT 454955 SOS 188941 HAS SOPS 188941 HAS SOUS 177617 HAS SOUPS 177617 WITH SCORE 177805.941
AT ITER 4843 NEW BEST:: SOT 454749 SOS 188691 HAS SOPS 188691 HAS SOUS 177367 HAS SOUPS 177367 WITH SCORE 177555.691
AT ITER 4852 NEW BEST:: SOT 454684 SOS 188584 HAS SOPS 188584 HAS SOUS 177263 HAS SOUPS 177263 WITH SCORE 177451.584
AT ITER 4853 NEW BEST:: SOT 454750 SOS 188311 HAS SOPS 188311 HAS SOUS 177115 HAS SOUPS 177115 WITH SCORE 177303.311
AT ITER 4857 NEW BEST:: SOT 454697 SOS 188258 HAS SOPS 188258 HAS SOUS 177062 HAS SOUPS 177062 WITH SCORE 177250.258
AT ITER 4867 NEW BEST:: SOT 454697 SOS 188248 HAS SOPS 188248 HAS SOUS 177052 HAS SOUPS 177052 WITH SCORE 177240.248
AT ITER 4870 NEW BEST:: SOT 454681 SOS 188201 HAS SOPS 188201 HAS SOUS 177015 HAS SOUPS 177015 WITH SCORE 177203.201
AT ITER 4891 NEW BEST:: SOT 454681 SOS 188128 HAS SOPS 188128 HAS SOUS 177001 HAS SOUPS 177001 WITH SCORE 177189.128
AT ITER 4902 NEW BEST:: SOT 454633 SOS 188080 HAS SOPS 188080 HAS SOUS 176953 HAS SOUPS 176953 WITH SCORE 177141.08
AT ITER 4911 NEW BEST:: SOT 454467 SOS 187914 HAS SOPS 187914 HAS SOUS 176919 HAS SOUPS 176919 WITH SCORE 177106.914
AT ITER 4916 NEW BEST:: SOT 454432 SOS 187879 HAS SOPS 187879 HAS SOUS 176884 HAS SOUPS 176884 WITH SCORE 177071.879
AT ITER 4937 NEW BEST:: SOT 454380 SOS 187775 HAS SOPS 187775 HAS SOUS 176780 HAS SOUPS 176780 WITH SCORE 176967.775
AT ITER 4939 NEW BEST:: SOT 454331 SOS 187636 HAS SOPS 187636 HAS SOUS 176641 HAS SOUPS 176641 WITH SCORE 176828.636
AT ITER 4952 NEW BEST:: SOT 454187 SOS 187397 HAS SOPS 187397 HAS SOUS 176420 HAS SOUPS 176420 WITH SCORE 176607.397
AT ITER 4954 NEW BEST:: SOT 454187 SOS 187424 HAS SOPS 187424 HAS SOUS 176398 HAS SOUPS 176398 WITH SCORE 176585.424
AT ITER 4964 NEW BEST:: SOT 453984 SOS 187319 HAS SOPS 187319 HAS SOUS 176293 HAS SOUPS 176293 WITH SCORE 176480.319
AT ITER 4971 NEW BEST:: SOT 453853 SOS 186891 HAS SOPS 186891 HAS SOUS 175872 HAS SOUPS 175872 WITH SCORE 176058.891
AT ITER 4989 NEW BEST:: SOT 453896 SOS 186733 HAS SOPS 186733 HAS SOUS 175841 HAS SOUPS 175841 WITH SCORE 176027.733
AT ITER 4995 NEW BEST:: SOT 453712 SOS 186549 HAS SOPS 186549 HAS SOUS 175841 HAS SOUPS 175841 WITH SCORE 176027.549
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ShieldPPPt-PT-040A-CTLCardinality-00 ( (EF((EF(potential( ( 1 ) <= (tk(P548)) ))))) | potential( ( 2 ) <= (tk(P1000)) ) )
PROPERTY: ShieldPPPt-PT-040A-CTLCardinality-01 (EX( ( ( (! potential( (tk(P289)) <= (tk(P757)) )) | ( potential( ( 1 ) <= (tk(P965)) ) & potential( (tk(P902)) <= (tk(P353)) ) ) ) | (EF(potential( (tk(P229)) <= (tk(P432)) ))) )))
PROPERTY: ShieldPPPt-PT-040A-CTLCardinality-02 (EF((! (EG( potential( (tk(P282)) <= (tk(P301)) ))))))
PROPERTY: ShieldPPPt-PT-040A-CTLCardinality-03 (EG( (AU( potential( (tk(P338)) <= (tk(P257)) ),potential( (tk(P993)) <= (tk(P884)) ) ))))
PROPERTY: ShieldPPPt-PT-040A-CTLCardinality-04 (EF((AF(potential( ( 3 ) <= (tk(P899)) )))))
PROPERTY: ShieldPPPt-PT-040A-CTLCardinality-05 (EF((EX( potential( ( 3 ) <= (tk(P271)) )))))
PROPERTY: ShieldPPPt-PT-040A-CTLCardinality-06 (EX( (EF(potential( ( 1 ) <= (tk(P309)) )))))
PROPERTY: ShieldPPPt-PT-040A-CTLCardinality-07 ( (AG( potential( (tk(P826)) <= (tk(P801)) ))) | ( (AU( potential( ( 2 ) <= (tk(P453)) ),potential( (tk(P304)) <= (tk(P934)) ) )) & (EU( potential( ( 1 ) <= (tk(P190)) ),potential( ( 1 ) <= (tk(P380)) ) )) ) )
PROPERTY: ShieldPPPt-PT-040A-CTLCardinality-08 (! (! (! (EF(potential( ( 1 ) <= (tk(P512)) ))))))
PROPERTY: ShieldPPPt-PT-040A-CTLCardinality-09 (EF(( ( (! potential( ( 3 ) <= (tk(P316)) )) | ( potential( ( 1 ) <= (tk(P752)) ) & potential( (tk(P203)) <= (tk(P84)) ) ) ) & (AG( potential( (tk(P267)) <= (tk(P75)) ))) )))
PROPERTY: ShieldPPPt-PT-040A-CTLCardinality-10 ( potential( (tk(P559)) <= (tk(P876)) ) & (! (AG( potential( (tk(P857)) <= (tk(P909)) )))) )
PROPERTY: ShieldPPPt-PT-040A-CTLCardinality-11 (AG( ( ( (! potential( (tk(P919)) <= (tk(P790)) )) | ( potential( ( 1 ) <= (tk(P870)) ) & potential( (tk(P589)) <= (tk(P525)) ) ) ) | (! ( potential( (tk(P403)) <= (tk(P840)) ) & potential( ( 2 ) <= (tk(P552)) ) )) )))
PROPERTY: ShieldPPPt-PT-040A-CTLCardinality-12 ( (EF((! ( potential( (tk(P80)) <= (tk(P356)) ) | potential( (tk(P690)) <= (tk(P439)) ) )))) | (! (AX( ( potential( (tk(P934)) <= (tk(P428)) ) & potential( (tk(P889)) <= (tk(P193)) ) )))) )
PROPERTY: ShieldPPPt-PT-040A-CTLCardinality-13 (EF(potential( ( 2 ) <= (tk(P91)) )))
PROPERTY: ShieldPPPt-PT-040A-CTLCardinality-14 (! (EU( (! potential( ( 1 ) <= (tk(P340)) )),( potential( ( 2 ) <= (tk(P39)) ) & potential( ( 2 ) <= (tk(P808)) ) ) )))
PROPERTY: ShieldPPPt-PT-040A-CTLCardinality-15 (AG( ( (AF(potential( (tk(P640)) <= (tk(P376)) ))) | (! ( potential( ( 1 ) <= (tk(P957)) ) & potential( (tk(P174)) <= (tk(P390)) ) )) )))

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="ShieldPPPt-PT-040A"
export BK_EXAMINATION="CTLCardinality"
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 ShieldPPPt-PT-040A, examination is CTLCardinality"
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-159033469800699"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ShieldPPPt-PT-040A.tgz
mv ShieldPPPt-PT-040A execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;