fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r207-tajo-159033469900700
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
15764.760 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-159033469900700.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 CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469900700
=====================================================================

--------------------
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-CTLFireability-00
FORMULA_NAME ShieldPPPt-PT-040A-CTLFireability-01
FORMULA_NAME ShieldPPPt-PT-040A-CTLFireability-02
FORMULA_NAME ShieldPPPt-PT-040A-CTLFireability-03
FORMULA_NAME ShieldPPPt-PT-040A-CTLFireability-04
FORMULA_NAME ShieldPPPt-PT-040A-CTLFireability-05
FORMULA_NAME ShieldPPPt-PT-040A-CTLFireability-06
FORMULA_NAME ShieldPPPt-PT-040A-CTLFireability-07
FORMULA_NAME ShieldPPPt-PT-040A-CTLFireability-08
FORMULA_NAME ShieldPPPt-PT-040A-CTLFireability-09
FORMULA_NAME ShieldPPPt-PT-040A-CTLFireability-10
FORMULA_NAME ShieldPPPt-PT-040A-CTLFireability-11
FORMULA_NAME ShieldPPPt-PT-040A-CTLFireability-12
FORMULA_NAME ShieldPPPt-PT-040A-CTLFireability-13
FORMULA_NAME ShieldPPPt-PT-040A-CTLFireability-14
FORMULA_NAME ShieldPPPt-PT-040A-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1590450097183

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

GOT IT HERE. BS
Petri model created: 1003 places, 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 1 NEW BEST:: SOT 596810 SOS 500283 HAS SOPS 500283 HAS SOUS 403107 HAS SOUPS 403107 WITH SCORE 403607.283
AT ITER 2 NEW BEST:: SOT 596810 SOS 499480 HAS SOPS 499480 HAS SOUS 403032 HAS SOUPS 403032 WITH SCORE 403531.48
AT ITER 3 NEW BEST:: SOT 596667 SOS 499337 HAS SOPS 499337 HAS SOUS 402889 HAS SOUPS 402889 WITH SCORE 403388.337
AT ITER 5 NEW BEST:: SOT 596667 SOS 498912 HAS SOPS 498912 HAS SOUS 402887 HAS SOUPS 402887 WITH SCORE 403385.912
AT ITER 6 NEW BEST:: SOT 595698 SOS 498076 HAS SOPS 498076 HAS SOUS 401728 HAS SOUPS 401728 WITH SCORE 402226.076
AT ITER 8 NEW BEST:: SOT 595358 SOS 497736 HAS SOPS 497736 HAS SOUS 401388 HAS SOUPS 401388 WITH SCORE 401885.736
AT ITER 9 NEW BEST:: SOT 595358 SOS 497407 HAS SOPS 497407 HAS SOUS 401386 HAS SOUPS 401386 WITH SCORE 401883.407
AT ITER 10 NEW BEST:: SOT 594898 SOS 497132 HAS SOPS 497132 HAS SOUS 401119 HAS SOUPS 401119 WITH SCORE 401616.132
AT ITER 11 NEW BEST:: SOT 593520 SOS 495098 HAS SOPS 495098 HAS SOUS 399553 HAS SOUPS 399553 WITH SCORE 400048.098
AT ITER 12 NEW BEST:: SOT 593192 SOS 494909 HAS SOPS 494909 HAS SOUS 399502 HAS SOUPS 399502 WITH SCORE 399996.909
AT ITER 14 NEW BEST:: SOT 592059 SOS 493776 HAS SOPS 493776 HAS SOUS 398550 HAS SOUPS 398550 WITH SCORE 399043.776
AT ITER 17 NEW BEST:: SOT 591723 SOS 493429 HAS SOPS 493429 HAS SOUS 398203 HAS SOUPS 398203 WITH SCORE 398696.429
AT ITER 20 NEW BEST:: SOT 591875 SOS 491663 HAS SOPS 491663 HAS SOUS 397558 HAS SOUPS 397558 WITH SCORE 398049.663
AT ITER 21 NEW BEST:: SOT 590552 SOS 490340 HAS SOPS 490340 HAS SOUS 396235 HAS SOUPS 396235 WITH SCORE 396725.34
AT ITER 23 NEW BEST:: SOT 589080 SOS 487128 HAS SOPS 487128 HAS SOUS 394069 HAS SOUPS 394069 WITH SCORE 394556.128
AT ITER 24 NEW BEST:: SOT 588648 SOS 486694 HAS SOPS 486694 HAS SOUS 393635 HAS SOUPS 393635 WITH SCORE 394121.694
AT ITER 25 NEW BEST:: SOT 588907 SOS 485418 HAS SOPS 485418 HAS SOUS 393076 HAS SOUPS 393076 WITH SCORE 393561.418
AT ITER 26 NEW BEST:: SOT 588907 SOS 484764 HAS SOPS 484764 HAS SOUS 393068 HAS SOUPS 393068 WITH SCORE 393552.764
AT ITER 28 NEW BEST:: SOT 588351 SOS 484206 HAS SOPS 484206 HAS SOUS 392509 HAS SOUPS 392509 WITH SCORE 392993.206
AT ITER 34 NEW BEST:: SOT 587309 SOS 483162 HAS SOPS 483162 HAS SOUS 391845 HAS SOUPS 391845 WITH SCORE 392328.162
AT ITER 37 NEW BEST:: SOT 587035 SOS 482888 HAS SOPS 482888 HAS SOUS 391571 HAS SOUPS 391571 WITH SCORE 392053.888
AT ITER 38 NEW BEST:: SOT 586720 SOS 481497 HAS SOPS 481497 HAS SOUS 390920 HAS SOUPS 390920 WITH SCORE 391401.497
AT ITER 39 NEW BEST:: SOT 586034 SOS 480539 HAS SOPS 480539 HAS SOUS 390117 HAS SOUPS 390117 WITH SCORE 390597.539
AT ITER 40 NEW BEST:: SOT 585711 SOS 480216 HAS SOPS 480216 HAS SOUS 389792 HAS SOUPS 389792 WITH SCORE 390272.216
AT ITER 44 NEW BEST:: SOT 584549 SOS 476969 HAS SOPS 476969 HAS SOUS 387919 HAS SOUPS 387919 WITH SCORE 388395.969
AT ITER 46 NEW BEST:: SOT 584517 SOS 476937 HAS SOPS 476937 HAS SOUS 387887 HAS SOUPS 387887 WITH SCORE 388363.937
AT ITER 48 NEW BEST:: SOT 584312 SOS 476732 HAS SOPS 476732 HAS SOUS 387680 HAS SOUPS 387680 WITH SCORE 388156.732
AT ITER 49 NEW BEST:: SOT 583637 SOS 474559 HAS SOPS 474559 HAS SOUS 386305 HAS SOUPS 386305 WITH SCORE 386779.559
AT ITER 50 NEW BEST:: SOT 583595 SOS 474517 HAS SOPS 474517 HAS SOUS 386272 HAS SOUPS 386272 WITH SCORE 386746.517
AT ITER 51 NEW BEST:: SOT 582958 SOS 473880 HAS SOPS 473880 HAS SOUS 386000 HAS SOUPS 386000 WITH SCORE 386473.88
AT ITER 56 NEW BEST:: SOT 582434 SOS 471594 HAS SOPS 471594 HAS SOUS 384634 HAS SOUPS 384634 WITH SCORE 385105.594
AT ITER 57 NEW BEST:: SOT 582434 SOS 471456 HAS SOPS 471456 HAS SOUS 384634 HAS SOUPS 384634 WITH SCORE 385105.456
AT ITER 59 NEW BEST:: SOT 582434 SOS 471159 HAS SOPS 471159 HAS SOUS 384627 HAS SOUPS 384627 WITH SCORE 385098.159
AT ITER 64 NEW BEST:: SOT 582085 SOS 470889 HAS SOPS 470889 HAS SOUS 384435 HAS SOUPS 384435 WITH SCORE 384905.889
AT ITER 65 NEW BEST:: SOT 581812 SOS 470837 HAS SOPS 470837 HAS SOUS 384250 HAS SOUPS 384250 WITH SCORE 384720.837
AT ITER 68 NEW BEST:: SOT 581771 SOS 470796 HAS SOPS 470796 HAS SOUS 384035 HAS SOUPS 384035 WITH SCORE 384505.796
AT ITER 70 NEW BEST:: SOT 581771 SOS 469123 HAS SOPS 469123 HAS SOUS 384032 HAS SOUPS 384032 WITH SCORE 384501.123
AT ITER 75 NEW BEST:: SOT 581479 SOS 467779 HAS SOPS 467779 HAS SOUS 383291 HAS SOUPS 383291 WITH SCORE 383758.779
AT ITER 76 NEW BEST:: SOT 581172 SOS 467470 HAS SOPS 467470 HAS SOUS 382981 HAS SOUPS 382981 WITH SCORE 383448.47
AT ITER 77 NEW BEST:: SOT 581172 SOS 467426 HAS SOPS 467426 HAS SOUS 382981 HAS SOUPS 382981 WITH SCORE 383448.426
AT ITER 79 NEW BEST:: SOT 580590 SOS 466930 HAS SOPS 466930 HAS SOUS 382485 HAS SOUPS 382485 WITH SCORE 382951.93
AT ITER 80 NEW BEST:: SOT 580465 SOS 466803 HAS SOPS 466803 HAS SOUS 382358 HAS SOUPS 382358 WITH SCORE 382824.803
AT ITER 83 NEW BEST:: SOT 580341 SOS 466679 HAS SOPS 466679 HAS SOUS 382234 HAS SOUPS 382234 WITH SCORE 382700.679
AT ITER 85 NEW BEST:: SOT 580341 SOS 465960 HAS SOPS 465960 HAS SOUS 382232 HAS SOUPS 382232 WITH SCORE 382697.96
AT ITER 89 NEW BEST:: SOT 579861 SOS 465427 HAS SOPS 465427 HAS SOUS 381715 HAS SOUPS 381715 WITH SCORE 382180.427
AT ITER 90 NEW BEST:: SOT 579629 SOS 465195 HAS SOPS 465195 HAS SOUS 381482 HAS SOUPS 381482 WITH SCORE 381947.195
AT ITER 93 NEW BEST:: SOT 579201 SOS 464767 HAS SOPS 464767 HAS SOUS 381053 HAS SOUPS 381053 WITH SCORE 381517.767
AT ITER 94 NEW BEST:: SOT 578752 SOS 464318 HAS SOPS 464318 HAS SOUS 380471 HAS SOUPS 380471 WITH SCORE 380935.318
AT ITER 95 NEW BEST:: SOT 578553 SOS 464214 HAS SOPS 464214 HAS SOUS 380397 HAS SOUPS 380397 WITH SCORE 380861.214
AT ITER 98 NEW BEST:: SOT 577180 SOS 461961 HAS SOPS 461961 HAS SOUS 378490 HAS SOUPS 378490 WITH SCORE 378951.961
AT ITER 99 NEW BEST:: SOT 577169 SOS 461286 HAS SOPS 461286 HAS SOUS 378313 HAS SOUPS 378313 WITH SCORE 378774.286
AT ITER 102 NEW BEST:: SOT 577021 SOS 461138 HAS SOPS 461138 HAS SOUS 378164 HAS SOUPS 378164 WITH SCORE 378625.138
AT ITER 106 NEW BEST:: SOT 576579 SOS 460696 HAS SOPS 460696 HAS SOUS 377722 HAS SOUPS 377722 WITH SCORE 378182.696
AT ITER 108 NEW BEST:: SOT 576150 SOS 460459 HAS SOPS 460459 HAS SOUS 377617 HAS SOUPS 377617 WITH SCORE 378077.459
AT ITER 110 NEW BEST:: SOT 575733 SOS 460338 HAS SOPS 460338 HAS SOUS 377343 HAS SOUPS 377343 WITH SCORE 377803.338
AT ITER 111 NEW BEST:: SOT 575338 SOS 459943 HAS SOPS 459943 HAS SOUS 376946 HAS SOUPS 376946 WITH SCORE 377405.943
AT ITER 113 NEW BEST:: SOT 574105 SOS 457389 HAS SOPS 457389 HAS SOUS 374780 HAS SOUPS 374780 WITH SCORE 375237.389
AT ITER 115 NEW BEST:: SOT 573271 SOS 456555 HAS SOPS 456555 HAS SOUS 373944 HAS SOUPS 373944 WITH SCORE 374400.555
AT ITER 122 NEW BEST:: SOT 573194 SOS 456478 HAS SOPS 456478 HAS SOUS 373867 HAS SOUPS 373867 WITH SCORE 374323.478
AT ITER 123 NEW BEST:: SOT 572311 SOS 454378 HAS SOPS 454378 HAS SOUS 372114 HAS SOUPS 372114 WITH SCORE 372568.378
AT ITER 125 NEW BEST:: SOT 571396 SOS 451966 HAS SOPS 451966 HAS SOUS 370575 HAS SOUPS 370575 WITH SCORE 371026.966
AT ITER 128 NEW BEST:: SOT 571316 SOS 451886 HAS SOPS 451886 HAS SOUS 370495 HAS SOUPS 370495 WITH SCORE 370946.886
AT ITER 129 NEW BEST:: SOT 571316 SOS 451797 HAS SOPS 451797 HAS SOUS 370494 HAS SOUPS 370494 WITH SCORE 370945.797
AT ITER 130 NEW BEST:: SOT 571244 SOS 451701 HAS SOPS 451701 HAS SOUS 370398 HAS SOUPS 370398 WITH SCORE 370849.701
AT ITER 134 NEW BEST:: SOT 571191 SOS 451648 HAS SOPS 451648 HAS SOUS 370345 HAS SOUPS 370345 WITH SCORE 370796.648
AT ITER 139 NEW BEST:: SOT 570394 SOS 450851 HAS SOPS 450851 HAS SOUS 369924 HAS SOUPS 369924 WITH SCORE 370374.851
AT ITER 140 NEW BEST:: SOT 570394 SOS 450069 HAS SOPS 450069 HAS SOUS 369922 HAS SOUPS 369922 WITH SCORE 370372.069
AT ITER 142 NEW BEST:: SOT 570394 SOS 449975 HAS SOPS 449975 HAS SOUS 369918 HAS SOUPS 369918 WITH SCORE 370367.975
AT ITER 148 NEW BEST:: SOT 570291 SOS 449872 HAS SOPS 449872 HAS SOUS 369814 HAS SOUPS 369814 WITH SCORE 370263.872
AT ITER 149 NEW BEST:: SOT 570291 SOS 449267 HAS SOPS 449267 HAS SOUS 369743 HAS SOUPS 369743 WITH SCORE 370192.267
AT ITER 155 NEW BEST:: SOT 569982 SOS 448955 HAS SOPS 448955 HAS SOUS 369431 HAS SOUPS 369431 WITH SCORE 369879.955
AT ITER 156 NEW BEST:: SOT 569402 SOS 448375 HAS SOPS 448375 HAS SOUS 369039 HAS SOUPS 369039 WITH SCORE 369487.375
AT ITER 157 NEW BEST:: SOT 569046 SOS 446593 HAS SOPS 446593 HAS SOUS 368088 HAS SOUPS 368088 WITH SCORE 368534.593
AT ITER 158 NEW BEST:: SOT 568600 SOS 446230 HAS SOPS 446230 HAS SOUS 367724 HAS SOUPS 367724 WITH SCORE 368170.23
AT ITER 159 NEW BEST:: SOT 568229 SOS 445960 HAS SOPS 445960 HAS SOUS 367452 HAS SOUPS 367452 WITH SCORE 367897.96
AT ITER 160 NEW BEST:: SOT 568267 SOS 444146 HAS SOPS 444146 HAS SOUS 366840 HAS SOUPS 366840 WITH SCORE 367284.146
AT ITER 163 NEW BEST:: SOT 568243 SOS 444122 HAS SOPS 444122 HAS SOUS 366816 HAS SOUPS 366816 WITH SCORE 367260.122
AT ITER 164 NEW BEST:: SOT 568120 SOS 444127 HAS SOPS 444127 HAS SOUS 366725 HAS SOUPS 366725 WITH SCORE 367169.127
AT ITER 172 NEW BEST:: SOT 568120 SOS 443456 HAS SOPS 443456 HAS SOUS 366716 HAS SOUPS 366716 WITH SCORE 367159.456
AT ITER 176 NEW BEST:: SOT 568120 SOS 441712 HAS SOPS 441712 HAS SOUS 366416 HAS SOUPS 366416 WITH SCORE 366857.712
AT ITER 177 NEW BEST:: SOT 567717 SOS 441309 HAS SOPS 441309 HAS SOUS 365811 HAS SOUPS 365811 WITH SCORE 366252.309
AT ITER 178 NEW BEST:: SOT 566454 SOS 437962 HAS SOPS 437962 HAS SOUS 363452 HAS SOUPS 363452 WITH SCORE 363889.962
AT ITER 180 NEW BEST:: SOT 566435 SOS 437889 HAS SOPS 437889 HAS SOUS 363379 HAS SOUPS 363379 WITH SCORE 363816.889
AT ITER 183 NEW BEST:: SOT 566268 SOS 437682 HAS SOPS 437682 HAS SOUS 363095 HAS SOUPS 363095 WITH SCORE 363532.682
AT ITER 187 NEW BEST:: SOT 565562 SOS 435224 HAS SOPS 435224 HAS SOUS 361732 HAS SOUPS 361732 WITH SCORE 362167.224
AT ITER 189 NEW BEST:: SOT 565295 SOS 434855 HAS SOPS 434855 HAS SOUS 361686 HAS SOUPS 361686 WITH SCORE 362120.855
AT ITER 192 NEW BEST:: SOT 565295 SOS 434855 HAS SOPS 434855 HAS SOUS 361685 HAS SOUPS 361685 WITH SCORE 362119.855
AT ITER 193 NEW BEST:: SOT 565438 SOS 433254 HAS SOPS 433254 HAS SOUS 360979 HAS SOUPS 360979 WITH SCORE 361412.254
AT ITER 201 NEW BEST:: SOT 565430 SOS 433244 HAS SOPS 433244 HAS SOUS 360969 HAS SOUPS 360969 WITH SCORE 361402.244
AT ITER 202 NEW BEST:: SOT 565428 SOS 433242 HAS SOPS 433242 HAS SOUS 360967 HAS SOUPS 360967 WITH SCORE 361400.242
AT ITER 207 NEW BEST:: SOT 564952 SOS 432766 HAS SOPS 432766 HAS SOUS 360917 HAS SOUPS 360917 WITH SCORE 361349.766
AT ITER 209 NEW BEST:: SOT 564415 SOS 432173 HAS SOPS 432173 HAS SOUS 360324 HAS SOUPS 360324 WITH SCORE 360756.173
AT ITER 212 NEW BEST:: SOT 564415 SOS 431671 HAS SOPS 431671 HAS SOUS 360322 HAS SOUPS 360322 WITH SCORE 360753.671
AT ITER 213 NEW BEST:: SOT 563737 SOS 430767 HAS SOPS 430767 HAS SOUS 359418 HAS SOUPS 359418 WITH SCORE 359848.767
AT ITER 215 NEW BEST:: SOT 563737 SOS 430230 HAS SOPS 430230 HAS SOUS 359409 HAS SOUPS 359409 WITH SCORE 359839.23
AT ITER 217 NEW BEST:: SOT 562618 SOS 429111 HAS SOPS 429111 HAS SOUS 358494 HAS SOUPS 358494 WITH SCORE 358923.111
AT ITER 221 NEW BEST:: SOT 562190 SOS 428681 HAS SOPS 428681 HAS SOUS 358313 HAS SOUPS 358313 WITH SCORE 358741.681
AT ITER 227 NEW BEST:: SOT 561786 SOS 428637 HAS SOPS 428637 HAS SOUS 358192 HAS SOUPS 358192 WITH SCORE 358620.637
AT ITER 234 NEW BEST:: SOT 561786 SOS 428614 HAS SOPS 428614 HAS SOUS 358192 HAS SOUPS 358192 WITH SCORE 358620.614
AT ITER 235 NEW BEST:: SOT 561786 SOS 428571 HAS SOPS 428571 HAS SOUS 358172 HAS SOUPS 358172 WITH SCORE 358600.571
AT ITER 236 NEW BEST:: SOT 561307 SOS 428090 HAS SOPS 428090 HAS SOUS 357860 HAS SOUPS 357860 WITH SCORE 358288.09
AT ITER 237 NEW BEST:: SOT 561305 SOS 428192 HAS SOPS 428192 HAS SOUS 357534 HAS SOUPS 357534 WITH SCORE 357962.192
AT ITER 242 NEW BEST:: SOT 560756 SOS 427643 HAS SOPS 427643 HAS SOUS 356983 HAS SOUPS 356983 WITH SCORE 357410.643
AT ITER 246 NEW BEST:: SOT 559733 SOS 426212 HAS SOPS 426212 HAS SOUS 355409 HAS SOUPS 355409 WITH SCORE 355835.212
AT ITER 248 NEW BEST:: SOT 559733 SOS 425218 HAS SOPS 425218 HAS SOUS 355403 HAS SOUPS 355403 WITH SCORE 355828.218
AT ITER 249 NEW BEST:: SOT 559856 SOS 423705 HAS SOPS 423705 HAS SOUS 354633 HAS SOUPS 354633 WITH SCORE 355056.705
AT ITER 251 NEW BEST:: SOT 559624 SOS 422043 HAS SOPS 422043 HAS SOUS 353777 HAS SOUPS 353777 WITH SCORE 354199.043
AT ITER 254 NEW BEST:: SOT 558993 SOS 421412 HAS SOPS 421412 HAS SOUS 352963 HAS SOUPS 352963 WITH SCORE 353384.412
AT ITER 264 NEW BEST:: SOT 558653 SOS 420761 HAS SOPS 420761 HAS SOUS 352308 HAS SOUPS 352308 WITH SCORE 352728.761
AT ITER 267 NEW BEST:: SOT 558601 SOS 420709 HAS SOPS 420709 HAS SOUS 352254 HAS SOUPS 352254 WITH SCORE 352674.709
AT ITER 271 NEW BEST:: SOT 558390 SOS 419978 HAS SOPS 419978 HAS SOUS 351773 HAS SOUPS 351773 WITH SCORE 352192.978
AT ITER 272 NEW BEST:: SOT 557683 SOS 419270 HAS SOPS 419270 HAS SOUS 351112 HAS SOUPS 351112 WITH SCORE 351531.27
AT ITER 273 NEW BEST:: SOT 557553 SOS 419140 HAS SOPS 419140 HAS SOUS 350982 HAS SOUPS 350982 WITH SCORE 351401.14
AT ITER 276 NEW BEST:: SOT 557283 SOS 418870 HAS SOPS 418870 HAS SOUS 350792 HAS SOUPS 350792 WITH SCORE 351210.87
AT ITER 277 NEW BEST:: SOT 556599 SOS 418186 HAS SOPS 418186 HAS SOUS 350108 HAS SOUPS 350108 WITH SCORE 350526.186
AT ITER 278 NEW BEST:: SOT 556687 SOS 417672 HAS SOPS 417672 HAS SOUS 349594 HAS SOUPS 349594 WITH SCORE 350011.672
AT ITER 283 NEW BEST:: SOT 555983 SOS 416968 HAS SOPS 416968 HAS SOUS 349242 HAS SOUPS 349242 WITH SCORE 349658.968
AT ITER 286 NEW BEST:: SOT 555201 SOS 415640 HAS SOPS 415640 HAS SOUS 348008 HAS SOUPS 348008 WITH SCORE 348423.64
AT ITER 287 NEW BEST:: SOT 554842 SOS 413795 HAS SOPS 413795 HAS SOUS 346568 HAS SOUPS 346568 WITH SCORE 346981.795
AT ITER 290 NEW BEST:: SOT 554908 SOS 413987 HAS SOPS 413987 HAS SOUS 346567 HAS SOUPS 346567 WITH SCORE 346980.987
AT ITER 291 NEW BEST:: SOT 554773 SOS 413852 HAS SOPS 413852 HAS SOUS 346477 HAS SOUPS 346477 WITH SCORE 346890.852
AT ITER 294 NEW BEST:: SOT 554647 SOS 413563 HAS SOPS 413563 HAS SOUS 346188 HAS SOUPS 346188 WITH SCORE 346601.563
AT ITER 297 NEW BEST:: SOT 554603 SOS 413516 HAS SOPS 413516 HAS SOUS 346007 HAS SOUPS 346007 WITH SCORE 346420.516
AT ITER 301 NEW BEST:: SOT 554684 SOS 412332 HAS SOPS 412332 HAS SOUS 345994 HAS SOUPS 345994 WITH SCORE 346406.332
AT ITER 302 NEW BEST:: SOT 554684 SOS 411546 HAS SOPS 411546 HAS SOUS 345729 HAS SOUPS 345729 WITH SCORE 346140.546
AT ITER 303 NEW BEST:: SOT 554683 SOS 409637 HAS SOPS 409637 HAS SOUS 345725 HAS SOUPS 345725 WITH SCORE 346134.637
AT ITER 304 NEW BEST:: SOT 553817 SOS 408963 HAS SOPS 408963 HAS SOUS 345042 HAS SOUPS 345042 WITH SCORE 345450.963
AT ITER 305 NEW BEST:: SOT 553876 SOS 408640 HAS SOPS 408640 HAS SOUS 344988 HAS SOUPS 344988 WITH SCORE 345396.64
AT ITER 307 NEW BEST:: SOT 553245 SOS 408009 HAS SOPS 408009 HAS SOUS 344357 HAS SOUPS 344357 WITH SCORE 344765.009
AT ITER 310 NEW BEST:: SOT 553039 SOS 407801 HAS SOPS 407801 HAS SOUS 344148 HAS SOUPS 344148 WITH SCORE 344555.801
AT ITER 311 NEW BEST:: SOT 551613 SOS 404149 HAS SOPS 404149 HAS SOUS 342147 HAS SOUPS 342147 WITH SCORE 342551.149
AT ITER 314 NEW BEST:: SOT 551327 SOS 403938 HAS SOPS 403938 HAS SOUS 341936 HAS SOUPS 341936 WITH SCORE 342339.938
AT ITER 315 NEW BEST:: SOT 551150 SOS 403845 HAS SOPS 403845 HAS SOUS 341928 HAS SOUPS 341928 WITH SCORE 342331.845
AT ITER 316 NEW BEST:: SOT 550714 SOS 402255 HAS SOPS 402255 HAS SOUS 341255 HAS SOUPS 341255 WITH SCORE 341657.255
AT ITER 321 NEW BEST:: SOT 550069 SOS 401310 HAS SOPS 401310 HAS SOUS 340309 HAS SOUPS 340309 WITH SCORE 340710.31
AT ITER 329 NEW BEST:: SOT 549974 SOS 399212 HAS SOPS 399212 HAS SOUS 339621 HAS SOUPS 339621 WITH SCORE 340020.212
AT ITER 330 NEW BEST:: SOT 550305 SOS 399511 HAS SOPS 399511 HAS SOUS 339614 HAS SOUPS 339614 WITH SCORE 340013.511
AT ITER 333 NEW BEST:: SOT 549768 SOS 398068 HAS SOPS 398068 HAS SOUS 338608 HAS SOUPS 338608 WITH SCORE 339006.068
AT ITER 336 NEW BEST:: SOT 548733 SOS 397031 HAS SOPS 397031 HAS SOUS 337870 HAS SOUPS 337870 WITH SCORE 338267.031
AT ITER 338 NEW BEST:: SOT 548826 SOS 395258 HAS SOPS 395258 HAS SOUS 337622 HAS SOUPS 337622 WITH SCORE 338017.258
AT ITER 340 NEW BEST:: SOT 547826 SOS 393668 HAS SOPS 393668 HAS SOUS 336278 HAS SOUPS 336278 WITH SCORE 336671.668
AT ITER 348 NEW BEST:: SOT 547824 SOS 393620 HAS SOPS 393620 HAS SOUS 336276 HAS SOUPS 336276 WITH SCORE 336669.62
AT ITER 357 NEW BEST:: SOT 547422 SOS 393218 HAS SOPS 393218 HAS SOUS 335874 HAS SOUPS 335874 WITH SCORE 336267.218
AT ITER 363 NEW BEST:: SOT 547429 SOS 393087 HAS SOPS 393087 HAS SOUS 335743 HAS SOUPS 335743 WITH SCORE 336136.087
AT ITER 364 NEW BEST:: SOT 546857 SOS 390688 HAS SOPS 390688 HAS SOUS 334442 HAS SOUPS 334442 WITH SCORE 334832.688
AT ITER 365 NEW BEST:: SOT 546857 SOS 388811 HAS SOPS 388811 HAS SOUS 334229 HAS SOUPS 334229 WITH SCORE 334617.811
AT ITER 366 NEW BEST:: SOT 546450 SOS 388404 HAS SOPS 388404 HAS SOUS 333938 HAS SOUPS 333938 WITH SCORE 334326.404
AT ITER 369 NEW BEST:: SOT 546448 SOS 388402 HAS SOPS 388402 HAS SOUS 333936 HAS SOUPS 333936 WITH SCORE 334324.402
AT ITER 373 NEW BEST:: SOT 547487 SOS 387948 HAS SOPS 387948 HAS SOUS 333912 HAS SOUPS 333912 WITH SCORE 334299.948
AT ITER 375 NEW BEST:: SOT 545647 SOS 386191 HAS SOPS 386191 HAS SOUS 332054 HAS SOUPS 332054 WITH SCORE 332440.191
AT ITER 376 NEW BEST:: SOT 545355 SOS 385899 HAS SOPS 385899 HAS SOUS 331616 HAS SOUPS 331616 WITH SCORE 332001.899
AT ITER 377 NEW BEST:: SOT 545160 SOS 385700 HAS SOPS 385700 HAS SOUS 331417 HAS SOUPS 331417 WITH SCORE 331802.7
AT ITER 380 NEW BEST:: SOT 545160 SOS 385669 HAS SOPS 385669 HAS SOUS 331366 HAS SOUPS 331366 WITH SCORE 331751.669
AT ITER 381 NEW BEST:: SOT 545022 SOS 385117 HAS SOPS 385117 HAS SOUS 331090 HAS SOUPS 331090 WITH SCORE 331475.117
AT ITER 382 NEW BEST:: SOT 545020 SOS 385115 HAS SOPS 385115 HAS SOUS 331086 HAS SOUPS 331086 WITH SCORE 331471.115
AT ITER 387 NEW BEST:: SOT 544442 SOS 384535 HAS SOPS 384535 HAS SOUS 330505 HAS SOUPS 330505 WITH SCORE 330889.535
AT ITER 389 NEW BEST:: SOT 544414 SOS 384507 HAS SOPS 384507 HAS SOUS 330477 HAS SOUPS 330477 WITH SCORE 330861.507
AT ITER 390 NEW BEST:: SOT 544760 SOS 383528 HAS SOPS 383528 HAS SOUS 330159 HAS SOUPS 330159 WITH SCORE 330542.528
AT ITER 392 NEW BEST:: SOT 544212 SOS 382980 HAS SOPS 382980 HAS SOUS 329611 HAS SOUPS 329611 WITH SCORE 329993.98
AT ITER 395 NEW BEST:: SOT 544211 SOS 382034 HAS SOPS 382034 HAS SOUS 329499 HAS SOUPS 329499 WITH SCORE 329881.034
AT ITER 404 NEW BEST:: SOT 544071 SOS 381883 HAS SOPS 381883 HAS SOUS 329348 HAS SOUPS 329348 WITH SCORE 329729.883
AT ITER 405 NEW BEST:: SOT 544070 SOS 381882 HAS SOPS 381882 HAS SOUS 329346 HAS SOUPS 329346 WITH SCORE 329727.882
AT ITER 411 NEW BEST:: SOT 543598 SOS 381410 HAS SOPS 381410 HAS SOUS 328872 HAS SOUPS 328872 WITH SCORE 329253.41
AT ITER 413 NEW BEST:: SOT 543319 SOS 381357 HAS SOPS 381357 HAS SOUS 328555 HAS SOUPS 328555 WITH SCORE 328936.357
AT ITER 416 NEW BEST:: SOT 543060 SOS 381098 HAS SOPS 381098 HAS SOUS 328548 HAS SOUPS 328548 WITH SCORE 328929.098
AT ITER 420 NEW BEST:: SOT 542902 SOS 380940 HAS SOPS 380940 HAS SOUS 328390 HAS SOUPS 328390 WITH SCORE 328770.94
AT ITER 424 NEW BEST:: SOT 541942 SOS 379969 HAS SOPS 379969 HAS SOUS 327419 HAS SOUPS 327419 WITH SCORE 327798.969
AT ITER 431 NEW BEST:: SOT 541942 SOS 379881 HAS SOPS 379881 HAS SOUS 327419 HAS SOUPS 327419 WITH SCORE 327798.881
AT ITER 433 NEW BEST:: SOT 541942 SOS 379842 HAS SOPS 379842 HAS SOUS 327419 HAS SOUPS 327419 WITH SCORE 327798.842
AT ITER 436 NEW BEST:: SOT 541433 SOS 379678 HAS SOPS 379678 HAS SOUS 327194 HAS SOUPS 327194 WITH SCORE 327573.678
AT ITER 437 NEW BEST:: SOT 541160 SOS 379405 HAS SOPS 379405 HAS SOUS 326921 HAS SOUPS 326921 WITH SCORE 327300.405
AT ITER 438 NEW BEST:: SOT 541160 SOS 379403 HAS SOPS 379403 HAS SOUS 326919 HAS SOUPS 326919 WITH SCORE 327298.403
AT ITER 445 NEW BEST:: SOT 541013 SOS 378067 HAS SOPS 378067 HAS SOUS 326250 HAS SOUPS 326250 WITH SCORE 326628.067
AT ITER 446 NEW BEST:: SOT 540834 SOS 377755 HAS SOPS 377755 HAS SOUS 325938 HAS SOUPS 325938 WITH SCORE 326315.755
AT ITER 447 NEW BEST:: SOT 540409 SOS 376985 HAS SOPS 376985 HAS SOUS 325395 HAS SOUPS 325395 WITH SCORE 325771.985
AT ITER 450 NEW BEST:: SOT 540409 SOS 376856 HAS SOPS 376856 HAS SOUS 325395 HAS SOUPS 325395 WITH SCORE 325771.856
AT ITER 451 NEW BEST:: SOT 540409 SOS 376590 HAS SOPS 376590 HAS SOUS 325395 HAS SOUPS 325395 WITH SCORE 325771.59
AT ITER 454 NEW BEST:: SOT 539792 SOS 375973 HAS SOPS 375973 HAS SOUS 324478 HAS SOUPS 324478 WITH SCORE 324853.973
AT ITER 458 NEW BEST:: SOT 539792 SOS 375655 HAS SOPS 375655 HAS SOUS 324475 HAS SOUPS 324475 WITH SCORE 324850.655
AT ITER 459 NEW BEST:: SOT 539768 SOS 375631 HAS SOPS 375631 HAS SOUS 324451 HAS SOUPS 324451 WITH SCORE 324826.631
AT ITER 460 NEW BEST:: SOT 539768 SOS 375488 HAS SOPS 375488 HAS SOUS 324308 HAS SOUPS 324308 WITH SCORE 324683.488
AT ITER 465 NEW BEST:: SOT 539400 SOS 375102 HAS SOPS 375102 HAS SOUS 323922 HAS SOUPS 323922 WITH SCORE 324297.102
AT ITER 467 NEW BEST:: SOT 539400 SOS 374705 HAS SOPS 374705 HAS SOUS 323196 HAS SOUPS 323196 WITH SCORE 323570.705
AT ITER 471 NEW BEST:: SOT 538901 SOS 374206 HAS SOPS 374206 HAS SOUS 323048 HAS SOUPS 323048 WITH SCORE 323422.206
AT ITER 472 NEW BEST:: SOT 538901 SOS 373963 HAS SOPS 373963 HAS SOUS 323027 HAS SOUPS 323027 WITH SCORE 323400.963
AT ITER 473 NEW BEST:: SOT 538901 SOS 373756 HAS SOPS 373756 HAS SOUS 323027 HAS SOUPS 323027 WITH SCORE 323400.756
AT ITER 479 NEW BEST:: SOT 537615 SOS 372092 HAS SOPS 372092 HAS SOUS 321363 HAS SOUPS 321363 WITH SCORE 321735.092
AT ITER 480 NEW BEST:: SOT 537615 SOS 371106 HAS SOPS 371106 HAS SOUS 321047 HAS SOUPS 321047 WITH SCORE 321418.106
AT ITER 483 NEW BEST:: SOT 536208 SOS 368622 HAS SOPS 368622 HAS SOUS 318936 HAS SOUPS 318936 WITH SCORE 319304.622
AT ITER 489 NEW BEST:: SOT 536208 SOS 367739 HAS SOPS 367739 HAS SOUS 318560 HAS SOUPS 318560 WITH SCORE 318927.739
AT ITER 492 NEW BEST:: SOT 535683 SOS 367214 HAS SOPS 367214 HAS SOUS 318027 HAS SOUPS 318027 WITH SCORE 318394.214
AT ITER 498 NEW BEST:: SOT 535410 SOS 367058 HAS SOPS 367058 HAS SOUS 317978 HAS SOUPS 317978 WITH SCORE 318345.058
AT ITER 506 NEW BEST:: SOT 535034 SOS 366680 HAS SOPS 366680 HAS SOUS 317600 HAS SOUPS 317600 WITH SCORE 317966.68
AT ITER 511 NEW BEST:: SOT 534977 SOS 366623 HAS SOPS 366623 HAS SOUS 317543 HAS SOUPS 317543 WITH SCORE 317909.623
AT ITER 512 NEW BEST:: SOT 534213 SOS 365859 HAS SOPS 365859 HAS SOUS 317390 HAS SOUPS 317390 WITH SCORE 317755.859
AT ITER 513 NEW BEST:: SOT 534120 SOS 365747 HAS SOPS 365747 HAS SOUS 317278 HAS SOUPS 317278 WITH SCORE 317643.747
AT ITER 514 NEW BEST:: SOT 534443 SOS 364666 HAS SOPS 364666 HAS SOUS 317102 HAS SOUPS 317102 WITH SCORE 317466.666
AT ITER 526 NEW BEST:: SOT 534226 SOS 364447 HAS SOPS 364447 HAS SOUS 316883 HAS SOUPS 316883 WITH SCORE 317247.447
AT ITER 534 NEW BEST:: SOT 533817 SOS 364038 HAS SOPS 364038 HAS SOUS 316473 HAS SOUPS 316473 WITH SCORE 316837.038
AT ITER 539 NEW BEST:: SOT 533496 SOS 363353 HAS SOPS 363353 HAS SOUS 316170 HAS SOUPS 316170 WITH SCORE 316533.353
AT ITER 550 NEW BEST:: SOT 532932 SOS 362789 HAS SOPS 362789 HAS SOUS 315605 HAS SOUPS 315605 WITH SCORE 315967.789
AT ITER 551 NEW BEST:: SOT 531873 SOS 361730 HAS SOPS 361730 HAS SOUS 314544 HAS SOUPS 314544 WITH SCORE 314905.73
AT ITER 552 NEW BEST:: SOT 531665 SOS 361522 HAS SOPS 361522 HAS SOUS 314336 HAS SOUPS 314336 WITH SCORE 314697.522
AT ITER 554 NEW BEST:: SOT 531047 SOS 360904 HAS SOPS 360904 HAS SOUS 313718 HAS SOUPS 313718 WITH SCORE 314078.904
AT ITER 556 NEW BEST:: SOT 530456 SOS 360326 HAS SOPS 360326 HAS SOUS 313156 HAS SOUPS 313156 WITH SCORE 313516.326
AT ITER 558 NEW BEST:: SOT 530007 SOS 359877 HAS SOPS 359877 HAS SOUS 312848 HAS SOUPS 312848 WITH SCORE 313207.877
AT ITER 570 NEW BEST:: SOT 529785 SOS 359655 HAS SOPS 359655 HAS SOUS 312542 HAS SOUPS 312542 WITH SCORE 312901.655
AT ITER 585 NEW BEST:: SOT 529785 SOS 358380 HAS SOPS 358380 HAS SOUS 312166 HAS SOUPS 312166 WITH SCORE 312524.38
AT ITER 586 NEW BEST:: SOT 529785 SOS 357079 HAS SOPS 357079 HAS SOUS 311987 HAS SOUPS 311987 WITH SCORE 312344.079
AT ITER 591 NEW BEST:: SOT 529785 SOS 356945 HAS SOPS 356945 HAS SOUS 311853 HAS SOUPS 311853 WITH SCORE 312209.945
AT ITER 592 NEW BEST:: SOT 529434 SOS 356591 HAS SOPS 356591 HAS SOUS 311499 HAS SOUPS 311499 WITH SCORE 311855.591
AT ITER 596 NEW BEST:: SOT 529434 SOS 356097 HAS SOPS 356097 HAS SOUS 311497 HAS SOUPS 311497 WITH SCORE 311853.097
AT ITER 598 NEW BEST:: SOT 529172 SOS 355835 HAS SOPS 355835 HAS SOUS 311235 HAS SOUPS 311235 WITH SCORE 311590.835
AT ITER 599 NEW BEST:: SOT 528824 SOS 355485 HAS SOPS 355485 HAS SOUS 310885 HAS SOUPS 310885 WITH SCORE 311240.485
AT ITER 604 NEW BEST:: SOT 528803 SOS 354734 HAS SOPS 354734 HAS SOUS 310134 HAS SOUPS 310134 WITH SCORE 310488.734
AT ITER 608 NEW BEST:: SOT 528803 SOS 354661 HAS SOPS 354661 HAS SOUS 310061 HAS SOUPS 310061 WITH SCORE 310415.661
AT ITER 610 NEW BEST:: SOT 528724 SOS 354320 HAS SOPS 354320 HAS SOUS 309720 HAS SOUPS 309720 WITH SCORE 310074.32
AT ITER 615 NEW BEST:: SOT 527389 SOS 352859 HAS SOPS 352859 HAS SOUS 308259 HAS SOUPS 308259 WITH SCORE 308611.859
AT ITER 617 NEW BEST:: SOT 527623 SOS 352857 HAS SOPS 352857 HAS SOUS 308042 HAS SOUPS 308042 WITH SCORE 308394.857
AT ITER 618 NEW BEST:: SOT 527448 SOS 352682 HAS SOPS 352682 HAS SOUS 307867 HAS SOUPS 307867 WITH SCORE 308219.682
AT ITER 623 NEW BEST:: SOT 527632 SOS 352138 HAS SOPS 352138 HAS SOUS 307450 HAS SOUPS 307450 WITH SCORE 307802.138
AT ITER 625 NEW BEST:: SOT 527632 SOS 351926 HAS SOPS 351926 HAS SOUS 307376 HAS SOUPS 307376 WITH SCORE 307727.926
AT ITER 635 NEW BEST:: SOT 527587 SOS 351881 HAS SOPS 351881 HAS SOUS 307286 HAS SOUPS 307286 WITH SCORE 307637.881
AT ITER 638 NEW BEST:: SOT 527535 SOS 351803 HAS SOPS 351803 HAS SOUS 307208 HAS SOUPS 307208 WITH SCORE 307559.803
AT ITER 639 NEW BEST:: SOT 527535 SOS 351802 HAS SOPS 351802 HAS SOUS 307207 HAS SOUPS 307207 WITH SCORE 307558.802
AT ITER 641 NEW BEST:: SOT 527535 SOS 351529 HAS SOPS 351529 HAS SOUS 307116 HAS SOUPS 307116 WITH SCORE 307467.529
AT ITER 645 NEW BEST:: SOT 527465 SOS 351249 HAS SOPS 351249 HAS SOUS 306976 HAS SOUPS 306976 WITH SCORE 307327.249
AT ITER 646 NEW BEST:: SOT 527465 SOS 350660 HAS SOPS 350660 HAS SOUS 306974 HAS SOUPS 306974 WITH SCORE 307324.66
AT ITER 650 NEW BEST:: SOT 527315 SOS 350211 HAS SOPS 350211 HAS SOUS 306525 HAS SOUPS 306525 WITH SCORE 306875.211
AT ITER 654 NEW BEST:: SOT 526671 SOS 349567 HAS SOPS 349567 HAS SOUS 305792 HAS SOUPS 305792 WITH SCORE 306141.567
AT ITER 655 NEW BEST:: SOT 526620 SOS 349349 HAS SOPS 349349 HAS SOUS 305574 HAS SOUPS 305574 WITH SCORE 305923.349
AT ITER 657 NEW BEST:: SOT 526566 SOS 349295 HAS SOPS 349295 HAS SOUS 305516 HAS SOUPS 305516 WITH SCORE 305865.295
AT ITER 663 NEW BEST:: SOT 526368 SOS 348957 HAS SOPS 348957 HAS SOUS 305153 HAS SOUPS 305153 WITH SCORE 305501.957
AT ITER 664 NEW BEST:: SOT 526275 SOS 348945 HAS SOPS 348945 HAS SOUS 305141 HAS SOUPS 305141 WITH SCORE 305489.945
AT ITER 666 NEW BEST:: SOT 526130 SOS 348800 HAS SOPS 348800 HAS SOUS 304996 HAS SOUPS 304996 WITH SCORE 305344.8
AT ITER 674 NEW BEST:: SOT 526130 SOS 347740 HAS SOPS 347740 HAS SOUS 304620 HAS SOUPS 304620 WITH SCORE 304967.74
AT ITER 675 NEW BEST:: SOT 526118 SOS 347471 HAS SOPS 347471 HAS SOUS 304351 HAS SOUPS 304351 WITH SCORE 304698.471
AT ITER 676 NEW BEST:: SOT 526046 SOS 347399 HAS SOPS 347399 HAS SOUS 304279 HAS SOUPS 304279 WITH SCORE 304626.399
AT ITER 677 NEW BEST:: SOT 525966 SOS 347319 HAS SOPS 347319 HAS SOUS 304199 HAS SOUPS 304199 WITH SCORE 304546.319
AT ITER 678 NEW BEST:: SOT 525900 SOS 347253 HAS SOPS 347253 HAS SOUS 304133 HAS SOUPS 304133 WITH SCORE 304480.253
AT ITER 681 NEW BEST:: SOT 525472 SOS 346825 HAS SOPS 346825 HAS SOUS 303703 HAS SOUPS 303703 WITH SCORE 304049.825
AT ITER 683 NEW BEST:: SOT 525061 SOS 346414 HAS SOPS 346414 HAS SOUS 303292 HAS SOUPS 303292 WITH SCORE 303638.414
AT ITER 688 NEW BEST:: SOT 525052 SOS 346402 HAS SOPS 346402 HAS SOUS 303280 HAS SOUPS 303280 WITH SCORE 303626.402
AT ITER 689 NEW BEST:: SOT 525052 SOS 346190 HAS SOPS 346190 HAS SOUS 303241 HAS SOUPS 303241 WITH SCORE 303587.19
AT ITER 694 NEW BEST:: SOT 524995 SOS 346070 HAS SOPS 346070 HAS SOUS 303121 HAS SOUPS 303121 WITH SCORE 303467.07
AT ITER 696 NEW BEST:: SOT 525096 SOS 345828 HAS SOPS 345828 HAS SOUS 303016 HAS SOUPS 303016 WITH SCORE 303361.828
AT ITER 701 NEW BEST:: SOT 525352 SOS 346084 HAS SOPS 346084 HAS SOUS 302890 HAS SOUPS 302890 WITH SCORE 303236.084
AT ITER 702 NEW BEST:: SOT 525238 SOS 345969 HAS SOPS 345969 HAS SOUS 302775 HAS SOUPS 302775 WITH SCORE 303120.969
AT ITER 703 NEW BEST:: SOT 525013 SOS 345396 HAS SOPS 345396 HAS SOUS 302527 HAS SOUPS 302527 WITH SCORE 302872.396
AT ITER 704 NEW BEST:: SOT 524676 SOS 344912 HAS SOPS 344912 HAS SOUS 302050 HAS SOUPS 302050 WITH SCORE 302394.912
AT ITER 706 NEW BEST:: SOT 524540 SOS 344776 HAS SOPS 344776 HAS SOUS 301880 HAS SOUPS 301880 WITH SCORE 302224.776
AT ITER 708 NEW BEST:: SOT 524363 SOS 344599 HAS SOPS 344599 HAS SOUS 301703 HAS SOUPS 301703 WITH SCORE 302047.599
AT ITER 712 NEW BEST:: SOT 524164 SOS 343761 HAS SOPS 343761 HAS SOUS 301147 HAS SOUPS 301147 WITH SCORE 301490.761
AT ITER 713 NEW BEST:: SOT 524063 SOS 343660 HAS SOPS 343660 HAS SOUS 301046 HAS SOUPS 301046 WITH SCORE 301389.66
AT ITER 716 NEW BEST:: SOT 524155 SOS 342939 HAS SOPS 342939 HAS SOUS 300502 HAS SOUPS 300502 WITH SCORE 300844.939
AT ITER 719 NEW BEST:: SOT 523917 SOS 341737 HAS SOPS 341737 HAS SOUS 300024 HAS SOUPS 300024 WITH SCORE 300365.737
AT ITER 720 NEW BEST:: SOT 523743 SOS 341563 HAS SOPS 341563 HAS SOUS 299850 HAS SOUPS 299850 WITH SCORE 300191.563
AT ITER 721 NEW BEST:: SOT 523359 SOS 341179 HAS SOPS 341179 HAS SOUS 299497 HAS SOUPS 299497 WITH SCORE 299838.179
AT ITER 726 NEW BEST:: SOT 523232 SOS 340034 HAS SOPS 340034 HAS SOUS 299243 HAS SOUPS 299243 WITH SCORE 299583.034
AT ITER 728 NEW BEST:: SOT 522777 SOS 339590 HAS SOPS 339590 HAS SOUS 298712 HAS SOUPS 298712 WITH SCORE 299051.59
AT ITER 732 NEW BEST:: SOT 522731 SOS 339431 HAS SOPS 339431 HAS SOUS 298479 HAS SOUPS 298479 WITH SCORE 298818.431
AT ITER 733 NEW BEST:: SOT 522481 SOS 339181 HAS SOPS 339181 HAS SOUS 298229 HAS SOUPS 298229 WITH SCORE 298568.181
AT ITER 734 NEW BEST:: SOT 522392 SOS 339092 HAS SOPS 339092 HAS SOUS 298140 HAS SOUPS 298140 WITH SCORE 298479.092
AT ITER 736 NEW BEST:: SOT 522043 SOS 338914 HAS SOPS 338914 HAS SOUS 297961 HAS SOUPS 297961 WITH SCORE 298299.914
AT ITER 737 NEW BEST:: SOT 521719 SOS 337761 HAS SOPS 337761 HAS SOUS 297552 HAS SOUPS 297552 WITH SCORE 297889.761
AT ITER 738 NEW BEST:: SOT 521196 SOS 337238 HAS SOPS 337238 HAS SOUS 297029 HAS SOUPS 297029 WITH SCORE 297366.238
AT ITER 740 NEW BEST:: SOT 521196 SOS 337026 HAS SOPS 337026 HAS SOUS 296854 HAS SOUPS 296854 WITH SCORE 297191.026
AT ITER 741 NEW BEST:: SOT 521087 SOS 336917 HAS SOPS 336917 HAS SOUS 296743 HAS SOUPS 296743 WITH SCORE 297079.917
AT ITER 749 NEW BEST:: SOT 520403 SOS 336770 HAS SOPS 336770 HAS SOUS 296596 HAS SOUPS 296596 WITH SCORE 296932.77
AT ITER 755 NEW BEST:: SOT 520307 SOS 336744 HAS SOPS 336744 HAS SOUS 296570 HAS SOUPS 296570 WITH SCORE 296906.744
AT ITER 756 NEW BEST:: SOT 520131 SOS 336568 HAS SOPS 336568 HAS SOUS 296482 HAS SOUPS 296482 WITH SCORE 296818.568
AT ITER 757 NEW BEST:: SOT 519915 SOS 336352 HAS SOPS 336352 HAS SOUS 296374 HAS SOUPS 296374 WITH SCORE 296710.352
AT ITER 758 NEW BEST:: SOT 519964 SOS 336399 HAS SOPS 336399 HAS SOUS 296325 HAS SOUPS 296325 WITH SCORE 296661.399
AT ITER 761 NEW BEST:: SOT 519945 SOS 336380 HAS SOPS 336380 HAS SOUS 296287 HAS SOUPS 296287 WITH SCORE 296623.38
AT ITER 763 NEW BEST:: SOT 519903 SOS 336336 HAS SOPS 336336 HAS SOUS 296243 HAS SOUPS 296243 WITH SCORE 296579.336
AT ITER 766 NEW BEST:: SOT 519855 SOS 336288 HAS SOPS 336288 HAS SOUS 296195 HAS SOUPS 296195 WITH SCORE 296531.288
AT ITER 769 NEW BEST:: SOT 519911 SOS 336127 HAS SOPS 336127 HAS SOUS 296165 HAS SOUPS 296165 WITH SCORE 296501.127
AT ITER 775 NEW BEST:: SOT 519911 SOS 336106 HAS SOPS 336106 HAS SOUS 296144 HAS SOUPS 296144 WITH SCORE 296480.106
AT ITER 782 NEW BEST:: SOT 519824 SOS 336019 HAS SOPS 336019 HAS SOUS 296057 HAS SOUPS 296057 WITH SCORE 296393.019
AT ITER 788 NEW BEST:: SOT 519705 SOS 336021 HAS SOPS 336021 HAS SOUS 296031 HAS SOUPS 296031 WITH SCORE 296367.021
AT ITER 789 NEW BEST:: SOT 519608 SOS 335924 HAS SOPS 335924 HAS SOUS 295934 HAS SOUPS 295934 WITH SCORE 296269.924
AT ITER 790 NEW BEST:: SOT 519608 SOS 335161 HAS SOPS 335161 HAS SOUS 295834 HAS SOUPS 295834 WITH SCORE 296169.161
AT ITER 794 NEW BEST:: SOT 519608 SOS 335156 HAS SOPS 335156 HAS SOUS 295829 HAS SOUPS 295829 WITH SCORE 296164.156
AT ITER 799 NEW BEST:: SOT 519585 SOS 335099 HAS SOPS 335099 HAS SOUS 295772 HAS SOUPS 295772 WITH SCORE 296107.099
AT ITER 812 NEW BEST:: SOT 519498 SOS 335286 HAS SOPS 335286 HAS SOUS 295573 HAS SOUPS 295573 WITH SCORE 295908.286
AT ITER 813 NEW BEST:: SOT 519498 SOS 334636 HAS SOPS 334636 HAS SOUS 295374 HAS SOUPS 295374 WITH SCORE 295708.636
AT ITER 816 NEW BEST:: SOT 519397 SOS 334448 HAS SOPS 334448 HAS SOUS 295186 HAS SOUPS 295186 WITH SCORE 295520.448
AT ITER 823 NEW BEST:: SOT 519397 SOS 334076 HAS SOPS 334076 HAS SOUS 295186 HAS SOUPS 295186 WITH SCORE 295520.076
AT ITER 825 NEW BEST:: SOT 519397 SOS 333893 HAS SOPS 333893 HAS SOUS 295186 HAS SOUPS 295186 WITH SCORE 295519.893
AT ITER 829 NEW BEST:: SOT 519397 SOS 333888 HAS SOPS 333888 HAS SOUS 295181 HAS SOUPS 295181 WITH SCORE 295514.888
AT ITER 830 NEW BEST:: SOT 519391 SOS 332085 HAS SOPS 332085 HAS SOUS 294906 HAS SOUPS 294906 WITH SCORE 295238.085
AT ITER 831 NEW BEST:: SOT 519484 SOS 331890 HAS SOPS 331890 HAS SOUS 294793 HAS SOUPS 294793 WITH SCORE 295124.89
AT ITER 833 NEW BEST:: SOT 519484 SOS 331783 HAS SOPS 331783 HAS SOUS 294686 HAS SOUPS 294686 WITH SCORE 295017.783
AT ITER 836 NEW BEST:: SOT 519460 SOS 331739 HAS SOPS 331739 HAS SOUS 294642 HAS SOUPS 294642 WITH SCORE 294973.739
AT ITER 839 NEW BEST:: SOT 519454 SOS 331730 HAS SOPS 331730 HAS SOUS 294633 HAS SOUPS 294633 WITH SCORE 294964.73
AT ITER 840 NEW BEST:: SOT 519098 SOS 331374 HAS SOPS 331374 HAS SOUS 294277 HAS SOUPS 294277 WITH SCORE 294608.374
AT ITER 842 NEW BEST:: SOT 518961 SOS 331018 HAS SOPS 331018 HAS SOUS 294097 HAS SOUPS 294097 WITH SCORE 294428.018
AT ITER 843 NEW BEST:: SOT 518388 SOS 330375 HAS SOPS 330375 HAS SOUS 293893 HAS SOUPS 293893 WITH SCORE 294223.375
AT ITER 844 NEW BEST:: SOT 518336 SOS 330323 HAS SOPS 330323 HAS SOUS 293841 HAS SOUPS 293841 WITH SCORE 294171.323
AT ITER 850 NEW BEST:: SOT 517692 SOS 329679 HAS SOPS 329679 HAS SOUS 293197 HAS SOUPS 293197 WITH SCORE 293526.679
AT ITER 851 NEW BEST:: SOT 517316 SOS 329544 HAS SOPS 329544 HAS SOUS 293129 HAS SOUPS 293129 WITH SCORE 293458.544
AT ITER 854 NEW BEST:: SOT 516697 SOS 328925 HAS SOPS 328925 HAS SOUS 292507 HAS SOUPS 292507 WITH SCORE 292835.925
AT ITER 869 NEW BEST:: SOT 516494 SOS 328816 HAS SOPS 328816 HAS SOUS 292449 HAS SOUPS 292449 WITH SCORE 292777.816
AT ITER 870 NEW BEST:: SOT 516494 SOS 328682 HAS SOPS 328682 HAS SOUS 292449 HAS SOUPS 292449 WITH SCORE 292777.682
AT ITER 871 NEW BEST:: SOT 516493 SOS 328677 HAS SOPS 328677 HAS SOUS 292443 HAS SOUPS 292443 WITH SCORE 292771.677
AT ITER 872 NEW BEST:: SOT 516493 SOS 328625 HAS SOPS 328625 HAS SOUS 292391 HAS SOUPS 292391 WITH SCORE 292719.625
AT ITER 873 NEW BEST:: SOT 516022 SOS 328154 HAS SOPS 328154 HAS SOUS 291920 HAS SOUPS 291920 WITH SCORE 292248.154
AT ITER 875 NEW BEST:: SOT 515858 SOS 327990 HAS SOPS 327990 HAS SOUS 291756 HAS SOUPS 291756 WITH SCORE 292083.99
AT ITER 877 NEW BEST:: SOT 515858 SOS 327675 HAS SOPS 327675 HAS SOUS 291756 HAS SOUPS 291756 WITH SCORE 292083.675
AT ITER 888 NEW BEST:: SOT 515858 SOS 327503 HAS SOPS 327503 HAS SOUS 291698 HAS SOUPS 291698 WITH SCORE 292025.503
AT ITER 891 NEW BEST:: SOT 515582 SOS 327071 HAS SOPS 327071 HAS SOUS 291251 HAS SOUPS 291251 WITH SCORE 291578.071
AT ITER 892 NEW BEST:: SOT 515174 SOS 325739 HAS SOPS 325739 HAS SOUS 290160 HAS SOUPS 290160 WITH SCORE 290485.739
AT ITER 896 NEW BEST:: SOT 514985 SOS 325550 HAS SOPS 325550 HAS SOUS 289970 HAS SOUPS 289970 WITH SCORE 290295.55
AT ITER 897 NEW BEST:: SOT 514762 SOS 324790 HAS SOPS 324790 HAS SOUS 289139 HAS SOUPS 289139 WITH SCORE 289463.79
AT ITER 901 NEW BEST:: SOT 514742 SOS 324687 HAS SOPS 324687 HAS SOUS 289075 HAS SOUPS 289075 WITH SCORE 289399.687
AT ITER 904 NEW BEST:: SOT 514538 SOS 324483 HAS SOPS 324483 HAS SOUS 288871 HAS SOUPS 288871 WITH SCORE 289195.483
AT ITER 905 NEW BEST:: SOT 514538 SOS 324270 HAS SOPS 324270 HAS SOUS 288780 HAS SOUPS 288780 WITH SCORE 289104.27
AT ITER 911 NEW BEST:: SOT 514278 SOS 324252 HAS SOPS 324252 HAS SOUS 288751 HAS SOUPS 288751 WITH SCORE 289075.252
AT ITER 913 NEW BEST:: SOT 514028 SOS 324002 HAS SOPS 324002 HAS SOUS 288501 HAS SOUPS 288501 WITH SCORE 288825.002
AT ITER 920 NEW BEST:: SOT 513932 SOS 323906 HAS SOPS 323906 HAS SOUS 288405 HAS SOUPS 288405 WITH SCORE 288728.906
AT ITER 924 NEW BEST:: SOT 514024 SOS 323998 HAS SOPS 323998 HAS SOUS 288326 HAS SOUPS 288326 WITH SCORE 288649.998
AT ITER 926 NEW BEST:: SOT 512930 SOS 321306 HAS SOPS 321306 HAS SOUS 286520 HAS SOUPS 286520 WITH SCORE 286841.306
AT ITER 928 NEW BEST:: SOT 512911 SOS 321287 HAS SOPS 321287 HAS SOUS 286482 HAS SOUPS 286482 WITH SCORE 286803.287
AT ITER 934 NEW BEST:: SOT 512911 SOS 321038 HAS SOPS 321038 HAS SOUS 286399 HAS SOUPS 286399 WITH SCORE 286720.038
AT ITER 935 NEW BEST:: SOT 511816 SOS 319943 HAS SOPS 319943 HAS SOUS 285304 HAS SOUPS 285304 WITH SCORE 285623.943
AT ITER 937 NEW BEST:: SOT 511816 SOS 319676 HAS SOPS 319676 HAS SOUS 285271 HAS SOUPS 285271 WITH SCORE 285590.676
AT ITER 942 NEW BEST:: SOT 511816 SOS 319576 HAS SOPS 319576 HAS SOUS 285171 HAS SOUPS 285171 WITH SCORE 285490.576
AT ITER 949 NEW BEST:: SOT 511681 SOS 319305 HAS SOPS 319305 HAS SOUS 284900 HAS SOUPS 284900 WITH SCORE 285219.305
AT ITER 951 NEW BEST:: SOT 511524 SOS 319148 HAS SOPS 319148 HAS SOUS 284743 HAS SOUPS 284743 WITH SCORE 285062.148
AT ITER 952 NEW BEST:: SOT 511527 SOS 319198 HAS SOPS 319198 HAS SOUS 284496 HAS SOUPS 284496 WITH SCORE 284815.198
AT ITER 953 NEW BEST:: SOT 511281 SOS 319478 HAS SOPS 319478 HAS SOUS 284381 HAS SOUPS 284381 WITH SCORE 284700.478
AT ITER 955 NEW BEST:: SOT 510598 SOS 318722 HAS SOPS 318722 HAS SOUS 283711 HAS SOUPS 283711 WITH SCORE 284029.722
AT ITER 957 NEW BEST:: SOT 510030 SOS 318626 HAS SOPS 318626 HAS SOUS 283406 HAS SOUPS 283406 WITH SCORE 283724.626
AT ITER 966 NEW BEST:: SOT 510242 SOS 318112 HAS SOPS 318112 HAS SOUS 283401 HAS SOUPS 283401 WITH SCORE 283719.112
AT ITER 967 NEW BEST:: SOT 510259 SOS 317887 HAS SOPS 317887 HAS SOUS 283301 HAS SOUPS 283301 WITH SCORE 283618.887
AT ITER 968 NEW BEST:: SOT 510259 SOS 317714 HAS SOPS 317714 HAS SOUS 283213 HAS SOUPS 283213 WITH SCORE 283530.714
AT ITER 969 NEW BEST:: SOT 510309 SOS 317190 HAS SOPS 317190 HAS SOUS 282821 HAS SOUPS 282821 WITH SCORE 283138.19
AT ITER 975 NEW BEST:: SOT 510151 SOS 316859 HAS SOPS 316859 HAS SOUS 282504 HAS SOUPS 282504 WITH SCORE 282820.859
AT ITER 976 NEW BEST:: SOT 509986 SOS 316659 HAS SOPS 316659 HAS SOUS 282293 HAS SOUPS 282293 WITH SCORE 282609.659
AT ITER 979 NEW BEST:: SOT 509986 SOS 316659 HAS SOPS 316659 HAS SOUS 282113 HAS SOUPS 282113 WITH SCORE 282429.659
AT ITER 980 NEW BEST:: SOT 509652 SOS 316591 HAS SOPS 316591 HAS SOUS 281527 HAS SOUPS 281527 WITH SCORE 281843.591
AT ITER 983 NEW BEST:: SOT 509652 SOS 316195 HAS SOPS 316195 HAS SOUS 281416 HAS SOUPS 281416 WITH SCORE 281732.195
AT ITER 986 NEW BEST:: SOT 509641 SOS 316140 HAS SOPS 316140 HAS SOUS 281383 HAS SOUPS 281383 WITH SCORE 281699.14
AT ITER 988 NEW BEST:: SOT 508773 SOS 315220 HAS SOPS 315220 HAS SOUS 280977 HAS SOUPS 280977 WITH SCORE 281292.22
AT ITER 990 NEW BEST:: SOT 508379 SOS 314222 HAS SOPS 314222 HAS SOUS 279959 HAS SOUPS 279959 WITH SCORE 280273.222
AT ITER 991 NEW BEST:: SOT 507672 SOS 313560 HAS SOPS 313560 HAS SOUS 279297 HAS SOUPS 279297 WITH SCORE 279610.56
AT ITER 992 NEW BEST:: SOT 507489 SOS 313377 HAS SOPS 313377 HAS SOUS 279114 HAS SOUPS 279114 WITH SCORE 279427.377
AT ITER 994 NEW BEST:: SOT 506967 SOS 312378 HAS SOPS 312378 HAS SOUS 278387 HAS SOUPS 278387 WITH SCORE 278699.378
AT ITER 995 NEW BEST:: SOT 506619 SOS 311448 HAS SOPS 311448 HAS SOUS 277823 HAS SOUPS 277823 WITH SCORE 278134.448
AT ITER 1001 NEW BEST:: SOT 506504 SOS 311333 HAS SOPS 311333 HAS SOUS 277698 HAS SOUPS 277698 WITH SCORE 278009.333
AT ITER 1006 NEW BEST:: SOT 506391 SOS 311220 HAS SOPS 311220 HAS SOUS 277584 HAS SOUPS 277584 WITH SCORE 277895.22
AT ITER 1008 NEW BEST:: SOT 505332 SOS 308364 HAS SOPS 308364 HAS SOUS 275495 HAS SOUPS 275495 WITH SCORE 275803.364
AT ITER 1015 NEW BEST:: SOT 505332 SOS 308117 HAS SOPS 308117 HAS SOUS 275494 HAS SOUPS 275494 WITH SCORE 275802.117
AT ITER 1019 NEW BEST:: SOT 505177 SOS 307960 HAS SOPS 307960 HAS SOUS 275336 HAS SOUPS 275336 WITH SCORE 275643.96
AT ITER 1025 NEW BEST:: SOT 505079 SOS 307862 HAS SOPS 307862 HAS SOUS 275284 HAS SOUPS 275284 WITH SCORE 275591.862
AT ITER 1026 NEW BEST:: SOT 505079 SOS 307794 HAS SOPS 307794 HAS SOUS 275284 HAS SOUPS 275284 WITH SCORE 275591.794
AT ITER 1036 NEW BEST:: SOT 504974 SOS 307689 HAS SOPS 307689 HAS SOUS 275247 HAS SOUPS 275247 WITH SCORE 275554.689
AT ITER 1037 NEW BEST:: SOT 504677 SOS 307392 HAS SOPS 307392 HAS SOUS 274950 HAS SOUPS 274950 WITH SCORE 275257.392
AT ITER 1044 NEW BEST:: SOT 504454 SOS 307029 HAS SOPS 307029 HAS SOUS 274587 HAS SOUPS 274587 WITH SCORE 274894.029
AT ITER 1047 NEW BEST:: SOT 504196 SOS 306637 HAS SOPS 306637 HAS SOUS 274195 HAS SOUPS 274195 WITH SCORE 274501.637
AT ITER 1048 NEW BEST:: SOT 503980 SOS 306420 HAS SOPS 306420 HAS SOUS 274006 HAS SOUPS 274006 WITH SCORE 274312.42
AT ITER 1049 NEW BEST:: SOT 503870 SOS 305397 HAS SOPS 305397 HAS SOUS 273452 HAS SOUPS 273452 WITH SCORE 273757.397
AT ITER 1050 NEW BEST:: SOT 503879 SOS 304949 HAS SOPS 304949 HAS SOUS 273215 HAS SOUPS 273215 WITH SCORE 273519.949
AT ITER 1051 NEW BEST:: SOT 503414 SOS 304235 HAS SOPS 304235 HAS SOUS 272766 HAS SOUPS 272766 WITH SCORE 273070.235
AT ITER 1063 NEW BEST:: SOT 503060 SOS 303881 HAS SOPS 303881 HAS SOUS 272411 HAS SOUPS 272411 WITH SCORE 272714.881
AT ITER 1064 NEW BEST:: SOT 502381 SOS 303153 HAS SOPS 303153 HAS SOUS 271683 HAS SOUPS 271683 WITH SCORE 271986.153
AT ITER 1065 NEW BEST:: SOT 502381 SOS 302788 HAS SOPS 302788 HAS SOUS 271413 HAS SOUPS 271413 WITH SCORE 271715.788
AT ITER 1066 NEW BEST:: SOT 502138 SOS 302464 HAS SOPS 302464 HAS SOUS 271089 HAS SOUPS 271089 WITH SCORE 271391.464
AT ITER 1072 NEW BEST:: SOT 501376 SOS 301700 HAS SOPS 301700 HAS SOUS 270325 HAS SOUPS 270325 WITH SCORE 270626.7
AT ITER 1088 NEW BEST:: SOT 501218 SOS 301572 HAS SOPS 301572 HAS SOUS 270197 HAS SOUPS 270197 WITH SCORE 270498.572
AT ITER 1094 NEW BEST:: SOT 501200 SOS 301554 HAS SOPS 301554 HAS SOUS 270179 HAS SOUPS 270179 WITH SCORE 270480.554
AT ITER 1095 NEW BEST:: SOT 501200 SOS 301535 HAS SOPS 301535 HAS SOUS 270141 HAS SOUPS 270141 WITH SCORE 270442.535
AT ITER 1100 NEW BEST:: SOT 501200 SOS 301507 HAS SOPS 301507 HAS SOUS 270113 HAS SOUPS 270113 WITH SCORE 270414.507
AT ITER 1102 NEW BEST:: SOT 501210 SOS 301324 HAS SOPS 301324 HAS SOUS 270070 HAS SOUPS 270070 WITH SCORE 270371.324
AT ITER 1103 NEW BEST:: SOT 500848 SOS 300663 HAS SOPS 300663 HAS SOUS 269502 HAS SOUPS 269502 WITH SCORE 269802.663
AT ITER 1108 NEW BEST:: SOT 500384 SOS 300396 HAS SOPS 300396 HAS SOUS 269385 HAS SOUPS 269385 WITH SCORE 269685.396
AT ITER 1109 NEW BEST:: SOT 500384 SOS 300072 HAS SOPS 300072 HAS SOUS 269165 HAS SOUPS 269165 WITH SCORE 269465.072
AT ITER 1119 NEW BEST:: SOT 500384 SOS 299837 HAS SOPS 299837 HAS SOUS 269021 HAS SOUPS 269021 WITH SCORE 269320.837
AT ITER 1123 NEW BEST:: SOT 500306 SOS 299720 HAS SOPS 299720 HAS SOUS 268908 HAS SOUPS 268908 WITH SCORE 269207.72
AT ITER 1124 NEW BEST:: SOT 500307 SOS 299632 HAS SOPS 299632 HAS SOUS 268892 HAS SOUPS 268892 WITH SCORE 269191.632
AT ITER 1125 NEW BEST:: SOT 500335 SOS 299525 HAS SOPS 299525 HAS SOUS 268785 HAS SOUPS 268785 WITH SCORE 269084.525
AT ITER 1133 NEW BEST:: SOT 500335 SOS 299502 HAS SOPS 299502 HAS SOUS 268761 HAS SOUPS 268761 WITH SCORE 269060.502
AT ITER 1136 NEW BEST:: SOT 500315 SOS 299482 HAS SOPS 299482 HAS SOUS 268741 HAS SOUPS 268741 WITH SCORE 269040.482
AT ITER 1138 NEW BEST:: SOT 500291 SOS 299429 HAS SOPS 299429 HAS SOUS 268712 HAS SOUPS 268712 WITH SCORE 269011.429
AT ITER 1139 NEW BEST:: SOT 500291 SOS 298959 HAS SOPS 298959 HAS SOUS 268652 HAS SOUPS 268652 WITH SCORE 268950.959
AT ITER 1142 NEW BEST:: SOT 500233 SOS 298911 HAS SOPS 298911 HAS SOUS 268604 HAS SOUPS 268604 WITH SCORE 268902.911
AT ITER 1147 NEW BEST:: SOT 499786 SOS 298464 HAS SOPS 298464 HAS SOUS 267978 HAS SOUPS 267978 WITH SCORE 268276.464
AT ITER 1150 NEW BEST:: SOT 499784 SOS 298462 HAS SOPS 298462 HAS SOUS 267976 HAS SOUPS 267976 WITH SCORE 268274.462
AT ITER 1152 NEW BEST:: SOT 499743 SOS 298421 HAS SOPS 298421 HAS SOUS 267935 HAS SOUPS 267935 WITH SCORE 268233.421
AT ITER 1153 NEW BEST:: SOT 499558 SOS 298270 HAS SOPS 298270 HAS SOUS 267819 HAS SOUPS 267819 WITH SCORE 268117.27
AT ITER 1155 NEW BEST:: SOT 499557 SOS 298083 HAS SOPS 298083 HAS SOUS 267817 HAS SOUPS 267817 WITH SCORE 268115.083
AT ITER 1158 NEW BEST:: SOT 499548 SOS 297813 HAS SOPS 297813 HAS SOUS 267671 HAS SOUPS 267671 WITH SCORE 267968.813
AT ITER 1159 NEW BEST:: SOT 499519 SOS 296207 HAS SOPS 296207 HAS SOUS 266886 HAS SOUPS 266886 WITH SCORE 267182.207
AT ITER 1169 NEW BEST:: SOT 499300 SOS 295949 HAS SOPS 295949 HAS SOUS 266595 HAS SOUPS 266595 WITH SCORE 266890.949
AT ITER 1173 NEW BEST:: SOT 499300 SOS 295776 HAS SOPS 295776 HAS SOUS 266427 HAS SOUPS 266427 WITH SCORE 266722.776
AT ITER 1185 NEW BEST:: SOT 499129 SOS 295605 HAS SOPS 295605 HAS SOUS 266239 HAS SOUPS 266239 WITH SCORE 266534.605
AT ITER 1190 NEW BEST:: SOT 498937 SOS 295413 HAS SOPS 295413 HAS SOUS 265903 HAS SOUPS 265903 WITH SCORE 266198.413
AT ITER 1191 NEW BEST:: SOT 498937 SOS 295042 HAS SOPS 295042 HAS SOUS 265903 HAS SOUPS 265903 WITH SCORE 266198.042
AT ITER 1193 NEW BEST:: SOT 498886 SOS 295112 HAS SOPS 295112 HAS SOUS 265779 HAS SOUPS 265779 WITH SCORE 266074.112
AT ITER 1194 NEW BEST:: SOT 498715 SOS 294877 HAS SOPS 294877 HAS SOUS 265472 HAS SOUPS 265472 WITH SCORE 265766.877
AT ITER 1197 NEW BEST:: SOT 498726 SOS 295026 HAS SOPS 295026 HAS SOUS 265417 HAS SOUPS 265417 WITH SCORE 265712.026
AT ITER 1209 NEW BEST:: SOT 498628 SOS 294910 HAS SOPS 294910 HAS SOUS 265301 HAS SOUPS 265301 WITH SCORE 265595.91
AT ITER 1214 NEW BEST:: SOT 498510 SOS 294625 HAS SOPS 294625 HAS SOUS 265157 HAS SOUPS 265157 WITH SCORE 265451.625
AT ITER 1217 NEW BEST:: SOT 498408 SOS 294580 HAS SOPS 294580 HAS SOUS 264783 HAS SOUPS 264783 WITH SCORE 265077.58
AT ITER 1220 NEW BEST:: SOT 498184 SOS 293835 HAS SOPS 293835 HAS SOUS 264038 HAS SOUPS 264038 WITH SCORE 264331.835
AT ITER 1224 NEW BEST:: SOT 498145 SOS 293757 HAS SOPS 293757 HAS SOUS 263921 HAS SOUPS 263921 WITH SCORE 264214.757
AT ITER 1225 NEW BEST:: SOT 498077 SOS 293101 HAS SOPS 293101 HAS SOUS 263633 HAS SOUPS 263633 WITH SCORE 263926.101
AT ITER 1226 NEW BEST:: SOT 497958 SOS 292982 HAS SOPS 292982 HAS SOUS 263514 HAS SOUPS 263514 WITH SCORE 263806.982
AT ITER 1229 NEW BEST:: SOT 497868 SOS 292559 HAS SOPS 292559 HAS SOUS 263424 HAS SOUPS 263424 WITH SCORE 263716.559
AT ITER 1233 NEW BEST:: SOT 497824 SOS 292515 HAS SOPS 292515 HAS SOUS 263402 HAS SOUPS 263402 WITH SCORE 263694.515
AT ITER 1236 NEW BEST:: SOT 497736 SOS 292425 HAS SOPS 292425 HAS SOUS 263400 HAS SOUPS 263400 WITH SCORE 263692.425
AT ITER 1247 NEW BEST:: SOT 497735 SOS 292293 HAS SOPS 292293 HAS SOUS 263357 HAS SOUPS 263357 WITH SCORE 263649.293
AT ITER 1251 NEW BEST:: SOT 497707 SOS 292456 HAS SOPS 292456 HAS SOUS 263210 HAS SOUPS 263210 WITH SCORE 263502.456
AT ITER 1253 NEW BEST:: SOT 497262 SOS 291753 HAS SOPS 291753 HAS SOUS 262507 HAS SOUPS 262507 WITH SCORE 262798.753
AT ITER 1266 NEW BEST:: SOT 497179 SOS 291459 HAS SOPS 291459 HAS SOUS 262329 HAS SOUPS 262329 WITH SCORE 262620.459
AT ITER 1269 NEW BEST:: SOT 497213 SOS 291397 HAS SOPS 291397 HAS SOUS 262267 HAS SOUPS 262267 WITH SCORE 262558.397
AT ITER 1271 NEW BEST:: SOT 496982 SOS 290484 HAS SOPS 290484 HAS SOUS 261823 HAS SOUPS 261823 WITH SCORE 262113.484
AT ITER 1278 NEW BEST:: SOT 496507 SOS 289742 HAS SOPS 289742 HAS SOUS 260885 HAS SOUPS 260885 WITH SCORE 261174.742
AT ITER 1280 NEW BEST:: SOT 496477 SOS 289886 HAS SOPS 289886 HAS SOUS 260840 HAS SOUPS 260840 WITH SCORE 261129.886
AT ITER 1282 NEW BEST:: SOT 496475 SOS 289835 HAS SOPS 289835 HAS SOUS 260838 HAS SOUPS 260838 WITH SCORE 261127.835
AT ITER 1286 NEW BEST:: SOT 496475 SOS 289834 HAS SOPS 289834 HAS SOUS 260837 HAS SOUPS 260837 WITH SCORE 261126.834
AT ITER 1291 NEW BEST:: SOT 496423 SOS 289626 HAS SOPS 289626 HAS SOUS 260681 HAS SOUPS 260681 WITH SCORE 260970.626
AT ITER 1292 NEW BEST:: SOT 496320 SOS 289523 HAS SOPS 289523 HAS SOUS 260578 HAS SOUPS 260578 WITH SCORE 260867.523
AT ITER 1296 NEW BEST:: SOT 496331 SOS 289465 HAS SOPS 289465 HAS SOUS 260520 HAS SOUPS 260520 WITH SCORE 260809.465
AT ITER 1297 NEW BEST:: SOT 496174 SOS 289308 HAS SOPS 289308 HAS SOUS 260363 HAS SOUPS 260363 WITH SCORE 260652.308
AT ITER 1301 NEW BEST:: SOT 496077 SOS 289016 HAS SOPS 289016 HAS SOUS 260168 HAS SOUPS 260168 WITH SCORE 260457.016
AT ITER 1305 NEW BEST:: SOT 496057 SOS 288996 HAS SOPS 288996 HAS SOUS 260158 HAS SOUPS 260158 WITH SCORE 260446.996
AT ITER 1306 NEW BEST:: SOT 495953 SOS 288892 HAS SOPS 288892 HAS SOUS 260015 HAS SOUPS 260015 WITH SCORE 260303.892
AT ITER 1309 NEW BEST:: SOT 496073 SOS 288075 HAS SOPS 288075 HAS SOUS 259898 HAS SOUPS 259898 WITH SCORE 260186.075
AT ITER 1311 NEW BEST:: SOT 495998 SOS 288000 HAS SOPS 288000 HAS SOUS 259799 HAS SOUPS 259799 WITH SCORE 260087.0
AT ITER 1312 NEW BEST:: SOT 495794 SOS 287559 HAS SOPS 287559 HAS SOUS 259562 HAS SOUPS 259562 WITH SCORE 259849.559
AT ITER 1314 NEW BEST:: SOT 495730 SOS 287386 HAS SOPS 287386 HAS SOUS 259389 HAS SOUPS 259389 WITH SCORE 259676.386
AT ITER 1316 NEW BEST:: SOT 495718 SOS 287374 HAS SOPS 287374 HAS SOUS 259377 HAS SOUPS 259377 WITH SCORE 259664.374
AT ITER 1317 NEW BEST:: SOT 495664 SOS 286905 HAS SOPS 286905 HAS SOUS 259009 HAS SOUPS 259009 WITH SCORE 259295.905
AT ITER 1327 NEW BEST:: SOT 495604 SOS 286785 HAS SOPS 286785 HAS SOUS 258889 HAS SOUPS 258889 WITH SCORE 259175.785
AT ITER 1329 NEW BEST:: SOT 495237 SOS 286107 HAS SOPS 286107 HAS SOUS 258211 HAS SOUPS 258211 WITH SCORE 258497.107
AT ITER 1330 NEW BEST:: SOT 494970 SOS 285947 HAS SOPS 285947 HAS SOUS 258051 HAS SOUPS 258051 WITH SCORE 258336.947
AT ITER 1332 NEW BEST:: SOT 494955 SOS 285932 HAS SOPS 285932 HAS SOUS 258036 HAS SOUPS 258036 WITH SCORE 258321.932
AT ITER 1334 NEW BEST:: SOT 494960 SOS 286109 HAS SOPS 286109 HAS SOUS 258009 HAS SOUPS 258009 WITH SCORE 258295.109
AT ITER 1338 NEW BEST:: SOT 494914 SOS 286063 HAS SOPS 286063 HAS SOUS 257963 HAS SOUPS 257963 WITH SCORE 258249.063
AT ITER 1340 NEW BEST:: SOT 494902 SOS 286051 HAS SOPS 286051 HAS SOUS 257951 HAS SOUPS 257951 WITH SCORE 258237.051
AT ITER 1341 NEW BEST:: SOT 494896 SOS 286048 HAS SOPS 286048 HAS SOUS 257948 HAS SOUPS 257948 WITH SCORE 258234.048
AT ITER 1351 NEW BEST:: SOT 494846 SOS 285973 HAS SOPS 285973 HAS SOUS 257873 HAS SOUPS 257873 WITH SCORE 258158.973
AT ITER 1366 NEW BEST:: SOT 494846 SOS 284922 HAS SOPS 284922 HAS SOUS 257486 HAS SOUPS 257486 WITH SCORE 257770.922
AT ITER 1368 NEW BEST:: SOT 494803 SOS 284647 HAS SOPS 284647 HAS SOUS 257223 HAS SOUPS 257223 WITH SCORE 257507.647
AT ITER 1372 NEW BEST:: SOT 494608 SOS 284511 HAS SOPS 284511 HAS SOUS 257110 HAS SOUPS 257110 WITH SCORE 257394.511
AT ITER 1374 NEW BEST:: SOT 494354 SOS 284257 HAS SOPS 284257 HAS SOUS 256604 HAS SOUPS 256604 WITH SCORE 256888.257
AT ITER 1381 NEW BEST:: SOT 494318 SOS 284483 HAS SOPS 284483 HAS SOUS 256532 HAS SOUPS 256532 WITH SCORE 256816.483
AT ITER 1382 NEW BEST:: SOT 493847 SOS 284012 HAS SOPS 284012 HAS SOUS 256060 HAS SOUPS 256060 WITH SCORE 256344.012
AT ITER 1391 NEW BEST:: SOT 493533 SOS 283524 HAS SOPS 283524 HAS SOUS 255572 HAS SOUPS 255572 WITH SCORE 255855.524
AT ITER 1398 NEW BEST:: SOT 493533 SOS 283435 HAS SOPS 283435 HAS SOUS 255377 HAS SOUPS 255377 WITH SCORE 255660.435
AT ITER 1399 NEW BEST:: SOT 493533 SOS 283425 HAS SOPS 283425 HAS SOUS 255283 HAS SOUPS 255283 WITH SCORE 255566.425
AT ITER 1400 NEW BEST:: SOT 493533 SOS 283377 HAS SOPS 283377 HAS SOUS 255250 HAS SOUPS 255250 WITH SCORE 255533.377
AT ITER 1402 NEW BEST:: SOT 493514 SOS 283358 HAS SOPS 283358 HAS SOUS 255231 HAS SOUPS 255231 WITH SCORE 255514.358
AT ITER 1409 NEW BEST:: SOT 493277 SOS 283119 HAS SOPS 283119 HAS SOUS 254992 HAS SOUPS 254992 WITH SCORE 255275.119
AT ITER 1410 NEW BEST:: SOT 493277 SOS 282968 HAS SOPS 282968 HAS SOUS 254841 HAS SOUPS 254841 WITH SCORE 255123.968
AT ITER 1413 NEW BEST:: SOT 493179 SOS 282897 HAS SOPS 282897 HAS SOUS 254770 HAS SOUPS 254770 WITH SCORE 255052.897
AT ITER 1416 NEW BEST:: SOT 493179 SOS 282594 HAS SOPS 282594 HAS SOUS 254684 HAS SOUPS 254684 WITH SCORE 254966.594
AT ITER 1421 NEW BEST:: SOT 493064 SOS 282367 HAS SOPS 282367 HAS SOUS 254454 HAS SOUPS 254454 WITH SCORE 254736.367
AT ITER 1422 NEW BEST:: SOT 492871 SOS 282174 HAS SOPS 282174 HAS SOUS 254261 HAS SOUPS 254261 WITH SCORE 254543.174
AT ITER 1430 NEW BEST:: SOT 492641 SOS 281950 HAS SOPS 281950 HAS SOUS 254006 HAS SOUPS 254006 WITH SCORE 254287.95
AT ITER 1432 NEW BEST:: SOT 492539 SOS 281741 HAS SOPS 281741 HAS SOUS 253890 HAS SOUPS 253890 WITH SCORE 254171.741
AT ITER 1434 NEW BEST:: SOT 491837 SOS 281057 HAS SOPS 281057 HAS SOUS 253205 HAS SOUPS 253205 WITH SCORE 253486.057
AT ITER 1435 NEW BEST:: SOT 491833 SOS 280942 HAS SOPS 280942 HAS SOUS 253090 HAS SOUPS 253090 WITH SCORE 253370.942
AT ITER 1443 NEW BEST:: SOT 492023 SOS 280767 HAS SOPS 280767 HAS SOUS 252976 HAS SOUPS 252976 WITH SCORE 253256.767
AT ITER 1446 NEW BEST:: SOT 491933 SOS 280677 HAS SOPS 280677 HAS SOUS 252796 HAS SOUPS 252796 WITH SCORE 253076.677
AT ITER 1465 NEW BEST:: SOT 491874 SOS 280618 HAS SOPS 280618 HAS SOUS 252750 HAS SOUPS 252750 WITH SCORE 253030.618
AT ITER 1466 NEW BEST:: SOT 491872 SOS 280539 HAS SOPS 280539 HAS SOUS 252668 HAS SOUPS 252668 WITH SCORE 252948.539
AT ITER 1470 NEW BEST:: SOT 491321 SOS 279628 HAS SOPS 279628 HAS SOUS 251760 HAS SOUPS 251760 WITH SCORE 252039.628
AT ITER 1474 NEW BEST:: SOT 490807 SOS 279114 HAS SOPS 279114 HAS SOUS 251232 HAS SOUPS 251232 WITH SCORE 251511.114
AT ITER 1485 NEW BEST:: SOT 490667 SOS 278974 HAS SOPS 278974 HAS SOUS 251092 HAS SOUPS 251092 WITH SCORE 251370.974
AT ITER 1487 NEW BEST:: SOT 490773 SOS 278521 HAS SOPS 278521 HAS SOUS 250728 HAS SOUPS 250728 WITH SCORE 251006.521
AT ITER 1488 NEW BEST:: SOT 490773 SOS 278521 HAS SOPS 278521 HAS SOUS 250726 HAS SOUPS 250726 WITH SCORE 251004.521
AT ITER 1495 NEW BEST:: SOT 490633 SOS 278369 HAS SOPS 278369 HAS SOUS 250444 HAS SOUPS 250444 WITH SCORE 250722.369
AT ITER 1496 NEW BEST:: SOT 490073 SOS 277669 HAS SOPS 277669 HAS SOUS 249744 HAS SOUPS 249744 WITH SCORE 250021.669
AT ITER 1498 NEW BEST:: SOT 490032 SOS 277606 HAS SOPS 277606 HAS SOUS 249662 HAS SOUPS 249662 WITH SCORE 249939.606
AT ITER 1499 NEW BEST:: SOT 490032 SOS 277549 HAS SOPS 277549 HAS SOUS 249655 HAS SOUPS 249655 WITH SCORE 249932.549
AT ITER 1501 NEW BEST:: SOT 489900 SOS 277198 HAS SOPS 277198 HAS SOUS 249277 HAS SOUPS 249277 WITH SCORE 249554.198
AT ITER 1519 NEW BEST:: SOT 489692 SOS 276782 HAS SOPS 276782 HAS SOUS 248861 HAS SOUPS 248861 WITH SCORE 249137.782
AT ITER 1522 NEW BEST:: SOT 489785 SOS 276451 HAS SOPS 276451 HAS SOUS 248797 HAS SOUPS 248797 WITH SCORE 249073.451
AT ITER 1525 NEW BEST:: SOT 489785 SOS 276451 HAS SOPS 276451 HAS SOUS 248755 HAS SOUPS 248755 WITH SCORE 249031.451
AT ITER 1534 NEW BEST:: SOT 489785 SOS 276089 HAS SOPS 276089 HAS SOUS 248574 HAS SOUPS 248574 WITH SCORE 248850.089
AT ITER 1536 NEW BEST:: SOT 489785 SOS 276065 HAS SOPS 276065 HAS SOUS 248562 HAS SOUPS 248562 WITH SCORE 248838.065
AT ITER 1541 NEW BEST:: SOT 489704 SOS 275957 HAS SOPS 275957 HAS SOUS 248454 HAS SOUPS 248454 WITH SCORE 248729.957
AT ITER 1542 NEW BEST:: SOT 489484 SOS 275923 HAS SOPS 275923 HAS SOUS 248078 HAS SOUPS 248078 WITH SCORE 248353.923
AT ITER 1545 NEW BEST:: SOT 488536 SOS 273627 HAS SOPS 273627 HAS SOUS 246793 HAS SOUPS 246793 WITH SCORE 247066.627
AT ITER 1551 NEW BEST:: SOT 488630 SOS 273068 HAS SOPS 273068 HAS SOUS 246480 HAS SOUPS 246480 WITH SCORE 246753.068
AT ITER 1552 NEW BEST:: SOT 488692 SOS 272935 HAS SOPS 272935 HAS SOUS 246316 HAS SOUPS 246316 WITH SCORE 246588.935
AT ITER 1556 NEW BEST:: SOT 488692 SOS 272814 HAS SOPS 272814 HAS SOUS 246262 HAS SOUPS 246262 WITH SCORE 246534.814
AT ITER 1558 NEW BEST:: SOT 488548 SOS 272454 HAS SOPS 272454 HAS SOUS 245974 HAS SOUPS 245974 WITH SCORE 246246.454
AT ITER 1564 NEW BEST:: SOT 488526 SOS 272432 HAS SOPS 272432 HAS SOUS 245952 HAS SOUPS 245952 WITH SCORE 246224.432
AT ITER 1568 NEW BEST:: SOT 488420 SOS 272232 HAS SOPS 272232 HAS SOUS 245752 HAS SOUPS 245752 WITH SCORE 246024.232
AT ITER 1571 NEW BEST:: SOT 487977 SOS 271625 HAS SOPS 271625 HAS SOUS 245145 HAS SOUPS 245145 WITH SCORE 245416.625
AT ITER 1578 NEW BEST:: SOT 487902 SOS 271492 HAS SOPS 271492 HAS SOUS 245056 HAS SOUPS 245056 WITH SCORE 245327.492
AT ITER 1588 NEW BEST:: SOT 487607 SOS 270997 HAS SOPS 270997 HAS SOUS 244584 HAS SOUPS 244584 WITH SCORE 244854.997
AT ITER 1589 NEW BEST:: SOT 487607 SOS 270973 HAS SOPS 270973 HAS SOUS 244584 HAS SOUPS 244584 WITH SCORE 244854.973
AT ITER 1595 NEW BEST:: SOT 487505 SOS 270815 HAS SOPS 270815 HAS SOUS 244380 HAS SOUPS 244380 WITH SCORE 244650.815
AT ITER 1596 NEW BEST:: SOT 487205 SOS 270425 HAS SOPS 270425 HAS SOUS 243960 HAS SOUPS 243960 WITH SCORE 244230.425
AT ITER 1599 NEW BEST:: SOT 486840 SOS 270060 HAS SOPS 270060 HAS SOUS 243595 HAS SOUPS 243595 WITH SCORE 243865.06
AT ITER 1601 NEW BEST:: SOT 486674 SOS 269630 HAS SOPS 269630 HAS SOUS 243263 HAS SOUPS 243263 WITH SCORE 243532.63
AT ITER 1605 NEW BEST:: SOT 486597 SOS 269341 HAS SOPS 269341 HAS SOUS 243108 HAS SOUPS 243108 WITH SCORE 243377.341
AT ITER 1608 NEW BEST:: SOT 486417 SOS 269161 HAS SOPS 269161 HAS SOUS 242928 HAS SOUPS 242928 WITH SCORE 243197.161
AT ITER 1609 NEW BEST:: SOT 486415 SOS 268494 HAS SOPS 268494 HAS SOUS 242710 HAS SOUPS 242710 WITH SCORE 242978.494
AT ITER 1612 NEW BEST:: SOT 486158 SOS 267967 HAS SOPS 267967 HAS SOUS 242136 HAS SOUPS 242136 WITH SCORE 242403.967
AT ITER 1614 NEW BEST:: SOT 485734 SOS 267331 HAS SOPS 267331 HAS SOUS 241495 HAS SOUPS 241495 WITH SCORE 241762.331
AT ITER 1618 NEW BEST:: SOT 485800 SOS 267095 HAS SOPS 267095 HAS SOUS 241264 HAS SOUPS 241264 WITH SCORE 241531.095
AT ITER 1620 NEW BEST:: SOT 485739 SOS 266923 HAS SOPS 266923 HAS SOUS 241092 HAS SOUPS 241092 WITH SCORE 241358.923
AT ITER 1621 NEW BEST:: SOT 485679 SOS 266863 HAS SOPS 266863 HAS SOUS 241032 HAS SOUPS 241032 WITH SCORE 241298.863
AT ITER 1629 NEW BEST:: SOT 485679 SOS 266719 HAS SOPS 266719 HAS SOUS 240947 HAS SOUPS 240947 WITH SCORE 241213.719
AT ITER 1636 NEW BEST:: SOT 485773 SOS 266689 HAS SOPS 266689 HAS SOUS 240917 HAS SOUPS 240917 WITH SCORE 241183.689
AT ITER 1645 NEW BEST:: SOT 485708 SOS 266677 HAS SOPS 266677 HAS SOUS 240713 HAS SOUPS 240713 WITH SCORE 240979.677
AT ITER 1652 NEW BEST:: SOT 485666 SOS 266591 HAS SOPS 266591 HAS SOUS 240650 HAS SOUPS 240650 WITH SCORE 240916.591
AT ITER 1655 NEW BEST:: SOT 485666 SOS 266429 HAS SOPS 266429 HAS SOUS 240488 HAS SOUPS 240488 WITH SCORE 240754.429
AT ITER 1656 NEW BEST:: SOT 485664 SOS 266427 HAS SOPS 266427 HAS SOUS 240488 HAS SOUPS 240488 WITH SCORE 240754.427
AT ITER 1657 NEW BEST:: SOT 485664 SOS 266426 HAS SOPS 266426 HAS SOUS 240488 HAS SOUPS 240488 WITH SCORE 240754.426
AT ITER 1659 NEW BEST:: SOT 485655 SOS 266417 HAS SOPS 266417 HAS SOUS 240479 HAS SOUPS 240479 WITH SCORE 240745.417
AT ITER 1661 NEW BEST:: SOT 485626 SOS 266388 HAS SOPS 266388 HAS SOUS 240450 HAS SOUPS 240450 WITH SCORE 240716.388
AT ITER 1664 NEW BEST:: SOT 485609 SOS 266337 HAS SOPS 266337 HAS SOUS 240416 HAS SOUPS 240416 WITH SCORE 240682.337
AT ITER 1667 NEW BEST:: SOT 485602 SOS 266330 HAS SOPS 266330 HAS SOUS 240409 HAS SOUPS 240409 WITH SCORE 240675.33
AT ITER 1669 NEW BEST:: SOT 485602 SOS 266179 HAS SOPS 266179 HAS SOUS 240107 HAS SOUPS 240107 WITH SCORE 240373.179
AT ITER 1670 NEW BEST:: SOT 485311 SOS 265888 HAS SOPS 265888 HAS SOUS 239773 HAS SOUPS 239773 WITH SCORE 240038.888
AT ITER 1675 NEW BEST:: SOT 485310 SOS 265311 HAS SOPS 265311 HAS SOUS 239771 HAS SOUPS 239771 WITH SCORE 240036.311
AT ITER 1676 NEW BEST:: SOT 485005 SOS 265006 HAS SOPS 265006 HAS SOUS 239466 HAS SOUPS 239466 WITH SCORE 239731.006
AT ITER 1678 NEW BEST:: SOT 485005 SOS 264910 HAS SOPS 264910 HAS SOUS 239466 HAS SOUPS 239466 WITH SCORE 239730.91
AT ITER 1688 NEW BEST:: SOT 484993 SOS 265710 HAS SOPS 265710 HAS SOUS 239376 HAS SOUPS 239376 WITH SCORE 239641.71
AT ITER 1691 NEW BEST:: SOT 484901 SOS 265526 HAS SOPS 265526 HAS SOUS 239192 HAS SOUPS 239192 WITH SCORE 239457.526
AT ITER 1694 NEW BEST:: SOT 484848 SOS 265473 HAS SOPS 265473 HAS SOUS 239139 HAS SOUPS 239139 WITH SCORE 239404.473
AT ITER 1696 NEW BEST:: SOT 484757 SOS 265382 HAS SOPS 265382 HAS SOUS 239048 HAS SOUPS 239048 WITH SCORE 239313.382
AT ITER 1703 NEW BEST:: SOT 484648 SOS 265223 HAS SOPS 265223 HAS SOUS 238889 HAS SOUPS 238889 WITH SCORE 239154.223
AT ITER 1709 NEW BEST:: SOT 484647 SOS 265210 HAS SOPS 265210 HAS SOUS 238876 HAS SOUPS 238876 WITH SCORE 239141.21
AT ITER 1720 NEW BEST:: SOT 484250 SOS 264555 HAS SOPS 264555 HAS SOUS 238221 HAS SOUPS 238221 WITH SCORE 238485.555
AT ITER 1724 NEW BEST:: SOT 484111 SOS 264415 HAS SOPS 264415 HAS SOUS 238081 HAS SOUPS 238081 WITH SCORE 238345.415
AT ITER 1726 NEW BEST:: SOT 483948 SOS 263656 HAS SOPS 263656 HAS SOUS 237701 HAS SOUPS 237701 WITH SCORE 237964.656
AT ITER 1744 NEW BEST:: SOT 483948 SOS 263244 HAS SOPS 263244 HAS SOUS 237701 HAS SOUPS 237701 WITH SCORE 237964.244
AT ITER 1745 NEW BEST:: SOT 483774 SOS 262983 HAS SOPS 262983 HAS SOUS 237440 HAS SOUPS 237440 WITH SCORE 237702.983
AT ITER 1754 NEW BEST:: SOT 483773 SOS 262982 HAS SOPS 262982 HAS SOUS 237439 HAS SOUPS 237439 WITH SCORE 237701.982
AT ITER 1762 NEW BEST:: SOT 483709 SOS 262917 HAS SOPS 262917 HAS SOUS 237374 HAS SOUPS 237374 WITH SCORE 237636.917
AT ITER 1768 NEW BEST:: SOT 483398 SOS 262486 HAS SOPS 262486 HAS SOUS 236848 HAS SOUPS 236848 WITH SCORE 237110.486
AT ITER 1772 NEW BEST:: SOT 483383 SOS 262471 HAS SOPS 262471 HAS SOUS 236833 HAS SOUPS 236833 WITH SCORE 237095.471
AT ITER 1773 NEW BEST:: SOT 483307 SOS 262395 HAS SOPS 262395 HAS SOUS 236690 HAS SOUPS 236690 WITH SCORE 236952.395
AT ITER 1779 NEW BEST:: SOT 483231 SOS 262243 HAS SOPS 262243 HAS SOUS 236530 HAS SOUPS 236530 WITH SCORE 236792.243
AT ITER 1786 NEW BEST:: SOT 483128 SOS 261990 HAS SOPS 261990 HAS SOUS 236323 HAS SOUPS 236323 WITH SCORE 236584.99
AT ITER 1794 NEW BEST:: SOT 482844 SOS 261516 HAS SOPS 261516 HAS SOUS 235849 HAS SOUPS 235849 WITH SCORE 236110.516
AT ITER 1806 NEW BEST:: SOT 482666 SOS 261338 HAS SOPS 261338 HAS SOUS 235671 HAS SOUPS 235671 WITH SCORE 235932.338
AT ITER 1808 NEW BEST:: SOT 482576 SOS 260908 HAS SOPS 260908 HAS SOUS 235449 HAS SOUPS 235449 WITH SCORE 235709.908
AT ITER 1811 NEW BEST:: SOT 482612 SOS 260929 HAS SOPS 260929 HAS SOUS 235445 HAS SOUPS 235445 WITH SCORE 235705.929
AT ITER 1816 NEW BEST:: SOT 482555 SOS 260901 HAS SOPS 260901 HAS SOUS 235392 HAS SOUPS 235392 WITH SCORE 235652.901
AT ITER 1818 NEW BEST:: SOT 482558 SOS 260837 HAS SOPS 260837 HAS SOUS 235328 HAS SOUPS 235328 WITH SCORE 235588.837
AT ITER 1824 NEW BEST:: SOT 482558 SOS 260837 HAS SOPS 260837 HAS SOUS 235251 HAS SOUPS 235251 WITH SCORE 235511.837
AT ITER 1828 NEW BEST:: SOT 482539 SOS 260816 HAS SOPS 260816 HAS SOUS 235230 HAS SOUPS 235230 WITH SCORE 235490.816
AT ITER 1831 NEW BEST:: SOT 482574 SOS 260597 HAS SOPS 260597 HAS SOUS 234840 HAS SOUPS 234840 WITH SCORE 235100.597
AT ITER 1832 NEW BEST:: SOT 482533 SOS 260484 HAS SOPS 260484 HAS SOUS 234617 HAS SOUPS 234617 WITH SCORE 234877.484
AT ITER 1838 NEW BEST:: SOT 482523 SOS 260464 HAS SOPS 260464 HAS SOUS 234597 HAS SOUPS 234597 WITH SCORE 234857.464
AT ITER 1839 NEW BEST:: SOT 482441 SOS 259995 HAS SOPS 259995 HAS SOUS 234276 HAS SOUPS 234276 WITH SCORE 234535.995
AT ITER 1850 NEW BEST:: SOT 482176 SOS 259729 HAS SOPS 259729 HAS SOUS 234169 HAS SOUPS 234169 WITH SCORE 234428.729
AT ITER 1863 NEW BEST:: SOT 482176 SOS 259647 HAS SOPS 259647 HAS SOUS 234168 HAS SOUPS 234168 WITH SCORE 234427.647
AT ITER 1865 NEW BEST:: SOT 481788 SOS 259370 HAS SOPS 259370 HAS SOUS 234074 HAS SOUPS 234074 WITH SCORE 234333.37
AT ITER 1867 NEW BEST:: SOT 481751 SOS 259333 HAS SOPS 259333 HAS SOUS 234000 HAS SOUPS 234000 WITH SCORE 234259.333
AT ITER 1870 NEW BEST:: SOT 481473 SOS 258943 HAS SOPS 258943 HAS SOUS 233609 HAS SOUPS 233609 WITH SCORE 233867.943
AT ITER 1877 NEW BEST:: SOT 481432 SOS 258902 HAS SOPS 258902 HAS SOUS 233568 HAS SOUPS 233568 WITH SCORE 233826.902
AT ITER 1880 NEW BEST:: SOT 481317 SOS 258633 HAS SOPS 258633 HAS SOUS 233415 HAS SOUPS 233415 WITH SCORE 233673.633
AT ITER 1889 NEW BEST:: SOT 481317 SOS 258692 HAS SOPS 258692 HAS SOUS 233303 HAS SOUPS 233303 WITH SCORE 233561.692
AT ITER 1890 NEW BEST:: SOT 480973 SOS 258364 HAS SOPS 258364 HAS SOUS 233076 HAS SOUPS 233076 WITH SCORE 233334.364
AT ITER 1893 NEW BEST:: SOT 480985 SOS 258376 HAS SOPS 258376 HAS SOUS 233062 HAS SOUPS 233062 WITH SCORE 233320.376
AT ITER 1903 NEW BEST:: SOT 480985 SOS 258376 HAS SOPS 258376 HAS SOUS 232803 HAS SOUPS 232803 WITH SCORE 233061.376
AT ITER 1906 NEW BEST:: SOT 480982 SOS 258327 HAS SOPS 258327 HAS SOUS 232754 HAS SOUPS 232754 WITH SCORE 233012.327
AT ITER 1915 NEW BEST:: SOT 481009 SOS 258299 HAS SOPS 258299 HAS SOUS 232742 HAS SOUPS 232742 WITH SCORE 233000.299
AT ITER 1917 NEW BEST:: SOT 481009 SOS 258299 HAS SOPS 258299 HAS SOUS 232739 HAS SOUPS 232739 WITH SCORE 232997.299
AT ITER 1920 NEW BEST:: SOT 480986 SOS 258275 HAS SOPS 258275 HAS SOUS 232715 HAS SOUPS 232715 WITH SCORE 232973.275
AT ITER 1932 NEW BEST:: SOT 480922 SOS 258147 HAS SOPS 258147 HAS SOUS 232619 HAS SOUPS 232619 WITH SCORE 232877.147
AT ITER 1943 NEW BEST:: SOT 480953 SOS 257874 HAS SOPS 257874 HAS SOUS 232415 HAS SOUPS 232415 WITH SCORE 232672.874
AT ITER 1953 NEW BEST:: SOT 480952 SOS 257873 HAS SOPS 257873 HAS SOUS 232414 HAS SOUPS 232414 WITH SCORE 232671.873
AT ITER 1961 NEW BEST:: SOT 481024 SOS 257648 HAS SOPS 257648 HAS SOUS 232296 HAS SOUPS 232296 WITH SCORE 232553.648
AT ITER 1964 NEW BEST:: SOT 481018 SOS 257093 HAS SOPS 257093 HAS SOUS 232171 HAS SOUPS 232171 WITH SCORE 232428.093
AT ITER 1977 NEW BEST:: SOT 481032 SOS 256885 HAS SOPS 256885 HAS SOUS 232031 HAS SOUPS 232031 WITH SCORE 232287.885
AT ITER 1980 NEW BEST:: SOT 481032 SOS 256562 HAS SOPS 256562 HAS SOUS 231878 HAS SOUPS 231878 WITH SCORE 232134.562
AT ITER 1995 NEW BEST:: SOT 481022 SOS 256542 HAS SOPS 256542 HAS SOUS 231868 HAS SOUPS 231868 WITH SCORE 232124.542
AT ITER 1998 NEW BEST:: SOT 480683 SOS 255865 HAS SOPS 255865 HAS SOUS 231222 HAS SOUPS 231222 WITH SCORE 231477.865
AT ITER 2000 NEW BEST:: SOT 480445 SOS 255603 HAS SOPS 255603 HAS SOUS 230960 HAS SOUPS 230960 WITH SCORE 231215.603
AT ITER 2006 NEW BEST:: SOT 480292 SOS 255621 HAS SOPS 255621 HAS SOUS 230950 HAS SOUPS 230950 WITH SCORE 231205.621
AT ITER 2020 NEW BEST:: SOT 480608 SOS 255189 HAS SOPS 255189 HAS SOUS 230795 HAS SOUPS 230795 WITH SCORE 231050.189
AT ITER 2027 NEW BEST:: SOT 480510 SOS 254741 HAS SOPS 254741 HAS SOUS 230543 HAS SOUPS 230543 WITH SCORE 230797.741
AT ITER 2031 NEW BEST:: SOT 480154 SOS 254261 HAS SOPS 254261 HAS SOUS 230045 HAS SOUPS 230045 WITH SCORE 230299.261
AT ITER 2032 NEW BEST:: SOT 480033 SOS 254140 HAS SOPS 254140 HAS SOUS 230005 HAS SOUPS 230005 WITH SCORE 230259.14
AT ITER 2034 NEW BEST:: SOT 480015 SOS 254122 HAS SOPS 254122 HAS SOUS 229987 HAS SOUPS 229987 WITH SCORE 230241.122
AT ITER 2038 NEW BEST:: SOT 479743 SOS 253699 HAS SOPS 253699 HAS SOUS 229603 HAS SOUPS 229603 WITH SCORE 229856.699
AT ITER 2039 NEW BEST:: SOT 479650 SOS 253327 HAS SOPS 253327 HAS SOUS 229417 HAS SOUPS 229417 WITH SCORE 229670.327
AT ITER 2041 NEW BEST:: SOT 479597 SOS 253214 HAS SOPS 253214 HAS SOUS 229243 HAS SOUPS 229243 WITH SCORE 229496.214
AT ITER 2042 NEW BEST:: SOT 479595 SOS 253130 HAS SOPS 253130 HAS SOUS 229159 HAS SOUPS 229159 WITH SCORE 229412.13
AT ITER 2043 NEW BEST:: SOT 479579 SOS 253098 HAS SOPS 253098 HAS SOUS 229127 HAS SOUPS 229127 WITH SCORE 229380.098
AT ITER 2046 NEW BEST:: SOT 479566 SOS 253085 HAS SOPS 253085 HAS SOUS 229114 HAS SOUPS 229114 WITH SCORE 229367.085
AT ITER 2057 NEW BEST:: SOT 479566 SOS 252853 HAS SOPS 252853 HAS SOUS 228998 HAS SOUPS 228998 WITH SCORE 229250.853
AT ITER 2066 NEW BEST:: SOT 479274 SOS 252540 HAS SOPS 252540 HAS SOUS 228685 HAS SOUPS 228685 WITH SCORE 228937.54
AT ITER 2067 NEW BEST:: SOT 479036 SOS 251880 HAS SOPS 251880 HAS SOUS 227984 HAS SOUPS 227984 WITH SCORE 228235.88
AT ITER 2075 NEW BEST:: SOT 479036 SOS 251878 HAS SOPS 251878 HAS SOUS 227982 HAS SOUPS 227982 WITH SCORE 228233.878
AT ITER 2076 NEW BEST:: SOT 478709 SOS 250492 HAS SOPS 250492 HAS SOUS 227319 HAS SOUPS 227319 WITH SCORE 227569.492
AT ITER 2081 NEW BEST:: SOT 478605 SOS 250342 HAS SOPS 250342 HAS SOUS 227141 HAS SOUPS 227141 WITH SCORE 227391.342
AT ITER 2085 NEW BEST:: SOT 478605 SOS 250180 HAS SOPS 250180 HAS SOUS 227089 HAS SOUPS 227089 WITH SCORE 227339.18
AT ITER 2090 NEW BEST:: SOT 478487 SOS 249987 HAS SOPS 249987 HAS SOUS 226768 HAS SOUPS 226768 WITH SCORE 227017.987
AT ITER 2093 NEW BEST:: SOT 478487 SOS 249916 HAS SOPS 249916 HAS SOUS 226767 HAS SOUPS 226767 WITH SCORE 227016.916
AT ITER 2094 NEW BEST:: SOT 478489 SOS 248986 HAS SOPS 248986 HAS SOUS 226187 HAS SOUPS 226187 WITH SCORE 226435.986
AT ITER 2107 NEW BEST:: SOT 478489 SOS 248215 HAS SOPS 248215 HAS SOUS 226047 HAS SOUPS 226047 WITH SCORE 226295.215
AT ITER 2115 NEW BEST:: SOT 478366 SOS 248092 HAS SOPS 248092 HAS SOUS 225924 HAS SOUPS 225924 WITH SCORE 226172.092
AT ITER 2116 NEW BEST:: SOT 478299 SOS 247897 HAS SOPS 247897 HAS SOUS 225790 HAS SOUPS 225790 WITH SCORE 226037.897
AT ITER 2118 NEW BEST:: SOT 478299 SOS 246745 HAS SOPS 246745 HAS SOUS 225729 HAS SOUPS 225729 WITH SCORE 225975.745
AT ITER 2120 NEW BEST:: SOT 477937 SOS 246882 HAS SOPS 246882 HAS SOUS 225642 HAS SOUPS 225642 WITH SCORE 225888.882
AT ITER 2123 NEW BEST:: SOT 477937 SOS 246882 HAS SOPS 246882 HAS SOUS 225607 HAS SOUPS 225607 WITH SCORE 225853.882
AT ITER 2136 NEW BEST:: SOT 477937 SOS 246870 HAS SOPS 246870 HAS SOUS 225605 HAS SOUPS 225605 WITH SCORE 225851.87
AT ITER 2140 NEW BEST:: SOT 477805 SOS 246737 HAS SOPS 246737 HAS SOUS 225324 HAS SOUPS 225324 WITH SCORE 225570.737
AT ITER 2145 NEW BEST:: SOT 477825 SOS 246556 HAS SOPS 246556 HAS SOUS 225287 HAS SOUPS 225287 WITH SCORE 225533.556
AT ITER 2147 NEW BEST:: SOT 477825 SOS 245962 HAS SOPS 245962 HAS SOUS 225238 HAS SOUPS 225238 WITH SCORE 225483.962
AT ITER 2150 NEW BEST:: SOT 477825 SOS 245738 HAS SOPS 245738 HAS SOUS 225217 HAS SOUPS 225217 WITH SCORE 225462.738
AT ITER 2154 NEW BEST:: SOT 477703 SOS 245661 HAS SOPS 245661 HAS SOUS 224998 HAS SOUPS 224998 WITH SCORE 225243.661
AT ITER 2161 NEW BEST:: SOT 477683 SOS 245641 HAS SOPS 245641 HAS SOUS 224978 HAS SOUPS 224978 WITH SCORE 225223.641
AT ITER 2165 NEW BEST:: SOT 477583 SOS 245584 HAS SOPS 245584 HAS SOUS 224921 HAS SOUPS 224921 WITH SCORE 225166.584
AT ITER 2168 NEW BEST:: SOT 477459 SOS 245342 HAS SOPS 245342 HAS SOUS 224606 HAS SOUPS 224606 WITH SCORE 224851.342
AT ITER 2178 NEW BEST:: SOT 477369 SOS 245252 HAS SOPS 245252 HAS SOUS 224560 HAS SOUPS 224560 WITH SCORE 224805.252
AT ITER 2182 NEW BEST:: SOT 477369 SOS 245131 HAS SOPS 245131 HAS SOUS 224440 HAS SOUPS 224440 WITH SCORE 224685.131
AT ITER 2186 NEW BEST:: SOT 477397 SOS 245215 HAS SOPS 245215 HAS SOUS 224309 HAS SOUPS 224309 WITH SCORE 224554.215
AT ITER 2193 NEW BEST:: SOT 477313 SOS 245131 HAS SOPS 245131 HAS SOUS 224214 HAS SOUPS 224214 WITH SCORE 224459.131
AT ITER 2199 NEW BEST:: SOT 477219 SOS 245037 HAS SOPS 245037 HAS SOUS 224120 HAS SOUPS 224120 WITH SCORE 224365.037
AT ITER 2201 NEW BEST:: SOT 476621 SOS 243392 HAS SOPS 243392 HAS SOUS 223051 HAS SOUPS 223051 WITH SCORE 223294.392
AT ITER 2202 NEW BEST:: SOT 476522 SOS 243205 HAS SOPS 243205 HAS SOUS 222948 HAS SOUPS 222948 WITH SCORE 223191.205
AT ITER 2207 NEW BEST:: SOT 475778 SOS 242443 HAS SOPS 242443 HAS SOUS 222186 HAS SOUPS 222186 WITH SCORE 222428.443
AT ITER 2208 NEW BEST:: SOT 475650 SOS 242291 HAS SOPS 242291 HAS SOUS 222034 HAS SOUPS 222034 WITH SCORE 222276.291
AT ITER 2215 NEW BEST:: SOT 475611 SOS 242262 HAS SOPS 242262 HAS SOUS 222016 HAS SOUPS 222016 WITH SCORE 222258.262
AT ITER 2217 NEW BEST:: SOT 475531 SOS 241916 HAS SOPS 241916 HAS SOUS 221670 HAS SOUPS 221670 WITH SCORE 221911.916
AT ITER 2227 NEW BEST:: SOT 475531 SOS 241865 HAS SOPS 241865 HAS SOUS 221639 HAS SOUPS 221639 WITH SCORE 221880.865
AT ITER 2229 NEW BEST:: SOT 475413 SOS 241957 HAS SOPS 241957 HAS SOUS 221403 HAS SOUPS 221403 WITH SCORE 221644.957
AT ITER 2230 NEW BEST:: SOT 475382 SOS 241926 HAS SOPS 241926 HAS SOUS 221341 HAS SOUPS 221341 WITH SCORE 221582.926
AT ITER 2231 NEW BEST:: SOT 475172 SOS 241716 HAS SOPS 241716 HAS SOUS 221131 HAS SOUPS 221131 WITH SCORE 221372.716
AT ITER 2232 NEW BEST:: SOT 475172 SOS 241432 HAS SOPS 241432 HAS SOUS 220989 HAS SOUPS 220989 WITH SCORE 221230.432
AT ITER 2253 NEW BEST:: SOT 475136 SOS 241308 HAS SOPS 241308 HAS SOUS 220865 HAS SOUPS 220865 WITH SCORE 221106.308
AT ITER 2256 NEW BEST:: SOT 475136 SOS 240171 HAS SOPS 240171 HAS SOUS 220426 HAS SOUPS 220426 WITH SCORE 220666.171
AT ITER 2267 NEW BEST:: SOT 475130 SOS 240163 HAS SOPS 240163 HAS SOUS 220424 HAS SOUPS 220424 WITH SCORE 220664.163
AT ITER 2271 NEW BEST:: SOT 474698 SOS 239729 HAS SOPS 239729 HAS SOUS 220133 HAS SOUPS 220133 WITH SCORE 220372.729
AT ITER 2280 NEW BEST:: SOT 474686 SOS 239530 HAS SOPS 239530 HAS SOUS 219934 HAS SOUPS 219934 WITH SCORE 220173.53
AT ITER 2285 NEW BEST:: SOT 474463 SOS 239290 HAS SOPS 239290 HAS SOUS 219694 HAS SOUPS 219694 WITH SCORE 219933.29
AT ITER 2291 NEW BEST:: SOT 474455 SOS 239270 HAS SOPS 239270 HAS SOUS 219678 HAS SOUPS 219678 WITH SCORE 219917.27
AT ITER 2297 NEW BEST:: SOT 474093 SOS 237847 HAS SOPS 237847 HAS SOUS 219397 HAS SOUPS 219397 WITH SCORE 219634.847
AT ITER 2312 NEW BEST:: SOT 474093 SOS 237731 HAS SOPS 237731 HAS SOUS 219397 HAS SOUPS 219397 WITH SCORE 219634.731
AT ITER 2313 NEW BEST:: SOT 474091 SOS 237729 HAS SOPS 237729 HAS SOUS 219395 HAS SOUPS 219395 WITH SCORE 219632.729
AT ITER 2334 NEW BEST:: SOT 474091 SOS 237655 HAS SOPS 237655 HAS SOUS 219393 HAS SOUPS 219393 WITH SCORE 219630.655
AT ITER 2339 NEW BEST:: SOT 473822 SOS 237515 HAS SOPS 237515 HAS SOUS 219105 HAS SOUPS 219105 WITH SCORE 219342.515
AT ITER 2349 NEW BEST:: SOT 473822 SOS 237515 HAS SOPS 237515 HAS SOUS 219103 HAS SOUPS 219103 WITH SCORE 219340.515
AT ITER 2351 NEW BEST:: SOT 473775 SOS 237174 HAS SOPS 237174 HAS SOUS 218762 HAS SOUPS 218762 WITH SCORE 218999.174
AT ITER 2355 NEW BEST:: SOT 473775 SOS 237132 HAS SOPS 237132 HAS SOUS 218762 HAS SOUPS 218762 WITH SCORE 218999.132
AT ITER 2356 NEW BEST:: SOT 473732 SOS 236936 HAS SOPS 236936 HAS SOUS 218566 HAS SOUPS 218566 WITH SCORE 218802.936
AT ITER 2361 NEW BEST:: SOT 473586 SOS 236754 HAS SOPS 236754 HAS SOUS 218468 HAS SOUPS 218468 WITH SCORE 218704.754
AT ITER 2365 NEW BEST:: SOT 473604 SOS 236632 HAS SOPS 236632 HAS SOUS 218424 HAS SOUPS 218424 WITH SCORE 218660.632
AT ITER 2372 NEW BEST:: SOT 472970 SOS 235998 HAS SOPS 235998 HAS SOUS 218317 HAS SOUPS 218317 WITH SCORE 218552.998
AT ITER 2373 NEW BEST:: SOT 472967 SOS 236029 HAS SOPS 236029 HAS SOUS 218308 HAS SOUPS 218308 WITH SCORE 218544.029
AT ITER 2376 NEW BEST:: SOT 472967 SOS 236068 HAS SOPS 236068 HAS SOUS 218298 HAS SOUPS 218298 WITH SCORE 218534.068
AT ITER 2377 NEW BEST:: SOT 472967 SOS 236066 HAS SOPS 236066 HAS SOUS 218223 HAS SOUPS 218223 WITH SCORE 218459.066
AT ITER 2384 NEW BEST:: SOT 472966 SOS 236065 HAS SOPS 236065 HAS SOUS 218222 HAS SOUPS 218222 WITH SCORE 218458.065
AT ITER 2390 NEW BEST:: SOT 472936 SOS 236035 HAS SOPS 236035 HAS SOUS 218192 HAS SOUPS 218192 WITH SCORE 218428.035
AT ITER 2392 NEW BEST:: SOT 472936 SOS 235793 HAS SOPS 235793 HAS SOUS 218146 HAS SOUPS 218146 WITH SCORE 218381.793
AT ITER 2402 NEW BEST:: SOT 472923 SOS 235696 HAS SOPS 235696 HAS SOUS 218049 HAS SOUPS 218049 WITH SCORE 218284.696
AT ITER 2403 NEW BEST:: SOT 472904 SOS 235688 HAS SOPS 235688 HAS SOUS 218041 HAS SOUPS 218041 WITH SCORE 218276.688
AT ITER 2408 NEW BEST:: SOT 472852 SOS 235428 HAS SOPS 235428 HAS SOUS 217937 HAS SOUPS 217937 WITH SCORE 218172.428
AT ITER 2415 NEW BEST:: SOT 472852 SOS 235305 HAS SOPS 235305 HAS SOUS 217814 HAS SOUPS 217814 WITH SCORE 218049.305
AT ITER 2417 NEW BEST:: SOT 472881 SOS 235287 HAS SOPS 235287 HAS SOUS 217796 HAS SOUPS 217796 WITH SCORE 218031.287
AT ITER 2419 NEW BEST:: SOT 472881 SOS 235372 HAS SOPS 235372 HAS SOUS 217565 HAS SOUPS 217565 WITH SCORE 217800.372
AT ITER 2428 NEW BEST:: SOT 472830 SOS 235606 HAS SOPS 235606 HAS SOUS 217518 HAS SOUPS 217518 WITH SCORE 217753.606
AT ITER 2439 NEW BEST:: SOT 472754 SOS 235530 HAS SOPS 235530 HAS SOUS 217442 HAS SOUPS 217442 WITH SCORE 217677.53
AT ITER 2442 NEW BEST:: SOT 472420 SOS 235436 HAS SOPS 235436 HAS SOUS 217348 HAS SOUPS 217348 WITH SCORE 217583.436
AT ITER 2444 NEW BEST:: SOT 471851 SOS 234759 HAS SOPS 234759 HAS SOUS 217216 HAS SOUPS 217216 WITH SCORE 217450.759
AT ITER 2445 NEW BEST:: SOT 471219 SOS 234086 HAS SOPS 234086 HAS SOUS 216479 HAS SOUPS 216479 WITH SCORE 216713.086
AT ITER 2452 NEW BEST:: SOT 471111 SOS 233546 HAS SOPS 233546 HAS SOUS 216156 HAS SOUPS 216156 WITH SCORE 216389.546
AT ITER 2453 NEW BEST:: SOT 471111 SOS 233335 HAS SOPS 233335 HAS SOUS 216147 HAS SOUPS 216147 WITH SCORE 216380.335
AT ITER 2455 NEW BEST:: SOT 471111 SOS 233191 HAS SOPS 233191 HAS SOUS 216099 HAS SOUPS 216099 WITH SCORE 216332.191
AT ITER 2470 NEW BEST:: SOT 471111 SOS 233184 HAS SOPS 233184 HAS SOUS 216099 HAS SOUPS 216099 WITH SCORE 216332.184
AT ITER 2476 NEW BEST:: SOT 471087 SOS 233160 HAS SOPS 233160 HAS SOUS 216075 HAS SOUPS 216075 WITH SCORE 216308.16
AT ITER 2478 NEW BEST:: SOT 471128 SOS 233238 HAS SOPS 233238 HAS SOUS 216069 HAS SOUPS 216069 WITH SCORE 216302.238
AT ITER 2490 NEW BEST:: SOT 471022 SOS 232813 HAS SOPS 232813 HAS SOUS 215644 HAS SOUPS 215644 WITH SCORE 215876.813
AT ITER 2508 NEW BEST:: SOT 471022 SOS 232764 HAS SOPS 232764 HAS SOUS 215503 HAS SOUPS 215503 WITH SCORE 215735.764
AT ITER 2511 NEW BEST:: SOT 471022 SOS 232749 HAS SOPS 232749 HAS SOUS 215488 HAS SOUPS 215488 WITH SCORE 215720.749
AT ITER 2514 NEW BEST:: SOT 471022 SOS 232464 HAS SOPS 232464 HAS SOUS 215386 HAS SOUPS 215386 WITH SCORE 215618.464
AT ITER 2517 NEW BEST:: SOT 470985 SOS 232427 HAS SOPS 232427 HAS SOUS 215349 HAS SOUPS 215349 WITH SCORE 215581.427
AT ITER 2522 NEW BEST:: SOT 470967 SOS 232409 HAS SOPS 232409 HAS SOUS 215340 HAS SOUPS 215340 WITH SCORE 215572.409
AT ITER 2526 NEW BEST:: SOT 470743 SOS 232633 HAS SOPS 232633 HAS SOUS 215311 HAS SOUPS 215311 WITH SCORE 215543.633
AT ITER 2529 NEW BEST:: SOT 470703 SOS 232602 HAS SOPS 232602 HAS SOUS 215280 HAS SOUPS 215280 WITH SCORE 215512.602
AT ITER 2533 NEW BEST:: SOT 470692 SOS 232574 HAS SOPS 232574 HAS SOUS 215252 HAS SOUPS 215252 WITH SCORE 215484.574
AT ITER 2535 NEW BEST:: SOT 470659 SOS 232441 HAS SOPS 232441 HAS SOUS 215090 HAS SOUPS 215090 WITH SCORE 215322.441
AT ITER 2536 NEW BEST:: SOT 470659 SOS 232266 HAS SOPS 232266 HAS SOUS 214664 HAS SOUPS 214664 WITH SCORE 214896.266
AT ITER 2539 NEW BEST:: SOT 470659 SOS 232147 HAS SOPS 232147 HAS SOUS 214623 HAS SOUPS 214623 WITH SCORE 214855.147
AT ITER 2543 NEW BEST:: SOT 470686 SOS 231983 HAS SOPS 231983 HAS SOUS 214619 HAS SOUPS 214619 WITH SCORE 214850.983
AT ITER 2546 NEW BEST:: SOT 470686 SOS 231794 HAS SOPS 231794 HAS SOUS 214387 HAS SOUPS 214387 WITH SCORE 214618.794
AT ITER 2548 NEW BEST:: SOT 470701 SOS 231809 HAS SOPS 231809 HAS SOUS 214382 HAS SOUPS 214382 WITH SCORE 214613.809
AT ITER 2554 NEW BEST:: SOT 470701 SOS 231708 HAS SOPS 231708 HAS SOUS 214281 HAS SOUPS 214281 WITH SCORE 214512.708
AT ITER 2560 NEW BEST:: SOT 470693 SOS 231678 HAS SOPS 231678 HAS SOUS 214251 HAS SOUPS 214251 WITH SCORE 214482.678
AT ITER 2574 NEW BEST:: SOT 470557 SOS 231522 HAS SOPS 231522 HAS SOUS 214095 HAS SOUPS 214095 WITH SCORE 214326.522
AT ITER 2575 NEW BEST:: SOT 470513 SOS 231434 HAS SOPS 231434 HAS SOUS 214007 HAS SOUPS 214007 WITH SCORE 214238.434
AT ITER 2588 NEW BEST:: SOT 470436 SOS 231280 HAS SOPS 231280 HAS SOUS 213853 HAS SOUPS 213853 WITH SCORE 214084.28
AT ITER 2593 NEW BEST:: SOT 470394 SOS 231163 HAS SOPS 231163 HAS SOUS 213736 HAS SOUPS 213736 WITH SCORE 213967.163
AT ITER 2596 NEW BEST:: SOT 470666 SOS 231544 HAS SOPS 231544 HAS SOUS 213693 HAS SOUPS 213693 WITH SCORE 213924.544
AT ITER 2597 NEW BEST:: SOT 470666 SOS 231522 HAS SOPS 231522 HAS SOUS 213678 HAS SOUPS 213678 WITH SCORE 213909.522
AT ITER 2609 NEW BEST:: SOT 470638 SOS 231494 HAS SOPS 231494 HAS SOUS 213664 HAS SOUPS 213664 WITH SCORE 213895.494
AT ITER 2621 NEW BEST:: SOT 470580 SOS 231262 HAS SOPS 231262 HAS SOUS 213475 HAS SOUPS 213475 WITH SCORE 213706.262
AT ITER 2622 NEW BEST:: SOT 470494 SOS 231090 HAS SOPS 231090 HAS SOUS 213303 HAS SOUPS 213303 WITH SCORE 213534.09
AT ITER 2630 NEW BEST:: SOT 470494 SOS 231023 HAS SOPS 231023 HAS SOUS 213210 HAS SOUPS 213210 WITH SCORE 213441.023
AT ITER 2638 NEW BEST:: SOT 470431 SOS 230979 HAS SOPS 230979 HAS SOUS 213166 HAS SOUPS 213166 WITH SCORE 213396.979
AT ITER 2645 NEW BEST:: SOT 470421 SOS 230959 HAS SOPS 230959 HAS SOUS 213156 HAS SOUPS 213156 WITH SCORE 213386.959
AT ITER 2655 NEW BEST:: SOT 470412 SOS 230941 HAS SOPS 230941 HAS SOUS 213138 HAS SOUPS 213138 WITH SCORE 213368.941
AT ITER 2675 NEW BEST:: SOT 470412 SOS 230626 HAS SOPS 230626 HAS SOUS 213056 HAS SOUPS 213056 WITH SCORE 213286.626
AT ITER 2679 NEW BEST:: SOT 470312 SOS 230507 HAS SOPS 230507 HAS SOUS 213051 HAS SOUPS 213051 WITH SCORE 213281.507
AT ITER 2680 NEW BEST:: SOT 470251 SOS 230284 HAS SOPS 230284 HAS SOUS 212734 HAS SOUPS 212734 WITH SCORE 212964.284
AT ITER 2692 NEW BEST:: SOT 470079 SOS 229894 HAS SOPS 229894 HAS SOUS 212344 HAS SOUPS 212344 WITH SCORE 212573.894
AT ITER 2694 NEW BEST:: SOT 470113 SOS 229721 HAS SOPS 229721 HAS SOUS 212270 HAS SOUPS 212270 WITH SCORE 212499.721
AT ITER 2700 NEW BEST:: SOT 469981 SOS 229548 HAS SOPS 229548 HAS SOUS 212163 HAS SOUPS 212163 WITH SCORE 212392.548
AT ITER 2702 NEW BEST:: SOT 469864 SOS 229431 HAS SOPS 229431 HAS SOUS 212046 HAS SOUPS 212046 WITH SCORE 212275.431
AT ITER 2716 NEW BEST:: SOT 469864 SOS 229415 HAS SOPS 229415 HAS SOUS 212046 HAS SOUPS 212046 WITH SCORE 212275.415
AT ITER 2722 NEW BEST:: SOT 469802 SOS 229353 HAS SOPS 229353 HAS SOUS 211862 HAS SOUPS 211862 WITH SCORE 212091.353
AT ITER 2723 NEW BEST:: SOT 469802 SOS 229287 HAS SOPS 229287 HAS SOUS 211796 HAS SOUPS 211796 WITH SCORE 212025.287
AT ITER 2728 NEW BEST:: SOT 469618 SOS 229103 HAS SOPS 229103 HAS SOUS 211513 HAS SOUPS 211513 WITH SCORE 211742.103
AT ITER 2729 NEW BEST:: SOT 469603 SOS 229028 HAS SOPS 229028 HAS SOUS 211463 HAS SOUPS 211463 WITH SCORE 211692.028
AT ITER 2731 NEW BEST:: SOT 469476 SOS 228902 HAS SOPS 228902 HAS SOUS 211276 HAS SOUPS 211276 WITH SCORE 211504.902
AT ITER 2736 NEW BEST:: SOT 469476 SOS 228767 HAS SOPS 228767 HAS SOUS 211226 HAS SOUPS 211226 WITH SCORE 211454.767
AT ITER 2740 NEW BEST:: SOT 469469 SOS 228764 HAS SOPS 228764 HAS SOUS 211223 HAS SOUPS 211223 WITH SCORE 211451.764
AT ITER 2759 NEW BEST:: SOT 468970 SOS 228128 HAS SOPS 228128 HAS SOUS 210623 HAS SOUPS 210623 WITH SCORE 210851.128
AT ITER 2761 NEW BEST:: SOT 468970 SOS 227693 HAS SOPS 227693 HAS SOUS 210623 HAS SOUPS 210623 WITH SCORE 210850.693
AT ITER 2770 NEW BEST:: SOT 468920 SOS 227593 HAS SOPS 227593 HAS SOUS 210523 HAS SOUPS 210523 WITH SCORE 210750.593
AT ITER 2779 NEW BEST:: SOT 468923 SOS 228000 HAS SOPS 228000 HAS SOUS 210495 HAS SOUPS 210495 WITH SCORE 210723.0
AT ITER 2796 NEW BEST:: SOT 468913 SOS 227936 HAS SOPS 227936 HAS SOUS 210466 HAS SOUPS 210466 WITH SCORE 210693.936
AT ITER 2800 NEW BEST:: SOT 468730 SOS 227934 HAS SOPS 227934 HAS SOUS 210464 HAS SOUPS 210464 WITH SCORE 210691.934
AT ITER 2813 NEW BEST:: SOT 468794 SOS 227932 HAS SOPS 227932 HAS SOUS 210462 HAS SOUPS 210462 WITH SCORE 210689.932
AT ITER 2824 NEW BEST:: SOT 468794 SOS 227914 HAS SOPS 227914 HAS SOUS 210443 HAS SOUPS 210443 WITH SCORE 210670.914
AT ITER 2826 NEW BEST:: SOT 468639 SOS 227759 HAS SOPS 227759 HAS SOUS 210288 HAS SOUPS 210288 WITH SCORE 210515.759
AT ITER 2841 NEW BEST:: SOT 468608 SOS 227685 HAS SOPS 227685 HAS SOUS 210214 HAS SOUPS 210214 WITH SCORE 210441.685
AT ITER 2850 NEW BEST:: SOT 468693 SOS 227874 HAS SOPS 227874 HAS SOUS 210142 HAS SOUPS 210142 WITH SCORE 210369.874
AT ITER 2859 NEW BEST:: SOT 468653 SOS 227665 HAS SOPS 227665 HAS SOUS 209983 HAS SOUPS 209983 WITH SCORE 210210.665
AT ITER 2860 NEW BEST:: SOT 468475 SOS 227487 HAS SOPS 227487 HAS SOUS 209805 HAS SOUPS 209805 WITH SCORE 210032.487
AT ITER 2865 NEW BEST:: SOT 468475 SOS 227480 HAS SOPS 227480 HAS SOUS 209805 HAS SOUPS 209805 WITH SCORE 210032.48
AT ITER 2868 NEW BEST:: SOT 468475 SOS 227422 HAS SOPS 227422 HAS SOUS 209805 HAS SOUPS 209805 WITH SCORE 210032.422
AT ITER 2873 NEW BEST:: SOT 468392 SOS 227248 HAS SOPS 227248 HAS SOUS 209539 HAS SOUPS 209539 WITH SCORE 209766.248
AT ITER 2888 NEW BEST:: SOT 468344 SOS 227008 HAS SOPS 227008 HAS SOUS 209249 HAS SOUPS 209249 WITH SCORE 209476.008
AT ITER 2889 NEW BEST:: SOT 468336 SOS 226992 HAS SOPS 226992 HAS SOUS 209237 HAS SOUPS 209237 WITH SCORE 209463.992
AT ITER 2894 NEW BEST:: SOT 468315 SOS 226971 HAS SOPS 226971 HAS SOUS 209216 HAS SOUPS 209216 WITH SCORE 209442.971
AT ITER 2914 NEW BEST:: SOT 468185 SOS 226955 HAS SOPS 226955 HAS SOUS 209193 HAS SOUPS 209193 WITH SCORE 209419.955
AT ITER 2915 NEW BEST:: SOT 468126 SOS 226691 HAS SOPS 226691 HAS SOUS 208998 HAS SOUPS 208998 WITH SCORE 209224.691
AT ITER 2943 NEW BEST:: SOT 468126 SOS 226649 HAS SOPS 226649 HAS SOUS 208956 HAS SOUPS 208956 WITH SCORE 209182.649
AT ITER 2956 NEW BEST:: SOT 468125 SOS 226648 HAS SOPS 226648 HAS SOUS 208952 HAS SOUPS 208952 WITH SCORE 209178.648
AT ITER 2965 NEW BEST:: SOT 468125 SOS 226655 HAS SOPS 226655 HAS SOUS 208903 HAS SOUPS 208903 WITH SCORE 209129.655
AT ITER 2976 NEW BEST:: SOT 468098 SOS 226566 HAS SOPS 226566 HAS SOUS 208812 HAS SOUPS 208812 WITH SCORE 209038.566
AT ITER 2987 NEW BEST:: SOT 468147 SOS 226521 HAS SOPS 226521 HAS SOUS 208811 HAS SOUPS 208811 WITH SCORE 209037.521
AT ITER 2997 NEW BEST:: SOT 468081 SOS 226511 HAS SOPS 226511 HAS SOUS 208801 HAS SOUPS 208801 WITH SCORE 209027.511
AT ITER 3003 NEW BEST:: SOT 467962 SOS 226392 HAS SOPS 226392 HAS SOUS 208682 HAS SOUPS 208682 WITH SCORE 208908.392
AT ITER 3004 NEW BEST:: SOT 467962 SOS 226374 HAS SOPS 226374 HAS SOUS 208673 HAS SOUPS 208673 WITH SCORE 208899.374
AT ITER 3007 NEW BEST:: SOT 467760 SOS 226480 HAS SOPS 226480 HAS SOUS 208482 HAS SOUPS 208482 WITH SCORE 208708.48
AT ITER 3009 NEW BEST:: SOT 466849 SOS 225277 HAS SOPS 225277 HAS SOUS 207386 HAS SOUPS 207386 WITH SCORE 207611.277
AT ITER 3012 NEW BEST:: SOT 466708 SOS 224664 HAS SOPS 224664 HAS SOUS 207097 HAS SOUPS 207097 WITH SCORE 207321.664
AT ITER 3013 NEW BEST:: SOT 466726 SOS 224642 HAS SOPS 224642 HAS SOUS 207075 HAS SOUPS 207075 WITH SCORE 207299.642
AT ITER 3031 NEW BEST:: SOT 466481 SOS 224277 HAS SOPS 224277 HAS SOUS 206626 HAS SOUPS 206626 WITH SCORE 206850.277
AT ITER 3032 NEW BEST:: SOT 466481 SOS 224215 HAS SOPS 224215 HAS SOUS 206626 HAS SOUPS 206626 WITH SCORE 206850.215
AT ITER 3035 NEW BEST:: SOT 466211 SOS 224116 HAS SOPS 224116 HAS SOUS 206527 HAS SOUPS 206527 WITH SCORE 206751.116
AT ITER 3042 NEW BEST:: SOT 466274 SOS 224099 HAS SOPS 224099 HAS SOUS 206487 HAS SOUPS 206487 WITH SCORE 206711.099
AT ITER 3050 NEW BEST:: SOT 466221 SOS 224046 HAS SOPS 224046 HAS SOUS 206487 HAS SOUPS 206487 WITH SCORE 206711.046
AT ITER 3063 NEW BEST:: SOT 466207 SOS 224019 HAS SOPS 224019 HAS SOUS 206460 HAS SOUPS 206460 WITH SCORE 206684.019
AT ITER 3064 NEW BEST:: SOT 466186 SOS 223956 HAS SOPS 223956 HAS SOUS 206418 HAS SOUPS 206418 WITH SCORE 206641.956
AT ITER 3066 NEW BEST:: SOT 466064 SOS 223834 HAS SOPS 223834 HAS SOUS 206296 HAS SOUPS 206296 WITH SCORE 206519.834
AT ITER 3069 NEW BEST:: SOT 465998 SOS 223702 HAS SOPS 223702 HAS SOUS 206164 HAS SOUPS 206164 WITH SCORE 206387.702
AT ITER 3072 NEW BEST:: SOT 465998 SOS 223702 HAS SOPS 223702 HAS SOUS 206157 HAS SOUPS 206157 WITH SCORE 206380.702
AT ITER 3077 NEW BEST:: SOT 465810 SOS 223600 HAS SOPS 223600 HAS SOUS 205934 HAS SOUPS 205934 WITH SCORE 206157.6
AT ITER 3078 NEW BEST:: SOT 465924 SOS 223551 HAS SOPS 223551 HAS SOUS 205885 HAS SOUPS 205885 WITH SCORE 206108.551
AT ITER 3097 NEW BEST:: SOT 465936 SOS 223523 HAS SOPS 223523 HAS SOUS 205857 HAS SOUPS 205857 WITH SCORE 206080.523
AT ITER 3110 NEW BEST:: SOT 465918 SOS 223505 HAS SOPS 223505 HAS SOUS 205839 HAS SOUPS 205839 WITH SCORE 206062.505
AT ITER 3115 NEW BEST:: SOT 465578 SOS 223230 HAS SOPS 223230 HAS SOUS 205564 HAS SOUPS 205564 WITH SCORE 205787.23
AT ITER 3121 NEW BEST:: SOT 465297 SOS 222850 HAS SOPS 222850 HAS SOUS 205188 HAS SOUPS 205188 WITH SCORE 205410.85
AT ITER 3134 NEW BEST:: SOT 465203 SOS 222756 HAS SOPS 222756 HAS SOUS 205094 HAS SOUPS 205094 WITH SCORE 205316.756
AT ITER 3140 NEW BEST:: SOT 465111 SOS 222655 HAS SOPS 222655 HAS SOUS 204909 HAS SOUPS 204909 WITH SCORE 205131.655
AT ITER 3145 NEW BEST:: SOT 465023 SOS 222567 HAS SOPS 222567 HAS SOUS 204821 HAS SOUPS 204821 WITH SCORE 205043.567
AT ITER 3147 NEW BEST:: SOT 465023 SOS 222540 HAS SOPS 222540 HAS SOUS 204794 HAS SOUPS 204794 WITH SCORE 205016.54
AT ITER 3148 NEW BEST:: SOT 465015 SOS 222532 HAS SOPS 222532 HAS SOUS 204786 HAS SOUPS 204786 WITH SCORE 205008.532
AT ITER 3154 NEW BEST:: SOT 464823 SOS 222281 HAS SOPS 222281 HAS SOUS 204596 HAS SOUPS 204596 WITH SCORE 204818.281
AT ITER 3155 NEW BEST:: SOT 464788 SOS 222246 HAS SOPS 222246 HAS SOUS 204582 HAS SOUPS 204582 WITH SCORE 204804.246
AT ITER 3156 NEW BEST:: SOT 464680 SOS 222102 HAS SOPS 222102 HAS SOUS 204474 HAS SOUPS 204474 WITH SCORE 204696.102
AT ITER 3159 NEW BEST:: SOT 464549 SOS 221981 HAS SOPS 221981 HAS SOUS 204353 HAS SOUPS 204353 WITH SCORE 204574.981
AT ITER 3164 NEW BEST:: SOT 464510 SOS 221942 HAS SOPS 221942 HAS SOUS 204314 HAS SOUPS 204314 WITH SCORE 204535.942
AT ITER 3166 NEW BEST:: SOT 464425 SOS 221831 HAS SOPS 221831 HAS SOUS 204203 HAS SOUPS 204203 WITH SCORE 204424.831
AT ITER 3174 NEW BEST:: SOT 464380 SOS 221602 HAS SOPS 221602 HAS SOUS 204067 HAS SOUPS 204067 WITH SCORE 204288.602
AT ITER 3189 NEW BEST:: SOT 464371 SOS 221602 HAS SOPS 221602 HAS SOUS 204058 HAS SOUPS 204058 WITH SCORE 204279.602
AT ITER 3199 NEW BEST:: SOT 464292 SOS 221345 HAS SOPS 221345 HAS SOUS 203842 HAS SOUPS 203842 WITH SCORE 204063.345
AT ITER 3206 NEW BEST:: SOT 464292 SOS 221220 HAS SOPS 221220 HAS SOUS 203717 HAS SOUPS 203717 WITH SCORE 203938.22
AT ITER 3207 NEW BEST:: SOT 464307 SOS 221178 HAS SOPS 221178 HAS SOUS 203675 HAS SOUPS 203675 WITH SCORE 203896.178
AT ITER 3216 NEW BEST:: SOT 464149 SOS 221168 HAS SOPS 221168 HAS SOUS 203649 HAS SOUPS 203649 WITH SCORE 203870.168
AT ITER 3224 NEW BEST:: SOT 464149 SOS 221029 HAS SOPS 221029 HAS SOUS 203649 HAS SOUPS 203649 WITH SCORE 203870.029
AT ITER 3228 NEW BEST:: SOT 464111 SOS 220991 HAS SOPS 220991 HAS SOUS 203592 HAS SOUPS 203592 WITH SCORE 203812.991
AT ITER 3230 NEW BEST:: SOT 463766 SOS 220544 HAS SOPS 220544 HAS SOUS 203140 HAS SOUPS 203140 WITH SCORE 203360.544
AT ITER 3238 NEW BEST:: SOT 463687 SOS 220465 HAS SOPS 220465 HAS SOUS 203134 HAS SOUPS 203134 WITH SCORE 203354.465
AT ITER 3240 NEW BEST:: SOT 463394 SOS 220234 HAS SOPS 220234 HAS SOUS 202903 HAS SOUPS 202903 WITH SCORE 203123.234
AT ITER 3241 NEW BEST:: SOT 463276 SOS 220220 HAS SOPS 220220 HAS SOUS 202889 HAS SOUPS 202889 WITH SCORE 203109.22
AT ITER 3247 NEW BEST:: SOT 463236 SOS 220158 HAS SOPS 220158 HAS SOUS 202827 HAS SOUPS 202827 WITH SCORE 203047.158
AT ITER 3249 NEW BEST:: SOT 463236 SOS 220102 HAS SOPS 220102 HAS SOUS 202827 HAS SOUPS 202827 WITH SCORE 203047.102
AT ITER 3254 NEW BEST:: SOT 463064 SOS 219937 HAS SOPS 219937 HAS SOUS 202662 HAS SOUPS 202662 WITH SCORE 202881.937
AT ITER 3255 NEW BEST:: SOT 462956 SOS 219568 HAS SOPS 219568 HAS SOUS 202293 HAS SOUPS 202293 WITH SCORE 202512.568
AT ITER 3264 NEW BEST:: SOT 462644 SOS 219380 HAS SOPS 219380 HAS SOUS 201956 HAS SOUPS 201956 WITH SCORE 202175.38
AT ITER 3274 NEW BEST:: SOT 462644 SOS 219375 HAS SOPS 219375 HAS SOUS 201951 HAS SOUPS 201951 WITH SCORE 202170.375
AT ITER 3276 NEW BEST:: SOT 462370 SOS 218993 HAS SOPS 218993 HAS SOUS 201391 HAS SOUPS 201391 WITH SCORE 201609.993
AT ITER 3277 NEW BEST:: SOT 462397 SOS 218964 HAS SOPS 218964 HAS SOUS 201354 HAS SOUPS 201354 WITH SCORE 201572.964
AT ITER 3282 NEW BEST:: SOT 462397 SOS 218951 HAS SOPS 218951 HAS SOUS 201354 HAS SOUPS 201354 WITH SCORE 201572.951
AT ITER 3290 NEW BEST:: SOT 462350 SOS 218716 HAS SOPS 218716 HAS SOUS 201213 HAS SOUPS 201213 WITH SCORE 201431.716
AT ITER 3300 NEW BEST:: SOT 462350 SOS 218647 HAS SOPS 218647 HAS SOUS 201144 HAS SOUPS 201144 WITH SCORE 201362.647
AT ITER 3302 NEW BEST:: SOT 462350 SOS 218647 HAS SOPS 218647 HAS SOUS 201112 HAS SOUPS 201112 WITH SCORE 201330.647
AT ITER 3313 NEW BEST:: SOT 462055 SOS 218465 HAS SOPS 218465 HAS SOUS 200930 HAS SOUPS 200930 WITH SCORE 201148.465
AT ITER 3317 NEW BEST:: SOT 461893 SOS 218303 HAS SOPS 218303 HAS SOUS 200930 HAS SOUPS 200930 WITH SCORE 201148.303
AT ITER 3326 NEW BEST:: SOT 461876 SOS 218269 HAS SOPS 218269 HAS SOUS 200896 HAS SOUPS 200896 WITH SCORE 201114.269
AT ITER 3336 NEW BEST:: SOT 461783 SOS 218176 HAS SOPS 218176 HAS SOUS 200803 HAS SOUPS 200803 WITH SCORE 201021.176
AT ITER 3359 NEW BEST:: SOT 461783 SOS 218163 HAS SOPS 218163 HAS SOUS 200790 HAS SOUPS 200790 WITH SCORE 201008.163
AT ITER 3365 NEW BEST:: SOT 461566 SOS 217818 HAS SOPS 217818 HAS SOUS 200445 HAS SOUPS 200445 WITH SCORE 200662.818
AT ITER 3372 NEW BEST:: SOT 461319 SOS 217610 HAS SOPS 217610 HAS SOUS 200237 HAS SOUPS 200237 WITH SCORE 200454.61
AT ITER 3377 NEW BEST:: SOT 461202 SOS 217085 HAS SOPS 217085 HAS SOUS 199918 HAS SOUPS 199918 WITH SCORE 200135.085
AT ITER 3389 NEW BEST:: SOT 461087 SOS 217109 HAS SOPS 217109 HAS SOUS 199827 HAS SOUPS 199827 WITH SCORE 200044.109
AT ITER 3396 NEW BEST:: SOT 461087 SOS 217104 HAS SOPS 217104 HAS SOUS 199822 HAS SOUPS 199822 WITH SCORE 200039.104
AT ITER 3416 NEW BEST:: SOT 460881 SOS 216881 HAS SOPS 216881 HAS SOUS 199581 HAS SOUPS 199581 WITH SCORE 199797.881
AT ITER 3425 NEW BEST:: SOT 460807 SOS 216733 HAS SOPS 216733 HAS SOUS 199470 HAS SOUPS 199470 WITH SCORE 199686.733
AT ITER 3430 NEW BEST:: SOT 460567 SOS 216175 HAS SOPS 216175 HAS SOUS 199255 HAS SOUPS 199255 WITH SCORE 199471.175
AT ITER 3437 NEW BEST:: SOT 460335 SOS 215972 HAS SOPS 215972 HAS SOUS 199170 HAS SOUPS 199170 WITH SCORE 199385.972
AT ITER 3446 NEW BEST:: SOT 460329 SOS 215966 HAS SOPS 215966 HAS SOUS 199164 HAS SOUPS 199164 WITH SCORE 199379.966
AT ITER 3447 NEW BEST:: SOT 460176 SOS 215813 HAS SOPS 215813 HAS SOUS 198830 HAS SOUPS 198830 WITH SCORE 199045.813
AT ITER 3450 NEW BEST:: SOT 460094 SOS 215467 HAS SOPS 215467 HAS SOUS 198566 HAS SOUPS 198566 WITH SCORE 198781.467
AT ITER 3453 NEW BEST:: SOT 460240 SOS 215387 HAS SOPS 215387 HAS SOUS 198473 HAS SOUPS 198473 WITH SCORE 198688.387
AT ITER 3457 NEW BEST:: SOT 460240 SOS 215336 HAS SOPS 215336 HAS SOUS 198433 HAS SOUPS 198433 WITH SCORE 198648.336
AT ITER 3459 NEW BEST:: SOT 460244 SOS 215325 HAS SOPS 215325 HAS SOUS 198422 HAS SOUPS 198422 WITH SCORE 198637.325
AT ITER 3465 NEW BEST:: SOT 460219 SOS 215300 HAS SOPS 215300 HAS SOUS 198397 HAS SOUPS 198397 WITH SCORE 198612.3
AT ITER 3471 NEW BEST:: SOT 460204 SOS 215297 HAS SOPS 215297 HAS SOUS 198394 HAS SOUPS 198394 WITH SCORE 198609.297
AT ITER 3480 NEW BEST:: SOT 460105 SOS 215270 HAS SOPS 215270 HAS SOUS 198282 HAS SOUPS 198282 WITH SCORE 198497.27
AT ITER 3482 NEW BEST:: SOT 459952 SOS 214931 HAS SOPS 214931 HAS SOUS 198079 HAS SOUPS 198079 WITH SCORE 198293.931
AT ITER 3499 NEW BEST:: SOT 459855 SOS 214834 HAS SOPS 214834 HAS SOUS 197982 HAS SOUPS 197982 WITH SCORE 198196.834
AT ITER 3508 NEW BEST:: SOT 459802 SOS 214662 HAS SOPS 214662 HAS SOUS 197810 HAS SOUPS 197810 WITH SCORE 198024.662
AT ITER 3516 NEW BEST:: SOT 459798 SOS 214658 HAS SOPS 214658 HAS SOUS 197806 HAS SOUPS 197806 WITH SCORE 198020.658
AT ITER 3520 NEW BEST:: SOT 459642 SOS 214639 HAS SOPS 214639 HAS SOUS 197676 HAS SOUPS 197676 WITH SCORE 197890.639
AT ITER 3521 NEW BEST:: SOT 459642 SOS 214384 HAS SOPS 214384 HAS SOUS 197646 HAS SOUPS 197646 WITH SCORE 197860.384
AT ITER 3524 NEW BEST:: SOT 459638 SOS 214380 HAS SOPS 214380 HAS SOUS 197638 HAS SOUPS 197638 WITH SCORE 197852.38
AT ITER 3552 NEW BEST:: SOT 459638 SOS 214359 HAS SOPS 214359 HAS SOUS 197617 HAS SOUPS 197617 WITH SCORE 197831.359
AT ITER 3558 NEW BEST:: SOT 459628 SOS 214349 HAS SOPS 214349 HAS SOUS 197597 HAS SOUPS 197597 WITH SCORE 197811.349
AT ITER 3559 NEW BEST:: SOT 459625 SOS 214346 HAS SOPS 214346 HAS SOUS 197593 HAS SOUPS 197593 WITH SCORE 197807.346
AT ITER 3565 NEW BEST:: SOT 459620 SOS 214281 HAS SOPS 214281 HAS SOUS 197536 HAS SOUPS 197536 WITH SCORE 197750.281
AT ITER 3581 NEW BEST:: SOT 459610 SOS 214271 HAS SOPS 214271 HAS SOUS 197526 HAS SOUPS 197526 WITH SCORE 197740.271
AT ITER 3595 NEW BEST:: SOT 459507 SOS 214098 HAS SOPS 214098 HAS SOUS 197353 HAS SOUPS 197353 WITH SCORE 197567.098
AT ITER 3606 NEW BEST:: SOT 459507 SOS 214042 HAS SOPS 214042 HAS SOUS 197297 HAS SOUPS 197297 WITH SCORE 197511.042
AT ITER 3609 NEW BEST:: SOT 459323 SOS 213566 HAS SOPS 213566 HAS SOUS 196821 HAS SOUPS 196821 WITH SCORE 197034.566
AT ITER 3610 NEW BEST:: SOT 459321 SOS 213564 HAS SOPS 213564 HAS SOUS 196819 HAS SOUPS 196819 WITH SCORE 197032.564
AT ITER 3614 NEW BEST:: SOT 459299 SOS 213542 HAS SOPS 213542 HAS SOUS 196797 HAS SOUPS 196797 WITH SCORE 197010.542
AT ITER 3615 NEW BEST:: SOT 459291 SOS 213534 HAS SOPS 213534 HAS SOUS 196789 HAS SOUPS 196789 WITH SCORE 197002.534
AT ITER 3640 NEW BEST:: SOT 459255 SOS 213150 HAS SOPS 213150 HAS SOUS 196497 HAS SOUPS 196497 WITH SCORE 196710.15
AT ITER 3650 NEW BEST:: SOT 459342 SOS 213118 HAS SOPS 213118 HAS SOUS 196465 HAS SOUPS 196465 WITH SCORE 196678.118
AT ITER 3655 NEW BEST:: SOT 459530 SOS 212139 HAS SOPS 212139 HAS SOUS 195957 HAS SOUPS 195957 WITH SCORE 196169.139
AT ITER 3663 NEW BEST:: SOT 459530 SOS 211849 HAS SOPS 211849 HAS SOUS 195753 HAS SOUPS 195753 WITH SCORE 195964.849
AT ITER 3664 NEW BEST:: SOT 459530 SOS 211630 HAS SOPS 211630 HAS SOUS 195534 HAS SOUPS 195534 WITH SCORE 195745.63
AT ITER 3685 NEW BEST:: SOT 459517 SOS 211251 HAS SOPS 211251 HAS SOUS 195521 HAS SOUPS 195521 WITH SCORE 195732.251
AT ITER 3694 NEW BEST:: SOT 459465 SOS 211199 HAS SOPS 211199 HAS SOUS 195469 HAS SOUPS 195469 WITH SCORE 195680.199
AT ITER 3698 NEW BEST:: SOT 459200 SOS 210838 HAS SOPS 210838 HAS SOUS 195108 HAS SOUPS 195108 WITH SCORE 195318.838
AT ITER 3699 NEW BEST:: SOT 459191 SOS 210759 HAS SOPS 210759 HAS SOUS 195064 HAS SOUPS 195064 WITH SCORE 195274.759
AT ITER 3704 NEW BEST:: SOT 459160 SOS 210728 HAS SOPS 210728 HAS SOUS 194986 HAS SOUPS 194986 WITH SCORE 195196.728
AT ITER 3707 NEW BEST:: SOT 459159 SOS 210727 HAS SOPS 210727 HAS SOUS 194985 HAS SOUPS 194985 WITH SCORE 195195.727
AT ITER 3709 NEW BEST:: SOT 459149 SOS 210699 HAS SOPS 210699 HAS SOUS 194957 HAS SOUPS 194957 WITH SCORE 195167.699
AT ITER 3712 NEW BEST:: SOT 459170 SOS 210683 HAS SOPS 210683 HAS SOUS 194941 HAS SOUPS 194941 WITH SCORE 195151.683
AT ITER 3732 NEW BEST:: SOT 459143 SOS 210578 HAS SOPS 210578 HAS SOUS 194872 HAS SOUPS 194872 WITH SCORE 195082.578
AT ITER 3748 NEW BEST:: SOT 459092 SOS 210586 HAS SOPS 210586 HAS SOUS 194859 HAS SOUPS 194859 WITH SCORE 195069.586
AT ITER 3751 NEW BEST:: SOT 459030 SOS 210506 HAS SOPS 210506 HAS SOUS 194779 HAS SOUPS 194779 WITH SCORE 194989.506
AT ITER 3758 NEW BEST:: SOT 458920 SOS 210342 HAS SOPS 210342 HAS SOUS 194615 HAS SOUPS 194615 WITH SCORE 194825.342
AT ITER 3761 NEW BEST:: SOT 458920 SOS 210499 HAS SOPS 210499 HAS SOUS 194588 HAS SOUPS 194588 WITH SCORE 194798.499
AT ITER 3774 NEW BEST:: SOT 458795 SOS 210257 HAS SOPS 210257 HAS SOUS 194468 HAS SOUPS 194468 WITH SCORE 194678.257
AT ITER 3783 NEW BEST:: SOT 458726 SOS 210182 HAS SOPS 210182 HAS SOUS 194369 HAS SOUPS 194369 WITH SCORE 194579.182
AT ITER 3785 NEW BEST:: SOT 458719 SOS 210160 HAS SOPS 210160 HAS SOUS 194347 HAS SOUPS 194347 WITH SCORE 194557.16
AT ITER 3793 NEW BEST:: SOT 458649 SOS 209971 HAS SOPS 209971 HAS SOUS 194202 HAS SOUPS 194202 WITH SCORE 194411.971
AT ITER 3799 NEW BEST:: SOT 458613 SOS 209954 HAS SOPS 209954 HAS SOUS 194149 HAS SOUPS 194149 WITH SCORE 194358.954
AT ITER 3816 NEW BEST:: SOT 458524 SOS 209951 HAS SOPS 209951 HAS SOUS 194094 HAS SOUPS 194094 WITH SCORE 194303.951
AT ITER 3818 NEW BEST:: SOT 458514 SOS 209941 HAS SOPS 209941 HAS SOUS 194074 HAS SOUPS 194074 WITH SCORE 194283.941
AT ITER 3821 NEW BEST:: SOT 458232 SOS 209692 HAS SOPS 209692 HAS SOUS 193758 HAS SOUPS 193758 WITH SCORE 193967.692
AT ITER 3829 NEW BEST:: SOT 458404 SOS 209790 HAS SOPS 209790 HAS SOUS 193608 HAS SOUPS 193608 WITH SCORE 193817.79
AT ITER 3833 NEW BEST:: SOT 458300 SOS 209686 HAS SOPS 209686 HAS SOUS 193504 HAS SOUPS 193504 WITH SCORE 193713.686
AT ITER 3852 NEW BEST:: SOT 458270 SOS 209626 HAS SOPS 209626 HAS SOUS 193444 HAS SOUPS 193444 WITH SCORE 193653.626
AT ITER 3853 NEW BEST:: SOT 458270 SOS 209608 HAS SOPS 209608 HAS SOUS 193444 HAS SOUPS 193444 WITH SCORE 193653.608
AT ITER 3861 NEW BEST:: SOT 458199 SOS 209300 HAS SOPS 209300 HAS SOUS 193136 HAS SOUPS 193136 WITH SCORE 193345.3
AT ITER 3864 NEW BEST:: SOT 458199 SOS 209230 HAS SOPS 209230 HAS SOUS 193066 HAS SOUPS 193066 WITH SCORE 193275.23
AT ITER 3876 NEW BEST:: SOT 458064 SOS 209137 HAS SOPS 209137 HAS SOUS 192973 HAS SOUPS 192973 WITH SCORE 193182.137
AT ITER 3881 NEW BEST:: SOT 458006 SOS 209027 HAS SOPS 209027 HAS SOUS 192863 HAS SOUPS 192863 WITH SCORE 193072.027
AT ITER 3884 NEW BEST:: SOT 457806 SOS 208411 HAS SOPS 208411 HAS SOUS 192387 HAS SOUPS 192387 WITH SCORE 192595.411
AT ITER 3890 NEW BEST:: SOT 457792 SOS 208409 HAS SOPS 208409 HAS SOUS 192385 HAS SOUPS 192385 WITH SCORE 192593.409
AT ITER 3898 NEW BEST:: SOT 457792 SOS 208333 HAS SOPS 208333 HAS SOUS 192347 HAS SOUPS 192347 WITH SCORE 192555.333
AT ITER 3906 NEW BEST:: SOT 457770 SOS 207939 HAS SOPS 207939 HAS SOUS 191897 HAS SOUPS 191897 WITH SCORE 192104.939
AT ITER 3907 NEW BEST:: SOT 457660 SOS 207836 HAS SOPS 207836 HAS SOUS 191818 HAS SOUPS 191818 WITH SCORE 192025.836
AT ITER 3913 NEW BEST:: SOT 457663 SOS 207732 HAS SOPS 207732 HAS SOUS 191691 HAS SOUPS 191691 WITH SCORE 191898.732
AT ITER 3917 NEW BEST:: SOT 457760 SOS 207568 HAS SOPS 207568 HAS SOUS 191671 HAS SOUPS 191671 WITH SCORE 191878.568
AT ITER 3926 NEW BEST:: SOT 457760 SOS 207510 HAS SOPS 207510 HAS SOUS 191613 HAS SOUPS 191613 WITH SCORE 191820.51
AT ITER 3927 NEW BEST:: SOT 457759 SOS 207419 HAS SOPS 207419 HAS SOUS 191569 HAS SOUPS 191569 WITH SCORE 191776.419
AT ITER 3934 NEW BEST:: SOT 457752 SOS 207380 HAS SOPS 207380 HAS SOUS 191524 HAS SOUPS 191524 WITH SCORE 191731.38
AT ITER 3940 NEW BEST:: SOT 457732 SOS 207360 HAS SOPS 207360 HAS SOUS 191504 HAS SOUPS 191504 WITH SCORE 191711.36
AT ITER 3946 NEW BEST:: SOT 457732 SOS 207260 HAS SOPS 207260 HAS SOUS 191404 HAS SOUPS 191404 WITH SCORE 191611.26
AT ITER 3948 NEW BEST:: SOT 457757 SOS 207103 HAS SOPS 207103 HAS SOUS 191247 HAS SOUPS 191247 WITH SCORE 191454.103
AT ITER 3952 NEW BEST:: SOT 457623 SOS 206959 HAS SOPS 206959 HAS SOUS 191103 HAS SOUPS 191103 WITH SCORE 191309.959
AT ITER 3960 NEW BEST:: SOT 457623 SOS 206959 HAS SOPS 206959 HAS SOUS 191102 HAS SOUPS 191102 WITH SCORE 191308.959
AT ITER 3964 NEW BEST:: SOT 457512 SOS 206737 HAS SOPS 206737 HAS SOUS 190991 HAS SOUPS 190991 WITH SCORE 191197.737
AT ITER 3967 NEW BEST:: SOT 457847 SOS 206612 HAS SOPS 206612 HAS SOUS 190830 HAS SOUPS 190830 WITH SCORE 191036.612
AT ITER 3970 NEW BEST:: SOT 457651 SOS 206574 HAS SOPS 206574 HAS SOUS 190635 HAS SOUPS 190635 WITH SCORE 190841.574
AT ITER 3971 NEW BEST:: SOT 457649 SOS 206572 HAS SOPS 206572 HAS SOUS 190633 HAS SOUPS 190633 WITH SCORE 190839.572
AT ITER 3975 NEW BEST:: SOT 457645 SOS 206556 HAS SOPS 206556 HAS SOUS 190621 HAS SOUPS 190621 WITH SCORE 190827.556
AT ITER 3992 NEW BEST:: SOT 457576 SOS 206528 HAS SOPS 206528 HAS SOUS 190599 HAS SOUPS 190599 WITH SCORE 190805.528
AT ITER 3995 NEW BEST:: SOT 457546 SOS 206342 HAS SOPS 206342 HAS SOUS 190379 HAS SOUPS 190379 WITH SCORE 190585.342
AT ITER 3998 NEW BEST:: SOT 457315 SOS 206080 HAS SOPS 206080 HAS SOUS 190115 HAS SOUPS 190115 WITH SCORE 190321.08
AT ITER 4001 NEW BEST:: SOT 457211 SOS 206019 HAS SOPS 206019 HAS SOUS 189965 HAS SOUPS 189965 WITH SCORE 190171.019
AT ITER 4002 NEW BEST:: SOT 457211 SOS 205996 HAS SOPS 205996 HAS SOUS 189942 HAS SOUPS 189942 WITH SCORE 190147.996
AT ITER 4003 NEW BEST:: SOT 457178 SOS 205840 HAS SOPS 205840 HAS SOUS 189786 HAS SOUPS 189786 WITH SCORE 189991.84
AT ITER 4015 NEW BEST:: SOT 456995 SOS 205657 HAS SOPS 205657 HAS SOUS 189603 HAS SOUPS 189603 WITH SCORE 189808.657
AT ITER 4028 NEW BEST:: SOT 456968 SOS 205630 HAS SOPS 205630 HAS SOUS 189576 HAS SOUPS 189576 WITH SCORE 189781.63
AT ITER 4040 NEW BEST:: SOT 456913 SOS 205575 HAS SOPS 205575 HAS SOUS 189574 HAS SOUPS 189574 WITH SCORE 189779.575
AT ITER 4043 NEW BEST:: SOT 456897 SOS 205446 HAS SOPS 205446 HAS SOUS 189468 HAS SOUPS 189468 WITH SCORE 189673.446
AT ITER 4054 NEW BEST:: SOT 456704 SOS 205296 HAS SOPS 205296 HAS SOUS 189263 HAS SOUPS 189263 WITH SCORE 189468.296
AT ITER 4070 NEW BEST:: SOT 456647 SOS 205262 HAS SOPS 205262 HAS SOUS 189229 HAS SOUPS 189229 WITH SCORE 189434.262
AT ITER 4093 NEW BEST:: SOT 456699 SOS 205151 HAS SOPS 205151 HAS SOUS 189118 HAS SOUPS 189118 WITH SCORE 189323.151
AT ITER 4098 NEW BEST:: SOT 456689 SOS 205129 HAS SOPS 205129 HAS SOUS 189000 HAS SOUPS 189000 WITH SCORE 189205.129
AT ITER 4102 NEW BEST:: SOT 457136 SOS 204688 HAS SOPS 204688 HAS SOUS 188912 HAS SOUPS 188912 WITH SCORE 189116.688
AT ITER 4110 NEW BEST:: SOT 457176 SOS 204556 HAS SOPS 204556 HAS SOUS 188780 HAS SOUPS 188780 WITH SCORE 188984.556
AT ITER 4113 NEW BEST:: SOT 457163 SOS 203904 HAS SOPS 203904 HAS SOUS 188128 HAS SOUPS 188128 WITH SCORE 188331.904
AT ITER 4115 NEW BEST:: SOT 457159 SOS 203896 HAS SOPS 203896 HAS SOUS 188120 HAS SOUPS 188120 WITH SCORE 188323.896
AT ITER 4119 NEW BEST:: SOT 457159 SOS 203896 HAS SOPS 203896 HAS SOUS 188053 HAS SOUPS 188053 WITH SCORE 188256.896
AT ITER 4123 NEW BEST:: SOT 457157 SOS 203927 HAS SOPS 203927 HAS SOUS 188052 HAS SOUPS 188052 WITH SCORE 188255.927
AT ITER 4132 NEW BEST:: SOT 457269 SOS 202940 HAS SOPS 202940 HAS SOUS 187864 HAS SOUPS 187864 WITH SCORE 188066.94
AT ITER 4133 NEW BEST:: SOT 457226 SOS 202852 HAS SOPS 202852 HAS SOUS 187821 HAS SOUPS 187821 WITH SCORE 188023.852
AT ITER 4149 NEW BEST:: SOT 457186 SOS 202812 HAS SOPS 202812 HAS SOUS 187757 HAS SOUPS 187757 WITH SCORE 187959.812
AT ITER 4152 NEW BEST:: SOT 457086 SOS 202712 HAS SOPS 202712 HAS SOUS 187543 HAS SOUPS 187543 WITH SCORE 187745.712
AT ITER 4166 NEW BEST:: SOT 457086 SOS 202565 HAS SOPS 202565 HAS SOUS 187396 HAS SOUPS 187396 WITH SCORE 187598.565
AT ITER 4184 NEW BEST:: SOT 456894 SOS 202060 HAS SOPS 202060 HAS SOUS 186818 HAS SOUPS 186818 WITH SCORE 187020.06
AT ITER 4217 NEW BEST:: SOT 456770 SOS 201905 HAS SOPS 201905 HAS SOUS 186569 HAS SOUPS 186569 WITH SCORE 186770.905
AT ITER 4221 NEW BEST:: SOT 456509 SOS 201450 HAS SOPS 201450 HAS SOUS 186293 HAS SOUPS 186293 WITH SCORE 186494.45
AT ITER 4226 NEW BEST:: SOT 456445 SOS 201347 HAS SOPS 201347 HAS SOUS 186190 HAS SOUPS 186190 WITH SCORE 186391.347
AT ITER 4229 NEW BEST:: SOT 456479 SOS 201311 HAS SOPS 201311 HAS SOUS 186172 HAS SOUPS 186172 WITH SCORE 186373.311
AT ITER 4232 NEW BEST:: SOT 456464 SOS 201318 HAS SOPS 201318 HAS SOUS 186151 HAS SOUPS 186151 WITH SCORE 186352.318
AT ITER 4239 NEW BEST:: SOT 456506 SOS 200655 HAS SOPS 200655 HAS SOUS 185555 HAS SOUPS 185555 WITH SCORE 185755.655
AT ITER 4243 NEW BEST:: SOT 456089 SOS 200238 HAS SOPS 200238 HAS SOUS 185138 HAS SOUPS 185138 WITH SCORE 185338.238
AT ITER 4248 NEW BEST:: SOT 455853 SOS 199816 HAS SOPS 199816 HAS SOUS 184716 HAS SOUPS 184716 WITH SCORE 184915.816
AT ITER 4252 NEW BEST:: SOT 455745 SOS 199708 HAS SOPS 199708 HAS SOUS 184608 HAS SOUPS 184608 WITH SCORE 184807.708
AT ITER 4267 NEW BEST:: SOT 455698 SOS 199656 HAS SOPS 199656 HAS SOUS 184554 HAS SOUPS 184554 WITH SCORE 184753.656
AT ITER 4287 NEW BEST:: SOT 455716 SOS 199573 HAS SOPS 199573 HAS SOUS 184535 HAS SOUPS 184535 WITH SCORE 184734.573
AT ITER 4290 NEW BEST:: SOT 455705 SOS 199562 HAS SOPS 199562 HAS SOUS 184524 HAS SOUPS 184524 WITH SCORE 184723.562
AT ITER 4313 NEW BEST:: SOT 455701 SOS 199558 HAS SOPS 199558 HAS SOUS 184524 HAS SOUPS 184524 WITH SCORE 184723.558
AT ITER 4334 NEW BEST:: SOT 455699 SOS 199558 HAS SOPS 199558 HAS SOUS 184522 HAS SOUPS 184522 WITH SCORE 184721.558
AT ITER 4336 NEW BEST:: SOT 455638 SOS 199497 HAS SOPS 199497 HAS SOUS 184498 HAS SOUPS 184498 WITH SCORE 184697.497
AT ITER 4364 NEW BEST:: SOT 455502 SOS 199329 HAS SOPS 199329 HAS SOUS 184330 HAS SOUPS 184330 WITH SCORE 184529.329
AT ITER 4365 NEW BEST:: SOT 455669 SOS 199177 HAS SOPS 199177 HAS SOUS 184215 HAS SOUPS 184215 WITH SCORE 184414.177
AT ITER 4372 NEW BEST:: SOT 455738 SOS 198616 HAS SOPS 198616 HAS SOUS 184076 HAS SOUPS 184076 WITH SCORE 184274.616
AT ITER 4386 NEW BEST:: SOT 455738 SOS 198615 HAS SOPS 198615 HAS SOUS 184076 HAS SOUPS 184076 WITH SCORE 184274.615
AT ITER 4396 NEW BEST:: SOT 455750 SOS 198579 HAS SOPS 198579 HAS SOUS 184040 HAS SOUPS 184040 WITH SCORE 184238.579
AT ITER 4399 NEW BEST:: SOT 455746 SOS 198575 HAS SOPS 198575 HAS SOUS 184036 HAS SOUPS 184036 WITH SCORE 184234.575
AT ITER 4402 NEW BEST:: SOT 455694 SOS 198448 HAS SOPS 198448 HAS SOUS 183909 HAS SOUPS 183909 WITH SCORE 184107.448
AT ITER 4405 NEW BEST:: SOT 455694 SOS 198165 HAS SOPS 198165 HAS SOUS 183626 HAS SOUPS 183626 WITH SCORE 183824.165
AT ITER 4407 NEW BEST:: SOT 455555 SOS 198148 HAS SOPS 198148 HAS SOUS 183281 HAS SOUPS 183281 WITH SCORE 183479.148
AT ITER 4426 NEW BEST:: SOT 455527 SOS 197954 HAS SOPS 197954 HAS SOUS 183081 HAS SOUPS 183081 WITH SCORE 183278.954
AT ITER 4433 NEW BEST:: SOT 455584 SOS 197865 HAS SOPS 197865 HAS SOUS 182992 HAS SOUPS 182992 WITH SCORE 183189.865
AT ITER 4442 NEW BEST:: SOT 455518 SOS 197854 HAS SOPS 197854 HAS SOUS 182964 HAS SOUPS 182964 WITH SCORE 183161.854
AT ITER 4467 NEW BEST:: SOT 455514 SOS 197850 HAS SOPS 197850 HAS SOUS 182960 HAS SOUPS 182960 WITH SCORE 183157.85
AT ITER 4485 NEW BEST:: SOT 455455 SOS 197761 HAS SOPS 197761 HAS SOUS 182871 HAS SOUPS 182871 WITH SCORE 183068.761
AT ITER 4495 NEW BEST:: SOT 455411 SOS 197526 HAS SOPS 197526 HAS SOUS 182713 HAS SOUPS 182713 WITH SCORE 182910.526
AT ITER 4504 NEW BEST:: SOT 455358 SOS 197492 HAS SOPS 197492 HAS SOUS 182477 HAS SOUPS 182477 WITH SCORE 182674.492
AT ITER 4511 NEW BEST:: SOT 455358 SOS 197252 HAS SOPS 197252 HAS SOUS 182417 HAS SOUPS 182417 WITH SCORE 182614.252
AT ITER 4514 NEW BEST:: SOT 455350 SOS 197242 HAS SOPS 197242 HAS SOUS 182393 HAS SOUPS 182393 WITH SCORE 182590.242
AT ITER 4522 NEW BEST:: SOT 455435 SOS 197131 HAS SOPS 197131 HAS SOUS 182295 HAS SOUPS 182295 WITH SCORE 182492.131
AT ITER 4535 NEW BEST:: SOT 455435 SOS 196993 HAS SOPS 196993 HAS SOUS 182279 HAS SOUPS 182279 WITH SCORE 182475.993
AT ITER 4544 NEW BEST:: SOT 455332 SOS 196946 HAS SOPS 196946 HAS SOUS 182232 HAS SOUPS 182232 WITH SCORE 182428.946
AT ITER 4549 NEW BEST:: SOT 455330 SOS 196920 HAS SOPS 196920 HAS SOUS 182156 HAS SOUPS 182156 WITH SCORE 182352.92
AT ITER 4556 NEW BEST:: SOT 455330 SOS 196785 HAS SOPS 196785 HAS SOUS 182156 HAS SOUPS 182156 WITH SCORE 182352.785
AT ITER 4577 NEW BEST:: SOT 455302 SOS 196701 HAS SOPS 196701 HAS SOUS 182072 HAS SOUPS 182072 WITH SCORE 182268.701
AT ITER 4580 NEW BEST:: SOT 455002 SOS 196401 HAS SOPS 196401 HAS SOUS 181772 HAS SOUPS 181772 WITH SCORE 181968.401
AT ITER 4589 NEW BEST:: SOT 454999 SOS 196398 HAS SOPS 196398 HAS SOUS 181769 HAS SOUPS 181769 WITH SCORE 181965.398
AT ITER 4598 NEW BEST:: SOT 454960 SOS 196359 HAS SOPS 196359 HAS SOUS 181730 HAS SOUPS 181730 WITH SCORE 181926.359
AT ITER 4608 NEW BEST:: SOT 454857 SOS 196256 HAS SOPS 196256 HAS SOUS 181627 HAS SOUPS 181627 WITH SCORE 181823.256
AT ITER 4617 NEW BEST:: SOT 454801 SOS 196132 HAS SOPS 196132 HAS SOUS 181503 HAS SOUPS 181503 WITH SCORE 181699.132
AT ITER 4638 NEW BEST:: SOT 454778 SOS 196086 HAS SOPS 196086 HAS SOUS 181480 HAS SOUPS 181480 WITH SCORE 181676.086
AT ITER 4640 NEW BEST:: SOT 454699 SOS 196007 HAS SOPS 196007 HAS SOUS 181405 HAS SOUPS 181405 WITH SCORE 181601.007
AT ITER 4648 NEW BEST:: SOT 454699 SOS 195902 HAS SOPS 195902 HAS SOUS 181244 HAS SOUPS 181244 WITH SCORE 181439.902
AT ITER 4649 NEW BEST:: SOT 454697 SOS 195899 HAS SOPS 195899 HAS SOUS 181241 HAS SOUPS 181241 WITH SCORE 181436.899
AT ITER 4650 NEW BEST:: SOT 454069 SOS 195016 HAS SOPS 195016 HAS SOUS 180358 HAS SOUPS 180358 WITH SCORE 180553.016
AT ITER 4665 NEW BEST:: SOT 454061 SOS 194936 HAS SOPS 194936 HAS SOUS 180278 HAS SOUPS 180278 WITH SCORE 180472.936
AT ITER 4671 NEW BEST:: SOT 453969 SOS 194699 HAS SOPS 194699 HAS SOUS 180041 HAS SOUPS 180041 WITH SCORE 180235.699
AT ITER 4690 NEW BEST:: SOT 453996 SOS 194656 HAS SOPS 194656 HAS SOUS 179998 HAS SOUPS 179998 WITH SCORE 180192.656
AT ITER 4691 NEW BEST:: SOT 453955 SOS 194574 HAS SOPS 194574 HAS SOUS 179916 HAS SOUPS 179916 WITH SCORE 180110.574
AT ITER 4699 NEW BEST:: SOT 453658 SOS 194631 HAS SOPS 194631 HAS SOUS 179797 HAS SOUPS 179797 WITH SCORE 179991.631
AT ITER 4710 NEW BEST:: SOT 453568 SOS 194287 HAS SOPS 194287 HAS SOUS 179580 HAS SOUPS 179580 WITH SCORE 179774.287
AT ITER 4720 NEW BEST:: SOT 453569 SOS 194150 HAS SOPS 194150 HAS SOUS 179570 HAS SOUPS 179570 WITH SCORE 179764.15
AT ITER 4732 NEW BEST:: SOT 453555 SOS 194086 HAS SOPS 194086 HAS SOUS 179527 HAS SOUPS 179527 WITH SCORE 179721.086
AT ITER 4745 NEW BEST:: SOT 453555 SOS 194014 HAS SOPS 194014 HAS SOUS 179455 HAS SOUPS 179455 WITH SCORE 179649.014
AT ITER 4746 NEW BEST:: SOT 453525 SOS 193982 HAS SOPS 193982 HAS SOUS 179423 HAS SOUPS 179423 WITH SCORE 179616.982
AT ITER 4770 NEW BEST:: SOT 453483 SOS 193961 HAS SOPS 193961 HAS SOUS 179381 HAS SOUPS 179381 WITH SCORE 179574.961
AT ITER 4777 NEW BEST:: SOT 453293 SOS 193996 HAS SOPS 193996 HAS SOUS 179256 HAS SOUPS 179256 WITH SCORE 179449.996
AT ITER 4800 NEW BEST:: SOT 453357 SOS 193941 HAS SOPS 193941 HAS SOUS 179223 HAS SOUPS 179223 WITH SCORE 179416.941
AT ITER 4801 NEW BEST:: SOT 453247 SOS 193702 HAS SOPS 193702 HAS SOUS 178984 HAS SOUPS 178984 WITH SCORE 179177.702
AT ITER 4811 NEW BEST:: SOT 453084 SOS 193528 HAS SOPS 193528 HAS SOUS 178810 HAS SOUPS 178810 WITH SCORE 179003.528
AT ITER 4818 NEW BEST:: SOT 453076 SOS 193513 HAS SOPS 193513 HAS SOUS 178795 HAS SOUPS 178795 WITH SCORE 178988.513
AT ITER 4819 NEW BEST:: SOT 453118 SOS 193509 HAS SOPS 193509 HAS SOUS 178794 HAS SOUPS 178794 WITH SCORE 178987.509
AT ITER 4823 NEW BEST:: SOT 453095 SOS 193446 HAS SOPS 193446 HAS SOUS 178731 HAS SOUPS 178731 WITH SCORE 178924.446
AT ITER 4824 NEW BEST:: SOT 452979 SOS 193172 HAS SOPS 193172 HAS SOUS 178457 HAS SOUPS 178457 WITH SCORE 178650.172
AT ITER 4843 NEW BEST:: SOT 452967 SOS 193160 HAS SOPS 193160 HAS SOUS 178445 HAS SOUPS 178445 WITH SCORE 178638.16
AT ITER 4847 NEW BEST:: SOT 452949 SOS 193142 HAS SOPS 193142 HAS SOUS 178427 HAS SOUPS 178427 WITH SCORE 178620.142
AT ITER 4868 NEW BEST:: SOT 452949 SOS 193127 HAS SOPS 193127 HAS SOUS 178412 HAS SOUPS 178412 WITH SCORE 178605.127
AT ITER 4874 NEW BEST:: SOT 452875 SOS 193063 HAS SOPS 193063 HAS SOUS 178243 HAS SOUPS 178243 WITH SCORE 178436.063
AT ITER 4883 NEW BEST:: SOT 452875 SOS 193029 HAS SOPS 193029 HAS SOUS 178243 HAS SOUPS 178243 WITH SCORE 178436.029
AT ITER 4890 NEW BEST:: SOT 452867 SOS 192845 HAS SOPS 192845 HAS SOUS 178135 HAS SOUPS 178135 WITH SCORE 178327.845
AT ITER 4905 NEW BEST:: SOT 452872 SOS 192850 HAS SOPS 192850 HAS SOUS 178033 HAS SOUPS 178033 WITH SCORE 178225.85
AT ITER 4917 NEW BEST:: SOT 452860 SOS 192814 HAS SOPS 192814 HAS SOUS 178009 HAS SOUPS 178009 WITH SCORE 178201.814
AT ITER 4926 NEW BEST:: SOT 452860 SOS 192801 HAS SOPS 192801 HAS SOUS 178000 HAS SOUPS 178000 WITH SCORE 178192.801
AT ITER 4928 NEW BEST:: SOT 452847 SOS 192401 HAS SOPS 192401 HAS SOUS 177973 HAS SOUPS 177973 WITH SCORE 178165.401
AT ITER 4929 NEW BEST:: SOT 452931 SOS 192485 HAS SOPS 192485 HAS SOUS 177963 HAS SOUPS 177963 WITH SCORE 178155.485
AT ITER 4930 NEW BEST:: SOT 452924 SOS 192388 HAS SOPS 192388 HAS SOUS 177866 HAS SOUPS 177866 WITH SCORE 178058.388
AT ITER 4950 NEW BEST:: SOT 452924 SOS 192386 HAS SOPS 192386 HAS SOUS 177854 HAS SOUPS 177854 WITH SCORE 178046.386
AT ITER 4951 NEW BEST:: SOT 452773 SOS 192126 HAS SOPS 192126 HAS SOUS 177548 HAS SOUPS 177548 WITH SCORE 177740.126
AT ITER 4953 NEW BEST:: SOT 452723 SOS 192076 HAS SOPS 192076 HAS SOUS 177498 HAS SOUPS 177498 WITH SCORE 177690.076
AT ITER 4962 NEW BEST:: SOT 452548 SOS 191878 HAS SOPS 191878 HAS SOUS 177242 HAS SOUPS 177242 WITH SCORE 177433.878
AT ITER 4964 NEW BEST:: SOT 452548 SOS 191924 HAS SOPS 191924 HAS SOUS 177202 HAS SOUPS 177202 WITH SCORE 177393.924
AT ITER 4974 NEW BEST:: SOT 452483 SOS 191910 HAS SOPS 191910 HAS SOUS 177188 HAS SOUPS 177188 WITH SCORE 177379.91
AT ITER 4976 NEW BEST:: SOT 452477 SOS 191917 HAS SOPS 191917 HAS SOUS 177182 HAS SOUPS 177182 WITH SCORE 177373.917
AT ITER 4982 NEW BEST:: SOT 452455 SOS 191895 HAS SOPS 191895 HAS SOUS 177160 HAS SOUPS 177160 WITH SCORE 177351.895
AT ITER 4997 NEW BEST:: SOT 452455 SOS 191842 HAS SOPS 191842 HAS SOUS 177107 HAS SOUPS 177107 WITH SCORE 177298.842
Bounds file is: CTLFireability.xml
PROPERTY: ShieldPPPt-PT-040A-CTLFireability-00 (AU( ((potential((tk(P831)>=1) & (tk(P848)>=1)))) , ( ((potential((tk(P213)>=1) & (tk(P215)>=1)))) | (EF( ((potential((tk(P442)>=1) & (tk(P453)>=1)))))) ) ))
PROPERTY: ShieldPPPt-PT-040A-CTLFireability-01 (AG( (! (AF( ( ((potential((tk(P696)>=1) & (tk(P711)>=1)))) | ((potential((tk(P871)>=1)))) ))))))
PROPERTY: ShieldPPPt-PT-040A-CTLFireability-02 (! (! (AG( ( ( ((potential((tk(P517)>=1) & (tk(P528)>=1)))) & ((potential((tk(P150)>=1)))) ) | (! ((potential((tk(P223)>=1))))) )))))
PROPERTY: ShieldPPPt-PT-040A-CTLFireability-03 ( (EF( ((potential((tk(P646)>=1)))))) | ( (AX( (EF( ((potential((tk(P505)>=1) & (tk(P524)>=1)))))))) | ( (AU( ((potential((tk(P667)>=1) & (tk(P678)>=1)))) , ((potential((tk(P989)>=1) & (tk(P1003)>=1)))) )) & ( ( ((potential((tk(P718)>=1) & (tk(P720)>=1)))) & ( ((potential((tk(P500)>=1)))) & ((potential((tk(P891)>=1) & (tk(P925)>=1)))) ) ) | (! ( ((potential((tk(P179)>=1) & (tk(P202)>=1)))) & ((potential((tk(P439)>=1) & (tk(P453)>=1)))) )) ) ) ) )
PROPERTY: ShieldPPPt-PT-040A-CTLFireability-04 ( (EU( ( ( ((potential((tk(P109)>=1) & (tk(P126)>=1)))) | ((potential((tk(P300)>=1)))) ) & ( ((potential((tk(P854)>=1) & (tk(P877)>=1)))) | ((potential((tk(P702)>=1)))) ) ) , (EX( ((potential((tk(P221)>=1) & (tk(P236)>=1)))))) )) | (EF( (EU( ((potential((tk(P567)>=1) & (tk(P578)>=1)))) , ((potential((tk(P683)>=1) & (tk(P685)>=1)))) )))) )
PROPERTY: ShieldPPPt-PT-040A-CTLFireability-05 (EF( (EG( (AX( ((potential((tk(P257)>=1) & (tk(P272)>=1))))))))))
PROPERTY: ShieldPPPt-PT-040A-CTLFireability-06 (AF( (AG( (EF( ((potential((tk(P727)>=1))))))))))
PROPERTY: ShieldPPPt-PT-040A-CTLFireability-07 ( ( (! (AG( ( ((potential((tk(P383)>=1) & (tk(P385)>=1)))) & ((potential((tk(P183)>=1) & (tk(P185)>=1)))) )))) & (EF( ( (! ((potential((tk(P444)>=1) & (tk(P451)>=1))))) | ( ((potential((tk(P54)>=1) & (tk(P77)>=1)))) & ((potential((tk(P621)>=1) & (tk(P636)>=1)))) ) ))) ) & (EF( ( (! ( ((potential((tk(P318)>=1) & (tk(P320)>=1)))) | ((potential((tk(P918)>=1) & (tk(P920)>=1)))) )) & (EF( ((potential((tk(P446)>=1)))))) ))) )
PROPERTY: ShieldPPPt-PT-040A-CTLFireability-08 (EU( (! ( ( ((potential((tk(P806)>=1) & (tk(P823)>=1)))) & ((potential((tk(P723)>=1)))) ) | ( ((potential((tk(P684)>=1) & (tk(P701)>=1)))) | ((potential((tk(P216)>=1) & (tk(P250)>=1)))) ) )) , (AU( ((potential((tk(P271)>=1) & (tk(P286)>=1)))) , ((potential((tk(P68)>=1) & (tk(P70)>=1)))) )) ))
PROPERTY: ShieldPPPt-PT-040A-CTLFireability-09 (AU( (! (AF( ((potential((tk(P81)>=1) & (tk(P98)>=1))))))) , (AG( (! ((potential((tk(P452)>=1))))))) ))
PROPERTY: ShieldPPPt-PT-040A-CTLFireability-10 (EF( ((potential((tk(P741)>=1) & (tk(P775)>=1))))))
PROPERTY: ShieldPPPt-PT-040A-CTLFireability-11 (! (! ( (EF( ( ((potential((tk(P437)>=1) & (tk(P447)>=1)))) & ((potential((tk(P23)>=1)))) ))) | (EG( ( ((potential((tk(P663)>=1) & (tk(P665)>=1)))) & ((potential((tk(P231)>=1) & (tk(P248)>=1)))) ))) )))
PROPERTY: ShieldPPPt-PT-040A-CTLFireability-12 ( (EF( (AX( ( ((potential((tk(P764)>=1) & (tk(P778)>=1)))) & ((potential((tk(P307)>=1) & (tk(P322)>=1)))) ))))) | (! ( ( (EX( ((potential((tk(P71)>=1)))))) | (AF( ((potential((tk(P312)>=1) & (tk(P322)>=1)))))) ) | (AG( (! ((potential((tk(P742)>=1) & (tk(P753)>=1))))))) )) )
PROPERTY: ShieldPPPt-PT-040A-CTLFireability-13 (AF( ( ( (EF( ((potential((tk(P248)>=1)))))) & (! ( ((potential((tk(P150)>=1)))) | ((potential((tk(P966)>=1) & (tk(P1000)>=1)))) )) ) | ((potential((tk(P69)>=1) & (tk(P76)>=1)))) )))
PROPERTY: ShieldPPPt-PT-040A-CTLFireability-14 (EU( (! (EX( ((potential((tk(P482)>=1) & (tk(P497)>=1))))))) , ( (EG( ((potential((tk(P81)>=1) & (tk(P98)>=1)))))) | (! (! ((potential((tk(P450)>=1)))))) ) ))
PROPERTY: ShieldPPPt-PT-040A-CTLFireability-15 (EF( ( (AF( ( ((potential((tk(P881)>=1) & (tk(P898)>=1)))) & ((potential((tk(P464)>=1) & (tk(P478)>=1)))) ))) & ((potential((tk(P857)>=1) & (tk(P872)>=1)))) )))

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ShieldPPPt-PT-040A"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is ShieldPPPt-PT-040A, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r207-tajo-159033469900700"
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 [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;