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.r291-tall-167873943100568.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 PolyORBLF-PT-S04J06T06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r291-tall-167873943100568
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.7M
-rw-r--r-- 1 mcc users 13K Feb 26 14:17 CTLCardinality.txt
-rw-r--r-- 1 mcc users 91K Feb 26 14:17 CTLCardinality.xml
-rw-r--r-- 1 mcc users 25K Feb 26 14:15 CTLFireability.txt
-rw-r--r-- 1 mcc users 145K Feb 26 14:15 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 8.8K Feb 25 16:35 LTLCardinality.txt
-rw-r--r-- 1 mcc users 39K Feb 25 16:35 LTLCardinality.xml
-rw-r--r-- 1 mcc users 6.6K Feb 25 16:35 LTLFireability.txt
-rw-r--r-- 1 mcc users 31K Feb 25 16:35 LTLFireability.xml
-rw-r--r-- 1 mcc users 30K Feb 26 14:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 168K Feb 26 14:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 77K Feb 26 14:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 371K Feb 26 14:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:35 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.2K Feb 25 16:35 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 2.6M Mar 5 18:23 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 1678802916054

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=PolyORBLF-PT-S04J06T06
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (PT), instance S04J06T06
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: 618 places, 3190 transitions, 21570 arcs.
AT ITER 0 NEW BEST:: SOT 1284827 SOS 733547 HAS SOPS 726232 HAS SOUS 240788 HAS SOUPS 240284 WITH SCORE 241017.547
AT ITER 7 NEW BEST:: SOT 1284863 SOS 733583 HAS SOPS 726184 HAS SOUS 240810 HAS SOUPS 240260 WITH SCORE 240993.583
AT ITER 10 NEW BEST:: SOT 1284477 SOS 732992 HAS SOPS 725593 HAS SOUS 240398 HAS SOUPS 239848 WITH SCORE 240580.992
AT ITER 34 NEW BEST:: SOT 1284453 SOS 732968 HAS SOPS 725569 HAS SOUS 240382 HAS SOUPS 239832 WITH SCORE 240564.968
AT ITER 52 NEW BEST:: SOT 1284329 SOS 732844 HAS SOPS 725445 HAS SOUS 240288 HAS SOUPS 239738 WITH SCORE 240470.844
AT ITER 53 NEW BEST:: SOT 1283008 SOS 731555 HAS SOPS 724156 HAS SOUS 239000 HAS SOUPS 238450 WITH SCORE 239181.555
AT ITER 62 NEW BEST:: SOT 1282993 SOS 731540 HAS SOPS 724141 HAS SOUS 238985 HAS SOUPS 238435 WITH SCORE 239166.54
AT ITER 67 NEW BEST:: SOT 1282804 SOS 731378 HAS SOPS 723979 HAS SOUS 238823 HAS SOUPS 238273 WITH SCORE 239004.378
AT ITER 84 NEW BEST:: SOT 1282670 SOS 731241 HAS SOPS 723842 HAS SOUS 238806 HAS SOUPS 238256 WITH SCORE 238987.241
AT ITER 114 NEW BEST:: SOT 1282670 SOS 731252 HAS SOPS 723853 HAS SOUS 238796 HAS SOUPS 238246 WITH SCORE 238977.252
AT ITER 123 NEW BEST:: SOT 1282443 SOS 731487 HAS SOPS 724088 HAS SOUS 238737 HAS SOUPS 238187 WITH SCORE 238918.487
AT ITER 124 NEW BEST:: SOT 1223225 SOS 730141 HAS SOPS 722742 HAS SOUS 234478 HAS SOUPS 233928 WITH SCORE 234658.141
AT ITER 134 NEW BEST:: SOT 1217878 SOS 771089 HAS SOPS 768301 HAS SOUS 230813 HAS SOUPS 230455 WITH SCORE 231226.089
AT ITER 137 NEW BEST:: SOT 1217649 SOS 770884 HAS SOPS 768096 HAS SOUS 230535 HAS SOUPS 230177 WITH SCORE 230947.884
AT ITER 142 NEW BEST:: SOT 1217649 SOS 770800 HAS SOPS 768012 HAS SOUS 230533 HAS SOUPS 230175 WITH SCORE 230945.8
AT ITER 143 NEW BEST:: SOT 1217409 SOS 770550 HAS SOPS 767762 HAS SOUS 230293 HAS SOUPS 229935 WITH SCORE 230705.55
AT ITER 162 NEW BEST:: SOT 1217245 SOS 770304 HAS SOPS 767516 HAS SOUS 229965 HAS SOUPS 229607 WITH SCORE 230377.304
AT ITER 169 NEW BEST:: SOT 1217245 SOS 770304 HAS SOPS 767516 HAS SOUS 229964 HAS SOUPS 229606 WITH SCORE 230376.304
AT ITER 172 NEW BEST:: SOT 1216607 SOS 769769 HAS SOPS 766981 HAS SOUS 229434 HAS SOUPS 229076 WITH SCORE 229845.769
AT ITER 182 NEW BEST:: SOT 1216631 SOS 769793 HAS SOPS 766981 HAS SOUS 229390 HAS SOUPS 229028 WITH SCORE 229797.793
AT ITER 192 NEW BEST:: SOT 1216602 SOS 769764 HAS SOPS 766943 HAS SOUS 229352 HAS SOUPS 228990 WITH SCORE 229759.764
AT ITER 195 NEW BEST:: SOT 1175214 SOS 728376 HAS SOPS 725555 HAS SOUS 221337 HAS SOUPS 220975 WITH SCORE 221703.376
AT ITER 197 NEW BEST:: SOT 1175203 SOS 728354 HAS SOPS 725533 HAS SOUS 221316 HAS SOUPS 220954 WITH SCORE 221682.354
AT ITER 200 NEW BEST:: SOT 1175198 SOS 728344 HAS SOPS 725523 HAS SOUS 221306 HAS SOUPS 220944 WITH SCORE 221672.344
AT ITER 203 NEW BEST:: SOT 1175015 SOS 728107 HAS SOPS 725286 HAS SOUS 221000 HAS SOUPS 220638 WITH SCORE 221366.107
AT ITER 212 NEW BEST:: SOT 1175005 SOS 728087 HAS SOPS 725266 HAS SOUS 220980 HAS SOUPS 220618 WITH SCORE 221346.087
AT ITER 215 NEW BEST:: SOT 1174900 SOS 727885 HAS SOPS 725064 HAS SOUS 220540 HAS SOUPS 220178 WITH SCORE 220905.885
AT ITER 226 NEW BEST:: SOT 1174929 SOS 727954 HAS SOPS 725133 HAS SOUS 220367 HAS SOUPS 220005 WITH SCORE 220732.954
AT ITER 232 NEW BEST:: SOT 1174490 SOS 727575 HAS SOPS 724754 HAS SOUS 219923 HAS SOUPS 219561 WITH SCORE 220288.575
AT ITER 240 NEW BEST:: SOT 1174438 SOS 727499 HAS SOPS 724678 HAS SOUS 219883 HAS SOUPS 219521 WITH SCORE 220248.499
AT ITER 260 NEW BEST:: SOT 1174415 SOS 727442 HAS SOPS 724621 HAS SOUS 219883 HAS SOUPS 219521 WITH SCORE 220248.442
AT ITER 267 NEW BEST:: SOT 1174393 SOS 727398 HAS SOPS 724577 HAS SOUS 219878 HAS SOUPS 219516 WITH SCORE 220243.398
AT ITER 280 NEW BEST:: SOT 1174220 SOS 727225 HAS SOPS 724380 HAS SOUS 219662 HAS SOUPS 219291 WITH SCORE 220018.225
AT ITER 285 NEW BEST:: SOT 1174026 SOS 726728 HAS SOPS 722035 HAS SOUS 219488 HAS SOUPS 218809 WITH SCORE 219535.728
AT ITER 288 NEW BEST:: SOT 1173795 SOS 726518 HAS SOPS 721825 HAS SOUS 219064 HAS SOUPS 218385 WITH SCORE 219111.518
AT ITER 291 NEW BEST:: SOT 1173792 SOS 726515 HAS SOPS 721822 HAS SOUS 219036 HAS SOUPS 218357 WITH SCORE 219083.515
AT ITER 304 NEW BEST:: SOT 1173193 SOS 725677 HAS SOPS 720984 HAS SOUS 218435 HAS SOUPS 217756 WITH SCORE 218481.677
AT ITER 306 NEW BEST:: SOT 1112405 SOS 664707 HAS SOPS 660014 HAS SOUS 206969 HAS SOUPS 206290 WITH SCORE 206954.707
AT ITER 332 NEW BEST:: SOT 1112401 SOS 664642 HAS SOPS 660052 HAS SOUS 206618 HAS SOUPS 205939 WITH SCORE 206603.642
AT ITER 334 NEW BEST:: SOT 1112396 SOS 664637 HAS SOPS 660047 HAS SOUS 206613 HAS SOUPS 205934 WITH SCORE 206598.637
AT ITER 336 NEW BEST:: SOT 1112446 SOS 664687 HAS SOPS 660073 HAS SOUS 206602 HAS SOUPS 205923 WITH SCORE 206587.687
AT ITER 341 NEW BEST:: SOT 1112446 SOS 664687 HAS SOPS 660073 HAS SOUS 206598 HAS SOUPS 205919 WITH SCORE 206583.687
AT ITER 342 NEW BEST:: SOT 1112401 SOS 664886 HAS SOPS 660281 HAS SOUS 206527 HAS SOUPS 205848 WITH SCORE 206512.886
AT ITER 384 NEW BEST:: SOT 1112401 SOS 664887 HAS SOPS 660282 HAS SOUS 206524 HAS SOUPS 205845 WITH SCORE 206509.887
AT ITER 386 NEW BEST:: SOT 1112389 SOS 664875 HAS SOPS 660270 HAS SOUS 206512 HAS SOUPS 205833 WITH SCORE 206497.875
AT ITER 387 NEW BEST:: SOT 1112377 SOS 664863 HAS SOPS 660246 HAS SOUS 206488 HAS SOUPS 205809 WITH SCORE 206473.863
AT ITER 389 NEW BEST:: SOT 1112177 SOS 664663 HAS SOPS 660046 HAS SOUS 206288 HAS SOUPS 205609 WITH SCORE 206273.663
AT ITER 394 NEW BEST:: SOT 1111506 SOS 664095 HAS SOPS 659478 HAS SOUS 205720 HAS SOUPS 205041 WITH SCORE 205705.095
AT ITER 409 NEW BEST:: SOT 1111157 SOS 663815 HAS SOPS 659198 HAS SOUS 205352 HAS SOUPS 204673 WITH SCORE 205336.815
AT ITER 423 NEW BEST:: SOT 1110906 SOS 663490 HAS SOPS 658873 HAS SOUS 205171 HAS SOUPS 204492 WITH SCORE 205155.49
AT ITER 425 NEW BEST:: SOT 1110412 SOS 663099 HAS SOPS 658482 HAS SOUS 204717 HAS SOUPS 204038 WITH SCORE 204701.099
AT ITER 426 NEW BEST:: SOT 1109908 SOS 662707 HAS SOPS 658090 HAS SOUS 204340 HAS SOUPS 203661 WITH SCORE 204323.707
AT ITER 427 NEW BEST:: SOT 1109450 SOS 662249 HAS SOPS 657632 HAS SOUS 203953 HAS SOUPS 203274 WITH SCORE 203936.249
AT ITER 445 NEW BEST:: SOT 1109515 SOS 662404 HAS SOPS 657787 HAS SOUS 203876 HAS SOUPS 203197 WITH SCORE 203859.404
AT ITER 447 NEW BEST:: SOT 1109544 SOS 663011 HAS SOPS 658394 HAS SOUS 203867 HAS SOUPS 203188 WITH SCORE 203851.011
AT ITER 452 NEW BEST:: SOT 1109529 SOS 662996 HAS SOPS 658379 HAS SOUS 203840 HAS SOUPS 203161 WITH SCORE 203823.996
AT ITER 466 NEW BEST:: SOT 1109136 SOS 662732 HAS SOPS 658115 HAS SOUS 203528 HAS SOUPS 202849 WITH SCORE 203511.732
AT ITER 491 NEW BEST:: SOT 1109213 SOS 662874 HAS SOPS 658327 HAS SOUS 203409 HAS SOUPS 202730 WITH SCORE 203392.874
AT ITER 495 NEW BEST:: SOT 1109088 SOS 662747 HAS SOPS 658273 HAS SOUS 203381 HAS SOUPS 202702 WITH SCORE 203364.747
AT ITER 514 NEW BEST:: SOT 1109092 SOS 662751 HAS SOPS 658273 HAS SOUS 203384 HAS SOUPS 202701 WITH SCORE 203363.751
AT ITER 521 NEW BEST:: SOT 1108745 SOS 662446 HAS SOPS 657968 HAS SOUS 203039 HAS SOUPS 202356 WITH SCORE 203018.446
AT ITER 528 NEW BEST:: SOT 1108811 SOS 662384 HAS SOPS 657906 HAS SOUS 202988 HAS SOUPS 202305 WITH SCORE 202967.384
AT ITER 529 NEW BEST:: SOT 1108792 SOS 662303 HAS SOPS 657825 HAS SOUS 202968 HAS SOUPS 202285 WITH SCORE 202947.303
AT ITER 531 NEW BEST:: SOT 1108409 SOS 662034 HAS SOPS 657556 HAS SOUS 202923 HAS SOUPS 202240 WITH SCORE 202902.034
AT ITER 552 NEW BEST:: SOT 1033797 SOS 594880 HAS SOPS 590402 HAS SOUS 189251 HAS SOUPS 188568 WITH SCORE 189162.88
AT ITER 553 NEW BEST:: SOT 1027581 SOS 588616 HAS SOPS 584138 HAS SOUS 182801 HAS SOUPS 182118 WITH SCORE 182706.616
AT ITER 560 NEW BEST:: SOT 1027079 SOS 588206 HAS SOPS 583728 HAS SOUS 182437 HAS SOUPS 181754 WITH SCORE 182342.206
AT ITER 565 NEW BEST:: SOT 1000456 SOS 561583 HAS SOPS 557105 HAS SOUS 177302 HAS SOUPS 176619 WITH SCORE 177180.583
AT ITER 566 NEW BEST:: SOT 1000258 SOS 561319 HAS SOPS 556841 HAS SOUS 175737 HAS SOUPS 175054 WITH SCORE 175615.319
AT ITER 568 NEW BEST:: SOT 1000214 SOS 561275 HAS SOPS 556593 HAS SOUS 175751 HAS SOUPS 174864 WITH SCORE 175425.275
AT ITER 572 NEW BEST:: SOT 1000114 SOS 561075 HAS SOPS 556393 HAS SOUS 175551 HAS SOUPS 174664 WITH SCORE 175225.075
AT ITER 576 NEW BEST:: SOT 999814 SOS 560850 HAS SOPS 556168 HAS SOUS 175326 HAS SOUPS 174439 WITH SCORE 174999.85
AT ITER 604 NEW BEST:: SOT 999807 SOS 560843 HAS SOPS 556161 HAS SOUS 175319 HAS SOUPS 174432 WITH SCORE 174992.843
AT ITER 665 NEW BEST:: SOT 999657 SOS 560668 HAS SOPS 555986 HAS SOUS 175144 HAS SOUPS 174257 WITH SCORE 174817.668
AT ITER 671 NEW BEST:: SOT 999099 SOS 560167 HAS SOPS 555485 HAS SOUS 174559 HAS SOUPS 173672 WITH SCORE 174232.167
AT ITER 678 NEW BEST:: SOT 999039 SOS 559968 HAS SOPS 555286 HAS SOUS 174558 HAS SOUPS 173671 WITH SCORE 174230.968
AT ITER 680 NEW BEST:: SOT 999473 SOS 560424 HAS SOPS 555742 HAS SOUS 174406 HAS SOUPS 173519 WITH SCORE 174079.424
AT ITER 681 NEW BEST:: SOT 999401 SOS 560264 HAS SOPS 555582 HAS SOUS 172766 HAS SOUPS 171879 WITH SCORE 172439.264
AT ITER 702 NEW BEST:: SOT 999430 SOS 560208 HAS SOPS 555526 HAS SOUS 172710 HAS SOUPS 171823 WITH SCORE 172383.208
AT ITER 704 NEW BEST:: SOT 998549 SOS 559547 HAS SOPS 554865 HAS SOUS 172121 HAS SOUPS 171234 WITH SCORE 171793.547
AT ITER 715 NEW BEST:: SOT 997722 SOS 558969 HAS SOPS 554287 HAS SOUS 172056 HAS SOUPS 171169 WITH SCORE 171727.969
AT ITER 720 NEW BEST:: SOT 997695 SOS 558942 HAS SOPS 554248 HAS SOUS 172002 HAS SOUPS 171115 WITH SCORE 171673.942
AT ITER 730 NEW BEST:: SOT 997501 SOS 558748 HAS SOPS 554054 HAS SOUS 171808 HAS SOUPS 170921 WITH SCORE 171479.748
AT ITER 735 NEW BEST:: SOT 997545 SOS 558792 HAS SOPS 554074 HAS SOUS 171785 HAS SOUPS 170898 WITH SCORE 171456.792
AT ITER 738 NEW BEST:: SOT 996951 SOS 558198 HAS SOPS 553480 HAS SOUS 170983 HAS SOUPS 170096 WITH SCORE 170654.198
AT ITER 744 NEW BEST:: SOT 996943 SOS 558182 HAS SOPS 553464 HAS SOUS 170959 HAS SOUPS 170072 WITH SCORE 170630.182
AT ITER 756 NEW BEST:: SOT 995582 SOS 556780 HAS SOPS 552062 HAS SOUS 169643 HAS SOUPS 168756 WITH SCORE 169312.78
AT ITER 770 NEW BEST:: SOT 995552 SOS 556750 HAS SOPS 552032 HAS SOUS 169583 HAS SOUPS 168696 WITH SCORE 169252.75
AT ITER 771 NEW BEST:: SOT 995592 SOS 556790 HAS SOPS 551112 HAS SOUS 169623 HAS SOUPS 168576 WITH SCORE 169132.79
AT ITER 791 NEW BEST:: SOT 995574 SOS 556760 HAS SOPS 551082 HAS SOUS 169575 HAS SOUPS 168528 WITH SCORE 169084.76
AT ITER 799 NEW BEST:: SOT 985199 SOS 580657 HAS SOPS 574979 HAS SOUS 167827 HAS SOUPS 166780 WITH SCORE 167360.657
AT ITER 816 NEW BEST:: SOT 985167 SOS 580625 HAS SOPS 574947 HAS SOUS 167804 HAS SOUPS 166757 WITH SCORE 167337.625
AT ITER 829 NEW BEST:: SOT 985159 SOS 580609 HAS SOPS 574931 HAS SOUS 167770 HAS SOUPS 166723 WITH SCORE 167303.609
AT ITER 833 NEW BEST:: SOT 985067 SOS 580471 HAS SOPS 574790 HAS SOUS 167571 HAS SOUPS 166524 WITH SCORE 167104.471
AT ITER 837 NEW BEST:: SOT 984769 SOS 580173 HAS SOPS 574492 HAS SOUS 167133 HAS SOUPS 166086 WITH SCORE 166666.173
AT ITER 854 NEW BEST:: SOT 984735 SOS 580139 HAS SOPS 574458 HAS SOUS 167035 HAS SOUPS 165988 WITH SCORE 166568.139
AT ITER 858 NEW BEST:: SOT 984726 SOS 580139 HAS SOPS 574458 HAS SOUS 167026 HAS SOUPS 165979 WITH SCORE 166559.139
AT ITER 863 NEW BEST:: SOT 984384 SOS 579892 HAS SOPS 574211 HAS SOUS 166722 HAS SOUPS 165675 WITH SCORE 166254.892
AT ITER 872 NEW BEST:: SOT 984240 SOS 579670 HAS SOPS 573989 HAS SOUS 166434 HAS SOUPS 165387 WITH SCORE 165966.67
AT ITER 875 NEW BEST:: SOT 984233 SOS 579663 HAS SOPS 573982 HAS SOUS 166420 HAS SOUPS 165373 WITH SCORE 165952.663
AT ITER 891 NEW BEST:: SOT 984219 SOS 579649 HAS SOPS 573968 HAS SOUS 166404 HAS SOUPS 165357 WITH SCORE 165936.649
AT ITER 904 NEW BEST:: SOT 980592 SOS 576554 HAS SOPS 570341 HAS SOUS 162892 HAS SOUPS 161698 WITH SCORE 162274.554
AT ITER 908 NEW BEST:: SOT 980798 SOS 576837 HAS SOPS 570624 HAS SOUS 161012 HAS SOUPS 159818 WITH SCORE 160394.837
AT ITER 912 NEW BEST:: SOT 957058 SOS 553097 HAS SOPS 546884 HAS SOUS 158223 HAS SOUPS 157029 WITH SCORE 157582.097
AT ITER 928 NEW BEST:: SOT 956986 SOS 553025 HAS SOPS 546812 HAS SOUS 158151 HAS SOUPS 156957 WITH SCORE 157510.025
AT ITER 937 NEW BEST:: SOT 956725 SOS 552796 HAS SOPS 546583 HAS SOUS 157959 HAS SOUPS 156765 WITH SCORE 157317.796
AT ITER 954 NEW BEST:: SOT 956430 SOS 552501 HAS SOPS 546288 HAS SOUS 157664 HAS SOUPS 156470 WITH SCORE 157022.501
AT ITER 962 NEW BEST:: SOT 956430 SOS 539214 HAS SOPS 533001 HAS SOUS 157664 HAS SOUPS 156470 WITH SCORE 157009.214
AT ITER 978 NEW BEST:: SOT 956068 SOS 538865 HAS SOPS 532652 HAS SOUS 157048 HAS SOUPS 155854 WITH SCORE 156392.865
AT ITER 992 NEW BEST:: SOT 955426 SOS 538425 HAS SOPS 532212 HAS SOUS 156514 HAS SOUPS 155320 WITH SCORE 155858.425
AT ITER 1013 NEW BEST:: SOT 955398 SOS 538397 HAS SOPS 532184 HAS SOUS 156394 HAS SOUPS 155200 WITH SCORE 155738.397
AT ITER 1025 NEW BEST:: SOT 955396 SOS 538395 HAS SOPS 532182 HAS SOUS 156392 HAS SOUPS 155198 WITH SCORE 155736.395
AT ITER 1032 NEW BEST:: SOT 955375 SOS 538269 HAS SOPS 532056 HAS SOUS 156392 HAS SOUPS 155198 WITH SCORE 155736.269
AT ITER 1033 NEW BEST:: SOT 955475 SOS 538378 HAS SOPS 532165 HAS SOUS 156087 HAS SOUPS 154893 WITH SCORE 155431.378
AT ITER 1036 NEW BEST:: SOT 955385 SOS 538288 HAS SOPS 532075 HAS SOUS 156018 HAS SOUPS 154824 WITH SCORE 155362.288
AT ITER 1043 NEW BEST:: SOT 955177 SOS 538069 HAS SOPS 531856 HAS SOUS 155892 HAS SOUPS 154698 WITH SCORE 155236.069
AT ITER 1046 NEW BEST:: SOT 954903 SOS 537814 HAS SOPS 531601 HAS SOUS 155727 HAS SOUPS 154533 WITH SCORE 155070.814
AT ITER 1051 NEW BEST:: SOT 954897 SOS 537808 HAS SOPS 531592 HAS SOUS 155718 HAS SOUPS 154524 WITH SCORE 155061.808
AT ITER 1067 NEW BEST:: SOT 954890 SOS 537801 HAS SOPS 531586 HAS SOUS 155687 HAS SOUPS 154493 WITH SCORE 155030.801
AT ITER 1075 NEW BEST:: SOT 954624 SOS 537558 HAS SOPS 531343 HAS SOUS 155385 HAS SOUPS 154191 WITH SCORE 154728.558
AT ITER 1091 NEW BEST:: SOT 954618 SOS 537552 HAS SOPS 531337 HAS SOUS 155379 HAS SOUPS 154185 WITH SCORE 154722.552
AT ITER 1105 NEW BEST:: SOT 954605 SOS 537526 HAS SOPS 531311 HAS SOUS 155341 HAS SOUPS 154147 WITH SCORE 154684.526
AT ITER 1151 NEW BEST:: SOT 953210 SOS 536117 HAS SOPS 529902 HAS SOUS 153986 HAS SOUPS 152792 WITH SCORE 153328.117
AT ITER 1165 NEW BEST:: SOT 953192 SOS 536099 HAS SOPS 529884 HAS SOUS 153954 HAS SOUPS 152760 WITH SCORE 153296.099
AT ITER 1167 NEW BEST:: SOT 953248 SOS 536155 HAS SOPS 530021 HAS SOUS 153883 HAS SOUPS 152689 WITH SCORE 153225.155
AT ITER 1168 NEW BEST:: SOT 953236 SOS 536143 HAS SOPS 530009 HAS SOUS 153871 HAS SOUPS 152677 WITH SCORE 153213.143
AT ITER 1173 NEW BEST:: SOT 941010 SOS 523917 HAS SOPS 517783 HAS SOUS 151277 HAS SOUPS 150083 WITH SCORE 150606.917
AT ITER 1175 NEW BEST:: SOT 941022 SOS 523929 HAS SOPS 517795 HAS SOUS 151252 HAS SOUPS 150058 WITH SCORE 150581.929
AT ITER 1190 NEW BEST:: SOT 941022 SOS 523927 HAS SOPS 517793 HAS SOUS 151198 HAS SOUPS 150004 WITH SCORE 150527.927
AT ITER 1226 NEW BEST:: SOT 940992 SOS 523815 HAS SOPS 517537 HAS SOUS 151004 HAS SOUPS 149810 WITH SCORE 150333.815
AT ITER 1227 NEW BEST:: SOT 940992 SOS 522438 HAS SOPS 516160 HAS SOUS 150983 HAS SOUPS 149789 WITH SCORE 150311.438
AT ITER 1231 NEW BEST:: SOT 939914 SOS 521451 HAS SOPS 515173 HAS SOUS 150960 HAS SOUPS 149766 WITH SCORE 150287.451
AT ITER 1241 NEW BEST:: SOT 939885 SOS 521422 HAS SOPS 515144 HAS SOUS 150868 HAS SOUPS 149674 WITH SCORE 150195.422
AT ITER 1242 NEW BEST:: SOT 939865 SOS 521446 HAS SOPS 515163 HAS SOUS 150823 HAS SOUPS 149629 WITH SCORE 150150.446
AT ITER 1249 NEW BEST:: SOT 940178 SOS 521360 HAS SOPS 515077 HAS SOUS 150774 HAS SOUPS 149580 WITH SCORE 150101.36
AT ITER 1266 NEW BEST:: SOT 940166 SOS 521348 HAS SOPS 515065 HAS SOUS 150762 HAS SOUPS 149568 WITH SCORE 150089.348
AT ITER 1269 NEW BEST:: SOT 934783 SOS 515941 HAS SOPS 509658 HAS SOUS 150039 HAS SOUPS 148845 WITH SCORE 149360.941
AT ITER 1270 NEW BEST:: SOT 928510 SOS 525988 HAS SOPS 519705 HAS SOUS 149988 HAS SOUPS 148794 WITH SCORE 149319.988
AT ITER 1315 NEW BEST:: SOT 928480 SOS 525908 HAS SOPS 519625 HAS SOUS 149938 HAS SOUPS 148744 WITH SCORE 149269.908
AT ITER 1323 NEW BEST:: SOT 928422 SOS 525908 HAS SOPS 519635 HAS SOUS 149850 HAS SOUPS 148656 WITH SCORE 149181.908
AT ITER 1324 NEW BEST:: SOT 928410 SOS 526059 HAS SOPS 519786 HAS SOUS 149809 HAS SOUPS 148615 WITH SCORE 149141.059
AT ITER 1354 NEW BEST:: SOT 928305 SOS 525954 HAS SOPS 519681 HAS SOUS 149727 HAS SOUPS 148533 WITH SCORE 149058.954
AT ITER 1374 NEW BEST:: SOT 928300 SOS 525944 HAS SOPS 519671 HAS SOUS 149717 HAS SOUPS 148523 WITH SCORE 149048.944
AT ITER 1378 NEW BEST:: SOT 928105 SOS 525839 HAS SOPS 519566 HAS SOUS 149666 HAS SOUPS 148472 WITH SCORE 148997.839
AT ITER 1395 NEW BEST:: SOT 927938 SOS 525672 HAS SOPS 519399 HAS SOUS 149499 HAS SOUPS 148305 WITH SCORE 148830.672
AT ITER 1398 NEW BEST:: SOT 927938 SOS 525538 HAS SOPS 519265 HAS SOUS 149365 HAS SOUPS 148171 WITH SCORE 148696.538
AT ITER 1417 NEW BEST:: SOT 927429 SOS 524419 HAS SOPS 518146 HAS SOUS 149154 HAS SOUPS 147960 WITH SCORE 148484.419
AT ITER 1418 NEW BEST:: SOT 927185 SOS 524135 HAS SOPS 517862 HAS SOUS 146644 HAS SOUPS 145450 WITH SCORE 145974.135
AT ITER 1419 NEW BEST:: SOT 927166 SOS 524128 HAS SOPS 517855 HAS SOUS 146616 HAS SOUPS 145422 WITH SCORE 145946.128
AT ITER 1433 NEW BEST:: SOT 925856 SOS 522908 HAS SOPS 516635 HAS SOUS 146150 HAS SOUPS 144956 WITH SCORE 145478.908
AT ITER 1436 NEW BEST:: SOT 925864 SOS 522901 HAS SOPS 516628 HAS SOUS 146131 HAS SOUPS 144937 WITH SCORE 145459.901
AT ITER 1446 NEW BEST:: SOT 925709 SOS 522781 HAS SOPS 516508 HAS SOUS 146102 HAS SOUPS 144908 WITH SCORE 145430.781
AT ITER 1447 NEW BEST:: SOT 925463 SOS 522399 HAS SOPS 516126 HAS SOUS 145746 HAS SOUPS 144552 WITH SCORE 145074.399
AT ITER 1452 NEW BEST:: SOT 925463 SOS 520777 HAS SOPS 514504 HAS SOUS 145711 HAS SOUPS 144517 WITH SCORE 145037.777
AT ITER 1459 NEW BEST:: SOT 925481 SOS 520813 HAS SOPS 514540 HAS SOUS 145700 HAS SOUPS 144506 WITH SCORE 145026.813
AT ITER 1460 NEW BEST:: SOT 925478 SOS 520810 HAS SOPS 514534 HAS SOUS 145694 HAS SOUPS 144500 WITH SCORE 145020.81
AT ITER 1464 NEW BEST:: SOT 925456 SOS 520788 HAS SOPS 514512 HAS SOUS 145692 HAS SOUPS 144498 WITH SCORE 145018.788
AT ITER 1497 NEW BEST:: SOT 925336 SOS 520704 HAS SOPS 514428 HAS SOUS 145542 HAS SOUPS 144348 WITH SCORE 144868.704
AT ITER 1509 NEW BEST:: SOT 925298 SOS 520666 HAS SOPS 514390 HAS SOUS 145504 HAS SOUPS 144310 WITH SCORE 144830.666
AT ITER 1526 NEW BEST:: SOT 916872 SOS 544492 HAS SOPS 538216 HAS SOUS 144789 HAS SOUPS 143595 WITH SCORE 144139.492
AT ITER 1558 NEW BEST:: SOT 916908 SOS 544528 HAS SOPS 538252 HAS SOUS 144399 HAS SOUPS 143205 WITH SCORE 143749.528
AT ITER 1559 NEW BEST:: SOT 916903 SOS 544523 HAS SOPS 538237 HAS SOUS 144394 HAS SOUPS 143190 WITH SCORE 143734.523
AT ITER 1567 NEW BEST:: SOT 916853 SOS 544384 HAS SOPS 538098 HAS SOUS 144294 HAS SOUPS 143090 WITH SCORE 143634.384
AT ITER 1572 NEW BEST:: SOT 916308 SOS 544125 HAS SOPS 537839 HAS SOUS 143835 HAS SOUPS 142631 WITH SCORE 143175.125
AT ITER 1621 NEW BEST:: SOT 916281 SOS 543891 HAS SOPS 537605 HAS SOUS 143781 HAS SOUPS 142577 WITH SCORE 143120.891
AT ITER 1625 NEW BEST:: SOT 916197 SOS 543801 HAS SOPS 537515 HAS SOUS 143665 HAS SOUPS 142461 WITH SCORE 143004.801
AT ITER 1627 NEW BEST:: SOT 916162 SOS 543766 HAS SOPS 537469 HAS SOUS 143557 HAS SOUPS 142353 WITH SCORE 142896.766
AT ITER 1628 NEW BEST:: SOT 911153 SOS 538757 HAS SOPS 532460 HAS SOUS 142844 HAS SOUPS 141640 WITH SCORE 142178.757
AT ITER 1632 NEW BEST:: SOT 911153 SOS 538658 HAS SOPS 532361 HAS SOUS 142844 HAS SOUPS 141640 WITH SCORE 142178.658
AT ITER 1636 NEW BEST:: SOT 911147 SOS 538652 HAS SOPS 532355 HAS SOUS 142826 HAS SOUPS 141622 WITH SCORE 142160.652
AT ITER 1643 NEW BEST:: SOT 911147 SOS 538858 HAS SOPS 532561 HAS SOUS 142740 HAS SOUPS 141536 WITH SCORE 142074.858
AT ITER 1648 NEW BEST:: SOT 910996 SOS 538657 HAS SOPS 532360 HAS SOUS 142568 HAS SOUPS 141364 WITH SCORE 141902.657
AT ITER 1676 NEW BEST:: SOT 910665 SOS 538326 HAS SOPS 532029 HAS SOUS 141997 HAS SOUPS 140793 WITH SCORE 141331.326
AT ITER 1681 NEW BEST:: SOT 910442 SOS 538103 HAS SOPS 531806 HAS SOUS 141809 HAS SOUPS 140605 WITH SCORE 141143.103
AT ITER 1682 NEW BEST:: SOT 910438 SOS 538099 HAS SOPS 531802 HAS SOUS 141806 HAS SOUPS 140602 WITH SCORE 141140.099
AT ITER 1708 NEW BEST:: SOT 910438 SOS 538099 HAS SOPS 531802 HAS SOUS 141785 HAS SOUPS 140581 WITH SCORE 141119.099
AT ITER 1717 NEW BEST:: SOT 910490 SOS 538151 HAS SOPS 531833 HAS SOUS 141744 HAS SOUPS 140540 WITH SCORE 141078.151
AT ITER 1728 NEW BEST:: SOT 910478 SOS 538995 HAS SOPS 532688 HAS SOUS 141282 HAS SOUPS 140078 WITH SCORE 140616.995
AT ITER 1752 NEW BEST:: SOT 910117 SOS 538726 HAS SOPS 532419 HAS SOUS 141209 HAS SOUPS 140005 WITH SCORE 140543.726
AT ITER 1755 NEW BEST:: SOT 910092 SOS 531573 HAS SOPS 525266 HAS SOUS 141187 HAS SOUPS 139983 WITH SCORE 140514.573
AT ITER 1758 NEW BEST:: SOT 910062 SOS 531543 HAS SOPS 525236 HAS SOUS 140914 HAS SOUPS 139710 WITH SCORE 140241.543
AT ITER 1767 NEW BEST:: SOT 910096 SOS 531529 HAS SOPS 525222 HAS SOUS 140754 HAS SOUPS 139550 WITH SCORE 140081.529
AT ITER 1785 NEW BEST:: SOT 910096 SOS 530441 HAS SOPS 524134 HAS SOUS 140742 HAS SOUPS 139538 WITH SCORE 140068.441
AT ITER 1805 NEW BEST:: SOT 910092 SOS 530437 HAS SOPS 524126 HAS SOUS 140700 HAS SOUPS 139492 WITH SCORE 140022.437
AT ITER 1810 NEW BEST:: SOT 909804 SOS 530128 HAS SOPS 523817 HAS SOUS 140367 HAS SOUPS 139159 WITH SCORE 139689.128
AT ITER 1815 NEW BEST:: SOT 887931 SOS 508255 HAS SOPS 501944 HAS SOUS 136174 HAS SOUPS 134966 WITH SCORE 135474.255
AT ITER 1821 NEW BEST:: SOT 887847 SOS 508000 HAS SOPS 501689 HAS SOUS 135976 HAS SOUPS 134768 WITH SCORE 135276.0
AT ITER 1873 NEW BEST:: SOT 887792 SOS 507945 HAS SOPS 501634 HAS SOUS 135888 HAS SOUPS 134680 WITH SCORE 135187.945
AT ITER 1895 NEW BEST:: SOT 887725 SOS 507878 HAS SOPS 501567 HAS SOUS 135859 HAS SOUPS 134651 WITH SCORE 135158.878
AT ITER 1900 NEW BEST:: SOT 887706 SOS 507730 HAS SOPS 501419 HAS SOUS 135669 HAS SOUPS 134461 WITH SCORE 134968.73
AT ITER 1914 NEW BEST:: SOT 887672 SOS 507696 HAS SOPS 501385 HAS SOUS 135601 HAS SOUPS 134393 WITH SCORE 134900.696
AT ITER 1938 NEW BEST:: SOT 887660 SOS 507604 HAS SOPS 501293 HAS SOUS 135480 HAS SOUPS 134272 WITH SCORE 134779.604
AT ITER 1949 NEW BEST:: SOT 887126 SOS 506584 HAS SOPS 500273 HAS SOUS 134634 HAS SOUPS 133426 WITH SCORE 133932.584
AT ITER 1955 NEW BEST:: SOT 887082 SOS 506518 HAS SOPS 500207 HAS SOUS 134568 HAS SOUPS 133360 WITH SCORE 133866.518
AT ITER 1980 NEW BEST:: SOT 887068 SOS 506487 HAS SOPS 500176 HAS SOUS 134558 HAS SOUPS 133350 WITH SCORE 133856.487
AT ITER 1985 NEW BEST:: SOT 887076 SOS 506495 HAS SOPS 500184 HAS SOUS 134506 HAS SOUPS 133298 WITH SCORE 133804.495
AT ITER 1992 NEW BEST:: SOT 887056 SOS 506475 HAS SOPS 500164 HAS SOUS 134466 HAS SOUPS 133258 WITH SCORE 133764.475
AT ITER 2006 NEW BEST:: SOT 887031 SOS 506250 HAS SOPS 499939 HAS SOUS 134466 HAS SOUPS 133258 WITH SCORE 133764.25
AT ITER 2015 NEW BEST:: SOT 854478 SOS 492737 HAS SOPS 486426 HAS SOUS 128209 HAS SOUPS 127001 WITH SCORE 127493.737
AT ITER 2017 NEW BEST:: SOT 854388 SOS 492684 HAS SOPS 486373 HAS SOUS 128206 HAS SOUPS 126998 WITH SCORE 127490.684
AT ITER 2020 NEW BEST:: SOT 854375 SOS 492671 HAS SOPS 486360 HAS SOUS 128188 HAS SOUPS 126980 WITH SCORE 127472.671
AT ITER 2026 NEW BEST:: SOT 854210 SOS 492506 HAS SOPS 486195 HAS SOUS 127882 HAS SOUPS 126674 WITH SCORE 127166.506
AT ITER 2064 NEW BEST:: SOT 854198 SOS 492494 HAS SOPS 486183 HAS SOUS 127866 HAS SOUPS 126658 WITH SCORE 127150.494
AT ITER 2119 NEW BEST:: SOT 853233 SOS 472395 HAS SOPS 466084 HAS SOUS 126821 HAS SOUPS 125613 WITH SCORE 126085.395
AT ITER 2147 NEW BEST:: SOT 853376 SOS 472376 HAS SOPS 465966 HAS SOUS 126731 HAS SOUPS 125523 WITH SCORE 125995.376
AT ITER 2156 NEW BEST:: SOT 853617 SOS 472617 HAS SOPS 466207 HAS SOUS 126663 HAS SOUPS 125455 WITH SCORE 125927.617
AT ITER 2159 NEW BEST:: SOT 853583 SOS 472583 HAS SOPS 466173 HAS SOUS 126629 HAS SOUPS 125421 WITH SCORE 125893.583
AT ITER 2168 NEW BEST:: SOT 853552 SOS 472552 HAS SOPS 466142 HAS SOUS 126578 HAS SOUPS 125370 WITH SCORE 125842.552
AT ITER 2178 NEW BEST:: SOT 853556 SOS 472551 HAS SOPS 466141 HAS SOUS 126567 HAS SOUPS 125359 WITH SCORE 125831.551
AT ITER 2180 NEW BEST:: SOT 853554 SOS 472549 HAS SOPS 466139 HAS SOUS 126563 HAS SOUPS 125355 WITH SCORE 125827.549
AT ITER 2220 NEW BEST:: SOT 853537 SOS 472533 HAS SOPS 466123 HAS SOUS 126547 HAS SOUPS 125339 WITH SCORE 125811.533
AT ITER 2229 NEW BEST:: SOT 853520 SOS 472516 HAS SOPS 466106 HAS SOUS 126513 HAS SOUPS 125305 WITH SCORE 125777.516
AT ITER 2245 NEW BEST:: SOT 853477 SOS 472473 HAS SOPS 466063 HAS SOUS 126470 HAS SOUPS 125262 WITH SCORE 125734.473
AT ITER 2250 NEW BEST:: SOT 853282 SOS 472278 HAS SOPS 465868 HAS SOUS 126236 HAS SOUPS 125028 WITH SCORE 125500.278
AT ITER 2256 NEW BEST:: SOT 833618 SOS 458506 HAS SOPS 452096 HAS SOUS 124852 HAS SOUPS 123644 WITH SCORE 124102.506
AT ITER 2277 NEW BEST:: SOT 833640 SOS 458528 HAS SOPS 452082 HAS SOUS 124885 HAS SOUPS 123641 WITH SCORE 124099.528
AT ITER 2286 NEW BEST:: SOT 833482 SOS 458370 HAS SOPS 451900 HAS SOUS 124712 HAS SOUPS 123468 WITH SCORE 123926.37
AT ITER 2324 NEW BEST:: SOT 833496 SOS 458339 HAS SOPS 451810 HAS SOUS 124681 HAS SOUPS 123437 WITH SCORE 123895.339
AT ITER 2335 NEW BEST:: SOT 833565 SOS 458618 HAS SOPS 452089 HAS SOUS 124660 HAS SOUPS 123416 WITH SCORE 123874.618
AT ITER 2366 NEW BEST:: SOT 833539 SOS 458701 HAS SOPS 452161 HAS SOUS 124579 HAS SOUPS 123335 WITH SCORE 123793.701
AT ITER 2371 NEW BEST:: SOT 833351 SOS 458513 HAS SOPS 451949 HAS SOUS 124370 HAS SOUPS 123126 WITH SCORE 123584.513
AT ITER 2397 NEW BEST:: SOT 833244 SOS 458564 HAS SOPS 452000 HAS SOUS 124248 HAS SOUPS 123004 WITH SCORE 123462.564
AT ITER 2426 NEW BEST:: SOT 833224 SOS 457949 HAS SOPS 451385 HAS SOUS 124223 HAS SOUPS 122979 WITH SCORE 123436.949
AT ITER 2446 NEW BEST:: SOT 833218 SOS 457937 HAS SOPS 451373 HAS SOUS 124211 HAS SOUPS 122967 WITH SCORE 123424.937
AT ITER 2455 NEW BEST:: SOT 833231 SOS 457904 HAS SOPS 451340 HAS SOUS 124205 HAS SOUPS 122961 WITH SCORE 123418.904
AT ITER 2460 NEW BEST:: SOT 833166 SOS 457510 HAS SOPS 450936 HAS SOUS 124056 HAS SOUPS 122812 WITH SCORE 123269.51
AT ITER 2464 NEW BEST:: SOT 833149 SOS 457493 HAS SOPS 450919 HAS SOUS 123991 HAS SOUPS 122747 WITH SCORE 123204.493
AT ITER 2473 NEW BEST:: SOT 833149 SOS 457387 HAS SOPS 450813 HAS SOUS 123991 HAS SOUPS 122747 WITH SCORE 123204.387
AT ITER 2487 NEW BEST:: SOT 833148 SOS 457386 HAS SOPS 450812 HAS SOUS 123989 HAS SOUPS 122745 WITH SCORE 123202.386
AT ITER 2489 NEW BEST:: SOT 833210 SOS 457650 HAS SOPS 451076 HAS SOUS 123968 HAS SOUPS 122724 WITH SCORE 123181.65
AT ITER 2511 NEW BEST:: SOT 833052 SOS 457492 HAS SOPS 450918 HAS SOUS 123893 HAS SOUPS 122649 WITH SCORE 123106.492
AT ITER 2517 NEW BEST:: SOT 832839 SOS 457147 HAS SOPS 450573 HAS SOUS 123602 HAS SOUPS 122358 WITH SCORE 122815.147
AT ITER 2522 NEW BEST:: SOT 832769 SOS 457032 HAS SOPS 450458 HAS SOUS 123529 HAS SOUPS 122285 WITH SCORE 122742.032
AT ITER 2536 NEW BEST:: SOT 832685 SOS 456944 HAS SOPS 450370 HAS SOUS 123435 HAS SOUPS 122191 WITH SCORE 122647.944
AT ITER 2553 NEW BEST:: SOT 832685 SOS 456944 HAS SOPS 450370 HAS SOUS 123417 HAS SOUPS 122173 WITH SCORE 122629.944
AT ITER 2558 NEW BEST:: SOT 832777 SOS 456990 HAS SOPS 450416 HAS SOUS 123035 HAS SOUPS 121791 WITH SCORE 122247.99
AT ITER 2571 NEW BEST:: SOT 832769 SOS 456959 HAS SOPS 450385 HAS SOUS 123019 HAS SOUPS 121775 WITH SCORE 122231.959
AT ITER 2582 NEW BEST:: SOT 808661 SOS 444996 HAS SOPS 438422 HAS SOUS 121212 HAS SOUPS 119968 WITH SCORE 120412.996
AT ITER 2593 NEW BEST:: SOT 808343 SOS 444675 HAS SOPS 438101 HAS SOUS 121165 HAS SOUPS 119921 WITH SCORE 120365.675
AT ITER 2597 NEW BEST:: SOT 808343 SOS 444675 HAS SOPS 438085 HAS SOUS 121133 HAS SOUPS 119889 WITH SCORE 120333.675
AT ITER 2604 NEW BEST:: SOT 808307 SOS 444529 HAS SOPS 437939 HAS SOUS 120987 HAS SOUPS 119743 WITH SCORE 120187.529
AT ITER 2673 NEW BEST:: SOT 808307 SOS 444523 HAS SOPS 437933 HAS SOUS 120981 HAS SOUPS 119737 WITH SCORE 120181.523
AT ITER 2727 NEW BEST:: SOT 808038 SOS 444256 HAS SOPS 437666 HAS SOUS 120746 HAS SOUPS 119502 WITH SCORE 119946.256
AT ITER 2736 NEW BEST:: SOT 808022 SOS 444200 HAS SOPS 437610 HAS SOUS 120739 HAS SOUPS 119495 WITH SCORE 119939.2
AT ITER 2743 NEW BEST:: SOT 808022 SOS 444188 HAS SOPS 437598 HAS SOUS 120739 HAS SOUPS 119495 WITH SCORE 119939.188
AT ITER 2761 NEW BEST:: SOT 808028 SOS 444194 HAS SOPS 437604 HAS SOUS 120724 HAS SOUPS 119480 WITH SCORE 119924.194
AT ITER 2777 NEW BEST:: SOT 808013 SOS 444162 HAS SOPS 437572 HAS SOUS 120692 HAS SOUPS 119448 WITH SCORE 119892.162
AT ITER 2780 NEW BEST:: SOT 808125 SOS 444212 HAS SOPS 437699 HAS SOUS 120461 HAS SOUPS 119217 WITH SCORE 119661.212
AT ITER 2791 NEW BEST:: SOT 807763 SOS 443924 HAS SOPS 437411 HAS SOUS 119987 HAS SOUPS 118743 WITH SCORE 119186.924
AT ITER 2808 NEW BEST:: SOT 807752 SOS 443877 HAS SOPS 437400 HAS SOUS 119758 HAS SOUPS 118520 WITH SCORE 118963.877
AT ITER 2834 NEW BEST:: SOT 807719 SOS 443811 HAS SOPS 437334 HAS SOUS 119692 HAS SOUPS 118454 WITH SCORE 118897.811
AT ITER 2860 NEW BEST:: SOT 807578 SOS 443704 HAS SOPS 437227 HAS SOUS 119444 HAS SOUPS 118206 WITH SCORE 118649.704
AT ITER 2871 NEW BEST:: SOT 807563 SOS 443664 HAS SOPS 437187 HAS SOUS 119429 HAS SOUPS 118191 WITH SCORE 118634.664
AT ITER 2875 NEW BEST:: SOT 807526 SOS 443615 HAS SOPS 437138 HAS SOUS 119390 HAS SOUPS 118152 WITH SCORE 118595.615
AT ITER 2877 NEW BEST:: SOT 807438 SOS 443543 HAS SOPS 437066 HAS SOUS 119307 HAS SOUPS 118069 WITH SCORE 118512.543
AT ITER 2904 NEW BEST:: SOT 807401 SOS 443478 HAS SOPS 437001 HAS SOUS 119242 HAS SOUPS 118004 WITH SCORE 118447.478
AT ITER 2911 NEW BEST:: SOT 807402 SOS 443479 HAS SOPS 437002 HAS SOUS 119239 HAS SOUPS 118001 WITH SCORE 118444.479
AT ITER 2914 NEW BEST:: SOT 807273 SOS 443373 HAS SOPS 436896 HAS SOUS 118895 HAS SOUPS 117657 WITH SCORE 118100.373
AT ITER 2922 NEW BEST:: SOT 807120 SOS 443162 HAS SOPS 436685 HAS SOUS 118702 HAS SOUPS 117464 WITH SCORE 117907.162
AT ITER 2932 NEW BEST:: SOT 806718 SOS 442795 HAS SOPS 436318 HAS SOUS 118390 HAS SOUPS 117152 WITH SCORE 117594.795
AT ITER 2944 NEW BEST:: SOT 806718 SOS 442790 HAS SOPS 436313 HAS SOUS 118385 HAS SOUPS 117147 WITH SCORE 117589.79
AT ITER 2946 NEW BEST:: SOT 806777 SOS 442849 HAS SOPS 436341 HAS SOUS 118375 HAS SOUPS 117137 WITH SCORE 117579.849
AT ITER 2971 NEW BEST:: SOT 806764 SOS 442842 HAS SOPS 436334 HAS SOUS 118374 HAS SOUPS 117136 WITH SCORE 117578.842
AT ITER 2976 NEW BEST:: SOT 806767 SOS 442845 HAS SOPS 436337 HAS SOUS 118260 HAS SOUPS 117022 WITH SCORE 117464.845
AT ITER 3007 NEW BEST:: SOT 806768 SOS 442840 HAS SOPS 436332 HAS SOUS 118255 HAS SOUPS 117017 WITH SCORE 117459.84
AT ITER 3012 NEW BEST:: SOT 806559 SOS 442631 HAS SOPS 436123 HAS SOUS 118041 HAS SOUPS 116803 WITH SCORE 117245.631
AT ITER 3022 NEW BEST:: SOT 806795 SOS 442304 HAS SOPS 435796 HAS SOUS 117822 HAS SOUPS 116584 WITH SCORE 117026.304
AT ITER 3029 NEW BEST:: SOT 806895 SOS 442239 HAS SOPS 435630 HAS SOUS 117638 HAS SOUPS 116400 WITH SCORE 116842.239
AT ITER 3031 NEW BEST:: SOT 806904 SOS 442221 HAS SOPS 435612 HAS SOUS 117620 HAS SOUPS 116382 WITH SCORE 116824.221
AT ITER 3034 NEW BEST:: SOT 806895 SOS 442212 HAS SOPS 435603 HAS SOUS 117602 HAS SOUPS 116364 WITH SCORE 116806.212
AT ITER 3050 NEW BEST:: SOT 806891 SOS 442141 HAS SOPS 435532 HAS SOUS 117593 HAS SOUPS 116355 WITH SCORE 116797.141
AT ITER 3051 NEW BEST:: SOT 806917 SOS 442167 HAS SOPS 435558 HAS SOUS 117334 HAS SOUPS 116096 WITH SCORE 116538.167
AT ITER 3059 NEW BEST:: SOT 806917 SOS 442167 HAS SOPS 435558 HAS SOUS 117329 HAS SOUPS 116091 WITH SCORE 116533.167
AT ITER 3066 NEW BEST:: SOT 806923 SOS 442130 HAS SOPS 435521 HAS SOUS 117292 HAS SOUPS 116054 WITH SCORE 116496.13
AT ITER 3069 NEW BEST:: SOT 806840 SOS 442047 HAS SOPS 435450 HAS SOUS 117261 HAS SOUPS 116023 WITH SCORE 116465.047
AT ITER 3074 NEW BEST:: SOT 806881 SOS 442088 HAS SOPS 435455 HAS SOUS 117244 HAS SOUPS 115999 WITH SCORE 116441.088
AT ITER 3103 NEW BEST:: SOT 806874 SOS 441890 HAS SOPS 435257 HAS SOUS 117230 HAS SOUPS 115985 WITH SCORE 116426.89
AT ITER 3130 NEW BEST:: SOT 806868 SOS 441884 HAS SOPS 435251 HAS SOUS 117218 HAS SOUPS 115973 WITH SCORE 116414.884
AT ITER 3137 NEW BEST:: SOT 806847 SOS 441807 HAS SOPS 435174 HAS SOUS 117180 HAS SOUPS 115935 WITH SCORE 116376.807
AT ITER 3152 NEW BEST:: SOT 806847 SOS 441799 HAS SOPS 435166 HAS SOUS 117180 HAS SOUPS 115935 WITH SCORE 116376.799
AT ITER 3155 NEW BEST:: SOT 806842 SOS 441794 HAS SOPS 435161 HAS SOUS 117160 HAS SOUPS 115915 WITH SCORE 116356.794
AT ITER 3209 NEW BEST:: SOT 806739 SOS 441691 HAS SOPS 435058 HAS SOUS 117051 HAS SOUPS 115806 WITH SCORE 116247.691
AT ITER 3210 NEW BEST:: SOT 806739 SOS 441689 HAS SOPS 435056 HAS SOUS 117051 HAS SOUPS 115806 WITH SCORE 116247.689
AT ITER 3231 NEW BEST:: SOT 806946 SOS 480618 HAS SOPS 473985 HAS SOUS 116911 HAS SOUPS 115666 WITH SCORE 116146.618
AT ITER 3250 NEW BEST:: SOT 806680 SOS 459409 HAS SOPS 452003 HAS SOUS 116539 HAS SOUPS 115269 WITH SCORE 115728.409
AT ITER 3251 NEW BEST:: SOT 805758 SOS 458595 HAS SOPS 451189 HAS SOUS 116446 HAS SOUPS 115176 WITH SCORE 115634.595
AT ITER 3262 NEW BEST:: SOT 805734 SOS 458504 HAS SOPS 451098 HAS SOUS 116161 HAS SOUPS 114891 WITH SCORE 115349.504
AT ITER 3264 NEW BEST:: SOT 805730 SOS 458500 HAS SOPS 451081 HAS SOUS 116153 HAS SOUPS 114883 WITH SCORE 115341.5
AT ITER 3265 NEW BEST:: SOT 805646 SOS 458291 HAS SOPS 450872 HAS SOUS 116053 HAS SOUPS 114783 WITH SCORE 115241.291
AT ITER 3277 NEW BEST:: SOT 805530 SOS 446156 HAS SOPS 438737 HAS SOUS 115578 HAS SOUPS 114308 WITH SCORE 114754.156
AT ITER 3280 NEW BEST:: SOT 805412 SOS 446072 HAS SOPS 438653 HAS SOUS 115463 HAS SOUPS 114193 WITH SCORE 114639.072
AT ITER 3308 NEW BEST:: SOT 805399 SOS 444486 HAS SOPS 437067 HAS SOUS 115463 HAS SOUPS 114193 WITH SCORE 114637.486
AT ITER 3320 NEW BEST:: SOT 811189 SOS 441600 HAS SOPS 434181 HAS SOUS 115191 HAS SOUPS 113921 WITH SCORE 114362.6
AT ITER 3324 NEW BEST:: SOT 810880 SOS 441291 HAS SOPS 433872 HAS SOUS 115109 HAS SOUPS 113839 WITH SCORE 114280.291
AT ITER 3325 NEW BEST:: SOT 810875 SOS 441286 HAS SOPS 433867 HAS SOUS 115105 HAS SOUPS 113835 WITH SCORE 114276.286
AT ITER 3327 NEW BEST:: SOT 810869 SOS 441274 HAS SOPS 433855 HAS SOUS 115093 HAS SOUPS 113823 WITH SCORE 114264.274
AT ITER 3363 NEW BEST:: SOT 810865 SOS 441270 HAS SOPS 433851 HAS SOUS 115086 HAS SOUPS 113816 WITH SCORE 114257.27
AT ITER 3366 NEW BEST:: SOT 810720 SOS 441015 HAS SOPS 433596 HAS SOUS 114901 HAS SOUPS 113631 WITH SCORE 114072.015
AT ITER 3402 NEW BEST:: SOT 810672 SOS 440967 HAS SOPS 433548 HAS SOUS 114853 HAS SOUPS 113583 WITH SCORE 114023.967
AT ITER 3405 NEW BEST:: SOT 810534 SOS 440891 HAS SOPS 433472 HAS SOUS 114777 HAS SOUPS 113507 WITH SCORE 113947.891
AT ITER 3420 NEW BEST:: SOT 810534 SOS 440411 HAS SOPS 432992 HAS SOUS 114777 HAS SOUPS 113507 WITH SCORE 113947.411
AT ITER 3422 NEW BEST:: SOT 810534 SOS 440411 HAS SOPS 432992 HAS SOUS 114767 HAS SOUPS 113497 WITH SCORE 113937.411
AT ITER 3436 NEW BEST:: SOT 810520 SOS 440489 HAS SOPS 433070 HAS SOUS 114665 HAS SOUPS 113395 WITH SCORE 113835.489
AT ITER 3440 NEW BEST:: SOT 810515 SOS 440580 HAS SOPS 433161 HAS SOUS 114655 HAS SOUPS 113385 WITH SCORE 113825.58
AT ITER 3445 NEW BEST:: SOT 810382 SOS 440447 HAS SOPS 433028 HAS SOUS 114522 HAS SOUPS 113252 WITH SCORE 113692.447
AT ITER 3453 NEW BEST:: SOT 810256 SOS 440261 HAS SOPS 432842 HAS SOUS 114369 HAS SOUPS 113099 WITH SCORE 113539.261
AT ITER 3466 NEW BEST:: SOT 810033 SOS 439966 HAS SOPS 432547 HAS SOUS 114074 HAS SOUPS 112804 WITH SCORE 113243.966
AT ITER 3474 NEW BEST:: SOT 810032 SOS 439964 HAS SOPS 432545 HAS SOUS 114073 HAS SOUPS 112803 WITH SCORE 113242.964
AT ITER 3478 NEW BEST:: SOT 810023 SOS 439987 HAS SOPS 432536 HAS SOUS 113991 HAS SOUPS 112721 WITH SCORE 113160.987
AT ITER 3497 NEW BEST:: SOT 810075 SOS 440039 HAS SOPS 432563 HAS SOUS 113981 HAS SOUPS 112711 WITH SCORE 113151.039
AT ITER 3500 NEW BEST:: SOT 809939 SOS 439903 HAS SOPS 432427 HAS SOUS 113854 HAS SOUPS 112584 WITH SCORE 113023.903
AT ITER 3533 NEW BEST:: SOT 809891 SOS 439855 HAS SOPS 432379 HAS SOUS 113806 HAS SOUPS 112536 WITH SCORE 112975.855
AT ITER 3589 NEW BEST:: SOT 809883 SOS 439847 HAS SOPS 432367 HAS SOUS 113790 HAS SOUPS 112520 WITH SCORE 112959.847
AT ITER 3595 NEW BEST:: SOT 809903 SOS 439856 HAS SOPS 432376 HAS SOUS 113697 HAS SOUPS 112427 WITH SCORE 112866.856
AT ITER 3610 NEW BEST:: SOT 809805 SOS 439758 HAS SOPS 432278 HAS SOUS 113682 HAS SOUPS 112412 WITH SCORE 112851.758
AT ITER 3616 NEW BEST:: SOT 809801 SOS 439754 HAS SOPS 432274 HAS SOUS 113674 HAS SOUPS 112404 WITH SCORE 112843.754
AT ITER 3632 NEW BEST:: SOT 809773 SOS 439726 HAS SOPS 432246 HAS SOUS 113660 HAS SOUPS 112390 WITH SCORE 112829.726
AT ITER 3633 NEW BEST:: SOT 809774 SOS 439683 HAS SOPS 432203 HAS SOUS 113516 HAS SOUPS 112246 WITH SCORE 112685.683
AT ITER 3634 NEW BEST:: SOT 809670 SOS 439568 HAS SOPS 432088 HAS SOUS 113324 HAS SOUPS 112054 WITH SCORE 112493.568
AT ITER 3670 NEW BEST:: SOT 809670 SOS 439631 HAS SOPS 432084 HAS SOUS 113256 HAS SOUPS 111986 WITH SCORE 112425.631
AT ITER 3672 NEW BEST:: SOT 809670 SOS 439631 HAS SOPS 432084 HAS SOUS 113248 HAS SOUPS 111978 WITH SCORE 112417.631
AT ITER 3673 NEW BEST:: SOT 809502 SOS 439349 HAS SOPS 431802 HAS SOUS 113074 HAS SOUPS 111804 WITH SCORE 112243.349
AT ITER 3690 NEW BEST:: SOT 809481 SOS 439328 HAS SOPS 431781 HAS SOUS 113032 HAS SOUPS 111762 WITH SCORE 112201.328
AT ITER 3704 NEW BEST:: SOT 808935 SOS 439099 HAS SOPS 431552 HAS SOUS 113030 HAS SOUPS 111760 WITH SCORE 112199.099
AT ITER 3743 NEW BEST:: SOT 808887 SOS 439003 HAS SOPS 431456 HAS SOUS 112934 HAS SOUPS 111664 WITH SCORE 112103.003
AT ITER 3750 NEW BEST:: SOT 808904 SOS 439130 HAS SOPS 431583 HAS SOUS 112903 HAS SOUPS 111633 WITH SCORE 112072.13
AT ITER 3757 NEW BEST:: SOT 808900 SOS 439126 HAS SOPS 431577 HAS SOUS 112895 HAS SOUPS 111625 WITH SCORE 112064.126
AT ITER 3767 NEW BEST:: SOT 808900 SOS 439074 HAS SOPS 431525 HAS SOUS 112843 HAS SOUPS 111573 WITH SCORE 112012.074
AT ITER 3776 NEW BEST:: SOT 808205 SOS 438344 HAS SOPS 430795 HAS SOUS 111972 HAS SOUPS 110702 WITH SCORE 111140.344
AT ITER 3781 NEW BEST:: SOT 808204 SOS 438343 HAS SOPS 430794 HAS SOUS 111971 HAS SOUPS 110701 WITH SCORE 111139.343
AT ITER 3794 NEW BEST:: SOT 808120 SOS 438259 HAS SOPS 430710 HAS SOUS 111851 HAS SOUPS 110581 WITH SCORE 111019.259
AT ITER 3823 NEW BEST:: SOT 807654 SOS 438144 HAS SOPS 430595 HAS SOUS 111791 HAS SOUPS 110521 WITH SCORE 110959.144
AT ITER 3826 NEW BEST:: SOT 807654 SOS 438142 HAS SOPS 430593 HAS SOUS 111789 HAS SOUPS 110519 WITH SCORE 110957.142
AT ITER 3831 NEW BEST:: SOT 807573 SOS 438027 HAS SOPS 430478 HAS SOUS 111636 HAS SOUPS 110366 WITH SCORE 110804.027
AT ITER 3842 NEW BEST:: SOT 807555 SOS 438010 HAS SOPS 430461 HAS SOUS 111619 HAS SOUPS 110349 WITH SCORE 110787.01
AT ITER 3862 NEW BEST:: SOT 807555 SOS 437998 HAS SOPS 430449 HAS SOUS 111619 HAS SOUPS 110349 WITH SCORE 110786.998
AT ITER 3890 NEW BEST:: SOT 807492 SOS 437935 HAS SOPS 430379 HAS SOUS 111531 HAS SOUPS 110254 WITH SCORE 110691.935
AT ITER 3915 NEW BEST:: SOT 807474 SOS 437899 HAS SOPS 430343 HAS SOUS 111469 HAS SOUPS 110192 WITH SCORE 110629.899
AT ITER 3932 NEW BEST:: SOT 807395 SOS 437958 HAS SOPS 430441 HAS SOUS 111356 HAS SOUPS 110079 WITH SCORE 110516.958
AT ITER 3939 NEW BEST:: SOT 807388 SOS 437959 HAS SOPS 430426 HAS SOUS 111349 HAS SOUPS 110076 WITH SCORE 110513.959
AT ITER 3957 NEW BEST:: SOT 807241 SOS 437824 HAS SOPS 430291 HAS SOUS 111271 HAS SOUPS 109998 WITH SCORE 110435.824
AT ITER 3958 NEW BEST:: SOT 807212 SOS 437795 HAS SOPS 430236 HAS SOUS 111247 HAS SOUPS 109968 WITH SCORE 110405.795
AT ITER 3959 NEW BEST:: SOT 806944 SOS 437493 HAS SOPS 429934 HAS SOUS 110871 HAS SOUPS 109592 WITH SCORE 110029.493
AT ITER 3967 NEW BEST:: SOT 806868 SOS 437364 HAS SOPS 429805 HAS SOUS 110567 HAS SOUPS 109288 WITH SCORE 109725.364
AT ITER 3996 NEW BEST:: SOT 806705 SOS 437278 HAS SOPS 429719 HAS SOUS 110516 HAS SOUPS 109237 WITH SCORE 109674.278
AT ITER 3997 NEW BEST:: SOT 806638 SOS 437428 HAS SOPS 429869 HAS SOUS 110256 HAS SOUPS 108977 WITH SCORE 109414.428
AT ITER 3998 NEW BEST:: SOT 806621 SOS 437411 HAS SOPS 429852 HAS SOUS 110245 HAS SOUPS 108966 WITH SCORE 109403.411
AT ITER 4005 NEW BEST:: SOT 806632 SOS 437394 HAS SOPS 429811 HAS SOUS 110239 HAS SOUPS 108960 WITH SCORE 109397.394
AT ITER 4013 NEW BEST:: SOT 806509 SOS 437029 HAS SOPS 429446 HAS SOUS 110060 HAS SOUPS 108781 WITH SCORE 109218.029
AT ITER 4014 NEW BEST:: SOT 806473 SOS 436993 HAS SOPS 429410 HAS SOUS 109726 HAS SOUPS 108447 WITH SCORE 108883.993
AT ITER 4030 NEW BEST:: SOT 806272 SOS 436829 HAS SOPS 429373 HAS SOUS 109537 HAS SOUPS 108258 WITH SCORE 108694.829
AT ITER 4037 NEW BEST:: SOT 806247 SOS 436804 HAS SOPS 429323 HAS SOUS 109480 HAS SOUPS 108201 WITH SCORE 108637.804
AT ITER 4039 NEW BEST:: SOT 806174 SOS 436930 HAS SOPS 429449 HAS SOUS 109432 HAS SOUPS 108153 WITH SCORE 108589.93
AT ITER 4050 NEW BEST:: SOT 806173 SOS 436928 HAS SOPS 429447 HAS SOUS 109430 HAS SOUPS 108151 WITH SCORE 108587.928
AT ITER 4053 NEW BEST:: SOT 806167 SOS 436922 HAS SOPS 429435 HAS SOUS 109418 HAS SOUPS 108139 WITH SCORE 108575.922
AT ITER 4080 NEW BEST:: SOT 806150 SOS 436853 HAS SOPS 429366 HAS SOUS 109270 HAS SOUPS 107991 WITH SCORE 108427.853
AT ITER 4090 NEW BEST:: SOT 806041 SOS 436660 HAS SOPS 429158 HAS SOUS 109038 HAS SOUPS 107759 WITH SCORE 108195.66
AT ITER 4100 NEW BEST:: SOT 805962 SOS 436581 HAS SOPS 429079 HAS SOUS 108939 HAS SOUPS 107660 WITH SCORE 108096.581
AT ITER 4106 NEW BEST:: SOT 805748 SOS 437199 HAS SOPS 429774 HAS SOUS 108907 HAS SOUPS 107628 WITH SCORE 108065.199
AT ITER 4153 NEW BEST:: SOT 805680 SOS 437131 HAS SOPS 429706 HAS SOUS 108805 HAS SOUPS 107526 WITH SCORE 107963.131
AT ITER 4157 NEW BEST:: SOT 805675 SOS 437110 HAS SOPS 429653 HAS SOUS 108738 HAS SOUPS 107459 WITH SCORE 107896.11
AT ITER 4181 NEW BEST:: SOT 805615 SOS 437035 HAS SOPS 429578 HAS SOUS 108725 HAS SOUPS 107446 WITH SCORE 107883.035
AT ITER 4214 NEW BEST:: SOT 805432 SOS 436923 HAS SOPS 429466 HAS SOUS 108533 HAS SOUPS 107254 WITH SCORE 107690.923
AT ITER 4223 NEW BEST:: SOT 805432 SOS 435427 HAS SOPS 427970 HAS SOUS 108493 HAS SOUPS 107214 WITH SCORE 107649.427
AT ITER 4224 NEW BEST:: SOT 805276 SOS 435195 HAS SOPS 427738 HAS SOUS 108285 HAS SOUPS 107006 WITH SCORE 107441.195
AT ITER 4226 NEW BEST:: SOT 804408 SOS 434327 HAS SOPS 426870 HAS SOUS 108157 HAS SOUPS 106878 WITH SCORE 107312.327
AT ITER 4244 NEW BEST:: SOT 804412 SOS 434331 HAS SOPS 426858 HAS SOUS 108129 HAS SOUPS 106850 WITH SCORE 107284.331
AT ITER 4247 NEW BEST:: SOT 804407 SOS 434326 HAS SOPS 426848 HAS SOUS 108119 HAS SOUPS 106840 WITH SCORE 107274.326
AT ITER 4258 NEW BEST:: SOT 804403 SOS 434322 HAS SOPS 426844 HAS SOUS 108111 HAS SOUPS 106832 WITH SCORE 107266.322
AT ITER 4266 NEW BEST:: SOT 804195 SOS 434114 HAS SOPS 426636 HAS SOUS 107788 HAS SOUPS 106509 WITH SCORE 106943.114
AT ITER 4269 NEW BEST:: SOT 804151 SOS 417702 HAS SOPS 410224 HAS SOUS 107762 HAS SOUPS 106483 WITH SCORE 106900.702
AT ITER 4298 NEW BEST:: SOT 804138 SOS 417689 HAS SOPS 410211 HAS SOUS 107718 HAS SOUPS 106439 WITH SCORE 106856.689
AT ITER 4303 NEW BEST:: SOT 804102 SOS 417653 HAS SOPS 410175 HAS SOUS 107622 HAS SOUPS 106343 WITH SCORE 106760.653
AT ITER 4312 NEW BEST:: SOT 804102 SOS 417623 HAS SOPS 410145 HAS SOUS 107592 HAS SOUPS 106313 WITH SCORE 106730.623
AT ITER 4333 NEW BEST:: SOT 804082 SOS 417603 HAS SOPS 410125 HAS SOUS 107568 HAS SOUPS 106289 WITH SCORE 106706.603
AT ITER 4348 NEW BEST:: SOT 804082 SOS 417583 HAS SOPS 410105 HAS SOUS 107511 HAS SOUPS 106232 WITH SCORE 106649.583
AT ITER 4353 NEW BEST:: SOT 804082 SOS 417270 HAS SOPS 409792 HAS SOUS 107503 HAS SOUPS 106224 WITH SCORE 106641.27
AT ITER 4355 NEW BEST:: SOT 804056 SOS 417204 HAS SOPS 409726 HAS SOUS 107473 HAS SOUPS 106194 WITH SCORE 106611.204
AT ITER 4398 NEW BEST:: SOT 804011 SOS 417159 HAS SOPS 409681 HAS SOUS 107453 HAS SOUPS 106174 WITH SCORE 106591.159
AT ITER 4400 NEW BEST:: SOT 803706 SOS 416931 HAS SOPS 409453 HAS SOUS 107265 HAS SOUPS 105986 WITH SCORE 106402.931
AT ITER 4406 NEW BEST:: SOT 803631 SOS 416871 HAS SOPS 409393 HAS SOUS 107175 HAS SOUPS 105896 WITH SCORE 106312.871
AT ITER 4433 NEW BEST:: SOT 803599 SOS 416685 HAS SOPS 409207 HAS SOUS 107111 HAS SOUPS 105832 WITH SCORE 106248.685
AT ITER 4434 NEW BEST:: SOT 803450 SOS 416571 HAS SOPS 409186 HAS SOUS 107018 HAS SOUPS 105739 WITH SCORE 106155.571
AT ITER 4443 NEW BEST:: SOT 803413 SOS 416534 HAS SOPS 409149 HAS SOUS 106992 HAS SOUPS 105713 WITH SCORE 106129.534
AT ITER 4482 NEW BEST:: SOT 803293 SOS 416397 HAS SOPS 409012 HAS SOUS 106855 HAS SOUPS 105576 WITH SCORE 105992.397
AT ITER 4491 NEW BEST:: SOT 803361 SOS 421310 HAS SOPS 413925 HAS SOUS 106725 HAS SOUPS 105446 WITH SCORE 105867.31
AT ITER 4525 NEW BEST:: SOT 803334 SOS 421283 HAS SOPS 413898 HAS SOUS 106701 HAS SOUPS 105422 WITH SCORE 105843.283
AT ITER 4529 NEW BEST:: SOT 803105 SOS 421054 HAS SOPS 413669 HAS SOUS 106553 HAS SOUPS 105274 WITH SCORE 105695.054
AT ITER 4541 NEW BEST:: SOT 803105 SOS 421000 HAS SOPS 413615 HAS SOUS 106490 HAS SOUPS 105211 WITH SCORE 105632.0
AT ITER 4545 NEW BEST:: SOT 803191 SOS 421210 HAS SOPS 413825 HAS SOUS 106264 HAS SOUPS 104985 WITH SCORE 105406.21
AT ITER 4546 NEW BEST:: SOT 803170 SOS 421189 HAS SOPS 413804 HAS SOUS 106243 HAS SOUPS 104964 WITH SCORE 105385.189
AT ITER 4548 NEW BEST:: SOT 803118 SOS 422752 HAS SOPS 415367 HAS SOUS 106179 HAS SOUPS 104900 WITH SCORE 105322.752
AT ITER 4558 NEW BEST:: SOT 803118 SOS 422774 HAS SOPS 415389 HAS SOUS 106113 HAS SOUPS 104834 WITH SCORE 105256.774
AT ITER 4571 NEW BEST:: SOT 803094 SOS 422750 HAS SOPS 415365 HAS SOUS 106105 HAS SOUPS 104826 WITH SCORE 105248.75
AT ITER 4578 NEW BEST:: SOT 803006 SOS 422551 HAS SOPS 415166 HAS SOUS 105906 HAS SOUPS 104627 WITH SCORE 105049.551
AT ITER 4611 NEW BEST:: SOT 803027 SOS 422572 HAS SOPS 415187 HAS SOUS 105900 HAS SOUPS 104621 WITH SCORE 105043.572
AT ITER 4624 NEW BEST:: SOT 802991 SOS 422500 HAS SOPS 415115 HAS SOUS 105828 HAS SOUPS 104549 WITH SCORE 104971.5
AT ITER 4649 NEW BEST:: SOT 802991 SOS 422500 HAS SOPS 415115 HAS SOUS 105824 HAS SOUPS 104545 WITH SCORE 104967.5
AT ITER 4687 NEW BEST:: SOT 802992 SOS 422501 HAS SOPS 415094 HAS SOUS 105811 HAS SOUPS 104510 WITH SCORE 104932.501
AT ITER 4690 NEW BEST:: SOT 802824 SOS 422333 HAS SOPS 414926 HAS SOUS 105643 HAS SOUPS 104342 WITH SCORE 104764.333
AT ITER 4701 NEW BEST:: SOT 802847 SOS 422212 HAS SOPS 414805 HAS SOUS 105407 HAS SOUPS 104106 WITH SCORE 104528.212
AT ITER 4705 NEW BEST:: SOT 802862 SOS 422139 HAS SOPS 414732 HAS SOUS 105345 HAS SOUPS 104044 WITH SCORE 104466.139
AT ITER 4709 NEW BEST:: SOT 802895 SOS 422172 HAS SOPS 414756 HAS SOUS 105327 HAS SOUPS 104026 WITH SCORE 104448.172
AT ITER 4713 NEW BEST:: SOT 802892 SOS 422169 HAS SOPS 414756 HAS SOUS 105327 HAS SOUPS 104026 WITH SCORE 104448.169
AT ITER 4722 NEW BEST:: SOT 802906 SOS 422183 HAS SOPS 414788 HAS SOUS 105319 HAS SOUPS 104018 WITH SCORE 104440.183
AT ITER 4729 NEW BEST:: SOT 802897 SOS 422165 HAS SOPS 414770 HAS SOUS 105301 HAS SOUPS 104000 WITH SCORE 104422.165
AT ITER 4756 NEW BEST:: SOT 802896 SOS 422163 HAS SOPS 414768 HAS SOUS 105299 HAS SOUPS 103998 WITH SCORE 104420.163
AT ITER 4758 NEW BEST:: SOT 802856 SOS 422135 HAS SOPS 414740 HAS SOUS 105219 HAS SOUPS 103918 WITH SCORE 104340.135
AT ITER 4776 NEW BEST:: SOT 802713 SOS 421992 HAS SOPS 414597 HAS SOUS 105149 HAS SOUPS 103848 WITH SCORE 104269.992
AT ITER 4778 NEW BEST:: SOT 802671 SOS 421950 HAS SOPS 414555 HAS SOUS 105093 HAS SOUPS 103792 WITH SCORE 104213.95
AT ITER 4779 NEW BEST:: SOT 802667 SOS 421946 HAS SOPS 414551 HAS SOUS 105061 HAS SOUPS 103760 WITH SCORE 104181.946
AT ITER 4839 NEW BEST:: SOT 802666 SOS 421945 HAS SOPS 414550 HAS SOUS 105059 HAS SOUPS 103758 WITH SCORE 104179.945
AT ITER 4852 NEW BEST:: SOT 802588 SOS 421867 HAS SOPS 414472 HAS SOUS 104953 HAS SOUPS 103652 WITH SCORE 104073.867
AT ITER 4862 NEW BEST:: SOT 802579 SOS 421858 HAS SOPS 414463 HAS SOUS 104941 HAS SOUPS 103640 WITH SCORE 104061.858
AT ITER 4904 NEW BEST:: SOT 802567 SOS 421818 HAS SOPS 414423 HAS SOUS 104890 HAS SOUPS 103589 WITH SCORE 104010.818
AT ITER 4909 NEW BEST:: SOT 802575 SOS 421826 HAS SOPS 414402 HAS SOUS 104838 HAS SOUPS 103537 WITH SCORE 103958.826
AT ITER 4914 NEW BEST:: SOT 803562 SOS 422759 HAS SOPS 415389 HAS SOUS 104430 HAS SOUPS 103138 WITH SCORE 103560.759
AT ITER 4922 NEW BEST:: SOT 803520 SOS 422717 HAS SOPS 415347 HAS SOUS 104381 HAS SOUPS 103089 WITH SCORE 103511.717
AT ITER 4939 NEW BEST:: SOT 803475 SOS 422676 HAS SOPS 415306 HAS SOUS 104304 HAS SOUPS 103012 WITH SCORE 103434.676
AT ITER 4945 NEW BEST:: SOT 803475 SOS 422676 HAS SOPS 415306 HAS SOUS 104298 HAS SOUPS 103006 WITH SCORE 103428.676
AT ITER 4948 NEW BEST:: SOT 803479 SOS 422680 HAS SOPS 415310 HAS SOUS 104268 HAS SOUPS 102976 WITH SCORE 103398.68
AT ITER 4951 NEW BEST:: SOT 803443 SOS 422646 HAS SOPS 415276 HAS SOUS 104196 HAS SOUPS 102904 WITH SCORE 103326.646
AT ITER 4988 NEW BEST:: SOT 803419 SOS 422606 HAS SOPS 415236 HAS SOUS 104172 HAS SOUPS 102880 WITH SCORE 103302.606
AT ITER 5038 NEW BEST:: SOT 803416 SOS 422621 HAS SOPS 415251 HAS SOUS 104141 HAS SOUPS 102849 WITH SCORE 103271.621
AT ITER 5086 NEW BEST:: SOT 803407 SOS 422612 HAS SOPS 415242 HAS SOUS 104099 HAS SOUPS 102807 WITH SCORE 103229.612
AT ITER 5089 NEW BEST:: SOT 803344 SOS 422327 HAS SOPS 414957 HAS SOUS 103971 HAS SOUPS 102679 WITH SCORE 103101.327
AT ITER 5101 NEW BEST:: SOT 803349 SOS 422338 HAS SOPS 414968 HAS SOUS 103964 HAS SOUPS 102672 WITH SCORE 103094.338
AT ITER 5109 NEW BEST:: SOT 803269 SOS 422271 HAS SOPS 414901 HAS SOUS 103911 HAS SOUPS 102619 WITH SCORE 103041.271
AT ITER 5131 NEW BEST:: SOT 803261 SOS 422251 HAS SOPS 414881 HAS SOUS 103903 HAS SOUPS 102611 WITH SCORE 103033.251
AT ITER 5184 NEW BEST:: SOT 803257 SOS 422247 HAS SOPS 414877 HAS SOUS 103903 HAS SOUPS 102611 WITH SCORE 103033.247
AT ITER 5190 NEW BEST:: SOT 803251 SOS 422241 HAS SOPS 414868 HAS SOUS 103891 HAS SOUPS 102599 WITH SCORE 103021.241
AT ITER 5207 NEW BEST:: SOT 803014 SOS 422004 HAS SOPS 414631 HAS SOUS 103660 HAS SOUPS 102368 WITH SCORE 102790.004
AT ITER 5217 NEW BEST:: SOT 803014 SOS 419617 HAS SOPS 412244 HAS SOUS 103660 HAS SOUPS 102368 WITH SCORE 102787.617
AT ITER 5231 NEW BEST:: SOT 803062 SOS 419585 HAS SOPS 412212 HAS SOUS 103527 HAS SOUPS 102235 WITH SCORE 102654.585
AT ITER 5261 NEW BEST:: SOT 802910 SOS 419129 HAS SOPS 411756 HAS SOUS 103324 HAS SOUPS 102032 WITH SCORE 102451.129
AT ITER 5269 NEW BEST:: SOT 807981 SOS 424200 HAS SOPS 416827 HAS SOUS 103231 HAS SOUPS 101939 WITH SCORE 102363.2
AT ITER 5292 NEW BEST:: SOT 807992 SOS 424211 HAS SOPS 416838 HAS SOUS 103206 HAS SOUPS 101914 WITH SCORE 102338.211
AT ITER 5312 NEW BEST:: SOT 807941 SOS 424309 HAS SOPS 416949 HAS SOUS 103163 HAS SOUPS 101871 WITH SCORE 102295.309
AT ITER 5316 NEW BEST:: SOT 807941 SOS 424309 HAS SOPS 416949 HAS SOUS 103155 HAS SOUPS 101863 WITH SCORE 102287.309
AT ITER 5331 NEW BEST:: SOT 807892 SOS 401072 HAS SOPS 393712 HAS SOUS 103113 HAS SOUPS 101821 WITH SCORE 102222.072
AT ITER 5362 NEW BEST:: SOT 807848 SOS 401028 HAS SOPS 393668 HAS SOUS 103025 HAS SOUPS 101733 WITH SCORE 102134.028
AT ITER 5390 NEW BEST:: SOT 807620 SOS 400451 HAS SOPS 393091 HAS SOUS 102729 HAS SOUPS 101437 WITH SCORE 101837.451
AT ITER 5412 NEW BEST:: SOT 807452 SOS 400283 HAS SOPS 392923 HAS SOUS 102517 HAS SOUPS 101225 WITH SCORE 101625.283
AT ITER 5421 NEW BEST:: SOT 807380 SOS 400211 HAS SOPS 392851 HAS SOUS 102445 HAS SOUPS 101153 WITH SCORE 101553.211
AT ITER 5490 NEW BEST:: SOT 807270 SOS 400111 HAS SOPS 392751 HAS SOUS 102086 HAS SOUPS 100794 WITH SCORE 101194.111
AT ITER 5518 NEW BEST:: SOT 807392 SOS 400203 HAS SOPS 392949 HAS SOUS 102069 HAS SOUPS 100777 WITH SCORE 101177.203
AT ITER 5565 NEW BEST:: SOT 807181 SOS 400018 HAS SOPS 392764 HAS SOUS 101884 HAS SOUPS 100592 WITH SCORE 100992.018
AT ITER 5566 NEW BEST:: SOT 807173 SOS 400010 HAS SOPS 392756 HAS SOUS 101868 HAS SOUPS 100576 WITH SCORE 100976.01
AT ITER 5595 NEW BEST:: SOT 807309 SOS 400121 HAS SOPS 392867 HAS SOUS 101694 HAS SOUPS 100402 WITH SCORE 100802.121
AT ITER 5598 NEW BEST:: SOT 807309 SOS 400121 HAS SOPS 392867 HAS SOUS 101691 HAS SOUPS 100399 WITH SCORE 100799.121
AT ITER 5610 NEW BEST:: SOT 807065 SOS 399877 HAS SOPS 392623 HAS SOUS 101677 HAS SOUPS 100385 WITH SCORE 100784.877
AT ITER 5611 NEW BEST:: SOT 807009 SOS 399850 HAS SOPS 392591 HAS SOUS 101570 HAS SOUPS 100278 WITH SCORE 100677.85
AT ITER 5613 NEW BEST:: SOT 806936 SOS 399820 HAS SOPS 392561 HAS SOUS 101493 HAS SOUPS 100201 WITH SCORE 100600.82
AT ITER 5685 NEW BEST:: SOT 806938 SOS 399215 HAS SOPS 391956 HAS SOUS 101461 HAS SOUPS 100169 WITH SCORE 100568.215
AT ITER 5686 NEW BEST:: SOT 806926 SOS 399318 HAS SOPS 392059 HAS SOUS 101438 HAS SOUPS 100146 WITH SCORE 100545.318
AT ITER 5708 NEW BEST:: SOT 806871 SOS 399263 HAS SOPS 392012 HAS SOUS 101396 HAS SOUPS 100104 WITH SCORE 100503.263
AT ITER 5720 NEW BEST:: SOT 806859 SOS 399251 HAS SOPS 391988 HAS SOUS 101372 HAS SOUPS 100080 WITH SCORE 100479.251
AT ITER 5729 NEW BEST:: SOT 806764 SOS 399237 HAS SOPS 391974 HAS SOUS 101312 HAS SOUPS 100020 WITH SCORE 100419.237
AT ITER 5812 NEW BEST:: SOT 806764 SOS 399237 HAS SOPS 391974 HAS SOUS 101311 HAS SOUPS 100019 WITH SCORE 100418.237
AT ITER 5866 NEW BEST:: SOT 806760 SOS 399233 HAS SOPS 391970 HAS SOUS 101284 HAS SOUPS 99992 WITH SCORE 100391.233
AT ITER 5893 NEW BEST:: SOT 806748 SOS 399200 HAS SOPS 391937 HAS SOUS 101251 HAS SOUPS 99959 WITH SCORE 100358.2
AT ITER 5960 NEW BEST:: SOT 806748 SOS 399200 HAS SOPS 391937 HAS SOUS 101165 HAS SOUPS 99873 WITH SCORE 100272.2
AT ITER 5965 NEW BEST:: SOT 806606 SOS 398947 HAS SOPS 391684 HAS SOUS 100955 HAS SOUPS 99663 WITH SCORE 100061.947
AT ITER 5984 NEW BEST:: SOT 806606 SOS 398133 HAS SOPS 390870 HAS SOUS 100921 HAS SOUPS 99629 WITH SCORE 100027.133
AT ITER 6015 NEW BEST:: SOT 806595 SOS 398122 HAS SOPS 390859 HAS SOUS 100895 HAS SOUPS 99603 WITH SCORE 100001.122
AT ITER 6048 NEW BEST:: SOT 806577 SOS 397979 HAS SOPS 390720 HAS SOUS 100855 HAS SOUPS 99563 WITH SCORE 99960.979
AT ITER 6065 NEW BEST:: SOT 806400 SOS 397802 HAS SOPS 390543 HAS SOUS 100678 HAS SOUPS 99386 WITH SCORE 99783.802
AT ITER 6066 NEW BEST:: SOT 806453 SOS 397743 HAS SOPS 390501 HAS SOUS 100648 HAS SOUPS 99356 WITH SCORE 99753.743
AT ITER 6082 NEW BEST:: SOT 806425 SOS 397715 HAS SOPS 390473 HAS SOUS 100622 HAS SOUPS 99330 WITH SCORE 99727.715
AT ITER 6089 NEW BEST:: SOT 806407 SOS 397697 HAS SOPS 390455 HAS SOUS 100622 HAS SOUPS 99330 WITH SCORE 99727.697
AT ITER 6104 NEW BEST:: SOT 806393 SOS 397683 HAS SOPS 390441 HAS SOUS 100601 HAS SOUPS 99309 WITH SCORE 99706.683
AT ITER 6110 NEW BEST:: SOT 806393 SOS 396706 HAS SOPS 389464 HAS SOUS 100570 HAS SOUPS 99278 WITH SCORE 99674.706
AT ITER 6114 NEW BEST:: SOT 806390 SOS 396703 HAS SOPS 388933 HAS SOUS 100585 HAS SOUPS 99205 WITH SCORE 99601.703
AT ITER 6123 NEW BEST:: SOT 806348 SOS 396661 HAS SOPS 388891 HAS SOUS 100561 HAS SOUPS 99181 WITH SCORE 99577.661
AT ITER 6144 NEW BEST:: SOT 806348 SOS 396661 HAS SOPS 388891 HAS SOUS 100506 HAS SOUPS 99126 WITH SCORE 99522.661
AT ITER 6177 NEW BEST:: SOT 806284 SOS 396501 HAS SOPS 388731 HAS SOUS 100442 HAS SOUPS 99062 WITH SCORE 99458.501
AT ITER 6190 NEW BEST:: SOT 806281 SOS 396498 HAS SOPS 388728 HAS SOUS 100442 HAS SOUPS 99062 WITH SCORE 99458.498
AT ITER 6191 NEW BEST:: SOT 806274 SOS 396491 HAS SOPS 388721 HAS SOUS 100432 HAS SOUPS 99052 WITH SCORE 99448.491
AT ITER 6211 NEW BEST:: SOT 805993 SOS 396298 HAS SOPS 388528 HAS SOUS 100171 HAS SOUPS 98791 WITH SCORE 99187.298
AT ITER 6215 NEW BEST:: SOT 805669 SOS 395947 HAS SOPS 388177 HAS SOUS 99931 HAS SOUPS 98551 WITH SCORE 98946.947
AT ITER 6251 NEW BEST:: SOT 805653 SOS 395913 HAS SOPS 388143 HAS SOUS 99882 HAS SOUPS 98502 WITH SCORE 98897.913
AT ITER 6263 NEW BEST:: SOT 805779 SOS 395964 HAS SOPS 388134 HAS SOUS 99873 HAS SOUPS 98493 WITH SCORE 98888.964
AT ITER 6288 NEW BEST:: SOT 805779 SOS 395394 HAS SOPS 387564 HAS SOUS 99867 HAS SOUPS 98487 WITH SCORE 98882.394
AT ITER 6298 NEW BEST:: SOT 805812 SOS 395632 HAS SOPS 387802 HAS SOUS 99791 HAS SOUPS 98411 WITH SCORE 98806.632
AT ITER 6315 NEW BEST:: SOT 805803 SOS 395698 HAS SOPS 387868 HAS SOUS 99773 HAS SOUPS 98393 WITH SCORE 98788.698
AT ITER 6344 NEW BEST:: SOT 805793 SOS 395688 HAS SOPS 387858 HAS SOUS 99763 HAS SOUPS 98383 WITH SCORE 98778.688
AT ITER 6366 NEW BEST:: SOT 805826 SOS 395721 HAS SOPS 387872 HAS SOUS 99753 HAS SOUPS 98373 WITH SCORE 98768.721
AT ITER 6390 NEW BEST:: SOT 805794 SOS 395657 HAS SOPS 387808 HAS SOUS 99689 HAS SOUPS 98309 WITH SCORE 98704.657
AT ITER 6425 NEW BEST:: SOT 805622 SOS 395485 HAS SOPS 387636 HAS SOUS 99369 HAS SOUPS 97989 WITH SCORE 98384.485
AT ITER 6456 NEW BEST:: SOT 805622 SOS 386796 HAS SOPS 378947 HAS SOUS 99357 HAS SOUPS 97977 WITH SCORE 98363.796
AT ITER 6465 NEW BEST:: SOT 805594 SOS 386763 HAS SOPS 378914 HAS SOUS 99301 HAS SOUPS 97921 WITH SCORE 98307.763
AT ITER 6467 NEW BEST:: SOT 805597 SOS 386766 HAS SOPS 378917 HAS SOUS 99272 HAS SOUPS 97892 WITH SCORE 98278.766
AT ITER 6470 NEW BEST:: SOT 805599 SOS 386719 HAS SOPS 378870 HAS SOUS 99267 HAS SOUPS 97887 WITH SCORE 98273.719
AT ITER 6546 NEW BEST:: SOT 805571 SOS 386691 HAS SOPS 378842 HAS SOUS 99265 HAS SOUPS 97885 WITH SCORE 98271.691
AT ITER 6555 NEW BEST:: SOT 805558 SOS 386665 HAS SOPS 378816 HAS SOUS 99239 HAS SOUPS 97859 WITH SCORE 98245.665
AT ITER 6584 NEW BEST:: SOT 805530 SOS 386505 HAS SOPS 378656 HAS SOUS 99227 HAS SOUPS 97847 WITH SCORE 98233.505
AT ITER 6627 NEW BEST:: SOT 805411 SOS 386386 HAS SOPS 378537 HAS SOUS 99049 HAS SOUPS 97669 WITH SCORE 98055.386
AT ITER 6687 NEW BEST:: SOT 805407 SOS 386382 HAS SOPS 378533 HAS SOUS 99041 HAS SOUPS 97661 WITH SCORE 98047.382
AT ITER 6701 NEW BEST:: SOT 805393 SOS 386376 HAS SOPS 378527 HAS SOUS 99037 HAS SOUPS 97657 WITH SCORE 98043.376
AT ITER 6726 NEW BEST:: SOT 805393 SOS 386310 HAS SOPS 378461 HAS SOUS 99026 HAS SOUPS 97646 WITH SCORE 98032.31
AT ITER 6735 NEW BEST:: SOT 805284 SOS 386115 HAS SOPS 378308 HAS SOUS 98938 HAS SOUPS 97558 WITH SCORE 97944.115
AT ITER 6750 NEW BEST:: SOT 805252 SOS 386083 HAS SOPS 378276 HAS SOUS 98937 HAS SOUPS 97557 WITH SCORE 97943.083
AT ITER 6757 NEW BEST:: SOT 804969 SOS 385772 HAS SOPS 377965 HAS SOUS 98869 HAS SOUPS 97489 WITH SCORE 97874.772
AT ITER 6773 NEW BEST:: SOT 804937 SOS 385740 HAS SOPS 377933 HAS SOUS 98832 HAS SOUPS 97452 WITH SCORE 97837.74
AT ITER 6783 NEW BEST:: SOT 804910 SOS 385713 HAS SOPS 377906 HAS SOUS 98823 HAS SOUPS 97443 WITH SCORE 97828.713
AT ITER 6787 NEW BEST:: SOT 804932 SOS 385707 HAS SOPS 377900 HAS SOUS 98814 HAS SOUPS 97434 WITH SCORE 97819.707
AT ITER 6821 NEW BEST:: SOT 804942 SOS 385689 HAS SOPS 377882 HAS SOUS 98769 HAS SOUPS 97389 WITH SCORE 97774.689
AT ITER 6825 NEW BEST:: SOT 804917 SOS 385651 HAS SOPS 377844 HAS SOUS 98715 HAS SOUPS 97335 WITH SCORE 97720.651
AT ITER 6900 NEW BEST:: SOT 804731 SOS 385279 HAS SOPS 377472 HAS SOUS 98498 HAS SOUPS 97118 WITH SCORE 97503.279
AT ITER 6949 NEW BEST:: SOT 803989 SOS 380385 HAS SOPS 372578 HAS SOUS 98296 HAS SOUPS 96916 WITH SCORE 97296.385
AT ITER 6986 NEW BEST:: SOT 803977 SOS 380366 HAS SOPS 372559 HAS SOUS 98271 HAS SOUPS 96891 WITH SCORE 97271.366
AT ITER 7003 NEW BEST:: SOT 803977 SOS 380323 HAS SOPS 372516 HAS SOUS 98271 HAS SOUPS 96891 WITH SCORE 97271.323
AT ITER 7018 NEW BEST:: SOT 803958 SOS 380304 HAS SOPS 372497 HAS SOUS 98267 HAS SOUPS 96887 WITH SCORE 97267.304
AT ITER 7054 NEW BEST:: SOT 803951 SOS 380290 HAS SOPS 372490 HAS SOUS 98253 HAS SOUPS 96880 WITH SCORE 97260.29
AT ITER 7056 NEW BEST:: SOT 803936 SOS 380275 HAS SOPS 372475 HAS SOUS 98223 HAS SOUPS 96850 WITH SCORE 97230.275
AT ITER 7090 NEW BEST:: SOT 803902 SOS 380225 HAS SOPS 372425 HAS SOUS 98139 HAS SOUPS 96766 WITH SCORE 97146.225
AT ITER 7114 NEW BEST:: SOT 803801 SOS 380367 HAS SOPS 372567 HAS SOUS 98073 HAS SOUPS 96700 WITH SCORE 97080.367
AT ITER 7119 NEW BEST:: SOT 803655 SOS 380305 HAS SOPS 372417 HAS SOUS 97899 HAS SOUPS 96526 WITH SCORE 96906.305
AT ITER 7125 NEW BEST:: SOT 803635 SOS 379663 HAS SOPS 371775 HAS SOUS 97860 HAS SOUPS 96487 WITH SCORE 96866.663
AT ITER 7129 NEW BEST:: SOT 803479 SOS 379501 HAS SOPS 371613 HAS SOUS 97742 HAS SOUPS 96369 WITH SCORE 96748.501
AT ITER 7140 NEW BEST:: SOT 803496 SOS 380347 HAS SOPS 372459 HAS SOUS 97718 HAS SOUPS 96345 WITH SCORE 96725.347
AT ITER 7141 NEW BEST:: SOT 803492 SOS 380343 HAS SOPS 372455 HAS SOUS 97714 HAS SOUPS 96341 WITH SCORE 96721.343
AT ITER 7160 NEW BEST:: SOT 803480 SOS 380325 HAS SOPS 372437 HAS SOUS 97696 HAS SOUPS 96323 WITH SCORE 96703.325
AT ITER 7166 NEW BEST:: SOT 803423 SOS 380268 HAS SOPS 372380 HAS SOUS 97688 HAS SOUPS 96315 WITH SCORE 96695.268
AT ITER 7188 NEW BEST:: SOT 803419 SOS 380678 HAS SOPS 372790 HAS SOUS 97685 HAS SOUPS 96312 WITH SCORE 96692.678
AT ITER 7189 NEW BEST:: SOT 803415 SOS 380628 HAS SOPS 372740 HAS SOUS 97630 HAS SOUPS 96257 WITH SCORE 96637.628
AT ITER 7195 NEW BEST:: SOT 803251 SOS 380406 HAS SOPS 372518 HAS SOUS 97459 HAS SOUPS 96086 WITH SCORE 96466.406
AT ITER 7196 NEW BEST:: SOT 803334 SOS 379893 HAS SOPS 372005 HAS SOUS 97427 HAS SOUPS 96054 WITH SCORE 96433.893
AT ITER 7231 NEW BEST:: SOT 803339 SOS 379891 HAS SOPS 372003 HAS SOUS 97418 HAS SOUPS 96045 WITH SCORE 96424.891
AT ITER 7252 NEW BEST:: SOT 803599 SOS 380151 HAS SOPS 372263 HAS SOUS 97283 HAS SOUPS 95910 WITH SCORE 96290.151
AT ITER 7266 NEW BEST:: SOT 803599 SOS 380151 HAS SOPS 372263 HAS SOUS 97275 HAS SOUPS 95902 WITH SCORE 96282.151
AT ITER 7276 NEW BEST:: SOT 803585 SOS 380130 HAS SOPS 372235 HAS SOUS 97247 HAS SOUPS 95874 WITH SCORE 96254.13
AT ITER 7295 NEW BEST:: SOT 803567 SOS 380147 HAS SOPS 372252 HAS SOUS 97218 HAS SOUPS 95845 WITH SCORE 96225.147
AT ITER 7340 NEW BEST:: SOT 803538 SOS 380091 HAS SOPS 372196 HAS SOUS 97156 HAS SOUPS 95783 WITH SCORE 96163.091
AT ITER 7369 NEW BEST:: SOT 803525 SOS 380151 HAS SOPS 372267 HAS SOUS 97119 HAS SOUPS 95757 WITH SCORE 96137.151
AT ITER 7410 NEW BEST:: SOT 803495 SOS 380115 HAS SOPS 372231 HAS SOUS 97095 HAS SOUPS 95733 WITH SCORE 96113.115
AT ITER 7434 NEW BEST:: SOT 803479 SOS 380099 HAS SOPS 372215 HAS SOUS 97063 HAS SOUPS 95701 WITH SCORE 96081.099
AT ITER 7442 NEW BEST:: SOT 803429 SOS 380049 HAS SOPS 372185 HAS SOUS 97050 HAS SOUPS 95688 WITH SCORE 96068.049
AT ITER 7449 NEW BEST:: SOT 803387 SOS 379980 HAS SOPS 372116 HAS SOUS 97017 HAS SOUPS 95655 WITH SCORE 96034.98
AT ITER 7498 NEW BEST:: SOT 803387 SOS 379980 HAS SOPS 372116 HAS SOUS 97016 HAS SOUPS 95654 WITH SCORE 96033.98
AT ITER 7501 NEW BEST:: SOT 803383 SOS 379972 HAS SOPS 372108 HAS SOUS 97012 HAS SOUPS 95650 WITH SCORE 96029.972
AT ITER 7584 NEW BEST:: SOT 803384 SOS 379958 HAS SOPS 372094 HAS SOUS 97010 HAS SOUPS 95648 WITH SCORE 96027.958
AT ITER 7599 NEW BEST:: SOT 803264 SOS 379074 HAS SOPS 371210 HAS SOUS 96890 HAS SOUPS 95528 WITH SCORE 95907.074
AT ITER 7645 NEW BEST:: SOT 803236 SOS 379009 HAS SOPS 371145 HAS SOUS 96834 HAS SOUPS 95472 WITH SCORE 95851.009
AT ITER 7686 NEW BEST:: SOT 803238 SOS 379011 HAS SOPS 371147 HAS SOUS 96833 HAS SOUPS 95471 WITH SCORE 95850.011
AT ITER 7693 NEW BEST:: SOT 803236 SOS 379097 HAS SOPS 371233 HAS SOUS 96831 HAS SOUPS 95469 WITH SCORE 95848.097
AT ITER 7697 NEW BEST:: SOT 803236 SOS 379083 HAS SOPS 371219 HAS SOUS 96824 HAS SOUPS 95462 WITH SCORE 95841.083
AT ITER 7722 NEW BEST:: SOT 803228 SOS 379061 HAS SOPS 371197 HAS SOUS 96802 HAS SOUPS 95440 WITH SCORE 95819.061
AT ITER 7729 NEW BEST:: SOT 803227 SOS 379060 HAS SOPS 371196 HAS SOUS 96800 HAS SOUPS 95438 WITH SCORE 95817.06
AT ITER 7748 NEW BEST:: SOT 799087 SOS 375709 HAS SOPS 367845 HAS SOUS 96798 HAS SOUPS 95436 WITH SCORE 95811.709
AT ITER 7791 NEW BEST:: SOT 799080 SOS 375702 HAS SOPS 367838 HAS SOUS 96784 HAS SOUPS 95422 WITH SCORE 95797.702
AT ITER 7847 NEW BEST:: SOT 799049 SOS 375656 HAS SOPS 367792 HAS SOUS 96667 HAS SOUPS 95305 WITH SCORE 95680.656
AT ITER 7870 NEW BEST:: SOT 799157 SOS 375702 HAS SOPS 367838 HAS SOUS 96535 HAS SOUPS 95173 WITH SCORE 95548.702
AT ITER 7874 NEW BEST:: SOT 799126 SOS 376133 HAS SOPS 368269 HAS SOUS 96442 HAS SOUPS 95080 WITH SCORE 95456.133
AT ITER 7886 NEW BEST:: SOT 799098 SOS 376105 HAS SOPS 368241 HAS SOUS 96414 HAS SOUPS 95052 WITH SCORE 95428.105
AT ITER 7894 NEW BEST:: SOT 799058 SOS 376065 HAS SOPS 368201 HAS SOUS 96374 HAS SOUPS 95012 WITH SCORE 95388.065
AT ITER 7918 NEW BEST:: SOT 799056 SOS 376061 HAS SOPS 368197 HAS SOUS 96370 HAS SOUPS 95008 WITH SCORE 95384.061
AT ITER 7920 NEW BEST:: SOT 799044 SOS 376071 HAS SOPS 368207 HAS SOUS 96354 HAS SOUPS 94992 WITH SCORE 95368.071
AT ITER 7943 NEW BEST:: SOT 799054 SOS 376012 HAS SOPS 368148 HAS SOUS 96169 HAS SOUPS 94807 WITH SCORE 95183.012
AT ITER 7970 NEW BEST:: SOT 799034 SOS 375992 HAS SOPS 368128 HAS SOUS 96129 HAS SOUPS 94767 WITH SCORE 95142.992
AT ITER 8008 NEW BEST:: SOT 798897 SOS 375710 HAS SOPS 367921 HAS SOUS 96006 HAS SOUPS 94645 WITH SCORE 95020.71
AT ITER 8018 NEW BEST:: SOT 798897 SOS 375610 HAS SOPS 367821 HAS SOUS 96005 HAS SOUPS 94644 WITH SCORE 95019.61
AT ITER 8064 NEW BEST:: SOT 798896 SOS 375608 HAS SOPS 367819 HAS SOUS 96002 HAS SOUPS 94641 WITH SCORE 95016.608
AT ITER 8097 NEW BEST:: SOT 798920 SOS 375632 HAS SOPS 367814 HAS SOUS 95992 HAS SOUPS 94631 WITH SCORE 95006.632
AT ITER 8120 NEW BEST:: SOT 798880 SOS 375592 HAS SOPS 367774 HAS SOUS 95938 HAS SOUPS 94577 WITH SCORE 94952.592
AT ITER 8121 NEW BEST:: SOT 798772 SOS 375509 HAS SOPS 367691 HAS SOUS 95776 HAS SOUPS 94415 WITH SCORE 94790.509
AT ITER 8170 NEW BEST:: SOT 798707 SOS 375406 HAS SOPS 367588 HAS SOUS 95658 HAS SOUPS 94297 WITH SCORE 94672.406
AT ITER 8172 NEW BEST:: SOT 798703 SOS 375373 HAS SOPS 367555 HAS SOUS 95588 HAS SOUPS 94227 WITH SCORE 94602.373
AT ITER 8191 NEW BEST:: SOT 798581 SOS 375251 HAS SOPS 367433 HAS SOUS 95566 HAS SOUPS 94205 WITH SCORE 94580.251
AT ITER 8227 NEW BEST:: SOT 798577 SOS 375247 HAS SOPS 367429 HAS SOUS 95562 HAS SOUPS 94201 WITH SCORE 94576.247
AT ITER 8240 NEW BEST:: SOT 798575 SOS 375243 HAS SOPS 367425 HAS SOUS 95558 HAS SOUPS 94197 WITH SCORE 94572.243
AT ITER 8281 NEW BEST:: SOT 798568 SOS 375236 HAS SOPS 367418 HAS SOUS 95518 HAS SOUPS 94157 WITH SCORE 94532.236
AT ITER 8305 NEW BEST:: SOT 798568 SOS 375320 HAS SOPS 367502 HAS SOUS 95516 HAS SOUPS 94155 WITH SCORE 94530.32
AT ITER 8338 NEW BEST:: SOT 798508 SOS 375200 HAS SOPS 367382 HAS SOUS 95426 HAS SOUPS 94065 WITH SCORE 94440.2
AT ITER 8343 NEW BEST:: SOT 798500 SOS 375184 HAS SOPS 367366 HAS SOUS 95410 HAS SOUPS 94049 WITH SCORE 94424.184
AT ITER 8347 NEW BEST:: SOT 798402 SOS 375043 HAS SOPS 367225 HAS SOUS 95171 HAS SOUPS 93810 WITH SCORE 94185.043
AT ITER 8366 NEW BEST:: SOT 798405 SOS 375034 HAS SOPS 367216 HAS SOUS 95171 HAS SOUPS 93810 WITH SCORE 94185.034
AT ITER 8389 NEW BEST:: SOT 798393 SOS 375022 HAS SOPS 367204 HAS SOUS 95154 HAS SOUPS 93793 WITH SCORE 94168.022
AT ITER 8392 NEW BEST:: SOT 798332 SOS 361512 HAS SOPS 353694 HAS SOUS 95088 HAS SOUPS 93727 WITH SCORE 94088.512
AT ITER 8418 NEW BEST:: SOT 798265 SOS 361280 HAS SOPS 353462 HAS SOUS 95036 HAS SOUPS 93675 WITH SCORE 94036.28
AT ITER 8464 NEW BEST:: SOT 798261 SOS 361276 HAS SOPS 353458 HAS SOUS 95032 HAS SOUPS 93671 WITH SCORE 94032.276
AT ITER 8470 NEW BEST:: SOT 798246 SOS 361261 HAS SOPS 353413 HAS SOUS 94928 HAS SOUPS 93567 WITH SCORE 93928.261
AT ITER 8501 NEW BEST:: SOT 798213 SOS 361228 HAS SOPS 353380 HAS SOUS 94904 HAS SOUPS 93543 WITH SCORE 93904.228
AT ITER 8508 NEW BEST:: SOT 798172 SOS 361210 HAS SOPS 353362 HAS SOUS 94845 HAS SOUPS 93484 WITH SCORE 93845.21
AT ITER 8510 NEW BEST:: SOT 798113 SOS 361140 HAS SOPS 353292 HAS SOUS 94758 HAS SOUPS 93397 WITH SCORE 93758.14
AT ITER 8547 NEW BEST:: SOT 798036 SOS 361057 HAS SOPS 353300 HAS SOUS 94700 HAS SOUPS 93339 WITH SCORE 93700.057
AT ITER 8581 NEW BEST:: SOT 798056 SOS 361005 HAS SOPS 353248 HAS SOUS 94574 HAS SOUPS 93213 WITH SCORE 93574.005
AT ITER 8634 NEW BEST:: SOT 798056 SOS 361003 HAS SOPS 353246 HAS SOUS 94573 HAS SOUPS 93212 WITH SCORE 93573.003
AT ITER 8637 NEW BEST:: SOT 798061 SOS 361010 HAS SOPS 353253 HAS SOUS 94532 HAS SOUPS 93171 WITH SCORE 93532.01
AT ITER 8646 NEW BEST:: SOT 798052 SOS 360995 HAS SOPS 353238 HAS SOUS 94520 HAS SOUPS 93159 WITH SCORE 93519.995
AT ITER 8660 NEW BEST:: SOT 798029 SOS 360986 HAS SOPS 353243 HAS SOUS 94518 HAS SOUPS 93157 WITH SCORE 93517.986
AT ITER 8688 NEW BEST:: SOT 798037 SOS 360946 HAS SOPS 353203 HAS SOUS 94478 HAS SOUPS 93117 WITH SCORE 93477.946
AT ITER 8703 NEW BEST:: SOT 798006 SOS 360905 HAS SOPS 353162 HAS SOUS 94446 HAS SOUPS 93085 WITH SCORE 93445.905
AT ITER 8748 NEW BEST:: SOT 798006 SOS 360905 HAS SOPS 353162 HAS SOUS 94444 HAS SOUPS 93083 WITH SCORE 93443.905
AT ITER 8777 NEW BEST:: SOT 798006 SOS 360797 HAS SOPS 353054 HAS SOUS 94444 HAS SOUPS 93083 WITH SCORE 93443.797
AT ITER 8796 NEW BEST:: SOT 797991 SOS 360767 HAS SOPS 353024 HAS SOUS 94429 HAS SOUPS 93068 WITH SCORE 93428.767
AT ITER 8805 NEW BEST:: SOT 797968 SOS 360728 HAS SOPS 352985 HAS SOUS 94399 HAS SOUPS 93038 WITH SCORE 93398.728
AT ITER 8864 NEW BEST:: SOT 797888 SOS 360608 HAS SOPS 352865 HAS SOUS 94299 HAS SOUPS 92938 WITH SCORE 93298.608
AT ITER 8871 NEW BEST:: SOT 797828 SOS 360479 HAS SOPS 352796 HAS SOUS 94237 HAS SOUPS 92886 WITH SCORE 93246.479
AT ITER 8894 NEW BEST:: SOT 797849 SOS 360501 HAS SOPS 352733 HAS SOUS 94166 HAS SOUPS 92815 WITH SCORE 93175.501
AT ITER 8904 NEW BEST:: SOT 797849 SOS 360449 HAS SOPS 352629 HAS SOUS 94114 HAS SOUPS 92763 WITH SCORE 93123.449
AT ITER 8916 NEW BEST:: SOT 797769 SOS 360343 HAS SOPS 352523 HAS SOUS 94008 HAS SOUPS 92657 WITH SCORE 93017.343
AT ITER 8933 NEW BEST:: SOT 797722 SOS 360296 HAS SOPS 352476 HAS SOUS 93955 HAS SOUPS 92604 WITH SCORE 92964.296
AT ITER 8956 NEW BEST:: SOT 797610 SOS 360184 HAS SOPS 352364 HAS SOUS 93933 HAS SOUPS 92582 WITH SCORE 92942.184
AT ITER 8958 NEW BEST:: SOT 797619 SOS 360193 HAS SOPS 352373 HAS SOUS 93886 HAS SOUPS 92535 WITH SCORE 92895.193
AT ITER 8959 NEW BEST:: SOT 797466 SOS 360040 HAS SOPS 352220 HAS SOUS 93701 HAS SOUPS 92350 WITH SCORE 92710.04
AT ITER 9006 NEW BEST:: SOT 797441 SOS 360015 HAS SOPS 352195 HAS SOUS 93677 HAS SOUPS 92326 WITH SCORE 92686.015
AT ITER 9017 NEW BEST:: SOT 797383 SOS 359957 HAS SOPS 352137 HAS SOUS 93619 HAS SOUPS 92268 WITH SCORE 92627.957
AT ITER 9081 NEW BEST:: SOT 797379 SOS 359953 HAS SOPS 352133 HAS SOUS 93615 HAS SOUPS 92264 WITH SCORE 92623.953
AT ITER 9086 NEW BEST:: SOT 797361 SOS 359935 HAS SOPS 352115 HAS SOUS 93615 HAS SOUPS 92264 WITH SCORE 92623.935
AT ITER 9095 NEW BEST:: SOT 797361 SOS 359906 HAS SOPS 352086 HAS SOUS 93615 HAS SOUPS 92264 WITH SCORE 92623.906
AT ITER 9100 NEW BEST:: SOT 797173 SOS 359761 HAS SOPS 351941 HAS SOUS 93427 HAS SOUPS 92076 WITH SCORE 92435.761
AT ITER 9102 NEW BEST:: SOT 797156 SOS 359752 HAS SOPS 351924 HAS SOUS 93286 HAS SOUPS 91935 WITH SCORE 92294.752
AT ITER 9112 NEW BEST:: SOT 796868 SOS 359043 HAS SOPS 351215 HAS SOUS 92998 HAS SOUPS 91647 WITH SCORE 92006.043
AT ITER 9130 NEW BEST:: SOT 796840 SOS 358793 HAS SOPS 350965 HAS SOUS 92978 HAS SOUPS 91627 WITH SCORE 91985.793
AT ITER 9142 NEW BEST:: SOT 796678 SOS 358361 HAS SOPS 350533 HAS SOUS 92789 HAS SOUPS 91438 WITH SCORE 91796.361
AT ITER 9162 NEW BEST:: SOT 796652 SOS 358179 HAS SOPS 350351 HAS SOUS 92737 HAS SOUPS 91386 WITH SCORE 91744.179
AT ITER 9168 NEW BEST:: SOT 796664 SOS 358191 HAS SOPS 350363 HAS SOUS 92698 HAS SOUPS 91347 WITH SCORE 91705.191
AT ITER 9186 NEW BEST:: SOT 796662 SOS 358189 HAS SOPS 350361 HAS SOUS 92696 HAS SOUPS 91345 WITH SCORE 91703.189
AT ITER 9240 NEW BEST:: SOT 796651 SOS 358183 HAS SOPS 350345 HAS SOUS 92680 HAS SOUPS 91329 WITH SCORE 91687.183
AT ITER 9247 NEW BEST:: SOT 796633 SOS 358165 HAS SOPS 350327 HAS SOUS 92644 HAS SOUPS 91293 WITH SCORE 91651.165
AT ITER 9262 NEW BEST:: SOT 796683 SOS 358209 HAS SOPS 350371 HAS SOUS 92630 HAS SOUPS 91279 WITH SCORE 91637.209
AT ITER 9272 NEW BEST:: SOT 796683 SOS 358209 HAS SOPS 350371 HAS SOUS 92626 HAS SOUPS 91275 WITH SCORE 91633.209
AT ITER 9327 NEW BEST:: SOT 796646 SOS 356897 HAS SOPS 349059 HAS SOUS 92462 HAS SOUPS 91111 WITH SCORE 91467.897
AT ITER 9365 NEW BEST:: SOT 796604 SOS 356858 HAS SOPS 349020 HAS SOUS 92432 HAS SOUPS 91081 WITH SCORE 91437.858
AT ITER 9372 NEW BEST:: SOT 796372 SOS 356697 HAS SOPS 348859 HAS SOUS 92269 HAS SOUPS 90918 WITH SCORE 91274.697
AT ITER 9379 NEW BEST:: SOT 795673 SOS 355982 HAS SOPS 348144 HAS SOUS 92141 HAS SOUPS 90790 WITH SCORE 91145.982
AT ITER 9395 NEW BEST:: SOT 795558 SOS 357479 HAS SOPS 349179 HAS SOUS 91910 HAS SOUPS 90482 WITH SCORE 90839.479
AT ITER 9456 NEW BEST:: SOT 795534 SOS 357443 HAS SOPS 349143 HAS SOUS 91874 HAS SOUPS 90446 WITH SCORE 90803.443
AT ITER 9467 NEW BEST:: SOT 795539 SOS 357448 HAS SOPS 349146 HAS SOUS 91871 HAS SOUPS 90443 WITH SCORE 90800.448
AT ITER 9567 NEW BEST:: SOT 795537 SOS 357472 HAS SOPS 349170 HAS SOUS 91859 HAS SOUPS 90431 WITH SCORE 90788.472
AT ITER 9615 NEW BEST:: SOT 795537 SOS 357448 HAS SOPS 349146 HAS SOUS 91859 HAS SOUPS 90431 WITH SCORE 90788.448
AT ITER 9680 NEW BEST:: SOT 795528 SOS 357430 HAS SOPS 349128 HAS SOUS 91841 HAS SOUPS 90413 WITH SCORE 90770.43
AT ITER 9687 NEW BEST:: SOT 795407 SOS 356150 HAS SOPS 347848 HAS SOUS 91505 HAS SOUPS 90077 WITH SCORE 90433.15
AT ITER 9701 NEW BEST:: SOT 795407 SOS 356150 HAS SOPS 347848 HAS SOUS 91503 HAS SOUPS 90075 WITH SCORE 90431.15
AT ITER 9702 NEW BEST:: SOT 795400 SOS 356136 HAS SOPS 347834 HAS SOUS 91489 HAS SOUPS 90061 WITH SCORE 90417.136
AT ITER 9717 NEW BEST:: SOT 795386 SOS 356129 HAS SOPS 347827 HAS SOUS 91482 HAS SOUPS 90054 WITH SCORE 90410.129
AT ITER 9775 NEW BEST:: SOT 795372 SOS 354275 HAS SOPS 345973 HAS SOUS 91461 HAS SOUPS 90033 WITH SCORE 90387.275
AT ITER 9789 NEW BEST:: SOT 795398 SOS 354142 HAS SOPS 345750 HAS SOUS 91359 HAS SOUPS 89931 WITH SCORE 90285.142
AT ITER 9808 NEW BEST:: SOT 795213 SOS 353981 HAS SOPS 345589 HAS SOUS 91346 HAS SOUPS 89918 WITH SCORE 90271.981
AT ITER 9837 NEW BEST:: SOT 795302 SOS 354039 HAS SOPS 345647 HAS SOUS 91332 HAS SOUPS 89904 WITH SCORE 90258.039
AT ITER 9864 NEW BEST:: SOT 795470 SOS 354177 HAS SOPS 345785 HAS SOUS 91158 HAS SOUPS 89730 WITH SCORE 90084.177
AT ITER 9878 NEW BEST:: SOT 795470 SOS 354177 HAS SOPS 345785 HAS SOUS 91157 HAS SOUPS 89729 WITH SCORE 90083.177
AT ITER 9883 NEW BEST:: SOT 795441 SOS 354148 HAS SOPS 345756 HAS SOUS 91113 HAS SOUPS 89685 WITH SCORE 90039.148
AT ITER 9919 NEW BEST:: SOT 795117 SOS 353615 HAS SOPS 345223 HAS SOUS 90924 HAS SOUPS 89496 WITH SCORE 89849.615
AT ITER 9935 NEW BEST:: SOT 795084 SOS 353582 HAS SOPS 345190 HAS SOUS 90854 HAS SOUPS 89426 WITH SCORE 89779.582
AT ITER 9946 NEW BEST:: SOT 794997 SOS 353495 HAS SOPS 345103 HAS SOUS 90807 HAS SOUPS 89379 WITH SCORE 89732.495
AT ITER 9967 NEW BEST:: SOT 794945 SOS 353443 HAS SOPS 345051 HAS SOUS 90755 HAS SOUPS 89327 WITH SCORE 89680.443
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 11872844 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16147468 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="PolyORBLF-PT-S04J06T06"
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 PolyORBLF-PT-S04J06T06, 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 r291-tall-167873943100568"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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