fond
Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r227-tall-167856410800696
Last Updated
May 14, 2023

About the Execution of Smart for Medical-PT-12

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
7876.584 3600000.00 3599839.00 349.80 [undef] Time out reached

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r227-tall-167856410800696.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 smart
Input is Medical-PT-12, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r227-tall-167856410800696
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.5M
-rw-r--r-- 1 mcc users 6.8K Feb 25 14:37 CTLCardinality.txt
-rw-r--r-- 1 mcc users 68K Feb 25 14:37 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 25 14:35 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 25 14:35 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:23 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:23 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:23 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 25 16:23 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 14:42 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 99K Feb 25 14:42 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 14:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 97K Feb 25 14:39 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:23 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:23 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 3.1M 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 1678623080674

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=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=Medical-PT-12
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Medical (PT), instance 12
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 312 places, 5431 transitions, 28790 arcs.
AT ITER 0 NEW BEST:: SOT 1171486 SOS 639970 HAS SOPS 636874 HAS SOUS 256115 HAS SOUPS 253298 WITH SCORE 253937.97
AT ITER 1 NEW BEST:: SOT 1171141 SOS 639625 HAS SOPS 636529 HAS SOUS 255506 HAS SOUPS 252689 WITH SCORE 253328.625
AT ITER 4 NEW BEST:: SOT 1171089 SOS 639573 HAS SOPS 636477 HAS SOUS 255394 HAS SOUPS 252577 WITH SCORE 253216.573
AT ITER 6 NEW BEST:: SOT 1171099 SOS 639674 HAS SOPS 636551 HAS SOUS 254170 HAS SOUPS 251353 WITH SCORE 251992.674
AT ITER 8 NEW BEST:: SOT 1171746 SOS 640237 HAS SOPS 637114 HAS SOUS 253506 HAS SOUPS 250689 WITH SCORE 251329.237
AT ITER 9 NEW BEST:: SOT 1171746 SOS 640207 HAS SOPS 637114 HAS SOUS 253327 HAS SOUPS 250525 WITH SCORE 251165.207
AT ITER 11 NEW BEST:: SOT 1171761 SOS 640222 HAS SOPS 637129 HAS SOUS 253246 HAS SOUPS 250444 WITH SCORE 251084.222
AT ITER 22 NEW BEST:: SOT 1171761 SOS 640222 HAS SOPS 637129 HAS SOUS 253150 HAS SOUPS 250348 WITH SCORE 250988.222
AT ITER 26 NEW BEST:: SOT 1171798 SOS 640259 HAS SOPS 637166 HAS SOUS 252514 HAS SOUPS 249712 WITH SCORE 250352.259
AT ITER 39 NEW BEST:: SOT 1170967 SOS 627212 HAS SOPS 623291 HAS SOUS 251657 HAS SOUPS 248855 WITH SCORE 249482.212
AT ITER 50 NEW BEST:: SOT 1170967 SOS 628412 HAS SOPS 624491 HAS SOUS 251602 HAS SOUPS 248800 WITH SCORE 249428.412
AT ITER 54 NEW BEST:: SOT 1157220 SOS 636696 HAS SOPS 632775 HAS SOUS 237364 HAS SOUPS 234562 WITH SCORE 235198.696
AT ITER 62 NEW BEST:: SOT 1157237 SOS 641753 HAS SOPS 637832 HAS SOUS 237259 HAS SOUPS 234457 WITH SCORE 235098.753
AT ITER 77 NEW BEST:: SOT 1157237 SOS 641753 HAS SOPS 637832 HAS SOUS 236910 HAS SOUPS 234108 WITH SCORE 234749.753
AT ITER 79 NEW BEST:: SOT 1157237 SOS 642761 HAS SOPS 638840 HAS SOUS 236658 HAS SOUPS 233856 WITH SCORE 234498.761
AT ITER 81 NEW BEST:: SOT 1157237 SOS 641945 HAS SOPS 638024 HAS SOUS 236658 HAS SOUPS 233856 WITH SCORE 234497.945
AT ITER 94 NEW BEST:: SOT 1157636 SOS 642344 HAS SOPS 638423 HAS SOUS 236553 HAS SOUPS 233751 WITH SCORE 234393.344
AT ITER 99 NEW BEST:: SOT 1157588 SOS 642909 HAS SOPS 639008 HAS SOUS 235791 HAS SOUPS 232989 WITH SCORE 233631.909
AT ITER 100 NEW BEST:: SOT 1158289 SOS 642940 HAS SOPS 639144 HAS SOUS 233585 HAS SOUPS 230825 WITH SCORE 231467.94
AT ITER 128 NEW BEST:: SOT 1158287 SOS 642938 HAS SOPS 639142 HAS SOUS 233550 HAS SOUPS 230790 WITH SCORE 231432.938
AT ITER 133 NEW BEST:: SOT 1158287 SOS 644450 HAS SOPS 640654 HAS SOUS 233167 HAS SOUPS 230407 WITH SCORE 231051.45
AT ITER 134 NEW BEST:: SOT 1159237 SOS 644795 HAS SOPS 641144 HAS SOUS 229098 HAS SOUPS 226420 WITH SCORE 227064.795
AT ITER 137 NEW BEST:: SOT 1159082 SOS 643260 HAS SOPS 639609 HAS SOUS 229089 HAS SOUPS 226411 WITH SCORE 227054.26
AT ITER 138 NEW BEST:: SOT 1159082 SOS 643260 HAS SOPS 639609 HAS SOUS 229075 HAS SOUPS 226397 WITH SCORE 227040.26
AT ITER 140 NEW BEST:: SOT 1157986 SOS 647884 HAS SOPS 644252 HAS SOUS 228794 HAS SOUPS 226116 WITH SCORE 226763.884
AT ITER 142 NEW BEST:: SOT 1157986 SOS 648796 HAS SOPS 645164 HAS SOUS 228595 HAS SOUPS 225917 WITH SCORE 226565.796
AT ITER 145 NEW BEST:: SOT 1159174 SOS 651215 HAS SOPS 647604 HAS SOUS 227831 HAS SOUPS 225153 WITH SCORE 225804.215
AT ITER 157 NEW BEST:: SOT 1159125 SOS 650842 HAS SOPS 647231 HAS SOUS 227811 HAS SOUPS 225133 WITH SCORE 225783.842
AT ITER 159 NEW BEST:: SOT 1158349 SOS 653428 HAS SOPS 649817 HAS SOUS 227340 HAS SOUPS 224662 WITH SCORE 225315.428
AT ITER 165 NEW BEST:: SOT 1159637 SOS 654652 HAS SOPS 651049 HAS SOUS 227135 HAS SOUPS 224457 WITH SCORE 225111.652
AT ITER 169 NEW BEST:: SOT 1158979 SOS 653271 HAS SOPS 649767 HAS SOUS 225441 HAS SOUPS 222796 WITH SCORE 223449.271
AT ITER 171 NEW BEST:: SOT 1159765 SOS 655344 HAS SOPS 651840 HAS SOUS 224921 HAS SOUPS 222276 WITH SCORE 222931.344
AT ITER 173 NEW BEST:: SOT 1159261 SOS 655009 HAS SOPS 651487 HAS SOUS 224728 HAS SOUPS 222083 WITH SCORE 222738.009
AT ITER 175 NEW BEST:: SOT 1159588 SOS 656409 HAS SOPS 652887 HAS SOUS 223989 HAS SOUPS 221344 WITH SCORE 222000.409
AT ITER 181 NEW BEST:: SOT 1159537 SOS 658130 HAS SOPS 656060 HAS SOUS 222117 HAS SOUPS 220924 WITH SCORE 221582.13
AT ITER 186 NEW BEST:: SOT 1159262 SOS 658315 HAS SOPS 656245 HAS SOUS 221707 HAS SOUPS 220514 WITH SCORE 221172.315
AT ITER 191 NEW BEST:: SOT 1159262 SOS 658459 HAS SOPS 656389 HAS SOUS 221671 HAS SOUPS 220478 WITH SCORE 221136.459
AT ITER 192 NEW BEST:: SOT 1159512 SOS 658655 HAS SOPS 656585 HAS SOUS 221115 HAS SOUPS 219922 WITH SCORE 220580.655
AT ITER 194 NEW BEST:: SOT 1158189 SOS 661793 HAS SOPS 659754 HAS SOUS 220205 HAS SOUPS 219012 WITH SCORE 219673.793
AT ITER 207 NEW BEST:: SOT 1148162 SOS 734004 HAS SOPS 733755 HAS SOUS 210964 HAS SOUPS 210742 WITH SCORE 211476.004
AT ITER 208 NEW BEST:: SOT 1146874 SOS 733228 HAS SOPS 732979 HAS SOUS 209553 HAS SOUPS 209331 WITH SCORE 210064.228
AT ITER 211 NEW BEST:: SOT 1147513 SOS 735559 HAS SOPS 735310 HAS SOUS 207993 HAS SOUPS 207771 WITH SCORE 208506.559
AT ITER 218 NEW BEST:: SOT 1147523 SOS 735809 HAS SOPS 735560 HAS SOUS 207943 HAS SOUPS 207721 WITH SCORE 208456.809
AT ITER 220 NEW BEST:: SOT 1147546 SOS 736696 HAS SOPS 736447 HAS SOUS 207773 HAS SOUPS 207551 WITH SCORE 208287.696
AT ITER 221 NEW BEST:: SOT 1147662 SOS 736812 HAS SOPS 736563 HAS SOUS 207236 HAS SOUPS 207014 WITH SCORE 207750.812
AT ITER 235 NEW BEST:: SOT 1147664 SOS 736814 HAS SOPS 736565 HAS SOUS 206996 HAS SOUPS 206774 WITH SCORE 207510.814
AT ITER 238 NEW BEST:: SOT 1147662 SOS 736808 HAS SOPS 736563 HAS SOUS 206944 HAS SOUPS 206726 WITH SCORE 207462.808
AT ITER 241 NEW BEST:: SOT 1148325 SOS 737466 HAS SOPS 737226 HAS SOUS 205655 HAS SOUPS 205442 WITH SCORE 206179.466
AT ITER 245 NEW BEST:: SOT 1148179 SOS 737320 HAS SOPS 737080 HAS SOUS 205509 HAS SOUPS 205296 WITH SCORE 206033.32
AT ITER 250 NEW BEST:: SOT 1148704 SOS 733455 HAS SOPS 731019 HAS SOUS 205783 HAS SOUPS 204873 WITH SCORE 205606.455
AT ITER 252 NEW BEST:: SOT 1155458 SOS 741097 HAS SOPS 738661 HAS SOUS 204973 HAS SOUPS 204063 WITH SCORE 204804.097
AT ITER 253 NEW BEST:: SOT 1155458 SOS 740281 HAS SOPS 737845 HAS SOUS 204973 HAS SOUPS 204063 WITH SCORE 204803.281
AT ITER 255 NEW BEST:: SOT 1155332 SOS 740601 HAS SOPS 738165 HAS SOUS 204897 HAS SOUPS 203987 WITH SCORE 204727.601
AT ITER 257 NEW BEST:: SOT 1154173 SOS 739543 HAS SOPS 737154 HAS SOUS 203807 HAS SOUPS 202944 WITH SCORE 203683.543
AT ITER 259 NEW BEST:: SOT 1154523 SOS 739865 HAS SOPS 737504 HAS SOUS 202224 HAS SOUPS 201375 WITH SCORE 202114.865
AT ITER 266 NEW BEST:: SOT 1155964 SOS 741628 HAS SOPS 739267 HAS SOUS 201684 HAS SOUPS 200835 WITH SCORE 201576.628
AT ITER 267 NEW BEST:: SOT 1153721 SOS 739375 HAS SOPS 737014 HAS SOUS 200477 HAS SOUPS 199628 WITH SCORE 200367.375
AT ITER 268 NEW BEST:: SOT 1151080 SOS 736734 HAS SOPS 734373 HAS SOUS 199633 HAS SOUPS 198784 WITH SCORE 199520.734
AT ITER 269 NEW BEST:: SOT 1151080 SOS 737284 HAS SOPS 735161 HAS SOUS 198609 HAS SOUPS 197809 WITH SCORE 198546.284
AT ITER 280 NEW BEST:: SOT 1151080 SOS 740116 HAS SOPS 737993 HAS SOUS 197711 HAS SOUPS 196911 WITH SCORE 197651.116
AT ITER 285 NEW BEST:: SOT 1155308 SOS 749068 HAS SOPS 746777 HAS SOUS 194217 HAS SOUPS 193375 WITH SCORE 194124.068
AT ITER 286 NEW BEST:: SOT 1155325 SOS 749106 HAS SOPS 746794 HAS SOUS 194170 HAS SOUPS 193311 WITH SCORE 194060.106
AT ITER 287 NEW BEST:: SOT 1158669 SOS 752450 HAS SOPS 750138 HAS SOUS 192629 HAS SOUPS 191770 WITH SCORE 192522.45
AT ITER 297 NEW BEST:: SOT 1158675 SOS 753888 HAS SOPS 751576 HAS SOUS 192484 HAS SOUPS 191625 WITH SCORE 192378.888
AT ITER 307 NEW BEST:: SOT 1165161 SOS 760374 HAS SOPS 758062 HAS SOUS 191268 HAS SOUPS 190409 WITH SCORE 191169.374
AT ITER 312 NEW BEST:: SOT 1165176 SOS 761013 HAS SOPS 758725 HAS SOUS 190969 HAS SOUPS 190134 WITH SCORE 190895.013
AT ITER 313 NEW BEST:: SOT 1165945 SOS 761771 HAS SOPS 759494 HAS SOUS 190167 HAS SOUPS 189343 WITH SCORE 190104.771
AT ITER 317 NEW BEST:: SOT 1165949 SOS 761775 HAS SOPS 759498 HAS SOUS 190147 HAS SOUPS 189323 WITH SCORE 190084.775
AT ITER 324 NEW BEST:: SOT 1164829 SOS 764241 HAS SOPS 761964 HAS SOUS 189163 HAS SOUPS 188339 WITH SCORE 189103.241
AT ITER 329 NEW BEST:: SOT 1168446 SOS 767858 HAS SOPS 765581 HAS SOUS 188063 HAS SOUPS 187239 WITH SCORE 188006.858
AT ITER 335 NEW BEST:: SOT 1169981 SOS 769393 HAS SOPS 767116 HAS SOUS 187335 HAS SOUPS 186511 WITH SCORE 187280.393
AT ITER 336 NEW BEST:: SOT 1170422 SOS 769855 HAS SOPS 767557 HAS SOUS 186688 HAS SOUPS 185843 WITH SCORE 186612.855
AT ITER 348 NEW BEST:: SOT 1169238 SOS 766703 HAS SOPS 764405 HAS SOUS 186307 HAS SOUPS 185462 WITH SCORE 186228.703
AT ITER 354 NEW BEST:: SOT 1169238 SOS 751433 HAS SOPS 749135 HAS SOUS 186277 HAS SOUPS 185432 WITH SCORE 186183.433
AT ITER 357 NEW BEST:: SOT 1169238 SOS 752658 HAS SOPS 750360 HAS SOUS 185812 HAS SOUPS 184967 WITH SCORE 185719.658
AT ITER 360 NEW BEST:: SOT 1169234 SOS 752942 HAS SOPS 750644 HAS SOUS 185322 HAS SOUPS 184477 WITH SCORE 185229.942
AT ITER 363 NEW BEST:: SOT 1172819 SOS 756483 HAS SOPS 754229 HAS SOUS 183854 HAS SOUPS 183049 WITH SCORE 183805.483
AT ITER 366 NEW BEST:: SOT 1172819 SOS 753931 HAS SOPS 751897 HAS SOUS 183275 HAS SOUPS 182514 WITH SCORE 183267.931
AT ITER 367 NEW BEST:: SOT 1172819 SOS 754880 HAS SOPS 752873 HAS SOUS 183020 HAS SOUPS 182286 WITH SCORE 183040.88
AT ITER 375 NEW BEST:: SOT 1172819 SOS 754805 HAS SOPS 752798 HAS SOUS 183020 HAS SOUPS 182286 WITH SCORE 183040.805
AT ITER 377 NEW BEST:: SOT 1175834 SOS 758132 HAS SOPS 756125 HAS SOUS 178793 HAS SOUPS 178059 WITH SCORE 178817.132
AT ITER 380 NEW BEST:: SOT 1175771 SOS 758047 HAS SOPS 756062 HAS SOUS 178170 HAS SOUPS 177458 WITH SCORE 178216.047
AT ITER 386 NEW BEST:: SOT 1175788 SOS 758069 HAS SOPS 756079 HAS SOUS 177702 HAS SOUPS 176985 WITH SCORE 177743.069
AT ITER 387 NEW BEST:: SOT 1175788 SOS 765320 HAS SOPS 763330 HAS SOUS 177657 HAS SOUPS 176940 WITH SCORE 177705.32
AT ITER 390 NEW BEST:: SOT 1175788 SOS 764960 HAS SOPS 762970 HAS SOUS 177657 HAS SOUPS 176940 WITH SCORE 177704.96
AT ITER 396 NEW BEST:: SOT 1175788 SOS 782272 HAS SOPS 781058 HAS SOUS 177068 HAS SOUPS 176545 WITH SCORE 177327.272
AT ITER 404 NEW BEST:: SOT 1176101 SOS 784049 HAS SOPS 782835 HAS SOUS 176581 HAS SOUPS 176058 WITH SCORE 176842.049
AT ITER 405 NEW BEST:: SOT 1176186 SOS 784134 HAS SOPS 782920 HAS SOUS 176267 HAS SOUPS 175744 WITH SCORE 176528.134
AT ITER 412 NEW BEST:: SOT 1176186 SOS 784134 HAS SOPS 782920 HAS SOUS 176265 HAS SOUPS 175742 WITH SCORE 176526.134
AT ITER 415 NEW BEST:: SOT 1176138 SOS 784086 HAS SOPS 782872 HAS SOUS 176096 HAS SOUPS 175573 WITH SCORE 176357.086
AT ITER 424 NEW BEST:: SOT 1176138 SOS 785103 HAS SOPS 783912 HAS SOUS 175827 HAS SOUPS 175327 WITH SCORE 176112.103
AT ITER 447 NEW BEST:: SOT 1175966 SOS 787547 HAS SOPS 786356 HAS SOUS 175759 HAS SOUPS 175259 WITH SCORE 176046.547
AT ITER 450 NEW BEST:: SOT 1175945 SOS 786614 HAS SOPS 785423 HAS SOUS 175713 HAS SOUPS 175213 WITH SCORE 175999.614
AT ITER 454 NEW BEST:: SOT 1175915 SOS 786584 HAS SOPS 785393 HAS SOUS 175449 HAS SOUPS 174949 WITH SCORE 175735.584
AT ITER 458 NEW BEST:: SOT 1175862 SOS 786510 HAS SOPS 785340 HAS SOUS 175384 HAS SOUPS 174905 WITH SCORE 175691.51
AT ITER 460 NEW BEST:: SOT 1176605 SOS 787253 HAS SOPS 786083 HAS SOUS 175292 HAS SOUPS 174813 WITH SCORE 175600.253
AT ITER 464 NEW BEST:: SOT 1164237 SOS 775929 HAS SOPS 774739 HAS SOUS 174420 HAS SOUPS 173921 WITH SCORE 174696.929
AT ITER 491 NEW BEST:: SOT 1164281 SOS 775175 HAS SOPS 773777 HAS SOUS 174488 HAS SOUPS 173781 WITH SCORE 174556.175
AT ITER 492 NEW BEST:: SOT 1164653 SOS 774827 HAS SOPS 773409 HAS SOUS 173819 HAS SOUPS 173112 WITH SCORE 173886.827
AT ITER 502 NEW BEST:: SOT 1164653 SOS 774827 HAS SOPS 773409 HAS SOUS 173795 HAS SOUPS 173088 WITH SCORE 173862.827
AT ITER 505 NEW BEST:: SOT 1164653 SOS 775007 HAS SOPS 773589 HAS SOUS 173738 HAS SOUPS 173031 WITH SCORE 173806.007
AT ITER 513 NEW BEST:: SOT 1164613 SOS 774967 HAS SOPS 773549 HAS SOUS 173720 HAS SOUPS 173013 WITH SCORE 173787.967
AT ITER 514 NEW BEST:: SOT 1164888 SOS 775256 HAS SOPS 773852 HAS SOUS 169960 HAS SOUPS 169267 WITH SCORE 170042.256
AT ITER 533 NEW BEST:: SOT 1163254 SOS 773525 HAS SOPS 772090 HAS SOUS 169606 HAS SOUPS 168913 WITH SCORE 169686.525
AT ITER 534 NEW BEST:: SOT 1162355 SOS 773421 HAS SOPS 771986 HAS SOUS 169081 HAS SOUPS 168388 WITH SCORE 169161.421
AT ITER 537 NEW BEST:: SOT 1164949 SOS 776015 HAS SOPS 774580 HAS SOUS 168579 HAS SOUPS 167886 WITH SCORE 168662.015
AT ITER 545 NEW BEST:: SOT 1164958 SOS 776384 HAS SOPS 774849 HAS SOUS 168495 HAS SOUPS 167702 WITH SCORE 168478.384
AT ITER 555 NEW BEST:: SOT 1167813 SOS 777741 HAS SOPS 776223 HAS SOUS 167115 HAS SOUPS 166319 WITH SCORE 167096.741
AT ITER 564 NEW BEST:: SOT 1167813 SOS 775941 HAS SOPS 774423 HAS SOUS 167115 HAS SOUPS 166319 WITH SCORE 167094.941
AT ITER 573 NEW BEST:: SOT 1168231 SOS 777223 HAS SOPS 775705 HAS SOUS 166310 HAS SOUPS 165514 WITH SCORE 166291.223
AT ITER 575 NEW BEST:: SOT 1170820 SOS 779812 HAS SOPS 778294 HAS SOUS 165109 HAS SOUPS 164313 WITH SCORE 165092.812
AT ITER 590 NEW BEST:: SOT 1169856 SOS 704343 HAS SOPS 702469 HAS SOUS 164049 HAS SOUPS 163162 WITH SCORE 163866.343
AT ITER 594 NEW BEST:: SOT 1169806 SOS 704293 HAS SOPS 702419 HAS SOUS 163944 HAS SOUPS 163057 WITH SCORE 163761.293
AT ITER 596 NEW BEST:: SOT 1169829 SOS 703789 HAS SOPS 701803 HAS SOUS 163946 HAS SOUPS 162947 WITH SCORE 163650.789
AT ITER 598 NEW BEST:: SOT 1170038 SOS 704238 HAS SOPS 702252 HAS SOUS 163944 HAS SOUPS 162945 WITH SCORE 163649.238
AT ITER 603 NEW BEST:: SOT 1170251 SOS 709852 HAS SOPS 707904 HAS SOUS 161739 HAS SOUPS 160753 WITH SCORE 161462.852
AT ITER 604 NEW BEST:: SOT 1170251 SOS 709951 HAS SOPS 708012 HAS SOUS 161703 HAS SOUPS 160726 WITH SCORE 161435.951
AT ITER 607 NEW BEST:: SOT 1170220 SOS 709968 HAS SOPS 708029 HAS SOUS 161668 HAS SOUPS 160691 WITH SCORE 161400.968
AT ITER 614 NEW BEST:: SOT 1169767 SOS 709515 HAS SOPS 707576 HAS SOUS 161456 HAS SOUPS 160479 WITH SCORE 161188.515
AT ITER 634 NEW BEST:: SOT 1169767 SOS 709658 HAS SOPS 707732 HAS SOUS 161363 HAS SOUPS 160399 WITH SCORE 161108.658
AT ITER 636 NEW BEST:: SOT 1169767 SOS 711434 HAS SOPS 709508 HAS SOUS 161361 HAS SOUPS 160397 WITH SCORE 161108.434
AT ITER 637 NEW BEST:: SOT 1170465 SOS 710218 HAS SOPS 708292 HAS SOUS 160910 HAS SOUPS 159946 WITH SCORE 160656.218
AT ITER 643 NEW BEST:: SOT 1168212 SOS 707965 HAS SOPS 706039 HAS SOUS 160473 HAS SOUPS 159509 WITH SCORE 160216.965
AT ITER 645 NEW BEST:: SOT 1168578 SOS 709152 HAS SOPS 707269 HAS SOUS 159482 HAS SOUPS 158561 WITH SCORE 159270.152
AT ITER 647 NEW BEST:: SOT 1169598 SOS 710172 HAS SOPS 708289 HAS SOUS 159362 HAS SOUPS 158441 WITH SCORE 159151.172
AT ITER 658 NEW BEST:: SOT 1169743 SOS 714315 HAS SOPS 712466 HAS SOUS 158235 HAS SOUPS 157348 WITH SCORE 158062.315
AT ITER 667 NEW BEST:: SOT 1169909 SOS 724916 HAS SOPS 722712 HAS SOUS 157350 HAS SOUPS 156405 WITH SCORE 157129.916
AT ITER 690 NEW BEST:: SOT 1169046 SOS 724053 HAS SOPS 721849 HAS SOUS 156473 HAS SOUPS 155528 WITH SCORE 156252.053
AT ITER 691 NEW BEST:: SOT 1174392 SOS 731627 HAS SOPS 729423 HAS SOUS 155271 HAS SOUPS 154326 WITH SCORE 155057.627
AT ITER 693 NEW BEST:: SOT 1174798 SOS 732033 HAS SOPS 729829 HAS SOUS 155171 HAS SOUPS 154226 WITH SCORE 154958.033
AT ITER 694 NEW BEST:: SOT 1174764 SOS 719790 HAS SOPS 717586 HAS SOUS 155070 HAS SOUPS 154125 WITH SCORE 154844.79
AT ITER 711 NEW BEST:: SOT 1174188 SOS 719442 HAS SOPS 717238 HAS SOUS 154690 HAS SOUPS 153745 WITH SCORE 154464.442
AT ITER 716 NEW BEST:: SOT 1174137 SOS 719202 HAS SOPS 717007 HAS SOUS 154465 HAS SOUPS 153529 WITH SCORE 154248.202
AT ITER 718 NEW BEST:: SOT 1174179 SOS 719252 HAS SOPS 717080 HAS SOUS 153694 HAS SOUPS 152781 WITH SCORE 153500.252
AT ITER 724 NEW BEST:: SOT 1173735 SOS 718489 HAS SOPS 716336 HAS SOUS 152388 HAS SOUPS 151475 WITH SCORE 152193.489
AT ITER 726 NEW BEST:: SOT 1173990 SOS 719336 HAS SOPS 717183 HAS SOUS 151387 HAS SOUPS 150474 WITH SCORE 151193.336
AT ITER 733 NEW BEST:: SOT 1174026 SOS 722249 HAS SOPS 720110 HAS SOUS 151312 HAS SOUPS 150413 WITH SCORE 151135.249
AT ITER 761 NEW BEST:: SOT 1174050 SOS 722297 HAS SOPS 720158 HAS SOUS 151274 HAS SOUPS 150375 WITH SCORE 151097.297
AT ITER 765 NEW BEST:: SOT 1174050 SOS 723447 HAS SOPS 721308 HAS SOUS 151249 HAS SOUPS 150350 WITH SCORE 151073.447
AT ITER 767 NEW BEST:: SOT 1174050 SOS 722318 HAS SOPS 720264 HAS SOUS 151141 HAS SOUPS 150263 WITH SCORE 150985.318
AT ITER 772 NEW BEST:: SOT 1174044 SOS 722312 HAS SOPS 720258 HAS SOUS 151137 HAS SOUPS 150259 WITH SCORE 150981.312
AT ITER 776 NEW BEST:: SOT 1173280 SOS 721548 HAS SOPS 719494 HAS SOUS 151114 HAS SOUPS 150236 WITH SCORE 150957.548
AT ITER 778 NEW BEST:: SOT 1173296 SOS 721639 HAS SOPS 719510 HAS SOUS 151139 HAS SOUPS 150186 WITH SCORE 150907.639
AT ITER 779 NEW BEST:: SOT 1173242 SOS 721585 HAS SOPS 719456 HAS SOUS 151076 HAS SOUPS 150123 WITH SCORE 150844.585
AT ITER 781 NEW BEST:: SOT 1173242 SOS 720355 HAS SOPS 718226 HAS SOUS 151015 HAS SOUPS 150062 WITH SCORE 150782.355
AT ITER 790 NEW BEST:: SOT 1172920 SOS 718768 HAS SOPS 716644 HAS SOUS 150677 HAS SOUPS 149724 WITH SCORE 150442.768
AT ITER 809 NEW BEST:: SOT 1172920 SOS 718525 HAS SOPS 716413 HAS SOUS 150632 HAS SOUPS 149679 WITH SCORE 150397.525
AT ITER 811 NEW BEST:: SOT 1172927 SOS 720270 HAS SOPS 718302 HAS SOUS 149909 HAS SOUPS 148985 WITH SCORE 149705.27
AT ITER 812 NEW BEST:: SOT 1172880 SOS 720223 HAS SOPS 718255 HAS SOUS 149812 HAS SOUPS 148888 WITH SCORE 149608.223
AT ITER 825 NEW BEST:: SOT 1173549 SOS 749195 HAS SOPS 747479 HAS SOUS 149639 HAS SOUPS 148778 WITH SCORE 149527.195
AT ITER 826 NEW BEST:: SOT 1173552 SOS 749203 HAS SOPS 747482 HAS SOUS 149629 HAS SOUPS 148763 WITH SCORE 149512.203
AT ITER 827 NEW BEST:: SOT 1173357 SOS 749008 HAS SOPS 747287 HAS SOUS 149373 HAS SOUPS 148507 WITH SCORE 149256.008
AT ITER 832 NEW BEST:: SOT 1173357 SOS 750000 HAS SOPS 748310 HAS SOUS 149311 HAS SOUPS 148476 WITH SCORE 149226.0
AT ITER 837 NEW BEST:: SOT 1174045 SOS 750958 HAS SOPS 749310 HAS SOUS 149211 HAS SOUPS 148418 WITH SCORE 149168.958
AT ITER 838 NEW BEST:: SOT 1174026 SOS 750613 HAS SOPS 748978 HAS SOUS 148954 HAS SOUPS 148174 WITH SCORE 148924.613
AT ITER 846 NEW BEST:: SOT 1174038 SOS 751608 HAS SOPS 749998 HAS SOUS 148620 HAS SOUPS 147865 WITH SCORE 148616.608
AT ITER 850 NEW BEST:: SOT 1174038 SOS 751608 HAS SOPS 749998 HAS SOUS 148618 HAS SOUPS 147863 WITH SCORE 148614.608
AT ITER 859 NEW BEST:: SOT 1173984 SOS 751554 HAS SOPS 749944 HAS SOUS 148199 HAS SOUPS 147444 WITH SCORE 148195.554
AT ITER 866 NEW BEST:: SOT 1174002 SOS 747936 HAS SOPS 746494 HAS SOUS 147750 HAS SOUPS 146988 WITH SCORE 147735.936
AT ITER 868 NEW BEST:: SOT 1173767 SOS 747432 HAS SOPS 746066 HAS SOUS 147365 HAS SOUPS 146622 WITH SCORE 147369.432
AT ITER 869 NEW BEST:: SOT 1173780 SOS 747445 HAS SOPS 746079 HAS SOUS 146967 HAS SOUPS 146224 WITH SCORE 146971.445
AT ITER 873 NEW BEST:: SOT 1174836 SOS 749687 HAS SOPS 748215 HAS SOUS 146762 HAS SOUPS 145913 WITH SCORE 146662.687
AT ITER 875 NEW BEST:: SOT 1176010 SOS 750279 HAS SOPS 748807 HAS SOUS 146349 HAS SOUPS 145500 WITH SCORE 146250.279
AT ITER 876 NEW BEST:: SOT 1176058 SOS 750327 HAS SOPS 748855 HAS SOUS 145466 HAS SOUPS 144617 WITH SCORE 145367.327
AT ITER 883 NEW BEST:: SOT 1176042 SOS 750312 HAS SOPS 748839 HAS SOUS 145418 HAS SOUPS 144568 WITH SCORE 145318.312
AT ITER 885 NEW BEST:: SOT 1176042 SOS 750193 HAS SOPS 748727 HAS SOUS 145411 HAS SOUPS 144568 WITH SCORE 145318.193
AT ITER 889 NEW BEST:: SOT 1176042 SOS 750492 HAS SOPS 749039 HAS SOUS 145386 HAS SOUPS 144556 WITH SCORE 145306.492
AT ITER 890 NEW BEST:: SOT 1178738 SOS 756739 HAS SOPS 755316 HAS SOUS 145289 HAS SOUPS 144460 WITH SCORE 145216.739
AT ITER 895 NEW BEST:: SOT 1178620 SOS 756621 HAS SOPS 755198 HAS SOUS 145046 HAS SOUPS 144217 WITH SCORE 144973.621
AT ITER 909 NEW BEST:: SOT 1178621 SOS 757490 HAS SOPS 756081 HAS SOUS 144854 HAS SOUPS 144039 WITH SCORE 144796.49
AT ITER 915 NEW BEST:: SOT 1179005 SOS 758012 HAS SOPS 756649 HAS SOUS 144332 HAS SOUPS 143563 WITH SCORE 144321.012
AT ITER 919 NEW BEST:: SOT 1178980 SOS 758107 HAS SOPS 756744 HAS SOUS 144307 HAS SOUPS 143538 WITH SCORE 144296.107
AT ITER 944 NEW BEST:: SOT 1178980 SOS 758107 HAS SOPS 756744 HAS SOUS 144306 HAS SOUPS 143537 WITH SCORE 144295.107
AT ITER 945 NEW BEST:: SOT 1178980 SOS 758088 HAS SOPS 756768 HAS SOUS 144159 HAS SOUPS 143433 WITH SCORE 144191.088
AT ITER 960 NEW BEST:: SOT 1178790 SOS 757811 HAS SOPS 756519 HAS SOUS 143304 HAS SOUPS 142596 WITH SCORE 143353.811
AT ITER 974 NEW BEST:: SOT 1178790 SOS 757811 HAS SOPS 756519 HAS SOUS 142885 HAS SOUPS 142177 WITH SCORE 142934.811
AT ITER 978 NEW BEST:: SOT 1179166 SOS 758187 HAS SOPS 756895 HAS SOUS 142785 HAS SOUPS 142077 WITH SCORE 142835.187
AT ITER 980 NEW BEST:: SOT 1179166 SOS 758376 HAS SOPS 757091 HAS SOUS 142771 HAS SOUPS 142070 WITH SCORE 142828.376
AT ITER 984 NEW BEST:: SOT 1179166 SOS 758239 HAS SOPS 756967 HAS SOUS 142673 HAS SOUPS 141985 WITH SCORE 142743.239
AT ITER 991 NEW BEST:: SOT 1181004 SOS 763304 HAS SOPS 762032 HAS SOUS 141885 HAS SOUPS 141197 WITH SCORE 141960.304
AT ITER 1017 NEW BEST:: SOT 1180041 SOS 762341 HAS SOPS 761069 HAS SOUS 141639 HAS SOUPS 140951 WITH SCORE 141713.341
AT ITER 1026 NEW BEST:: SOT 1180276 SOS 762810 HAS SOPS 761538 HAS SOUS 141557 HAS SOUPS 140869 WITH SCORE 141631.81
AT ITER 1033 NEW BEST:: SOT 1178262 SOS 759913 HAS SOPS 758604 HAS SOUS 139363 HAS SOUPS 138656 WITH SCORE 139415.913
AT ITER 1035 NEW BEST:: SOT 1178256 SOS 759907 HAS SOPS 758598 HAS SOUS 138892 HAS SOUPS 138185 WITH SCORE 138944.907
AT ITER 1036 NEW BEST:: SOT 1178237 SOS 759890 HAS SOPS 758583 HAS SOUS 138864 HAS SOUPS 138157 WITH SCORE 138916.89
AT ITER 1051 NEW BEST:: SOT 1178185 SOS 759838 HAS SOPS 758531 HAS SOUS 138604 HAS SOUPS 137897 WITH SCORE 138656.838
AT ITER 1064 NEW BEST:: SOT 1181369 SOS 762350 HAS SOPS 761117 HAS SOUS 138039 HAS SOUPS 137361 WITH SCORE 138123.35
AT ITER 1071 NEW BEST:: SOT 1181940 SOS 762921 HAS SOPS 761688 HAS SOUS 137991 HAS SOUPS 137313 WITH SCORE 138075.921
AT ITER 1086 NEW BEST:: SOT 1182591 SOS 763572 HAS SOPS 762339 HAS SOUS 137443 HAS SOUPS 136765 WITH SCORE 137528.572
AT ITER 1095 NEW BEST:: SOT 1186129 SOS 767110 HAS SOPS 765877 HAS SOUS 135066 HAS SOUPS 134388 WITH SCORE 135155.11
AT ITER 1101 NEW BEST:: SOT 1185913 SOS 766894 HAS SOPS 765661 HAS SOUS 135058 HAS SOUPS 134380 WITH SCORE 135146.894
AT ITER 1104 NEW BEST:: SOT 1186624 SOS 768001 HAS SOPS 766768 HAS SOUS 133152 HAS SOUPS 132474 WITH SCORE 133242.001
AT ITER 1105 NEW BEST:: SOT 1186624 SOS 768199 HAS SOPS 766992 HAS SOUS 133043 HAS SOUPS 132391 WITH SCORE 133159.199
AT ITER 1106 NEW BEST:: SOT 1186598 SOS 770047 HAS SOPS 768840 HAS SOUS 132910 HAS SOUPS 132258 WITH SCORE 133028.047
AT ITER 1109 NEW BEST:: SOT 1186941 SOS 770390 HAS SOPS 769183 HAS SOUS 132890 HAS SOUPS 132238 WITH SCORE 133008.39
AT ITER 1124 NEW BEST:: SOT 1188118 SOS 781007 HAS SOPS 779956 HAS SOUS 132782 HAS SOUPS 132226 WITH SCORE 133007.007
AT ITER 1127 NEW BEST:: SOT 1188118 SOS 780999 HAS SOPS 779956 HAS SOUS 132754 HAS SOUPS 132206 WITH SCORE 132986.999
AT ITER 1137 NEW BEST:: SOT 1189904 SOS 782941 HAS SOPS 781898 HAS SOUS 132677 HAS SOUPS 132129 WITH SCORE 132911.941
AT ITER 1138 NEW BEST:: SOT 1189899 SOS 795285 HAS SOPS 794247 HAS SOUS 132537 HAS SOUPS 131994 WITH SCORE 132789.285
AT ITER 1148 NEW BEST:: SOT 1189939 SOS 796013 HAS SOPS 794975 HAS SOUS 131885 HAS SOUPS 131342 WITH SCORE 132138.013
AT ITER 1160 NEW BEST:: SOT 1189939 SOS 796013 HAS SOPS 794975 HAS SOUS 131875 HAS SOUPS 131332 WITH SCORE 132128.013
AT ITER 1164 NEW BEST:: SOT 1189939 SOS 794592 HAS SOPS 793554 HAS SOUS 131846 HAS SOUPS 131303 WITH SCORE 132097.592
AT ITER 1178 NEW BEST:: SOT 1189939 SOS 793788 HAS SOPS 792750 HAS SOUS 131826 HAS SOUPS 131283 WITH SCORE 132076.788
AT ITER 1181 NEW BEST:: SOT 1189850 SOS 802167 HAS SOPS 801129 HAS SOUS 131758 HAS SOUPS 131215 WITH SCORE 132017.167
AT ITER 1182 NEW BEST:: SOT 1189805 SOS 802122 HAS SOPS 801084 HAS SOUS 131713 HAS SOUPS 131170 WITH SCORE 131972.122
AT ITER 1204 NEW BEST:: SOT 1189742 SOS 802059 HAS SOPS 801021 HAS SOUS 131435 HAS SOUPS 130892 WITH SCORE 131694.059
AT ITER 1209 NEW BEST:: SOT 1190002 SOS 802319 HAS SOPS 801281 HAS SOUS 131203 HAS SOUPS 130660 WITH SCORE 131462.319
AT ITER 1214 NEW BEST:: SOT 1190002 SOS 799368 HAS SOPS 798569 HAS SOUS 130446 HAS SOUPS 129951 WITH SCORE 130750.368
AT ITER 1246 NEW BEST:: SOT 1190002 SOS 800886 HAS SOPS 800116 HAS SOUS 130403 HAS SOUPS 129937 WITH SCORE 130737.886
AT ITER 1251 NEW BEST:: SOT 1189987 SOS 800496 HAS SOPS 799741 HAS SOUS 130373 HAS SOUPS 129922 WITH SCORE 130722.496
AT ITER 1258 NEW BEST:: SOT 1189987 SOS 803216 HAS SOPS 802485 HAS SOUS 130313 HAS SOUPS 129868 WITH SCORE 130671.216
AT ITER 1270 NEW BEST:: SOT 1189854 SOS 803353 HAS SOPS 802622 HAS SOUS 130173 HAS SOUPS 129728 WITH SCORE 130531.353
AT ITER 1282 NEW BEST:: SOT 1189800 SOS 802891 HAS SOPS 802154 HAS SOUS 129816 HAS SOUPS 129371 WITH SCORE 130173.891
AT ITER 1284 NEW BEST:: SOT 1192098 SOS 805308 HAS SOPS 804586 HAS SOUS 129773 HAS SOUPS 129328 WITH SCORE 130133.308
AT ITER 1292 NEW BEST:: SOT 1192134 SOS 805855 HAS SOPS 805122 HAS SOUS 129714 HAS SOUPS 129258 WITH SCORE 130063.855
AT ITER 1313 NEW BEST:: SOT 1192134 SOS 805830 HAS SOPS 805072 HAS SOUS 129714 HAS SOUPS 129233 WITH SCORE 130038.83
AT ITER 1324 NEW BEST:: SOT 1192134 SOS 806059 HAS SOPS 805284 HAS SOUS 129703 HAS SOUPS 129205 WITH SCORE 130011.059
AT ITER 1331 NEW BEST:: SOT 1191741 SOS 804749 HAS SOPS 804029 HAS SOUS 128925 HAS SOUPS 128448 WITH SCORE 129252.749
AT ITER 1333 NEW BEST:: SOT 1191212 SOS 804220 HAS SOPS 803500 HAS SOUS 128700 HAS SOUPS 128223 WITH SCORE 129027.22
AT ITER 1352 NEW BEST:: SOT 1191212 SOS 803640 HAS SOPS 802898 HAS SOUS 128718 HAS SOUPS 128219 WITH SCORE 129022.64
AT ITER 1360 NEW BEST:: SOT 1191547 SOS 803975 HAS SOPS 803233 HAS SOUS 128626 HAS SOUPS 128127 WITH SCORE 128930.975
AT ITER 1366 NEW BEST:: SOT 1191408 SOS 803836 HAS SOPS 803094 HAS SOUS 128487 HAS SOUPS 127988 WITH SCORE 128791.836
AT ITER 1383 NEW BEST:: SOT 1191381 SOS 803649 HAS SOPS 802926 HAS SOUS 128243 HAS SOUPS 127755 WITH SCORE 128558.649
AT ITER 1384 NEW BEST:: SOT 1191158 SOS 808380 HAS SOPS 807729 HAS SOUS 127998 HAS SOUPS 127575 WITH SCORE 128383.38
AT ITER 1386 NEW BEST:: SOT 1191124 SOS 808346 HAS SOPS 807695 HAS SOUS 127983 HAS SOUPS 127560 WITH SCORE 128368.346
AT ITER 1398 NEW BEST:: SOT 1190444 SOS 807666 HAS SOPS 807015 HAS SOUS 126337 HAS SOUPS 125914 WITH SCORE 126721.666
AT ITER 1406 NEW BEST:: SOT 1190476 SOS 808466 HAS SOPS 807815 HAS SOUS 125822 HAS SOUPS 125399 WITH SCORE 126207.466
AT ITER 1410 NEW BEST:: SOT 1190476 SOS 804731 HAS SOPS 804080 HAS SOUS 125737 HAS SOUPS 125314 WITH SCORE 126118.731
AT ITER 1420 NEW BEST:: SOT 1188605 SOS 802860 HAS SOPS 802209 HAS SOUS 125619 HAS SOUPS 125196 WITH SCORE 125998.86
AT ITER 1436 NEW BEST:: SOT 1188583 SOS 793348 HAS SOPS 792587 HAS SOUS 125653 HAS SOUPS 125186 WITH SCORE 125979.348
AT ITER 1437 NEW BEST:: SOT 1187110 SOS 791875 HAS SOPS 791114 HAS SOUS 125170 HAS SOUPS 124703 WITH SCORE 125494.875
AT ITER 1444 NEW BEST:: SOT 1187078 SOS 791843 HAS SOPS 791082 HAS SOUS 125170 HAS SOUPS 124703 WITH SCORE 125494.843
AT ITER 1445 NEW BEST:: SOT 1187078 SOS 791323 HAS SOPS 790551 HAS SOUS 125181 HAS SOUPS 124703 WITH SCORE 125494.323
AT ITER 1456 NEW BEST:: SOT 1187342 SOS 791552 HAS SOPS 790783 HAS SOUS 124665 HAS SOUPS 124188 WITH SCORE 124979.552
AT ITER 1464 NEW BEST:: SOT 1187778 SOS 791988 HAS SOPS 791219 HAS SOUS 123882 HAS SOUPS 123405 WITH SCORE 124196.988
AT ITER 1469 NEW BEST:: SOT 1190824 SOS 795034 HAS SOPS 794265 HAS SOUS 123602 HAS SOUPS 123125 WITH SCORE 123920.034
AT ITER 1480 NEW BEST:: SOT 1190824 SOS 792185 HAS SOPS 791416 HAS SOUS 123602 HAS SOUPS 123125 WITH SCORE 123917.185
AT ITER 1484 NEW BEST:: SOT 1189906 SOS 791380 HAS SOPS 790624 HAS SOUS 122824 HAS SOUPS 122347 WITH SCORE 123138.38
AT ITER 1489 NEW BEST:: SOT 1189361 SOS 790754 HAS SOPS 789998 HAS SOUS 122521 HAS SOUPS 122044 WITH SCORE 122834.754
AT ITER 1500 NEW BEST:: SOT 1188225 SOS 789518 HAS SOPS 788762 HAS SOUS 121905 HAS SOUPS 121428 WITH SCORE 122217.518
AT ITER 1501 NEW BEST:: SOT 1188019 SOS 789296 HAS SOPS 788540 HAS SOUS 121801 HAS SOUPS 121324 WITH SCORE 122113.296
AT ITER 1526 NEW BEST:: SOT 1188019 SOS 791484 HAS SOPS 790652 HAS SOUS 121781 HAS SOUPS 121304 WITH SCORE 122095.484
AT ITER 1529 NEW BEST:: SOT 1188019 SOS 791484 HAS SOPS 790652 HAS SOUS 121697 HAS SOUPS 121220 WITH SCORE 122011.484
AT ITER 1549 NEW BEST:: SOT 1188019 SOS 790764 HAS SOPS 789932 HAS SOUS 121697 HAS SOUPS 121220 WITH SCORE 122010.764
AT ITER 1552 NEW BEST:: SOT 1187752 SOS 790497 HAS SOPS 789665 HAS SOUS 121574 HAS SOUPS 121097 WITH SCORE 121887.497
AT ITER 1557 NEW BEST:: SOT 1187752 SOS 776619 HAS SOPS 775787 HAS SOUS 121549 HAS SOUPS 121072 WITH SCORE 121848.619
AT ITER 1564 NEW BEST:: SOT 1185690 SOS 774557 HAS SOPS 773725 HAS SOUS 121281 HAS SOUPS 120804 WITH SCORE 121578.557
AT ITER 1576 NEW BEST:: SOT 1184097 SOS 771701 HAS SOPS 770855 HAS SOUS 120429 HAS SOUPS 119952 WITH SCORE 120723.701
AT ITER 1590 NEW BEST:: SOT 1184097 SOS 771869 HAS SOPS 770991 HAS SOUS 120429 HAS SOUPS 119920 WITH SCORE 120691.869
AT ITER 1602 NEW BEST:: SOT 1185072 SOS 772349 HAS SOPS 771507 HAS SOUS 119433 HAS SOUPS 118945 WITH SCORE 119717.349
AT ITER 1603 NEW BEST:: SOT 1185002 SOS 771945 HAS SOPS 771119 HAS SOUS 119363 HAS SOUPS 118875 WITH SCORE 119646.945
AT ITER 1607 NEW BEST:: SOT 1185007 SOS 771950 HAS SOPS 771124 HAS SOUS 118979 HAS SOUPS 118491 WITH SCORE 119262.95
AT ITER 1619 NEW BEST:: SOT 1184323 SOS 772088 HAS SOPS 771262 HAS SOUS 117700 HAS SOUPS 117212 WITH SCORE 117984.088
AT ITER 1633 NEW BEST:: SOT 1184337 SOS 772102 HAS SOPS 771276 HAS SOUS 117538 HAS SOUPS 117050 WITH SCORE 117822.102
AT ITER 1648 NEW BEST:: SOT 1184362 SOS 772781 HAS SOPS 771955 HAS SOUS 117458 HAS SOUPS 116970 WITH SCORE 117742.781
AT ITER 1673 NEW BEST:: SOT 1184523 SOS 772942 HAS SOPS 772116 HAS SOUS 115543 HAS SOUPS 115055 WITH SCORE 115827.942
AT ITER 1677 NEW BEST:: SOT 1184522 SOS 773517 HAS SOPS 772691 HAS SOUS 115492 HAS SOUPS 115004 WITH SCORE 115777.517
AT ITER 1691 NEW BEST:: SOT 1184553 SOS 773872 HAS SOPS 773046 HAS SOUS 115484 HAS SOUPS 114996 WITH SCORE 115769.872
AT ITER 1696 NEW BEST:: SOT 1184576 SOS 776055 HAS SOPS 775229 HAS SOUS 115446 HAS SOUPS 114958 WITH SCORE 115734.055
AT ITER 1700 NEW BEST:: SOT 1184598 SOS 776077 HAS SOPS 775251 HAS SOUS 115407 HAS SOUPS 114919 WITH SCORE 115695.077
AT ITER 1705 NEW BEST:: SOT 1184598 SOS 774925 HAS SOPS 774099 HAS SOUS 115359 HAS SOUPS 114871 WITH SCORE 115645.925
AT ITER 1714 NEW BEST:: SOT 1184611 SOS 774938 HAS SOPS 774112 HAS SOUS 115358 HAS SOUPS 114870 WITH SCORE 115644.938
AT ITER 1715 NEW BEST:: SOT 1184991 SOS 775927 HAS SOPS 775140 HAS SOUS 114410 HAS SOUPS 113927 WITH SCORE 114702.927
AT ITER 1717 NEW BEST:: SOT 1184991 SOS 776516 HAS SOPS 775740 HAS SOUS 114392 HAS SOUPS 113920 WITH SCORE 114696.516
AT ITER 1731 NEW BEST:: SOT 1184859 SOS 776384 HAS SOPS 775608 HAS SOUS 114332 HAS SOUPS 113860 WITH SCORE 114636.384
AT ITER 1735 NEW BEST:: SOT 1185728 SOS 803523 HAS SOPS 802792 HAS SOUS 114253 HAS SOUPS 113820 WITH SCORE 114623.523
AT ITER 1736 NEW BEST:: SOT 1185653 SOS 803448 HAS SOPS 802717 HAS SOUS 114048 HAS SOUPS 113615 WITH SCORE 114418.448
AT ITER 1738 NEW BEST:: SOT 1185545 SOS 803340 HAS SOPS 802609 HAS SOUS 113777 HAS SOUPS 113344 WITH SCORE 114147.34
AT ITER 1742 NEW BEST:: SOT 1185545 SOS 803092 HAS SOPS 802361 HAS SOUS 113715 HAS SOUPS 113282 WITH SCORE 114085.092
AT ITER 1746 NEW BEST:: SOT 1181148 SOS 798587 HAS SOPS 797856 HAS SOUS 111178 HAS SOUPS 110745 WITH SCORE 111543.587
AT ITER 1766 NEW BEST:: SOT 1181180 SOS 798619 HAS SOPS 797888 HAS SOUS 111176 HAS SOUPS 110743 WITH SCORE 111541.619
AT ITER 1770 NEW BEST:: SOT 1181585 SOS 799024 HAS SOPS 798293 HAS SOUS 110291 HAS SOUPS 109858 WITH SCORE 110657.024
AT ITER 1811 NEW BEST:: SOT 1181585 SOS 798657 HAS SOPS 797949 HAS SOUS 110268 HAS SOUPS 109858 WITH SCORE 110656.657
AT ITER 1822 NEW BEST:: SOT 1181585 SOS 798653 HAS SOPS 797945 HAS SOUS 110268 HAS SOUPS 109858 WITH SCORE 110656.653
AT ITER 1823 NEW BEST:: SOT 1181585 SOS 799053 HAS SOPS 798345 HAS SOUS 110251 HAS SOUPS 109841 WITH SCORE 110640.053
AT ITER 1827 NEW BEST:: SOT 1182064 SOS 799532 HAS SOPS 798824 HAS SOUS 109950 HAS SOUPS 109540 WITH SCORE 110339.532
AT ITER 1832 NEW BEST:: SOT 1182064 SOS 798572 HAS SOPS 797864 HAS SOUS 109950 HAS SOUPS 109540 WITH SCORE 110338.572
AT ITER 1877 NEW BEST:: SOT 1181747 SOS 798401 HAS SOPS 797697 HAS SOUS 109703 HAS SOUPS 109297 WITH SCORE 110095.401
AT ITER 1882 NEW BEST:: SOT 1179720 SOS 796302 HAS SOPS 795598 HAS SOUS 109027 HAS SOUPS 108621 WITH SCORE 109417.302
AT ITER 1888 NEW BEST:: SOT 1179455 SOS 796037 HAS SOPS 795333 HAS SOUS 108746 HAS SOUPS 108340 WITH SCORE 109136.037
AT ITER 1906 NEW BEST:: SOT 1179455 SOS 792763 HAS SOPS 792059 HAS SOUS 108736 HAS SOUPS 108330 WITH SCORE 109122.763
AT ITER 1907 NEW BEST:: SOT 1179455 SOS 792663 HAS SOPS 791959 HAS SOUS 108736 HAS SOUPS 108330 WITH SCORE 109122.663
AT ITER 1908 NEW BEST:: SOT 1179146 SOS 795392 HAS SOPS 794694 HAS SOUS 108234 HAS SOUPS 107834 WITH SCORE 108629.392
AT ITER 1918 NEW BEST:: SOT 1179167 SOS 795413 HAS SOPS 794715 HAS SOUS 107928 HAS SOUPS 107528 WITH SCORE 108323.413
AT ITER 1935 NEW BEST:: SOT 1179155 SOS 795432 HAS SOPS 794751 HAS SOUS 107425 HAS SOUPS 107042 WITH SCORE 107837.432
AT ITER 1936 NEW BEST:: SOT 1179145 SOS 795422 HAS SOPS 794741 HAS SOUS 107002 HAS SOUPS 106619 WITH SCORE 107414.422
AT ITER 1951 NEW BEST:: SOT 1179149 SOS 795618 HAS SOPS 794937 HAS SOUS 106970 HAS SOUPS 106587 WITH SCORE 107382.618
AT ITER 1963 NEW BEST:: SOT 1180123 SOS 811712 HAS SOPS 811031 HAS SOUS 106840 HAS SOUPS 106457 WITH SCORE 107268.712
AT ITER 1967 NEW BEST:: SOT 1180125 SOS 811520 HAS SOPS 810782 HAS SOUS 106831 HAS SOUPS 106391 WITH SCORE 107202.52
AT ITER 1968 NEW BEST:: SOT 1180125 SOS 811488 HAS SOPS 810750 HAS SOUS 106831 HAS SOUPS 106391 WITH SCORE 107202.488
AT ITER 1993 NEW BEST:: SOT 1184526 SOS 817257 HAS SOPS 816519 HAS SOUS 106107 HAS SOUPS 105667 WITH SCORE 106484.257
AT ITER 2004 NEW BEST:: SOT 1185186 SOS 817917 HAS SOPS 817179 HAS SOUS 105848 HAS SOUPS 105408 WITH SCORE 106225.917
AT ITER 2008 NEW BEST:: SOT 1185186 SOS 816957 HAS SOPS 816219 HAS SOUS 105848 HAS SOUPS 105408 WITH SCORE 106224.957
AT ITER 2015 NEW BEST:: SOT 1185148 SOS 816919 HAS SOPS 816181 HAS SOUS 105810 HAS SOUPS 105370 WITH SCORE 106186.919
AT ITER 2021 NEW BEST:: SOT 1186410 SOS 819525 HAS SOPS 818787 HAS SOUS 105487 HAS SOUPS 105047 WITH SCORE 105866.525
AT ITER 2032 NEW BEST:: SOT 1186428 SOS 820274 HAS SOPS 819500 HAS SOUS 105420 HAS SOUPS 104980 WITH SCORE 105800.274
AT ITER 2050 NEW BEST:: SOT 1186651 SOS 820497 HAS SOPS 819723 HAS SOUS 105351 HAS SOUPS 104911 WITH SCORE 105731.497
AT ITER 2084 NEW BEST:: SOT 1186813 SOS 820659 HAS SOPS 819885 HAS SOUS 105257 HAS SOUPS 104817 WITH SCORE 105637.659
AT ITER 2085 NEW BEST:: SOT 1186823 SOS 820669 HAS SOPS 819879 HAS SOUS 105267 HAS SOUPS 104811 WITH SCORE 105631.669
AT ITER 2090 NEW BEST:: SOT 1188235 SOS 824697 HAS SOPS 823907 HAS SOUS 104992 HAS SOUPS 104536 WITH SCORE 105360.697
AT ITER 2102 NEW BEST:: SOT 1188235 SOS 824323 HAS SOPS 823533 HAS SOUS 104992 HAS SOUPS 104536 WITH SCORE 105360.323
AT ITER 2115 NEW BEST:: SOT 1188047 SOS 824135 HAS SOPS 823345 HAS SOUS 104824 HAS SOUPS 104368 WITH SCORE 105192.135
AT ITER 2143 NEW BEST:: SOT 1188275 SOS 824363 HAS SOPS 823573 HAS SOUS 104775 HAS SOUPS 104319 WITH SCORE 105143.363
AT ITER 2144 NEW BEST:: SOT 1188275 SOS 811403 HAS SOPS 810497 HAS SOUS 104716 HAS SOUPS 104260 WITH SCORE 105071.403
AT ITER 2147 NEW BEST:: SOT 1188245 SOS 811373 HAS SOPS 810467 HAS SOUS 104676 HAS SOUPS 104220 WITH SCORE 105031.373
AT ITER 2189 NEW BEST:: SOT 1187781 SOS 810909 HAS SOPS 810003 HAS SOUS 104533 HAS SOUPS 104077 WITH SCORE 104887.909
AT ITER 2195 NEW BEST:: SOT 1188785 SOS 813307 HAS SOPS 812401 HAS SOUS 103980 HAS SOUPS 103524 WITH SCORE 104337.307
AT ITER 2216 NEW BEST:: SOT 1190863 SOS 815385 HAS SOPS 814479 HAS SOUS 103551 HAS SOUPS 103095 WITH SCORE 103910.385
AT ITER 2226 NEW BEST:: SOT 1190863 SOS 815385 HAS SOPS 814479 HAS SOUS 102955 HAS SOUPS 102499 WITH SCORE 103314.385
AT ITER 2238 NEW BEST:: SOT 1190854 SOS 815376 HAS SOPS 814470 HAS SOUS 102936 HAS SOUPS 102480 WITH SCORE 103295.376
AT ITER 2251 NEW BEST:: SOT 1190966 SOS 815488 HAS SOPS 814582 HAS SOUS 102648 HAS SOUPS 102192 WITH SCORE 103007.488
AT ITER 2264 NEW BEST:: SOT 1190966 SOS 815293 HAS SOPS 814438 HAS SOUS 102581 HAS SOUPS 102176 WITH SCORE 102991.293
AT ITER 2272 NEW BEST:: SOT 1192442 SOS 816769 HAS SOPS 815914 HAS SOUS 102468 HAS SOUPS 102063 WITH SCORE 102879.769
AT ITER 2319 NEW BEST:: SOT 1192495 SOS 808372 HAS SOPS 807935 HAS SOUS 102375 HAS SOUPS 102054 WITH SCORE 102862.372
AT ITER 2329 NEW BEST:: SOT 1192491 SOS 808376 HAS SOPS 807939 HAS SOUS 102335 HAS SOUPS 102014 WITH SCORE 102822.376
AT ITER 2336 NEW BEST:: SOT 1192491 SOS 808376 HAS SOPS 807939 HAS SOUS 102300 HAS SOUPS 101979 WITH SCORE 102787.376
AT ITER 2355 NEW BEST:: SOT 1192491 SOS 808376 HAS SOPS 807939 HAS SOUS 102284 HAS SOUPS 101963 WITH SCORE 102771.376
AT ITER 2360 NEW BEST:: SOT 1192485 SOS 808370 HAS SOPS 807933 HAS SOUS 102203 HAS SOUPS 101882 WITH SCORE 102690.37
AT ITER 2374 NEW BEST:: SOT 1193241 SOS 809126 HAS SOPS 808689 HAS SOUS 101534 HAS SOUPS 101213 WITH SCORE 102022.126
AT ITER 2412 NEW BEST:: SOT 1192636 SOS 808521 HAS SOPS 808084 HAS SOUS 101349 HAS SOUPS 101028 WITH SCORE 101836.521
AT ITER 2425 NEW BEST:: SOT 1192715 SOS 808600 HAS SOPS 808163 HAS SOUS 101345 HAS SOUPS 101024 WITH SCORE 101832.6
AT ITER 2435 NEW BEST:: SOT 1192577 SOS 808462 HAS SOPS 808025 HAS SOUS 101093 HAS SOUPS 100772 WITH SCORE 101580.462
AT ITER 2489 NEW BEST:: SOT 1192577 SOS 808462 HAS SOPS 808025 HAS SOUS 101052 HAS SOUPS 100731 WITH SCORE 101539.462
AT ITER 2491 NEW BEST:: SOT 1194782 SOS 810667 HAS SOPS 810230 HAS SOUS 100859 HAS SOUPS 100538 WITH SCORE 101348.667
AT ITER 2539 NEW BEST:: SOT 1194594 SOS 810479 HAS SOPS 810042 HAS SOUS 100536 HAS SOUPS 100215 WITH SCORE 101025.479
AT ITER 2542 NEW BEST:: SOT 1194507 SOS 810338 HAS SOPS 809901 HAS SOUS 100356 HAS SOUPS 100035 WITH SCORE 100845.338
AT ITER 2555 NEW BEST:: SOT 1194589 SOS 810420 HAS SOPS 809983 HAS SOUS 100061 HAS SOUPS 99740 WITH SCORE 100550.42
AT ITER 2561 NEW BEST:: SOT 1194744 SOS 810575 HAS SOPS 810138 HAS SOUS 99957 HAS SOUPS 99636 WITH SCORE 100446.575
AT ITER 2564 NEW BEST:: SOT 1194739 SOS 810450 HAS SOPS 810013 HAS SOUS 99952 HAS SOUPS 99631 WITH SCORE 100441.45
AT ITER 2566 NEW BEST:: SOT 1194739 SOS 809730 HAS SOPS 809293 HAS SOUS 99952 HAS SOUPS 99631 WITH SCORE 100440.73
AT ITER 2575 NEW BEST:: SOT 1194763 SOS 810330 HAS SOPS 809893 HAS SOUS 99937 HAS SOUPS 99616 WITH SCORE 100426.33
AT ITER 2577 NEW BEST:: SOT 1194756 SOS 810323 HAS SOPS 809886 HAS SOUS 99930 HAS SOUPS 99609 WITH SCORE 100419.323
AT ITER 2579 NEW BEST:: SOT 1194749 SOS 809716 HAS SOPS 809279 HAS SOUS 99925 HAS SOUPS 99604 WITH SCORE 100413.716
AT ITER 2589 NEW BEST:: SOT 1194762 SOS 810353 HAS SOPS 809916 HAS SOUS 99894 HAS SOUPS 99573 WITH SCORE 100383.353
AT ITER 2593 NEW BEST:: SOT 1194762 SOS 809465 HAS SOPS 809028 HAS SOUS 99894 HAS SOUPS 99573 WITH SCORE 100382.465
AT ITER 2621 NEW BEST:: SOT 1194766 SOS 809469 HAS SOPS 809032 HAS SOUS 99833 HAS SOUPS 99512 WITH SCORE 100321.469
AT ITER 2636 NEW BEST:: SOT 1194766 SOS 809589 HAS SOPS 809128 HAS SOUS 99833 HAS SOUPS 99488 WITH SCORE 100297.589
AT ITER 2638 NEW BEST:: SOT 1194992 SOS 809815 HAS SOPS 809354 HAS SOUS 99422 HAS SOUPS 99077 WITH SCORE 99886.815
AT ITER 2639 NEW BEST:: SOT 1194992 SOS 809703 HAS SOPS 809242 HAS SOUS 99394 HAS SOUPS 99049 WITH SCORE 99858.703
AT ITER 2662 NEW BEST:: SOT 1194671 SOS 809382 HAS SOPS 808921 HAS SOUS 99004 HAS SOUPS 98659 WITH SCORE 99468.382
AT ITER 2678 NEW BEST:: SOT 1194677 SOS 810612 HAS SOPS 810151 HAS SOUS 98809 HAS SOUPS 98464 WITH SCORE 99274.612
AT ITER 2682 NEW BEST:: SOT 1194915 SOS 810850 HAS SOPS 810389 HAS SOUS 98804 HAS SOUPS 98459 WITH SCORE 99269.85
AT ITER 2684 NEW BEST:: SOT 1194908 SOS 810829 HAS SOPS 810368 HAS SOUS 98800 HAS SOUPS 98455 WITH SCORE 99265.829
AT ITER 2692 NEW BEST:: SOT 1194728 SOS 810145 HAS SOPS 809684 HAS SOUS 98391 HAS SOUPS 98046 WITH SCORE 98856.145
AT ITER 2699 NEW BEST:: SOT 1194530 SOS 809947 HAS SOPS 809486 HAS SOUS 98036 HAS SOUPS 97691 WITH SCORE 98500.947
AT ITER 2710 NEW BEST:: SOT 1194551 SOS 812172 HAS SOPS 811739 HAS SOUS 98001 HAS SOUPS 97684 WITH SCORE 98496.172
AT ITER 2714 NEW BEST:: SOT 1194539 SOS 812160 HAS SOPS 811727 HAS SOUS 97992 HAS SOUPS 97675 WITH SCORE 98487.16
AT ITER 2718 NEW BEST:: SOT 1194539 SOS 812256 HAS SOPS 811823 HAS SOUS 97988 HAS SOUPS 97671 WITH SCORE 98483.256
AT ITER 2722 NEW BEST:: SOT 1193165 SOS 810882 HAS SOPS 810449 HAS SOUS 97843 HAS SOUPS 97526 WITH SCORE 98336.882
AT ITER 2736 NEW BEST:: SOT 1193169 SOS 810886 HAS SOPS 810453 HAS SOUS 97836 HAS SOUPS 97519 WITH SCORE 98329.886
AT ITER 2752 NEW BEST:: SOT 1192931 SOS 810648 HAS SOPS 810215 HAS SOUS 97426 HAS SOUPS 97109 WITH SCORE 97919.648
AT ITER 2772 NEW BEST:: SOT 1192931 SOS 809592 HAS SOPS 809159 HAS SOUS 97408 HAS SOUPS 97091 WITH SCORE 97900.592
AT ITER 2790 NEW BEST:: SOT 1192950 SOS 809611 HAS SOPS 809178 HAS SOUS 97297 HAS SOUPS 96980 WITH SCORE 97789.611
AT ITER 2794 NEW BEST:: SOT 1192662 SOS 809323 HAS SOPS 808890 HAS SOUS 96781 HAS SOUPS 96464 WITH SCORE 97273.323
AT ITER 2797 NEW BEST:: SOT 1192662 SOS 807679 HAS SOPS 807322 HAS SOUS 96736 HAS SOUPS 96419 WITH SCORE 97226.679
AT ITER 2802 NEW BEST:: SOT 1192662 SOS 805759 HAS SOPS 805402 HAS SOUS 96736 HAS SOUPS 96419 WITH SCORE 97224.759
AT ITER 2804 NEW BEST:: SOT 1192661 SOS 805758 HAS SOPS 805401 HAS SOUS 96603 HAS SOUPS 96286 WITH SCORE 97091.758
AT ITER 2818 NEW BEST:: SOT 1190345 SOS 803442 HAS SOPS 803085 HAS SOUS 95628 HAS SOUPS 95311 WITH SCORE 96114.442
AT ITER 2862 NEW BEST:: SOT 1190558 SOS 803655 HAS SOPS 803298 HAS SOUS 95322 HAS SOUPS 95005 WITH SCORE 95808.655
AT ITER 2887 NEW BEST:: SOT 1190959 SOS 804056 HAS SOPS 803699 HAS SOUS 95079 HAS SOUPS 94762 WITH SCORE 95566.056
AT ITER 2890 NEW BEST:: SOT 1190967 SOS 804040 HAS SOPS 803683 HAS SOUS 95076 HAS SOUPS 94759 WITH SCORE 95563.04
AT ITER 2920 NEW BEST:: SOT 1190955 SOS 805356 HAS SOPS 804999 HAS SOUS 95057 HAS SOUPS 94740 WITH SCORE 95545.356
AT ITER 2921 NEW BEST:: SOT 1190938 SOS 805339 HAS SOPS 804982 HAS SOUS 94899 HAS SOUPS 94582 WITH SCORE 95387.339
AT ITER 2922 NEW BEST:: SOT 1190870 SOS 805271 HAS SOPS 804914 HAS SOUS 94874 HAS SOUPS 94557 WITH SCORE 95362.271
AT ITER 2942 NEW BEST:: SOT 1190870 SOS 805257 HAS SOPS 804914 HAS SOUS 94860 HAS SOUPS 94557 WITH SCORE 95362.257
AT ITER 2943 NEW BEST:: SOT 1190848 SOS 805235 HAS SOPS 804892 HAS SOUS 94821 HAS SOUPS 94518 WITH SCORE 95323.235
AT ITER 2974 NEW BEST:: SOT 1190673 SOS 805045 HAS SOPS 804702 HAS SOUS 94732 HAS SOUPS 94429 WITH SCORE 95234.045
AT ITER 2983 NEW BEST:: SOT 1190741 SOS 806601 HAS SOPS 806258 HAS SOUS 94698 HAS SOUPS 94395 WITH SCORE 95201.601
AT ITER 2986 NEW BEST:: SOT 1190237 SOS 806097 HAS SOPS 805754 HAS SOUS 94171 HAS SOUPS 93868 WITH SCORE 94674.097
AT ITER 2990 NEW BEST:: SOT 1190227 SOS 805587 HAS SOPS 805273 HAS SOUS 94141 HAS SOUPS 93867 WITH SCORE 94672.587
AT ITER 3013 NEW BEST:: SOT 1190227 SOS 767702 HAS SOPS 767376 HAS SOUS 94090 HAS SOUPS 93804 WITH SCORE 94571.702
AT ITER 3030 NEW BEST:: SOT 1189559 SOS 767034 HAS SOPS 766708 HAS SOUS 94014 HAS SOUPS 93728 WITH SCORE 94495.034
AT ITER 3039 NEW BEST:: SOT 1189503 SOS 766978 HAS SOPS 766652 HAS SOUS 93942 HAS SOUPS 93656 WITH SCORE 94422.978
AT ITER 3045 NEW BEST:: SOT 1189439 SOS 766914 HAS SOPS 766588 HAS SOUS 93942 HAS SOUPS 93656 WITH SCORE 94422.914
AT ITER 3067 NEW BEST:: SOT 1189439 SOS 766920 HAS SOPS 766594 HAS SOUS 93903 HAS SOUPS 93617 WITH SCORE 94383.92
AT ITER 3074 NEW BEST:: SOT 1189439 SOS 766910 HAS SOPS 766580 HAS SOUS 93903 HAS SOUPS 93613 WITH SCORE 94379.91
AT ITER 3079 NEW BEST:: SOT 1189492 SOS 767408 HAS SOPS 767129 HAS SOUS 93559 HAS SOUPS 93280 WITH SCORE 94047.408
AT ITER 3086 NEW BEST:: SOT 1189492 SOS 770776 HAS SOPS 770497 HAS SOUS 93495 HAS SOUPS 93216 WITH SCORE 93986.776
AT ITER 3092 NEW BEST:: SOT 1189492 SOS 769672 HAS SOPS 769393 HAS SOUS 93495 HAS SOUPS 93216 WITH SCORE 93985.672
AT ITER 3105 NEW BEST:: SOT 1189325 SOS 769505 HAS SOPS 769226 HAS SOUS 93189 HAS SOUPS 92910 WITH SCORE 93679.505
AT ITER 3115 NEW BEST:: SOT 1187728 SOS 767908 HAS SOPS 767629 HAS SOUS 92457 HAS SOUPS 92178 WITH SCORE 92945.908
AT ITER 3122 NEW BEST:: SOT 1187792 SOS 769136 HAS SOPS 768857 HAS SOUS 91908 HAS SOUPS 91629 WITH SCORE 92398.136
AT ITER 3123 NEW BEST:: SOT 1186215 SOS 767559 HAS SOPS 767280 HAS SOUS 91728 HAS SOUPS 91449 WITH SCORE 92216.559
AT ITER 3145 NEW BEST:: SOT 1185626 SOS 766970 HAS SOPS 766691 HAS SOUS 91392 HAS SOUPS 91113 WITH SCORE 91879.97
AT ITER 3149 NEW BEST:: SOT 1185626 SOS 767570 HAS SOPS 767291 HAS SOUS 91390 HAS SOUPS 91111 WITH SCORE 91878.57
AT ITER 3158 NEW BEST:: SOT 1184996 SOS 766940 HAS SOPS 766661 HAS SOUS 90827 HAS SOUPS 90548 WITH SCORE 91314.94
AT ITER 3171 NEW BEST:: SOT 1184996 SOS 766940 HAS SOPS 766661 HAS SOUS 90801 HAS SOUPS 90522 WITH SCORE 91288.94
AT ITER 3178 NEW BEST:: SOT 1184949 SOS 766879 HAS SOPS 766614 HAS SOUS 90779 HAS SOUPS 90514 WITH SCORE 91280.879
AT ITER 3232 NEW BEST:: SOT 1184403 SOS 766333 HAS SOPS 766068 HAS SOUS 90698 HAS SOUPS 90433 WITH SCORE 91199.333
AT ITER 3258 NEW BEST:: SOT 1184403 SOS 766057 HAS SOPS 765780 HAS SOUS 90698 HAS SOUPS 90421 WITH SCORE 91187.057
AT ITER 3261 NEW BEST:: SOT 1184403 SOS 766250 HAS SOPS 765973 HAS SOUS 90675 HAS SOUPS 90398 WITH SCORE 91164.25
AT ITER 3265 NEW BEST:: SOT 1184406 SOS 766253 HAS SOPS 765976 HAS SOUS 90618 HAS SOUPS 90341 WITH SCORE 91107.253
AT ITER 3286 NEW BEST:: SOT 1184411 SOS 766258 HAS SOPS 765981 HAS SOUS 90508 HAS SOUPS 90231 WITH SCORE 90997.258
AT ITER 3307 NEW BEST:: SOT 1184450 SOS 766239 HAS SOPS 765962 HAS SOUS 90501 HAS SOUPS 90224 WITH SCORE 90990.239
AT ITER 3329 NEW BEST:: SOT 1184450 SOS 766239 HAS SOPS 765962 HAS SOUS 90243 HAS SOUPS 89966 WITH SCORE 90732.239
AT ITER 3332 NEW BEST:: SOT 1184208 SOS 766027 HAS SOPS 765750 HAS SOUS 90017 HAS SOUPS 89740 WITH SCORE 90506.027
AT ITER 3339 NEW BEST:: SOT 1184188 SOS 766007 HAS SOPS 765730 HAS SOUS 89972 HAS SOUPS 89695 WITH SCORE 90461.007
AT ITER 3359 NEW BEST:: SOT 1184188 SOS 765991 HAS SOPS 765714 HAS SOUS 89955 HAS SOUPS 89678 WITH SCORE 90443.991
AT ITER 3377 NEW BEST:: SOT 1182022 SOS 761089 HAS SOPS 760800 HAS SOUS 88996 HAS SOUPS 88719 WITH SCORE 89480.089
AT ITER 3401 NEW BEST:: SOT 1182022 SOS 760417 HAS SOPS 760128 HAS SOUS 88996 HAS SOUPS 88719 WITH SCORE 89479.417
AT ITER 3424 NEW BEST:: SOT 1182020 SOS 760415 HAS SOPS 760126 HAS SOUS 88876 HAS SOUPS 88599 WITH SCORE 89359.415
AT ITER 3425 NEW BEST:: SOT 1182020 SOS 760391 HAS SOPS 760126 HAS SOUS 88852 HAS SOUPS 88599 WITH SCORE 89359.391
AT ITER 3445 NEW BEST:: SOT 1182065 SOS 760548 HAS SOPS 760283 HAS SOUS 88760 HAS SOUPS 88507 WITH SCORE 89267.548
AT ITER 3458 NEW BEST:: SOT 1182065 SOS 760527 HAS SOPS 760283 HAS SOUS 88739 HAS SOUPS 88507 WITH SCORE 89267.527
AT ITER 3484 NEW BEST:: SOT 1182084 SOS 760546 HAS SOPS 760302 HAS SOUS 88350 HAS SOUPS 88118 WITH SCORE 88878.546
AT ITER 3487 NEW BEST:: SOT 1182084 SOS 758146 HAS SOPS 757902 HAS SOUS 88250 HAS SOUPS 88018 WITH SCORE 88776.146
AT ITER 3493 NEW BEST:: SOT 1182084 SOS 757018 HAS SOPS 756774 HAS SOUS 88250 HAS SOUPS 88018 WITH SCORE 88775.018
AT ITER 3529 NEW BEST:: SOT 1181792 SOS 756726 HAS SOPS 756482 HAS SOUS 87919 HAS SOUPS 87687 WITH SCORE 88443.726
AT ITER 3533 NEW BEST:: SOT 1181792 SOS 756726 HAS SOPS 756482 HAS SOUS 87867 HAS SOUPS 87635 WITH SCORE 88391.726
AT ITER 3542 NEW BEST:: SOT 1181792 SOS 756774 HAS SOPS 756530 HAS SOUS 87829 HAS SOUPS 87597 WITH SCORE 88353.774
AT ITER 3543 NEW BEST:: SOT 1181792 SOS 756774 HAS SOPS 756530 HAS SOUS 87685 HAS SOUPS 87453 WITH SCORE 88209.774
AT ITER 3557 NEW BEST:: SOT 1182375 SOS 757357 HAS SOPS 757113 HAS SOUS 87210 HAS SOUPS 86978 WITH SCORE 87735.357
AT ITER 3566 NEW BEST:: SOT 1182911 SOS 757893 HAS SOPS 757649 HAS SOUS 87175 HAS SOUPS 86943 WITH SCORE 87700.893
AT ITER 3581 NEW BEST:: SOT 1182316 SOS 757298 HAS SOPS 757054 HAS SOUS 86757 HAS SOUPS 86525 WITH SCORE 87282.298
AT ITER 3594 NEW BEST:: SOT 1182288 SOS 757270 HAS SOPS 757026 HAS SOUS 86694 HAS SOUPS 86462 WITH SCORE 87219.27
AT ITER 3633 NEW BEST:: SOT 1182288 SOS 757054 HAS SOPS 756810 HAS SOUS 86694 HAS SOUPS 86462 WITH SCORE 87219.054
AT ITER 3652 NEW BEST:: SOT 1181880 SOS 755758 HAS SOPS 755514 HAS SOUS 86534 HAS SOUPS 86302 WITH SCORE 87057.758
AT ITER 3711 NEW BEST:: SOT 1181702 SOS 753948 HAS SOPS 753704 HAS SOUS 85522 HAS SOUPS 85290 WITH SCORE 86043.948
AT ITER 3751 NEW BEST:: SOT 1181661 SOS 753907 HAS SOPS 753663 HAS SOUS 85436 HAS SOUPS 85204 WITH SCORE 85957.907
AT ITER 3795 NEW BEST:: SOT 1183585 SOS 755831 HAS SOPS 755587 HAS SOUS 85376 HAS SOUPS 85144 WITH SCORE 85899.831
AT ITER 3805 NEW BEST:: SOT 1183580 SOS 756001 HAS SOPS 755757 HAS SOUS 85356 HAS SOUPS 85124 WITH SCORE 85880.001
AT ITER 3809 NEW BEST:: SOT 1183540 SOS 755961 HAS SOPS 755717 HAS SOUS 85069 HAS SOUPS 84837 WITH SCORE 85592.961
AT ITER 3814 NEW BEST:: SOT 1185025 SOS 757446 HAS SOPS 757202 HAS SOUS 83560 HAS SOUPS 83328 WITH SCORE 84085.446
AT ITER 3823 NEW BEST:: SOT 1183911 SOS 756332 HAS SOPS 756088 HAS SOUS 82179 HAS SOUPS 81947 WITH SCORE 82703.332
AT ITER 3833 NEW BEST:: SOT 1183911 SOS 756794 HAS SOPS 756568 HAS SOUS 82159 HAS SOUPS 81945 WITH SCORE 82701.794
AT ITER 3863 NEW BEST:: SOT 1183911 SOS 756649 HAS SOPS 756400 HAS SOUS 82182 HAS SOUPS 81945 WITH SCORE 82701.649
AT ITER 3866 NEW BEST:: SOT 1184096 SOS 756834 HAS SOPS 756585 HAS SOUS 82150 HAS SOUPS 81913 WITH SCORE 82669.834
AT ITER 3889 NEW BEST:: SOT 1184083 SOS 754829 HAS SOPS 754532 HAS SOUS 82186 HAS SOUPS 81901 WITH SCORE 82655.829
AT ITER 3926 NEW BEST:: SOT 1184081 SOS 754827 HAS SOPS 754530 HAS SOUS 82182 HAS SOUPS 81897 WITH SCORE 82651.827
AT ITER 3955 NEW BEST:: SOT 1184081 SOS 754821 HAS SOPS 754524 HAS SOUS 82176 HAS SOUPS 81891 WITH SCORE 82645.821
AT ITER 3957 NEW BEST:: SOT 1184081 SOS 754485 HAS SOPS 754188 HAS SOUS 82176 HAS SOUPS 81891 WITH SCORE 82645.485
AT ITER 3964 NEW BEST:: SOT 1184134 SOS 754538 HAS SOPS 754241 HAS SOUS 81977 HAS SOUPS 81692 WITH SCORE 82446.538
AT ITER 4009 NEW BEST:: SOT 1184134 SOS 752858 HAS SOPS 752561 HAS SOUS 81942 HAS SOUPS 81657 WITH SCORE 82409.858
AT ITER 4050 NEW BEST:: SOT 1183723 SOS 752447 HAS SOPS 752150 HAS SOUS 81780 HAS SOUPS 81495 WITH SCORE 82247.447
AT ITER 4078 NEW BEST:: SOT 1185184 SOS 753908 HAS SOPS 753611 HAS SOUS 81500 HAS SOUPS 81215 WITH SCORE 81968.908
AT ITER 4080 NEW BEST:: SOT 1185184 SOS 753908 HAS SOPS 753611 HAS SOUS 81492 HAS SOUPS 81207 WITH SCORE 81960.908
AT ITER 4129 NEW BEST:: SOT 1185118 SOS 753842 HAS SOPS 753545 HAS SOUS 81248 HAS SOUPS 80963 WITH SCORE 81716.842
AT ITER 4166 NEW BEST:: SOT 1185118 SOS 753835 HAS SOPS 753545 HAS SOUS 81241 HAS SOUPS 80963 WITH SCORE 81716.835
AT ITER 4177 NEW BEST:: SOT 1184780 SOS 753497 HAS SOPS 753207 HAS SOUS 81039 HAS SOUPS 80761 WITH SCORE 81514.497
AT ITER 4184 NEW BEST:: SOT 1184838 SOS 753843 HAS SOPS 753553 HAS SOUS 80845 HAS SOUPS 80567 WITH SCORE 81320.843
AT ITER 4197 NEW BEST:: SOT 1184772 SOS 753541 HAS SOPS 753251 HAS SOUS 80649 HAS SOUPS 80371 WITH SCORE 81124.541
AT ITER 4209 NEW BEST:: SOT 1186147 SOS 758616 HAS SOPS 758346 HAS SOUS 80425 HAS SOUPS 80167 WITH SCORE 80925.616
AT ITER 4212 NEW BEST:: SOT 1186147 SOS 757488 HAS SOPS 757218 HAS SOUS 80421 HAS SOUPS 80163 WITH SCORE 80920.488
AT ITER 4232 NEW BEST:: SOT 1186147 SOS 759098 HAS SOPS 758828 HAS SOUS 80387 HAS SOUPS 80129 WITH SCORE 80888.098
AT ITER 4236 NEW BEST:: SOT 1185616 SOS 758567 HAS SOPS 758297 HAS SOUS 80012 HAS SOUPS 79754 WITH SCORE 80512.567
AT ITER 4244 NEW BEST:: SOT 1185070 SOS 757690 HAS SOPS 757420 HAS SOUS 79741 HAS SOUPS 79483 WITH SCORE 80240.69
AT ITER 4245 NEW BEST:: SOT 1185036 SOS 757656 HAS SOPS 757386 HAS SOUS 79727 HAS SOUPS 79469 WITH SCORE 80226.656
AT ITER 4272 NEW BEST:: SOT 1185210 SOS 757830 HAS SOPS 757560 HAS SOUS 79462 HAS SOUPS 79204 WITH SCORE 79961.83
AT ITER 4280 NEW BEST:: SOT 1185176 SOS 757796 HAS SOPS 757526 HAS SOUS 79392 HAS SOUPS 79134 WITH SCORE 79891.796
AT ITER 4289 NEW BEST:: SOT 1185194 SOS 758886 HAS SOPS 758648 HAS SOUS 79341 HAS SOUPS 79115 WITH SCORE 79873.886
AT ITER 4320 NEW BEST:: SOT 1185194 SOS 758711 HAS SOPS 758504 HAS SOUS 79297 HAS SOUPS 79102 WITH SCORE 79860.711
AT ITER 4343 NEW BEST:: SOT 1185194 SOS 759023 HAS SOPS 758816 HAS SOUS 79284 HAS SOUPS 79089 WITH SCORE 79848.023
AT ITER 4345 NEW BEST:: SOT 1185254 SOS 759083 HAS SOPS 758876 HAS SOUS 79230 HAS SOUPS 79035 WITH SCORE 79794.083
AT ITER 4352 NEW BEST:: SOT 1185007 SOS 758836 HAS SOPS 758629 HAS SOUS 79117 HAS SOUPS 78922 WITH SCORE 79680.836
AT ITER 4500 NEW BEST:: SOT 1185007 SOS 758810 HAS SOPS 758603 HAS SOUS 79117 HAS SOUPS 78922 WITH SCORE 79680.81
AT ITER 4511 NEW BEST:: SOT 1185007 SOS 758042 HAS SOPS 757835 HAS SOUS 79117 HAS SOUPS 78922 WITH SCORE 79680.042
AT ITER 4519 NEW BEST:: SOT 1184874 SOS 757909 HAS SOPS 757702 HAS SOUS 78988 HAS SOUPS 78793 WITH SCORE 79550.909
AT ITER 4527 NEW BEST:: SOT 1184895 SOS 757930 HAS SOPS 757723 HAS SOUS 78977 HAS SOUPS 78782 WITH SCORE 79539.93
AT ITER 4553 NEW BEST:: SOT 1184902 SOS 756600 HAS SOPS 756393 HAS SOUS 78961 HAS SOUPS 78766 WITH SCORE 79522.6
AT ITER 4557 NEW BEST:: SOT 1184313 SOS 756011 HAS SOPS 755804 HAS SOUS 78531 HAS SOUPS 78336 WITH SCORE 79092.011
AT ITER 4565 NEW BEST:: SOT 1184325 SOS 755951 HAS SOPS 755744 HAS SOUS 78504 HAS SOUPS 78309 WITH SCORE 79064.951
AT ITER 4566 NEW BEST:: SOT 1184325 SOS 756549 HAS SOPS 756342 HAS SOUS 78491 HAS SOUPS 78296 WITH SCORE 79052.549
AT ITER 4568 NEW BEST:: SOT 1184325 SOS 755070 HAS SOPS 754863 HAS SOUS 78491 HAS SOUPS 78296 WITH SCORE 79051.07
AT ITER 4591 NEW BEST:: SOT 1184536 SOS 755292 HAS SOPS 755085 HAS SOUS 78469 HAS SOUPS 78274 WITH SCORE 79029.292
AT ITER 4613 NEW BEST:: SOT 1184536 SOS 755092 HAS SOPS 754885 HAS SOUS 78469 HAS SOUPS 78274 WITH SCORE 79029.092
AT ITER 4670 NEW BEST:: SOT 1184224 SOS 754780 HAS SOPS 754573 HAS SOUS 78393 HAS SOUPS 78198 WITH SCORE 78952.78
AT ITER 4682 NEW BEST:: SOT 1184177 SOS 754661 HAS SOPS 754454 HAS SOUS 78349 HAS SOUPS 78154 WITH SCORE 78908.661
AT ITER 4695 NEW BEST:: SOT 1184147 SOS 754631 HAS SOPS 754424 HAS SOUS 78346 HAS SOUPS 78151 WITH SCORE 78905.631
AT ITER 4698 NEW BEST:: SOT 1184147 SOS 754679 HAS SOPS 754472 HAS SOUS 78306 HAS SOUPS 78111 WITH SCORE 78865.679
AT ITER 4702 NEW BEST:: SOT 1184147 SOS 754678 HAS SOPS 754472 HAS SOUS 78305 HAS SOUPS 78111 WITH SCORE 78865.678
AT ITER 4708 NEW BEST:: SOT 1184246 SOS 754777 HAS SOPS 754571 HAS SOUS 78254 HAS SOUPS 78060 WITH SCORE 78814.777
AT ITER 4761 NEW BEST:: SOT 1183800 SOS 754331 HAS SOPS 754125 HAS SOUS 77988 HAS SOUPS 77794 WITH SCORE 78548.331
AT ITER 4762 NEW BEST:: SOT 1183799 SOS 754339 HAS SOPS 754124 HAS SOUS 77980 HAS SOUPS 77777 WITH SCORE 78531.339
AT ITER 4775 NEW BEST:: SOT 1183790 SOS 754330 HAS SOPS 754115 HAS SOUS 77915 HAS SOUPS 77712 WITH SCORE 78466.33
AT ITER 4798 NEW BEST:: SOT 1183790 SOS 755776 HAS SOPS 755561 HAS SOUS 77900 HAS SOUPS 77697 WITH SCORE 78452.776
AT ITER 4826 NEW BEST:: SOT 1183551 SOS 755537 HAS SOPS 755322 HAS SOUS 77738 HAS SOUPS 77535 WITH SCORE 78290.537
AT ITER 4879 NEW BEST:: SOT 1183585 SOS 755571 HAS SOPS 755356 HAS SOUS 77729 HAS SOUPS 77526 WITH SCORE 78281.571
AT ITER 4896 NEW BEST:: SOT 1183751 SOS 755737 HAS SOPS 755522 HAS SOUS 77688 HAS SOUPS 77485 WITH SCORE 78240.737
AT ITER 4898 NEW BEST:: SOT 1184831 SOS 756817 HAS SOPS 756602 HAS SOUS 77575 HAS SOUPS 77372 WITH SCORE 78128.817
AT ITER 4952 NEW BEST:: SOT 1184039 SOS 756025 HAS SOPS 755810 HAS SOUS 77464 HAS SOUPS 77261 WITH SCORE 78017.025
AT ITER 4958 NEW BEST:: SOT 1184097 SOS 757424 HAS SOPS 757260 HAS SOUS 77396 HAS SOUPS 77244 WITH SCORE 78001.424
AT ITER 4971 NEW BEST:: SOT 1184465 SOS 757792 HAS SOPS 757628 HAS SOUS 77332 HAS SOUPS 77180 WITH SCORE 77937.792
AT ITER 4984 NEW BEST:: SOT 1184584 SOS 758074 HAS SOPS 757910 HAS SOUS 77310 HAS SOUPS 77158 WITH SCORE 77916.074
AT ITER 5030 NEW BEST:: SOT 1184416 SOS 757906 HAS SOPS 757742 HAS SOUS 77182 HAS SOUPS 77030 WITH SCORE 77787.906
AT ITER 5034 NEW BEST:: SOT 1184338 SOS 757828 HAS SOPS 757664 HAS SOUS 77179 HAS SOUPS 77027 WITH SCORE 77784.828
AT ITER 5081 NEW BEST:: SOT 1184341 SOS 758038 HAS SOPS 757874 HAS SOUS 77154 HAS SOUPS 77002 WITH SCORE 77760.038
AT ITER 5106 NEW BEST:: SOT 1184349 SOS 758046 HAS SOPS 757882 HAS SOUS 77145 HAS SOUPS 76993 WITH SCORE 77751.046
AT ITER 5121 NEW BEST:: SOT 1184379 SOS 758076 HAS SOPS 757912 HAS SOUS 77105 HAS SOUPS 76953 WITH SCORE 77711.076
AT ITER 5191 NEW BEST:: SOT 1184324 SOS 758021 HAS SOPS 757857 HAS SOUS 77055 HAS SOUPS 76903 WITH SCORE 77661.021
AT ITER 5219 NEW BEST:: SOT 1184324 SOS 759665 HAS SOPS 759501 HAS SOUS 76441 HAS SOUPS 76289 WITH SCORE 77048.665
AT ITER 5233 NEW BEST:: SOT 1183372 SOS 758713 HAS SOPS 758549 HAS SOUS 75791 HAS SOUPS 75639 WITH SCORE 76397.713
AT ITER 5238 NEW BEST:: SOT 1182480 SOS 757521 HAS SOPS 757357 HAS SOUS 75531 HAS SOUPS 75379 WITH SCORE 76136.521
AT ITER 5332 NEW BEST:: SOT 1182480 SOS 757449 HAS SOPS 757285 HAS SOUS 75529 HAS SOUPS 75377 WITH SCORE 76134.449
AT ITER 5338 NEW BEST:: SOT 1182333 SOS 757302 HAS SOPS 757138 HAS SOUS 75400 HAS SOUPS 75248 WITH SCORE 76005.302
AT ITER 5353 NEW BEST:: SOT 1182119 SOS 757088 HAS SOPS 756924 HAS SOUS 75347 HAS SOUPS 75195 WITH SCORE 75952.088
AT ITER 5357 NEW BEST:: SOT 1182113 SOS 757082 HAS SOPS 756918 HAS SOUS 75303 HAS SOUPS 75151 WITH SCORE 75908.082
AT ITER 5369 NEW BEST:: SOT 1182193 SOS 757162 HAS SOPS 756998 HAS SOUS 75257 HAS SOUPS 75105 WITH SCORE 75862.162
AT ITER 5384 NEW BEST:: SOT 1182918 SOS 757935 HAS SOPS 757771 HAS SOUS 75127 HAS SOUPS 74975 WITH SCORE 75732.935
AT ITER 5388 NEW BEST:: SOT 1183060 SOS 762107 HAS SOPS 761941 HAS SOUS 74787 HAS SOUPS 74633 WITH SCORE 75395.107
AT ITER 5392 NEW BEST:: SOT 1182556 SOS 761603 HAS SOPS 761437 HAS SOUS 74493 HAS SOUPS 74339 WITH SCORE 75100.603
AT ITER 5417 NEW BEST:: SOT 1182654 SOS 763489 HAS SOPS 763323 HAS SOUS 74452 HAS SOUPS 74298 WITH SCORE 75061.489
AT ITER 5419 NEW BEST:: SOT 1183096 SOS 764171 HAS SOPS 764005 HAS SOUS 74407 HAS SOUPS 74253 WITH SCORE 75017.171
AT ITER 5423 NEW BEST:: SOT 1183036 SOS 764111 HAS SOPS 763945 HAS SOUS 74403 HAS SOUPS 74249 WITH SCORE 75013.111
AT ITER 5429 NEW BEST:: SOT 1183036 SOS 764639 HAS SOPS 764473 HAS SOUS 74392 HAS SOUPS 74238 WITH SCORE 75002.639
AT ITER 5452 NEW BEST:: SOT 1183741 SOS 766028 HAS SOPS 765862 HAS SOUS 74339 HAS SOUPS 74185 WITH SCORE 74951.028
AT ITER 5503 NEW BEST:: SOT 1184238 SOS 766525 HAS SOPS 766359 HAS SOUS 74284 HAS SOUPS 74130 WITH SCORE 74896.525
AT ITER 5505 NEW BEST:: SOT 1184238 SOS 766514 HAS SOPS 766359 HAS SOUS 74273 HAS SOUPS 74130 WITH SCORE 74896.514
AT ITER 5553 NEW BEST:: SOT 1183524 SOS 766808 HAS SOPS 766653 HAS SOUS 74052 HAS SOUPS 73909 WITH SCORE 74675.808
AT ITER 5556 NEW BEST:: SOT 1183537 SOS 767133 HAS SOPS 766978 HAS SOUS 73844 HAS SOUPS 73701 WITH SCORE 74468.133
AT ITER 5602 NEW BEST:: SOT 1183735 SOS 767643 HAS SOPS 767488 HAS SOUS 73792 HAS SOUPS 73649 WITH SCORE 74416.643
AT ITER 5636 NEW BEST:: SOT 1183150 SOS 767058 HAS SOPS 766903 HAS SOUS 73660 HAS SOUPS 73517 WITH SCORE 74284.058
AT ITER 5640 NEW BEST:: SOT 1183203 SOS 767111 HAS SOPS 766956 HAS SOUS 73637 HAS SOUPS 73494 WITH SCORE 74261.111
AT ITER 5684 NEW BEST:: SOT 1183185 SOS 767093 HAS SOPS 766938 HAS SOUS 73615 HAS SOUPS 73472 WITH SCORE 74239.093
AT ITER 5686 NEW BEST:: SOT 1183185 SOS 767189 HAS SOPS 767034 HAS SOUS 73591 HAS SOUPS 73448 WITH SCORE 74215.189
AT ITER 5690 NEW BEST:: SOT 1183175 SOS 767179 HAS SOPS 767024 HAS SOUS 73548 HAS SOUPS 73405 WITH SCORE 74172.179
AT ITER 5706 NEW BEST:: SOT 1182349 SOS 767865 HAS SOPS 767710 HAS SOUS 72902 HAS SOUPS 72759 WITH SCORE 73526.865
AT ITER 5708 NEW BEST:: SOT 1182349 SOS 767865 HAS SOPS 767710 HAS SOUS 72854 HAS SOUPS 72711 WITH SCORE 73478.865
AT ITER 5734 NEW BEST:: SOT 1182256 SOS 767772 HAS SOPS 767617 HAS SOUS 72695 HAS SOUPS 72552 WITH SCORE 73319.772
AT ITER 5751 NEW BEST:: SOT 1182256 SOS 767100 HAS SOPS 766945 HAS SOUS 72695 HAS SOUPS 72552 WITH SCORE 73319.1
AT ITER 5784 NEW BEST:: SOT 1182255 SOS 767099 HAS SOPS 766944 HAS SOUS 72679 HAS SOUPS 72536 WITH SCORE 73303.099
AT ITER 5790 NEW BEST:: SOT 1182293 SOS 767213 HAS SOPS 767058 HAS SOUS 72662 HAS SOUPS 72519 WITH SCORE 73286.213
AT ITER 5812 NEW BEST:: SOT 1182293 SOS 766853 HAS SOPS 766698 HAS SOUS 72662 HAS SOUPS 72519 WITH SCORE 73285.853
AT ITER 5824 NEW BEST:: SOT 1182293 SOS 766157 HAS SOPS 766002 HAS SOUS 72661 HAS SOUPS 72518 WITH SCORE 73284.157
AT ITER 5888 NEW BEST:: SOT 1181626 SOS 765490 HAS SOPS 765335 HAS SOUS 72449 HAS SOUPS 72306 WITH SCORE 73071.49
AT ITER 5916 NEW BEST:: SOT 1181626 SOS 767290 HAS SOPS 767135 HAS SOUS 72396 HAS SOUPS 72253 WITH SCORE 73020.29
AT ITER 5986 NEW BEST:: SOT 1181626 SOS 767728 HAS SOPS 767591 HAS SOUS 72369 HAS SOUPS 72244 WITH SCORE 73011.728
AT ITER 5990 NEW BEST:: SOT 1181626 SOS 767620 HAS SOPS 767483 HAS SOUS 72369 HAS SOUPS 72244 WITH SCORE 73011.62
AT ITER 6006 NEW BEST:: SOT 1181626 SOS 768279 HAS SOPS 768155 HAS SOUS 72350 HAS SOUPS 72238 WITH SCORE 73006.279
AT ITER 6023 NEW BEST:: SOT 1181626 SOS 766599 HAS SOPS 766475 HAS SOUS 72349 HAS SOUPS 72237 WITH SCORE 73003.599
AT ITER 6025 NEW BEST:: SOT 1182024 SOS 769473 HAS SOPS 769397 HAS SOUS 72101 HAS SOUPS 72037 WITH SCORE 72806.473
AT ITER 6027 NEW BEST:: SOT 1182024 SOS 770337 HAS SOPS 770261 HAS SOUS 72083 HAS SOUPS 72019 WITH SCORE 72789.337
AT ITER 6042 NEW BEST:: SOT 1182402 SOS 771435 HAS SOPS 771359 HAS SOUS 71992 HAS SOUPS 71928 WITH SCORE 72699.435
AT ITER 6095 NEW BEST:: SOT 1182400 SOS 771433 HAS SOPS 771357 HAS SOUS 71948 HAS SOUPS 71884 WITH SCORE 72655.433
AT ITER 6104 NEW BEST:: SOT 1182400 SOS 771821 HAS SOPS 771765 HAS SOUS 71918 HAS SOUPS 71874 WITH SCORE 72645.821
AT ITER 6112 NEW BEST:: SOT 1182461 SOS 771882 HAS SOPS 771826 HAS SOUS 71898 HAS SOUPS 71854 WITH SCORE 72625.882
AT ITER 6144 NEW BEST:: SOT 1182461 SOS 771852 HAS SOPS 771796 HAS SOUS 71868 HAS SOUPS 71824 WITH SCORE 72595.852
AT ITER 6145 NEW BEST:: SOT 1182495 SOS 772330 HAS SOPS 772274 HAS SOUS 71437 HAS SOUPS 71393 WITH SCORE 72165.33
AT ITER 6147 NEW BEST:: SOT 1182495 SOS 772422 HAS SOPS 772366 HAS SOUS 71433 HAS SOUPS 71389 WITH SCORE 72161.422
AT ITER 6150 NEW BEST:: SOT 1182484 SOS 772411 HAS SOPS 772355 HAS SOUS 71390 HAS SOUPS 71346 WITH SCORE 72118.411
AT ITER 6156 NEW BEST:: SOT 1182184 SOS 772272 HAS SOPS 772216 HAS SOUS 71187 HAS SOUPS 71143 WITH SCORE 71915.272
AT ITER 6161 NEW BEST:: SOT 1182184 SOS 769196 HAS SOPS 769140 HAS SOUS 71178 HAS SOUPS 71134 WITH SCORE 71903.196
AT ITER 6191 NEW BEST:: SOT 1182209 SOS 770541 HAS SOPS 770485 HAS SOUS 71162 HAS SOUPS 71118 WITH SCORE 71888.541
AT ITER 6248 NEW BEST:: SOT 1182185 SOS 770241 HAS SOPS 770197 HAS SOUS 71072 HAS SOUPS 71028 WITH SCORE 71798.241
AT ITER 6294 NEW BEST:: SOT 1182476 SOS 777281 HAS SOPS 777249 HAS SOUS 71024 HAS SOUPS 70992 WITH SCORE 71769.281
AT ITER 6327 NEW BEST:: SOT 1182389 SOS 777194 HAS SOPS 777162 HAS SOUS 71024 HAS SOUPS 70992 WITH SCORE 71769.194
AT ITER 6354 NEW BEST:: SOT 1182402 SOS 777207 HAS SOPS 777175 HAS SOUS 70999 HAS SOUPS 70967 WITH SCORE 71744.207
AT ITER 6385 NEW BEST:: SOT 1182391 SOS 777196 HAS SOPS 777164 HAS SOUS 70987 HAS SOUPS 70955 WITH SCORE 71732.196
AT ITER 6416 NEW BEST:: SOT 1182391 SOS 777525 HAS SOPS 777493 HAS SOUS 70980 HAS SOUPS 70948 WITH SCORE 71725.525
AT ITER 6427 NEW BEST:: SOT 1182399 SOS 777533 HAS SOPS 777501 HAS SOUS 70917 HAS SOUPS 70885 WITH SCORE 71662.533
AT ITER 6477 NEW BEST:: SOT 1184263 SOS 779397 HAS SOPS 779365 HAS SOUS 69175 HAS SOUPS 69143 WITH SCORE 69922.397
AT ITER 6502 NEW BEST:: SOT 1184263 SOS 779397 HAS SOPS 779365 HAS SOUS 69151 HAS SOUPS 69119 WITH SCORE 69898.397
AT ITER 6522 NEW BEST:: SOT 1184263 SOS 779397 HAS SOPS 779365 HAS SOUS 69127 HAS SOUPS 69095 WITH SCORE 69874.397
AT ITER 6587 NEW BEST:: SOT 1184263 SOS 779397 HAS SOPS 779365 HAS SOUS 69126 HAS SOUPS 69094 WITH SCORE 69873.397
AT ITER 6634 NEW BEST:: SOT 1184263 SOS 779305 HAS SOPS 779273 HAS SOUS 69126 HAS SOUPS 69094 WITH SCORE 69873.305
AT ITER 6663 NEW BEST:: SOT 1184602 SOS 779644 HAS SOPS 779612 HAS SOUS 69106 HAS SOUPS 69074 WITH SCORE 69853.644
AT ITER 6678 NEW BEST:: SOT 1185763 SOS 781141 HAS SOPS 781109 HAS SOUS 69089 HAS SOUPS 69057 WITH SCORE 69838.141
AT ITER 6706 NEW BEST:: SOT 1185862 SOS 781240 HAS SOPS 781208 HAS SOUS 68840 HAS SOUPS 68808 WITH SCORE 69589.24
AT ITER 6725 NEW BEST:: SOT 1185894 SOS 781320 HAS SOPS 781288 HAS SOUS 68834 HAS SOUPS 68802 WITH SCORE 69583.32
AT ITER 6757 NEW BEST:: SOT 1185894 SOS 781176 HAS SOPS 781144 HAS SOUS 68828 HAS SOUPS 68796 WITH SCORE 69577.176
AT ITER 6786 NEW BEST:: SOT 1185986 SOS 780963 HAS SOPS 780931 HAS SOUS 68825 HAS SOUPS 68793 WITH SCORE 69573.963
AT ITER 6807 NEW BEST:: SOT 1186164 SOS 781141 HAS SOPS 781109 HAS SOUS 68528 HAS SOUPS 68496 WITH SCORE 69277.141
AT ITER 6830 NEW BEST:: SOT 1186144 SOS 781121 HAS SOPS 781089 HAS SOUS 68501 HAS SOUPS 68469 WITH SCORE 69250.121
AT ITER 6874 NEW BEST:: SOT 1186168 SOS 781145 HAS SOPS 781113 HAS SOUS 68483 HAS SOUPS 68451 WITH SCORE 69232.145
AT ITER 6894 NEW BEST:: SOT 1186190 SOS 781167 HAS SOPS 781135 HAS SOUS 68482 HAS SOUPS 68450 WITH SCORE 69231.167
AT ITER 6918 NEW BEST:: SOT 1186115 SOS 781092 HAS SOPS 781060 HAS SOUS 68404 HAS SOUPS 68372 WITH SCORE 69153.092
AT ITER 6950 NEW BEST:: SOT 1186115 SOS 781092 HAS SOPS 781060 HAS SOUS 68384 HAS SOUPS 68352 WITH SCORE 69133.092
AT ITER 6968 NEW BEST:: SOT 1186062 SOS 781039 HAS SOPS 781007 HAS SOUS 68366 HAS SOUPS 68334 WITH SCORE 69115.039
AT ITER 6990 NEW BEST:: SOT 1186873 SOS 782018 HAS SOPS 781986 HAS SOUS 68318 HAS SOUPS 68286 WITH SCORE 69068.018
AT ITER 7007 NEW BEST:: SOT 1186873 SOS 781994 HAS SOPS 781962 HAS SOUS 68318 HAS SOUPS 68286 WITH SCORE 69067.994
AT ITER 7021 NEW BEST:: SOT 1186684 SOS 781805 HAS SOPS 781773 HAS SOUS 68128 HAS SOUPS 68096 WITH SCORE 68877.805
AT ITER 7047 NEW BEST:: SOT 1186684 SOS 781241 HAS SOPS 781204 HAS SOUS 68128 HAS SOUPS 68091 WITH SCORE 68872.241
AT ITER 7059 NEW BEST:: SOT 1186640 SOS 781197 HAS SOPS 781160 HAS SOUS 68127 HAS SOUPS 68090 WITH SCORE 68871.197
AT ITER 7082 NEW BEST:: SOT 1186885 SOS 781442 HAS SOPS 781405 HAS SOUS 68040 HAS SOUPS 68003 WITH SCORE 68784.442
AT ITER 7097 NEW BEST:: SOT 1186885 SOS 781418 HAS SOPS 781381 HAS SOUS 68040 HAS SOUPS 68003 WITH SCORE 68784.418
AT ITER 7130 NEW BEST:: SOT 1186885 SOS 781559 HAS SOPS 781522 HAS SOUS 68037 HAS SOUPS 68000 WITH SCORE 68781.559
AT ITER 7140 NEW BEST:: SOT 1186885 SOS 781715 HAS SOPS 781678 HAS SOUS 68032 HAS SOUPS 67995 WITH SCORE 68776.715
AT ITER 7158 NEW BEST:: SOT 1186891 SOS 781733 HAS SOPS 781696 HAS SOUS 68014 HAS SOUPS 67977 WITH SCORE 68758.733
AT ITER 7160 NEW BEST:: SOT 1187089 SOS 781931 HAS SOPS 781894 HAS SOUS 67888 HAS SOUPS 67851 WITH SCORE 68632.931
AT ITER 7212 NEW BEST:: SOT 1187536 SOS 782378 HAS SOPS 782341 HAS SOUS 67717 HAS SOUPS 67680 WITH SCORE 68462.378
AT ITER 7222 NEW BEST:: SOT 1187037 SOS 774667 HAS SOPS 774630 HAS SOUS 67711 HAS SOUPS 67674 WITH SCORE 68448.667
AT ITER 7233 NEW BEST:: SOT 1186836 SOS 774466 HAS SOPS 774429 HAS SOUS 67615 HAS SOUPS 67578 WITH SCORE 68352.466
AT ITER 7236 NEW BEST:: SOT 1186820 SOS 774418 HAS SOPS 774381 HAS SOUS 67601 HAS SOUPS 67564 WITH SCORE 68338.418
AT ITER 7273 NEW BEST:: SOT 1186690 SOS 774288 HAS SOPS 774251 HAS SOUS 67599 HAS SOUPS 67562 WITH SCORE 68336.288
AT ITER 7311 NEW BEST:: SOT 1187173 SOS 774771 HAS SOPS 774734 HAS SOUS 67469 HAS SOUPS 67432 WITH SCORE 68206.771
AT ITER 7340 NEW BEST:: SOT 1187173 SOS 774554 HAS SOPS 774517 HAS SOUS 67468 HAS SOUPS 67431 WITH SCORE 68205.554
AT ITER 7351 NEW BEST:: SOT 1187113 SOS 774494 HAS SOPS 774457 HAS SOUS 67399 HAS SOUPS 67362 WITH SCORE 68136.494
AT ITER 7358 NEW BEST:: SOT 1187113 SOS 774110 HAS SOPS 774073 HAS SOUS 67399 HAS SOUPS 67362 WITH SCORE 68136.11
AT ITER 7426 NEW BEST:: SOT 1187113 SOS 740327 HAS SOPS 740290 HAS SOUS 67398 HAS SOUPS 67361 WITH SCORE 68101.327
AT ITER 7434 NEW BEST:: SOT 1187937 SOS 741289 HAS SOPS 741252 HAS SOUS 67396 HAS SOUPS 67359 WITH SCORE 68100.289
AT ITER 7464 NEW BEST:: SOT 1188129 SOS 742369 HAS SOPS 742332 HAS SOUS 67312 HAS SOUPS 67275 WITH SCORE 68017.369
AT ITER 7475 NEW BEST:: SOT 1187819 SOS 741867 HAS SOPS 741830 HAS SOUS 67216 HAS SOUPS 67179 WITH SCORE 67920.867
AT ITER 7486 NEW BEST:: SOT 1187862 SOS 741910 HAS SOPS 741873 HAS SOUS 67196 HAS SOUPS 67159 WITH SCORE 67900.91
AT ITER 7512 NEW BEST:: SOT 1187796 SOS 741844 HAS SOPS 741807 HAS SOUS 67139 HAS SOUPS 67102 WITH SCORE 67843.844
AT ITER 7528 NEW BEST:: SOT 1188215 SOS 742263 HAS SOPS 742226 HAS SOUS 67107 HAS SOUPS 67070 WITH SCORE 67812.263
AT ITER 7530 NEW BEST:: SOT 1188179 SOS 742227 HAS SOPS 742190 HAS SOUS 66747 HAS SOUPS 66710 WITH SCORE 67452.227
AT ITER 7536 NEW BEST:: SOT 1188179 SOS 742161 HAS SOPS 742124 HAS SOUS 66747 HAS SOUPS 66710 WITH SCORE 67452.161
AT ITER 7589 NEW BEST:: SOT 1188179 SOS 742155 HAS SOPS 742076 HAS SOUS 66789 HAS SOUPS 66710 WITH SCORE 67452.155
AT ITER 7715 NEW BEST:: SOT 1188179 SOS 738123 HAS SOPS 738044 HAS SOUS 66792 HAS SOUPS 66713 WITH SCORE 67451.123
AT ITER 7736 NEW BEST:: SOT 1188089 SOS 738033 HAS SOPS 737954 HAS SOUS 66664 HAS SOUPS 66585 WITH SCORE 67323.033
AT ITER 7824 NEW BEST:: SOT 1188083 SOS 738027 HAS SOPS 737948 HAS SOUS 66658 HAS SOUPS 66579 WITH SCORE 67317.027
AT ITER 7894 NEW BEST:: SOT 1188507 SOS 738451 HAS SOPS 738372 HAS SOUS 66284 HAS SOUPS 66205 WITH SCORE 66943.451
AT ITER 7925 NEW BEST:: SOT 1188852 SOS 738796 HAS SOPS 738717 HAS SOUS 66201 HAS SOUPS 66122 WITH SCORE 66860.796
AT ITER 7947 NEW BEST:: SOT 1188819 SOS 738763 HAS SOPS 738684 HAS SOUS 66168 HAS SOUPS 66089 WITH SCORE 66827.763
AT ITER 8008 NEW BEST:: SOT 1188819 SOS 738757 HAS SOPS 738684 HAS SOUS 66162 HAS SOUPS 66089 WITH SCORE 66827.757
AT ITER 8017 NEW BEST:: SOT 1188843 SOS 738781 HAS SOPS 738708 HAS SOUS 66139 HAS SOUPS 66066 WITH SCORE 66804.781
AT ITER 8037 NEW BEST:: SOT 1188823 SOS 738755 HAS SOPS 738682 HAS SOUS 66118 HAS SOUPS 66045 WITH SCORE 66783.755
AT ITER 8098 NEW BEST:: SOT 1188802 SOS 738650 HAS SOPS 738577 HAS SOUS 66108 HAS SOUPS 66035 WITH SCORE 66773.65
AT ITER 8099 NEW BEST:: SOT 1188803 SOS 738651 HAS SOPS 738578 HAS SOUS 66052 HAS SOUPS 65979 WITH SCORE 66717.651
AT ITER 8123 NEW BEST:: SOT 1188950 SOS 738499 HAS SOPS 738426 HAS SOUS 66002 HAS SOUPS 65929 WITH SCORE 66667.499
AT ITER 8132 NEW BEST:: SOT 1188950 SOS 738499 HAS SOPS 738426 HAS SOUS 65920 HAS SOUPS 65847 WITH SCORE 66585.499
AT ITER 8216 NEW BEST:: SOT 1188629 SOS 738255 HAS SOPS 738182 HAS SOUS 65772 HAS SOUPS 65699 WITH SCORE 66437.255
AT ITER 8226 NEW BEST:: SOT 1188629 SOS 738255 HAS SOPS 738182 HAS SOUS 65726 HAS SOUPS 65653 WITH SCORE 66391.255
AT ITER 8265 NEW BEST:: SOT 1188608 SOS 737730 HAS SOPS 737657 HAS SOUS 65723 HAS SOUPS 65650 WITH SCORE 66387.73
AT ITER 8276 NEW BEST:: SOT 1188414 SOS 737536 HAS SOPS 737463 HAS SOUS 65704 HAS SOUPS 65631 WITH SCORE 66368.536
AT ITER 8319 NEW BEST:: SOT 1187838 SOS 736384 HAS SOPS 736311 HAS SOUS 65601 HAS SOUPS 65528 WITH SCORE 66264.384
AT ITER 8354 NEW BEST:: SOT 1187821 SOS 736395 HAS SOPS 736322 HAS SOUS 65598 HAS SOUPS 65525 WITH SCORE 66261.395
AT ITER 8379 NEW BEST:: SOT 1187807 SOS 736381 HAS SOPS 736308 HAS SOUS 65454 HAS SOUPS 65381 WITH SCORE 66117.381
AT ITER 8399 NEW BEST:: SOT 1187871 SOS 736515 HAS SOPS 736372 HAS SOUS 65512 HAS SOUPS 65369 WITH SCORE 66105.515
AT ITER 8417 NEW BEST:: SOT 1187859 SOS 736591 HAS SOPS 736445 HAS SOUS 65500 HAS SOUPS 65354 WITH SCORE 66090.591
AT ITER 8511 NEW BEST:: SOT 1187859 SOS 736591 HAS SOPS 736445 HAS SOUS 65472 HAS SOUPS 65326 WITH SCORE 66062.591
AT ITER 8565 NEW BEST:: SOT 1187859 SOS 737154 HAS SOPS 737021 HAS SOUS 65453 HAS SOUPS 65320 WITH SCORE 66057.154
AT ITER 8598 NEW BEST:: SOT 1186919 SOS 736214 HAS SOPS 736081 HAS SOUS 65204 HAS SOUPS 65071 WITH SCORE 65807.214
AT ITER 8600 NEW BEST:: SOT 1186841 SOS 736136 HAS SOPS 736003 HAS SOUS 65174 HAS SOUPS 65041 WITH SCORE 65777.136
AT ITER 8673 NEW BEST:: SOT 1186841 SOS 736040 HAS SOPS 735907 HAS SOUS 65174 HAS SOUPS 65041 WITH SCORE 65777.04
AT ITER 8689 NEW BEST:: SOT 1186842 SOS 736045 HAS SOPS 735912 HAS SOUS 65160 HAS SOUPS 65027 WITH SCORE 65763.045
AT ITER 8737 NEW BEST:: SOT 1186991 SOS 736194 HAS SOPS 736061 HAS SOUS 65123 HAS SOUPS 64990 WITH SCORE 65726.194
AT ITER 8792 NEW BEST:: SOT 1186900 SOS 736129 HAS SOPS 735996 HAS SOUS 65113 HAS SOUPS 64980 WITH SCORE 65716.129
AT ITER 8858 NEW BEST:: SOT 1186570 SOS 735799 HAS SOPS 735666 HAS SOUS 65101 HAS SOUPS 64968 WITH SCORE 65703.799
AT ITER 8935 NEW BEST:: SOT 1186271 SOS 735500 HAS SOPS 735367 HAS SOUS 65058 HAS SOUPS 64925 WITH SCORE 65660.5
AT ITER 8984 NEW BEST:: SOT 1186265 SOS 735206 HAS SOPS 735078 HAS SOUS 65052 HAS SOUPS 64924 WITH SCORE 65659.206
AT ITER 9027 NEW BEST:: SOT 1186269 SOS 735226 HAS SOPS 735098 HAS SOUS 65004 HAS SOUPS 64876 WITH SCORE 65611.226
AT ITER 9042 NEW BEST:: SOT 1186269 SOS 735226 HAS SOPS 735098 HAS SOUS 64939 HAS SOUPS 64811 WITH SCORE 65546.226
AT ITER 9074 NEW BEST:: SOT 1185717 SOS 734674 HAS SOPS 734546 HAS SOUS 64856 HAS SOUPS 64728 WITH SCORE 65462.674
AT ITER 9108 NEW BEST:: SOT 1185788 SOS 734745 HAS SOPS 734617 HAS SOUS 64827 HAS SOUPS 64699 WITH SCORE 65433.745
AT ITER 9142 NEW BEST:: SOT 1185773 SOS 734754 HAS SOPS 734626 HAS SOUS 64812 HAS SOUPS 64684 WITH SCORE 65418.754
AT ITER 9146 NEW BEST:: SOT 1185773 SOS 734694 HAS SOPS 734566 HAS SOUS 64812 HAS SOUPS 64684 WITH SCORE 65418.694
AT ITER 9204 NEW BEST:: SOT 1185785 SOS 734706 HAS SOPS 734578 HAS SOUS 64752 HAS SOUPS 64624 WITH SCORE 65358.706
AT ITER 9214 NEW BEST:: SOT 1186018 SOS 734939 HAS SOPS 734811 HAS SOUS 64702 HAS SOUPS 64574 WITH SCORE 65308.939
AT ITER 9230 NEW BEST:: SOT 1186018 SOS 734939 HAS SOPS 734811 HAS SOUS 64696 HAS SOUPS 64568 WITH SCORE 65302.939
AT ITER 9276 NEW BEST:: SOT 1185626 SOS 736325 HAS SOPS 736267 HAS SOUS 64176 HAS SOUPS 64118 WITH SCORE 64854.325
AT ITER 9309 NEW BEST:: SOT 1185626 SOS 736325 HAS SOPS 736267 HAS SOUS 64168 HAS SOUPS 64110 WITH SCORE 64846.325
AT ITER 9337 NEW BEST:: SOT 1185626 SOS 736325 HAS SOPS 736267 HAS SOUS 64144 HAS SOUPS 64086 WITH SCORE 64822.325
AT ITER 9360 NEW BEST:: SOT 1185578 SOS 736277 HAS SOPS 736219 HAS SOUS 64096 HAS SOUPS 64038 WITH SCORE 64774.277
AT ITER 9364 NEW BEST:: SOT 1185571 SOS 736270 HAS SOPS 736212 HAS SOUS 64080 HAS SOUPS 64022 WITH SCORE 64758.27
AT ITER 9369 NEW BEST:: SOT 1185529 SOS 736228 HAS SOPS 736170 HAS SOUS 64066 HAS SOUPS 64008 WITH SCORE 64744.228
AT ITER 9383 NEW BEST:: SOT 1185529 SOS 735912 HAS SOPS 735854 HAS SOUS 64066 HAS SOUPS 64008 WITH SCORE 64743.912
AT ITER 9393 NEW BEST:: SOT 1185565 SOS 735948 HAS SOPS 735890 HAS SOUS 64055 HAS SOUPS 63997 WITH SCORE 64732.948
AT ITER 9452 NEW BEST:: SOT 1185564 SOS 735899 HAS SOPS 735841 HAS SOUS 64054 HAS SOUPS 63996 WITH SCORE 64731.899
AT ITER 9575 NEW BEST:: SOT 1185494 SOS 737297 HAS SOPS 737139 HAS SOUS 64095 HAS SOUPS 63937 WITH SCORE 64674.297
AT ITER 9652 NEW BEST:: SOT 1185485 SOS 736856 HAS SOPS 736698 HAS SOUS 64086 HAS SOUPS 63928 WITH SCORE 64664.856
AT ITER 9663 NEW BEST:: SOT 1185486 SOS 736857 HAS SOPS 736699 HAS SOUS 64065 HAS SOUPS 63907 WITH SCORE 64643.857
AT ITER 9685 NEW BEST:: SOT 1185467 SOS 736698 HAS SOPS 736540 HAS SOUS 64053 HAS SOUPS 63895 WITH SCORE 64631.698
AT ITER 9727 NEW BEST:: SOT 1185150 SOS 736381 HAS SOPS 736223 HAS SOUS 63868 HAS SOUPS 63710 WITH SCORE 64446.381
AT ITER 9736 NEW BEST:: SOT 1184939 SOS 736050 HAS SOPS 735892 HAS SOUS 63757 HAS SOUPS 63599 WITH SCORE 64335.05
AT ITER 9864 NEW BEST:: SOT 1184939 SOS 736027 HAS SOPS 735869 HAS SOUS 63757 HAS SOUPS 63599 WITH SCORE 64335.027
AT ITER 9890 NEW BEST:: SOT 1184935 SOS 736027 HAS SOPS 735869 HAS SOUS 63753 HAS SOUPS 63595 WITH SCORE 64331.027
AT ITER 9913 NEW BEST:: SOT 1184935 SOS 735907 HAS SOPS 735749 HAS SOUS 63748 HAS SOUPS 63590 WITH SCORE 64325.907
AT ITER 9916 NEW BEST:: SOT 1185005 SOS 737725 HAS SOPS 737667 HAS SOUS 63610 HAS SOUPS 63552 WITH SCORE 64289.725
AT ITER 9955 NEW BEST:: SOT 1184875 SOS 737595 HAS SOPS 737537 HAS SOUS 63591 HAS SOUPS 63533 WITH SCORE 64270.595
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 8315776 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16147944 kB

BK_TIME_CONFINEMENT_REACHED

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

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="Medical-PT-12"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
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 smart"
echo " Input is Medical-PT-12, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r227-tall-167856410800696"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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