Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r139-smll-167819421600032.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is Dekker-PT-050, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r139-smll-167819421600032
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.0M
-rw-r--r-- 1 mcc users 7.3K Feb 26 01:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 79K Feb 26 01:58 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.9K Feb 26 01:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 46K Feb 26 01:49 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:56 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:56 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Feb 25 15:56 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:56 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 02:05 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 128K Feb 26 02:05 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K Feb 26 02:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 98K Feb 26 02:01 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:56 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:56 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 1.5M Mar 5 18:22 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678298856079

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=Dekker-PT-050
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-08 18:07:39] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-08 18:07:39] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-08 18:07:39] [INFO ] Load time of PNML (sax parser for PT used): 360 ms
[2023-03-08 18:07:40] [INFO ] Transformed 250 places.
[2023-03-08 18:07:40] [INFO ] Transformed 2600 transitions.
[2023-03-08 18:07:40] [INFO ] Found NUPN structural information;
[2023-03-08 18:07:40] [INFO ] Parsed PT model containing 250 places and 2600 transitions and 20100 arcs in 553 ms.
[2023-03-08 18:07:40] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 250 places, 2600 transitions and 20100 arcs took 46 ms.
Total runtime 649 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Dekker (PT), instance 050
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 250 places, 2600 transitions, 20100 arcs.
AT ITER 0 NEW BEST:: SOT 578557 SOS 530341 HAS SOPS 499860 HAS SOUS 486339 HAS SOUPS 475458 WITH SCORE 475988.341
AT ITER 1 NEW BEST:: SOT 578557 SOS 530163 HAS SOPS 498738 HAS SOUS 484251 HAS SOUPS 473392 WITH SCORE 473922.163
AT ITER 3 NEW BEST:: SOT 577357 SOS 528975 HAS SOPS 497538 HAS SOUS 483063 HAS SOUPS 472192 WITH SCORE 472720.975
AT ITER 5 NEW BEST:: SOT 577357 SOS 528425 HAS SOPS 496212 HAS SOUS 478935 HAS SOUPS 468130 WITH SCORE 468658.425
AT ITER 6 NEW BEST:: SOT 577357 SOS 528046 HAS SOPS 494376 HAS SOUS 474656 HAS SOUPS 463906 WITH SCORE 464434.046
AT ITER 7 NEW BEST:: SOT 577357 SOS 528000 HAS SOPS 494330 HAS SOUS 474564 HAS SOUPS 463814 WITH SCORE 464342.0
AT ITER 8 NEW BEST:: SOT 573703 SOS 524370 HAS SOPS 490676 HAS SOUS 470934 HAS SOUPS 460160 WITH SCORE 460684.37
AT ITER 9 NEW BEST:: SOT 570962 SOS 525723 HAS SOPS 486609 HAS SOUS 456825 HAS SOUPS 446133 WITH SCORE 446658.723
AT ITER 10 NEW BEST:: SOT 570962 SOS 525515 HAS SOPS 485895 HAS SOUS 456291 HAS SOUPS 445599 WITH SCORE 446124.515
AT ITER 11 NEW BEST:: SOT 570962 SOS 524966 HAS SOPS 483690 HAS SOUS 450135 HAS SOUPS 439533 WITH SCORE 440057.966
AT ITER 12 NEW BEST:: SOT 570962 SOS 524813 HAS SOPS 483262 HAS SOUS 449922 HAS SOUPS 439320 WITH SCORE 439844.813
AT ITER 13 NEW BEST:: SOT 568583 SOS 522508 HAS SOPS 480883 HAS SOUS 447689 HAS SOUPS 436941 WITH SCORE 437463.508
AT ITER 14 NEW BEST:: SOT 568583 SOS 520276 HAS SOPS 478741 HAS SOUS 444945 HAS SOUPS 434252 WITH SCORE 434772.276
AT ITER 15 NEW BEST:: SOT 568844 SOS 518940 HAS SOPS 476790 HAS SOUS 435121 HAS SOUPS 424618 WITH SCORE 425136.94
AT ITER 18 NEW BEST:: SOT 568844 SOS 518940 HAS SOPS 476744 HAS SOUS 435029 HAS SOUPS 424526 WITH SCORE 425044.94
AT ITER 19 NEW BEST:: SOT 564311 SOS 514407 HAS SOPS 472162 HAS SOUS 430403 HAS SOUPS 419895 WITH SCORE 420409.407
AT ITER 20 NEW BEST:: SOT 560841 SOS 510001 HAS SOPS 466856 HAS SOUS 415887 HAS SOUPS 405444 WITH SCORE 405954.001
AT ITER 22 NEW BEST:: SOT 560841 SOS 508775 HAS SOPS 466543 HAS SOUS 411229 HAS SOUPS 400899 WITH SCORE 401407.775
AT ITER 25 NEW BEST:: SOT 560742 SOS 508676 HAS SOPS 466342 HAS SOUS 410932 HAS SOUPS 400596 WITH SCORE 401104.676
AT ITER 28 NEW BEST:: SOT 560700 SOS 507906 HAS SOPS 464091 HAS SOUS 404869 HAS SOUPS 394708 WITH SCORE 395215.906
AT ITER 29 NEW BEST:: SOT 556595 SOS 503801 HAS SOPS 459937 HAS SOUS 400676 HAS SOUPS 390505 WITH SCORE 391008.801
AT ITER 30 NEW BEST:: SOT 559304 SOS 505894 HAS SOPS 462758 HAS SOUS 396175 HAS SOUPS 386165 WITH SCORE 386670.894
AT ITER 31 NEW BEST:: SOT 557050 SOS 503640 HAS SOPS 460504 HAS SOUS 394018 HAS SOUPS 383911 WITH SCORE 384414.64
AT ITER 33 NEW BEST:: SOT 557050 SOS 502123 HAS SOPS 460553 HAS SOUS 390733 HAS SOUPS 380724 WITH SCORE 381226.123
AT ITER 34 NEW BEST:: SOT 556780 SOS 501853 HAS SOPS 460283 HAS SOUS 390463 HAS SOUPS 380454 WITH SCORE 380955.853
AT ITER 35 NEW BEST:: SOT 552138 SOS 497211 HAS SOPS 455641 HAS SOUS 385867 HAS SOUPS 375812 WITH SCORE 376309.211
AT ITER 36 NEW BEST:: SOT 552138 SOS 496757 HAS SOPS 453240 HAS SOUS 383871 HAS SOUPS 373816 WITH SCORE 374312.757
AT ITER 37 NEW BEST:: SOT 547764 SOS 492383 HAS SOPS 448866 HAS SOUS 379497 HAS SOUPS 369442 WITH SCORE 369934.383
AT ITER 38 NEW BEST:: SOT 547254 SOS 491873 HAS SOPS 448356 HAS SOUS 378987 HAS SOUPS 368932 WITH SCORE 369423.873
AT ITER 40 NEW BEST:: SOT 547365 SOS 491965 HAS SOPS 448467 HAS SOUS 378167 HAS SOUPS 368131 WITH SCORE 368622.965
AT ITER 46 NEW BEST:: SOT 547657 SOS 490713 HAS SOPS 446507 HAS SOUS 370603 HAS SOUPS 360710 WITH SCORE 361200.713
AT ITER 47 NEW BEST:: SOT 544678 SOS 486159 HAS SOPS 441539 HAS SOUS 357480 HAS SOUPS 347682 WITH SCORE 348168.159
AT ITER 48 NEW BEST:: SOT 541726 SOS 483207 HAS SOPS 438587 HAS SOUS 354528 HAS SOUPS 344730 WITH SCORE 345213.207
AT ITER 49 NEW BEST:: SOT 541631 SOS 483112 HAS SOPS 438483 HAS SOUS 354375 HAS SOUPS 344617 WITH SCORE 345100.112
AT ITER 50 NEW BEST:: SOT 542034 SOS 482120 HAS SOPS 439041 HAS SOUS 348102 HAS SOUPS 338511 WITH SCORE 338993.12
AT ITER 54 NEW BEST:: SOT 544272 SOS 483444 HAS SOPS 441374 HAS SOUS 344244 HAS SOUPS 334797 WITH SCORE 335280.444
AT ITER 59 NEW BEST:: SOT 542619 SOS 481683 HAS SOPS 439464 HAS SOUS 342430 HAS SOUPS 333032 WITH SCORE 333513.683
AT ITER 60 NEW BEST:: SOT 542619 SOS 481683 HAS SOPS 439423 HAS SOUS 342348 HAS SOUPS 332950 WITH SCORE 333431.683
AT ITER 62 NEW BEST:: SOT 540676 SOS 479740 HAS SOPS 437480 HAS SOUS 340405 HAS SOUPS 331007 WITH SCORE 331486.74
AT ITER 63 NEW BEST:: SOT 540678 SOS 475914 HAS SOPS 432782 HAS SOUS 334751 HAS SOUPS 325447 WITH SCORE 325922.914
AT ITER 64 NEW BEST:: SOT 540678 SOS 475914 HAS SOPS 432768 HAS SOUS 334723 HAS SOUPS 325419 WITH SCORE 325894.914
AT ITER 66 NEW BEST:: SOT 537182 SOS 472418 HAS SOPS 429272 HAS SOUS 331227 HAS SOUPS 321923 WITH SCORE 322395.418
AT ITER 67 NEW BEST:: SOT 533755 SOS 468991 HAS SOPS 425845 HAS SOUS 327800 HAS SOUPS 318496 WITH SCORE 318964.991
AT ITER 69 NEW BEST:: SOT 537311 SOS 468323 HAS SOPS 422176 HAS SOUS 316505 HAS SOUPS 307473 WITH SCORE 307941.323
AT ITER 73 NEW BEST:: SOT 532988 SOS 464000 HAS SOPS 417853 HAS SOUS 312208 HAS SOUPS 303150 WITH SCORE 303614.0
AT ITER 74 NEW BEST:: SOT 533401 SOS 460858 HAS SOPS 415897 HAS SOUS 305733 HAS SOUPS 296837 WITH SCORE 297297.858
AT ITER 76 NEW BEST:: SOT 531792 SOS 459959 HAS SOPS 415271 HAS SOUS 304369 HAS SOUPS 295519 WITH SCORE 295978.959
AT ITER 77 NEW BEST:: SOT 530678 SOS 456926 HAS SOPS 413188 HAS SOUS 294608 HAS SOUPS 285806 WITH SCORE 286262.926
AT ITER 78 NEW BEST:: SOT 530678 SOS 456365 HAS SOPS 411688 HAS SOUS 293639 HAS SOUPS 284837 WITH SCORE 285293.365
AT ITER 81 NEW BEST:: SOT 530728 SOS 454529 HAS SOPS 411075 HAS SOUS 289989 HAS SOUPS 281182 WITH SCORE 281636.529
AT ITER 84 NEW BEST:: SOT 530728 SOS 454105 HAS SOPS 409912 HAS SOUS 289165 HAS SOUPS 280358 WITH SCORE 280812.105
AT ITER 86 NEW BEST:: SOT 530918 SOS 454288 HAS SOPS 410102 HAS SOUS 289012 HAS SOUPS 280212 WITH SCORE 280666.288
AT ITER 88 NEW BEST:: SOT 530885 SOS 454255 HAS SOPS 410061 HAS SOUS 288971 HAS SOUPS 280163 WITH SCORE 280617.255
AT ITER 89 NEW BEST:: SOT 531846 SOS 453908 HAS SOPS 411328 HAS SOUS 282558 HAS SOUPS 273930 WITH SCORE 274383.908
AT ITER 90 NEW BEST:: SOT 531846 SOS 453210 HAS SOPS 411328 HAS SOUS 281456 HAS SOUPS 272864 WITH SCORE 273317.21
AT ITER 93 NEW BEST:: SOT 532802 SOS 453981 HAS SOPS 412284 HAS SOUS 279997 HAS SOUPS 271457 WITH SCORE 271910.981
AT ITER 94 NEW BEST:: SOT 533201 SOS 453910 HAS SOPS 411678 HAS SOUS 279844 HAS SOUPS 271247 WITH SCORE 271700.91
AT ITER 97 NEW BEST:: SOT 533179 SOS 453944 HAS SOPS 411697 HAS SOUS 279792 HAS SOUPS 271195 WITH SCORE 271648.944
AT ITER 98 NEW BEST:: SOT 532158 SOS 452923 HAS SOPS 410676 HAS SOUS 278771 HAS SOUPS 270174 WITH SCORE 270626.923
AT ITER 100 NEW BEST:: SOT 531421 SOS 452186 HAS SOPS 409917 HAS SOUS 278012 HAS SOUPS 269393 WITH SCORE 269845.186
AT ITER 101 NEW BEST:: SOT 531334 SOS 451563 HAS SOPS 408606 HAS SOUS 277189 HAS SOUPS 268570 WITH SCORE 269021.563
AT ITER 102 NEW BEST:: SOT 531334 SOS 451563 HAS SOPS 408562 HAS SOUS 277101 HAS SOUPS 268482 WITH SCORE 268933.563
AT ITER 104 NEW BEST:: SOT 530453 SOS 447212 HAS SOPS 400594 HAS SOUS 272321 HAS SOUPS 263806 WITH SCORE 264253.212
AT ITER 106 NEW BEST:: SOT 530453 SOS 446504 HAS SOPS 399669 HAS SOUS 272061 HAS SOUPS 263546 WITH SCORE 263992.504
AT ITER 108 NEW BEST:: SOT 530453 SOS 446040 HAS SOPS 399069 HAS SOUS 271913 HAS SOUPS 263398 WITH SCORE 263844.04
AT ITER 109 NEW BEST:: SOT 530418 SOS 445807 HAS SOPS 398575 HAS SOUS 271651 HAS SOUPS 263084 WITH SCORE 263529.807
AT ITER 117 NEW BEST:: SOT 530451 SOS 445831 HAS SOPS 398608 HAS SOUS 271540 HAS SOUPS 262979 WITH SCORE 263424.831
AT ITER 118 NEW BEST:: SOT 532250 SOS 446320 HAS SOPS 399951 HAS SOUS 269026 HAS SOUPS 260570 WITH SCORE 261016.32
AT ITER 124 NEW BEST:: SOT 532618 SOS 444788 HAS SOPS 400971 HAS SOUS 264514 HAS SOUPS 256253 WITH SCORE 256697.788
AT ITER 125 NEW BEST:: SOT 533934 SOS 445994 HAS SOPS 402287 HAS SOUS 262090 HAS SOUPS 253906 WITH SCORE 254351.994
AT ITER 127 NEW BEST:: SOT 533655 SOS 445715 HAS SOPS 402000 HAS SOUS 261795 HAS SOUPS 253611 WITH SCORE 254056.715
AT ITER 128 NEW BEST:: SOT 533655 SOS 445695 HAS SOPS 401946 HAS SOUS 261756 HAS SOUPS 253572 WITH SCORE 254017.695
AT ITER 130 NEW BEST:: SOT 534010 SOS 443187 HAS SOPS 400216 HAS SOUS 256229 HAS SOUPS 248179 WITH SCORE 248622.187
AT ITER 132 NEW BEST:: SOT 531692 SOS 440869 HAS SOPS 397898 HAS SOUS 253911 HAS SOUPS 245861 WITH SCORE 246301.869
AT ITER 133 NEW BEST:: SOT 531692 SOS 440051 HAS SOPS 396215 HAS SOUS 252980 HAS SOUPS 244930 WITH SCORE 245370.051
AT ITER 136 NEW BEST:: SOT 534104 SOS 441177 HAS SOPS 397518 HAS SOUS 246764 HAS SOUPS 238890 WITH SCORE 239331.177
AT ITER 137 NEW BEST:: SOT 534104 SOS 440931 HAS SOPS 397060 HAS SOUS 246534 HAS SOUPS 238660 WITH SCORE 239100.931
AT ITER 138 NEW BEST:: SOT 533916 SOS 440642 HAS SOPS 398022 HAS SOUS 238993 HAS SOUPS 231292 WITH SCORE 231732.642
AT ITER 139 NEW BEST:: SOT 535325 SOS 440783 HAS SOPS 398844 HAS SOUS 235520 HAS SOUPS 227931 WITH SCORE 228371.783
AT ITER 140 NEW BEST:: SOT 537558 SOS 440828 HAS SOPS 399854 HAS SOUS 230756 HAS SOUPS 223327 WITH SCORE 223767.828
AT ITER 141 NEW BEST:: SOT 534111 SOS 437381 HAS SOPS 396407 HAS SOUS 227230 HAS SOUPS 219880 WITH SCORE 220317.381
AT ITER 142 NEW BEST:: SOT 532457 SOS 435727 HAS SOPS 394703 HAS SOUS 225476 HAS SOUPS 218126 WITH SCORE 218561.727
AT ITER 143 NEW BEST:: SOT 532457 SOS 435871 HAS SOPS 395503 HAS SOUS 225364 HAS SOUPS 218030 WITH SCORE 218465.871
AT ITER 144 NEW BEST:: SOT 529314 SOS 432699 HAS SOPS 392331 HAS SOUS 222192 HAS SOUPS 214858 WITH SCORE 215290.699
AT ITER 146 NEW BEST:: SOT 529308 SOS 432693 HAS SOPS 392325 HAS SOUS 222186 HAS SOUPS 214852 WITH SCORE 215284.693
AT ITER 147 NEW BEST:: SOT 529308 SOS 431722 HAS SOPS 390134 HAS SOUS 220931 HAS SOUPS 213597 WITH SCORE 214028.722
AT ITER 148 NEW BEST:: SOT 529308 SOS 431721 HAS SOPS 390133 HAS SOUS 220931 HAS SOUPS 213597 WITH SCORE 214028.721
AT ITER 149 NEW BEST:: SOT 529308 SOS 430541 HAS SOPS 387774 HAS SOUS 219745 HAS SOUPS 212411 WITH SCORE 212841.541
AT ITER 150 NEW BEST:: SOT 533382 SOS 434521 HAS SOPS 393545 HAS SOUS 217289 HAS SOUPS 210124 WITH SCORE 210558.521
AT ITER 152 NEW BEST:: SOT 533382 SOS 434521 HAS SOPS 393496 HAS SOUS 217191 HAS SOUPS 210026 WITH SCORE 210460.521
AT ITER 153 NEW BEST:: SOT 530221 SOS 431449 HAS SOPS 390301 HAS SOUS 216873 HAS SOUPS 209648 WITH SCORE 210079.449
AT ITER 158 NEW BEST:: SOT 530234 SOS 429667 HAS SOPS 390008 HAS SOUS 214463 HAS SOUPS 207316 WITH SCORE 207745.667
AT ITER 159 NEW BEST:: SOT 530154 SOS 429587 HAS SOPS 389928 HAS SOUS 214383 HAS SOUPS 207236 WITH SCORE 207665.587
AT ITER 162 NEW BEST:: SOT 532665 SOS 429256 HAS SOPS 390241 HAS SOUS 210194 HAS SOUPS 203195 WITH SCORE 203624.256
AT ITER 164 NEW BEST:: SOT 533530 SOS 430469 HAS SOPS 394412 HAS SOUS 206401 HAS SOUPS 199557 WITH SCORE 199987.469
AT ITER 165 NEW BEST:: SOT 534174 SOS 430938 HAS SOPS 395311 HAS SOUS 201358 HAS SOUPS 194565 WITH SCORE 194995.938
AT ITER 166 NEW BEST:: SOT 534174 SOS 430792 HAS SOPS 395154 HAS SOUS 201321 HAS SOUPS 194528 WITH SCORE 194958.792
AT ITER 171 NEW BEST:: SOT 534149 SOS 430767 HAS SOPS 395129 HAS SOUS 201296 HAS SOUPS 194503 WITH SCORE 194933.767
AT ITER 172 NEW BEST:: SOT 534615 SOS 431177 HAS SOPS 395595 HAS SOUS 199018 HAS SOUPS 192281 WITH SCORE 192712.177
AT ITER 180 NEW BEST:: SOT 534439 SOS 431001 HAS SOPS 395419 HAS SOUS 198842 HAS SOUPS 192105 WITH SCORE 192536.001
AT ITER 181 NEW BEST:: SOT 532577 SOS 429139 HAS SOPS 393511 HAS SOUS 196888 HAS SOUPS 190151 WITH SCORE 190580.139
AT ITER 188 NEW BEST:: SOT 533411 SOS 428167 HAS SOPS 392764 HAS SOUS 191735 HAS SOUPS 185121 WITH SCORE 185549.167
AT ITER 189 NEW BEST:: SOT 534329 SOS 428755 HAS SOPS 393726 HAS SOUS 188377 HAS SOUPS 181900 WITH SCORE 182328.755
AT ITER 190 NEW BEST:: SOT 533664 SOS 426478 HAS SOPS 390868 HAS SOUS 186820 HAS SOUPS 180428 WITH SCORE 180854.478
AT ITER 191 NEW BEST:: SOT 533664 SOS 426089 HAS SOPS 390256 HAS SOUS 186585 HAS SOUPS 180181 WITH SCORE 180607.089
AT ITER 192 NEW BEST:: SOT 533664 SOS 426002 HAS SOPS 390082 HAS SOUS 186416 HAS SOUPS 180007 WITH SCORE 180433.002
AT ITER 196 NEW BEST:: SOT 534823 SOS 425779 HAS SOPS 391241 HAS SOUS 182457 HAS SOUPS 176178 WITH SCORE 176603.779
AT ITER 199 NEW BEST:: SOT 534829 SOS 426212 HAS SOPS 393449 HAS SOUS 181674 HAS SOUPS 175448 WITH SCORE 175874.212
AT ITER 200 NEW BEST:: SOT 534817 SOS 426200 HAS SOPS 393408 HAS SOUS 181604 HAS SOUPS 175378 WITH SCORE 175804.2
AT ITER 203 NEW BEST:: SOT 535907 SOS 427253 HAS SOPS 394535 HAS SOUS 180952 HAS SOUPS 174766 WITH SCORE 175193.253
AT ITER 209 NEW BEST:: SOT 535907 SOS 427207 HAS SOPS 394498 HAS SOUS 180924 HAS SOUPS 174738 WITH SCORE 175165.207
AT ITER 215 NEW BEST:: SOT 535162 SOS 427313 HAS SOPS 394888 HAS SOUS 180336 HAS SOUPS 174153 WITH SCORE 174580.313
AT ITER 218 NEW BEST:: SOT 533962 SOS 426113 HAS SOPS 393630 HAS SOUS 179044 HAS SOUPS 172837 WITH SCORE 173263.113
AT ITER 219 NEW BEST:: SOT 532507 SOS 424658 HAS SOPS 392175 HAS SOUS 177645 HAS SOUPS 171382 WITH SCORE 171806.658
AT ITER 226 NEW BEST:: SOT 532507 SOS 424589 HAS SOPS 392073 HAS SOUS 177608 HAS SOUPS 171345 WITH SCORE 171769.589
AT ITER 227 NEW BEST:: SOT 529776 SOS 421914 HAS SOPS 389342 HAS SOUS 177621 HAS SOUPS 171302 WITH SCORE 171723.914
AT ITER 230 NEW BEST:: SOT 528190 SOS 420305 HAS SOPS 387733 HAS SOUS 176012 HAS SOUPS 169693 WITH SCORE 170113.305
AT ITER 231 NEW BEST:: SOT 527849 SOS 419964 HAS SOPS 387392 HAS SOUS 175671 HAS SOUPS 169352 WITH SCORE 169771.964
AT ITER 233 NEW BEST:: SOT 527849 SOS 419793 HAS SOPS 387146 HAS SOUS 175640 HAS SOUPS 169267 WITH SCORE 169686.793
AT ITER 234 NEW BEST:: SOT 529534 SOS 420343 HAS SOPS 390106 HAS SOUS 169325 HAS SOUPS 163052 WITH SCORE 163472.343
AT ITER 241 NEW BEST:: SOT 529735 SOS 416654 HAS SOPS 385208 HAS SOUS 168258 HAS SOUPS 161939 WITH SCORE 162355.654
AT ITER 245 NEW BEST:: SOT 531010 SOS 416902 HAS SOPS 383845 HAS SOUS 167818 HAS SOUPS 161499 WITH SCORE 161915.902
AT ITER 246 NEW BEST:: SOT 529718 SOS 414701 HAS SOPS 381209 HAS SOUS 166021 HAS SOUPS 159702 WITH SCORE 160116.701
AT ITER 247 NEW BEST:: SOT 529718 SOS 413009 HAS SOPS 379795 HAS SOUS 165672 HAS SOUPS 159476 WITH SCORE 159889.009
AT ITER 248 NEW BEST:: SOT 531477 SOS 414617 HAS SOPS 381554 HAS SOUS 165282 HAS SOUPS 159132 WITH SCORE 159546.617
AT ITER 250 NEW BEST:: SOT 531477 SOS 412058 HAS SOPS 378337 HAS SOUS 164520 HAS SOUPS 158491 WITH SCORE 158903.058
AT ITER 253 NEW BEST:: SOT 532448 SOS 412848 HAS SOPS 379316 HAS SOUS 163630 HAS SOUPS 157650 WITH SCORE 158062.848
AT ITER 254 NEW BEST:: SOT 532500 SOS 412900 HAS SOPS 379291 HAS SOUS 163532 HAS SOUPS 157548 WITH SCORE 157960.9
AT ITER 261 NEW BEST:: SOT 531119 SOS 411519 HAS SOPS 377910 HAS SOUS 162151 HAS SOUPS 156167 WITH SCORE 156578.519
AT ITER 264 NEW BEST:: SOT 534421 SOS 409594 HAS SOPS 377336 HAS SOUS 157168 HAS SOUPS 151358 WITH SCORE 151767.594
AT ITER 265 NEW BEST:: SOT 534364 SOS 409542 HAS SOPS 377170 HAS SOUS 157006 HAS SOUPS 151112 WITH SCORE 151521.542
AT ITER 270 NEW BEST:: SOT 534364 SOS 407229 HAS SOPS 377161 HAS SOUS 155610 HAS SOUPS 149790 WITH SCORE 150197.229
AT ITER 271 NEW BEST:: SOT 538128 SOS 409628 HAS SOPS 381008 HAS SOUS 152322 HAS SOUPS 146755 WITH SCORE 147164.628
AT ITER 273 NEW BEST:: SOT 539114 SOS 409652 HAS SOPS 382073 HAS SOUS 147956 HAS SOUPS 142589 WITH SCORE 142998.652
AT ITER 274 NEW BEST:: SOT 541980 SOS 411543 HAS SOPS 386673 HAS SOUS 144512 HAS SOUPS 139148 WITH SCORE 139559.543
AT ITER 280 NEW BEST:: SOT 541980 SOS 411222 HAS SOPS 386265 HAS SOUS 144409 HAS SOUPS 139045 WITH SCORE 139456.222
AT ITER 281 NEW BEST:: SOT 541980 SOS 411140 HAS SOPS 386265 HAS SOUS 144391 HAS SOUPS 139029 WITH SCORE 139440.14
AT ITER 284 NEW BEST:: SOT 541980 SOS 411140 HAS SOPS 386175 HAS SOUS 144211 HAS SOUPS 138849 WITH SCORE 139260.14
AT ITER 285 NEW BEST:: SOT 541980 SOS 407400 HAS SOPS 382214 HAS SOUS 143562 HAS SOUPS 138381 WITH SCORE 138788.4
AT ITER 286 NEW BEST:: SOT 541827 SOS 405608 HAS SOPS 379834 HAS SOUS 142729 HAS SOUPS 137594 WITH SCORE 137999.608
AT ITER 288 NEW BEST:: SOT 541827 SOS 401173 HAS SOPS 374198 HAS SOUS 141318 HAS SOUPS 136183 WITH SCORE 136584.173
AT ITER 290 NEW BEST:: SOT 542147 SOS 401449 HAS SOPS 374518 HAS SOUS 141182 HAS SOUPS 136057 WITH SCORE 136458.449
AT ITER 291 NEW BEST:: SOT 545655 SOS 401543 HAS SOPS 376088 HAS SOUS 136040 HAS SOUPS 131116 WITH SCORE 131517.543
AT ITER 292 NEW BEST:: SOT 545655 SOS 401498 HAS SOPS 376043 HAS SOUS 135995 HAS SOUPS 131071 WITH SCORE 131472.498
AT ITER 295 NEW BEST:: SOT 550556 SOS 407391 HAS SOPS 384950 HAS SOUS 133722 HAS SOUPS 128913 WITH SCORE 129320.391
AT ITER 297 NEW BEST:: SOT 550234 SOS 405511 HAS SOPS 382639 HAS SOUS 132891 HAS SOUPS 128082 WITH SCORE 128487.511
AT ITER 298 NEW BEST:: SOT 550234 SOS 405511 HAS SOPS 382623 HAS SOUS 132875 HAS SOUPS 128050 WITH SCORE 128455.511
AT ITER 299 NEW BEST:: SOT 550080 SOS 401140 HAS SOPS 377654 HAS SOUS 131812 HAS SOUPS 127138 WITH SCORE 127539.14
AT ITER 302 NEW BEST:: SOT 550080 SOS 401750 HAS SOPS 379082 HAS SOUS 131286 HAS SOUPS 126640 WITH SCORE 127041.75
AT ITER 306 NEW BEST:: SOT 550324 SOS 401974 HAS SOPS 379326 HAS SOUS 131050 HAS SOUPS 126414 WITH SCORE 126815.974
AT ITER 308 NEW BEST:: SOT 550455 SOS 400839 HAS SOPS 379457 HAS SOUS 128345 HAS SOUPS 123744 WITH SCORE 124144.839
AT ITER 310 NEW BEST:: SOT 548618 SOS 405151 HAS SOPS 384116 HAS SOUS 127360 HAS SOUPS 122660 WITH SCORE 123065.151
AT ITER 311 NEW BEST:: SOT 548581 SOS 405114 HAS SOPS 384025 HAS SOUS 127269 HAS SOUPS 122515 WITH SCORE 122920.114
AT ITER 313 NEW BEST:: SOT 548525 SOS 404162 HAS SOPS 382869 HAS SOUS 126982 HAS SOUPS 122233 WITH SCORE 122637.162
AT ITER 317 NEW BEST:: SOT 548525 SOS 404211 HAS SOPS 382853 HAS SOUS 126871 HAS SOUPS 122122 WITH SCORE 122526.211
AT ITER 322 NEW BEST:: SOT 550048 SOS 405510 HAS SOPS 384432 HAS SOUS 125930 HAS SOUPS 121237 WITH SCORE 121642.51
AT ITER 329 NEW BEST:: SOT 550048 SOS 403876 HAS SOPS 382493 HAS SOUS 125619 HAS SOUPS 120926 WITH SCORE 121329.876
AT ITER 330 NEW BEST:: SOT 549080 SOS 402908 HAS SOPS 381525 HAS SOUS 124651 HAS SOUPS 119958 WITH SCORE 120360.908
AT ITER 333 NEW BEST:: SOT 549080 SOS 400503 HAS SOPS 378924 HAS SOUS 124346 HAS SOUPS 119660 WITH SCORE 120060.503
AT ITER 337 NEW BEST:: SOT 549102 SOS 400525 HAS SOPS 378881 HAS SOUS 124260 HAS SOUPS 119552 WITH SCORE 119952.525
AT ITER 347 NEW BEST:: SOT 544598 SOS 396275 HAS SOPS 374328 HAS SOUS 124353 HAS SOUPS 119498 WITH SCORE 119894.275
AT ITER 348 NEW BEST:: SOT 544598 SOS 396252 HAS SOPS 374282 HAS SOUS 124307 HAS SOUPS 119452 WITH SCORE 119848.252
AT ITER 350 NEW BEST:: SOT 544598 SOS 396309 HAS SOPS 374309 HAS SOUS 124247 HAS SOUPS 119392 WITH SCORE 119788.309
AT ITER 353 NEW BEST:: SOT 544598 SOS 395497 HAS SOPS 373467 HAS SOUS 124200 HAS SOUPS 119345 WITH SCORE 119740.497
AT ITER 358 NEW BEST:: SOT 544621 SOS 395993 HAS SOPS 374816 HAS SOUS 123578 HAS SOUPS 118754 WITH SCORE 119149.993
AT ITER 359 NEW BEST:: SOT 545976 SOS 397286 HAS SOPS 376171 HAS SOUS 122745 HAS SOUPS 117966 WITH SCORE 118363.286
AT ITER 362 NEW BEST:: SOT 548269 SOS 397631 HAS SOPS 377200 HAS SOUS 119334 HAS SOUPS 114681 WITH SCORE 115078.631
AT ITER 364 NEW BEST:: SOT 546949 SOS 396841 HAS SOPS 376557 HAS SOUS 118320 HAS SOUPS 113619 WITH SCORE 114015.841
AT ITER 365 NEW BEST:: SOT 547039 SOS 392980 HAS SOPS 374762 HAS SOUS 115771 HAS SOUPS 111231 WITH SCORE 111623.98
AT ITER 369 NEW BEST:: SOT 547039 SOS 392522 HAS SOPS 374262 HAS SOUS 115709 HAS SOUPS 111169 WITH SCORE 111561.522
AT ITER 374 NEW BEST:: SOT 547039 SOS 392513 HAS SOPS 374253 HAS SOUS 115728 HAS SOUPS 111160 WITH SCORE 111552.513
AT ITER 376 NEW BEST:: SOT 552061 SOS 399287 HAS SOPS 382207 HAS SOUS 115445 HAS SOUPS 111082 WITH SCORE 111481.287
AT ITER 380 NEW BEST:: SOT 551684 SOS 398910 HAS SOPS 381952 HAS SOUS 115192 HAS SOUPS 110949 WITH SCORE 111347.91
AT ITER 381 NEW BEST:: SOT 552114 SOS 399314 HAS SOPS 382382 HAS SOUS 114998 HAS SOUPS 110768 WITH SCORE 111167.314
AT ITER 382 NEW BEST:: SOT 552081 SOS 399281 HAS SOPS 382349 HAS SOUS 114965 HAS SOUPS 110735 WITH SCORE 111134.281
AT ITER 383 NEW BEST:: SOT 551210 SOS 397846 HAS SOPS 380732 HAS SOUS 113844 HAS SOUPS 109524 WITH SCORE 109921.846
AT ITER 395 NEW BEST:: SOT 551133 SOS 397769 HAS SOPS 380655 HAS SOUS 113767 HAS SOUPS 109447 WITH SCORE 109844.769
AT ITER 405 NEW BEST:: SOT 551133 SOS 394522 HAS SOPS 377609 HAS SOUS 113433 HAS SOUPS 109178 WITH SCORE 109572.522
AT ITER 409 NEW BEST:: SOT 551272 SOS 394392 HAS SOPS 378098 HAS SOUS 111905 HAS SOUPS 107696 WITH SCORE 108090.392
AT ITER 415 NEW BEST:: SOT 551272 SOS 394380 HAS SOPS 378086 HAS SOUS 111893 HAS SOUPS 107684 WITH SCORE 108078.38
AT ITER 417 NEW BEST:: SOT 551272 SOS 393192 HAS SOPS 376877 HAS SOUS 111844 HAS SOUPS 107635 WITH SCORE 108028.192
AT ITER 418 NEW BEST:: SOT 555252 SOS 395110 HAS SOPS 380659 HAS SOUS 108187 HAS SOUPS 104216 WITH SCORE 104611.11
AT ITER 420 NEW BEST:: SOT 555252 SOS 392892 HAS SOPS 378010 HAS SOUS 107743 HAS SOUPS 103681 WITH SCORE 104073.892
AT ITER 424 NEW BEST:: SOT 555252 SOS 392845 HAS SOPS 377961 HAS SOUS 107740 HAS SOUPS 103678 WITH SCORE 104070.845
AT ITER 426 NEW BEST:: SOT 555579 SOS 393939 HAS SOPS 379407 HAS SOUS 106582 HAS SOUPS 102539 WITH SCORE 102932.939
AT ITER 427 NEW BEST:: SOT 556045 SOS 394381 HAS SOPS 379873 HAS SOUS 106472 HAS SOUPS 102441 WITH SCORE 102835.381
AT ITER 429 NEW BEST:: SOT 558460 SOS 399915 HAS SOPS 387068 HAS SOUS 106116 HAS SOUPS 102099 WITH SCORE 102498.915
AT ITER 442 NEW BEST:: SOT 558460 SOS 402202 HAS SOPS 388965 HAS SOUS 106055 HAS SOUPS 101918 WITH SCORE 102320.202
AT ITER 453 NEW BEST:: SOT 557965 SOS 402818 HAS SOPS 389517 HAS SOUS 105636 HAS SOUPS 101304 WITH SCORE 101706.818
AT ITER 454 NEW BEST:: SOT 557965 SOS 401495 HAS SOPS 389524 HAS SOUS 105016 HAS SOUPS 100723 WITH SCORE 101124.495
AT ITER 455 NEW BEST:: SOT 557965 SOS 401478 HAS SOPS 389507 HAS SOUS 104994 HAS SOUPS 100723 WITH SCORE 101124.478
AT ITER 469 NEW BEST:: SOT 557965 SOS 399536 HAS SOPS 387457 HAS SOUS 104845 HAS SOUPS 100574 WITH SCORE 100973.536
AT ITER 470 NEW BEST:: SOT 557965 SOS 400549 HAS SOPS 388461 HAS SOUS 104841 HAS SOUPS 100570 WITH SCORE 100970.549
AT ITER 478 NEW BEST:: SOT 557300 SOS 399892 HAS SOPS 387796 HAS SOUS 104568 HAS SOUPS 100289 WITH SCORE 100688.892
AT ITER 483 NEW BEST:: SOT 556674 SOS 399266 HAS SOPS 387170 HAS SOUS 103942 HAS SOUPS 99663 WITH SCORE 100062.266
AT ITER 484 NEW BEST:: SOT 556222 SOS 400279 HAS SOPS 388247 HAS SOUS 103591 HAS SOUPS 99312 WITH SCORE 99712.279
AT ITER 487 NEW BEST:: SOT 556222 SOS 400015 HAS SOPS 387941 HAS SOUS 103537 HAS SOUPS 99258 WITH SCORE 99658.015
AT ITER 488 NEW BEST:: SOT 555635 SOS 399959 HAS SOPS 387723 HAS SOUS 103025 HAS SOUPS 98556 WITH SCORE 98955.959
AT ITER 489 NEW BEST:: SOT 553957 SOS 398309 HAS SOPS 386045 HAS SOUS 102719 HAS SOUPS 98222 WITH SCORE 98620.309
AT ITER 493 NEW BEST:: SOT 553957 SOS 397445 HAS SOPS 385145 HAS SOUS 102647 HAS SOUPS 98150 WITH SCORE 98547.445
AT ITER 504 NEW BEST:: SOT 553957 SOS 397625 HAS SOPS 385174 HAS SOUS 102684 HAS SOUPS 98145 WITH SCORE 98542.625
AT ITER 507 NEW BEST:: SOT 555980 SOS 395590 HAS SOPS 385201 HAS SOUS 97933 HAS SOUPS 93570 WITH SCORE 93965.59
AT ITER 512 NEW BEST:: SOT 555966 SOS 395576 HAS SOPS 385154 HAS SOUS 97886 HAS SOUPS 93490 WITH SCORE 93885.576
AT ITER 517 NEW BEST:: SOT 555831 SOS 395441 HAS SOPS 385019 HAS SOUS 97751 HAS SOUPS 93355 WITH SCORE 93750.441
AT ITER 518 NEW BEST:: SOT 555808 SOS 395418 HAS SOPS 384952 HAS SOUS 97684 HAS SOUPS 93244 WITH SCORE 93639.418
AT ITER 519 NEW BEST:: SOT 555808 SOS 395316 HAS SOPS 384850 HAS SOUS 97670 HAS SOUPS 93240 WITH SCORE 93635.316
AT ITER 521 NEW BEST:: SOT 555808 SOS 394166 HAS SOPS 383723 HAS SOUS 97670 HAS SOUPS 93240 WITH SCORE 93634.166
AT ITER 529 NEW BEST:: SOT 555808 SOS 392368 HAS SOPS 381932 HAS SOUS 97528 HAS SOUPS 93222 WITH SCORE 93614.368
AT ITER 530 NEW BEST:: SOT 555808 SOS 392322 HAS SOPS 381886 HAS SOUS 97528 HAS SOUPS 93176 WITH SCORE 93568.322
AT ITER 533 NEW BEST:: SOT 555799 SOS 390243 HAS SOPS 380177 HAS SOUS 96121 HAS SOUPS 91803 WITH SCORE 92193.243
AT ITER 534 NEW BEST:: SOT 555799 SOS 389193 HAS SOPS 379127 HAS SOUS 96079 HAS SOUPS 91761 WITH SCORE 92150.193
AT ITER 538 NEW BEST:: SOT 555799 SOS 388214 HAS SOPS 378160 HAS SOUS 96071 HAS SOUPS 91753 WITH SCORE 92141.214
AT ITER 541 NEW BEST:: SOT 555799 SOS 387029 HAS SOPS 376805 HAS SOUS 95847 HAS SOUPS 91529 WITH SCORE 91916.029
AT ITER 544 NEW BEST:: SOT 555799 SOS 386468 HAS SOPS 375989 HAS SOUS 95560 HAS SOUPS 91242 WITH SCORE 91628.468
AT ITER 545 NEW BEST:: SOT 555799 SOS 386419 HAS SOPS 375940 HAS SOUS 95511 HAS SOUPS 91193 WITH SCORE 91579.419
AT ITER 560 NEW BEST:: SOT 555799 SOS 386419 HAS SOPS 375931 HAS SOUS 95486 HAS SOUPS 91175 WITH SCORE 91561.419
AT ITER 568 NEW BEST:: SOT 555799 SOS 386373 HAS SOPS 375882 HAS SOUS 95477 HAS SOUPS 91172 WITH SCORE 91558.373
AT ITER 571 NEW BEST:: SOT 558447 SOS 388964 HAS SOPS 378530 HAS SOUS 95332 HAS SOUPS 91084 WITH SCORE 91472.964
AT ITER 572 NEW BEST:: SOT 558447 SOS 388575 HAS SOPS 378122 HAS SOUS 95297 HAS SOUPS 91049 WITH SCORE 91437.575
AT ITER 578 NEW BEST:: SOT 558531 SOS 388655 HAS SOPS 378210 HAS SOUS 95189 HAS SOUPS 90949 WITH SCORE 91337.655
AT ITER 581 NEW BEST:: SOT 558531 SOS 388145 HAS SOPS 377700 HAS SOUS 95146 HAS SOUPS 90929 WITH SCORE 91317.145
AT ITER 583 NEW BEST:: SOT 558531 SOS 386784 HAS SOPS 376323 HAS SOUS 95025 HAS SOUPS 90859 WITH SCORE 91245.784
AT ITER 586 NEW BEST:: SOT 558531 SOS 385516 HAS SOPS 374881 HAS SOUS 94805 HAS SOUPS 90615 WITH SCORE 91000.516
AT ITER 598 NEW BEST:: SOT 558429 SOS 385230 HAS SOPS 374579 HAS SOUS 94679 HAS SOUPS 90489 WITH SCORE 90874.23
AT ITER 602 NEW BEST:: SOT 558429 SOS 385230 HAS SOPS 374572 HAS SOUS 94672 HAS SOUPS 90475 WITH SCORE 90860.23
AT ITER 603 NEW BEST:: SOT 558118 SOS 388381 HAS SOPS 377787 HAS SOUS 94536 HAS SOUPS 90311 WITH SCORE 90699.381
AT ITER 604 NEW BEST:: SOT 558118 SOS 388437 HAS SOPS 377787 HAS SOUS 94480 HAS SOUPS 90255 WITH SCORE 90643.437
AT ITER 616 NEW BEST:: SOT 558118 SOS 388387 HAS SOPS 377736 HAS SOUS 94478 HAS SOUPS 90252 WITH SCORE 90640.387
AT ITER 617 NEW BEST:: SOT 558118 SOS 387033 HAS SOPS 376281 HAS SOUS 94319 HAS SOUPS 90093 WITH SCORE 90480.033
AT ITER 618 NEW BEST:: SOT 557262 SOS 386177 HAS SOPS 375425 HAS SOUS 93463 HAS SOUPS 89237 WITH SCORE 89623.177
AT ITER 621 NEW BEST:: SOT 557194 SOS 386086 HAS SOPS 375311 HAS SOUS 93349 HAS SOUPS 89123 WITH SCORE 89509.086
AT ITER 624 NEW BEST:: SOT 557119 SOS 386011 HAS SOPS 375213 HAS SOUS 93257 HAS SOUPS 89002 WITH SCORE 89388.011
AT ITER 626 NEW BEST:: SOT 557091 SOS 385983 HAS SOPS 375188 HAS SOUS 93232 HAS SOUPS 88980 WITH SCORE 89365.983
AT ITER 633 NEW BEST:: SOT 552408 SOS 378020 HAS SOPS 365303 HAS SOUS 92618 HAS SOUPS 88345 WITH SCORE 88723.02
AT ITER 638 NEW BEST:: SOT 553252 SOS 378486 HAS SOPS 366163 HAS SOUS 90956 HAS SOUPS 86757 WITH SCORE 87135.486
AT ITER 650 NEW BEST:: SOT 553252 SOS 376721 HAS SOPS 364391 HAS SOUS 90890 HAS SOUPS 86693 WITH SCORE 87069.721
AT ITER 651 NEW BEST:: SOT 553252 SOS 376613 HAS SOPS 364551 HAS SOUS 90674 HAS SOUPS 86477 WITH SCORE 86853.613
AT ITER 661 NEW BEST:: SOT 553252 SOS 375955 HAS SOPS 363888 HAS SOUS 90643 HAS SOUPS 86446 WITH SCORE 86821.955
AT ITER 663 NEW BEST:: SOT 553252 SOS 375263 HAS SOPS 363198 HAS SOUS 90617 HAS SOUPS 86444 WITH SCORE 86819.263
AT ITER 674 NEW BEST:: SOT 553253 SOS 375244 HAS SOPS 363067 HAS SOUS 90486 HAS SOUPS 86221 WITH SCORE 86596.244
AT ITER 684 NEW BEST:: SOT 553325 SOS 374779 HAS SOPS 363197 HAS SOUS 89732 HAS SOUPS 85496 WITH SCORE 85870.779
AT ITER 691 NEW BEST:: SOT 553325 SOS 374779 HAS SOPS 363185 HAS SOUS 89720 HAS SOUPS 85472 WITH SCORE 85846.779
AT ITER 698 NEW BEST:: SOT 554205 SOS 375470 HAS SOPS 364080 HAS SOUS 88554 HAS SOUPS 84366 WITH SCORE 84741.47
AT ITER 703 NEW BEST:: SOT 553951 SOS 375216 HAS SOPS 363826 HAS SOUS 88300 HAS SOUPS 84112 WITH SCORE 84487.216
AT ITER 707 NEW BEST:: SOT 553951 SOS 375216 HAS SOPS 363811 HAS SOUS 88310 HAS SOUPS 84082 WITH SCORE 84457.216
AT ITER 708 NEW BEST:: SOT 554496 SOS 375746 HAS SOPS 364356 HAS SOUS 88120 HAS SOUPS 83907 WITH SCORE 84282.746
AT ITER 710 NEW BEST:: SOT 554496 SOS 372953 HAS SOPS 361585 HAS SOUS 88003 HAS SOUPS 83873 WITH SCORE 84245.953
AT ITER 713 NEW BEST:: SOT 554496 SOS 372603 HAS SOPS 361213 HAS SOUS 87974 HAS SOUPS 83822 WITH SCORE 84194.603
AT ITER 717 NEW BEST:: SOT 554581 SOS 372517 HAS SOPS 361553 HAS SOUS 87221 HAS SOUPS 83069 WITH SCORE 83441.517
AT ITER 721 NEW BEST:: SOT 554581 SOS 372517 HAS SOPS 361539 HAS SOUS 87213 HAS SOUPS 83041 WITH SCORE 83413.517
AT ITER 728 NEW BEST:: SOT 554581 SOS 372517 HAS SOPS 361508 HAS SOUS 87151 HAS SOUPS 82979 WITH SCORE 83351.517
AT ITER 739 NEW BEST:: SOT 554581 SOS 372017 HAS SOPS 361018 HAS SOUS 87151 HAS SOUPS 82979 WITH SCORE 83351.017
AT ITER 741 NEW BEST:: SOT 554581 SOS 372009 HAS SOPS 361010 HAS SOUS 87143 HAS SOUPS 82979 WITH SCORE 83351.009
AT ITER 744 NEW BEST:: SOT 554581 SOS 371459 HAS SOPS 360460 HAS SOUS 87121 HAS SOUPS 82957 WITH SCORE 83328.459
AT ITER 747 NEW BEST:: SOT 554567 SOS 371445 HAS SOPS 360399 HAS SOUS 87013 HAS SOUPS 82849 WITH SCORE 83220.445
AT ITER 749 NEW BEST:: SOT 554546 SOS 371424 HAS SOPS 360375 HAS SOUS 86989 HAS SOUPS 82822 WITH SCORE 83193.424
AT ITER 751 NEW BEST:: SOT 554546 SOS 371277 HAS SOPS 360231 HAS SOUS 86989 HAS SOUPS 82822 WITH SCORE 83193.277
AT ITER 775 NEW BEST:: SOT 557169 SOS 373246 HAS SOPS 362938 HAS SOUS 84493 HAS SOUPS 80450 WITH SCORE 80823.246
AT ITER 788 NEW BEST:: SOT 557169 SOS 373195 HAS SOPS 362887 HAS SOUS 84473 HAS SOUPS 80448 WITH SCORE 80821.195
AT ITER 792 NEW BEST:: SOT 557254 SOS 373110 HAS SOPS 363010 HAS SOUS 83835 HAS SOUPS 79829 WITH SCORE 80202.11
AT ITER 798 NEW BEST:: SOT 557254 SOS 373251 HAS SOPS 363147 HAS SOUS 83837 HAS SOUPS 79818 WITH SCORE 80191.251
AT ITER 799 NEW BEST:: SOT 556735 SOS 372754 HAS SOPS 362628 HAS SOUS 83846 HAS SOUPS 79816 WITH SCORE 80188.754
AT ITER 800 NEW BEST:: SOT 556735 SOS 372734 HAS SOPS 362603 HAS SOUS 83836 HAS SOUPS 79806 WITH SCORE 80178.734
AT ITER 804 NEW BEST:: SOT 556735 SOS 372338 HAS SOPS 362201 HAS SOUS 83826 HAS SOUPS 79784 WITH SCORE 80156.338
AT ITER 815 NEW BEST:: SOT 556735 SOS 372345 HAS SOPS 362201 HAS SOUS 83826 HAS SOUPS 79777 WITH SCORE 80149.345
AT ITER 828 NEW BEST:: SOT 556735 SOS 372330 HAS SOPS 362171 HAS SOUS 83796 HAS SOUPS 79747 WITH SCORE 80119.33
AT ITER 831 NEW BEST:: SOT 556549 SOS 372144 HAS SOPS 361985 HAS SOUS 83610 HAS SOUPS 79561 WITH SCORE 79933.144
AT ITER 835 NEW BEST:: SOT 556549 SOS 374094 HAS SOPS 363882 HAS SOUS 83635 HAS SOUPS 79535 WITH SCORE 79909.094
AT ITER 846 NEW BEST:: SOT 554983 SOS 372567 HAS SOPS 362316 HAS SOUS 83330 HAS SOUPS 79204 WITH SCORE 79576.567
AT ITER 848 NEW BEST:: SOT 552443 SOS 370087 HAS SOPS 359776 HAS SOUS 82930 HAS SOUPS 78760 WITH SCORE 79130.087
AT ITER 855 NEW BEST:: SOT 551335 SOS 368999 HAS SOPS 358668 HAS SOUS 82552 HAS SOUPS 78367 WITH SCORE 78735.999
AT ITER 856 NEW BEST:: SOT 551292 SOS 368956 HAS SOPS 358625 HAS SOUS 82509 HAS SOUPS 78324 WITH SCORE 78692.956
AT ITER 860 NEW BEST:: SOT 551358 SOS 368851 HAS SOPS 358708 HAS SOUS 81930 HAS SOUPS 77762 WITH SCORE 78130.851
AT ITER 865 NEW BEST:: SOT 551169 SOS 368312 HAS SOPS 358178 HAS SOUS 81736 HAS SOUPS 77577 WITH SCORE 77945.312
AT ITER 866 NEW BEST:: SOT 551169 SOS 368294 HAS SOPS 358151 HAS SOUS 81709 HAS SOUPS 77559 WITH SCORE 77927.294
AT ITER 876 NEW BEST:: SOT 551199 SOS 368309 HAS SOPS 358181 HAS SOUS 81604 HAS SOUPS 77457 WITH SCORE 77825.309
AT ITER 888 NEW BEST:: SOT 551199 SOS 367623 HAS SOPS 357481 HAS SOUS 81562 HAS SOUPS 77429 WITH SCORE 77796.623
AT ITER 889 NEW BEST:: SOT 552043 SOS 368427 HAS SOPS 358349 HAS SOUS 81294 HAS SOUPS 77185 WITH SCORE 77553.427
AT ITER 895 NEW BEST:: SOT 552043 SOS 368275 HAS SOPS 358197 HAS SOUS 81296 HAS SOUPS 77179 WITH SCORE 77547.275
AT ITER 897 NEW BEST:: SOT 552043 SOS 367571 HAS SOPS 357448 HAS SOUS 81223 HAS SOUPS 77106 WITH SCORE 77473.571
AT ITER 900 NEW BEST:: SOT 552032 SOS 367560 HAS SOPS 357437 HAS SOUS 81212 HAS SOUPS 77095 WITH SCORE 77462.56
AT ITER 903 NEW BEST:: SOT 550587 SOS 364436 HAS SOPS 352414 HAS SOUS 77874 HAS SOUPS 73607 WITH SCORE 73971.436
AT ITER 908 NEW BEST:: SOT 550467 SOS 364316 HAS SOPS 352294 HAS SOUS 77754 HAS SOUPS 73487 WITH SCORE 73851.316
AT ITER 909 NEW BEST:: SOT 550467 SOS 363303 HAS SOPS 351222 HAS SOUS 77666 HAS SOUPS 73418 WITH SCORE 73781.303
AT ITER 913 NEW BEST:: SOT 550467 SOS 362762 HAS SOPS 350572 HAS SOUS 77531 HAS SOUPS 73283 WITH SCORE 73645.762
AT ITER 914 NEW BEST:: SOT 549828 SOS 362899 HAS SOPS 350899 HAS SOUS 77088 HAS SOUPS 73016 WITH SCORE 73378.899
AT ITER 917 NEW BEST:: SOT 549847 SOS 362734 HAS SOPS 350102 HAS SOUS 76443 HAS SOUPS 72371 WITH SCORE 72733.734
AT ITER 918 NEW BEST:: SOT 549847 SOS 366393 HAS SOPS 353654 HAS SOUS 76569 HAS SOUPS 72311 WITH SCORE 72677.393
AT ITER 933 NEW BEST:: SOT 549847 SOS 366226 HAS SOPS 353487 HAS SOUS 76563 HAS SOUPS 72305 WITH SCORE 72671.226
AT ITER 934 NEW BEST:: SOT 549847 SOS 366199 HAS SOPS 353460 HAS SOUS 76536 HAS SOUPS 72305 WITH SCORE 72671.199
AT ITER 948 NEW BEST:: SOT 549753 SOS 366105 HAS SOPS 353366 HAS SOUS 76442 HAS SOUPS 72211 WITH SCORE 72577.105
AT ITER 952 NEW BEST:: SOT 549703 SOS 366055 HAS SOPS 353318 HAS SOUS 76394 HAS SOUPS 72165 WITH SCORE 72531.055
AT ITER 958 NEW BEST:: SOT 549919 SOS 366245 HAS SOPS 353429 HAS SOUS 76277 HAS SOUPS 72053 WITH SCORE 72419.245
AT ITER 961 NEW BEST:: SOT 549742 SOS 366068 HAS SOPS 353252 HAS SOUS 76100 HAS SOUPS 71876 WITH SCORE 72242.068
AT ITER 965 NEW BEST:: SOT 550014 SOS 366286 HAS SOPS 353524 HAS SOUS 75826 HAS SOUPS 71614 WITH SCORE 71980.286
AT ITER 978 NEW BEST:: SOT 550057 SOS 366335 HAS SOPS 353537 HAS SOUS 75839 HAS SOUPS 71591 WITH SCORE 71957.335
AT ITER 980 NEW BEST:: SOT 550057 SOS 366335 HAS SOPS 353536 HAS SOUS 75838 HAS SOUPS 71589 WITH SCORE 71955.335
AT ITER 1002 NEW BEST:: SOT 550057 SOS 362204 HAS SOPS 348936 HAS SOUS 75185 HAS SOUPS 70936 WITH SCORE 71298.204
AT ITER 1019 NEW BEST:: SOT 550057 SOS 364624 HAS SOPS 351274 HAS SOUS 75194 HAS SOUPS 70897 WITH SCORE 71261.624
AT ITER 1023 NEW BEST:: SOT 550057 SOS 364036 HAS SOPS 350698 HAS SOUS 75194 HAS SOUPS 70897 WITH SCORE 71261.036
AT ITER 1030 NEW BEST:: SOT 552878 SOS 366061 HAS SOPS 353771 HAS SOUS 72889 HAS SOUPS 68718 WITH SCORE 69084.061
AT ITER 1031 NEW BEST:: SOT 556396 SOS 369005 HAS SOPS 357397 HAS SOUS 71689 HAS SOUPS 67734 WITH SCORE 68103.005
AT ITER 1051 NEW BEST:: SOT 556396 SOS 369100 HAS SOPS 357492 HAS SOUS 71688 HAS SOUPS 67733 WITH SCORE 68102.1
AT ITER 1052 NEW BEST:: SOT 556396 SOS 369032 HAS SOPS 357356 HAS SOUS 71552 HAS SOUPS 67597 WITH SCORE 67966.032
AT ITER 1064 NEW BEST:: SOT 556396 SOS 369032 HAS SOPS 357353 HAS SOUS 71549 HAS SOUPS 67591 WITH SCORE 67960.032
AT ITER 1086 NEW BEST:: SOT 556396 SOS 368532 HAS SOPS 356853 HAS SOUS 71529 HAS SOUPS 67581 WITH SCORE 67949.532
AT ITER 1087 NEW BEST:: SOT 556396 SOS 368682 HAS SOPS 357001 HAS SOUS 71533 HAS SOUPS 67580 WITH SCORE 67948.682
AT ITER 1089 NEW BEST:: SOT 556396 SOS 369407 HAS SOPS 357671 HAS SOUS 71510 HAS SOUPS 67473 WITH SCORE 67842.407
AT ITER 1090 NEW BEST:: SOT 556384 SOS 369395 HAS SOPS 357628 HAS SOUS 71467 HAS SOUPS 67399 WITH SCORE 67768.395
AT ITER 1091 NEW BEST:: SOT 556384 SOS 369395 HAS SOPS 357626 HAS SOUS 71465 HAS SOUPS 67395 WITH SCORE 67764.395
AT ITER 1093 NEW BEST:: SOT 556384 SOS 369395 HAS SOPS 357617 HAS SOUS 71456 HAS SOUPS 67377 WITH SCORE 67746.395
AT ITER 1097 NEW BEST:: SOT 556384 SOS 368545 HAS SOPS 356797 HAS SOUS 71452 HAS SOUPS 67373 WITH SCORE 67741.545
AT ITER 1112 NEW BEST:: SOT 556384 SOS 367945 HAS SOPS 356197 HAS SOUS 71428 HAS SOUPS 67349 WITH SCORE 67716.945
AT ITER 1116 NEW BEST:: SOT 552718 SOS 364843 HAS SOPS 352971 HAS SOUS 71517 HAS SOUPS 67330 WITH SCORE 67694.843
AT ITER 1117 NEW BEST:: SOT 552718 SOS 363469 HAS SOPS 351597 HAS SOUS 71439 HAS SOUPS 67276 WITH SCORE 67639.469
AT ITER 1119 NEW BEST:: SOT 553085 SOS 364420 HAS SOPS 352764 HAS SOUS 70754 HAS SOUPS 66617 WITH SCORE 66981.42
AT ITER 1134 NEW BEST:: SOT 552127 SOS 365152 HAS SOPS 353642 HAS SOUS 70059 HAS SOUPS 65877 WITH SCORE 66242.152
AT ITER 1138 NEW BEST:: SOT 552127 SOS 365239 HAS SOPS 353711 HAS SOUS 70027 HAS SOUPS 65845 WITH SCORE 66210.239
AT ITER 1141 NEW BEST:: SOT 552127 SOS 364845 HAS SOPS 353317 HAS SOUS 70014 HAS SOUPS 65832 WITH SCORE 66196.845
AT ITER 1146 NEW BEST:: SOT 551135 SOS 363904 HAS SOPS 352325 HAS SOUS 69821 HAS SOUPS 65622 WITH SCORE 65985.904
AT ITER 1169 NEW BEST:: SOT 551135 SOS 363904 HAS SOPS 352304 HAS SOUS 69800 HAS SOUPS 65580 WITH SCORE 65943.904
AT ITER 1172 NEW BEST:: SOT 550946 SOS 364919 HAS SOPS 353323 HAS SOUS 69663 HAS SOUPS 65427 WITH SCORE 65791.919
AT ITER 1208 NEW BEST:: SOT 550305 SOS 362715 HAS SOPS 351201 HAS SOUS 69042 HAS SOUPS 64906 WITH SCORE 65268.715
AT ITER 1219 NEW BEST:: SOT 551054 SOS 363380 HAS SOPS 351950 HAS SOUS 68675 HAS SOUPS 64563 WITH SCORE 64926.38
AT ITER 1237 NEW BEST:: SOT 551054 SOS 363378 HAS SOPS 351948 HAS SOUS 68673 HAS SOUPS 64561 WITH SCORE 64924.378
AT ITER 1242 NEW BEST:: SOT 550996 SOS 363320 HAS SOPS 351890 HAS SOUS 68615 HAS SOUPS 64503 WITH SCORE 64866.32
AT ITER 1247 NEW BEST:: SOT 551899 SOS 363935 HAS SOPS 352839 HAS SOUS 66802 HAS SOUPS 62797 WITH SCORE 63160.935
AT ITER 1249 NEW BEST:: SOT 551894 SOS 363930 HAS SOPS 352834 HAS SOUS 66797 HAS SOUPS 62792 WITH SCORE 63155.93
AT ITER 1260 NEW BEST:: SOT 551894 SOS 363460 HAS SOPS 352334 HAS SOUS 66747 HAS SOUPS 62742 WITH SCORE 63105.46
AT ITER 1263 NEW BEST:: SOT 551894 SOS 363360 HAS SOPS 352234 HAS SOUS 66743 HAS SOUPS 62738 WITH SCORE 63101.36
AT ITER 1272 NEW BEST:: SOT 551722 SOS 363194 HAS SOPS 352062 HAS SOUS 66665 HAS SOUPS 62658 WITH SCORE 63021.194
AT ITER 1291 NEW BEST:: SOT 551722 SOS 363183 HAS SOPS 352040 HAS SOUS 66643 HAS SOUPS 62636 WITH SCORE 62999.183
AT ITER 1292 NEW BEST:: SOT 551675 SOS 363136 HAS SOPS 351993 HAS SOUS 66596 HAS SOUPS 62589 WITH SCORE 62952.136
AT ITER 1302 NEW BEST:: SOT 551675 SOS 366156 HAS SOPS 354946 HAS SOUS 66612 HAS SOUPS 62575 WITH SCORE 62941.156
AT ITER 1303 NEW BEST:: SOT 551590 SOS 366071 HAS SOPS 354861 HAS SOUS 66527 HAS SOUPS 62490 WITH SCORE 62856.071
AT ITER 1308 NEW BEST:: SOT 551590 SOS 365130 HAS SOPS 353928 HAS SOUS 66514 HAS SOUPS 62479 WITH SCORE 62844.13
AT ITER 1313 NEW BEST:: SOT 551590 SOS 365218 HAS SOPS 354113 HAS SOUS 66499 HAS SOUPS 62467 WITH SCORE 62832.218
AT ITER 1316 NEW BEST:: SOT 550395 SOS 364065 HAS SOPS 352918 HAS SOUS 66212 HAS SOUPS 62161 WITH SCORE 62525.065
AT ITER 1329 NEW BEST:: SOT 550395 SOS 364065 HAS SOPS 352887 HAS SOUS 66150 HAS SOUPS 62099 WITH SCORE 62463.065
AT ITER 1336 NEW BEST:: SOT 550377 SOS 364047 HAS SOPS 352869 HAS SOUS 66132 HAS SOUPS 62081 WITH SCORE 62445.047
AT ITER 1344 NEW BEST:: SOT 551391 SOS 364926 HAS SOPS 353883 HAS SOUS 65381 HAS SOUPS 61368 WITH SCORE 61732.926
AT ITER 1345 NEW BEST:: SOT 551391 SOS 364158 HAS SOPS 353114 HAS SOUS 65332 HAS SOUPS 61323 WITH SCORE 61687.158
AT ITER 1362 NEW BEST:: SOT 551391 SOS 363648 HAS SOPS 352604 HAS SOUS 65287 HAS SOUPS 61303 WITH SCORE 61666.648
AT ITER 1378 NEW BEST:: SOT 551391 SOS 362759 HAS SOPS 351715 HAS SOUS 65308 HAS SOUPS 61285 WITH SCORE 61647.759
AT ITER 1381 NEW BEST:: SOT 551367 SOS 362735 HAS SOPS 351691 HAS SOUS 65284 HAS SOUPS 61261 WITH SCORE 61623.735
AT ITER 1394 NEW BEST:: SOT 553355 SOS 364561 HAS SOPS 353691 HAS SOUS 64858 HAS SOUPS 60887 WITH SCORE 61251.561
AT ITER 1395 NEW BEST:: SOT 553355 SOS 364560 HAS SOPS 353689 HAS SOUS 64856 HAS SOUPS 60885 WITH SCORE 61249.56
AT ITER 1414 NEW BEST:: SOT 553355 SOS 363710 HAS SOPS 352857 HAS SOUS 64840 HAS SOUPS 60870 WITH SCORE 61233.71
AT ITER 1416 NEW BEST:: SOT 553355 SOS 367178 HAS SOPS 356242 HAS SOUS 64976 HAS SOUPS 60840 WITH SCORE 61207.178
AT ITER 1422 NEW BEST:: SOT 553355 SOS 368137 HAS SOPS 357164 HAS SOUS 65037 HAS SOUPS 60839 WITH SCORE 61207.137
AT ITER 1426 NEW BEST:: SOT 553355 SOS 368033 HAS SOPS 357060 HAS SOUS 65029 HAS SOUPS 60835 WITH SCORE 61203.033
AT ITER 1439 NEW BEST:: SOT 553633 SOS 369368 HAS SOPS 358782 HAS SOUS 62966 HAS SOUPS 58828 WITH SCORE 59197.368
AT ITER 1444 NEW BEST:: SOT 553633 SOS 369368 HAS SOPS 358777 HAS SOUS 62961 HAS SOUPS 58818 WITH SCORE 59187.368
AT ITER 1453 NEW BEST:: SOT 553633 SOS 369317 HAS SOPS 358726 HAS SOUS 62959 HAS SOUPS 58816 WITH SCORE 59185.317
AT ITER 1463 NEW BEST:: SOT 553633 SOS 369274 HAS SOPS 358637 HAS SOUS 62870 HAS SOUPS 58727 WITH SCORE 59096.274
AT ITER 1464 NEW BEST:: SOT 553633 SOS 366474 HAS SOPS 355893 HAS SOUS 62870 HAS SOUPS 58727 WITH SCORE 59093.474
AT ITER 1482 NEW BEST:: SOT 553633 SOS 366474 HAS SOPS 355863 HAS SOUS 62840 HAS SOUPS 58667 WITH SCORE 59033.474
AT ITER 1497 NEW BEST:: SOT 553633 SOS 366474 HAS SOPS 355828 HAS SOUS 62770 HAS SOUPS 58597 WITH SCORE 58963.474
AT ITER 1501 NEW BEST:: SOT 555921 SOS 368497 HAS SOPS 358178 HAS SOUS 61785 HAS SOUPS 57746 WITH SCORE 58114.497
AT ITER 1510 NEW BEST:: SOT 555921 SOS 368197 HAS SOPS 357878 HAS SOUS 61773 HAS SOUPS 57740 WITH SCORE 58108.197
AT ITER 1528 NEW BEST:: SOT 554738 SOS 367062 HAS SOPS 356695 HAS SOUS 61342 HAS SOUPS 57293 WITH SCORE 57660.062
AT ITER 1534 NEW BEST:: SOT 555634 SOS 367898 HAS SOPS 357591 HAS SOUS 61298 HAS SOUPS 57269 WITH SCORE 57636.898
AT ITER 1536 NEW BEST:: SOT 555634 SOS 367892 HAS SOPS 357585 HAS SOUS 61292 HAS SOUPS 57269 WITH SCORE 57636.892
AT ITER 1543 NEW BEST:: SOT 555634 SOS 367852 HAS SOPS 357564 HAS SOUS 61271 HAS SOUPS 57267 WITH SCORE 57634.852
AT ITER 1551 NEW BEST:: SOT 555634 SOS 367830 HAS SOPS 357498 HAS SOUS 61205 HAS SOUPS 57179 WITH SCORE 57546.83
AT ITER 1560 NEW BEST:: SOT 555634 SOS 367626 HAS SOPS 357294 HAS SOUS 61197 HAS SOUPS 57171 WITH SCORE 57538.626
AT ITER 1569 NEW BEST:: SOT 555708 SOS 367680 HAS SOPS 357368 HAS SOUS 61041 HAS SOUPS 57020 WITH SCORE 57387.68
AT ITER 1579 NEW BEST:: SOT 555708 SOS 367688 HAS SOPS 357368 HAS SOUS 61041 HAS SOUPS 57012 WITH SCORE 57379.688
AT ITER 1600 NEW BEST:: SOT 555708 SOS 368213 HAS SOPS 357857 HAS SOUS 61027 HAS SOUPS 56962 WITH SCORE 57330.213
AT ITER 1607 NEW BEST:: SOT 555708 SOS 368190 HAS SOPS 357808 HAS SOUS 61006 HAS SOUPS 56910 WITH SCORE 57278.19
AT ITER 1617 NEW BEST:: SOT 555708 SOS 369324 HAS SOPS 358923 HAS SOUS 60920 HAS SOUPS 56896 WITH SCORE 57265.324
AT ITER 1630 NEW BEST:: SOT 555708 SOS 371692 HAS SOPS 361173 HAS SOUS 61012 HAS SOUPS 56872 WITH SCORE 57243.692
AT ITER 1643 NEW BEST:: SOT 555708 SOS 371131 HAS SOPS 360612 HAS SOUS 60990 HAS SOUPS 56850 WITH SCORE 57221.131
AT ITER 1664 NEW BEST:: SOT 555708 SOS 371110 HAS SOPS 360553 HAS SOUS 60931 HAS SOUPS 56791 WITH SCORE 57162.11
AT ITER 1677 NEW BEST:: SOT 555708 SOS 369830 HAS SOPS 359272 HAS SOUS 60851 HAS SOUPS 56741 WITH SCORE 57110.83
AT ITER 1702 NEW BEST:: SOT 555708 SOS 369830 HAS SOPS 359256 HAS SOUS 60835 HAS SOUPS 56709 WITH SCORE 57078.83
AT ITER 1722 NEW BEST:: SOT 555678 SOS 369800 HAS SOPS 359226 HAS SOUS 60805 HAS SOUPS 56679 WITH SCORE 57048.8
AT ITER 1725 NEW BEST:: SOT 555678 SOS 369805 HAS SOPS 359226 HAS SOUS 60805 HAS SOUPS 56674 WITH SCORE 57043.805
AT ITER 1739 NEW BEST:: SOT 554943 SOS 369082 HAS SOPS 358491 HAS SOUS 60458 HAS SOUPS 56319 WITH SCORE 56688.082
AT ITER 1742 NEW BEST:: SOT 554943 SOS 368980 HAS SOPS 358389 HAS SOUS 60384 HAS SOUPS 56315 WITH SCORE 56683.98
AT ITER 1753 NEW BEST:: SOT 554943 SOS 368980 HAS SOPS 358386 HAS SOUS 60398 HAS SOUPS 56309 WITH SCORE 56677.98
AT ITER 1762 NEW BEST:: SOT 554943 SOS 368980 HAS SOPS 358377 HAS SOUS 60389 HAS SOUPS 56291 WITH SCORE 56659.98
AT ITER 1765 NEW BEST:: SOT 554943 SOS 368080 HAS SOPS 357489 HAS SOUS 60365 HAS SOUPS 56279 WITH SCORE 56647.08
AT ITER 1785 NEW BEST:: SOT 554943 SOS 365556 HAS SOPS 355001 HAS SOUS 60277 HAS SOUPS 56251 WITH SCORE 56616.556
AT ITER 1792 NEW BEST:: SOT 554943 SOS 365555 HAS SOPS 355000 HAS SOUS 60276 HAS SOUPS 56250 WITH SCORE 56615.555
AT ITER 1826 NEW BEST:: SOT 554943 SOS 365198 HAS SOPS 354643 HAS SOUS 60255 HAS SOUPS 56236 WITH SCORE 56601.198
AT ITER 1859 NEW BEST:: SOT 554507 SOS 364762 HAS SOPS 354285 HAS SOUS 59897 HAS SOUPS 55956 WITH SCORE 56320.762
AT ITER 1900 NEW BEST:: SOT 554507 SOS 364562 HAS SOPS 354085 HAS SOUS 59889 HAS SOUPS 55948 WITH SCORE 56312.562
AT ITER 1925 NEW BEST:: SOT 554555 SOS 364557 HAS SOPS 354133 HAS SOUS 59390 HAS SOUPS 55461 WITH SCORE 55825.557
AT ITER 1934 NEW BEST:: SOT 554555 SOS 364538 HAS SOPS 354114 HAS SOUS 59371 HAS SOUPS 55461 WITH SCORE 55825.538
AT ITER 1935 NEW BEST:: SOT 554548 SOS 364531 HAS SOPS 354107 HAS SOUS 59364 HAS SOUPS 55454 WITH SCORE 55818.531
AT ITER 1948 NEW BEST:: SOT 554461 SOS 364447 HAS SOPS 354020 HAS SOUS 59324 HAS SOUPS 55413 WITH SCORE 55777.447
AT ITER 1956 NEW BEST:: SOT 554461 SOS 364447 HAS SOPS 354005 HAS SOUS 59309 HAS SOUPS 55383 WITH SCORE 55747.447
AT ITER 1968 NEW BEST:: SOT 554461 SOS 364847 HAS SOPS 354376 HAS SOUS 59296 HAS SOUPS 55341 WITH SCORE 55705.847
AT ITER 1973 NEW BEST:: SOT 554461 SOS 364830 HAS SOPS 354359 HAS SOUS 59279 HAS SOUPS 55341 WITH SCORE 55705.83
AT ITER 1977 NEW BEST:: SOT 554461 SOS 364581 HAS SOPS 354110 HAS SOUS 59275 HAS SOUPS 55337 WITH SCORE 55701.581
AT ITER 1978 NEW BEST:: SOT 553893 SOS 364046 HAS SOPS 353542 HAS SOUS 59224 HAS SOUPS 55275 WITH SCORE 55639.046
AT ITER 2011 NEW BEST:: SOT 554555 SOS 364633 HAS SOPS 354204 HAS SOUS 58811 HAS SOUPS 54885 WITH SCORE 55249.633
AT ITER 2022 NEW BEST:: SOT 554543 SOS 364621 HAS SOPS 354192 HAS SOUS 58799 HAS SOUPS 54873 WITH SCORE 55237.621
AT ITER 2024 NEW BEST:: SOT 554539 SOS 364617 HAS SOPS 354188 HAS SOUS 58795 HAS SOUPS 54869 WITH SCORE 55233.617
AT ITER 2048 NEW BEST:: SOT 555126 SOS 365159 HAS SOPS 354775 HAS SOUS 58677 HAS SOUPS 54766 WITH SCORE 55131.159
AT ITER 2055 NEW BEST:: SOT 555126 SOS 364649 HAS SOPS 354265 HAS SOUS 58647 HAS SOUPS 54746 WITH SCORE 55110.649
AT ITER 2066 NEW BEST:: SOT 555338 SOS 364994 HAS SOPS 354677 HAS SOUS 58434 HAS SOUPS 54543 WITH SCORE 54907.994
AT ITER 2069 NEW BEST:: SOT 555338 SOS 363107 HAS SOPS 352827 HAS SOUS 58397 HAS SOUPS 54543 WITH SCORE 54906.107
AT ITER 2090 NEW BEST:: SOT 555338 SOS 363107 HAS SOPS 352819 HAS SOUS 58389 HAS SOUPS 54527 WITH SCORE 54890.107
AT ITER 2108 NEW BEST:: SOT 555338 SOS 363107 HAS SOPS 352802 HAS SOUS 58355 HAS SOUPS 54493 WITH SCORE 54856.107
AT ITER 2125 NEW BEST:: SOT 555338 SOS 363107 HAS SOPS 352791 HAS SOUS 58344 HAS SOUPS 54471 WITH SCORE 54834.107
AT ITER 2140 NEW BEST:: SOT 555338 SOS 362320 HAS SOPS 352004 HAS SOUS 58310 HAS SOUPS 54423 WITH SCORE 54785.32
AT ITER 2165 NEW BEST:: SOT 555338 SOS 361270 HAS SOPS 350962 HAS SOUS 58276 HAS SOUPS 54418 WITH SCORE 54779.27
AT ITER 2169 NEW BEST:: SOT 555338 SOS 361157 HAS SOPS 350847 HAS SOUS 58255 HAS SOUPS 54412 WITH SCORE 54773.157
AT ITER 2175 NEW BEST:: SOT 555324 SOS 361143 HAS SOPS 350833 HAS SOUS 58241 HAS SOUPS 54398 WITH SCORE 54759.143
AT ITER 2197 NEW BEST:: SOT 555275 SOS 361094 HAS SOPS 350783 HAS SOUS 58191 HAS SOUPS 54347 WITH SCORE 54708.094
AT ITER 2202 NEW BEST:: SOT 555275 SOS 361094 HAS SOPS 350765 HAS SOUS 58172 HAS SOUPS 54311 WITH SCORE 54672.094
AT ITER 2206 NEW BEST:: SOT 555413 SOS 361229 HAS SOPS 350903 HAS SOUS 58163 HAS SOUPS 54305 WITH SCORE 54666.229
AT ITER 2208 NEW BEST:: SOT 555413 SOS 361074 HAS SOPS 350748 HAS SOUS 58138 HAS SOUPS 54299 WITH SCORE 54660.074
AT ITER 2212 NEW BEST:: SOT 555413 SOS 361074 HAS SOPS 350735 HAS SOUS 58125 HAS SOUPS 54273 WITH SCORE 54634.074
AT ITER 2237 NEW BEST:: SOT 555413 SOS 361050 HAS SOPS 350711 HAS SOUS 58101 HAS SOUPS 54273 WITH SCORE 54634.05
AT ITER 2251 NEW BEST:: SOT 555415 SOS 361040 HAS SOPS 350701 HAS SOUS 58091 HAS SOUPS 54263 WITH SCORE 54624.04
AT ITER 2262 NEW BEST:: SOT 555415 SOS 363029 HAS SOPS 352637 HAS SOUS 58116 HAS SOUPS 54235 WITH SCORE 54598.029
AT ITER 2279 NEW BEST:: SOT 555415 SOS 362371 HAS SOPS 351992 HAS SOUS 58095 HAS SOUPS 54235 WITH SCORE 54597.371
AT ITER 2295 NEW BEST:: SOT 557964 SOS 364746 HAS SOPS 354541 HAS SOUS 58018 HAS SOUPS 54214 WITH SCORE 54578.746
AT ITER 2300 NEW BEST:: SOT 557971 SOS 364843 HAS SOPS 354624 HAS SOUS 58005 HAS SOUPS 54197 WITH SCORE 54561.843
AT ITER 2315 NEW BEST:: SOT 557971 SOS 364693 HAS SOPS 354471 HAS SOUS 57996 HAS SOUPS 54188 WITH SCORE 54552.693
AT ITER 2316 NEW BEST:: SOT 557971 SOS 365043 HAS SOPS 354800 HAS SOUS 57968 HAS SOUPS 54160 WITH SCORE 54525.043
AT ITER 2341 NEW BEST:: SOT 557941 SOS 365013 HAS SOPS 354703 HAS SOUS 57871 HAS SOUPS 53996 WITH SCORE 54361.013
AT ITER 2343 NEW BEST:: SOT 557941 SOS 363246 HAS SOPS 352936 HAS SOUS 57782 HAS SOUPS 53944 WITH SCORE 54307.246
AT ITER 2351 NEW BEST:: SOT 557941 SOS 363297 HAS SOPS 352983 HAS SOUS 57810 HAS SOUPS 53938 WITH SCORE 54301.297
AT ITER 2362 NEW BEST:: SOT 557948 SOS 363304 HAS SOPS 352982 HAS SOUS 57809 HAS SOUPS 53929 WITH SCORE 54292.304
AT ITER 2363 NEW BEST:: SOT 557948 SOS 363035 HAS SOPS 352721 HAS SOUS 57788 HAS SOUPS 53927 WITH SCORE 54290.035
AT ITER 2367 NEW BEST:: SOT 557953 SOS 363040 HAS SOPS 352701 HAS SOUS 57778 HAS SOUPS 53882 WITH SCORE 54245.04
AT ITER 2383 NEW BEST:: SOT 557953 SOS 364040 HAS SOPS 353678 HAS SOUS 57795 HAS SOUPS 53861 WITH SCORE 54225.04
AT ITER 2395 NEW BEST:: SOT 557953 SOS 362051 HAS SOPS 351715 HAS SOUS 57743 HAS SOUPS 53835 WITH SCORE 54197.051
AT ITER 2400 NEW BEST:: SOT 557953 SOS 362600 HAS SOPS 352252 HAS SOUS 57741 HAS SOUPS 53833 WITH SCORE 54195.6
AT ITER 2443 NEW BEST:: SOT 557953 SOS 362546 HAS SOPS 352150 HAS SOUS 57745 HAS SOUPS 53829 WITH SCORE 54191.546
AT ITER 2450 NEW BEST:: SOT 557953 SOS 362393 HAS SOPS 351997 HAS SOUS 57739 HAS SOUPS 53823 WITH SCORE 54185.393
AT ITER 2480 NEW BEST:: SOT 557953 SOS 362897 HAS SOPS 352486 HAS SOUS 57744 HAS SOUPS 53807 WITH SCORE 54169.897
AT ITER 2494 NEW BEST:: SOT 557953 SOS 362894 HAS SOPS 352483 HAS SOUS 57738 HAS SOUPS 53807 WITH SCORE 54169.894
AT ITER 2500 NEW BEST:: SOT 559415 SOS 364217 HAS SOPS 353945 HAS SOUS 57139 HAS SOUPS 53252 WITH SCORE 53616.217
AT ITER 2504 NEW BEST:: SOT 559415 SOS 364211 HAS SOPS 353939 HAS SOUS 57133 HAS SOUPS 53246 WITH SCORE 53610.211
AT ITER 2508 NEW BEST:: SOT 559415 SOS 364211 HAS SOPS 353924 HAS SOUS 57131 HAS SOUPS 53216 WITH SCORE 53580.211
AT ITER 2514 NEW BEST:: SOT 559415 SOS 364208 HAS SOPS 353921 HAS SOUS 57128 HAS SOUPS 53216 WITH SCORE 53580.208
AT ITER 2520 NEW BEST:: SOT 558759 SOS 363594 HAS SOPS 353265 HAS SOUS 57130 HAS SOUPS 53204 WITH SCORE 53567.594
AT ITER 2539 NEW BEST:: SOT 558752 SOS 363587 HAS SOPS 353258 HAS SOUS 57123 HAS SOUPS 53197 WITH SCORE 53560.587
AT ITER 2550 NEW BEST:: SOT 558752 SOS 363587 HAS SOPS 353242 HAS SOUS 57107 HAS SOUPS 53165 WITH SCORE 53528.587
AT ITER 2552 NEW BEST:: SOT 558752 SOS 363538 HAS SOPS 353193 HAS SOUS 57106 HAS SOUPS 53164 WITH SCORE 53527.538
AT ITER 2558 NEW BEST:: SOT 558752 SOS 363098 HAS SOPS 352752 HAS SOUS 57096 HAS SOUPS 53154 WITH SCORE 53517.098
AT ITER 2579 NEW BEST:: SOT 558752 SOS 363097 HAS SOPS 352750 HAS SOUS 57094 HAS SOUPS 53152 WITH SCORE 53515.097
AT ITER 2587 NEW BEST:: SOT 558752 SOS 363097 HAS SOPS 352743 HAS SOUS 57087 HAS SOUPS 53138 WITH SCORE 53501.097
AT ITER 2597 NEW BEST:: SOT 558748 SOS 363066 HAS SOPS 352711 HAS SOUS 57051 HAS SOUPS 53132 WITH SCORE 53495.066
AT ITER 2598 NEW BEST:: SOT 558748 SOS 363015 HAS SOPS 352661 HAS SOUS 57049 HAS SOUPS 53132 WITH SCORE 53495.015
AT ITER 2614 NEW BEST:: SOT 558748 SOS 362231 HAS SOPS 351878 HAS SOUS 57034 HAS SOUPS 53117 WITH SCORE 53479.231
AT ITER 2616 NEW BEST:: SOT 558748 SOS 362216 HAS SOPS 351855 HAS SOUS 57011 HAS SOUPS 53094 WITH SCORE 53456.216
AT ITER 2630 NEW BEST:: SOT 558646 SOS 362114 HAS SOPS 351753 HAS SOUS 56909 HAS SOUPS 52992 WITH SCORE 53354.114
AT ITER 2634 NEW BEST:: SOT 558646 SOS 362114 HAS SOPS 351739 HAS SOUS 56895 HAS SOUPS 52964 WITH SCORE 53326.114
AT ITER 2641 NEW BEST:: SOT 558646 SOS 361964 HAS SOPS 351592 HAS SOUS 56895 HAS SOUPS 52964 WITH SCORE 53325.964
AT ITER 2655 NEW BEST:: SOT 558646 SOS 361958 HAS SOPS 351580 HAS SOUS 56889 HAS SOUPS 52952 WITH SCORE 53313.958
AT ITER 2681 NEW BEST:: SOT 562141 SOS 365203 HAS SOPS 355075 HAS SOUS 56584 HAS SOUPS 52728 WITH SCORE 53093.203
AT ITER 2684 NEW BEST:: SOT 562141 SOS 365708 HAS SOPS 355568 HAS SOUS 56592 HAS SOUPS 52724 WITH SCORE 53089.708
AT ITER 2685 NEW BEST:: SOT 562141 SOS 365977 HAS SOPS 355816 HAS SOUS 56574 HAS SOUPS 52706 WITH SCORE 53071.977
AT ITER 2692 NEW BEST:: SOT 562141 SOS 365569 HAS SOPS 355408 HAS SOUS 56558 HAS SOUPS 52690 WITH SCORE 53055.569
AT ITER 2705 NEW BEST:: SOT 562141 SOS 365467 HAS SOPS 355306 HAS SOUS 56550 HAS SOUPS 52686 WITH SCORE 53051.467
AT ITER 2714 NEW BEST:: SOT 562141 SOS 365110 HAS SOPS 354949 HAS SOUS 56522 HAS SOUPS 52672 WITH SCORE 53037.11
AT ITER 2717 NEW BEST:: SOT 562141 SOS 365110 HAS SOPS 354945 HAS SOUS 56518 HAS SOUPS 52664 WITH SCORE 53029.11
AT ITER 2721 NEW BEST:: SOT 562141 SOS 364963 HAS SOPS 354798 HAS SOUS 56526 HAS SOUPS 52658 WITH SCORE 53022.963
AT ITER 2743 NEW BEST:: SOT 562141 SOS 364961 HAS SOPS 354794 HAS SOUS 56522 HAS SOUPS 52654 WITH SCORE 53018.961
AT ITER 2766 NEW BEST:: SOT 562141 SOS 364502 HAS SOPS 354335 HAS SOUS 56495 HAS SOUPS 52636 WITH SCORE 53000.502
AT ITER 2771 NEW BEST:: SOT 562139 SOS 364500 HAS SOPS 354333 HAS SOUS 56493 HAS SOUPS 52634 WITH SCORE 52998.5
AT ITER 2777 NEW BEST:: SOT 562139 SOS 364900 HAS SOPS 354703 HAS SOUS 56484 HAS SOUPS 52582 WITH SCORE 52946.9
AT ITER 2787 NEW BEST:: SOT 562139 SOS 363931 HAS SOPS 353750 HAS SOUS 56443 HAS SOUPS 52576 WITH SCORE 52939.931
AT ITER 2793 NEW BEST:: SOT 562139 SOS 363581 HAS SOPS 353390 HAS SOUS 56416 HAS SOUPS 52549 WITH SCORE 52912.581
AT ITER 2795 NEW BEST:: SOT 562139 SOS 363530 HAS SOPS 353339 HAS SOUS 56381 HAS SOUPS 52547 WITH SCORE 52910.53
AT ITER 2796 NEW BEST:: SOT 562139 SOS 363522 HAS SOPS 353323 HAS SOUS 56365 HAS SOUPS 52531 WITH SCORE 52894.522
AT ITER 2797 NEW BEST:: SOT 562139 SOS 363063 HAS SOPS 352873 HAS SOUS 56356 HAS SOUPS 52531 WITH SCORE 52894.063
AT ITER 2826 NEW BEST:: SOT 561588 SOS 362536 HAS SOPS 352322 HAS SOUS 56181 HAS SOUPS 52348 WITH SCORE 52710.536
AT ITER 2861 NEW BEST:: SOT 561588 SOS 362536 HAS SOPS 352316 HAS SOUS 56167 HAS SOUPS 52336 WITH SCORE 52698.536
AT ITER 2868 NEW BEST:: SOT 561588 SOS 361329 HAS SOPS 351118 HAS SOUS 56145 HAS SOUPS 52314 WITH SCORE 52675.329
AT ITER 2884 NEW BEST:: SOT 561581 SOS 361322 HAS SOPS 351111 HAS SOUS 56138 HAS SOUPS 52307 WITH SCORE 52668.322
AT ITER 2907 NEW BEST:: SOT 561581 SOS 361169 HAS SOPS 350958 HAS SOUS 56132 HAS SOUPS 52301 WITH SCORE 52662.169
AT ITER 2939 NEW BEST:: SOT 561581 SOS 361168 HAS SOPS 350952 HAS SOUS 56126 HAS SOUPS 52291 WITH SCORE 52652.168
AT ITER 2942 NEW BEST:: SOT 561424 SOS 363896 HAS SOPS 353702 HAS SOUS 56166 HAS SOUPS 52270 WITH SCORE 52633.896
AT ITER 2944 NEW BEST:: SOT 561425 SOS 363897 HAS SOPS 353664 HAS SOUS 56128 HAS SOUPS 52193 WITH SCORE 52556.897
AT ITER 2976 NEW BEST:: SOT 561621 SOS 364033 HAS SOPS 353860 HAS SOUS 55384 HAS SOUPS 51469 WITH SCORE 51833.033
AT ITER 2999 NEW BEST:: SOT 561621 SOS 365104 HAS SOPS 354887 HAS SOUS 55405 HAS SOUPS 51423 WITH SCORE 51788.104
AT ITER 3008 NEW BEST:: SOT 561621 SOS 364754 HAS SOPS 354534 HAS SOUS 55386 HAS SOUPS 51410 WITH SCORE 51774.754
AT ITER 3034 NEW BEST:: SOT 561608 SOS 364741 HAS SOPS 354521 HAS SOUS 55373 HAS SOUPS 51397 WITH SCORE 51761.741
AT ITER 3036 NEW BEST:: SOT 561608 SOS 364231 HAS SOPS 354013 HAS SOUS 55343 HAS SOUPS 51381 WITH SCORE 51745.231
AT ITER 3046 NEW BEST:: SOT 561608 SOS 362874 HAS SOPS 352679 HAS SOUS 55308 HAS SOUPS 51373 WITH SCORE 51735.874
AT ITER 3049 NEW BEST:: SOT 561370 SOS 362645 HAS SOPS 352438 HAS SOUS 55208 HAS SOUPS 51267 WITH SCORE 51629.645
AT ITER 3064 NEW BEST:: SOT 558746 SOS 360173 HAS SOPS 349814 HAS SOUS 54982 HAS SOUPS 50990 WITH SCORE 51350.173
AT ITER 3083 NEW BEST:: SOT 558746 SOS 360318 HAS SOPS 349953 HAS SOUS 54974 HAS SOUPS 50982 WITH SCORE 51342.318
AT ITER 3103 NEW BEST:: SOT 558741 SOS 360313 HAS SOPS 349948 HAS SOUS 54969 HAS SOUPS 50977 WITH SCORE 51337.313
AT ITER 3105 NEW BEST:: SOT 558741 SOS 360313 HAS SOPS 349939 HAS SOUS 54960 HAS SOUPS 50959 WITH SCORE 51319.313
AT ITER 3194 NEW BEST:: SOT 558741 SOS 360313 HAS SOPS 349883 HAS SOUS 54904 HAS SOUPS 50847 WITH SCORE 51207.313
AT ITER 3197 NEW BEST:: SOT 558741 SOS 360163 HAS SOPS 349733 HAS SOUS 54898 HAS SOUPS 50841 WITH SCORE 51201.163
AT ITER 3294 NEW BEST:: SOT 558741 SOS 360214 HAS SOPS 349746 HAS SOUS 54862 HAS SOUPS 50767 WITH SCORE 51127.214
AT ITER 3322 NEW BEST:: SOT 558741 SOS 360301 HAS SOPS 349820 HAS SOUS 54843 HAS SOUPS 50743 WITH SCORE 51103.301
AT ITER 3341 NEW BEST:: SOT 558741 SOS 359926 HAS SOPS 349445 HAS SOUS 54847 HAS SOUPS 50735 WITH SCORE 51094.926
AT ITER 3387 NEW BEST:: SOT 556337 SOS 357657 HAS SOPS 347041 HAS SOUS 54558 HAS SOUPS 50401 WITH SCORE 50758.657
AT ITER 3393 NEW BEST:: SOT 556334 SOS 357654 HAS SOPS 347038 HAS SOUS 54555 HAS SOUPS 50398 WITH SCORE 50755.654
AT ITER 3396 NEW BEST:: SOT 556334 SOS 358419 HAS SOPS 347762 HAS SOUS 54560 HAS SOUPS 50346 WITH SCORE 50704.419
AT ITER 3419 NEW BEST:: SOT 556366 SOS 358445 HAS SOPS 347794 HAS SOUS 54498 HAS SOUPS 50286 WITH SCORE 50644.445
AT ITER 3439 NEW BEST:: SOT 556366 SOS 357986 HAS SOPS 347344 HAS SOUS 54489 HAS SOUPS 50286 WITH SCORE 50643.986
AT ITER 3449 NEW BEST:: SOT 556366 SOS 357973 HAS SOPS 347318 HAS SOUS 54463 HAS SOUPS 50260 WITH SCORE 50617.973
AT ITER 3483 NEW BEST:: SOT 556366 SOS 357667 HAS SOPS 347012 HAS SOUS 54434 HAS SOUPS 50248 WITH SCORE 50605.667
AT ITER 3489 NEW BEST:: SOT 558239 SOS 359414 HAS SOPS 348885 HAS SOUS 54333 HAS SOUPS 50189 WITH SCORE 50548.414
AT ITER 3543 NEW BEST:: SOT 558239 SOS 359414 HAS SOPS 348884 HAS SOUS 54332 HAS SOUPS 50187 WITH SCORE 50546.414
AT ITER 3548 NEW BEST:: SOT 558194 SOS 359371 HAS SOPS 348838 HAS SOUS 54334 HAS SOUPS 50187 WITH SCORE 50546.371
AT ITER 3579 NEW BEST:: SOT 558194 SOS 360187 HAS SOPS 349633 HAS SOUS 54366 HAS SOUPS 50177 WITH SCORE 50537.187
AT ITER 3593 NEW BEST:: SOT 558194 SOS 360162 HAS SOPS 349606 HAS SOUS 54339 HAS SOUPS 50173 WITH SCORE 50533.162
AT ITER 3598 NEW BEST:: SOT 558194 SOS 359807 HAS SOPS 349251 HAS SOUS 54325 HAS SOUPS 50159 WITH SCORE 50518.807
AT ITER 3619 NEW BEST:: SOT 558194 SOS 359557 HAS SOPS 349004 HAS SOUS 54318 HAS SOUPS 50155 WITH SCORE 50514.557
AT ITER 3661 NEW BEST:: SOT 558194 SOS 359914 HAS SOPS 349353 HAS SOUS 54332 HAS SOUPS 50153 WITH SCORE 50512.914
AT ITER 3677 NEW BEST:: SOT 558194 SOS 360608 HAS SOPS 350024 HAS SOUS 54314 HAS SOUPS 50135 WITH SCORE 50495.608
AT ITER 3691 NEW BEST:: SOT 558194 SOS 359945 HAS SOPS 349361 HAS SOUS 54275 HAS SOUPS 50109 WITH SCORE 50468.945
AT ITER 3714 NEW BEST:: SOT 558194 SOS 359792 HAS SOPS 349211 HAS SOUS 54269 HAS SOUPS 50109 WITH SCORE 50468.792
AT ITER 3752 NEW BEST:: SOT 558194 SOS 359792 HAS SOPS 349209 HAS SOUS 54260 HAS SOUPS 50105 WITH SCORE 50464.792
AT ITER 3754 NEW BEST:: SOT 558194 SOS 359642 HAS SOPS 349059 HAS SOUS 54254 HAS SOUPS 50099 WITH SCORE 50458.642
AT ITER 3767 NEW BEST:: SOT 558194 SOS 359292 HAS SOPS 348714 HAS SOUS 54245 HAS SOUPS 50097 WITH SCORE 50456.292
AT ITER 3801 NEW BEST:: SOT 558194 SOS 361188 HAS SOPS 350568 HAS SOUS 54237 HAS SOUPS 50089 WITH SCORE 50450.188
AT ITER 3823 NEW BEST:: SOT 559248 SOS 362161 HAS SOPS 351626 HAS SOUS 54026 HAS SOUPS 49909 WITH SCORE 50271.161
AT ITER 3862 NEW BEST:: SOT 559248 SOS 362156 HAS SOPS 351620 HAS SOUS 54043 HAS SOUPS 49903 WITH SCORE 50265.156
AT ITER 3901 NEW BEST:: SOT 559248 SOS 362054 HAS SOPS 351518 HAS SOUS 54032 HAS SOUPS 49899 WITH SCORE 50261.054
AT ITER 3905 NEW BEST:: SOT 559248 SOS 362054 HAS SOPS 351515 HAS SOUS 54026 HAS SOUPS 49893 WITH SCORE 50255.054
AT ITER 3913 NEW BEST:: SOT 559567 SOS 362351 HAS SOPS 351681 HAS SOUS 53858 HAS SOUPS 49732 WITH SCORE 50094.351
AT ITER 3914 NEW BEST:: SOT 559564 SOS 362348 HAS SOPS 351678 HAS SOUS 53855 HAS SOUPS 49729 WITH SCORE 50091.348
AT ITER 3917 NEW BEST:: SOT 559564 SOS 361787 HAS SOPS 351117 HAS SOUS 53833 HAS SOUPS 49707 WITH SCORE 50068.787
AT ITER 3923 NEW BEST:: SOT 559564 SOS 361073 HAS SOPS 350417 HAS SOUS 53805 HAS SOUPS 49707 WITH SCORE 50068.073
AT ITER 3931 NEW BEST:: SOT 559553 SOS 361062 HAS SOPS 350406 HAS SOUS 53794 HAS SOUPS 49696 WITH SCORE 50057.062
AT ITER 3971 NEW BEST:: SOT 559550 SOS 361059 HAS SOPS 350392 HAS SOUS 53780 HAS SOUPS 49671 WITH SCORE 50032.059
AT ITER 4014 NEW BEST:: SOT 559550 SOS 360957 HAS SOPS 350290 HAS SOUS 53776 HAS SOUPS 49667 WITH SCORE 50027.957
AT ITER 4046 NEW BEST:: SOT 559550 SOS 360957 HAS SOPS 350285 HAS SOUS 53771 HAS SOUPS 49657 WITH SCORE 50017.957
AT ITER 4083 NEW BEST:: SOT 559545 SOS 360952 HAS SOPS 350280 HAS SOUS 53766 HAS SOUPS 49652 WITH SCORE 50012.952
AT ITER 4086 NEW BEST:: SOT 559545 SOS 360850 HAS SOPS 350178 HAS SOUS 53747 HAS SOUPS 49648 WITH SCORE 50008.85
AT ITER 4173 NEW BEST:: SOT 559545 SOS 360850 HAS SOPS 350174 HAS SOUS 53743 HAS SOUPS 49640 WITH SCORE 50000.85
AT ITER 4255 NEW BEST:: SOT 559545 SOS 360850 HAS SOPS 350173 HAS SOUS 53742 HAS SOUPS 49638 WITH SCORE 49998.85
AT ITER 4265 NEW BEST:: SOT 559545 SOS 360595 HAS SOPS 349918 HAS SOUS 53743 HAS SOUPS 49628 WITH SCORE 49988.595
AT ITER 4266 NEW BEST:: SOT 559545 SOS 360447 HAS SOPS 349770 HAS SOUS 53737 HAS SOUPS 49622 WITH SCORE 49982.447
AT ITER 4312 NEW BEST:: SOT 559577 SOS 360461 HAS SOPS 349802 HAS SOUS 53487 HAS SOUPS 49378 WITH SCORE 49738.461
AT ITER 4329 NEW BEST:: SOT 559577 SOS 360461 HAS SOPS 349791 HAS SOUS 53476 HAS SOUPS 49356 WITH SCORE 49716.461
AT ITER 4334 NEW BEST:: SOT 559577 SOS 360104 HAS SOPS 349437 HAS SOUS 53465 HAS SOUPS 49348 WITH SCORE 49708.104
AT ITER 4359 NEW BEST:: SOT 559577 SOS 359849 HAS SOPS 349187 HAS SOUS 53455 HAS SOUPS 49348 WITH SCORE 49707.849
AT ITER 4370 NEW BEST:: SOT 559531 SOS 359732 HAS SOPS 349070 HAS SOUS 53338 HAS SOUPS 49302 WITH SCORE 49661.732
AT ITER 4373 NEW BEST:: SOT 559531 SOS 359069 HAS SOPS 348407 HAS SOUS 53329 HAS SOUPS 49276 WITH SCORE 49635.069
AT ITER 4422 NEW BEST:: SOT 559531 SOS 359069 HAS SOPS 348406 HAS SOUS 53334 HAS SOUPS 49274 WITH SCORE 49633.069
AT ITER 4424 NEW BEST:: SOT 558081 SOS 357657 HAS SOPS 346956 HAS SOUS 52646 HAS SOUPS 48570 WITH SCORE 48927.657
AT ITER 4449 NEW BEST:: SOT 558065 SOS 357641 HAS SOPS 346877 HAS SOUS 52567 HAS SOUPS 48428 WITH SCORE 48785.641
AT ITER 4481 NEW BEST:: SOT 558065 SOS 357997 HAS SOPS 347224 HAS SOUS 52580 HAS SOUPS 48424 WITH SCORE 48781.997
AT ITER 4551 NEW BEST:: SOT 558065 SOS 357946 HAS SOPS 347173 HAS SOUS 52577 HAS SOUPS 48422 WITH SCORE 48779.946
AT ITER 4600 NEW BEST:: SOT 558065 SOS 357996 HAS SOPS 347218 HAS SOUS 52574 HAS SOUPS 48414 WITH SCORE 48771.996
AT ITER 4628 NEW BEST:: SOT 558065 SOS 357988 HAS SOPS 347207 HAS SOUS 52563 HAS SOUPS 48408 WITH SCORE 48765.988
AT ITER 4673 NEW BEST:: SOT 558062 SOS 357985 HAS SOPS 347204 HAS SOUS 52483 HAS SOUPS 48405 WITH SCORE 48762.985
AT ITER 4684 NEW BEST:: SOT 558058 SOS 357981 HAS SOPS 347200 HAS SOUS 52479 HAS SOUPS 48401 WITH SCORE 48758.981
AT ITER 4710 NEW BEST:: SOT 558058 SOS 357879 HAS SOPS 347098 HAS SOUS 52464 HAS SOUPS 48397 WITH SCORE 48754.879
AT ITER 4714 NEW BEST:: SOT 558058 SOS 357777 HAS SOPS 346996 HAS SOUS 52454 HAS SOUPS 48393 WITH SCORE 48750.777
AT ITER 4724 NEW BEST:: SOT 558058 SOS 358338 HAS SOPS 347541 HAS SOUS 52479 HAS SOUPS 48383 WITH SCORE 48741.338
AT ITER 4728 NEW BEST:: SOT 558124 SOS 358386 HAS SOPS 347613 HAS SOUS 52269 HAS SOUPS 48185 WITH SCORE 48543.386
AT ITER 4766 NEW BEST:: SOT 558124 SOS 358436 HAS SOPS 347660 HAS SOUS 52268 HAS SOUPS 48181 WITH SCORE 48539.436
AT ITER 4773 NEW BEST:: SOT 558124 SOS 357674 HAS SOPS 346910 HAS SOUS 52253 HAS SOUPS 48175 WITH SCORE 48532.674
AT ITER 4785 NEW BEST:: SOT 558124 SOS 357521 HAS SOPS 346760 HAS SOUS 52247 HAS SOUPS 48175 WITH SCORE 48532.521
AT ITER 4887 NEW BEST:: SOT 558124 SOS 357164 HAS SOPS 346408 HAS SOUS 52238 HAS SOUPS 48171 WITH SCORE 48528.164
AT ITER 4929 NEW BEST:: SOT 558124 SOS 358463 HAS SOPS 347680 HAS SOUS 52236 HAS SOUPS 48169 WITH SCORE 48527.463
AT ITER 4980 NEW BEST:: SOT 558124 SOS 358513 HAS SOPS 347727 HAS SOUS 52235 HAS SOUPS 48165 WITH SCORE 48523.513
AT ITER 4983 NEW BEST:: SOT 558124 SOS 358513 HAS SOPS 347711 HAS SOUS 52223 HAS SOUPS 48133 WITH SCORE 48491.513
AT ITER 4986 NEW BEST:: SOT 558124 SOS 357652 HAS SOPS 346867 HAS SOUS 52195 HAS SOUPS 48133 WITH SCORE 48490.652
AT ITER 4994 NEW BEST:: SOT 558124 SOS 357342 HAS SOPS 346557 HAS SOUS 52179 HAS SOUPS 48117 WITH SCORE 48474.342
AT ITER 5018 NEW BEST:: SOT 558124 SOS 355051 HAS SOPS 344306 HAS SOUS 52129 HAS SOUPS 48111 WITH SCORE 48466.051
AT ITER 5174 NEW BEST:: SOT 558124 SOS 356530 HAS SOPS 345741 HAS SOUS 52143 HAS SOUPS 48081 WITH SCORE 48437.53
AT ITER 5186 NEW BEST:: SOT 558124 SOS 356530 HAS SOPS 345740 HAS SOUS 52142 HAS SOUPS 48079 WITH SCORE 48435.53
AT ITER 5208 NEW BEST:: SOT 558124 SOS 356428 HAS SOPS 345638 HAS SOUS 52134 HAS SOUPS 48075 WITH SCORE 48431.428
AT ITER 5266 NEW BEST:: SOT 558124 SOS 356429 HAS SOPS 345638 HAS SOUS 52134 HAS SOUPS 48074 WITH SCORE 48430.429
AT ITER 5270 NEW BEST:: SOT 558124 SOS 355970 HAS SOPS 345188 HAS SOUS 52116 HAS SOUPS 48074 WITH SCORE 48429.97
AT ITER 5420 NEW BEST:: SOT 558124 SOS 354491 HAS SOPS 343737 HAS SOUS 52096 HAS SOUPS 48072 WITH SCORE 48426.491
AT ITER 5663 NEW BEST:: SOT 558124 SOS 354389 HAS SOPS 343635 HAS SOUS 52092 HAS SOUPS 48068 WITH SCORE 48422.389
AT ITER 5747 NEW BEST:: SOT 558124 SOS 354134 HAS SOPS 343383 HAS SOUS 52080 HAS SOUPS 48064 WITH SCORE 48418.134
AT ITER 5779 NEW BEST:: SOT 558124 SOS 354134 HAS SOPS 343382 HAS SOUS 52079 HAS SOUPS 48062 WITH SCORE 48416.134
AT ITER 5807 NEW BEST:: SOT 557860 SOS 353879 HAS SOPS 343118 HAS SOUS 51956 HAS SOUPS 47936 WITH SCORE 48289.879
AT ITER 5849 NEW BEST:: SOT 557860 SOS 353927 HAS SOPS 343160 HAS SOUS 51950 HAS SOUPS 47926 WITH SCORE 48279.927
AT ITER 5860 NEW BEST:: SOT 557860 SOS 353927 HAS SOPS 343137 HAS SOUS 51917 HAS SOUPS 47880 WITH SCORE 48233.927
AT ITER 6050 NEW BEST:: SOT 557832 SOS 353899 HAS SOPS 343109 HAS SOUS 51889 HAS SOUPS 47852 WITH SCORE 48205.899
AT ITER 6076 NEW BEST:: SOT 557832 SOS 353848 HAS SOPS 343058 HAS SOUS 51888 HAS SOUPS 47850 WITH SCORE 48203.848
AT ITER 6079 NEW BEST:: SOT 557832 SOS 353848 HAS SOPS 343056 HAS SOUS 51886 HAS SOUPS 47846 WITH SCORE 48199.848
AT ITER 6144 NEW BEST:: SOT 557832 SOS 353491 HAS SOPS 342706 HAS SOUS 51872 HAS SOUPS 47846 WITH SCORE 48199.491
AT ITER 6320 NEW BEST:: SOT 557832 SOS 353389 HAS SOPS 342606 HAS SOUS 51868 HAS SOUPS 47846 WITH SCORE 48199.389
AT ITER 6449 NEW BEST:: SOT 557832 SOS 353435 HAS SOPS 342652 HAS SOUS 51866 HAS SOUPS 47845 WITH SCORE 48198.435
AT ITER 6501 NEW BEST:: SOT 557832 SOS 353409 HAS SOPS 342624 HAS SOUS 51838 HAS SOUPS 47841 WITH SCORE 48194.409
AT ITER 6529 NEW BEST:: SOT 557832 SOS 353409 HAS SOPS 342622 HAS SOUS 51836 HAS SOUPS 47837 WITH SCORE 48190.409
AT ITER 6555 NEW BEST:: SOT 557832 SOS 353409 HAS SOPS 342616 HAS SOUS 51830 HAS SOUPS 47825 WITH SCORE 48178.409
AT ITER 6604 NEW BEST:: SOT 557832 SOS 353001 HAS SOPS 342208 HAS SOUS 51814 HAS SOUPS 47809 WITH SCORE 48162.001
AT ITER 6670 NEW BEST:: SOT 557832 SOS 352999 HAS SOPS 342206 HAS SOUS 51812 HAS SOUPS 47809 WITH SCORE 48161.999
AT ITER 6738 NEW BEST:: SOT 557832 SOS 352948 HAS SOPS 342155 HAS SOUS 51810 HAS SOUPS 47807 WITH SCORE 48159.948
AT ITER 6745 NEW BEST:: SOT 557832 SOS 352642 HAS SOPS 341850 HAS SOUS 51793 HAS SOUPS 47797 WITH SCORE 48149.642
AT ITER 6833 NEW BEST:: SOT 557832 SOS 352642 HAS SOPS 341849 HAS SOUS 51795 HAS SOUPS 47795 WITH SCORE 48147.642
AT ITER 6836 NEW BEST:: SOT 557832 SOS 352541 HAS SOPS 341748 HAS SOUS 51792 HAS SOUPS 47791 WITH SCORE 48143.541
AT ITER 6856 NEW BEST:: SOT 557825 SOS 352534 HAS SOPS 341741 HAS SOUS 51785 HAS SOUPS 47784 WITH SCORE 48136.534
AT ITER 6886 NEW BEST:: SOT 557825 SOS 351565 HAS SOPS 340787 HAS SOUS 51744 HAS SOUPS 47776 WITH SCORE 48127.565
AT ITER 6930 NEW BEST:: SOT 557825 SOS 352385 HAS SOPS 341587 HAS SOUS 51776 HAS SOUPS 47772 WITH SCORE 48124.385
AT ITER 7020 NEW BEST:: SOT 557825 SOS 352385 HAS SOPS 341585 HAS SOUS 51772 HAS SOUPS 47768 WITH SCORE 48120.385
AT ITER 7062 NEW BEST:: SOT 557825 SOS 352385 HAS SOPS 341577 HAS SOUS 51764 HAS SOUPS 47752 WITH SCORE 48104.385
AT ITER 7077 NEW BEST:: SOT 557825 SOS 352935 HAS SOPS 342115 HAS SOUS 51763 HAS SOUPS 47750 WITH SCORE 48102.935
AT ITER 7078 NEW BEST:: SOT 557825 SOS 352883 HAS SOPS 342063 HAS SOUS 51761 HAS SOUPS 47748 WITH SCORE 48100.883
AT ITER 7081 NEW BEST:: SOT 556501 SOS 350253 HAS SOPS 338648 HAS SOUS 51620 HAS SOUPS 47566 WITH SCORE 47916.253
AT ITER 7090 NEW BEST:: SOT 556496 SOS 350248 HAS SOPS 338643 HAS SOUS 51615 HAS SOUPS 47561 WITH SCORE 47911.248
AT ITER 7117 NEW BEST:: SOT 556496 SOS 350098 HAS SOPS 338496 HAS SOUS 51612 HAS SOUPS 47561 WITH SCORE 47911.098
AT ITER 7119 NEW BEST:: SOT 556496 SOS 350098 HAS SOPS 338492 HAS SOUS 51608 HAS SOUPS 47553 WITH SCORE 47903.098
AT ITER 7153 NEW BEST:: SOT 556496 SOS 350247 HAS SOPS 338629 HAS SOUS 51598 HAS SOUPS 47535 WITH SCORE 47885.247
AT ITER 7171 NEW BEST:: SOT 556495 SOS 350245 HAS SOPS 338626 HAS SOUS 51595 HAS SOUPS 47532 WITH SCORE 47882.245
AT ITER 7188 NEW BEST:: SOT 556495 SOS 350245 HAS SOPS 338623 HAS SOUS 51592 HAS SOUPS 47526 WITH SCORE 47876.245
AT ITER 7226 NEW BEST:: SOT 556495 SOS 349786 HAS SOPS 338164 HAS SOUS 51585 HAS SOUPS 47508 WITH SCORE 47857.786
AT ITER 7517 NEW BEST:: SOT 556495 SOS 349782 HAS SOPS 338158 HAS SOUS 51579 HAS SOUPS 47502 WITH SCORE 47851.782
AT ITER 7539 NEW BEST:: SOT 556494 SOS 349781 HAS SOPS 338157 HAS SOUS 51578 HAS SOUPS 47501 WITH SCORE 47850.781
AT ITER 7572 NEW BEST:: SOT 556494 SOS 349787 HAS SOPS 338157 HAS SOUS 51578 HAS SOUPS 47489 WITH SCORE 47838.787
AT ITER 7576 NEW BEST:: SOT 556465 SOS 349758 HAS SOPS 338139 HAS SOUS 51560 HAS SOUPS 47482 WITH SCORE 47831.758
AT ITER 7595 NEW BEST:: SOT 556465 SOS 349656 HAS SOPS 338037 HAS SOUS 51550 HAS SOUPS 47478 WITH SCORE 47827.656
AT ITER 7684 NEW BEST:: SOT 556465 SOS 349758 HAS SOPS 338134 HAS SOUS 51555 HAS SOUPS 47472 WITH SCORE 47821.758
AT ITER 7754 NEW BEST:: SOT 556191 SOS 349493 HAS SOPS 337860 HAS SOUS 51472 HAS SOUPS 47385 WITH SCORE 47734.493
AT ITER 7798 NEW BEST:: SOT 556191 SOS 349340 HAS SOPS 337710 HAS SOUS 51469 HAS SOUPS 47385 WITH SCORE 47734.34
AT ITER 7890 NEW BEST:: SOT 556191 SOS 349340 HAS SOPS 337702 HAS SOUS 51461 HAS SOUPS 47369 WITH SCORE 47718.34
AT ITER 7959 NEW BEST:: SOT 556189 SOS 349203 HAS SOPS 337037 HAS SOUS 50905 HAS SOUPS 46813 WITH SCORE 47162.203
AT ITER 8007 NEW BEST:: SOT 556189 SOS 350274 HAS SOPS 338085 HAS SOUS 50948 HAS SOUPS 46809 WITH SCORE 47159.274
AT ITER 8059 NEW BEST:: SOT 556189 SOS 350223 HAS SOPS 338034 HAS SOUS 50954 HAS SOUPS 46807 WITH SCORE 47157.223
AT ITER 8192 NEW BEST:: SOT 556189 SOS 350023 HAS SOPS 337832 HAS SOUS 50944 HAS SOUPS 46797 WITH SCORE 47147.023
AT ITER 8300 NEW BEST:: SOT 556189 SOS 350273 HAS SOPS 338078 HAS SOUS 50950 HAS SOUPS 46796 WITH SCORE 47146.273
AT ITER 8326 NEW BEST:: SOT 556189 SOS 350272 HAS SOPS 338076 HAS SOUS 50948 HAS SOUPS 46794 WITH SCORE 47144.272
AT ITER 8360 NEW BEST:: SOT 556189 SOS 349214 HAS SOPS 337036 HAS SOUS 50919 HAS SOUPS 46788 WITH SCORE 47137.214
AT ITER 8391 NEW BEST:: SOT 556189 SOS 349316 HAS SOPS 337133 HAS SOUS 50918 HAS SOUPS 46782 WITH SCORE 47131.316
AT ITER 8480 NEW BEST:: SOT 556189 SOS 349276 HAS SOPS 337053 HAS SOUS 50838 HAS SOUPS 46702 WITH SCORE 47051.276
AT ITER 8543 NEW BEST:: SOT 553860 SOS 347135 HAS SOPS 334722 HAS SOUS 50669 HAS SOUPS 46484 WITH SCORE 46831.135
AT ITER 8572 NEW BEST:: SOT 553853 SOS 347122 HAS SOPS 334615 HAS SOUS 50564 HAS SOUPS 46379 WITH SCORE 46726.122
AT ITER 8599 NEW BEST:: SOT 553853 SOS 346969 HAS SOPS 334462 HAS SOUS 50571 HAS SOUPS 46373 WITH SCORE 46719.969
AT ITER 8670 NEW BEST:: SOT 553853 SOS 346867 HAS SOPS 334360 HAS SOUS 50565 HAS SOUPS 46369 WITH SCORE 46715.867
AT ITER 8786 NEW BEST:: SOT 553848 SOS 346862 HAS SOPS 334355 HAS SOUS 50560 HAS SOUPS 46364 WITH SCORE 46710.862
AT ITER 8904 NEW BEST:: SOT 553848 SOS 346866 HAS SOPS 334357 HAS SOUS 50560 HAS SOUPS 46363 WITH SCORE 46709.866
AT ITER 8960 NEW BEST:: SOT 553848 SOS 346611 HAS SOPS 334102 HAS SOUS 50545 HAS SOUPS 46353 WITH SCORE 46699.611
AT ITER 9072 NEW BEST:: SOT 553848 SOS 346611 HAS SOPS 334095 HAS SOUS 50538 HAS SOUPS 46339 WITH SCORE 46685.611
AT ITER 9083 NEW BEST:: SOT 553848 SOS 346560 HAS SOPS 334045 HAS SOUS 50536 HAS SOUPS 46339 WITH SCORE 46685.56
AT ITER 9154 NEW BEST:: SOT 553848 SOS 346555 HAS SOPS 334040 HAS SOUS 50531 HAS SOUPS 46339 WITH SCORE 46685.555
AT ITER 9160 NEW BEST:: SOT 553848 SOS 348305 HAS SOPS 335754 HAS SOUS 50565 HAS SOUPS 46337 WITH SCORE 46685.305
AT ITER 9279 NEW BEST:: SOT 555218 SOS 349567 HAS SOPS 337196 HAS SOUS 50351 HAS SOUPS 46159 WITH SCORE 46508.567
AT ITER 9319 NEW BEST:: SOT 555218 SOS 349516 HAS SOPS 337145 HAS SOUS 50349 HAS SOUPS 46157 WITH SCORE 46506.516
AT ITER 9323 NEW BEST:: SOT 555216 SOS 349514 HAS SOPS 337143 HAS SOUS 50347 HAS SOUPS 46155 WITH SCORE 46504.514
AT ITER 9386 NEW BEST:: SOT 555216 SOS 349514 HAS SOPS 337138 HAS SOUS 50342 HAS SOUPS 46145 WITH SCORE 46494.514
AT ITER 9599 NEW BEST:: SOT 555330 SOS 349600 HAS SOPS 337259 HAS SOUS 50141 HAS SOUPS 45958 WITH SCORE 46307.6
AT ITER 9621 NEW BEST:: SOT 555330 SOS 349000 HAS SOPS 336671 HAS SOUS 50129 HAS SOUPS 45958 WITH SCORE 46307.0
AT ITER 9897 NEW BEST:: SOT 555330 SOS 349245 HAS SOPS 336908 HAS SOUS 50126 HAS SOUPS 45952 WITH SCORE 46301.245
AT ITER 9906 NEW BEST:: SOT 555324 SOS 349239 HAS SOPS 336902 HAS SOUS 50120 HAS SOUPS 45946 WITH SCORE 46295.239
AT ITER 9948 NEW BEST:: SOT 555324 SOS 349086 HAS SOPS 336749 HAS SOUS 50114 HAS SOUPS 45940 WITH SCORE 46289.086
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 3998804 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16121004 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.

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="Dekker-PT-050"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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-5348"
echo " Executing tool smartxred"
echo " Input is Dekker-PT-050, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r139-smll-167819421600032"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Dekker-PT-050.tgz
mv Dekker-PT-050 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

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