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.r011-oct2-167813600000264.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 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 AirplaneLD-PT-0050, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-oct2-167813600000264
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.9M
-rw-r--r-- 1 mcc users 44K Feb 26 11:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 196K Feb 26 11:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 38K Feb 26 11:20 CTLFireability.txt
-rw-r--r-- 1 mcc users 248K Feb 26 11:20 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 23K Feb 25 15:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 69K Feb 25 15:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 9.0K Feb 25 15:30 LTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 25 15:30 LTLFireability.xml
-rw-r--r-- 1 mcc users 83K Feb 26 11:29 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 358K Feb 26 11:29 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 68K Feb 26 11:27 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 433K Feb 26 11:27 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 219K 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 1678731166000

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=AirplaneLD-PT-0050
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 18:12:49] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 18:12:49] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 18:12:50] [INFO ] Load time of PNML (sax parser for PT used): 96 ms
[2023-03-13 18:12:50] [INFO ] Transformed 369 places.
[2023-03-13 18:12:50] [INFO ] Transformed 408 transitions.
[2023-03-13 18:12:50] [INFO ] Parsed PT model containing 369 places and 408 transitions and 1553 arcs in 234 ms.
[2023-03-13 18:12:50] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 369 places, 408 transitions and 1553 arcs took 6 ms.
Total runtime 284 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AirplaneLD (PT), instance 0050
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: 369 places, 408 transitions, 1553 arcs.
AT ITER 0 NEW BEST:: SOT 120893 SOS 65489 HAS SOPS 61806 HAS SOUS 46340 HAS SOUPS 42660 WITH SCORE 42725.489
AT ITER 1 NEW BEST:: SOT 120770 SOS 65366 HAS SOPS 61560 HAS SOUS 46217 HAS SOUPS 42414 WITH SCORE 42479.366
AT ITER 2 NEW BEST:: SOT 120627 SOS 65179 HAS SOPS 61417 HAS SOUS 46038 HAS SOUPS 42279 WITH SCORE 42344.179
AT ITER 28 NEW BEST:: SOT 113611 SOS 67031 HAS SOPS 63269 HAS SOUS 39520 HAS SOUPS 35761 WITH SCORE 35828.031
AT ITER 32 NEW BEST:: SOT 113645 SOS 67315 HAS SOPS 63303 HAS SOUS 39593 HAS SOUPS 35720 WITH SCORE 35787.315
AT ITER 33 NEW BEST:: SOT 113678 SOS 67597 HAS SOPS 63336 HAS SOUS 39676 HAS SOUPS 35677 WITH SCORE 35744.597
AT ITER 35 NEW BEST:: SOT 113678 SOS 67597 HAS SOPS 63240 HAS SOUS 39676 HAS SOUPS 35581 WITH SCORE 35648.597
AT ITER 36 NEW BEST:: SOT 113588 SOS 67615 HAS SOPS 63283 HAS SOUS 39604 HAS SOUPS 35534 WITH SCORE 35601.615
AT ITER 37 NEW BEST:: SOT 113546 SOS 67615 HAS SOPS 63283 HAS SOUS 39562 HAS SOUPS 35492 WITH SCORE 35559.615
AT ITER 39 NEW BEST:: SOT 113546 SOS 67615 HAS SOPS 63283 HAS SOUS 39542 HAS SOUPS 35472 WITH SCORE 35539.615
AT ITER 40 NEW BEST:: SOT 113546 SOS 67615 HAS SOPS 63183 HAS SOUS 39542 HAS SOUPS 35372 WITH SCORE 35439.615
AT ITER 41 NEW BEST:: SOT 113568 SOS 67875 HAS SOPS 63205 HAS SOUS 39604 HAS SOUPS 35307 WITH SCORE 35374.875
AT ITER 42 NEW BEST:: SOT 113265 SOS 67601 HAS SOPS 62931 HAS SOUS 39301 HAS SOUPS 35004 WITH SCORE 35071.601
AT ITER 44 NEW BEST:: SOT 113223 SOS 67559 HAS SOPS 62889 HAS SOUS 39259 HAS SOUPS 34962 WITH SCORE 35029.559
AT ITER 50 NEW BEST:: SOT 113223 SOS 67558 HAS SOPS 62889 HAS SOUS 39260 HAS SOUPS 34962 WITH SCORE 35029.558
AT ITER 53 NEW BEST:: SOT 113223 SOS 67558 HAS SOPS 62783 HAS SOUS 39260 HAS SOUPS 34856 WITH SCORE 34923.558
AT ITER 56 NEW BEST:: SOT 113027 SOS 67318 HAS SOPS 62587 HAS SOUS 39020 HAS SOUPS 34660 WITH SCORE 34727.318
AT ITER 57 NEW BEST:: SOT 112894 SOS 67298 HAS SOPS 62567 HAS SOUS 38980 HAS SOUPS 34620 WITH SCORE 34687.298
AT ITER 58 NEW BEST:: SOT 112755 SOS 67116 HAS SOPS 62428 HAS SOUS 38819 HAS SOUPS 34502 WITH SCORE 34569.116
AT ITER 59 NEW BEST:: SOT 112701 SOS 67116 HAS SOPS 62428 HAS SOUS 38765 HAS SOUPS 34448 WITH SCORE 34515.116
AT ITER 67 NEW BEST:: SOT 112375 SOS 66812 HAS SOPS 62124 HAS SOUS 38502 HAS SOUPS 34185 WITH SCORE 34251.812
AT ITER 71 NEW BEST:: SOT 112309 SOS 66748 HAS SOPS 62072 HAS SOUS 38384 HAS SOUPS 34079 WITH SCORE 34145.748
AT ITER 73 NEW BEST:: SOT 112125 SOS 66523 HAS SOPS 61888 HAS SOUS 38159 HAS SOUPS 33895 WITH SCORE 33961.523
AT ITER 75 NEW BEST:: SOT 112125 SOS 66704 HAS SOPS 61888 HAS SOUS 38196 HAS SOUPS 33823 WITH SCORE 33889.704
AT ITER 82 NEW BEST:: SOT 112106 SOS 66704 HAS SOPS 61888 HAS SOUS 38177 HAS SOUPS 33804 WITH SCORE 33870.704
AT ITER 84 NEW BEST:: SOT 111962 SOS 66516 HAS SOPS 61744 HAS SOUS 37999 HAS SOUPS 33670 WITH SCORE 33736.516
AT ITER 86 NEW BEST:: SOT 110034 SOS 64629 HAS SOPS 59886 HAS SOUS 36073 HAS SOUPS 31773 WITH SCORE 31837.629
AT ITER 90 NEW BEST:: SOT 109896 SOS 64491 HAS SOPS 59679 HAS SOUS 35935 HAS SOUPS 31566 WITH SCORE 31630.491
AT ITER 92 NEW BEST:: SOT 109744 SOS 64270 HAS SOPS 59527 HAS SOUS 35714 HAS SOUPS 31414 WITH SCORE 31478.27
AT ITER 95 NEW BEST:: SOT 109412 SOS 63954 HAS SOPS 59211 HAS SOUS 35424 HAS SOUPS 31124 WITH SCORE 31187.954
AT ITER 97 NEW BEST:: SOT 106368 SOS 62917 HAS SOPS 60864 HAS SOUS 32576 HAS SOUPS 30934 WITH SCORE 30996.917
AT ITER 99 NEW BEST:: SOT 106362 SOS 62917 HAS SOPS 60864 HAS SOUS 32570 HAS SOUPS 30928 WITH SCORE 30990.917
AT ITER 100 NEW BEST:: SOT 106308 SOS 62863 HAS SOPS 60810 HAS SOUS 32462 HAS SOUPS 30820 WITH SCORE 30882.863
AT ITER 102 NEW BEST:: SOT 105970 SOS 62535 HAS SOPS 60482 HAS SOUS 32146 HAS SOUPS 30504 WITH SCORE 30566.535
AT ITER 104 NEW BEST:: SOT 105959 SOS 62524 HAS SOPS 60471 HAS SOUS 32124 HAS SOUPS 30482 WITH SCORE 30544.524
AT ITER 105 NEW BEST:: SOT 105923 SOS 62488 HAS SOPS 60435 HAS SOUS 32052 HAS SOUPS 30410 WITH SCORE 30472.488
AT ITER 107 NEW BEST:: SOT 105891 SOS 62488 HAS SOPS 60435 HAS SOUS 32020 HAS SOUPS 30378 WITH SCORE 30440.488
AT ITER 108 NEW BEST:: SOT 105891 SOS 62638 HAS SOPS 60435 HAS SOUS 32075 HAS SOUPS 30354 WITH SCORE 30416.638
AT ITER 109 NEW BEST:: SOT 105889 SOS 62716 HAS SOPS 60433 HAS SOUS 32091 HAS SOUPS 30326 WITH SCORE 30388.716
AT ITER 111 NEW BEST:: SOT 105852 SOS 62716 HAS SOPS 60433 HAS SOUS 32054 HAS SOUPS 30289 WITH SCORE 30351.716
AT ITER 112 NEW BEST:: SOT 100954 SOS 57818 HAS SOPS 55535 HAS SOUS 27156 HAS SOUPS 25391 WITH SCORE 25448.818
AT ITER 124 NEW BEST:: SOT 100886 SOS 57818 HAS SOPS 55535 HAS SOUS 27088 HAS SOUPS 25323 WITH SCORE 25380.818
AT ITER 127 NEW BEST:: SOT 100785 SOS 57717 HAS SOPS 55434 HAS SOUS 26946 HAS SOUPS 25181 WITH SCORE 25238.717
AT ITER 128 NEW BEST:: SOT 100603 SOS 57469 HAS SOPS 55336 HAS SOUS 26780 HAS SOUPS 25094 WITH SCORE 25151.469
AT ITER 129 NEW BEST:: SOT 100593 SOS 57649 HAS SOPS 55326 HAS SOUS 26787 HAS SOUPS 25002 WITH SCORE 25059.649
AT ITER 130 NEW BEST:: SOT 100495 SOS 57551 HAS SOPS 55228 HAS SOUS 26646 HAS SOUPS 24861 WITH SCORE 24918.551
AT ITER 132 NEW BEST:: SOT 100455 SOS 57511 HAS SOPS 55188 HAS SOUS 26586 HAS SOUPS 24801 WITH SCORE 24858.511
AT ITER 135 NEW BEST:: SOT 100371 SOS 57427 HAS SOPS 55104 HAS SOUS 26418 HAS SOUPS 24633 WITH SCORE 24690.427
AT ITER 139 NEW BEST:: SOT 100207 SOS 57263 HAS SOPS 54940 HAS SOUS 26258 HAS SOUPS 24473 WITH SCORE 24530.263
AT ITER 140 NEW BEST:: SOT 100206 SOS 57199 HAS SOPS 54876 HAS SOUS 26257 HAS SOUPS 24472 WITH SCORE 24529.199
AT ITER 143 NEW BEST:: SOT 100150 SOS 57199 HAS SOPS 54876 HAS SOUS 26201 HAS SOUPS 24416 WITH SCORE 24473.199
AT ITER 157 NEW BEST:: SOT 100068 SOS 57223 HAS SOPS 54938 HAS SOUS 26143 HAS SOUPS 24396 WITH SCORE 24453.223
AT ITER 163 NEW BEST:: SOT 99889 SOS 57044 HAS SOPS 54759 HAS SOUS 25920 HAS SOUPS 24173 WITH SCORE 24230.044
AT ITER 164 NEW BEST:: SOT 99871 SOS 57044 HAS SOPS 54759 HAS SOUS 25902 HAS SOUPS 24155 WITH SCORE 24212.044
AT ITER 167 NEW BEST:: SOT 99870 SOS 57010 HAS SOPS 54725 HAS SOUS 25901 HAS SOUPS 24154 WITH SCORE 24211.01
AT ITER 169 NEW BEST:: SOT 99869 SOS 57001 HAS SOPS 54716 HAS SOUS 25900 HAS SOUPS 24153 WITH SCORE 24210.001
AT ITER 171 NEW BEST:: SOT 99872 SOS 57134 HAS SOPS 54719 HAS SOUS 25962 HAS SOUPS 24146 WITH SCORE 24203.134
AT ITER 172 NEW BEST:: SOT 99788 SOS 57050 HAS SOPS 54635 HAS SOUS 25958 HAS SOUPS 24142 WITH SCORE 24199.05
AT ITER 176 NEW BEST:: SOT 99756 SOS 57056 HAS SOPS 54641 HAS SOUS 25894 HAS SOUPS 24078 WITH SCORE 24135.056
AT ITER 178 NEW BEST:: SOT 99710 SOS 57010 HAS SOPS 54595 HAS SOUS 25894 HAS SOUPS 24078 WITH SCORE 24135.01
AT ITER 180 NEW BEST:: SOT 99676 SOS 56976 HAS SOPS 54561 HAS SOUS 25826 HAS SOUPS 24010 WITH SCORE 24066.976
AT ITER 191 NEW BEST:: SOT 99630 SOS 56976 HAS SOPS 54561 HAS SOUS 25780 HAS SOUPS 23964 WITH SCORE 24020.976
AT ITER 192 NEW BEST:: SOT 99630 SOS 57180 HAS SOPS 54561 HAS SOUS 25802 HAS SOUPS 23880 WITH SCORE 23937.18
AT ITER 194 NEW BEST:: SOT 99626 SOS 57176 HAS SOPS 54557 HAS SOUS 25794 HAS SOUPS 23872 WITH SCORE 23929.176
AT ITER 196 NEW BEST:: SOT 99367 SOS 57039 HAS SOPS 54420 HAS SOUS 25705 HAS SOUPS 23783 WITH SCORE 23840.039
AT ITER 197 NEW BEST:: SOT 99329 SOS 57001 HAS SOPS 54382 HAS SOUS 25668 HAS SOUPS 23746 WITH SCORE 23803.001
AT ITER 198 NEW BEST:: SOT 99329 SOS 57193 HAS SOPS 54382 HAS SOUS 25720 HAS SOUPS 23698 WITH SCORE 23755.193
AT ITER 210 NEW BEST:: SOT 99099 SOS 56963 HAS SOPS 54152 HAS SOUS 25515 HAS SOUPS 23493 WITH SCORE 23549.963
AT ITER 211 NEW BEST:: SOT 99045 SOS 56963 HAS SOPS 54152 HAS SOUS 25461 HAS SOUPS 23439 WITH SCORE 23495.963
AT ITER 214 NEW BEST:: SOT 98867 SOS 56813 HAS SOPS 54002 HAS SOUS 25309 HAS SOUPS 23287 WITH SCORE 23343.813
AT ITER 215 NEW BEST:: SOT 98842 SOS 56788 HAS SOPS 53977 HAS SOUS 25259 HAS SOUPS 23237 WITH SCORE 23293.788
AT ITER 218 NEW BEST:: SOT 98878 SOS 56694 HAS SOPS 54013 HAS SOUS 25143 HAS SOUPS 23190 WITH SCORE 23246.694
AT ITER 222 NEW BEST:: SOT 98654 SOS 56493 HAS SOPS 53812 HAS SOUS 25056 HAS SOUPS 23103 WITH SCORE 23159.493
AT ITER 225 NEW BEST:: SOT 98654 SOS 55730 HAS SOPS 52856 HAS SOUS 24992 HAS SOUPS 22910 WITH SCORE 22965.73
AT ITER 226 NEW BEST:: SOT 98566 SOS 55642 HAS SOPS 52768 HAS SOUS 24926 HAS SOUPS 22844 WITH SCORE 22899.642
AT ITER 232 NEW BEST:: SOT 98515 SOS 55591 HAS SOPS 52717 HAS SOUS 24798 HAS SOUPS 22716 WITH SCORE 22771.591
AT ITER 233 NEW BEST:: SOT 98508 SOS 55584 HAS SOPS 52710 HAS SOUS 24784 HAS SOUPS 22702 WITH SCORE 22757.584
AT ITER 250 NEW BEST:: SOT 98489 SOS 55557 HAS SOPS 52691 HAS SOUS 24765 HAS SOUPS 22691 WITH SCORE 22746.557
AT ITER 252 NEW BEST:: SOT 98452 SOS 55520 HAS SOPS 52654 HAS SOUS 24691 HAS SOUPS 22617 WITH SCORE 22672.52
AT ITER 255 NEW BEST:: SOT 98198 SOS 55449 HAS SOPS 52583 HAS SOUS 24647 HAS SOUPS 22573 WITH SCORE 22628.449
AT ITER 265 NEW BEST:: SOT 98156 SOS 55415 HAS SOPS 52549 HAS SOUS 24563 HAS SOUPS 22489 WITH SCORE 22544.415
AT ITER 271 NEW BEST:: SOT 98126 SOS 55385 HAS SOPS 52519 HAS SOUS 24559 HAS SOUPS 22485 WITH SCORE 22540.385
AT ITER 277 NEW BEST:: SOT 98128 SOS 55452 HAS SOPS 52521 HAS SOUS 24508 HAS SOUPS 22383 WITH SCORE 22438.452
AT ITER 285 NEW BEST:: SOT 98033 SOS 55452 HAS SOPS 52521 HAS SOUS 24413 HAS SOUPS 22288 WITH SCORE 22343.452
AT ITER 287 NEW BEST:: SOT 97740 SOS 54981 HAS SOPS 52262 HAS SOUS 24055 HAS SOUPS 22042 WITH SCORE 22096.981
AT ITER 289 NEW BEST:: SOT 97665 SOS 54906 HAS SOPS 52187 HAS SOUS 24034 HAS SOUPS 22021 WITH SCORE 22075.906
AT ITER 290 NEW BEST:: SOT 97644 SOS 54928 HAS SOPS 52209 HAS SOUS 23992 HAS SOUPS 21979 WITH SCORE 22033.928
AT ITER 291 NEW BEST:: SOT 97607 SOS 54891 HAS SOPS 52172 HAS SOUS 23955 HAS SOUPS 21942 WITH SCORE 21996.891
AT ITER 295 NEW BEST:: SOT 97560 SOS 54891 HAS SOPS 52172 HAS SOUS 23908 HAS SOUPS 21895 WITH SCORE 21949.891
AT ITER 297 NEW BEST:: SOT 97512 SOS 50460 HAS SOPS 47741 HAS SOUS 23812 HAS SOUPS 21799 WITH SCORE 21849.46
AT ITER 299 NEW BEST:: SOT 97509 SOS 50460 HAS SOPS 47741 HAS SOUS 23809 HAS SOUPS 21796 WITH SCORE 21846.46
AT ITER 302 NEW BEST:: SOT 97498 SOS 50449 HAS SOPS 47730 HAS SOUS 23787 HAS SOUPS 21774 WITH SCORE 21824.449
AT ITER 303 NEW BEST:: SOT 97409 SOS 50351 HAS SOPS 47641 HAS SOUS 23736 HAS SOUPS 21732 WITH SCORE 21782.351
AT ITER 309 NEW BEST:: SOT 97410 SOS 50352 HAS SOPS 47658 HAS SOUS 23728 HAS SOUPS 21724 WITH SCORE 21774.352
AT ITER 317 NEW BEST:: SOT 97371 SOS 50274 HAS SOPS 47580 HAS SOUS 23650 HAS SOUPS 21646 WITH SCORE 21696.274
AT ITER 321 NEW BEST:: SOT 97373 SOS 50276 HAS SOPS 47582 HAS SOUS 23618 HAS SOUPS 21614 WITH SCORE 21664.276
AT ITER 325 NEW BEST:: SOT 97317 SOS 50220 HAS SOPS 47526 HAS SOUS 23506 HAS SOUPS 21502 WITH SCORE 21552.22
AT ITER 326 NEW BEST:: SOT 97179 SOS 50076 HAS SOPS 47388 HAS SOUS 23399 HAS SOUPS 21401 WITH SCORE 21451.076
AT ITER 327 NEW BEST:: SOT 97166 SOS 50076 HAS SOPS 47388 HAS SOUS 23386 HAS SOUPS 21388 WITH SCORE 21438.076
AT ITER 329 NEW BEST:: SOT 96992 SOS 49902 HAS SOPS 47214 HAS SOUS 23170 HAS SOUPS 21172 WITH SCORE 21221.902
AT ITER 331 NEW BEST:: SOT 96973 SOS 49884 HAS SOPS 47202 HAS SOUS 23151 HAS SOUPS 21159 WITH SCORE 21208.884
AT ITER 336 NEW BEST:: SOT 96920 SOS 49831 HAS SOPS 47149 HAS SOUS 23095 HAS SOUPS 21103 WITH SCORE 21152.831
AT ITER 339 NEW BEST:: SOT 96884 SOS 49702 HAS SOPS 47113 HAS SOUS 23023 HAS SOUPS 21031 WITH SCORE 21080.702
AT ITER 344 NEW BEST:: SOT 96821 SOS 49639 HAS SOPS 47050 HAS SOUS 22897 HAS SOUPS 20905 WITH SCORE 20954.639
AT ITER 345 NEW BEST:: SOT 96787 SOS 49605 HAS SOPS 47016 HAS SOUS 22829 HAS SOUPS 20837 WITH SCORE 20886.605
AT ITER 348 NEW BEST:: SOT 96680 SOS 49498 HAS SOPS 46909 HAS SOUS 22615 HAS SOUPS 20623 WITH SCORE 20672.498
AT ITER 358 NEW BEST:: SOT 96680 SOS 49464 HAS SOPS 46875 HAS SOUS 22581 HAS SOUPS 20589 WITH SCORE 20638.464
AT ITER 359 NEW BEST:: SOT 96710 SOS 49729 HAS SOPS 46905 HAS SOUS 22664 HAS SOUPS 20551 WITH SCORE 20600.729
AT ITER 364 NEW BEST:: SOT 96689 SOS 49706 HAS SOPS 46882 HAS SOUS 22635 HAS SOUPS 20522 WITH SCORE 20571.706
AT ITER 369 NEW BEST:: SOT 96759 SOS 48797 HAS SOPS 45510 HAS SOUS 22705 HAS SOUPS 20129 WITH SCORE 20177.797
AT ITER 380 NEW BEST:: SOT 96717 SOS 48755 HAS SOPS 45468 HAS SOUS 22621 HAS SOUPS 20045 WITH SCORE 20093.755
AT ITER 382 NEW BEST:: SOT 96661 SOS 48699 HAS SOPS 45442 HAS SOUS 22565 HAS SOUPS 20019 WITH SCORE 20067.699
AT ITER 387 NEW BEST:: SOT 96425 SOS 48547 HAS SOPS 45290 HAS SOUS 22489 HAS SOUPS 19943 WITH SCORE 19991.547
AT ITER 388 NEW BEST:: SOT 96307 SOS 53274 HAS SOPS 50017 HAS SOUS 22423 HAS SOUPS 19877 WITH SCORE 19930.274
AT ITER 393 NEW BEST:: SOT 96255 SOS 53222 HAS SOPS 49965 HAS SOUS 22345 HAS SOUPS 19799 WITH SCORE 19852.222
AT ITER 400 NEW BEST:: SOT 96235 SOS 53202 HAS SOPS 49945 HAS SOUS 22305 HAS SOUPS 19759 WITH SCORE 19812.202
AT ITER 401 NEW BEST:: SOT 96233 SOS 53200 HAS SOPS 49943 HAS SOUS 22301 HAS SOUPS 19755 WITH SCORE 19808.2
AT ITER 404 NEW BEST:: SOT 96232 SOS 53199 HAS SOPS 49941 HAS SOUS 22300 HAS SOUPS 19753 WITH SCORE 19806.199
AT ITER 425 NEW BEST:: SOT 96034 SOS 52959 HAS SOPS 49743 HAS SOUS 22013 HAS SOUPS 19508 WITH SCORE 19560.959
AT ITER 433 NEW BEST:: SOT 95991 SOS 52916 HAS SOPS 49718 HAS SOUS 21992 HAS SOUPS 19505 WITH SCORE 19557.916
AT ITER 436 NEW BEST:: SOT 95986 SOS 52911 HAS SOPS 49713 HAS SOUS 21992 HAS SOUPS 19505 WITH SCORE 19557.911
AT ITER 441 NEW BEST:: SOT 96013 SOS 52938 HAS SOPS 49740 HAS SOUS 21896 HAS SOUPS 19409 WITH SCORE 19461.938
AT ITER 442 NEW BEST:: SOT 96032 SOS 52929 HAS SOPS 49706 HAS SOUS 21906 HAS SOUPS 19394 WITH SCORE 19446.929
AT ITER 445 NEW BEST:: SOT 96032 SOS 53188 HAS SOPS 49706 HAS SOUS 21930 HAS SOUPS 19285 WITH SCORE 19338.188
AT ITER 451 NEW BEST:: SOT 95891 SOS 53042 HAS SOPS 49565 HAS SOUS 21730 HAS SOUPS 19090 WITH SCORE 19143.042
AT ITER 452 NEW BEST:: SOT 95596 SOS 52766 HAS SOPS 49289 HAS SOUS 21445 HAS SOUPS 18805 WITH SCORE 18857.766
AT ITER 453 NEW BEST:: SOT 95562 SOS 52732 HAS SOPS 49289 HAS SOUS 21411 HAS SOUPS 18805 WITH SCORE 18857.732
AT ITER 465 NEW BEST:: SOT 95519 SOS 52689 HAS SOPS 49246 HAS SOUS 21325 HAS SOUPS 18719 WITH SCORE 18771.689
AT ITER 466 NEW BEST:: SOT 95491 SOS 52693 HAS SOPS 49250 HAS SOUS 21301 HAS SOUPS 18695 WITH SCORE 18747.693
AT ITER 470 NEW BEST:: SOT 95459 SOS 52661 HAS SOPS 49218 HAS SOUS 21269 HAS SOUPS 18663 WITH SCORE 18715.661
AT ITER 492 NEW BEST:: SOT 95387 SOS 52628 HAS SOPS 49185 HAS SOUS 21269 HAS SOUPS 18663 WITH SCORE 18715.628
AT ITER 495 NEW BEST:: SOT 95379 SOS 52620 HAS SOPS 49177 HAS SOUS 21253 HAS SOUPS 18647 WITH SCORE 18699.62
AT ITER 502 NEW BEST:: SOT 95343 SOS 52584 HAS SOPS 49177 HAS SOUS 21217 HAS SOUPS 18647 WITH SCORE 18699.584
AT ITER 504 NEW BEST:: SOT 95334 SOS 52584 HAS SOPS 49177 HAS SOUS 21208 HAS SOUPS 18638 WITH SCORE 18690.584
AT ITER 505 NEW BEST:: SOT 95327 SOS 52577 HAS SOPS 49170 HAS SOUS 21194 HAS SOUPS 18624 WITH SCORE 18676.577
AT ITER 509 NEW BEST:: SOT 95315 SOS 52565 HAS SOPS 49158 HAS SOUS 21180 HAS SOUPS 18610 WITH SCORE 18662.565
AT ITER 514 NEW BEST:: SOT 95331 SOS 52581 HAS SOPS 49174 HAS SOUS 21164 HAS SOUPS 18594 WITH SCORE 18646.581
AT ITER 524 NEW BEST:: SOT 95015 SOS 52265 HAS SOPS 48858 HAS SOUS 20897 HAS SOUPS 18327 WITH SCORE 18379.265
AT ITER 536 NEW BEST:: SOT 94973 SOS 52230 HAS SOPS 48823 HAS SOUS 20897 HAS SOUPS 18327 WITH SCORE 18379.23
AT ITER 540 NEW BEST:: SOT 94946 SOS 52248 HAS SOPS 48841 HAS SOUS 20888 HAS SOUPS 18318 WITH SCORE 18370.248
AT ITER 544 NEW BEST:: SOT 94963 SOS 52265 HAS SOPS 48858 HAS SOUS 20864 HAS SOUPS 18294 WITH SCORE 18346.265
AT ITER 547 NEW BEST:: SOT 94963 SOS 52260 HAS SOPS 48853 HAS SOUS 20864 HAS SOUPS 18294 WITH SCORE 18346.26
AT ITER 553 NEW BEST:: SOT 94775 SOS 56191 HAS SOPS 52784 HAS SOUS 20675 HAS SOUPS 18105 WITH SCORE 18161.191
AT ITER 554 NEW BEST:: SOT 94763 SOS 56179 HAS SOPS 52772 HAS SOUS 20651 HAS SOUPS 18081 WITH SCORE 18137.179
AT ITER 555 NEW BEST:: SOT 94722 SOS 56138 HAS SOPS 52731 HAS SOUS 20579 HAS SOUPS 18009 WITH SCORE 18065.138
AT ITER 558 NEW BEST:: SOT 94611 SOS 56028 HAS SOPS 52621 HAS SOUS 20536 HAS SOUPS 17966 WITH SCORE 18022.028
AT ITER 559 NEW BEST:: SOT 94606 SOS 56023 HAS SOPS 52616 HAS SOUS 20526 HAS SOUPS 17956 WITH SCORE 18012.023
AT ITER 562 NEW BEST:: SOT 94396 SOS 55838 HAS SOPS 52431 HAS SOUS 20483 HAS SOUPS 17913 WITH SCORE 17968.838
AT ITER 566 NEW BEST:: SOT 94396 SOS 55848 HAS SOPS 52387 HAS SOUS 20471 HAS SOUPS 17869 WITH SCORE 17924.848
AT ITER 571 NEW BEST:: SOT 94379 SOS 55831 HAS SOPS 52370 HAS SOUS 20462 HAS SOUPS 17860 WITH SCORE 17915.831
AT ITER 595 NEW BEST:: SOT 94362 SOS 55814 HAS SOPS 52353 HAS SOUS 20428 HAS SOUPS 17826 WITH SCORE 17881.814
AT ITER 601 NEW BEST:: SOT 94353 SOS 55805 HAS SOPS 52344 HAS SOUS 20410 HAS SOUPS 17808 WITH SCORE 17863.805
AT ITER 602 NEW BEST:: SOT 94358 SOS 55810 HAS SOPS 52349 HAS SOUS 20407 HAS SOUPS 17805 WITH SCORE 17860.81
AT ITER 607 NEW BEST:: SOT 94342 SOS 55784 HAS SOPS 52333 HAS SOUS 20352 HAS SOUPS 17760 WITH SCORE 17815.784
AT ITER 612 NEW BEST:: SOT 94342 SOS 55388 HAS SOPS 51937 HAS SOUS 20352 HAS SOUPS 17760 WITH SCORE 17815.388
AT ITER 614 NEW BEST:: SOT 94294 SOS 55360 HAS SOPS 51889 HAS SOUS 20307 HAS SOUPS 17695 WITH SCORE 17750.36
AT ITER 622 NEW BEST:: SOT 94285 SOS 55351 HAS SOPS 51880 HAS SOUS 20298 HAS SOUPS 17686 WITH SCORE 17741.351
AT ITER 633 NEW BEST:: SOT 94211 SOS 55318 HAS SOPS 51916 HAS SOUS 20227 HAS SOUPS 17684 WITH SCORE 17739.318
AT ITER 643 NEW BEST:: SOT 94156 SOS 55263 HAS SOPS 51861 HAS SOUS 20166 HAS SOUPS 17623 WITH SCORE 17678.263
AT ITER 652 NEW BEST:: SOT 93894 SOS 55001 HAS SOPS 51599 HAS SOUS 19904 HAS SOUPS 17361 WITH SCORE 17416.001
AT ITER 653 NEW BEST:: SOT 93734 SOS 54841 HAS SOPS 51439 HAS SOUS 19867 HAS SOUPS 17324 WITH SCORE 17378.841
AT ITER 659 NEW BEST:: SOT 93715 SOS 54822 HAS SOPS 51420 HAS SOUS 19829 HAS SOUPS 17286 WITH SCORE 17340.822
AT ITER 668 NEW BEST:: SOT 93675 SOS 54782 HAS SOPS 51380 HAS SOUS 19793 HAS SOUPS 17250 WITH SCORE 17304.782
AT ITER 670 NEW BEST:: SOT 93389 SOS 54272 HAS SOPS 51166 HAS SOUS 19479 HAS SOUPS 17106 WITH SCORE 17160.272
AT ITER 682 NEW BEST:: SOT 93486 SOS 54369 HAS SOPS 51263 HAS SOUS 19393 HAS SOUPS 17020 WITH SCORE 17074.369
AT ITER 683 NEW BEST:: SOT 93473 SOS 54356 HAS SOPS 51250 HAS SOUS 19367 HAS SOUPS 16994 WITH SCORE 17048.356
AT ITER 684 NEW BEST:: SOT 93455 SOS 54338 HAS SOPS 51232 HAS SOUS 19349 HAS SOUPS 16976 WITH SCORE 17030.338
AT ITER 696 NEW BEST:: SOT 93315 SOS 54223 HAS SOPS 51117 HAS SOUS 19275 HAS SOUPS 16902 WITH SCORE 16956.223
AT ITER 697 NEW BEST:: SOT 93368 SOS 54203 HAS SOPS 51086 HAS SOUS 19132 HAS SOUPS 16748 WITH SCORE 16802.203
AT ITER 702 NEW BEST:: SOT 93385 SOS 54197 HAS SOPS 51080 HAS SOUS 19123 HAS SOUPS 16739 WITH SCORE 16793.197
AT ITER 709 NEW BEST:: SOT 93342 SOS 54162 HAS SOPS 51045 HAS SOUS 19104 HAS SOUPS 16720 WITH SCORE 16774.162
AT ITER 720 NEW BEST:: SOT 93337 SOS 54157 HAS SOPS 51040 HAS SOUS 19104 HAS SOUPS 16720 WITH SCORE 16774.157
AT ITER 730 NEW BEST:: SOT 93306 SOS 54126 HAS SOPS 51009 HAS SOUS 19070 HAS SOUPS 16686 WITH SCORE 16740.126
AT ITER 736 NEW BEST:: SOT 93302 SOS 54122 HAS SOPS 51005 HAS SOUS 19058 HAS SOUPS 16674 WITH SCORE 16728.122
AT ITER 739 NEW BEST:: SOT 92729 SOS 55702 HAS SOPS 52585 HAS SOUS 18549 HAS SOUPS 16165 WITH SCORE 16220.702
AT ITER 740 NEW BEST:: SOT 92661 SOS 55634 HAS SOPS 52549 HAS SOUS 18481 HAS SOUPS 16129 WITH SCORE 16184.634
AT ITER 743 NEW BEST:: SOT 92630 SOS 55603 HAS SOPS 52518 HAS SOUS 18450 HAS SOUPS 16098 WITH SCORE 16153.603
AT ITER 748 NEW BEST:: SOT 92551 SOS 55524 HAS SOPS 52439 HAS SOUS 18292 HAS SOUPS 15940 WITH SCORE 15995.524
AT ITER 767 NEW BEST:: SOT 92522 SOS 55495 HAS SOPS 52410 HAS SOUS 18292 HAS SOUPS 15940 WITH SCORE 15995.495
AT ITER 770 NEW BEST:: SOT 92515 SOS 55488 HAS SOPS 52403 HAS SOUS 18292 HAS SOUPS 15940 WITH SCORE 15995.488
AT ITER 779 NEW BEST:: SOT 92510 SOS 55483 HAS SOPS 52398 HAS SOUS 18282 HAS SOUPS 15930 WITH SCORE 15985.483
AT ITER 783 NEW BEST:: SOT 92504 SOS 55483 HAS SOPS 52398 HAS SOUS 18252 HAS SOUPS 15900 WITH SCORE 15955.483
AT ITER 789 NEW BEST:: SOT 92529 SOS 55508 HAS SOPS 52423 HAS SOUS 18251 HAS SOUPS 15899 WITH SCORE 15954.508
AT ITER 800 NEW BEST:: SOT 92602 SOS 54827 HAS SOPS 51635 HAS SOUS 18222 HAS SOUPS 15865 WITH SCORE 15919.827
AT ITER 805 NEW BEST:: SOT 92587 SOS 54793 HAS SOPS 51620 HAS SOUS 18173 HAS SOUPS 15835 WITH SCORE 15889.793
AT ITER 810 NEW BEST:: SOT 92479 SOS 59601 HAS SOPS 56449 HAS SOUS 18080 HAS SOUPS 15763 WITH SCORE 15822.601
AT ITER 812 NEW BEST:: SOT 92462 SOS 59584 HAS SOPS 56432 HAS SOUS 18080 HAS SOUPS 15763 WITH SCORE 15822.584
AT ITER 821 NEW BEST:: SOT 92407 SOS 59529 HAS SOPS 56377 HAS SOUS 18060 HAS SOUPS 15743 WITH SCORE 15802.529
AT ITER 827 NEW BEST:: SOT 92261 SOS 59383 HAS SOPS 56235 HAS SOUS 18041 HAS SOUPS 15728 WITH SCORE 15787.383
AT ITER 839 NEW BEST:: SOT 92260 SOS 59382 HAS SOPS 56234 HAS SOUS 18040 HAS SOUPS 15727 WITH SCORE 15786.382
AT ITER 850 NEW BEST:: SOT 92260 SOS 59454 HAS SOPS 56234 HAS SOUS 18054 HAS SOUPS 15698 WITH SCORE 15757.454
AT ITER 851 NEW BEST:: SOT 92155 SOS 59349 HAS SOPS 56129 HAS SOUS 17972 HAS SOUPS 15616 WITH SCORE 15675.349
AT ITER 855 NEW BEST:: SOT 92093 SOS 59287 HAS SOPS 56086 HAS SOUS 17910 HAS SOUPS 15573 WITH SCORE 15632.287
AT ITER 857 NEW BEST:: SOT 92086 SOS 59280 HAS SOPS 56079 HAS SOUS 17896 HAS SOUPS 15559 WITH SCORE 15618.28
AT ITER 860 NEW BEST:: SOT 92080 SOS 59274 HAS SOPS 56073 HAS SOUS 17890 HAS SOUPS 15553 WITH SCORE 15612.274
AT ITER 864 NEW BEST:: SOT 91907 SOS 59101 HAS SOPS 55900 HAS SOUS 17818 HAS SOUPS 15481 WITH SCORE 15540.101
AT ITER 866 NEW BEST:: SOT 91885 SOS 59070 HAS SOPS 55878 HAS SOUS 17765 HAS SOUPS 15437 WITH SCORE 15496.07
AT ITER 868 NEW BEST:: SOT 91883 SOS 59068 HAS SOPS 55876 HAS SOUS 17765 HAS SOUPS 15437 WITH SCORE 15496.068
AT ITER 874 NEW BEST:: SOT 92507 SOS 57488 HAS SOPS 53340 HAS SOUS 18303 HAS SOUPS 15184 WITH SCORE 15241.488
AT ITER 877 NEW BEST:: SOT 92474 SOS 57454 HAS SOPS 53323 HAS SOUS 18285 HAS SOUPS 15183 WITH SCORE 15240.454
AT ITER 879 NEW BEST:: SOT 92556 SOS 57615 HAS SOPS 53380 HAS SOUS 18313 HAS SOUPS 15132 WITH SCORE 15189.615
AT ITER 882 NEW BEST:: SOT 92517 SOS 57576 HAS SOPS 53341 HAS SOUS 18303 HAS SOUPS 15122 WITH SCORE 15179.576
AT ITER 887 NEW BEST:: SOT 92515 SOS 57574 HAS SOPS 53339 HAS SOUS 18299 HAS SOUPS 15118 WITH SCORE 15175.574
AT ITER 890 NEW BEST:: SOT 92471 SOS 57521 HAS SOPS 53295 HAS SOUS 18246 HAS SOUPS 15074 WITH SCORE 15131.521
AT ITER 898 NEW BEST:: SOT 92520 SOS 57779 HAS SOPS 53344 HAS SOUS 18387 HAS SOUPS 15071 WITH SCORE 15128.779
AT ITER 901 NEW BEST:: SOT 92489 SOS 57740 HAS SOPS 53313 HAS SOUS 18317 HAS SOUPS 15009 WITH SCORE 15066.74
AT ITER 909 NEW BEST:: SOT 92439 SOS 57690 HAS SOPS 53263 HAS SOUS 18267 HAS SOUPS 14959 WITH SCORE 15016.69
AT ITER 911 NEW BEST:: SOT 92558 SOS 58101 HAS SOPS 53224 HAS SOUS 18370 HAS SOUPS 14794 WITH SCORE 14852.101
AT ITER 918 NEW BEST:: SOT 92559 SOS 58094 HAS SOPS 53208 HAS SOUS 18344 HAS SOUPS 14759 WITH SCORE 14817.094
AT ITER 919 NEW BEST:: SOT 92767 SOS 57808 HAS SOPS 52619 HAS SOUS 18373 HAS SOUPS 14687 WITH SCORE 14744.808
AT ITER 927 NEW BEST:: SOT 92760 SOS 57777 HAS SOPS 52576 HAS SOUS 18366 HAS SOUPS 14680 WITH SCORE 14737.777
AT ITER 931 NEW BEST:: SOT 92745 SOS 57762 HAS SOPS 52561 HAS SOUS 18336 HAS SOUPS 14650 WITH SCORE 14707.762
AT ITER 936 NEW BEST:: SOT 92747 SOS 58047 HAS SOPS 52563 HAS SOUS 18410 HAS SOUPS 14567 WITH SCORE 14625.047
AT ITER 937 NEW BEST:: SOT 92763 SOS 58095 HAS SOPS 52563 HAS SOUS 18410 HAS SOUPS 14551 WITH SCORE 14609.095
AT ITER 939 NEW BEST:: SOT 92742 SOS 58074 HAS SOPS 52542 HAS SOUS 18405 HAS SOUPS 14546 WITH SCORE 14604.074
AT ITER 940 NEW BEST:: SOT 92663 SOS 57994 HAS SOPS 52494 HAS SOUS 18215 HAS SOUPS 14388 WITH SCORE 14445.994
AT ITER 944 NEW BEST:: SOT 92644 SOS 57975 HAS SOPS 52494 HAS SOUS 18209 HAS SOUPS 14388 WITH SCORE 14445.975
AT ITER 948 NEW BEST:: SOT 92472 SOS 57803 HAS SOPS 52387 HAS SOUS 18092 HAS SOUPS 14312 WITH SCORE 14369.803
AT ITER 956 NEW BEST:: SOT 92447 SOS 57755 HAS SOPS 52362 HAS SOUS 18042 HAS SOUPS 14262 WITH SCORE 14319.755
AT ITER 958 NEW BEST:: SOT 92436 SOS 57744 HAS SOPS 52351 HAS SOUS 18020 HAS SOUPS 14240 WITH SCORE 14297.744
AT ITER 980 NEW BEST:: SOT 92432 SOS 57740 HAS SOPS 52347 HAS SOUS 18012 HAS SOUPS 14232 WITH SCORE 14289.74
AT ITER 1008 NEW BEST:: SOT 92397 SOS 57705 HAS SOPS 52312 HAS SOUS 17942 HAS SOUPS 14162 WITH SCORE 14219.705
AT ITER 1015 NEW BEST:: SOT 92353 SOS 57655 HAS SOPS 52268 HAS SOUS 17914 HAS SOUPS 14140 WITH SCORE 14197.655
AT ITER 1022 NEW BEST:: SOT 92352 SOS 57654 HAS SOPS 52267 HAS SOUS 17912 HAS SOUPS 14138 WITH SCORE 14195.654
AT ITER 1023 NEW BEST:: SOT 92470 SOS 58046 HAS SOPS 52385 HAS SOUS 17893 HAS SOUPS 13982 WITH SCORE 14040.046
AT ITER 1030 NEW BEST:: SOT 92442 SOS 58018 HAS SOPS 52361 HAS SOUS 17865 HAS SOUPS 13958 WITH SCORE 14016.018
AT ITER 1048 NEW BEST:: SOT 92427 SOS 58003 HAS SOPS 52361 HAS SOUS 17865 HAS SOUPS 13958 WITH SCORE 14016.003
AT ITER 1050 NEW BEST:: SOT 92427 SOS 58062 HAS SOPS 52361 HAS SOUS 17865 HAS SOUPS 13947 WITH SCORE 14005.062
AT ITER 1053 NEW BEST:: SOT 92402 SOS 58037 HAS SOPS 52336 HAS SOUS 17815 HAS SOUPS 13897 WITH SCORE 13955.037
AT ITER 1054 NEW BEST:: SOT 92396 SOS 58028 HAS SOPS 52333 HAS SOUS 17809 HAS SOUPS 13894 WITH SCORE 13952.028
AT ITER 1057 NEW BEST:: SOT 92348 SOS 57980 HAS SOPS 52285 HAS SOUS 17783 HAS SOUPS 13868 WITH SCORE 13925.98
AT ITER 1058 NEW BEST:: SOT 92314 SOS 57878 HAS SOPS 52251 HAS SOUS 17749 HAS SOUPS 13868 WITH SCORE 13925.878
AT ITER 1064 NEW BEST:: SOT 92305 SOS 57867 HAS SOPS 52240 HAS SOUS 17731 HAS SOUPS 13850 WITH SCORE 13907.867
AT ITER 1068 NEW BEST:: SOT 92340 SOS 58142 HAS SOPS 52275 HAS SOUS 17801 HAS SOUPS 13821 WITH SCORE 13879.142
AT ITER 1086 NEW BEST:: SOT 92346 SOS 58160 HAS SOPS 52275 HAS SOUS 17801 HAS SOUPS 13815 WITH SCORE 13873.16
AT ITER 1104 NEW BEST:: SOT 92346 SOS 58160 HAS SOPS 52275 HAS SOUS 17798 HAS SOUPS 13812 WITH SCORE 13870.16
AT ITER 1110 NEW BEST:: SOT 92321 SOS 58085 HAS SOPS 52250 HAS SOUS 17773 HAS SOUPS 13812 WITH SCORE 13870.085
AT ITER 1122 NEW BEST:: SOT 92315 SOS 58067 HAS SOPS 52244 HAS SOUS 17767 HAS SOUPS 13812 WITH SCORE 13870.067
AT ITER 1131 NEW BEST:: SOT 92298 SOS 58050 HAS SOPS 52227 HAS SOUS 17696 HAS SOUPS 13741 WITH SCORE 13799.05
AT ITER 1132 NEW BEST:: SOT 92217 SOS 58002 HAS SOPS 52179 HAS SOUS 17666 HAS SOUPS 13711 WITH SCORE 13769.002
AT ITER 1152 NEW BEST:: SOT 92237 SOS 58152 HAS SOPS 52199 HAS SOUS 17706 HAS SOUPS 13686 WITH SCORE 13744.152
AT ITER 1154 NEW BEST:: SOT 92176 SOS 58035 HAS SOPS 52138 HAS SOUS 17646 HAS SOUPS 13669 WITH SCORE 13727.035
AT ITER 1166 NEW BEST:: SOT 92196 SOS 58075 HAS SOPS 52138 HAS SOUS 17646 HAS SOUPS 13649 WITH SCORE 13707.075
AT ITER 1195 NEW BEST:: SOT 93523 SOS 55724 HAS SOPS 48282 HAS SOUS 19033 HAS SOUPS 13531 WITH SCORE 13586.724
AT ITER 1200 NEW BEST:: SOT 93647 SOS 56121 HAS SOPS 48347 HAS SOUS 19157 HAS SOUPS 13455 WITH SCORE 13511.121
AT ITER 1209 NEW BEST:: SOT 93643 SOS 56117 HAS SOPS 48343 HAS SOUS 19149 HAS SOUPS 13447 WITH SCORE 13503.117
AT ITER 1223 NEW BEST:: SOT 93687 SOS 56240 HAS SOPS 48328 HAS SOUS 19149 HAS SOUPS 13373 WITH SCORE 13429.24
AT ITER 1224 NEW BEST:: SOT 93687 SOS 56240 HAS SOPS 48312 HAS SOUS 19117 HAS SOUPS 13341 WITH SCORE 13397.24
AT ITER 1230 NEW BEST:: SOT 93687 SOS 56240 HAS SOPS 48312 HAS SOUS 19087 HAS SOUPS 13311 WITH SCORE 13367.24
AT ITER 1253 NEW BEST:: SOT 93687 SOS 56282 HAS SOPS 48270 HAS SOUS 19087 HAS SOUPS 13227 WITH SCORE 13283.282
AT ITER 1258 NEW BEST:: SOT 93704 SOS 56440 HAS SOPS 48287 HAS SOUS 19121 HAS SOUPS 13201 WITH SCORE 13257.44
AT ITER 1275 NEW BEST:: SOT 93702 SOS 56506 HAS SOPS 48277 HAS SOUS 19119 HAS SOUPS 13199 WITH SCORE 13255.506
AT ITER 1278 NEW BEST:: SOT 93705 SOS 56551 HAS SOPS 48262 HAS SOUS 19122 HAS SOUPS 13163 WITH SCORE 13219.551
AT ITER 1296 NEW BEST:: SOT 93633 SOS 56313 HAS SOPS 48190 HAS SOUS 18989 HAS SOUPS 13127 WITH SCORE 13183.313
AT ITER 1307 NEW BEST:: SOT 93587 SOS 56267 HAS SOPS 48144 HAS SOUS 18973 HAS SOUPS 13111 WITH SCORE 13167.267
AT ITER 1314 NEW BEST:: SOT 93577 SOS 56257 HAS SOPS 48134 HAS SOUS 18963 HAS SOUPS 13101 WITH SCORE 13157.257
AT ITER 1316 NEW BEST:: SOT 93554 SOS 56225 HAS SOPS 48111 HAS SOUS 18940 HAS SOUPS 13087 WITH SCORE 13143.225
AT ITER 1339 NEW BEST:: SOT 93554 SOS 56255 HAS SOPS 48096 HAS SOUS 18970 HAS SOUPS 13072 WITH SCORE 13128.255
AT ITER 1342 NEW BEST:: SOT 93571 SOS 56312 HAS SOPS 48113 HAS SOUS 18967 HAS SOUPS 13049 WITH SCORE 13105.312
AT ITER 1351 NEW BEST:: SOT 93630 SOS 56479 HAS SOPS 48127 HAS SOUS 19026 HAS SOUPS 13009 WITH SCORE 13065.479
AT ITER 1356 NEW BEST:: SOT 93671 SOS 56669 HAS SOPS 48024 HAS SOUS 18934 HAS SOUPS 12784 WITH SCORE 12840.669
AT ITER 1363 NEW BEST:: SOT 93570 SOS 56373 HAS SOPS 47923 HAS SOUS 18753 HAS SOUPS 12687 WITH SCORE 12743.373
AT ITER 1372 NEW BEST:: SOT 93570 SOS 56367 HAS SOPS 47923 HAS SOUS 18747 HAS SOUPS 12687 WITH SCORE 12743.367
AT ITER 1374 NEW BEST:: SOT 93628 SOS 56535 HAS SOPS 47975 HAS SOUS 18805 HAS SOUPS 12684 WITH SCORE 12740.535
AT ITER 1393 NEW BEST:: SOT 93621 SOS 56521 HAS SOPS 47975 HAS SOUS 18791 HAS SOUPS 12684 WITH SCORE 12740.521
AT ITER 1395 NEW BEST:: SOT 93609 SOS 56509 HAS SOPS 47951 HAS SOUS 18767 HAS SOUPS 12648 WITH SCORE 12704.509
AT ITER 1397 NEW BEST:: SOT 93602 SOS 56502 HAS SOPS 47937 HAS SOUS 18736 HAS SOUPS 12634 WITH SCORE 12690.502
AT ITER 1400 NEW BEST:: SOT 93622 SOS 56689 HAS SOPS 47957 HAS SOUS 18794 HAS SOUPS 12583 WITH SCORE 12639.689
AT ITER 1403 NEW BEST:: SOT 93629 SOS 56766 HAS SOPS 47936 HAS SOUS 18801 HAS SOUPS 12527 WITH SCORE 12583.766
AT ITER 1404 NEW BEST:: SOT 93629 SOS 56715 HAS SOPS 47936 HAS SOUS 18786 HAS SOUPS 12527 WITH SCORE 12583.715
AT ITER 1405 NEW BEST:: SOT 93661 SOS 56747 HAS SOPS 47968 HAS SOUS 18778 HAS SOUPS 12519 WITH SCORE 12575.747
AT ITER 1420 NEW BEST:: SOT 93653 SOS 56789 HAS SOPS 48009 HAS SOUS 18771 HAS SOUPS 12511 WITH SCORE 12567.789
AT ITER 1422 NEW BEST:: SOT 93638 SOS 56774 HAS SOPS 47994 HAS SOUS 18741 HAS SOUPS 12481 WITH SCORE 12537.774
AT ITER 1426 NEW BEST:: SOT 93701 SOS 56908 HAS SOPS 47986 HAS SOUS 18787 HAS SOUPS 12385 WITH SCORE 12441.908
AT ITER 1429 NEW BEST:: SOT 93701 SOS 57111 HAS SOPS 47986 HAS SOUS 18787 HAS SOUPS 12340 WITH SCORE 12397.111
AT ITER 1439 NEW BEST:: SOT 93701 SOS 57108 HAS SOPS 47986 HAS SOUS 18787 HAS SOUPS 12340 WITH SCORE 12397.108
AT ITER 1448 NEW BEST:: SOT 93724 SOS 57179 HAS SOPS 47964 HAS SOUS 18794 HAS SOUPS 12275 WITH SCORE 12332.179
AT ITER 1454 NEW BEST:: SOT 93600 SOS 56849 HAS SOPS 47861 HAS SOUS 18670 HAS SOUPS 12275 WITH SCORE 12331.849
AT ITER 1475 NEW BEST:: SOT 93584 SOS 56833 HAS SOPS 47824 HAS SOUS 18659 HAS SOUPS 12243 WITH SCORE 12299.833
AT ITER 1485 NEW BEST:: SOT 93602 SOS 56869 HAS SOPS 47824 HAS SOUS 18677 HAS SOUPS 12225 WITH SCORE 12281.869
AT ITER 1490 NEW BEST:: SOT 93602 SOS 56908 HAS SOPS 47773 HAS SOUS 18633 HAS SOUPS 12091 WITH SCORE 12147.908
AT ITER 1491 NEW BEST:: SOT 93602 SOS 56870 HAS SOPS 47773 HAS SOUS 18633 HAS SOUPS 12091 WITH SCORE 12147.87
AT ITER 1508 NEW BEST:: SOT 93636 SOS 56904 HAS SOPS 47799 HAS SOUS 18629 HAS SOUPS 12087 WITH SCORE 12143.904
AT ITER 1513 NEW BEST:: SOT 93618 SOS 56758 HAS SOPS 47781 HAS SOUS 18583 HAS SOUPS 12069 WITH SCORE 12125.758
AT ITER 1517 NEW BEST:: SOT 93618 SOS 56757 HAS SOPS 47781 HAS SOUS 18582 HAS SOUPS 12069 WITH SCORE 12125.757
AT ITER 1527 NEW BEST:: SOT 93618 SOS 56755 HAS SOPS 47781 HAS SOUS 18580 HAS SOUPS 12069 WITH SCORE 12125.755
AT ITER 1553 NEW BEST:: SOT 93610 SOS 56743 HAS SOPS 47773 HAS SOUS 18560 HAS SOUPS 12053 WITH SCORE 12109.743
AT ITER 1568 NEW BEST:: SOT 93610 SOS 56705 HAS SOPS 47773 HAS SOUS 18560 HAS SOUPS 12053 WITH SCORE 12109.705
AT ITER 1580 NEW BEST:: SOT 93610 SOS 56680 HAS SOPS 47773 HAS SOUS 18560 HAS SOUPS 12053 WITH SCORE 12109.68
AT ITER 1587 NEW BEST:: SOT 93611 SOS 56681 HAS SOPS 47774 HAS SOUS 18555 HAS SOUPS 12048 WITH SCORE 12104.681
AT ITER 1592 NEW BEST:: SOT 93609 SOS 56679 HAS SOPS 47772 HAS SOUS 18552 HAS SOUPS 12045 WITH SCORE 12101.679
AT ITER 1617 NEW BEST:: SOT 93609 SOS 56667 HAS SOPS 47772 HAS SOUS 18540 HAS SOUPS 12045 WITH SCORE 12101.667
AT ITER 1619 NEW BEST:: SOT 93566 SOS 56624 HAS SOPS 47729 HAS SOUS 18503 HAS SOUPS 12008 WITH SCORE 12064.624
AT ITER 1629 NEW BEST:: SOT 93558 SOS 56634 HAS SOPS 47721 HAS SOUS 18505 HAS SOUPS 11992 WITH SCORE 12048.634
AT ITER 1630 NEW BEST:: SOT 93559 SOS 56635 HAS SOPS 47722 HAS SOUS 18472 HAS SOUPS 11959 WITH SCORE 12015.635
AT ITER 1636 NEW BEST:: SOT 93559 SOS 56667 HAS SOPS 47706 HAS SOUS 18472 HAS SOUPS 11927 WITH SCORE 11983.667
AT ITER 1640 NEW BEST:: SOT 93559 SOS 56667 HAS SOPS 47706 HAS SOUS 18470 HAS SOUPS 11925 WITH SCORE 11981.667
AT ITER 1655 NEW BEST:: SOT 93559 SOS 56653 HAS SOPS 47706 HAS SOUS 18470 HAS SOUPS 11925 WITH SCORE 11981.653
AT ITER 1660 NEW BEST:: SOT 93559 SOS 56612 HAS SOPS 47665 HAS SOUS 18470 HAS SOUPS 11925 WITH SCORE 11981.612
AT ITER 1665 NEW BEST:: SOT 93559 SOS 56585 HAS SOPS 47665 HAS SOUS 18470 HAS SOUPS 11925 WITH SCORE 11981.585
AT ITER 1668 NEW BEST:: SOT 93530 SOS 56556 HAS SOPS 47636 HAS SOUS 18470 HAS SOUPS 11925 WITH SCORE 11981.556
AT ITER 1679 NEW BEST:: SOT 93724 SOS 57087 HAS SOPS 47774 HAS SOUS 18673 HAS SOUPS 11899 WITH SCORE 11956.087
AT ITER 1689 NEW BEST:: SOT 93699 SOS 57062 HAS SOPS 47749 HAS SOUS 18623 HAS SOUPS 11849 WITH SCORE 11906.062
AT ITER 1692 NEW BEST:: SOT 93701 SOS 57064 HAS SOPS 47749 HAS SOUS 18623 HAS SOUPS 11847 WITH SCORE 11904.064
AT ITER 1697 NEW BEST:: SOT 93769 SOS 57262 HAS SOPS 47817 HAS SOUS 18624 HAS SOUPS 11777 WITH SCORE 11834.262
AT ITER 1707 NEW BEST:: SOT 93745 SOS 57238 HAS SOPS 47793 HAS SOUS 18576 HAS SOUPS 11729 WITH SCORE 11786.238
AT ITER 1708 NEW BEST:: SOT 93770 SOS 57449 HAS SOPS 47818 HAS SOUS 18626 HAS SOUPS 11725 WITH SCORE 11782.449
AT ITER 1710 NEW BEST:: SOT 93709 SOS 57314 HAS SOPS 47757 HAS SOUS 18565 HAS SOUPS 11702 WITH SCORE 11759.314
AT ITER 1732 NEW BEST:: SOT 93699 SOS 57280 HAS SOPS 47747 HAS SOUS 18521 HAS SOUPS 11682 WITH SCORE 11739.28
AT ITER 1734 NEW BEST:: SOT 93699 SOS 57356 HAS SOPS 47747 HAS SOUS 18521 HAS SOUPS 11644 WITH SCORE 11701.356
AT ITER 1740 NEW BEST:: SOT 93562 SOS 61322 HAS SOPS 51778 HAS SOUS 18449 HAS SOUPS 11637 WITH SCORE 11698.322
AT ITER 1742 NEW BEST:: SOT 93566 SOS 61326 HAS SOPS 51782 HAS SOUS 18448 HAS SOUPS 11636 WITH SCORE 11697.326
AT ITER 1747 NEW BEST:: SOT 93566 SOS 61321 HAS SOPS 51782 HAS SOUS 18443 HAS SOUPS 11636 WITH SCORE 11697.321
AT ITER 1750 NEW BEST:: SOT 93566 SOS 61321 HAS SOPS 51775 HAS SOUS 18429 HAS SOUPS 11622 WITH SCORE 11683.321
AT ITER 1751 NEW BEST:: SOT 93542 SOS 61297 HAS SOPS 51752 HAS SOUS 18380 HAS SOUPS 11574 WITH SCORE 11635.297
AT ITER 1752 NEW BEST:: SOT 93495 SOS 61196 HAS SOPS 51705 HAS SOUS 18333 HAS SOUPS 11554 WITH SCORE 11615.196
AT ITER 1768 NEW BEST:: SOT 93477 SOS 61178 HAS SOPS 51687 HAS SOUS 18315 HAS SOUPS 11536 WITH SCORE 11597.178
AT ITER 1786 NEW BEST:: SOT 93477 SOS 61152 HAS SOPS 51687 HAS SOUS 18289 HAS SOUPS 11536 WITH SCORE 11597.152
AT ITER 1789 NEW BEST:: SOT 93494 SOS 61233 HAS SOPS 51689 HAS SOUS 18306 HAS SOUPS 11506 WITH SCORE 11567.233
AT ITER 1791 NEW BEST:: SOT 93378 SOS 60971 HAS SOPS 51603 HAS SOUS 18190 HAS SOUPS 11493 WITH SCORE 11553.971
AT ITER 1792 NEW BEST:: SOT 93378 SOS 60971 HAS SOPS 51577 HAS SOUS 18164 HAS SOUPS 11441 WITH SCORE 11501.971
AT ITER 1796 NEW BEST:: SOT 93378 SOS 60971 HAS SOPS 51577 HAS SOUS 18146 HAS SOUPS 11423 WITH SCORE 11483.971
AT ITER 1802 NEW BEST:: SOT 93383 SOS 60976 HAS SOPS 51582 HAS SOUS 18115 HAS SOUPS 11392 WITH SCORE 11452.976
AT ITER 1806 NEW BEST:: SOT 93378 SOS 60971 HAS SOPS 51563 HAS SOUS 18119 HAS SOUPS 11382 WITH SCORE 11442.971
AT ITER 1813 NEW BEST:: SOT 93370 SOS 60963 HAS SOPS 51555 HAS SOUS 18103 HAS SOUPS 11366 WITH SCORE 11426.963
AT ITER 1814 NEW BEST:: SOT 93370 SOS 60963 HAS SOPS 51555 HAS SOUS 18061 HAS SOUPS 11324 WITH SCORE 11384.963
AT ITER 1815 NEW BEST:: SOT 93360 SOS 60872 HAS SOPS 51545 HAS SOUS 18041 HAS SOUPS 11315 WITH SCORE 11375.872
AT ITER 1839 NEW BEST:: SOT 93331 SOS 60843 HAS SOPS 51487 HAS SOUS 18012 HAS SOUPS 11257 WITH SCORE 11317.843
AT ITER 1850 NEW BEST:: SOT 93409 SOS 61005 HAS SOPS 51517 HAS SOUS 18036 HAS SOUPS 11215 WITH SCORE 11276.005
AT ITER 1861 NEW BEST:: SOT 93386 SOS 60892 HAS SOPS 51494 HAS SOUS 17990 HAS SOUPS 11200 WITH SCORE 11260.892
AT ITER 1863 NEW BEST:: SOT 93474 SOS 61103 HAS SOPS 51504 HAS SOUS 18097 HAS SOUPS 11158 WITH SCORE 11219.103
AT ITER 1870 NEW BEST:: SOT 93448 SOS 61077 HAS SOPS 51504 HAS SOUS 18071 HAS SOUPS 11158 WITH SCORE 11219.077
AT ITER 1872 NEW BEST:: SOT 93431 SOS 61060 HAS SOPS 51487 HAS SOUS 18071 HAS SOUPS 11158 WITH SCORE 11219.06
AT ITER 1879 NEW BEST:: SOT 93431 SOS 61054 HAS SOPS 51487 HAS SOUS 18068 HAS SOUPS 11158 WITH SCORE 11219.054
AT ITER 1887 NEW BEST:: SOT 93436 SOS 61069 HAS SOPS 51492 HAS SOUS 18068 HAS SOUPS 11153 WITH SCORE 11214.069
AT ITER 1899 NEW BEST:: SOT 93402 SOS 61035 HAS SOPS 51458 HAS SOUS 18068 HAS SOUPS 11153 WITH SCORE 11214.035
AT ITER 1900 NEW BEST:: SOT 93382 SOS 61015 HAS SOPS 51411 HAS SOUS 18028 HAS SOUPS 11113 WITH SCORE 11174.015
AT ITER 1915 NEW BEST:: SOT 92966 SOS 63877 HAS SOPS 54361 HAS SOUS 17752 HAS SOUPS 10925 WITH SCORE 10988.877
AT ITER 1924 NEW BEST:: SOT 92988 SOS 63899 HAS SOPS 54383 HAS SOUS 17734 HAS SOUPS 10907 WITH SCORE 10970.899
AT ITER 1928 NEW BEST:: SOT 92943 SOS 63854 HAS SOPS 54338 HAS SOUS 17689 HAS SOUPS 10862 WITH SCORE 10925.854
AT ITER 1933 NEW BEST:: SOT 92897 SOS 63808 HAS SOPS 54292 HAS SOUS 17637 HAS SOUPS 10810 WITH SCORE 10873.808
AT ITER 1961 NEW BEST:: SOT 92871 SOS 63782 HAS SOPS 54266 HAS SOUS 17611 HAS SOUPS 10784 WITH SCORE 10847.782
AT ITER 1967 NEW BEST:: SOT 92979 SOS 64157 HAS SOPS 54225 HAS SOUS 17618 HAS SOUPS 10611 WITH SCORE 10675.157
AT ITER 1974 NEW BEST:: SOT 92979 SOS 64149 HAS SOPS 54225 HAS SOUS 17604 HAS SOUPS 10611 WITH SCORE 10675.149
AT ITER 1998 NEW BEST:: SOT 92938 SOS 64108 HAS SOPS 54184 HAS SOUS 17570 HAS SOUPS 10577 WITH SCORE 10641.108
AT ITER 2003 NEW BEST:: SOT 92931 SOS 64100 HAS SOPS 54177 HAS SOUS 17555 HAS SOUPS 10563 WITH SCORE 10627.1
AT ITER 2019 NEW BEST:: SOT 92935 SOS 64104 HAS SOPS 54181 HAS SOUS 17541 HAS SOUPS 10549 WITH SCORE 10613.104
AT ITER 2023 NEW BEST:: SOT 92935 SOS 64036 HAS SOPS 54181 HAS SOUS 17541 HAS SOUPS 10549 WITH SCORE 10613.036
AT ITER 2042 NEW BEST:: SOT 93000 SOS 64123 HAS SOPS 54197 HAS SOUS 17579 HAS SOUPS 10516 WITH SCORE 10580.123
AT ITER 2044 NEW BEST:: SOT 93000 SOS 64085 HAS SOPS 54197 HAS SOUS 17566 HAS SOUPS 10516 WITH SCORE 10580.085
AT ITER 2052 NEW BEST:: SOT 93000 SOS 64008 HAS SOPS 54197 HAS SOUS 17522 HAS SOUPS 10516 WITH SCORE 10580.008
AT ITER 2056 NEW BEST:: SOT 92887 SOS 63930 HAS SOPS 54084 HAS SOUS 17444 HAS SOUPS 10403 WITH SCORE 10466.93
AT ITER 2061 NEW BEST:: SOT 92887 SOS 63909 HAS SOPS 54084 HAS SOUS 17444 HAS SOUPS 10403 WITH SCORE 10466.909
AT ITER 2066 NEW BEST:: SOT 92853 SOS 63872 HAS SOPS 54050 HAS SOUS 17407 HAS SOUPS 10369 WITH SCORE 10432.872
AT ITER 2075 NEW BEST:: SOT 92826 SOS 63845 HAS SOPS 53996 HAS SOUS 17380 HAS SOUPS 10315 WITH SCORE 10378.845
AT ITER 2102 NEW BEST:: SOT 92859 SOS 63972 HAS SOPS 54013 HAS SOUS 17413 HAS SOUPS 10285 WITH SCORE 10348.972
AT ITER 2106 NEW BEST:: SOT 92854 SOS 63967 HAS SOPS 54008 HAS SOUS 17403 HAS SOUPS 10275 WITH SCORE 10338.967
AT ITER 2108 NEW BEST:: SOT 92854 SOS 63932 HAS SOPS 54008 HAS SOUS 17368 HAS SOUPS 10275 WITH SCORE 10338.932
AT ITER 2118 NEW BEST:: SOT 92865 SOS 63975 HAS SOPS 54014 HAS SOUS 17379 HAS SOUPS 10265 WITH SCORE 10328.975
AT ITER 2127 NEW BEST:: SOT 92868 SOS 63978 HAS SOPS 54017 HAS SOUS 17311 HAS SOUPS 10197 WITH SCORE 10260.978
AT ITER 2144 NEW BEST:: SOT 92907 SOS 64031 HAS SOPS 54017 HAS SOUS 17325 HAS SOUPS 10158 WITH SCORE 10222.031
AT ITER 2168 NEW BEST:: SOT 92905 SOS 64029 HAS SOPS 54015 HAS SOUS 17325 HAS SOUPS 10158 WITH SCORE 10222.029
AT ITER 2197 NEW BEST:: SOT 92891 SOS 64004 HAS SOPS 54001 HAS SOUS 17311 HAS SOUPS 10155 WITH SCORE 10219.004
AT ITER 2238 NEW BEST:: SOT 92968 SOS 64146 HAS SOPS 54013 HAS SOUS 17388 HAS SOUPS 10102 WITH SCORE 10166.146
AT ITER 2249 NEW BEST:: SOT 93047 SOS 62097 HAS SOPS 51915 HAS SOUS 17400 HAS SOUPS 10065 WITH SCORE 10127.097
AT ITER 2282 NEW BEST:: SOT 92984 SOS 62034 HAS SOPS 51868 HAS SOUS 17258 HAS SOUPS 9939 WITH SCORE 10001.034
AT ITER 2283 NEW BEST:: SOT 92971 SOS 62021 HAS SOPS 51855 HAS SOUS 17245 HAS SOUPS 9926 WITH SCORE 9988.021
AT ITER 2313 NEW BEST:: SOT 92941 SOS 61991 HAS SOPS 51825 HAS SOUS 17215 HAS SOUPS 9896 WITH SCORE 9957.991
AT ITER 2315 NEW BEST:: SOT 92930 SOS 61980 HAS SOPS 51814 HAS SOUS 17193 HAS SOUPS 9874 WITH SCORE 9935.98
AT ITER 2324 NEW BEST:: SOT 92958 SOS 62008 HAS SOPS 51842 HAS SOUS 17177 HAS SOUPS 9858 WITH SCORE 9920.008
AT ITER 2338 NEW BEST:: SOT 92958 SOS 61998 HAS SOPS 51842 HAS SOUS 17167 HAS SOUPS 9858 WITH SCORE 9919.998
AT ITER 2350 NEW BEST:: SOT 92952 SOS 61992 HAS SOPS 51836 HAS SOUS 17155 HAS SOUPS 9846 WITH SCORE 9907.992
AT ITER 2361 NEW BEST:: SOT 92948 SOS 61984 HAS SOPS 51832 HAS SOUS 17151 HAS SOUPS 9844 WITH SCORE 9905.984
AT ITER 2384 NEW BEST:: SOT 92935 SOS 61971 HAS SOPS 51819 HAS SOUS 17125 HAS SOUPS 9818 WITH SCORE 9879.971
AT ITER 2387 NEW BEST:: SOT 92904 SOS 61940 HAS SOPS 51757 HAS SOUS 17154 HAS SOUPS 9756 WITH SCORE 9817.94
AT ITER 2395 NEW BEST:: SOT 92909 SOS 60796 HAS SOPS 50589 HAS SOUS 17135 HAS SOUPS 9713 WITH SCORE 9773.796
AT ITER 2396 NEW BEST:: SOT 92905 SOS 60792 HAS SOPS 50581 HAS SOUS 17155 HAS SOUPS 9705 WITH SCORE 9765.792
AT ITER 2403 NEW BEST:: SOT 92934 SOS 60835 HAS SOPS 50596 HAS SOUS 17164 HAS SOUPS 9686 WITH SCORE 9746.835
AT ITER 2424 NEW BEST:: SOT 92937 SOS 60838 HAS SOPS 50589 HAS SOUS 17150 HAS SOUPS 9672 WITH SCORE 9732.838
AT ITER 2431 NEW BEST:: SOT 92899 SOS 60800 HAS SOPS 50551 HAS SOUS 17150 HAS SOUPS 9672 WITH SCORE 9732.8
AT ITER 2440 NEW BEST:: SOT 92907 SOS 60818 HAS SOPS 50543 HAS SOUS 17164 HAS SOUPS 9664 WITH SCORE 9724.818
AT ITER 2456 NEW BEST:: SOT 92882 SOS 60793 HAS SOPS 50518 HAS SOUS 17114 HAS SOUPS 9614 WITH SCORE 9674.793
AT ITER 2460 NEW BEST:: SOT 92871 SOS 60782 HAS SOPS 50507 HAS SOUS 17114 HAS SOUPS 9614 WITH SCORE 9674.782
AT ITER 2485 NEW BEST:: SOT 92880 SOS 60791 HAS SOPS 50506 HAS SOUS 17104 HAS SOUPS 9594 WITH SCORE 9654.791
AT ITER 2488 NEW BEST:: SOT 92971 SOS 60882 HAS SOPS 50597 HAS SOUS 17088 HAS SOUPS 9578 WITH SCORE 9638.882
AT ITER 2502 NEW BEST:: SOT 92935 SOS 60813 HAS SOPS 50525 HAS SOUS 17016 HAS SOUPS 9506 WITH SCORE 9566.813
AT ITER 2507 NEW BEST:: SOT 92948 SOS 60826 HAS SOPS 50538 HAS SOUS 17007 HAS SOUPS 9497 WITH SCORE 9557.826
AT ITER 2514 NEW BEST:: SOT 92953 SOS 60848 HAS SOPS 50526 HAS SOUS 17012 HAS SOUPS 9468 WITH SCORE 9528.848
AT ITER 2537 NEW BEST:: SOT 92953 SOS 60822 HAS SOPS 50526 HAS SOUS 16986 HAS SOUPS 9468 WITH SCORE 9528.822
AT ITER 2538 NEW BEST:: SOT 92929 SOS 60798 HAS SOPS 50502 HAS SOUS 16985 HAS SOUPS 9467 WITH SCORE 9527.798
AT ITER 2548 NEW BEST:: SOT 93006 SOS 60997 HAS SOPS 50534 HAS SOUS 17062 HAS SOUPS 9438 WITH SCORE 9498.997
AT ITER 2562 NEW BEST:: SOT 92895 SOS 60764 HAS SOPS 50423 HAS SOUS 16980 HAS SOUPS 9429 WITH SCORE 9489.764
AT ITER 2572 NEW BEST:: SOT 92897 SOS 60768 HAS SOPS 50423 HAS SOUS 16982 HAS SOUPS 9427 WITH SCORE 9487.768
AT ITER 2582 NEW BEST:: SOT 92816 SOS 60687 HAS SOPS 50402 HAS SOUS 16943 HAS SOUPS 9419 WITH SCORE 9479.687
AT ITER 2599 NEW BEST:: SOT 92810 SOS 60681 HAS SOPS 50396 HAS SOUS 16943 HAS SOUPS 9419 WITH SCORE 9479.681
AT ITER 2629 NEW BEST:: SOT 92805 SOS 60676 HAS SOPS 50386 HAS SOUS 16955 HAS SOUPS 9409 WITH SCORE 9469.676
AT ITER 2657 NEW BEST:: SOT 92781 SOS 60652 HAS SOPS 50362 HAS SOUS 16931 HAS SOUPS 9385 WITH SCORE 9445.652
AT ITER 2659 NEW BEST:: SOT 91984 SOS 59845 HAS SOPS 49565 HAS SOUS 16124 HAS SOUPS 8588 WITH SCORE 8647.845
AT ITER 2666 NEW BEST:: SOT 91911 SOS 59772 HAS SOPS 49492 HAS SOUS 16084 HAS SOUPS 8548 WITH SCORE 8607.772
AT ITER 2672 NEW BEST:: SOT 91911 SOS 59771 HAS SOPS 49456 HAS SOUS 16073 HAS SOUPS 8512 WITH SCORE 8571.771
AT ITER 2733 NEW BEST:: SOT 91867 SOS 59727 HAS SOPS 49412 HAS SOUS 16067 HAS SOUPS 8506 WITH SCORE 8565.727
AT ITER 2744 NEW BEST:: SOT 91917 SOS 59777 HAS SOPS 49436 HAS SOUS 16042 HAS SOUPS 8455 WITH SCORE 8514.777
AT ITER 2752 NEW BEST:: SOT 91918 SOS 59778 HAS SOPS 49436 HAS SOUS 16042 HAS SOUPS 8454 WITH SCORE 8513.778
AT ITER 2754 NEW BEST:: SOT 91893 SOS 59753 HAS SOPS 49411 HAS SOUS 16032 HAS SOUPS 8444 WITH SCORE 8503.753
AT ITER 2757 NEW BEST:: SOT 91876 SOS 59736 HAS SOPS 49377 HAS SOUS 15998 HAS SOUPS 8410 WITH SCORE 8469.736
AT ITER 2773 NEW BEST:: SOT 91851 SOS 59702 HAS SOPS 49361 HAS SOUS 15973 HAS SOUPS 8403 WITH SCORE 8462.702
AT ITER 2781 NEW BEST:: SOT 91811 SOS 59662 HAS SOPS 49321 HAS SOUS 15973 HAS SOUPS 8403 WITH SCORE 8462.662
AT ITER 2795 NEW BEST:: SOT 91811 SOS 59662 HAS SOPS 49321 HAS SOUS 15972 HAS SOUPS 8402 WITH SCORE 8461.662
AT ITER 2814 NEW BEST:: SOT 91724 SOS 59473 HAS SOPS 49249 HAS SOUS 15885 HAS SOUPS 8381 WITH SCORE 8440.473
AT ITER 2819 NEW BEST:: SOT 91776 SOS 59629 HAS SOPS 49249 HAS SOUS 15885 HAS SOUPS 8329 WITH SCORE 8388.629
AT ITER 2825 NEW BEST:: SOT 91788 SOS 59641 HAS SOPS 49247 HAS SOUS 15895 HAS SOUPS 8325 WITH SCORE 8384.641
AT ITER 2826 NEW BEST:: SOT 91788 SOS 59639 HAS SOPS 49247 HAS SOUS 15895 HAS SOUPS 8325 WITH SCORE 8384.639
AT ITER 2828 NEW BEST:: SOT 91790 SOS 59678 HAS SOPS 49202 HAS SOUS 15897 HAS SOUPS 8271 WITH SCORE 8330.678
AT ITER 2840 NEW BEST:: SOT 91750 SOS 59638 HAS SOPS 49162 HAS SOUS 15841 HAS SOUPS 8215 WITH SCORE 8274.638
AT ITER 2851 NEW BEST:: SOT 91716 SOS 59604 HAS SOPS 49128 HAS SOUS 15841 HAS SOUPS 8215 WITH SCORE 8274.604
AT ITER 2880 NEW BEST:: SOT 91694 SOS 59582 HAS SOPS 49106 HAS SOUS 15833 HAS SOUPS 8207 WITH SCORE 8266.582
AT ITER 2892 NEW BEST:: SOT 91688 SOS 59576 HAS SOPS 49100 HAS SOUS 15833 HAS SOUPS 8207 WITH SCORE 8266.576
AT ITER 2896 NEW BEST:: SOT 91688 SOS 59533 HAS SOPS 49100 HAS SOUS 15833 HAS SOUPS 8207 WITH SCORE 8266.533
AT ITER 2906 NEW BEST:: SOT 91682 SOS 59509 HAS SOPS 49094 HAS SOUS 15821 HAS SOUPS 8195 WITH SCORE 8254.509
AT ITER 2914 NEW BEST:: SOT 91663 SOS 59490 HAS SOPS 49075 HAS SOUS 15802 HAS SOUPS 8176 WITH SCORE 8235.49
AT ITER 2926 NEW BEST:: SOT 91665 SOS 59496 HAS SOPS 49075 HAS SOUS 15804 HAS SOUPS 8174 WITH SCORE 8233.496
AT ITER 2928 NEW BEST:: SOT 91603 SOS 59366 HAS SOPS 49019 HAS SOUS 15742 HAS SOUPS 8152 WITH SCORE 8211.366
AT ITER 2978 NEW BEST:: SOT 91598 SOS 59361 HAS SOPS 49014 HAS SOUS 15742 HAS SOUPS 8152 WITH SCORE 8211.361
AT ITER 2987 NEW BEST:: SOT 91597 SOS 59360 HAS SOPS 49013 HAS SOUS 15740 HAS SOUPS 8150 WITH SCORE 8209.36
AT ITER 3010 NEW BEST:: SOT 91617 SOS 59523 HAS SOPS 49033 HAS SOUS 15780 HAS SOUPS 8147 WITH SCORE 8206.523
AT ITER 3018 NEW BEST:: SOT 91607 SOS 59502 HAS SOPS 49023 HAS SOUS 15760 HAS SOUPS 8127 WITH SCORE 8186.502
AT ITER 3022 NEW BEST:: SOT 91640 SOS 59535 HAS SOPS 49056 HAS SOUS 15758 HAS SOUPS 8125 WITH SCORE 8184.535
AT ITER 3027 NEW BEST:: SOT 91613 SOS 59476 HAS SOPS 49034 HAS SOUS 15731 HAS SOUPS 8119 WITH SCORE 8178.476
AT ITER 3039 NEW BEST:: SOT 91603 SOS 59466 HAS SOPS 49024 HAS SOUS 15711 HAS SOUPS 8099 WITH SCORE 8158.466
AT ITER 3072 NEW BEST:: SOT 91603 SOS 59472 HAS SOPS 49018 HAS SOUS 15711 HAS SOUPS 8087 WITH SCORE 8146.472
AT ITER 3076 NEW BEST:: SOT 91603 SOS 59472 HAS SOPS 49018 HAS SOUS 15701 HAS SOUPS 8077 WITH SCORE 8136.472
AT ITER 3077 NEW BEST:: SOT 91547 SOS 59404 HAS SOPS 48962 HAS SOUS 15639 HAS SOUPS 8021 WITH SCORE 8080.404
AT ITER 3095 NEW BEST:: SOT 91547 SOS 59404 HAS SOPS 48962 HAS SOUS 15633 HAS SOUPS 8015 WITH SCORE 8074.404
AT ITER 3129 NEW BEST:: SOT 91547 SOS 59034 HAS SOPS 48546 HAS SOUS 15640 HAS SOUPS 7999 WITH SCORE 8058.034
AT ITER 3141 NEW BEST:: SOT 91759 SOS 59505 HAS SOPS 48679 HAS SOUS 15820 HAS SOUPS 7990 WITH SCORE 8049.505
AT ITER 3175 NEW BEST:: SOT 91572 SOS 59098 HAS SOPS 48525 HAS SOUS 15633 HAS SOUPS 7946 WITH SCORE 8005.098
AT ITER 3182 NEW BEST:: SOT 91572 SOS 59049 HAS SOPS 48525 HAS SOUS 15633 HAS SOUPS 7946 WITH SCORE 8005.049
AT ITER 3207 NEW BEST:: SOT 91556 SOS 59033 HAS SOPS 48509 HAS SOUS 15601 HAS SOUPS 7914 WITH SCORE 7973.033
AT ITER 3209 NEW BEST:: SOT 91556 SOS 59033 HAS SOPS 48491 HAS SOUS 15565 HAS SOUPS 7878 WITH SCORE 7937.033
AT ITER 3221 NEW BEST:: SOT 91556 SOS 58987 HAS SOPS 48491 HAS SOUS 15565 HAS SOUPS 7878 WITH SCORE 7936.987
AT ITER 3231 NEW BEST:: SOT 91525 SOS 58956 HAS SOPS 48460 HAS SOUS 15565 HAS SOUPS 7878 WITH SCORE 7936.956
AT ITER 3235 NEW BEST:: SOT 91519 SOS 58957 HAS SOPS 48454 HAS SOUS 15566 HAS SOUPS 7872 WITH SCORE 7930.957
AT ITER 3291 NEW BEST:: SOT 91535 SOS 59005 HAS SOPS 48454 HAS SOUS 15582 HAS SOUPS 7856 WITH SCORE 7915.005
AT ITER 3293 NEW BEST:: SOT 91554 SOS 59336 HAS SOPS 48766 HAS SOUS 15594 HAS SOUPS 7849 WITH SCORE 7908.336
AT ITER 3304 NEW BEST:: SOT 91548 SOS 59318 HAS SOPS 48760 HAS SOUS 15582 HAS SOUPS 7843 WITH SCORE 7902.318
AT ITER 3330 NEW BEST:: SOT 91568 SOS 59338 HAS SOPS 48780 HAS SOUS 15551 HAS SOUPS 7812 WITH SCORE 7871.338
AT ITER 3351 NEW BEST:: SOT 91549 SOS 59319 HAS SOPS 48734 HAS SOUS 15513 HAS SOUPS 7774 WITH SCORE 7833.319
AT ITER 3395 NEW BEST:: SOT 91531 SOS 59301 HAS SOPS 48716 HAS SOUS 15477 HAS SOUPS 7738 WITH SCORE 7797.301
AT ITER 3404 NEW BEST:: SOT 91461 SOS 59231 HAS SOPS 48646 HAS SOUS 15477 HAS SOUPS 7738 WITH SCORE 7797.231
AT ITER 3424 NEW BEST:: SOT 91461 SOS 59231 HAS SOPS 48646 HAS SOUS 15475 HAS SOUPS 7736 WITH SCORE 7795.231
AT ITER 3437 NEW BEST:: SOT 91432 SOS 59068 HAS SOPS 48617 HAS SOUS 15416 HAS SOUPS 7707 WITH SCORE 7766.068
AT ITER 3455 NEW BEST:: SOT 91424 SOS 59060 HAS SOPS 48609 HAS SOUS 15408 HAS SOUPS 7699 WITH SCORE 7758.06
AT ITER 3461 NEW BEST:: SOT 91424 SOS 59060 HAS SOPS 48579 HAS SOUS 15408 HAS SOUPS 7669 WITH SCORE 7728.06
AT ITER 3479 NEW BEST:: SOT 91417 SOS 59053 HAS SOPS 48572 HAS SOUS 15394 HAS SOUPS 7655 WITH SCORE 7714.053
AT ITER 3504 NEW BEST:: SOT 91389 SOS 59025 HAS SOPS 48544 HAS SOUS 15384 HAS SOUPS 7645 WITH SCORE 7704.025
AT ITER 3515 NEW BEST:: SOT 91369 SOS 59005 HAS SOPS 48524 HAS SOUS 15374 HAS SOUPS 7635 WITH SCORE 7694.005
AT ITER 3535 NEW BEST:: SOT 91354 SOS 58990 HAS SOPS 48509 HAS SOUS 15354 HAS SOUPS 7615 WITH SCORE 7673.99
AT ITER 3541 NEW BEST:: SOT 91354 SOS 58983 HAS SOPS 48509 HAS SOUS 15347 HAS SOUPS 7615 WITH SCORE 7673.983
AT ITER 3569 NEW BEST:: SOT 91354 SOS 58983 HAS SOPS 48509 HAS SOUS 15336 HAS SOUPS 7604 WITH SCORE 7662.983
AT ITER 3592 NEW BEST:: SOT 91354 SOS 58983 HAS SOPS 48509 HAS SOUS 15304 HAS SOUPS 7572 WITH SCORE 7630.983
AT ITER 3613 NEW BEST:: SOT 91354 SOS 58967 HAS SOPS 48509 HAS SOUS 15304 HAS SOUPS 7572 WITH SCORE 7630.967
AT ITER 3614 NEW BEST:: SOT 91338 SOS 58951 HAS SOPS 48493 HAS SOUS 15304 HAS SOUPS 7572 WITH SCORE 7630.951
AT ITER 3656 NEW BEST:: SOT 91348 SOS 58961 HAS SOPS 48503 HAS SOUS 15299 HAS SOUPS 7567 WITH SCORE 7625.961
AT ITER 3659 NEW BEST:: SOT 91340 SOS 58953 HAS SOPS 48495 HAS SOUS 15283 HAS SOUPS 7551 WITH SCORE 7609.953
AT ITER 3690 NEW BEST:: SOT 91353 SOS 59079 HAS SOPS 48508 HAS SOUS 15309 HAS SOUPS 7548 WITH SCORE 7607.079
AT ITER 3692 NEW BEST:: SOT 91348 SOS 58944 HAS SOPS 48378 HAS SOUS 15304 HAS SOUPS 7548 WITH SCORE 7606.944
AT ITER 3695 NEW BEST:: SOT 91332 SOS 58928 HAS SOPS 48362 HAS SOUS 15298 HAS SOUPS 7542 WITH SCORE 7600.928
AT ITER 3700 NEW BEST:: SOT 91316 SOS 58912 HAS SOPS 48352 HAS SOUS 15260 HAS SOUPS 7510 WITH SCORE 7568.912
AT ITER 3706 NEW BEST:: SOT 91369 SOS 59013 HAS SOPS 48388 HAS SOUS 15296 HAS SOUPS 7498 WITH SCORE 7557.013
AT ITER 3769 NEW BEST:: SOT 91395 SOS 59039 HAS SOPS 48414 HAS SOUS 15294 HAS SOUPS 7496 WITH SCORE 7555.039
AT ITER 3781 NEW BEST:: SOT 91395 SOS 59039 HAS SOPS 48414 HAS SOUS 15266 HAS SOUPS 7468 WITH SCORE 7527.039
AT ITER 3789 NEW BEST:: SOT 91393 SOS 59037 HAS SOPS 48412 HAS SOUS 15262 HAS SOUPS 7464 WITH SCORE 7523.037
AT ITER 3807 NEW BEST:: SOT 91484 SOS 59184 HAS SOPS 48447 HAS SOUS 15342 HAS SOUPS 7432 WITH SCORE 7491.184
AT ITER 3820 NEW BEST:: SOT 91564 SOS 59417 HAS SOPS 48460 HAS SOUS 15422 HAS SOUPS 7369 WITH SCORE 7428.417
AT ITER 3843 NEW BEST:: SOT 91565 SOS 59418 HAS SOPS 48451 HAS SOUS 15414 HAS SOUPS 7351 WITH SCORE 7410.418
AT ITER 3852 NEW BEST:: SOT 91526 SOS 59379 HAS SOPS 48412 HAS SOUS 15336 HAS SOUPS 7273 WITH SCORE 7332.379
AT ITER 3873 NEW BEST:: SOT 91522 SOS 59375 HAS SOPS 48408 HAS SOUS 15328 HAS SOUPS 7265 WITH SCORE 7324.375
AT ITER 3910 NEW BEST:: SOT 91579 SOS 59432 HAS SOPS 48422 HAS SOUS 15342 HAS SOUPS 7241 WITH SCORE 7300.432
AT ITER 3974 NEW BEST:: SOT 91624 SOS 59534 HAS SOPS 48444 HAS SOUS 15375 HAS SOUPS 7240 WITH SCORE 7299.534
AT ITER 4033 NEW BEST:: SOT 91630 SOS 59540 HAS SOPS 48450 HAS SOUS 15370 HAS SOUPS 7235 WITH SCORE 7294.54
AT ITER 4042 NEW BEST:: SOT 91627 SOS 59537 HAS SOPS 48447 HAS SOUS 15364 HAS SOUPS 7229 WITH SCORE 7288.537
AT ITER 4048 NEW BEST:: SOT 91627 SOS 59517 HAS SOPS 48447 HAS SOUS 15364 HAS SOUPS 7229 WITH SCORE 7288.517
AT ITER 4167 NEW BEST:: SOT 91744 SOS 59796 HAS SOPS 48519 HAS SOUS 15481 HAS SOUPS 7220 WITH SCORE 7279.796
AT ITER 4178 NEW BEST:: SOT 91733 SOS 59785 HAS SOPS 48508 HAS SOUS 15447 HAS SOUPS 7186 WITH SCORE 7245.785
AT ITER 4210 NEW BEST:: SOT 91583 SOS 60173 HAS SOPS 48956 HAS SOUS 15290 HAS SOUPS 7059 WITH SCORE 7119.173
AT ITER 4233 NEW BEST:: SOT 91569 SOS 60159 HAS SOPS 48928 HAS SOUS 15289 HAS SOUPS 7031 WITH SCORE 7091.159
AT ITER 4245 NEW BEST:: SOT 91566 SOS 60156 HAS SOPS 48946 HAS SOUS 15262 HAS SOUPS 7025 WITH SCORE 7085.156
AT ITER 4251 NEW BEST:: SOT 91561 SOS 60151 HAS SOPS 48936 HAS SOUS 15257 HAS SOUPS 7015 WITH SCORE 7075.151
AT ITER 4289 NEW BEST:: SOT 91497 SOS 60087 HAS SOPS 48872 HAS SOUS 15257 HAS SOUPS 7015 WITH SCORE 7075.087
AT ITER 4311 NEW BEST:: SOT 91491 SOS 60081 HAS SOPS 48866 HAS SOUS 15245 HAS SOUPS 7003 WITH SCORE 7063.081
AT ITER 4368 NEW BEST:: SOT 91404 SOS 59994 HAS SOPS 48779 HAS SOUS 15224 HAS SOUPS 6982 WITH SCORE 7041.994
AT ITER 4377 NEW BEST:: SOT 91401 SOS 59985 HAS SOPS 48779 HAS SOUS 15218 HAS SOUPS 6982 WITH SCORE 7041.985
AT ITER 4426 NEW BEST:: SOT 91287 SOS 59743 HAS SOPS 48679 HAS SOUS 15104 HAS SOUPS 6946 WITH SCORE 7005.743
AT ITER 4432 NEW BEST:: SOT 91270 SOS 59726 HAS SOPS 48662 HAS SOUS 15070 HAS SOUPS 6912 WITH SCORE 6971.726
AT ITER 4466 NEW BEST:: SOT 91267 SOS 59723 HAS SOPS 48656 HAS SOUS 15064 HAS SOUPS 6906 WITH SCORE 6965.723
AT ITER 4508 NEW BEST:: SOT 91256 SOS 59712 HAS SOPS 48645 HAS SOUS 15064 HAS SOUPS 6906 WITH SCORE 6965.712
AT ITER 4531 NEW BEST:: SOT 91270 SOS 59754 HAS SOPS 48645 HAS SOUS 15078 HAS SOUPS 6892 WITH SCORE 6951.754
AT ITER 4550 NEW BEST:: SOT 91258 SOS 59742 HAS SOPS 48633 HAS SOUS 15054 HAS SOUPS 6868 WITH SCORE 6927.742
AT ITER 4562 NEW BEST:: SOT 91258 SOS 59719 HAS SOPS 48633 HAS SOUS 15054 HAS SOUPS 6868 WITH SCORE 6927.719
AT ITER 4605 NEW BEST:: SOT 91251 SOS 59712 HAS SOPS 48626 HAS SOUS 15040 HAS SOUPS 6854 WITH SCORE 6913.712
AT ITER 4654 NEW BEST:: SOT 91251 SOS 59712 HAS SOPS 48621 HAS SOUS 15030 HAS SOUPS 6844 WITH SCORE 6903.712
AT ITER 4669 NEW BEST:: SOT 91251 SOS 59712 HAS SOPS 48621 HAS SOUS 14987 HAS SOUPS 6801 WITH SCORE 6860.712
AT ITER 4719 NEW BEST:: SOT 91250 SOS 59711 HAS SOPS 48620 HAS SOUS 14987 HAS SOUPS 6801 WITH SCORE 6860.711
AT ITER 4743 NEW BEST:: SOT 91241 SOS 59702 HAS SOPS 48611 HAS SOUS 14969 HAS SOUPS 6783 WITH SCORE 6842.702
AT ITER 4762 NEW BEST:: SOT 91241 SOS 59702 HAS SOPS 48611 HAS SOUS 14967 HAS SOUPS 6781 WITH SCORE 6840.702
AT ITER 4767 NEW BEST:: SOT 91238 SOS 59699 HAS SOPS 48608 HAS SOUS 14967 HAS SOUPS 6781 WITH SCORE 6840.699
AT ITER 4794 NEW BEST:: SOT 91228 SOS 59689 HAS SOPS 48598 HAS SOUS 14961 HAS SOUPS 6775 WITH SCORE 6834.689
AT ITER 4812 NEW BEST:: SOT 91212 SOS 59673 HAS SOPS 48566 HAS SOUS 14950 HAS SOUPS 6743 WITH SCORE 6802.673
AT ITER 4877 NEW BEST:: SOT 91208 SOS 59665 HAS SOPS 48566 HAS SOUS 14946 HAS SOUPS 6743 WITH SCORE 6802.665
AT ITER 4884 NEW BEST:: SOT 91197 SOS 59654 HAS SOPS 48555 HAS SOUS 14935 HAS SOUPS 6732 WITH SCORE 6791.654
AT ITER 4899 NEW BEST:: SOT 91244 SOS 59701 HAS SOPS 48533 HAS SOUS 14906 HAS SOUPS 6672 WITH SCORE 6731.701
AT ITER 4988 NEW BEST:: SOT 91244 SOS 59687 HAS SOPS 48533 HAS SOUS 14906 HAS SOUPS 6672 WITH SCORE 6731.687
AT ITER 5013 NEW BEST:: SOT 91234 SOS 59677 HAS SOPS 48523 HAS SOUS 14904 HAS SOUPS 6670 WITH SCORE 6729.677
AT ITER 5021 NEW BEST:: SOT 91237 SOS 59802 HAS SOPS 48526 HAS SOUS 14910 HAS SOUPS 6626 WITH SCORE 6685.802
AT ITER 5026 NEW BEST:: SOT 91239 SOS 59808 HAS SOPS 48526 HAS SOUS 14910 HAS SOUPS 6624 WITH SCORE 6683.808
AT ITER 5050 NEW BEST:: SOT 91237 SOS 59806 HAS SOPS 48524 HAS SOUS 14908 HAS SOUPS 6622 WITH SCORE 6681.806
AT ITER 5075 NEW BEST:: SOT 91226 SOS 59824 HAS SOPS 48496 HAS SOUS 14903 HAS SOUPS 6600 WITH SCORE 6659.824
AT ITER 5081 NEW BEST:: SOT 91219 SOS 59817 HAS SOPS 48489 HAS SOUS 14896 HAS SOUPS 6593 WITH SCORE 6652.817
AT ITER 5105 NEW BEST:: SOT 91221 SOS 59819 HAS SOPS 48491 HAS SOUS 14894 HAS SOUPS 6591 WITH SCORE 6650.819
AT ITER 5121 NEW BEST:: SOT 91234 SOS 59858 HAS SOPS 48491 HAS SOUS 14894 HAS SOUPS 6578 WITH SCORE 6637.858
AT ITER 5137 NEW BEST:: SOT 91213 SOS 59837 HAS SOPS 48470 HAS SOUS 14874 HAS SOUPS 6558 WITH SCORE 6617.837
AT ITER 5149 NEW BEST:: SOT 91213 SOS 59836 HAS SOPS 48470 HAS SOUS 14874 HAS SOUPS 6558 WITH SCORE 6617.836
AT ITER 5161 NEW BEST:: SOT 91213 SOS 59813 HAS SOPS 48447 HAS SOUS 14828 HAS SOUPS 6512 WITH SCORE 6571.813
AT ITER 5164 NEW BEST:: SOT 91220 SOS 59820 HAS SOPS 48454 HAS SOUS 14824 HAS SOUPS 6508 WITH SCORE 6567.82
AT ITER 5207 NEW BEST:: SOT 91216 SOS 59816 HAS SOPS 48450 HAS SOUS 14816 HAS SOUPS 6500 WITH SCORE 6559.816
AT ITER 5228 NEW BEST:: SOT 91223 SOS 59823 HAS SOPS 48457 HAS SOUS 14794 HAS SOUPS 6478 WITH SCORE 6537.823
AT ITER 5231 NEW BEST:: SOT 91371 SOS 60036 HAS SOPS 48462 HAS SOUS 14942 HAS SOUPS 6418 WITH SCORE 6478.036
AT ITER 5250 NEW BEST:: SOT 91371 SOS 60031 HAS SOPS 48462 HAS SOUS 14942 HAS SOUPS 6418 WITH SCORE 6478.031
AT ITER 5254 NEW BEST:: SOT 91386 SOS 60076 HAS SOPS 48462 HAS SOUS 14957 HAS SOUPS 6403 WITH SCORE 6463.076
AT ITER 5296 NEW BEST:: SOT 91344 SOS 60034 HAS SOPS 48420 HAS SOUS 14929 HAS SOUPS 6375 WITH SCORE 6435.034
AT ITER 5300 NEW BEST:: SOT 91326 SOS 60016 HAS SOPS 48402 HAS SOUS 14893 HAS SOUPS 6339 WITH SCORE 6399.016
AT ITER 5344 NEW BEST:: SOT 91326 SOS 60016 HAS SOPS 48385 HAS SOUS 14859 HAS SOUPS 6305 WITH SCORE 6365.016
AT ITER 5366 NEW BEST:: SOT 91322 SOS 60012 HAS SOPS 48381 HAS SOUS 14851 HAS SOUPS 6297 WITH SCORE 6357.012
AT ITER 5390 NEW BEST:: SOT 91298 SOS 59988 HAS SOPS 48357 HAS SOUS 14803 HAS SOUPS 6249 WITH SCORE 6308.988
AT ITER 5403 NEW BEST:: SOT 91298 SOS 59979 HAS SOPS 48357 HAS SOUS 14803 HAS SOUPS 6249 WITH SCORE 6308.979
AT ITER 5441 NEW BEST:: SOT 91331 SOS 60045 HAS SOPS 48357 HAS SOUS 14836 HAS SOUPS 6216 WITH SCORE 6276.045
AT ITER 5462 NEW BEST:: SOT 91345 SOS 60059 HAS SOPS 48371 HAS SOUS 14826 HAS SOUPS 6206 WITH SCORE 6266.059
AT ITER 5486 NEW BEST:: SOT 91339 SOS 60128 HAS SOPS 48443 HAS SOUS 14820 HAS SOUPS 6203 WITH SCORE 6263.128
AT ITER 5510 NEW BEST:: SOT 91328 SOS 60117 HAS SOPS 48421 HAS SOUS 14809 HAS SOUPS 6181 WITH SCORE 6241.117
AT ITER 5559 NEW BEST:: SOT 91274 SOS 61163 HAS SOPS 49511 HAS SOUS 14755 HAS SOUPS 6171 WITH SCORE 6232.163
AT ITER 5591 NEW BEST:: SOT 91280 SOS 61256 HAS SOPS 49517 HAS SOUS 14767 HAS SOUPS 6155 WITH SCORE 6216.256
AT ITER 5672 NEW BEST:: SOT 91274 SOS 61250 HAS SOPS 49511 HAS SOUS 14755 HAS SOUPS 6143 WITH SCORE 6204.25
AT ITER 5675 NEW BEST:: SOT 91266 SOS 61242 HAS SOPS 49495 HAS SOUS 14739 HAS SOUPS 6127 WITH SCORE 6188.242
AT ITER 5719 NEW BEST:: SOT 91259 SOS 61235 HAS SOPS 49488 HAS SOUS 14727 HAS SOUPS 6115 WITH SCORE 6176.235
AT ITER 5738 NEW BEST:: SOT 91245 SOS 61221 HAS SOPS 49474 HAS SOUS 14706 HAS SOUPS 6094 WITH SCORE 6155.221
AT ITER 5751 NEW BEST:: SOT 91236 SOS 60145 HAS SOPS 48400 HAS SOUS 14699 HAS SOUPS 6087 WITH SCORE 6147.145
AT ITER 5772 NEW BEST:: SOT 91216 SOS 60105 HAS SOPS 48380 HAS SOUS 14679 HAS SOUPS 6087 WITH SCORE 6147.105
AT ITER 5810 NEW BEST:: SOT 91194 SOS 60083 HAS SOPS 48358 HAS SOUS 14657 HAS SOUPS 6065 WITH SCORE 6125.083
AT ITER 5830 NEW BEST:: SOT 91207 SOS 60100 HAS SOPS 48354 HAS SOUS 14666 HAS SOUPS 6057 WITH SCORE 6117.1
AT ITER 5843 NEW BEST:: SOT 91198 SOS 60091 HAS SOPS 48336 HAS SOUS 14657 HAS SOUPS 6039 WITH SCORE 6099.091
AT ITER 5873 NEW BEST:: SOT 91179 SOS 60072 HAS SOPS 48317 HAS SOUS 14619 HAS SOUPS 6001 WITH SCORE 6061.072
AT ITER 5877 NEW BEST:: SOT 91177 SOS 60070 HAS SOPS 48315 HAS SOUS 14615 HAS SOUPS 5997 WITH SCORE 6057.07
AT ITER 5879 NEW BEST:: SOT 91177 SOS 59824 HAS SOPS 48315 HAS SOUS 14492 HAS SOUPS 5997 WITH SCORE 6056.824
AT ITER 5892 NEW BEST:: SOT 91169 SOS 59816 HAS SOPS 48307 HAS SOUS 14476 HAS SOUPS 5981 WITH SCORE 6040.816
AT ITER 5917 NEW BEST:: SOT 91159 SOS 59806 HAS SOPS 48287 HAS SOUS 14466 HAS SOUPS 5961 WITH SCORE 6020.806
AT ITER 5946 NEW BEST:: SOT 91145 SOS 59792 HAS SOPS 48273 HAS SOUS 14452 HAS SOUPS 5947 WITH SCORE 6006.792
AT ITER 5953 NEW BEST:: SOT 91093 SOS 59680 HAS SOPS 48221 HAS SOUS 14408 HAS SOUPS 5933 WITH SCORE 5992.68
AT ITER 5977 NEW BEST:: SOT 91093 SOS 59640 HAS SOPS 48221 HAS SOUS 14408 HAS SOUPS 5933 WITH SCORE 5992.64
AT ITER 5978 NEW BEST:: SOT 91089 SOS 59628 HAS SOPS 48209 HAS SOUS 14400 HAS SOUPS 5925 WITH SCORE 5984.628
AT ITER 5989 NEW BEST:: SOT 91089 SOS 59615 HAS SOPS 48209 HAS SOUS 14400 HAS SOUPS 5925 WITH SCORE 5984.615
AT ITER 6106 NEW BEST:: SOT 91074 SOS 59600 HAS SOPS 48194 HAS SOUS 14370 HAS SOUPS 5895 WITH SCORE 5954.6
AT ITER 6171 NEW BEST:: SOT 91074 SOS 59587 HAS SOPS 48194 HAS SOUS 14370 HAS SOUPS 5895 WITH SCORE 5954.587
AT ITER 6214 NEW BEST:: SOT 90967 SOS 59356 HAS SOPS 48104 HAS SOUS 14263 HAS SOUPS 5867 WITH SCORE 5926.356
AT ITER 6224 NEW BEST:: SOT 90961 SOS 59350 HAS SOPS 48098 HAS SOUS 14263 HAS SOUPS 5867 WITH SCORE 5926.35
AT ITER 6242 NEW BEST:: SOT 90960 SOS 59349 HAS SOPS 48097 HAS SOUS 14261 HAS SOUPS 5865 WITH SCORE 5924.349
AT ITER 6261 NEW BEST:: SOT 90975 SOS 59521 HAS SOPS 48112 HAS SOUS 14291 HAS SOUPS 5850 WITH SCORE 5909.521
AT ITER 6291 NEW BEST:: SOT 90967 SOS 59513 HAS SOPS 48104 HAS SOUS 14275 HAS SOUPS 5834 WITH SCORE 5893.513
AT ITER 6320 NEW BEST:: SOT 90966 SOS 59512 HAS SOPS 48103 HAS SOUS 14273 HAS SOUPS 5832 WITH SCORE 5891.512
AT ITER 6354 NEW BEST:: SOT 90966 SOS 59508 HAS SOPS 48103 HAS SOUS 14273 HAS SOUPS 5832 WITH SCORE 5891.508
AT ITER 6368 NEW BEST:: SOT 90975 SOS 59517 HAS SOPS 48097 HAS SOUS 14261 HAS SOUPS 5820 WITH SCORE 5879.517
AT ITER 6436 NEW BEST:: SOT 90968 SOS 59510 HAS SOPS 48090 HAS SOUS 14247 HAS SOUPS 5806 WITH SCORE 5865.51
AT ITER 6473 NEW BEST:: SOT 90964 SOS 59506 HAS SOPS 48086 HAS SOUS 14247 HAS SOUPS 5806 WITH SCORE 5865.506
AT ITER 6496 NEW BEST:: SOT 90953 SOS 59495 HAS SOPS 48062 HAS SOUS 14238 HAS SOUPS 5784 WITH SCORE 5843.495
AT ITER 6527 NEW BEST:: SOT 90955 SOS 59497 HAS SOPS 48064 HAS SOUS 14234 HAS SOUPS 5780 WITH SCORE 5839.497
AT ITER 6536 NEW BEST:: SOT 90900 SOS 59530 HAS SOPS 48150 HAS SOUS 14179 HAS SOUPS 5778 WITH SCORE 5837.53
AT ITER 6552 NEW BEST:: SOT 90927 SOS 59756 HAS SOPS 48177 HAS SOUS 14233 HAS SOUPS 5767 WITH SCORE 5826.756
AT ITER 6555 NEW BEST:: SOT 90956 SOS 60047 HAS SOPS 48206 HAS SOUS 14291 HAS SOUPS 5745 WITH SCORE 5805.047
AT ITER 6681 NEW BEST:: SOT 90989 SOS 60080 HAS SOPS 48239 HAS SOUS 14289 HAS SOUPS 5743 WITH SCORE 5803.08
AT ITER 6697 NEW BEST:: SOT 90969 SOS 60060 HAS SOPS 48219 HAS SOUS 14269 HAS SOUPS 5723 WITH SCORE 5783.06
AT ITER 6698 NEW BEST:: SOT 90988 SOS 60098 HAS SOPS 48219 HAS SOUS 14288 HAS SOUPS 5704 WITH SCORE 5764.098
AT ITER 6751 NEW BEST:: SOT 90988 SOS 60098 HAS SOPS 48208 HAS SOUS 14266 HAS SOUPS 5682 WITH SCORE 5742.098
AT ITER 6822 NEW BEST:: SOT 90986 SOS 60096 HAS SOPS 48206 HAS SOUS 14262 HAS SOUPS 5678 WITH SCORE 5738.096
AT ITER 6877 NEW BEST:: SOT 90979 SOS 60089 HAS SOPS 48199 HAS SOUS 14262 HAS SOUPS 5678 WITH SCORE 5738.089
AT ITER 6909 NEW BEST:: SOT 90979 SOS 60078 HAS SOPS 48199 HAS SOUS 14251 HAS SOUPS 5678 WITH SCORE 5738.078
AT ITER 6962 NEW BEST:: SOT 90970 SOS 60069 HAS SOPS 48190 HAS SOUS 14233 HAS SOUPS 5660 WITH SCORE 5720.069
AT ITER 6990 NEW BEST:: SOT 90979 SOS 60078 HAS SOPS 48182 HAS SOUS 14217 HAS SOUPS 5644 WITH SCORE 5704.078
AT ITER 7015 NEW BEST:: SOT 90975 SOS 60068 HAS SOPS 48178 HAS SOUS 14212 HAS SOUPS 5642 WITH SCORE 5702.068
AT ITER 7088 NEW BEST:: SOT 90993 SOS 60122 HAS SOPS 48178 HAS SOUS 14230 HAS SOUPS 5624 WITH SCORE 5684.122
AT ITER 7095 NEW BEST:: SOT 90984 SOS 60113 HAS SOPS 48169 HAS SOUS 14230 HAS SOUPS 5624 WITH SCORE 5684.113
AT ITER 7138 NEW BEST:: SOT 90981 SOS 60110 HAS SOPS 48166 HAS SOUS 14224 HAS SOUPS 5618 WITH SCORE 5678.11
AT ITER 7211 NEW BEST:: SOT 90980 SOS 60109 HAS SOPS 48165 HAS SOUS 14222 HAS SOUPS 5616 WITH SCORE 5676.109
AT ITER 7260 NEW BEST:: SOT 90980 SOS 60109 HAS SOPS 48165 HAS SOUS 14219 HAS SOUPS 5613 WITH SCORE 5673.109
AT ITER 7268 NEW BEST:: SOT 91060 SOS 60270 HAS SOPS 48217 HAS SOUS 14271 HAS SOUPS 5606 WITH SCORE 5666.27
AT ITER 7338 NEW BEST:: SOT 91047 SOS 60246 HAS SOPS 48204 HAS SOUS 14256 HAS SOUPS 5602 WITH SCORE 5662.246
AT ITER 7358 NEW BEST:: SOT 91038 SOS 60237 HAS SOPS 48195 HAS SOUS 14238 HAS SOUPS 5584 WITH SCORE 5644.237
AT ITER 7390 NEW BEST:: SOT 91038 SOS 60229 HAS SOPS 48195 HAS SOUS 14238 HAS SOUPS 5584 WITH SCORE 5644.229
AT ITER 7394 NEW BEST:: SOT 91037 SOS 60228 HAS SOPS 48194 HAS SOUS 14236 HAS SOUPS 5582 WITH SCORE 5642.228
AT ITER 7402 NEW BEST:: SOT 91022 SOS 60213 HAS SOPS 48179 HAS SOUS 14206 HAS SOUPS 5552 WITH SCORE 5612.213
AT ITER 7433 NEW BEST:: SOT 91065 SOS 60256 HAS SOPS 48222 HAS SOUS 14190 HAS SOUPS 5536 WITH SCORE 5596.256
AT ITER 7500 NEW BEST:: SOT 91050 SOS 60241 HAS SOPS 48207 HAS SOUS 14178 HAS SOUPS 5524 WITH SCORE 5584.241
AT ITER 7672 NEW BEST:: SOT 91053 SOS 60409 HAS SOPS 48210 HAS SOUS 14184 HAS SOUPS 5486 WITH SCORE 5546.409
AT ITER 7746 NEW BEST:: SOT 91053 SOS 60405 HAS SOPS 48210 HAS SOUS 14184 HAS SOUPS 5486 WITH SCORE 5546.405
AT ITER 7766 NEW BEST:: SOT 91053 SOS 60400 HAS SOPS 48210 HAS SOUS 14184 HAS SOUPS 5486 WITH SCORE 5546.4
AT ITER 7780 NEW BEST:: SOT 91058 SOS 60415 HAS SOPS 48210 HAS SOUS 14189 HAS SOUPS 5481 WITH SCORE 5541.415
AT ITER 7788 NEW BEST:: SOT 91049 SOS 60406 HAS SOPS 48201 HAS SOUS 14180 HAS SOUPS 5472 WITH SCORE 5532.406
AT ITER 7812 NEW BEST:: SOT 91049 SOS 60336 HAS SOPS 48201 HAS SOUS 14180 HAS SOUPS 5472 WITH SCORE 5532.336
AT ITER 7871 NEW BEST:: SOT 91046 SOS 60333 HAS SOPS 48198 HAS SOUS 14180 HAS SOUPS 5472 WITH SCORE 5532.333
AT ITER 7879 NEW BEST:: SOT 91046 SOS 59840 HAS SOPS 47723 HAS SOUS 14162 HAS SOUPS 5472 WITH SCORE 5531.84
AT ITER 7898 NEW BEST:: SOT 91027 SOS 59829 HAS SOPS 47704 HAS SOUS 14151 HAS SOUPS 5453 WITH SCORE 5512.829
AT ITER 7918 NEW BEST:: SOT 91027 SOS 59829 HAS SOPS 47704 HAS SOUS 14150 HAS SOUPS 5452 WITH SCORE 5511.829
AT ITER 7946 NEW BEST:: SOT 91029 SOS 59831 HAS SOPS 47703 HAS SOUS 14148 HAS SOUPS 5450 WITH SCORE 5509.831
AT ITER 7965 NEW BEST:: SOT 91029 SOS 59831 HAS SOPS 47703 HAS SOUS 14144 HAS SOUPS 5446 WITH SCORE 5505.831
AT ITER 7971 NEW BEST:: SOT 91029 SOS 59831 HAS SOPS 47703 HAS SOUS 14143 HAS SOUPS 5445 WITH SCORE 5504.831
AT ITER 7994 NEW BEST:: SOT 91026 SOS 59828 HAS SOPS 47700 HAS SOUS 14137 HAS SOUPS 5439 WITH SCORE 5498.828
AT ITER 8005 NEW BEST:: SOT 91039 SOS 59649 HAS SOPS 47505 HAS SOUS 14142 HAS SOUPS 5436 WITH SCORE 5495.649
AT ITER 8042 NEW BEST:: SOT 91038 SOS 59648 HAS SOPS 47504 HAS SOUS 14140 HAS SOUPS 5434 WITH SCORE 5493.648
AT ITER 8103 NEW BEST:: SOT 91035 SOS 59645 HAS SOPS 47501 HAS SOUS 14134 HAS SOUPS 5428 WITH SCORE 5487.645
AT ITER 8126 NEW BEST:: SOT 91031 SOS 59641 HAS SOPS 47497 HAS SOUS 14126 HAS SOUPS 5420 WITH SCORE 5479.641
AT ITER 8154 NEW BEST:: SOT 91010 SOS 59620 HAS SOPS 47476 HAS SOUS 14084 HAS SOUPS 5378 WITH SCORE 5437.62
AT ITER 8155 NEW BEST:: SOT 91025 SOS 59824 HAS SOPS 47491 HAS SOUS 14114 HAS SOUPS 5369 WITH SCORE 5428.824
AT ITER 8157 NEW BEST:: SOT 91020 SOS 59819 HAS SOPS 47486 HAS SOUS 14104 HAS SOUPS 5359 WITH SCORE 5418.819
AT ITER 8182 NEW BEST:: SOT 91032 SOS 59814 HAS SOPS 47462 HAS SOUS 14116 HAS SOUPS 5352 WITH SCORE 5411.814
AT ITER 8190 NEW BEST:: SOT 91032 SOS 59822 HAS SOPS 47458 HAS SOUS 14116 HAS SOUPS 5344 WITH SCORE 5403.822
AT ITER 8202 NEW BEST:: SOT 91032 SOS 59813 HAS SOPS 47458 HAS SOUS 14107 HAS SOUPS 5344 WITH SCORE 5403.813
AT ITER 8240 NEW BEST:: SOT 91015 SOS 59796 HAS SOPS 47458 HAS SOUS 14090 HAS SOUPS 5344 WITH SCORE 5403.796
AT ITER 8255 NEW BEST:: SOT 91015 SOS 59758 HAS SOPS 47458 HAS SOUS 14090 HAS SOUPS 5344 WITH SCORE 5403.758
AT ITER 8457 NEW BEST:: SOT 91013 SOS 59756 HAS SOPS 47456 HAS SOUS 14086 HAS SOUPS 5340 WITH SCORE 5399.756
AT ITER 8479 NEW BEST:: SOT 91010 SOS 59753 HAS SOPS 47453 HAS SOUS 14083 HAS SOUPS 5337 WITH SCORE 5396.753
AT ITER 8509 NEW BEST:: SOT 91004 SOS 59747 HAS SOPS 47447 HAS SOUS 14077 HAS SOUPS 5331 WITH SCORE 5390.747
AT ITER 8553 NEW BEST:: SOT 91004 SOS 59747 HAS SOPS 47447 HAS SOUS 14065 HAS SOUPS 5319 WITH SCORE 5378.747
AT ITER 8607 NEW BEST:: SOT 91004 SOS 59728 HAS SOPS 47447 HAS SOUS 14065 HAS SOUPS 5319 WITH SCORE 5378.728
AT ITER 8618 NEW BEST:: SOT 91003 SOS 59727 HAS SOPS 47446 HAS SOUS 14063 HAS SOUPS 5317 WITH SCORE 5376.727
AT ITER 8626 NEW BEST:: SOT 91011 SOS 59735 HAS SOPS 47454 HAS SOUS 14061 HAS SOUPS 5315 WITH SCORE 5374.735
AT ITER 8664 NEW BEST:: SOT 91010 SOS 59734 HAS SOPS 47438 HAS SOUS 14059 HAS SOUPS 5313 WITH SCORE 5372.734
AT ITER 8683 NEW BEST:: SOT 91011 SOS 59735 HAS SOPS 47439 HAS SOUS 14053 HAS SOUPS 5307 WITH SCORE 5366.735
AT ITER 8706 NEW BEST:: SOT 91000 SOS 59720 HAS SOPS 47435 HAS SOUS 14042 HAS SOUPS 5307 WITH SCORE 5366.72
AT ITER 8729 NEW BEST:: SOT 90992 SOS 59696 HAS SOPS 47427 HAS SOUS 14026 HAS SOUPS 5299 WITH SCORE 5358.696
AT ITER 8764 NEW BEST:: SOT 90983 SOS 59662 HAS SOPS 47419 HAS SOUS 13992 HAS SOUPS 5291 WITH SCORE 5350.662
AT ITER 8792 NEW BEST:: SOT 90981 SOS 59660 HAS SOPS 47417 HAS SOUS 13988 HAS SOUPS 5287 WITH SCORE 5346.66
AT ITER 8935 NEW BEST:: SOT 91013 SOS 59756 HAS SOPS 47417 HAS SOUS 13988 HAS SOUPS 5255 WITH SCORE 5314.756
AT ITER 9006 NEW BEST:: SOT 91006 SOS 59749 HAS SOPS 47410 HAS SOUS 13974 HAS SOUPS 5241 WITH SCORE 5300.749
AT ITER 9072 NEW BEST:: SOT 91002 SOS 59745 HAS SOPS 47402 HAS SOUS 13970 HAS SOUPS 5233 WITH SCORE 5292.745
AT ITER 9199 NEW BEST:: SOT 90940 SOS 59603 HAS SOPS 47358 HAS SOUS 13908 HAS SOUPS 5229 WITH SCORE 5288.603
AT ITER 9208 NEW BEST:: SOT 90864 SOS 59527 HAS SOPS 47304 HAS SOUS 13881 HAS SOUPS 5224 WITH SCORE 5283.527
AT ITER 9227 NEW BEST:: SOT 90866 SOS 59529 HAS SOPS 47306 HAS SOUS 13873 HAS SOUPS 5216 WITH SCORE 5275.529
AT ITER 9237 NEW BEST:: SOT 90868 SOS 59535 HAS SOPS 47306 HAS SOUS 13875 HAS SOUPS 5214 WITH SCORE 5273.535
AT ITER 9272 NEW BEST:: SOT 90873 SOS 59540 HAS SOPS 47307 HAS SOUS 13871 HAS SOUPS 5210 WITH SCORE 5269.54
AT ITER 9287 NEW BEST:: SOT 90869 SOS 59528 HAS SOPS 47303 HAS SOUS 13863 HAS SOUPS 5206 WITH SCORE 5265.528
AT ITER 9313 NEW BEST:: SOT 90867 SOS 59526 HAS SOPS 47301 HAS SOUS 13859 HAS SOUPS 5202 WITH SCORE 5261.526
AT ITER 9339 NEW BEST:: SOT 90856 SOS 59515 HAS SOPS 47290 HAS SOUS 13852 HAS SOUPS 5195 WITH SCORE 5254.515
AT ITER 9341 NEW BEST:: SOT 90840 SOS 59491 HAS SOPS 47274 HAS SOUS 13828 HAS SOUPS 5179 WITH SCORE 5238.491
AT ITER 9455 NEW BEST:: SOT 90838 SOS 59489 HAS SOPS 47257 HAS SOUS 13824 HAS SOUPS 5175 WITH SCORE 5234.489
AT ITER 9472 NEW BEST:: SOT 90827 SOS 59478 HAS SOPS 47246 HAS SOUS 13802 HAS SOUPS 5153 WITH SCORE 5212.478
AT ITER 9575 NEW BEST:: SOT 90816 SOS 59467 HAS SOPS 47235 HAS SOUS 13795 HAS SOUPS 5146 WITH SCORE 5205.467
AT ITER 9590 NEW BEST:: SOT 90809 SOS 59460 HAS SOPS 47204 HAS SOUS 13805 HAS SOUPS 5132 WITH SCORE 5191.46
AT ITER 9642 NEW BEST:: SOT 90807 SOS 59458 HAS SOPS 47199 HAS SOUS 13801 HAS SOUPS 5128 WITH SCORE 5187.458
AT ITER 9862 NEW BEST:: SOT 90803 SOS 59454 HAS SOPS 47195 HAS SOUS 13797 HAS SOUPS 5124 WITH SCORE 5183.454
AT ITER 9964 NEW BEST:: SOT 90802 SOS 59453 HAS SOPS 47194 HAS SOUS 13795 HAS SOUPS 5122 WITH SCORE 5181.453
STATE_SPACE STATES 4471223 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 158 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 19756224 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678731192358

--------------------
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

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="AirplaneLD-PT-0050"
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 AirplaneLD-PT-0050, 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 r011-oct2-167813600000264"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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