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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 22M
-rw-r--r-- 1 mcc users 17K Feb 26 01:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 105K Feb 26 01:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 1002K Feb 26 01:17 CTLFireability.txt
-rw-r--r-- 1 mcc users 3.7M Feb 26 01:17 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.5K Feb 25 16:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 36K Feb 25 16:36 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 30K Feb 26 03:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 196K Feb 26 03:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 708K Feb 26 02:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 2.7M Feb 26 02:45 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.9K Feb 25 16:36 UpperBounds.txt
-rw-r--r-- 1 mcc users 6.1K Feb 25 16:36 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 13M 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 1678816397830

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=PolyORBNT-PT-S10J20
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBNT (PT), instance S10J20
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: 474 places, 11760 transitions, 111119 arcs.
AT ITER 0 NEW BEST:: SOT 3192894 SOS 1463028 HAS SOPS 1463028 HAS SOUS 207509 HAS SOUPS 207509 WITH SCORE 208972.028
AT ITER 2 NEW BEST:: SOT 3192834 SOS 1462906 HAS SOPS 1462906 HAS SOUS 206829 HAS SOUPS 206829 WITH SCORE 208291.906
AT ITER 6 NEW BEST:: SOT 3192778 SOS 1462844 HAS SOPS 1462844 HAS SOUS 206209 HAS SOUPS 206209 WITH SCORE 207671.844
AT ITER 10 NEW BEST:: SOT 3192808 SOS 1462888 HAS SOPS 1462888 HAS SOUS 206133 HAS SOUPS 206133 WITH SCORE 207595.888
AT ITER 12 NEW BEST:: SOT 3192816 SOS 1462974 HAS SOPS 1462974 HAS SOUS 206067 HAS SOUPS 206067 WITH SCORE 207529.974
AT ITER 14 NEW BEST:: SOT 3192774 SOS 1462932 HAS SOPS 1462932 HAS SOUS 206025 HAS SOUPS 206025 WITH SCORE 207487.932
AT ITER 15 NEW BEST:: SOT 3192744 SOS 1462860 HAS SOPS 1462860 HAS SOUS 205575 HAS SOUPS 205575 WITH SCORE 207037.86
AT ITER 32 NEW BEST:: SOT 3192752 SOS 1462964 HAS SOPS 1462964 HAS SOUS 205515 HAS SOUPS 205515 WITH SCORE 206977.964
AT ITER 33 NEW BEST:: SOT 3192752 SOS 1462964 HAS SOPS 1462964 HAS SOUS 205455 HAS SOUPS 205455 WITH SCORE 206917.964
AT ITER 39 NEW BEST:: SOT 3192801 SOS 1463004 HAS SOPS 1463004 HAS SOUS 205430 HAS SOUPS 205430 WITH SCORE 206893.004
AT ITER 44 NEW BEST:: SOT 3192797 SOS 1463000 HAS SOPS 1463000 HAS SOUS 205424 HAS SOUPS 205424 WITH SCORE 206887.0
AT ITER 58 NEW BEST:: SOT 3192797 SOS 1462985 HAS SOPS 1462985 HAS SOUS 205274 HAS SOUPS 205274 WITH SCORE 206736.985
AT ITER 75 NEW BEST:: SOT 3192706 SOS 1462894 HAS SOPS 1462894 HAS SOUS 205183 HAS SOUPS 205183 WITH SCORE 206645.894
AT ITER 77 NEW BEST:: SOT 3192668 SOS 1462797 HAS SOPS 1462797 HAS SOUS 204555 HAS SOUPS 204555 WITH SCORE 206017.797
AT ITER 95 NEW BEST:: SOT 3192581 SOS 1462648 HAS SOPS 1462648 HAS SOUS 203848 HAS SOUPS 203848 WITH SCORE 205310.648
AT ITER 105 NEW BEST:: SOT 3192572 SOS 1462648 HAS SOPS 1462648 HAS SOUS 203842 HAS SOUPS 203842 WITH SCORE 205304.648
AT ITER 108 NEW BEST:: SOT 3192555 SOS 1462316 HAS SOPS 1462316 HAS SOUS 203059 HAS SOUPS 203059 WITH SCORE 204521.316
AT ITER 118 NEW BEST:: SOT 3192555 SOS 1462297 HAS SOPS 1462297 HAS SOUS 203059 HAS SOUPS 203059 WITH SCORE 204521.297
AT ITER 127 NEW BEST:: SOT 3192555 SOS 1462245 HAS SOPS 1462245 HAS SOUS 202906 HAS SOUPS 202906 WITH SCORE 204368.245
AT ITER 135 NEW BEST:: SOT 3192548 SOS 1462176 HAS SOPS 1462176 HAS SOUS 202327 HAS SOUPS 202327 WITH SCORE 203789.176
AT ITER 150 NEW BEST:: SOT 3192548 SOS 1462176 HAS SOPS 1462176 HAS SOUS 202287 HAS SOUPS 202287 WITH SCORE 203749.176
AT ITER 153 NEW BEST:: SOT 3192560 SOS 1462147 HAS SOPS 1462147 HAS SOUS 201930 HAS SOUPS 201930 WITH SCORE 203392.147
AT ITER 159 NEW BEST:: SOT 3192723 SOS 1462293 HAS SOPS 1462293 HAS SOUS 201923 HAS SOUPS 201923 WITH SCORE 203385.293
AT ITER 163 NEW BEST:: SOT 3192724 SOS 1462294 HAS SOPS 1462294 HAS SOUS 201896 HAS SOUPS 201896 WITH SCORE 203358.294
AT ITER 190 NEW BEST:: SOT 3192613 SOS 1462183 HAS SOPS 1462183 HAS SOUS 201785 HAS SOUPS 201785 WITH SCORE 203247.183
AT ITER 203 NEW BEST:: SOT 3192644 SOS 1462179 HAS SOPS 1462179 HAS SOUS 201501 HAS SOUPS 201501 WITH SCORE 202963.179
AT ITER 204 NEW BEST:: SOT 3192641 SOS 1462176 HAS SOPS 1462176 HAS SOUS 201498 HAS SOUPS 201498 WITH SCORE 202960.176
AT ITER 209 NEW BEST:: SOT 3192688 SOS 1462025 HAS SOPS 1462025 HAS SOUS 201359 HAS SOUPS 201359 WITH SCORE 202821.025
AT ITER 244 NEW BEST:: SOT 3173824 SOS 1473938 HAS SOPS 1473938 HAS SOUS 183011 HAS SOUPS 183011 WITH SCORE 184484.938
AT ITER 251 NEW BEST:: SOT 3173824 SOS 1473938 HAS SOPS 1473938 HAS SOUS 183009 HAS SOUPS 183009 WITH SCORE 184482.938
AT ITER 254 NEW BEST:: SOT 3173545 SOS 1474541 HAS SOPS 1474541 HAS SOUS 182877 HAS SOUPS 182877 WITH SCORE 184351.541
AT ITER 257 NEW BEST:: SOT 3173529 SOS 1474525 HAS SOPS 1474525 HAS SOUS 182861 HAS SOUPS 182861 WITH SCORE 184335.525
AT ITER 275 NEW BEST:: SOT 3173321 SOS 1474317 HAS SOPS 1474317 HAS SOUS 182653 HAS SOUPS 182653 WITH SCORE 184127.317
AT ITER 291 NEW BEST:: SOT 3173303 SOS 1474299 HAS SOPS 1474299 HAS SOUS 182635 HAS SOUPS 182635 WITH SCORE 184109.299
AT ITER 309 NEW BEST:: SOT 3173282 SOS 1474278 HAS SOPS 1474278 HAS SOUS 182614 HAS SOUPS 182614 WITH SCORE 184088.278
AT ITER 314 NEW BEST:: SOT 3173287 SOS 1475123 HAS SOPS 1475123 HAS SOUS 182574 HAS SOUPS 182574 WITH SCORE 184049.123
AT ITER 317 NEW BEST:: SOT 3173169 SOS 1474964 HAS SOPS 1474964 HAS SOUS 181306 HAS SOUPS 181306 WITH SCORE 182780.964
AT ITER 323 NEW BEST:: SOT 3173111 SOS 1474894 HAS SOPS 1474894 HAS SOUS 180726 HAS SOUPS 180726 WITH SCORE 182200.894
AT ITER 333 NEW BEST:: SOT 3173111 SOS 1474894 HAS SOPS 1474894 HAS SOUS 180706 HAS SOUPS 180706 WITH SCORE 182180.894
AT ITER 335 NEW BEST:: SOT 3173103 SOS 1474886 HAS SOPS 1474886 HAS SOUS 180698 HAS SOUPS 180698 WITH SCORE 182172.886
AT ITER 336 NEW BEST:: SOT 3173079 SOS 1474821 HAS SOPS 1474821 HAS SOUS 180116 HAS SOUPS 180116 WITH SCORE 181590.821
AT ITER 342 NEW BEST:: SOT 3172869 SOS 1474611 HAS SOPS 1474611 HAS SOUS 178856 HAS SOUPS 178856 WITH SCORE 180330.611
AT ITER 355 NEW BEST:: SOT 3172866 SOS 1474558 HAS SOPS 1474558 HAS SOUS 178353 HAS SOUPS 178353 WITH SCORE 179827.558
AT ITER 362 NEW BEST:: SOT 3172847 SOS 1474539 HAS SOPS 1474539 HAS SOUS 178315 HAS SOUPS 178315 WITH SCORE 179789.539
AT ITER 365 NEW BEST:: SOT 3172762 SOS 1474454 HAS SOPS 1474454 HAS SOUS 178230 HAS SOUPS 178230 WITH SCORE 179704.454
AT ITER 366 NEW BEST:: SOT 3172746 SOS 1474438 HAS SOPS 1474438 HAS SOUS 178214 HAS SOUPS 178214 WITH SCORE 179688.438
AT ITER 373 NEW BEST:: SOT 3172734 SOS 1474426 HAS SOPS 1474426 HAS SOUS 178202 HAS SOUPS 178202 WITH SCORE 179676.426
AT ITER 379 NEW BEST:: SOT 3172705 SOS 1474397 HAS SOPS 1474397 HAS SOUS 178157 HAS SOUPS 178157 WITH SCORE 179631.397
AT ITER 382 NEW BEST:: SOT 3172659 SOS 1474351 HAS SOPS 1474351 HAS SOUS 178111 HAS SOUPS 178111 WITH SCORE 179585.351
AT ITER 384 NEW BEST:: SOT 3172537 SOS 1474168 HAS SOPS 1474168 HAS SOUS 177379 HAS SOUPS 177379 WITH SCORE 178853.168
AT ITER 385 NEW BEST:: SOT 3172545 SOS 1474296 HAS SOPS 1474296 HAS SOUS 177327 HAS SOUPS 177327 WITH SCORE 178801.296
AT ITER 388 NEW BEST:: SOT 3172545 SOS 1474296 HAS SOPS 1474296 HAS SOUS 177313 HAS SOUPS 177313 WITH SCORE 178787.296
AT ITER 393 NEW BEST:: SOT 3172746 SOS 1474497 HAS SOPS 1474497 HAS SOUS 177118 HAS SOUPS 177118 WITH SCORE 178592.497
AT ITER 408 NEW BEST:: SOT 3172751 SOS 1474502 HAS SOPS 1474502 HAS SOUS 177003 HAS SOUPS 177003 WITH SCORE 178477.502
AT ITER 416 NEW BEST:: SOT 3172667 SOS 1474418 HAS SOPS 1474418 HAS SOUS 176933 HAS SOUPS 176933 WITH SCORE 178407.418
AT ITER 421 NEW BEST:: SOT 3172567 SOS 1473515 HAS SOPS 1473515 HAS SOUS 176914 HAS SOUPS 176914 WITH SCORE 178387.515
AT ITER 425 NEW BEST:: SOT 3172534 SOS 1473482 HAS SOPS 1473482 HAS SOUS 176881 HAS SOUPS 176881 WITH SCORE 178354.482
AT ITER 444 NEW BEST:: SOT 3172390 SOS 1473338 HAS SOPS 1473338 HAS SOUS 176677 HAS SOUPS 176677 WITH SCORE 178150.338
AT ITER 453 NEW BEST:: SOT 3172345 SOS 1473286 HAS SOPS 1473286 HAS SOUS 176352 HAS SOUPS 176352 WITH SCORE 177825.286
AT ITER 495 NEW BEST:: SOT 3172182 SOS 1473123 HAS SOPS 1473123 HAS SOUS 176180 HAS SOUPS 176180 WITH SCORE 177653.123
AT ITER 496 NEW BEST:: SOT 3172190 SOS 1473263 HAS SOPS 1473263 HAS SOUS 176113 HAS SOUPS 176113 WITH SCORE 177586.263
AT ITER 507 NEW BEST:: SOT 3172049 SOS 1473122 HAS SOPS 1473122 HAS SOUS 175972 HAS SOUPS 175972 WITH SCORE 177445.122
AT ITER 512 NEW BEST:: SOT 3171999 SOS 1473072 HAS SOPS 1473072 HAS SOUS 175965 HAS SOUPS 175965 WITH SCORE 177438.072
AT ITER 518 NEW BEST:: SOT 3171969 SOS 1473038 HAS SOPS 1473038 HAS SOUS 175895 HAS SOUPS 175895 WITH SCORE 177368.038
AT ITER 527 NEW BEST:: SOT 3171928 SOS 1472997 HAS SOPS 1472997 HAS SOUS 175854 HAS SOUPS 175854 WITH SCORE 177326.997
AT ITER 529 NEW BEST:: SOT 3171909 SOS 1472978 HAS SOPS 1472978 HAS SOUS 175835 HAS SOUPS 175835 WITH SCORE 177307.978
AT ITER 540 NEW BEST:: SOT 3171906 SOS 1472975 HAS SOPS 1472975 HAS SOUS 175832 HAS SOUPS 175832 WITH SCORE 177304.975
AT ITER 547 NEW BEST:: SOT 3171826 SOS 1472895 HAS SOPS 1472895 HAS SOUS 175752 HAS SOUPS 175752 WITH SCORE 177224.895
AT ITER 564 NEW BEST:: SOT 3171826 SOS 1472895 HAS SOPS 1472895 HAS SOUS 175718 HAS SOUPS 175718 WITH SCORE 177190.895
AT ITER 568 NEW BEST:: SOT 3171839 SOS 1472895 HAS SOPS 1472895 HAS SOUS 175601 HAS SOUPS 175601 WITH SCORE 177073.895
AT ITER 570 NEW BEST:: SOT 3171496 SOS 1472552 HAS SOPS 1472552 HAS SOUS 175258 HAS SOUPS 175258 WITH SCORE 176730.552
AT ITER 575 NEW BEST:: SOT 3171447 SOS 1472503 HAS SOPS 1472503 HAS SOUS 175209 HAS SOUPS 175209 WITH SCORE 176681.503
AT ITER 577 NEW BEST:: SOT 3171460 SOS 1472772 HAS SOPS 1472772 HAS SOUS 175168 HAS SOUPS 175168 WITH SCORE 176640.772
AT ITER 595 NEW BEST:: SOT 3171646 SOS 1472952 HAS SOPS 1472952 HAS SOUS 175154 HAS SOUPS 175154 WITH SCORE 176626.952
AT ITER 607 NEW BEST:: SOT 3171594 SOS 1472900 HAS SOPS 1472900 HAS SOUS 175076 HAS SOUPS 175076 WITH SCORE 176548.9
AT ITER 614 NEW BEST:: SOT 3171558 SOS 1472770 HAS SOPS 1472770 HAS SOUS 174175 HAS SOUPS 174175 WITH SCORE 175647.77
AT ITER 623 NEW BEST:: SOT 3171442 SOS 1472654 HAS SOPS 1472654 HAS SOUS 173939 HAS SOUPS 173939 WITH SCORE 175411.654
AT ITER 626 NEW BEST:: SOT 3171405 SOS 1472679 HAS SOPS 1472679 HAS SOUS 173936 HAS SOUPS 173936 WITH SCORE 175408.679
AT ITER 641 NEW BEST:: SOT 3171384 SOS 1472658 HAS SOPS 1472658 HAS SOUS 173915 HAS SOUPS 173915 WITH SCORE 175387.658
AT ITER 645 NEW BEST:: SOT 3171315 SOS 1472879 HAS SOPS 1472589 HAS SOUS 173857 HAS SOUPS 173828 WITH SCORE 175300.879
AT ITER 650 NEW BEST:: SOT 3171315 SOS 1472846 HAS SOPS 1472556 HAS SOUS 173846 HAS SOUPS 173817 WITH SCORE 175289.846
AT ITER 662 NEW BEST:: SOT 3171233 SOS 1472805 HAS SOPS 1472515 HAS SOUS 173805 HAS SOUPS 173776 WITH SCORE 175248.805
AT ITER 664 NEW BEST:: SOT 3171167 SOS 1474513 HAS SOPS 1474223 HAS SOUS 173619 HAS SOUPS 173590 WITH SCORE 175064.513
AT ITER 666 NEW BEST:: SOT 3171149 SOS 1474495 HAS SOPS 1474205 HAS SOUS 173331 HAS SOUPS 173302 WITH SCORE 174776.495
AT ITER 671 NEW BEST:: SOT 3171149 SOS 1474495 HAS SOPS 1474205 HAS SOUS 173323 HAS SOUPS 173294 WITH SCORE 174768.495
AT ITER 677 NEW BEST:: SOT 3171155 SOS 1474501 HAS SOPS 1474211 HAS SOUS 173248 HAS SOUPS 173219 WITH SCORE 174693.501
AT ITER 679 NEW BEST:: SOT 3171889 SOS 1475136 HAS SOPS 1474846 HAS SOUS 173243 HAS SOUPS 173214 WITH SCORE 174689.136
AT ITER 697 NEW BEST:: SOT 3171870 SOS 1475117 HAS SOPS 1474827 HAS SOUS 173224 HAS SOUPS 173195 WITH SCORE 174670.117
AT ITER 702 NEW BEST:: SOT 3171860 SOS 1475107 HAS SOPS 1474817 HAS SOUS 173169 HAS SOUPS 173140 WITH SCORE 174615.107
AT ITER 706 NEW BEST:: SOT 3171841 SOS 1475088 HAS SOPS 1474798 HAS SOUS 173150 HAS SOUPS 173121 WITH SCORE 174596.088
AT ITER 741 NEW BEST:: SOT 2063433 SOS 451263 HAS SOPS 450973 HAS SOUS 89348 HAS SOUPS 89319 WITH SCORE 89770.263
AT ITER 745 NEW BEST:: SOT 2063422 SOS 451311 HAS SOPS 451021 HAS SOUS 89326 HAS SOUPS 89297 WITH SCORE 89748.311
AT ITER 769 NEW BEST:: SOT 2063402 SOS 451291 HAS SOPS 451001 HAS SOUS 89306 HAS SOUPS 89277 WITH SCORE 89728.291
AT ITER 777 NEW BEST:: SOT 2063399 SOS 451288 HAS SOPS 450998 HAS SOUS 89300 HAS SOUPS 89271 WITH SCORE 89722.288
AT ITER 778 NEW BEST:: SOT 2062865 SOS 450754 HAS SOPS 450464 HAS SOUS 89024 HAS SOUPS 88995 WITH SCORE 89445.754
AT ITER 779 NEW BEST:: SOT 2063142 SOS 451031 HAS SOPS 450741 HAS SOUS 88909 HAS SOUPS 88880 WITH SCORE 89331.031
AT ITER 780 NEW BEST:: SOT 2063131 SOS 450852 HAS SOPS 450562 HAS SOUS 88863 HAS SOUPS 88834 WITH SCORE 89284.852
AT ITER 784 NEW BEST:: SOT 2063131 SOS 450852 HAS SOPS 450562 HAS SOUS 88823 HAS SOUPS 88794 WITH SCORE 89244.852
AT ITER 787 NEW BEST:: SOT 2063126 SOS 450941 HAS SOPS 450651 HAS SOUS 88813 HAS SOUPS 88784 WITH SCORE 89234.941
AT ITER 788 NEW BEST:: SOT 2063145 SOS 450844 HAS SOPS 450554 HAS SOUS 88808 HAS SOUPS 88779 WITH SCORE 89229.844
AT ITER 794 NEW BEST:: SOT 2063527 SOS 451226 HAS SOPS 450936 HAS SOUS 87796 HAS SOUPS 87767 WITH SCORE 88218.226
AT ITER 801 NEW BEST:: SOT 2063527 SOS 451226 HAS SOPS 450936 HAS SOUS 87795 HAS SOUPS 87766 WITH SCORE 88217.226
AT ITER 803 NEW BEST:: SOT 2063527 SOS 451226 HAS SOPS 450936 HAS SOUS 87784 HAS SOUPS 87755 WITH SCORE 88206.226
AT ITER 812 NEW BEST:: SOT 2063467 SOS 451166 HAS SOPS 450876 HAS SOUS 87214 HAS SOUPS 87185 WITH SCORE 87636.166
AT ITER 814 NEW BEST:: SOT 2063446 SOS 451145 HAS SOPS 450855 HAS SOUS 87193 HAS SOUPS 87164 WITH SCORE 87615.145
AT ITER 824 NEW BEST:: SOT 2063433 SOS 451015 HAS SOPS 450855 HAS SOUS 87180 HAS SOUPS 87164 WITH SCORE 87615.015
AT ITER 843 NEW BEST:: SOT 2063433 SOS 451015 HAS SOPS 450855 HAS SOUS 87100 HAS SOUPS 87084 WITH SCORE 87535.015
AT ITER 845 NEW BEST:: SOT 2063428 SOS 451010 HAS SOPS 450850 HAS SOUS 87095 HAS SOUPS 87079 WITH SCORE 87530.01
AT ITER 848 NEW BEST:: SOT 2063372 SOS 450969 HAS SOPS 450809 HAS SOUS 86983 HAS SOUPS 86967 WITH SCORE 87417.969
AT ITER 855 NEW BEST:: SOT 2063342 SOS 450909 HAS SOPS 450749 HAS SOUS 86923 HAS SOUPS 86907 WITH SCORE 87357.909
AT ITER 868 NEW BEST:: SOT 2063084 SOS 450651 HAS SOPS 450491 HAS SOUS 86407 HAS SOUPS 86391 WITH SCORE 86841.651
AT ITER 870 NEW BEST:: SOT 2060174 SOS 477721 HAS SOPS 477561 HAS SOUS 85863 HAS SOUPS 85847 WITH SCORE 86324.721
AT ITER 881 NEW BEST:: SOT 2060150 SOS 477697 HAS SOPS 477537 HAS SOUS 85629 HAS SOUPS 85613 WITH SCORE 86090.697
AT ITER 885 NEW BEST:: SOT 2060150 SOS 477659 HAS SOPS 477499 HAS SOUS 85572 HAS SOUPS 85556 WITH SCORE 86033.659
AT ITER 889 NEW BEST:: SOT 2060111 SOS 477719 HAS SOPS 477559 HAS SOUS 85494 HAS SOUPS 85478 WITH SCORE 85955.719
AT ITER 892 NEW BEST:: SOT 2049127 SOS 537484 HAS SOPS 537340 HAS SOUS 84861 HAS SOUPS 84845 WITH SCORE 85382.484
AT ITER 912 NEW BEST:: SOT 2049105 SOS 537462 HAS SOPS 537318 HAS SOUS 84831 HAS SOUPS 84815 WITH SCORE 85352.462
AT ITER 916 NEW BEST:: SOT 2049369 SOS 537726 HAS SOPS 537582 HAS SOUS 84090 HAS SOUPS 84074 WITH SCORE 84611.726
AT ITER 923 NEW BEST:: SOT 2049357 SOS 537781 HAS SOPS 537637 HAS SOUS 84025 HAS SOUPS 84009 WITH SCORE 84546.781
AT ITER 928 NEW BEST:: SOT 2049333 SOS 537757 HAS SOPS 537613 HAS SOUS 84001 HAS SOUPS 83985 WITH SCORE 84522.757
AT ITER 935 NEW BEST:: SOT 2049333 SOS 537709 HAS SOPS 537565 HAS SOUS 83882 HAS SOUPS 83866 WITH SCORE 84403.709
AT ITER 936 NEW BEST:: SOT 2049503 SOS 537879 HAS SOPS 537735 HAS SOUS 83172 HAS SOUPS 83156 WITH SCORE 83693.879
AT ITER 956 NEW BEST:: SOT 2049601 SOS 537977 HAS SOPS 537833 HAS SOUS 82938 HAS SOUPS 82922 WITH SCORE 83459.977
AT ITER 969 NEW BEST:: SOT 2049592 SOS 537968 HAS SOPS 537824 HAS SOUS 82929 HAS SOUPS 82913 WITH SCORE 83450.968
AT ITER 970 NEW BEST:: SOT 2049587 SOS 516854 HAS SOPS 516710 HAS SOUS 82832 HAS SOUPS 82816 WITH SCORE 83332.854
AT ITER 971 NEW BEST:: SOT 2049535 SOS 516802 HAS SOPS 516658 HAS SOUS 82780 HAS SOUPS 82764 WITH SCORE 83280.802
AT ITER 974 NEW BEST:: SOT 2049475 SOS 516715 HAS SOPS 516571 HAS SOUS 82667 HAS SOUPS 82651 WITH SCORE 83167.715
AT ITER 978 NEW BEST:: SOT 2049457 SOS 516697 HAS SOPS 516553 HAS SOUS 82612 HAS SOUPS 82596 WITH SCORE 83112.697
AT ITER 1018 NEW BEST:: SOT 2049401 SOS 516641 HAS SOPS 516497 HAS SOUS 82554 HAS SOUPS 82538 WITH SCORE 83054.641
AT ITER 1019 NEW BEST:: SOT 2049377 SOS 516711 HAS SOPS 516567 HAS SOUS 82506 HAS SOUPS 82490 WITH SCORE 83006.711
AT ITER 1023 NEW BEST:: SOT 2049558 SOS 516892 HAS SOPS 516748 HAS SOUS 82153 HAS SOUPS 82137 WITH SCORE 82653.892
AT ITER 1032 NEW BEST:: SOT 2049549 SOS 516883 HAS SOPS 516739 HAS SOUS 81979 HAS SOUPS 81963 WITH SCORE 82479.883
AT ITER 1050 NEW BEST:: SOT 2049346 SOS 516680 HAS SOPS 516536 HAS SOUS 81776 HAS SOUPS 81760 WITH SCORE 82276.68
AT ITER 1054 NEW BEST:: SOT 2049346 SOS 516675 HAS SOPS 516531 HAS SOUS 81771 HAS SOUPS 81755 WITH SCORE 82271.675
AT ITER 1056 NEW BEST:: SOT 2049548 SOS 516877 HAS SOPS 516733 HAS SOUS 81348 HAS SOUPS 81332 WITH SCORE 81848.877
AT ITER 1075 NEW BEST:: SOT 2049541 SOS 516843 HAS SOPS 516699 HAS SOUS 81334 HAS SOUPS 81318 WITH SCORE 81834.843
AT ITER 1077 NEW BEST:: SOT 2049538 SOS 516840 HAS SOPS 516696 HAS SOUS 81328 HAS SOUPS 81312 WITH SCORE 81828.84
AT ITER 1089 NEW BEST:: SOT 2049466 SOS 516768 HAS SOPS 516624 HAS SOUS 80788 HAS SOUPS 80772 WITH SCORE 81288.768
AT ITER 1102 NEW BEST:: SOT 2049442 SOS 516744 HAS SOPS 516600 HAS SOUS 80761 HAS SOUPS 80745 WITH SCORE 81261.744
AT ITER 1107 NEW BEST:: SOT 2049442 SOS 516744 HAS SOPS 516600 HAS SOUS 80755 HAS SOUPS 80739 WITH SCORE 81255.744
AT ITER 1112 NEW BEST:: SOT 2049423 SOS 516725 HAS SOPS 516581 HAS SOUS 80717 HAS SOUPS 80701 WITH SCORE 81217.725
AT ITER 1133 NEW BEST:: SOT 2049413 SOS 516750 HAS SOPS 516606 HAS SOUS 80709 HAS SOUPS 80693 WITH SCORE 81209.75
AT ITER 1143 NEW BEST:: SOT 2049301 SOS 516638 HAS SOPS 516494 HAS SOUS 80524 HAS SOUPS 80508 WITH SCORE 81024.638
AT ITER 1150 NEW BEST:: SOT 2049293 SOS 516630 HAS SOPS 516486 HAS SOUS 80222 HAS SOUPS 80206 WITH SCORE 80722.63
AT ITER 1153 NEW BEST:: SOT 2049229 SOS 516566 HAS SOPS 516422 HAS SOUS 79752 HAS SOUPS 79736 WITH SCORE 80252.566
AT ITER 1157 NEW BEST:: SOT 2050249 SOS 517586 HAS SOPS 517442 HAS SOUS 79232 HAS SOUPS 79216 WITH SCORE 79733.586
AT ITER 1166 NEW BEST:: SOT 2050249 SOS 517586 HAS SOPS 517442 HAS SOUS 79172 HAS SOUPS 79156 WITH SCORE 79673.586
AT ITER 1168 NEW BEST:: SOT 2050224 SOS 517561 HAS SOPS 517417 HAS SOUS 79147 HAS SOUPS 79131 WITH SCORE 79648.561
AT ITER 1171 NEW BEST:: SOT 2050300 SOS 517637 HAS SOPS 517493 HAS SOUS 78957 HAS SOUPS 78941 WITH SCORE 79458.637
AT ITER 1181 NEW BEST:: SOT 2050241 SOS 517578 HAS SOPS 517434 HAS SOUS 78808 HAS SOUPS 78792 WITH SCORE 79309.578
AT ITER 1186 NEW BEST:: SOT 2050241 SOS 517578 HAS SOPS 517434 HAS SOUS 78716 HAS SOUPS 78700 WITH SCORE 79217.578
AT ITER 1191 NEW BEST:: SOT 2050214 SOS 517551 HAS SOPS 517407 HAS SOUS 78679 HAS SOUPS 78663 WITH SCORE 79180.551
AT ITER 1192 NEW BEST:: SOT 2050133 SOS 517470 HAS SOPS 517326 HAS SOUS 78097 HAS SOUPS 78081 WITH SCORE 78598.47
AT ITER 1198 NEW BEST:: SOT 2050211 SOS 517548 HAS SOPS 517404 HAS SOUS 78071 HAS SOUPS 78055 WITH SCORE 78572.548
AT ITER 1200 NEW BEST:: SOT 2050537 SOS 517874 HAS SOPS 517730 HAS SOUS 77139 HAS SOUPS 77123 WITH SCORE 77640.874
AT ITER 1207 NEW BEST:: SOT 2050437 SOS 517674 HAS SOPS 517530 HAS SOUS 76939 HAS SOUPS 76923 WITH SCORE 77440.674
AT ITER 1215 NEW BEST:: SOT 2050425 SOS 517613 HAS SOPS 517469 HAS SOUS 76915 HAS SOUPS 76899 WITH SCORE 77416.613
AT ITER 1217 NEW BEST:: SOT 2050379 SOS 517567 HAS SOPS 517423 HAS SOUS 76349 HAS SOUPS 76333 WITH SCORE 76850.567
AT ITER 1233 NEW BEST:: SOT 2050351 SOS 517539 HAS SOPS 517395 HAS SOUS 76321 HAS SOUPS 76305 WITH SCORE 76822.539
AT ITER 1236 NEW BEST:: SOT 2050208 SOS 517396 HAS SOPS 517252 HAS SOUS 76178 HAS SOUPS 76162 WITH SCORE 76679.396
AT ITER 1240 NEW BEST:: SOT 2050208 SOS 517351 HAS SOPS 517207 HAS SOUS 76178 HAS SOUPS 76162 WITH SCORE 76679.351
AT ITER 1241 NEW BEST:: SOT 2050194 SOS 517387 HAS SOPS 517243 HAS SOUS 76162 HAS SOUPS 76146 WITH SCORE 76663.387
AT ITER 1242 NEW BEST:: SOT 2050242 SOS 517533 HAS SOPS 517389 HAS SOUS 76130 HAS SOUPS 76114 WITH SCORE 76631.533
AT ITER 1248 NEW BEST:: SOT 2050179 SOS 517470 HAS SOPS 517326 HAS SOUS 76057 HAS SOUPS 76041 WITH SCORE 76558.47
AT ITER 1256 NEW BEST:: SOT 2048795 SOS 516086 HAS SOPS 515942 HAS SOUS 74605 HAS SOUPS 74589 WITH SCORE 75105.086
AT ITER 1259 NEW BEST:: SOT 2048302 SOS 515590 HAS SOPS 515446 HAS SOUS 74091 HAS SOUPS 74075 WITH SCORE 74590.59
AT ITER 1266 NEW BEST:: SOT 2048245 SOS 515533 HAS SOPS 515389 HAS SOUS 73578 HAS SOUPS 73562 WITH SCORE 74077.533
AT ITER 1275 NEW BEST:: SOT 2048125 SOS 515413 HAS SOPS 515269 HAS SOUS 73323 HAS SOUPS 73307 WITH SCORE 73822.413
AT ITER 1297 NEW BEST:: SOT 2047997 SOS 515285 HAS SOPS 515141 HAS SOUS 73172 HAS SOUPS 73156 WITH SCORE 73671.285
AT ITER 1307 NEW BEST:: SOT 2047273 SOS 514561 HAS SOPS 514417 HAS SOUS 72466 HAS SOUPS 72450 WITH SCORE 72964.561
AT ITER 1312 NEW BEST:: SOT 2047755 SOS 515043 HAS SOPS 514899 HAS SOUS 72048 HAS SOUPS 72032 WITH SCORE 72547.043
AT ITER 1318 NEW BEST:: SOT 2047751 SOS 515039 HAS SOPS 514895 HAS SOUS 72029 HAS SOUPS 72013 WITH SCORE 72528.039
AT ITER 1329 NEW BEST:: SOT 2047662 SOS 514905 HAS SOPS 514761 HAS SOUS 71938 HAS SOUPS 71922 WITH SCORE 72436.905
AT ITER 1340 NEW BEST:: SOT 2047656 SOS 514899 HAS SOPS 514755 HAS SOUS 71920 HAS SOUPS 71904 WITH SCORE 72418.899
AT ITER 1344 NEW BEST:: SOT 2047640 SOS 514883 HAS SOPS 514739 HAS SOUS 71888 HAS SOUPS 71872 WITH SCORE 72386.883
AT ITER 1348 NEW BEST:: SOT 2047630 SOS 514873 HAS SOPS 514729 HAS SOUS 71875 HAS SOUPS 71859 WITH SCORE 72373.873
AT ITER 1364 NEW BEST:: SOT 2047606 SOS 514849 HAS SOPS 514705 HAS SOUS 71851 HAS SOUPS 71835 WITH SCORE 72349.849
AT ITER 1367 NEW BEST:: SOT 2047586 SOS 514829 HAS SOPS 514685 HAS SOUS 71811 HAS SOUPS 71795 WITH SCORE 72309.829
AT ITER 1370 NEW BEST:: SOT 2047471 SOS 514714 HAS SOPS 514570 HAS SOUS 71760 HAS SOUPS 71744 WITH SCORE 72258.714
AT ITER 1371 NEW BEST:: SOT 2047471 SOS 514725 HAS SOPS 514581 HAS SOUS 71740 HAS SOUPS 71724 WITH SCORE 72238.725
AT ITER 1375 NEW BEST:: SOT 2047386 SOS 514640 HAS SOPS 514496 HAS SOUS 71616 HAS SOUPS 71600 WITH SCORE 72114.64
AT ITER 1385 NEW BEST:: SOT 2047269 SOS 514523 HAS SOPS 514379 HAS SOUS 71566 HAS SOUPS 71550 WITH SCORE 72064.523
AT ITER 1391 NEW BEST:: SOT 2047453 SOS 514707 HAS SOPS 514563 HAS SOUS 71459 HAS SOUPS 71443 WITH SCORE 71957.707
AT ITER 1396 NEW BEST:: SOT 2047412 SOS 514727 HAS SOPS 514583 HAS SOUS 71411 HAS SOUPS 71395 WITH SCORE 71909.727
AT ITER 1416 NEW BEST:: SOT 2047438 SOS 514753 HAS SOPS 514609 HAS SOUS 71359 HAS SOUPS 71343 WITH SCORE 71857.753
AT ITER 1422 NEW BEST:: SOT 2047384 SOS 514728 HAS SOPS 514584 HAS SOUS 71309 HAS SOUPS 71293 WITH SCORE 71807.728
AT ITER 1444 NEW BEST:: SOT 2047136 SOS 514480 HAS SOPS 514336 HAS SOUS 70960 HAS SOUPS 70944 WITH SCORE 71458.48
AT ITER 1448 NEW BEST:: SOT 2047118 SOS 514480 HAS SOPS 514336 HAS SOUS 70924 HAS SOUPS 70908 WITH SCORE 71422.48
AT ITER 1457 NEW BEST:: SOT 2046946 SOS 514308 HAS SOPS 514164 HAS SOUS 70684 HAS SOUPS 70668 WITH SCORE 71182.308
AT ITER 1460 NEW BEST:: SOT 2046850 SOS 514116 HAS SOPS 513972 HAS SOUS 70492 HAS SOUPS 70476 WITH SCORE 70990.116
AT ITER 1461 NEW BEST:: SOT 2046838 SOS 491730 HAS SOPS 491586 HAS SOUS 70450 HAS SOUPS 70434 WITH SCORE 70925.73
AT ITER 1467 NEW BEST:: SOT 2046991 SOS 491883 HAS SOPS 491739 HAS SOUS 70291 HAS SOUPS 70275 WITH SCORE 70766.883
AT ITER 1492 NEW BEST:: SOT 2046980 SOS 491872 HAS SOPS 491728 HAS SOUS 70280 HAS SOUPS 70264 WITH SCORE 70755.872
AT ITER 1502 NEW BEST:: SOT 2046953 SOS 491845 HAS SOPS 491701 HAS SOUS 70253 HAS SOUPS 70237 WITH SCORE 70728.845
AT ITER 1527 NEW BEST:: SOT 2046953 SOS 491845 HAS SOPS 491701 HAS SOUS 70250 HAS SOUPS 70234 WITH SCORE 70725.845
AT ITER 1554 NEW BEST:: SOT 2046895 SOS 491787 HAS SOPS 491643 HAS SOUS 70163 HAS SOUPS 70147 WITH SCORE 70638.787
AT ITER 1560 NEW BEST:: SOT 2046908 SOS 491800 HAS SOPS 491656 HAS SOUS 69634 HAS SOUPS 69618 WITH SCORE 70109.8
AT ITER 1583 NEW BEST:: SOT 2046871 SOS 491537 HAS SOPS 491393 HAS SOUS 69535 HAS SOUPS 69519 WITH SCORE 70010.537
AT ITER 1607 NEW BEST:: SOT 2046824 SOS 491490 HAS SOPS 491346 HAS SOUS 69471 HAS SOUPS 69455 WITH SCORE 69946.49
AT ITER 1611 NEW BEST:: SOT 2046921 SOS 491587 HAS SOPS 491443 HAS SOUS 68902 HAS SOUPS 68886 WITH SCORE 69377.587
AT ITER 1618 NEW BEST:: SOT 2046917 SOS 491583 HAS SOPS 491439 HAS SOUS 68883 HAS SOUPS 68867 WITH SCORE 69358.583
AT ITER 1631 NEW BEST:: SOT 2046847 SOS 491565 HAS SOPS 491421 HAS SOUS 68824 HAS SOUPS 68808 WITH SCORE 69299.565
AT ITER 1655 NEW BEST:: SOT 2046847 SOS 491530 HAS SOPS 491386 HAS SOUS 68803 HAS SOUPS 68787 WITH SCORE 69278.53
AT ITER 1669 NEW BEST:: SOT 2046842 SOS 491525 HAS SOPS 491381 HAS SOUS 68788 HAS SOUPS 68772 WITH SCORE 69263.525
AT ITER 1679 NEW BEST:: SOT 2046819 SOS 491502 HAS SOPS 491358 HAS SOUS 68728 HAS SOUPS 68712 WITH SCORE 69203.502
AT ITER 1683 NEW BEST:: SOT 2046809 SOS 491492 HAS SOPS 491348 HAS SOUS 68628 HAS SOUPS 68612 WITH SCORE 69103.492
AT ITER 1741 NEW BEST:: SOT 2046782 SOS 491504 HAS SOPS 491360 HAS SOUS 68580 HAS SOUPS 68564 WITH SCORE 69055.504
AT ITER 1761 NEW BEST:: SOT 2046963 SOS 491685 HAS SOPS 491541 HAS SOUS 67837 HAS SOUPS 67821 WITH SCORE 68312.685
AT ITER 1775 NEW BEST:: SOT 2046917 SOS 491639 HAS SOPS 491495 HAS SOUS 67791 HAS SOUPS 67775 WITH SCORE 68266.639
AT ITER 1783 NEW BEST:: SOT 2046915 SOS 491637 HAS SOPS 491493 HAS SOUS 67789 HAS SOUPS 67773 WITH SCORE 68264.637
AT ITER 1786 NEW BEST:: SOT 2046896 SOS 491618 HAS SOPS 491474 HAS SOUS 67727 HAS SOUPS 67711 WITH SCORE 68202.618
AT ITER 1802 NEW BEST:: SOT 2046896 SOS 491618 HAS SOPS 491474 HAS SOUS 67711 HAS SOUPS 67695 WITH SCORE 68186.618
AT ITER 1804 NEW BEST:: SOT 2046896 SOS 491616 HAS SOPS 491472 HAS SOUS 67707 HAS SOUPS 67691 WITH SCORE 68182.616
AT ITER 1813 NEW BEST:: SOT 2046896 SOS 491609 HAS SOPS 491465 HAS SOUS 67693 HAS SOUPS 67677 WITH SCORE 68168.609
AT ITER 1821 NEW BEST:: SOT 2046852 SOS 491565 HAS SOPS 491421 HAS SOUS 67649 HAS SOUPS 67633 WITH SCORE 68124.565
AT ITER 1823 NEW BEST:: SOT 2046850 SOS 491563 HAS SOPS 491419 HAS SOUS 67645 HAS SOUPS 67629 WITH SCORE 68120.563
AT ITER 1828 NEW BEST:: SOT 2046884 SOS 491597 HAS SOPS 491453 HAS SOUS 67521 HAS SOUPS 67505 WITH SCORE 67996.597
AT ITER 1879 NEW BEST:: SOT 2046854 SOS 491567 HAS SOPS 491423 HAS SOUS 67515 HAS SOUPS 67499 WITH SCORE 67990.567
AT ITER 1884 NEW BEST:: SOT 2046764 SOS 491477 HAS SOPS 491333 HAS SOUS 66599 HAS SOUPS 66583 WITH SCORE 67074.477
AT ITER 1887 NEW BEST:: SOT 2046672 SOS 491477 HAS SOPS 491333 HAS SOUS 66499 HAS SOUPS 66483 WITH SCORE 66974.477
AT ITER 1891 NEW BEST:: SOT 2046660 SOS 491465 HAS SOPS 491321 HAS SOUS 66482 HAS SOUPS 66466 WITH SCORE 66957.465
AT ITER 1902 NEW BEST:: SOT 2046617 SOS 491422 HAS SOPS 491278 HAS SOUS 66435 HAS SOUPS 66419 WITH SCORE 66910.422
AT ITER 1913 NEW BEST:: SOT 2046614 SOS 491411 HAS SOPS 491267 HAS SOUS 66429 HAS SOUPS 66413 WITH SCORE 66904.411
AT ITER 1958 NEW BEST:: SOT 2046600 SOS 491397 HAS SOPS 491253 HAS SOUS 66415 HAS SOUPS 66399 WITH SCORE 66890.397
AT ITER 1967 NEW BEST:: SOT 2046621 SOS 491418 HAS SOPS 491274 HAS SOUS 66268 HAS SOUPS 66252 WITH SCORE 66743.418
AT ITER 1977 NEW BEST:: SOT 2046589 SOS 491386 HAS SOPS 491242 HAS SOUS 66204 HAS SOUPS 66188 WITH SCORE 66679.386
AT ITER 1998 NEW BEST:: SOT 2046509 SOS 491306 HAS SOPS 491162 HAS SOUS 66093 HAS SOUPS 66077 WITH SCORE 66568.306
AT ITER 2006 NEW BEST:: SOT 2046409 SOS 491230 HAS SOPS 491086 HAS SOUS 65974 HAS SOUPS 65958 WITH SCORE 66449.23
AT ITER 2007 NEW BEST:: SOT 2046425 SOS 491246 HAS SOPS 491102 HAS SOUS 65959 HAS SOUPS 65943 WITH SCORE 66434.246
AT ITER 2013 NEW BEST:: SOT 2046387 SOS 491208 HAS SOPS 491064 HAS SOUS 65872 HAS SOUPS 65856 WITH SCORE 66347.208
AT ITER 2025 NEW BEST:: SOT 2046300 SOS 491034 HAS SOPS 490890 HAS SOUS 65698 HAS SOUPS 65682 WITH SCORE 66173.034
AT ITER 2034 NEW BEST:: SOT 2046236 SOS 490970 HAS SOPS 490826 HAS SOUS 65611 HAS SOUPS 65595 WITH SCORE 66085.97
AT ITER 2039 NEW BEST:: SOT 2046243 SOS 490977 HAS SOPS 490833 HAS SOUS 65554 HAS SOUPS 65538 WITH SCORE 66028.977
AT ITER 2047 NEW BEST:: SOT 2045857 SOS 490591 HAS SOPS 490447 HAS SOUS 65180 HAS SOUPS 65164 WITH SCORE 65654.591
AT ITER 2073 NEW BEST:: SOT 2045819 SOS 490553 HAS SOPS 490409 HAS SOUS 65109 HAS SOUPS 65093 WITH SCORE 65583.553
AT ITER 2094 NEW BEST:: SOT 2045808 SOS 490542 HAS SOPS 490398 HAS SOUS 65075 HAS SOUPS 65059 WITH SCORE 65549.542
AT ITER 2147 NEW BEST:: SOT 2045795 SOS 490529 HAS SOPS 490385 HAS SOUS 65062 HAS SOUPS 65046 WITH SCORE 65536.529
AT ITER 2153 NEW BEST:: SOT 2045754 SOS 490433 HAS SOPS 490289 HAS SOUS 64966 HAS SOUPS 64950 WITH SCORE 65440.433
AT ITER 2160 NEW BEST:: SOT 2045735 SOS 490414 HAS SOPS 490270 HAS SOUS 64947 HAS SOUPS 64931 WITH SCORE 65421.414
AT ITER 2161 NEW BEST:: SOT 2045501 SOS 490180 HAS SOPS 490036 HAS SOUS 64641 HAS SOUPS 64625 WITH SCORE 65115.18
AT ITER 2177 NEW BEST:: SOT 2045470 SOS 490149 HAS SOPS 490005 HAS SOUS 64307 HAS SOUPS 64291 WITH SCORE 64781.149
AT ITER 2195 NEW BEST:: SOT 2045495 SOS 490174 HAS SOPS 490030 HAS SOUS 64285 HAS SOUPS 64269 WITH SCORE 64759.174
AT ITER 2207 NEW BEST:: SOT 2045495 SOS 490174 HAS SOPS 490030 HAS SOUS 64249 HAS SOUPS 64233 WITH SCORE 64723.174
AT ITER 2226 NEW BEST:: SOT 2045471 SOS 490150 HAS SOPS 490006 HAS SOUS 64210 HAS SOUPS 64194 WITH SCORE 64684.15
AT ITER 2236 NEW BEST:: SOT 2045465 SOS 490144 HAS SOPS 490000 HAS SOUS 64192 HAS SOUPS 64176 WITH SCORE 64666.144
AT ITER 2237 NEW BEST:: SOT 2045462 SOS 490141 HAS SOPS 489997 HAS SOUS 64189 HAS SOUPS 64173 WITH SCORE 64663.141
AT ITER 2239 NEW BEST:: SOT 2045336 SOS 490015 HAS SOPS 489871 HAS SOUS 63908 HAS SOUPS 63892 WITH SCORE 64382.015
AT ITER 2245 NEW BEST:: SOT 2045171 SOS 489850 HAS SOPS 489706 HAS SOUS 63743 HAS SOUPS 63727 WITH SCORE 64216.85
AT ITER 2273 NEW BEST:: SOT 2045182 SOS 489861 HAS SOPS 489717 HAS SOUS 63655 HAS SOUPS 63639 WITH SCORE 64128.861
AT ITER 2276 NEW BEST:: SOT 2044751 SOS 493772 HAS SOPS 493628 HAS SOUS 63559 HAS SOUPS 63543 WITH SCORE 64036.772
AT ITER 2287 NEW BEST:: SOT 2044711 SOS 493732 HAS SOPS 493588 HAS SOUS 63159 HAS SOUPS 63143 WITH SCORE 63636.732
AT ITER 2290 NEW BEST:: SOT 2044662 SOS 493683 HAS SOPS 493539 HAS SOUS 63061 HAS SOUPS 63045 WITH SCORE 63538.683
AT ITER 2293 NEW BEST:: SOT 2044652 SOS 493663 HAS SOPS 493519 HAS SOUS 63041 HAS SOUPS 63025 WITH SCORE 63518.663
AT ITER 2309 NEW BEST:: SOT 2044591 SOS 493602 HAS SOPS 493458 HAS SOUS 62956 HAS SOUPS 62940 WITH SCORE 63433.602
AT ITER 2322 NEW BEST:: SOT 2044591 SOS 493602 HAS SOPS 493458 HAS SOUS 62950 HAS SOUPS 62934 WITH SCORE 63427.602
AT ITER 2360 NEW BEST:: SOT 2044608 SOS 493619 HAS SOPS 493475 HAS SOUS 62935 HAS SOUPS 62919 WITH SCORE 63412.619
AT ITER 2384 NEW BEST:: SOT 2044608 SOS 493619 HAS SOPS 493475 HAS SOUS 62931 HAS SOUPS 62915 WITH SCORE 63408.619
AT ITER 2399 NEW BEST:: SOT 2044578 SOS 493589 HAS SOPS 493445 HAS SOUS 62880 HAS SOUPS 62864 WITH SCORE 63357.589
AT ITER 2415 NEW BEST:: SOT 2044540 SOS 493551 HAS SOPS 493407 HAS SOUS 62482 HAS SOUPS 62466 WITH SCORE 62959.551
AT ITER 2418 NEW BEST:: SOT 2044562 SOS 493573 HAS SOPS 493429 HAS SOUS 62314 HAS SOUPS 62298 WITH SCORE 62791.573
AT ITER 2434 NEW BEST:: SOT 2044545 SOS 493616 HAS SOPS 493472 HAS SOUS 62280 HAS SOUPS 62264 WITH SCORE 62757.616
AT ITER 2437 NEW BEST:: SOT 2044642 SOS 493713 HAS SOPS 493569 HAS SOUS 62229 HAS SOUPS 62213 WITH SCORE 62706.713
AT ITER 2451 NEW BEST:: SOT 2044613 SOS 493655 HAS SOPS 493511 HAS SOUS 62171 HAS SOUPS 62155 WITH SCORE 62648.655
AT ITER 2474 NEW BEST:: SOT 2044601 SOS 493643 HAS SOPS 493499 HAS SOUS 62159 HAS SOUPS 62143 WITH SCORE 62636.643
AT ITER 2488 NEW BEST:: SOT 2044579 SOS 493621 HAS SOPS 493477 HAS SOUS 62104 HAS SOUPS 62088 WITH SCORE 62581.621
AT ITER 2528 NEW BEST:: SOT 2044607 SOS 493649 HAS SOPS 493505 HAS SOUS 61895 HAS SOUPS 61879 WITH SCORE 62372.649
AT ITER 2548 NEW BEST:: SOT 2044603 SOS 493645 HAS SOPS 493501 HAS SOUS 61891 HAS SOUPS 61875 WITH SCORE 62368.645
AT ITER 2560 NEW BEST:: SOT 2044557 SOS 493599 HAS SOPS 493455 HAS SOUS 61823 HAS SOUPS 61807 WITH SCORE 62300.599
AT ITER 2583 NEW BEST:: SOT 2044557 SOS 493599 HAS SOPS 493455 HAS SOUS 61809 HAS SOUPS 61793 WITH SCORE 62286.599
AT ITER 2584 NEW BEST:: SOT 2044557 SOS 493599 HAS SOPS 493455 HAS SOUS 61793 HAS SOUPS 61777 WITH SCORE 62270.599
AT ITER 2595 NEW BEST:: SOT 2044538 SOS 491270 HAS SOPS 491126 HAS SOUS 61735 HAS SOUPS 61719 WITH SCORE 62210.27
AT ITER 2597 NEW BEST:: SOT 2045051 SOS 491783 HAS SOPS 491639 HAS SOUS 61589 HAS SOUPS 61573 WITH SCORE 62064.783
AT ITER 2629 NEW BEST:: SOT 2045035 SOS 491767 HAS SOPS 491623 HAS SOUS 61528 HAS SOUPS 61512 WITH SCORE 62003.767
AT ITER 2630 NEW BEST:: SOT 2045027 SOS 491759 HAS SOPS 491615 HAS SOUS 61452 HAS SOUPS 61436 WITH SCORE 61927.759
AT ITER 2659 NEW BEST:: SOT 2045084 SOS 491816 HAS SOPS 491672 HAS SOUS 61378 HAS SOUPS 61362 WITH SCORE 61853.816
AT ITER 2664 NEW BEST:: SOT 2045049 SOS 491680 HAS SOPS 491536 HAS SOUS 61308 HAS SOUPS 61292 WITH SCORE 61783.68
AT ITER 2680 NEW BEST:: SOT 2045027 SOS 491658 HAS SOPS 491514 HAS SOUS 61256 HAS SOUPS 61240 WITH SCORE 61731.658
AT ITER 2682 NEW BEST:: SOT 2045003 SOS 491634 HAS SOPS 491490 HAS SOUS 61227 HAS SOUPS 61211 WITH SCORE 61702.634
AT ITER 2690 NEW BEST:: SOT 2044999 SOS 479713 HAS SOPS 479569 HAS SOUS 61219 HAS SOUPS 61203 WITH SCORE 61682.713
AT ITER 2710 NEW BEST:: SOT 2044999 SOS 479679 HAS SOPS 479535 HAS SOUS 61219 HAS SOUPS 61203 WITH SCORE 61682.679
AT ITER 2721 NEW BEST:: SOT 2045086 SOS 479766 HAS SOPS 479622 HAS SOUS 61089 HAS SOUPS 61073 WITH SCORE 61552.766
AT ITER 2725 NEW BEST:: SOT 2045053 SOS 479733 HAS SOPS 479589 HAS SOUS 61040 HAS SOUPS 61024 WITH SCORE 61503.733
AT ITER 2726 NEW BEST:: SOT 2045048 SOS 479728 HAS SOPS 479584 HAS SOUS 61035 HAS SOUPS 61019 WITH SCORE 61498.728
AT ITER 2738 NEW BEST:: SOT 2045038 SOS 479718 HAS SOPS 479574 HAS SOUS 61023 HAS SOUPS 61007 WITH SCORE 61486.718
AT ITER 2747 NEW BEST:: SOT 2045118 SOS 479798 HAS SOPS 479654 HAS SOUS 60695 HAS SOUPS 60679 WITH SCORE 61158.798
AT ITER 2748 NEW BEST:: SOT 2045034 SOS 479714 HAS SOPS 479570 HAS SOUS 60599 HAS SOUPS 60583 WITH SCORE 61062.714
AT ITER 2749 NEW BEST:: SOT 2044988 SOS 479668 HAS SOPS 479524 HAS SOUS 60531 HAS SOUPS 60515 WITH SCORE 60994.668
AT ITER 2757 NEW BEST:: SOT 2044966 SOS 479646 HAS SOPS 479502 HAS SOUS 60487 HAS SOUPS 60471 WITH SCORE 60950.646
AT ITER 2766 NEW BEST:: SOT 2044962 SOS 479642 HAS SOPS 479498 HAS SOUS 60482 HAS SOUPS 60466 WITH SCORE 60945.642
AT ITER 2774 NEW BEST:: SOT 2044927 SOS 479607 HAS SOPS 479463 HAS SOUS 60392 HAS SOUPS 60376 WITH SCORE 60855.607
AT ITER 2778 NEW BEST:: SOT 2044730 SOS 479410 HAS SOPS 479266 HAS SOUS 60193 HAS SOUPS 60177 WITH SCORE 60656.41
AT ITER 2784 NEW BEST:: SOT 2044730 SOS 479405 HAS SOPS 479261 HAS SOUS 60193 HAS SOUPS 60177 WITH SCORE 60656.405
AT ITER 2805 NEW BEST:: SOT 2044733 SOS 479408 HAS SOPS 479264 HAS SOUS 60178 HAS SOUPS 60162 WITH SCORE 60641.408
AT ITER 2808 NEW BEST:: SOT 2044697 SOS 479372 HAS SOPS 479228 HAS SOUS 60115 HAS SOUPS 60099 WITH SCORE 60578.372
AT ITER 2821 NEW BEST:: SOT 2044671 SOS 479346 HAS SOPS 479202 HAS SOUS 60089 HAS SOUPS 60073 WITH SCORE 60552.346
AT ITER 2847 NEW BEST:: SOT 2044527 SOS 479202 HAS SOPS 479058 HAS SOUS 59978 HAS SOUPS 59962 WITH SCORE 60441.202
AT ITER 2866 NEW BEST:: SOT 2043822 SOS 478350 HAS SOPS 478206 HAS SOUS 58541 HAS SOUPS 58525 WITH SCORE 59003.35
AT ITER 2887 NEW BEST:: SOT 2043822 SOS 478350 HAS SOPS 478206 HAS SOUS 58465 HAS SOUPS 58449 WITH SCORE 58927.35
AT ITER 2900 NEW BEST:: SOT 2043950 SOS 478478 HAS SOPS 478334 HAS SOUS 58259 HAS SOUPS 58243 WITH SCORE 58721.478
AT ITER 2902 NEW BEST:: SOT 2043932 SOS 478404 HAS SOPS 478260 HAS SOUS 58223 HAS SOUPS 58207 WITH SCORE 58685.404
AT ITER 2910 NEW BEST:: SOT 2043665 SOS 478137 HAS SOPS 477993 HAS SOUS 57970 HAS SOUPS 57954 WITH SCORE 58432.137
AT ITER 2923 NEW BEST:: SOT 2043668 SOS 478140 HAS SOPS 477996 HAS SOUS 57946 HAS SOUPS 57930 WITH SCORE 58408.14
AT ITER 2924 NEW BEST:: SOT 2043662 SOS 478134 HAS SOPS 477990 HAS SOUS 57937 HAS SOUPS 57921 WITH SCORE 58399.134
AT ITER 2935 NEW BEST:: SOT 2043609 SOS 478081 HAS SOPS 477937 HAS SOUS 57848 HAS SOUPS 57832 WITH SCORE 58310.081
AT ITER 2951 NEW BEST:: SOT 2043567 SOS 478039 HAS SOPS 477895 HAS SOUS 57806 HAS SOUPS 57790 WITH SCORE 58268.039
AT ITER 2955 NEW BEST:: SOT 2043558 SOS 478030 HAS SOPS 477886 HAS SOUS 57797 HAS SOUPS 57781 WITH SCORE 58259.03
AT ITER 2978 NEW BEST:: SOT 2043543 SOS 477557 HAS SOPS 477413 HAS SOUS 57765 HAS SOUPS 57749 WITH SCORE 58226.557
AT ITER 3021 NEW BEST:: SOT 2043546 SOS 425436 HAS SOPS 425284 HAS SOUS 57692 HAS SOUPS 57676 WITH SCORE 58101.436
AT ITER 3026 NEW BEST:: SOT 2043546 SOS 425436 HAS SOPS 425284 HAS SOUS 57689 HAS SOUPS 57673 WITH SCORE 58098.436
AT ITER 3039 NEW BEST:: SOT 2043528 SOS 425418 HAS SOPS 425266 HAS SOUS 57671 HAS SOUPS 57655 WITH SCORE 58080.418
AT ITER 3049 NEW BEST:: SOT 2043487 SOS 425377 HAS SOPS 425225 HAS SOUS 57581 HAS SOUPS 57565 WITH SCORE 57990.377
AT ITER 3053 NEW BEST:: SOT 2043427 SOS 425317 HAS SOPS 425165 HAS SOUS 57450 HAS SOUPS 57434 WITH SCORE 57859.317
AT ITER 3074 NEW BEST:: SOT 2043427 SOS 425247 HAS SOPS 425095 HAS SOUS 57450 HAS SOUPS 57434 WITH SCORE 57859.247
AT ITER 3082 NEW BEST:: SOT 2043258 SOS 425078 HAS SOPS 424926 HAS SOUS 57075 HAS SOUPS 57059 WITH SCORE 57484.078
AT ITER 3087 NEW BEST:: SOT 2043321 SOS 425093 HAS SOPS 424941 HAS SOUS 57057 HAS SOUPS 57041 WITH SCORE 57466.093
AT ITER 3119 NEW BEST:: SOT 2043312 SOS 425084 HAS SOPS 424932 HAS SOUS 57025 HAS SOUPS 57009 WITH SCORE 57434.084
AT ITER 3148 NEW BEST:: SOT 2043261 SOS 425053 HAS SOPS 424901 HAS SOUS 56927 HAS SOUPS 56911 WITH SCORE 57336.053
AT ITER 3174 NEW BEST:: SOT 2043270 SOS 425062 HAS SOPS 424910 HAS SOUS 56889 HAS SOUPS 56873 WITH SCORE 57298.062
AT ITER 3231 NEW BEST:: SOT 2043228 SOS 425020 HAS SOPS 424868 HAS SOUS 56787 HAS SOUPS 56771 WITH SCORE 57196.02
AT ITER 3236 NEW BEST:: SOT 2043225 SOS 425017 HAS SOPS 424865 HAS SOUS 56781 HAS SOUPS 56765 WITH SCORE 57190.017
AT ITER 3281 NEW BEST:: SOT 2043124 SOS 424916 HAS SOPS 424764 HAS SOUS 56680 HAS SOUPS 56664 WITH SCORE 57088.916
AT ITER 3289 NEW BEST:: SOT 2042823 SOS 424615 HAS SOPS 424463 HAS SOUS 56379 HAS SOUPS 56363 WITH SCORE 56787.615
AT ITER 3297 NEW BEST:: SOT 2043136 SOS 424982 HAS SOPS 424830 HAS SOUS 56366 HAS SOUPS 56350 WITH SCORE 56774.982
AT ITER 3308 NEW BEST:: SOT 2043124 SOS 425018 HAS SOPS 424866 HAS SOUS 56356 HAS SOUPS 56340 WITH SCORE 56765.018
AT ITER 3309 NEW BEST:: SOT 2043131 SOS 424246 HAS SOPS 423994 HAS SOUS 56355 HAS SOUPS 56329 WITH SCORE 56753.246
AT ITER 3373 NEW BEST:: SOT 2043032 SOS 424147 HAS SOPS 423895 HAS SOUS 56168 HAS SOUPS 56142 WITH SCORE 56566.147
AT ITER 3391 NEW BEST:: SOT 2043032 SOS 424147 HAS SOPS 423895 HAS SOUS 56155 HAS SOUPS 56129 WITH SCORE 56553.147
AT ITER 3414 NEW BEST:: SOT 2043032 SOS 424147 HAS SOPS 423895 HAS SOUS 56134 HAS SOUPS 56108 WITH SCORE 56532.147
AT ITER 3419 NEW BEST:: SOT 2043021 SOS 424136 HAS SOPS 423884 HAS SOUS 56112 HAS SOUPS 56086 WITH SCORE 56510.136
AT ITER 3429 NEW BEST:: SOT 2043010 SOS 424122 HAS SOPS 423870 HAS SOUS 56100 HAS SOUPS 56074 WITH SCORE 56498.122
AT ITER 3445 NEW BEST:: SOT 2042986 SOS 424098 HAS SOPS 423846 HAS SOUS 56064 HAS SOUPS 56038 WITH SCORE 56462.098
AT ITER 3446 NEW BEST:: SOT 2043061 SOS 424173 HAS SOPS 423921 HAS SOUS 56032 HAS SOUPS 56006 WITH SCORE 56430.173
AT ITER 3450 NEW BEST:: SOT 2043084 SOS 424196 HAS SOPS 423944 HAS SOUS 55894 HAS SOUPS 55868 WITH SCORE 56292.196
AT ITER 3460 NEW BEST:: SOT 2043072 SOS 424184 HAS SOPS 423932 HAS SOUS 55879 HAS SOUPS 55853 WITH SCORE 56277.184
AT ITER 3473 NEW BEST:: SOT 2043262 SOS 424374 HAS SOPS 424122 HAS SOUS 55876 HAS SOUPS 55850 WITH SCORE 56274.374
AT ITER 3474 NEW BEST:: SOT 2043259 SOS 424371 HAS SOPS 424119 HAS SOUS 55873 HAS SOUPS 55847 WITH SCORE 56271.371
AT ITER 3487 NEW BEST:: SOT 2043259 SOS 424337 HAS SOPS 424111 HAS SOUS 55859 HAS SOUPS 55833 WITH SCORE 56257.337
AT ITER 3498 NEW BEST:: SOT 2043257 SOS 424335 HAS SOPS 424109 HAS SOUS 55846 HAS SOUPS 55820 WITH SCORE 56244.335
AT ITER 3508 NEW BEST:: SOT 2043247 SOS 424325 HAS SOPS 424099 HAS SOUS 55827 HAS SOUPS 55801 WITH SCORE 56225.325
AT ITER 3570 NEW BEST:: SOT 2043217 SOS 423949 HAS SOPS 423723 HAS SOUS 55769 HAS SOUPS 55743 WITH SCORE 56166.949
AT ITER 3618 NEW BEST:: SOT 2043178 SOS 423910 HAS SOPS 423684 HAS SOUS 55711 HAS SOUPS 55685 WITH SCORE 56108.91
AT ITER 3625 NEW BEST:: SOT 2043048 SOS 423780 HAS SOPS 423554 HAS SOUS 55460 HAS SOUPS 55434 WITH SCORE 55857.78
AT ITER 3658 NEW BEST:: SOT 2043044 SOS 423776 HAS SOPS 423550 HAS SOUS 55452 HAS SOUPS 55426 WITH SCORE 55849.776
AT ITER 3660 NEW BEST:: SOT 2043015 SOS 423763 HAS SOPS 423537 HAS SOUS 55426 HAS SOUPS 55400 WITH SCORE 55823.763
AT ITER 3668 NEW BEST:: SOT 2042998 SOS 423900 HAS SOPS 423674 HAS SOUS 55402 HAS SOUPS 55376 WITH SCORE 55799.9
AT ITER 3677 NEW BEST:: SOT 2042993 SOS 423911 HAS SOPS 423685 HAS SOUS 55367 HAS SOUPS 55341 WITH SCORE 55764.911
AT ITER 3704 NEW BEST:: SOT 2042993 SOS 423911 HAS SOPS 423685 HAS SOUS 55350 HAS SOUPS 55324 WITH SCORE 55747.911
AT ITER 3707 NEW BEST:: SOT 2042948 SOS 423866 HAS SOPS 423640 HAS SOUS 55273 HAS SOUPS 55247 WITH SCORE 55670.866
AT ITER 3715 NEW BEST:: SOT 2042946 SOS 423861 HAS SOPS 423635 HAS SOUS 55271 HAS SOUPS 55245 WITH SCORE 55668.861
AT ITER 3720 NEW BEST:: SOT 2042900 SOS 423815 HAS SOPS 423589 HAS SOUS 55157 HAS SOUPS 55131 WITH SCORE 55554.815
AT ITER 3736 NEW BEST:: SOT 2042965 SOS 423880 HAS SOPS 423654 HAS SOUS 55070 HAS SOUPS 55044 WITH SCORE 55467.88
AT ITER 3743 NEW BEST:: SOT 2042938 SOS 423853 HAS SOPS 423627 HAS SOUS 54988 HAS SOUPS 54962 WITH SCORE 55385.853
AT ITER 3753 NEW BEST:: SOT 2042936 SOS 423851 HAS SOPS 423625 HAS SOUS 54986 HAS SOUPS 54960 WITH SCORE 55383.851
AT ITER 3777 NEW BEST:: SOT 2042875 SOS 423790 HAS SOPS 423564 HAS SOUS 54880 HAS SOUPS 54854 WITH SCORE 55277.79
AT ITER 3779 NEW BEST:: SOT 2042903 SOS 423818 HAS SOPS 423592 HAS SOUS 54780 HAS SOUPS 54754 WITH SCORE 55177.818
AT ITER 3805 NEW BEST:: SOT 2042854 SOS 423769 HAS SOPS 423543 HAS SOUS 54731 HAS SOUPS 54705 WITH SCORE 55128.769
AT ITER 3817 NEW BEST:: SOT 2042826 SOS 423741 HAS SOPS 423515 HAS SOUS 54695 HAS SOUPS 54669 WITH SCORE 55092.741
AT ITER 3850 NEW BEST:: SOT 2042811 SOS 423726 HAS SOPS 423500 HAS SOUS 54680 HAS SOUPS 54654 WITH SCORE 55077.726
AT ITER 3878 NEW BEST:: SOT 2042805 SOS 423720 HAS SOPS 423494 HAS SOUS 54662 HAS SOUPS 54636 WITH SCORE 55059.72
AT ITER 3880 NEW BEST:: SOT 2042805 SOS 423692 HAS SOPS 423466 HAS SOUS 54655 HAS SOUPS 54629 WITH SCORE 55052.692
AT ITER 3887 NEW BEST:: SOT 2042785 SOS 423672 HAS SOPS 423446 HAS SOUS 54511 HAS SOUPS 54485 WITH SCORE 54908.672
AT ITER 3888 NEW BEST:: SOT 2042662 SOS 423657 HAS SOPS 423431 HAS SOUS 54266 HAS SOUPS 54240 WITH SCORE 54663.657
AT ITER 3892 NEW BEST:: SOT 2042572 SOS 423567 HAS SOPS 423341 HAS SOUS 54081 HAS SOUPS 54055 WITH SCORE 54478.567
AT ITER 3945 NEW BEST:: SOT 2042570 SOS 423565 HAS SOPS 423339 HAS SOUS 54079 HAS SOUPS 54053 WITH SCORE 54476.565
AT ITER 3949 NEW BEST:: SOT 2042610 SOS 423605 HAS SOPS 423379 HAS SOUS 53991 HAS SOUPS 53965 WITH SCORE 54388.605
AT ITER 3951 NEW BEST:: SOT 2042511 SOS 423506 HAS SOPS 423280 HAS SOUS 53766 HAS SOUPS 53740 WITH SCORE 54163.506
AT ITER 3960 NEW BEST:: SOT 2042499 SOS 423494 HAS SOPS 423268 HAS SOUS 53748 HAS SOUPS 53722 WITH SCORE 54145.494
AT ITER 3976 NEW BEST:: SOT 2042496 SOS 423491 HAS SOPS 423265 HAS SOUS 53740 HAS SOUPS 53714 WITH SCORE 54137.491
AT ITER 3995 NEW BEST:: SOT 2042469 SOS 423326 HAS SOPS 423100 HAS SOUS 53684 HAS SOUPS 53658 WITH SCORE 54081.326
AT ITER 4031 NEW BEST:: SOT 2042469 SOS 423326 HAS SOPS 423100 HAS SOUS 53520 HAS SOUPS 53494 WITH SCORE 53917.326
AT ITER 4050 NEW BEST:: SOT 2042452 SOS 423328 HAS SOPS 423089 HAS SOUS 53486 HAS SOUPS 53460 WITH SCORE 53883.328
AT ITER 4055 NEW BEST:: SOT 2042328 SOS 423204 HAS SOPS 422965 HAS SOUS 53362 HAS SOUPS 53336 WITH SCORE 53759.204
AT ITER 4066 NEW BEST:: SOT 2042273 SOS 423149 HAS SOPS 422910 HAS SOUS 53305 HAS SOUPS 53279 WITH SCORE 53702.149
AT ITER 4086 NEW BEST:: SOT 2042270 SOS 423146 HAS SOPS 422907 HAS SOUS 53302 HAS SOUPS 53276 WITH SCORE 53699.146
AT ITER 4095 NEW BEST:: SOT 2042253 SOS 423129 HAS SOPS 422890 HAS SOUS 53276 HAS SOUPS 53250 WITH SCORE 53673.129
AT ITER 4214 NEW BEST:: SOT 2042328 SOS 423204 HAS SOPS 422965 HAS SOUS 53267 HAS SOUPS 53241 WITH SCORE 53664.204
AT ITER 4224 NEW BEST:: SOT 2042424 SOS 423300 HAS SOPS 423061 HAS SOUS 52873 HAS SOUPS 52847 WITH SCORE 53270.3
AT ITER 4243 NEW BEST:: SOT 2042422 SOS 423298 HAS SOPS 423059 HAS SOUS 52869 HAS SOUPS 52843 WITH SCORE 53266.298
AT ITER 4260 NEW BEST:: SOT 2042406 SOS 423282 HAS SOPS 423043 HAS SOUS 52829 HAS SOUPS 52803 WITH SCORE 53226.282
AT ITER 4266 NEW BEST:: SOT 2042406 SOS 423284 HAS SOPS 423045 HAS SOUS 52825 HAS SOUPS 52799 WITH SCORE 53222.284
AT ITER 4267 NEW BEST:: SOT 2042309 SOS 423187 HAS SOPS 422948 HAS SOUS 52648 HAS SOUPS 52622 WITH SCORE 53045.187
AT ITER 4298 NEW BEST:: SOT 2042284 SOS 423162 HAS SOPS 422923 HAS SOUS 52574 HAS SOUPS 52548 WITH SCORE 52971.162
AT ITER 4305 NEW BEST:: SOT 2042216 SOS 423094 HAS SOPS 422855 HAS SOUS 52447 HAS SOUPS 52421 WITH SCORE 52844.094
AT ITER 4326 NEW BEST:: SOT 2042186 SOS 423070 HAS SOPS 422831 HAS SOUS 52411 HAS SOUPS 52385 WITH SCORE 52808.07
AT ITER 4356 NEW BEST:: SOT 2042165 SOS 423049 HAS SOPS 422810 HAS SOUS 52389 HAS SOUPS 52363 WITH SCORE 52786.049
AT ITER 4371 NEW BEST:: SOT 2042116 SOS 422960 HAS SOPS 422721 HAS SOUS 52330 HAS SOUPS 52304 WITH SCORE 52726.96
AT ITER 4378 NEW BEST:: SOT 2042109 SOS 422953 HAS SOPS 422714 HAS SOUS 52322 HAS SOUPS 52296 WITH SCORE 52718.953
AT ITER 4469 NEW BEST:: SOT 2042049 SOS 422893 HAS SOPS 422654 HAS SOUS 52302 HAS SOUPS 52276 WITH SCORE 52698.893
AT ITER 4486 NEW BEST:: SOT 2041999 SOS 422938 HAS SOPS 422699 HAS SOUS 52246 HAS SOUPS 52220 WITH SCORE 52642.938
AT ITER 4488 NEW BEST:: SOT 2041978 SOS 423034 HAS SOPS 422795 HAS SOUS 52245 HAS SOUPS 52219 WITH SCORE 52642.034
AT ITER 4489 NEW BEST:: SOT 2041961 SOS 423017 HAS SOPS 422778 HAS SOUS 52223 HAS SOUPS 52197 WITH SCORE 52620.017
AT ITER 4503 NEW BEST:: SOT 2041961 SOS 423017 HAS SOPS 422778 HAS SOUS 52215 HAS SOUPS 52189 WITH SCORE 52612.017
AT ITER 4515 NEW BEST:: SOT 2041960 SOS 423016 HAS SOPS 422777 HAS SOUS 52209 HAS SOUPS 52183 WITH SCORE 52606.016
AT ITER 4531 NEW BEST:: SOT 2041944 SOS 423008 HAS SOPS 422769 HAS SOUS 52196 HAS SOUPS 52170 WITH SCORE 52593.008
AT ITER 4580 NEW BEST:: SOT 2041944 SOS 422985 HAS SOPS 422746 HAS SOUS 52196 HAS SOUPS 52170 WITH SCORE 52592.985
AT ITER 4583 NEW BEST:: SOT 2041916 SOS 422957 HAS SOPS 422718 HAS SOUS 52149 HAS SOUPS 52123 WITH SCORE 52545.957
AT ITER 4584 NEW BEST:: SOT 2041907 SOS 422948 HAS SOPS 422709 HAS SOUS 52139 HAS SOUPS 52113 WITH SCORE 52535.948
AT ITER 4600 NEW BEST:: SOT 2041897 SOS 423107 HAS SOPS 422868 HAS SOUS 52119 HAS SOUPS 52093 WITH SCORE 52516.107
AT ITER 4634 NEW BEST:: SOT 2041895 SOS 422993 HAS SOPS 422754 HAS SOUS 52101 HAS SOUPS 52075 WITH SCORE 52497.993
AT ITER 4641 NEW BEST:: SOT 2041895 SOS 422993 HAS SOPS 422754 HAS SOUS 52079 HAS SOUPS 52053 WITH SCORE 52475.993
AT ITER 4657 NEW BEST:: SOT 2041877 SOS 422975 HAS SOPS 422736 HAS SOUS 52043 HAS SOUPS 52017 WITH SCORE 52439.975
AT ITER 4662 NEW BEST:: SOT 2041867 SOS 422965 HAS SOPS 422726 HAS SOUS 51971 HAS SOUPS 51945 WITH SCORE 52367.965
AT ITER 4668 NEW BEST:: SOT 2041895 SOS 422993 HAS SOPS 422754 HAS SOUS 51811 HAS SOUPS 51785 WITH SCORE 52207.993
AT ITER 4703 NEW BEST:: SOT 2041878 SOS 422976 HAS SOPS 422737 HAS SOUS 51795 HAS SOUPS 51769 WITH SCORE 52191.976
AT ITER 4738 NEW BEST:: SOT 2041878 SOS 422976 HAS SOPS 422737 HAS SOUS 51780 HAS SOUPS 51754 WITH SCORE 52176.976
AT ITER 4755 NEW BEST:: SOT 2041865 SOS 423031 HAS SOPS 422792 HAS SOUS 51778 HAS SOUPS 51752 WITH SCORE 52175.031
AT ITER 4763 NEW BEST:: SOT 2041865 SOS 423031 HAS SOPS 422792 HAS SOUS 51698 HAS SOUPS 51672 WITH SCORE 52095.031
AT ITER 4786 NEW BEST:: SOT 2041755 SOS 422921 HAS SOPS 422682 HAS SOUS 51513 HAS SOUPS 51487 WITH SCORE 51909.921
AT ITER 4788 NEW BEST:: SOT 2041752 SOS 422918 HAS SOPS 422679 HAS SOUS 51499 HAS SOUPS 51473 WITH SCORE 51895.918
AT ITER 4804 NEW BEST:: SOT 2041709 SOS 423789 HAS SOPS 423550 HAS SOUS 51398 HAS SOUPS 51372 WITH SCORE 51795.789
AT ITER 4810 NEW BEST:: SOT 2041690 SOS 423751 HAS SOPS 423512 HAS SOUS 51360 HAS SOUPS 51334 WITH SCORE 51757.751
AT ITER 4814 NEW BEST:: SOT 2041693 SOS 423754 HAS SOPS 423515 HAS SOUS 51333 HAS SOUPS 51307 WITH SCORE 51730.754
AT ITER 4875 NEW BEST:: SOT 2041690 SOS 423719 HAS SOPS 423480 HAS SOUS 51299 HAS SOUPS 51273 WITH SCORE 51696.719
AT ITER 4891 NEW BEST:: SOT 2041673 SOS 423702 HAS SOPS 423463 HAS SOUS 51268 HAS SOUPS 51242 WITH SCORE 51665.702
AT ITER 4946 NEW BEST:: SOT 2041648 SOS 423677 HAS SOPS 423438 HAS SOUS 51259 HAS SOUPS 51233 WITH SCORE 51656.677
AT ITER 4947 NEW BEST:: SOT 2041583 SOS 423612 HAS SOPS 423373 HAS SOUS 51146 HAS SOUPS 51120 WITH SCORE 51543.612
AT ITER 4974 NEW BEST:: SOT 2041578 SOS 423607 HAS SOPS 423368 HAS SOUS 51135 HAS SOUPS 51109 WITH SCORE 51532.607
AT ITER 4978 NEW BEST:: SOT 2041573 SOS 423602 HAS SOPS 423363 HAS SOUS 51120 HAS SOUPS 51094 WITH SCORE 51517.602
AT ITER 4990 NEW BEST:: SOT 2041560 SOS 423589 HAS SOPS 423350 HAS SOUS 51076 HAS SOUPS 51050 WITH SCORE 51473.589
AT ITER 5020 NEW BEST:: SOT 2041523 SOS 423552 HAS SOPS 423313 HAS SOUS 51039 HAS SOUPS 51013 WITH SCORE 51436.552
AT ITER 5028 NEW BEST:: SOT 2041496 SOS 423525 HAS SOPS 423286 HAS SOUS 50992 HAS SOUPS 50966 WITH SCORE 51389.525
AT ITER 5095 NEW BEST:: SOT 2041490 SOS 423519 HAS SOPS 423280 HAS SOUS 50986 HAS SOUPS 50960 WITH SCORE 51383.519
AT ITER 5145 NEW BEST:: SOT 2041488 SOS 423517 HAS SOPS 423278 HAS SOUS 50974 HAS SOUPS 50948 WITH SCORE 51371.517
AT ITER 5176 NEW BEST:: SOT 2041482 SOS 423511 HAS SOPS 423272 HAS SOUS 50968 HAS SOUPS 50942 WITH SCORE 51365.511
AT ITER 5186 NEW BEST:: SOT 2041431 SOS 423460 HAS SOPS 423221 HAS SOUS 50903 HAS SOUPS 50877 WITH SCORE 51300.46
AT ITER 5191 NEW BEST:: SOT 2041378 SOS 423407 HAS SOPS 423168 HAS SOUS 50782 HAS SOUPS 50756 WITH SCORE 51179.407
AT ITER 5224 NEW BEST:: SOT 2040981 SOS 423010 HAS SOPS 422771 HAS SOUS 50329 HAS SOUPS 50303 WITH SCORE 50726.01
AT ITER 5230 NEW BEST:: SOT 2040969 SOS 423012 HAS SOPS 422773 HAS SOUS 50313 HAS SOUPS 50287 WITH SCORE 50710.012
AT ITER 5265 NEW BEST:: SOT 2040943 SOS 422986 HAS SOPS 422747 HAS SOUS 50294 HAS SOUPS 50268 WITH SCORE 50690.986
AT ITER 5269 NEW BEST:: SOT 2040867 SOS 423010 HAS SOPS 422771 HAS SOUS 50283 HAS SOUPS 50257 WITH SCORE 50680.01
AT ITER 5284 NEW BEST:: SOT 2040872 SOS 423015 HAS SOPS 422776 HAS SOUS 50259 HAS SOUPS 50233 WITH SCORE 50656.015
AT ITER 5289 NEW BEST:: SOT 2040872 SOS 423015 HAS SOPS 422776 HAS SOUS 50257 HAS SOUPS 50231 WITH SCORE 50654.015
AT ITER 5331 NEW BEST:: SOT 2040869 SOS 423012 HAS SOPS 422773 HAS SOUS 50248 HAS SOUPS 50222 WITH SCORE 50645.012
AT ITER 5387 NEW BEST:: SOT 2040862 SOS 423005 HAS SOPS 422766 HAS SOUS 50184 HAS SOUPS 50158 WITH SCORE 50581.005
AT ITER 5407 NEW BEST:: SOT 2040849 SOS 422992 HAS SOPS 422753 HAS SOUS 50145 HAS SOUPS 50119 WITH SCORE 50541.992
AT ITER 5450 NEW BEST:: SOT 2040844 SOS 422987 HAS SOPS 422748 HAS SOUS 50105 HAS SOUPS 50079 WITH SCORE 50501.987
AT ITER 5462 NEW BEST:: SOT 2040865 SOS 423103 HAS SOPS 422864 HAS SOUS 50101 HAS SOUPS 50075 WITH SCORE 50498.103
AT ITER 5463 NEW BEST:: SOT 2040855 SOS 423093 HAS SOPS 422854 HAS SOUS 50090 HAS SOUPS 50064 WITH SCORE 50487.093
AT ITER 5465 NEW BEST:: SOT 2040942 SOS 423180 HAS SOPS 422941 HAS SOUS 49956 HAS SOUPS 49930 WITH SCORE 50353.18
AT ITER 5480 NEW BEST:: SOT 2040944 SOS 423182 HAS SOPS 422943 HAS SOUS 49896 HAS SOUPS 49870 WITH SCORE 50293.182
AT ITER 5490 NEW BEST:: SOT 2040907 SOS 423145 HAS SOPS 422906 HAS SOUS 49565 HAS SOUPS 49539 WITH SCORE 49962.145
AT ITER 5494 NEW BEST:: SOT 2040921 SOS 423159 HAS SOPS 422920 HAS SOUS 49478 HAS SOUPS 49452 WITH SCORE 49875.159
AT ITER 5515 NEW BEST:: SOT 2040911 SOS 423141 HAS SOPS 422902 HAS SOUS 49460 HAS SOUPS 49434 WITH SCORE 49857.141
AT ITER 5527 NEW BEST:: SOT 2040904 SOS 423122 HAS SOPS 422883 HAS SOUS 49441 HAS SOUPS 49415 WITH SCORE 49838.122
AT ITER 5561 NEW BEST:: SOT 2040888 SOS 423106 HAS SOPS 422867 HAS SOUS 49425 HAS SOUPS 49399 WITH SCORE 49822.106
AT ITER 5563 NEW BEST:: SOT 2040838 SOS 423056 HAS SOPS 422817 HAS SOUS 49361 HAS SOUPS 49335 WITH SCORE 49758.056
AT ITER 5566 NEW BEST:: SOT 2040834 SOS 423052 HAS SOPS 422813 HAS SOUS 49357 HAS SOUPS 49331 WITH SCORE 49754.052
AT ITER 5601 NEW BEST:: SOT 2040798 SOS 423016 HAS SOPS 422777 HAS SOUS 49285 HAS SOUPS 49259 WITH SCORE 49682.016
AT ITER 5631 NEW BEST:: SOT 2040750 SOS 422968 HAS SOPS 422729 HAS SOUS 49189 HAS SOUPS 49163 WITH SCORE 49585.968
AT ITER 5639 NEW BEST:: SOT 2040749 SOS 422937 HAS SOPS 422698 HAS SOUS 49185 HAS SOUPS 49159 WITH SCORE 49581.937
AT ITER 5669 NEW BEST:: SOT 2040733 SOS 422921 HAS SOPS 422682 HAS SOUS 49121 HAS SOUPS 49095 WITH SCORE 49517.921
AT ITER 5703 NEW BEST:: SOT 2040663 SOS 422774 HAS SOPS 422535 HAS SOUS 48981 HAS SOUPS 48955 WITH SCORE 49377.774
AT ITER 5713 NEW BEST:: SOT 2040581 SOS 422692 HAS SOPS 422453 HAS SOUS 48899 HAS SOUPS 48873 WITH SCORE 49295.692
AT ITER 5741 NEW BEST:: SOT 2040547 SOS 422658 HAS SOPS 422419 HAS SOUS 48843 HAS SOUPS 48817 WITH SCORE 49239.658
AT ITER 5771 NEW BEST:: SOT 2040506 SOS 422617 HAS SOPS 422378 HAS SOUS 48836 HAS SOUPS 48810 WITH SCORE 49232.617
AT ITER 5786 NEW BEST:: SOT 2040583 SOS 422694 HAS SOPS 422455 HAS SOUS 48800 HAS SOUPS 48774 WITH SCORE 49196.694
AT ITER 5803 NEW BEST:: SOT 2040553 SOS 422664 HAS SOPS 422425 HAS SOUS 48740 HAS SOUPS 48714 WITH SCORE 49136.664
AT ITER 5824 NEW BEST:: SOT 2040553 SOS 422663 HAS SOPS 422429 HAS SOUS 48740 HAS SOUPS 48714 WITH SCORE 49136.663
AT ITER 5827 NEW BEST:: SOT 2040541 SOS 422651 HAS SOPS 422417 HAS SOUS 48703 HAS SOUPS 48677 WITH SCORE 49099.651
AT ITER 5831 NEW BEST:: SOT 2040532 SOS 422642 HAS SOPS 422408 HAS SOUS 48685 HAS SOUPS 48659 WITH SCORE 49081.642
AT ITER 5843 NEW BEST:: SOT 2040536 SOS 422646 HAS SOPS 422412 HAS SOUS 48664 HAS SOUPS 48638 WITH SCORE 49060.646
AT ITER 5853 NEW BEST:: SOT 2040498 SOS 422608 HAS SOPS 422374 HAS SOUS 48597 HAS SOUPS 48571 WITH SCORE 48993.608
AT ITER 5876 NEW BEST:: SOT 2040495 SOS 422605 HAS SOPS 422371 HAS SOUS 48594 HAS SOUPS 48568 WITH SCORE 48990.605
AT ITER 5879 NEW BEST:: SOT 2040368 SOS 422478 HAS SOPS 422244 HAS SOUS 48369 HAS SOUPS 48343 WITH SCORE 48765.478
AT ITER 5902 NEW BEST:: SOT 2040368 SOS 422478 HAS SOPS 422244 HAS SOUS 48368 HAS SOUPS 48342 WITH SCORE 48764.478
AT ITER 5904 NEW BEST:: SOT 2040361 SOS 422471 HAS SOPS 422237 HAS SOUS 48357 HAS SOUPS 48331 WITH SCORE 48753.471
AT ITER 5924 NEW BEST:: SOT 2040345 SOS 422455 HAS SOPS 422221 HAS SOUS 48330 HAS SOUPS 48304 WITH SCORE 48726.455
AT ITER 5956 NEW BEST:: SOT 2040289 SOS 422399 HAS SOPS 422165 HAS SOUS 48217 HAS SOUPS 48191 WITH SCORE 48613.399
AT ITER 6026 NEW BEST:: SOT 2040284 SOS 422449 HAS SOPS 422215 HAS SOUS 48207 HAS SOUPS 48181 WITH SCORE 48603.449
AT ITER 6030 NEW BEST:: SOT 2040279 SOS 422444 HAS SOPS 422210 HAS SOUS 48194 HAS SOUPS 48168 WITH SCORE 48590.444
AT ITER 6051 NEW BEST:: SOT 2040278 SOS 422443 HAS SOPS 422209 HAS SOUS 48194 HAS SOUPS 48168 WITH SCORE 48590.443
AT ITER 6052 NEW BEST:: SOT 2040278 SOS 422450 HAS SOPS 422216 HAS SOUS 48187 HAS SOUPS 48161 WITH SCORE 48583.45
AT ITER 6063 NEW BEST:: SOT 2040264 SOS 422436 HAS SOPS 422202 HAS SOUS 48159 HAS SOUPS 48133 WITH SCORE 48555.436
AT ITER 6075 NEW BEST:: SOT 2040276 SOS 422448 HAS SOPS 422214 HAS SOUS 48156 HAS SOUPS 48130 WITH SCORE 48552.448
AT ITER 6117 NEW BEST:: SOT 2040257 SOS 422429 HAS SOPS 422195 HAS SOUS 48131 HAS SOUPS 48105 WITH SCORE 48527.429
AT ITER 6151 NEW BEST:: SOT 2040237 SOS 422409 HAS SOPS 422175 HAS SOUS 48091 HAS SOUPS 48065 WITH SCORE 48487.409
AT ITER 6156 NEW BEST:: SOT 2040238 SOS 422410 HAS SOPS 422176 HAS SOUS 48090 HAS SOUPS 48064 WITH SCORE 48486.41
AT ITER 6167 NEW BEST:: SOT 2040211 SOS 422362 HAS SOPS 422128 HAS SOUS 47996 HAS SOUPS 47970 WITH SCORE 48392.362
AT ITER 6184 NEW BEST:: SOT 2040169 SOS 422320 HAS SOPS 422086 HAS SOUS 47912 HAS SOUPS 47886 WITH SCORE 48308.32
AT ITER 6268 NEW BEST:: SOT 2040207 SOS 422358 HAS SOPS 422124 HAS SOUS 47728 HAS SOUPS 47702 WITH SCORE 48124.358
AT ITER 6286 NEW BEST:: SOT 2040207 SOS 422361 HAS SOPS 422127 HAS SOUS 47722 HAS SOUPS 47696 WITH SCORE 48118.361
AT ITER 6292 NEW BEST:: SOT 2040206 SOS 422360 HAS SOPS 422126 HAS SOUS 47721 HAS SOUPS 47695 WITH SCORE 48117.36
AT ITER 6307 NEW BEST:: SOT 2040196 SOS 422350 HAS SOPS 422116 HAS SOUS 47693 HAS SOUPS 47667 WITH SCORE 48089.35
AT ITER 6311 NEW BEST:: SOT 2040158 SOS 422312 HAS SOPS 422078 HAS SOUS 47655 HAS SOUPS 47629 WITH SCORE 48051.312
AT ITER 6338 NEW BEST:: SOT 2040158 SOS 422279 HAS SOPS 422059 HAS SOUS 47642 HAS SOUPS 47616 WITH SCORE 48038.279
AT ITER 6341 NEW BEST:: SOT 2038944 SOS 421065 HAS SOPS 420845 HAS SOUS 47502 HAS SOUPS 47476 WITH SCORE 47897.065
AT ITER 6343 NEW BEST:: SOT 2038911 SOS 420885 HAS SOPS 420665 HAS SOUS 47436 HAS SOUPS 47410 WITH SCORE 47830.885
AT ITER 6345 NEW BEST:: SOT 2038896 SOS 420870 HAS SOPS 420650 HAS SOUS 47413 HAS SOUPS 47387 WITH SCORE 47807.87
AT ITER 6346 NEW BEST:: SOT 2038830 SOS 420885 HAS SOPS 420665 HAS SOUS 47305 HAS SOUPS 47279 WITH SCORE 47699.885
AT ITER 6375 NEW BEST:: SOT 2038806 SOS 420861 HAS SOPS 420641 HAS SOUS 47281 HAS SOUPS 47255 WITH SCORE 47675.861
AT ITER 6394 NEW BEST:: SOT 2038791 SOS 419631 HAS SOPS 419411 HAS SOUS 47221 HAS SOUPS 47195 WITH SCORE 47614.631
AT ITER 6402 NEW BEST:: SOT 2038778 SOS 419618 HAS SOPS 419398 HAS SOUS 47208 HAS SOUPS 47182 WITH SCORE 47601.618
AT ITER 6404 NEW BEST:: SOT 2038772 SOS 419612 HAS SOPS 419392 HAS SOUS 47196 HAS SOUPS 47170 WITH SCORE 47589.612
AT ITER 6409 NEW BEST:: SOT 2038772 SOS 419612 HAS SOPS 419392 HAS SOUS 47193 HAS SOUPS 47167 WITH SCORE 47586.612
AT ITER 6410 NEW BEST:: SOT 2038750 SOS 419590 HAS SOPS 419370 HAS SOUS 47162 HAS SOUPS 47136 WITH SCORE 47555.59
AT ITER 6416 NEW BEST:: SOT 2038741 SOS 419581 HAS SOPS 419361 HAS SOUS 47149 HAS SOUPS 47123 WITH SCORE 47542.581
AT ITER 6446 NEW BEST:: SOT 2038693 SOS 419533 HAS SOPS 419313 HAS SOUS 47071 HAS SOUPS 47045 WITH SCORE 47464.533
AT ITER 6453 NEW BEST:: SOT 2038666 SOS 419498 HAS SOPS 419278 HAS SOUS 47050 HAS SOUPS 47024 WITH SCORE 47443.498
AT ITER 6469 NEW BEST:: SOT 2038629 SOS 419461 HAS SOPS 419241 HAS SOUS 47007 HAS SOUPS 46981 WITH SCORE 47400.461
AT ITER 6542 NEW BEST:: SOT 2038623 SOS 419455 HAS SOPS 419235 HAS SOUS 47001 HAS SOUPS 46975 WITH SCORE 47394.455
AT ITER 6628 NEW BEST:: SOT 2038632 SOS 419419 HAS SOPS 419199 HAS SOUS 46976 HAS SOUPS 46950 WITH SCORE 47369.419
AT ITER 6724 NEW BEST:: SOT 2038631 SOS 419418 HAS SOPS 419198 HAS SOUS 46973 HAS SOUPS 46947 WITH SCORE 47366.418
AT ITER 6737 NEW BEST:: SOT 2038630 SOS 419417 HAS SOPS 419197 HAS SOUS 46972 HAS SOUPS 46946 WITH SCORE 47365.417
AT ITER 6751 NEW BEST:: SOT 2038609 SOS 419477 HAS SOPS 419257 HAS SOUS 46957 HAS SOUPS 46931 WITH SCORE 47350.477
AT ITER 6787 NEW BEST:: SOT 2038602 SOS 419470 HAS SOPS 419250 HAS SOUS 46847 HAS SOUPS 46821 WITH SCORE 47240.47
AT ITER 6806 NEW BEST:: SOT 2038609 SOS 419477 HAS SOPS 419257 HAS SOUS 46768 HAS SOUPS 46742 WITH SCORE 47161.477
AT ITER 6862 NEW BEST:: SOT 2038587 SOS 419455 HAS SOPS 419235 HAS SOUS 46736 HAS SOUPS 46710 WITH SCORE 47129.455
AT ITER 6867 NEW BEST:: SOT 2038582 SOS 419450 HAS SOPS 419230 HAS SOUS 46731 HAS SOUPS 46705 WITH SCORE 47124.45
AT ITER 6877 NEW BEST:: SOT 2038563 SOS 419431 HAS SOPS 419211 HAS SOUS 46693 HAS SOUPS 46667 WITH SCORE 47086.431
AT ITER 6881 NEW BEST:: SOT 2038595 SOS 419463 HAS SOPS 419243 HAS SOUS 46689 HAS SOUPS 46663 WITH SCORE 47082.463
AT ITER 6928 NEW BEST:: SOT 2038540 SOS 419418 HAS SOPS 419198 HAS SOUS 46654 HAS SOUPS 46628 WITH SCORE 47047.418
AT ITER 7018 NEW BEST:: SOT 2038520 SOS 419398 HAS SOPS 419178 HAS SOUS 46465 HAS SOUPS 46439 WITH SCORE 46858.398
AT ITER 7046 NEW BEST:: SOT 2038508 SOS 419386 HAS SOPS 419166 HAS SOUS 46453 HAS SOUPS 46427 WITH SCORE 46846.386
AT ITER 7057 NEW BEST:: SOT 2038496 SOS 419362 HAS SOPS 419142 HAS SOUS 46429 HAS SOUPS 46403 WITH SCORE 46822.362
AT ITER 7076 NEW BEST:: SOT 2038457 SOS 419323 HAS SOPS 419103 HAS SOUS 46366 HAS SOUPS 46340 WITH SCORE 46759.323
AT ITER 7089 NEW BEST:: SOT 2036570 SOS 417163 HAS SOPS 416943 HAS SOUS 45119 HAS SOUPS 45093 WITH SCORE 45510.163
AT ITER 7096 NEW BEST:: SOT 2036556 SOS 417149 HAS SOPS 416929 HAS SOUS 45094 HAS SOUPS 45068 WITH SCORE 45485.149
AT ITER 7109 NEW BEST:: SOT 2036547 SOS 417128 HAS SOPS 416908 HAS SOUS 45073 HAS SOUPS 45047 WITH SCORE 45464.128
AT ITER 7140 NEW BEST:: SOT 2036539 SOS 417120 HAS SOPS 416900 HAS SOUS 45057 HAS SOUPS 45031 WITH SCORE 45448.12
AT ITER 7173 NEW BEST:: SOT 2036526 SOS 417091 HAS SOPS 416871 HAS SOUS 45028 HAS SOUPS 45002 WITH SCORE 45419.091
AT ITER 7179 NEW BEST:: SOT 2036445 SOS 417010 HAS SOPS 416790 HAS SOUS 44863 HAS SOUPS 44837 WITH SCORE 45254.01
AT ITER 7218 NEW BEST:: SOT 2036413 SOS 416978 HAS SOPS 416758 HAS SOUS 44799 HAS SOUPS 44773 WITH SCORE 45189.978
AT ITER 7246 NEW BEST:: SOT 2036407 SOS 416987 HAS SOPS 416767 HAS SOUS 44772 HAS SOUPS 44746 WITH SCORE 45162.987
AT ITER 7342 NEW BEST:: SOT 2036359 SOS 416939 HAS SOPS 416719 HAS SOUS 44700 HAS SOUPS 44674 WITH SCORE 45090.939
AT ITER 7430 NEW BEST:: SOT 2035585 SOS 416165 HAS SOPS 415945 HAS SOUS 44392 HAS SOUPS 44366 WITH SCORE 44782.165
AT ITER 7433 NEW BEST:: SOT 2035581 SOS 416111 HAS SOPS 415891 HAS SOUS 44380 HAS SOUPS 44354 WITH SCORE 44770.111
AT ITER 7492 NEW BEST:: SOT 2035581 SOS 416111 HAS SOPS 415891 HAS SOUS 44360 HAS SOUPS 44334 WITH SCORE 44750.111
AT ITER 7506 NEW BEST:: SOT 2035674 SOS 416204 HAS SOPS 415984 HAS SOUS 44349 HAS SOUPS 44323 WITH SCORE 44739.204
AT ITER 7545 NEW BEST:: SOT 2035670 SOS 416196 HAS SOPS 415976 HAS SOUS 44341 HAS SOUPS 44315 WITH SCORE 44731.196
AT ITER 7562 NEW BEST:: SOT 2035688 SOS 416214 HAS SOPS 415994 HAS SOUS 44249 HAS SOUPS 44223 WITH SCORE 44639.214
AT ITER 7572 NEW BEST:: SOT 2034244 SOS 414560 HAS SOPS 414340 HAS SOUS 43577 HAS SOUPS 43551 WITH SCORE 43965.56
AT ITER 7592 NEW BEST:: SOT 2034218 SOS 414532 HAS SOPS 414312 HAS SOUS 43564 HAS SOUPS 43538 WITH SCORE 43952.532
AT ITER 7603 NEW BEST:: SOT 2034150 SOS 414464 HAS SOPS 414244 HAS SOUS 43476 HAS SOUPS 43450 WITH SCORE 43864.464
AT ITER 7656 NEW BEST:: SOT 2034145 SOS 414459 HAS SOPS 414239 HAS SOUS 43469 HAS SOUPS 43443 WITH SCORE 43857.459
AT ITER 7686 NEW BEST:: SOT 2034140 SOS 414454 HAS SOPS 414234 HAS SOUS 43449 HAS SOUPS 43423 WITH SCORE 43837.454
AT ITER 7688 NEW BEST:: SOT 2034119 SOS 414433 HAS SOPS 414213 HAS SOUS 43425 HAS SOUPS 43399 WITH SCORE 43813.433
AT ITER 7733 NEW BEST:: SOT 2034122 SOS 414436 HAS SOPS 414216 HAS SOUS 43416 HAS SOUPS 43390 WITH SCORE 43804.436
AT ITER 7745 NEW BEST:: SOT 2034121 SOS 414436 HAS SOPS 414216 HAS SOUS 43398 HAS SOUPS 43372 WITH SCORE 43786.436
AT ITER 7758 NEW BEST:: SOT 2034116 SOS 414431 HAS SOPS 414211 HAS SOUS 43382 HAS SOUPS 43356 WITH SCORE 43770.431
AT ITER 7797 NEW BEST:: SOT 2034098 SOS 414413 HAS SOPS 414193 HAS SOUS 43354 HAS SOUPS 43328 WITH SCORE 43742.413
AT ITER 7822 NEW BEST:: SOT 2034090 SOS 414405 HAS SOPS 414185 HAS SOUS 43338 HAS SOUPS 43312 WITH SCORE 43726.405
AT ITER 7839 NEW BEST:: SOT 2034037 SOS 414399 HAS SOPS 414179 HAS SOUS 43332 HAS SOUPS 43306 WITH SCORE 43720.399
AT ITER 7871 NEW BEST:: SOT 2034035 SOS 414364 HAS SOPS 414144 HAS SOUS 43319 HAS SOUPS 43293 WITH SCORE 43707.364
AT ITER 7979 NEW BEST:: SOT 2033982 SOS 414355 HAS SOPS 414135 HAS SOUS 43244 HAS SOUPS 43218 WITH SCORE 43632.355
AT ITER 7993 NEW BEST:: SOT 2033980 SOS 414339 HAS SOPS 414119 HAS SOUS 43228 HAS SOUPS 43202 WITH SCORE 43616.339
AT ITER 8005 NEW BEST:: SOT 2033966 SOS 414325 HAS SOPS 414105 HAS SOUS 43200 HAS SOUPS 43174 WITH SCORE 43588.325
AT ITER 8028 NEW BEST:: SOT 2033962 SOS 414326 HAS SOPS 414106 HAS SOUS 43197 HAS SOUPS 43171 WITH SCORE 43585.326
AT ITER 8133 NEW BEST:: SOT 2033875 SOS 414239 HAS SOPS 414019 HAS SOUS 43108 HAS SOUPS 43082 WITH SCORE 43496.239
AT ITER 8137 NEW BEST:: SOT 2033791 SOS 414155 HAS SOPS 413935 HAS SOUS 42976 HAS SOUPS 42950 WITH SCORE 43364.155
AT ITER 8153 NEW BEST:: SOT 2033785 SOS 414149 HAS SOPS 413929 HAS SOUS 42971 HAS SOUPS 42945 WITH SCORE 43359.149
AT ITER 8155 NEW BEST:: SOT 2033763 SOS 414127 HAS SOPS 413907 HAS SOUS 42949 HAS SOUPS 42923 WITH SCORE 43337.127
AT ITER 8173 NEW BEST:: SOT 2033727 SOS 414091 HAS SOPS 413871 HAS SOUS 42913 HAS SOUPS 42887 WITH SCORE 43301.091
AT ITER 8219 NEW BEST:: SOT 2033727 SOS 414091 HAS SOPS 413871 HAS SOUS 42909 HAS SOUPS 42883 WITH SCORE 43297.091
AT ITER 8269 NEW BEST:: SOT 2033719 SOS 414075 HAS SOPS 413855 HAS SOUS 42893 HAS SOUPS 42867 WITH SCORE 43281.075
AT ITER 8364 NEW BEST:: SOT 2033719 SOS 414075 HAS SOPS 413855 HAS SOUS 42888 HAS SOUPS 42862 WITH SCORE 43276.075
AT ITER 8433 NEW BEST:: SOT 2033719 SOS 414069 HAS SOPS 413849 HAS SOUS 42887 HAS SOUPS 42861 WITH SCORE 43275.069
AT ITER 8434 NEW BEST:: SOT 2033642 SOS 413912 HAS SOPS 413692 HAS SOUS 42730 HAS SOUPS 42704 WITH SCORE 43117.912
AT ITER 8450 NEW BEST:: SOT 2033648 SOS 413876 HAS SOPS 413656 HAS SOUS 42694 HAS SOUPS 42668 WITH SCORE 43081.876
AT ITER 8510 NEW BEST:: SOT 2033608 SOS 413876 HAS SOPS 413638 HAS SOUS 42620 HAS SOUPS 42594 WITH SCORE 43007.876
AT ITER 8520 NEW BEST:: SOT 2033608 SOS 413871 HAS SOPS 413633 HAS SOUS 42620 HAS SOUPS 42594 WITH SCORE 43007.871
AT ITER 8524 NEW BEST:: SOT 2033624 SOS 413849 HAS SOPS 413611 HAS SOUS 42609 HAS SOUPS 42583 WITH SCORE 42996.849
AT ITER 8550 NEW BEST:: SOT 2033624 SOS 413848 HAS SOPS 413610 HAS SOUS 42609 HAS SOUPS 42583 WITH SCORE 42996.848
AT ITER 8561 NEW BEST:: SOT 2033608 SOS 413832 HAS SOPS 413594 HAS SOUS 42598 HAS SOUPS 42572 WITH SCORE 42985.832
AT ITER 8612 NEW BEST:: SOT 2033593 SOS 413817 HAS SOPS 413579 HAS SOUS 42583 HAS SOUPS 42557 WITH SCORE 42970.817
AT ITER 8618 NEW BEST:: SOT 2033596 SOS 413812 HAS SOPS 413574 HAS SOUS 42573 HAS SOUPS 42547 WITH SCORE 42960.812
AT ITER 8674 NEW BEST:: SOT 2033542 SOS 413758 HAS SOPS 413520 HAS SOUS 42519 HAS SOUPS 42493 WITH SCORE 42906.758
AT ITER 8846 NEW BEST:: SOT 2033527 SOS 413761 HAS SOPS 413523 HAS SOUS 42512 HAS SOUPS 42486 WITH SCORE 42899.761
AT ITER 8880 NEW BEST:: SOT 2033537 SOS 413771 HAS SOPS 413533 HAS SOUS 42450 HAS SOUPS 42424 WITH SCORE 42837.771
AT ITER 8912 NEW BEST:: SOT 2033574 SOS 413808 HAS SOPS 413570 HAS SOUS 42411 HAS SOUPS 42385 WITH SCORE 42798.808
AT ITER 8936 NEW BEST:: SOT 2033561 SOS 413795 HAS SOPS 413557 HAS SOUS 42385 HAS SOUPS 42359 WITH SCORE 42772.795
AT ITER 8982 NEW BEST:: SOT 2033556 SOS 413790 HAS SOPS 413552 HAS SOUS 42380 HAS SOUPS 42354 WITH SCORE 42767.79
AT ITER 9020 NEW BEST:: SOT 2033182 SOS 413386 HAS SOPS 413148 HAS SOUS 41976 HAS SOUPS 41950 WITH SCORE 42363.386
AT ITER 9035 NEW BEST:: SOT 2033172 SOS 413376 HAS SOPS 413138 HAS SOUS 41957 HAS SOUPS 41931 WITH SCORE 42344.376
AT ITER 9114 NEW BEST:: SOT 2033156 SOS 413360 HAS SOPS 413122 HAS SOUS 41941 HAS SOUPS 41915 WITH SCORE 42328.36
AT ITER 9135 NEW BEST:: SOT 2033131 SOS 413335 HAS SOPS 413097 HAS SOUS 41884 HAS SOUPS 41858 WITH SCORE 42271.335
AT ITER 9170 NEW BEST:: SOT 2033130 SOS 413334 HAS SOPS 413096 HAS SOUS 41877 HAS SOUPS 41851 WITH SCORE 42264.334
AT ITER 9176 NEW BEST:: SOT 2033114 SOS 413318 HAS SOPS 413080 HAS SOUS 41875 HAS SOUPS 41849 WITH SCORE 42262.318
AT ITER 9202 NEW BEST:: SOT 2033152 SOS 413356 HAS SOPS 413118 HAS SOUS 41826 HAS SOUPS 41800 WITH SCORE 42213.356
AT ITER 9215 NEW BEST:: SOT 2033132 SOS 413336 HAS SOPS 413098 HAS SOUS 41784 HAS SOUPS 41758 WITH SCORE 42171.336
AT ITER 9231 NEW BEST:: SOT 2033128 SOS 413332 HAS SOPS 413094 HAS SOUS 41760 HAS SOUPS 41734 WITH SCORE 42147.332
AT ITER 9258 NEW BEST:: SOT 2033173 SOS 413377 HAS SOPS 413139 HAS SOUS 41610 HAS SOUPS 41584 WITH SCORE 41997.377
AT ITER 9272 NEW BEST:: SOT 2033172 SOS 413421 HAS SOPS 413183 HAS SOUS 41608 HAS SOUPS 41582 WITH SCORE 41995.421
AT ITER 9308 NEW BEST:: SOT 2033144 SOS 413393 HAS SOPS 413155 HAS SOUS 41580 HAS SOUPS 41554 WITH SCORE 41967.393
AT ITER 9365 NEW BEST:: SOT 2033119 SOS 413368 HAS SOPS 413130 HAS SOUS 41525 HAS SOUPS 41499 WITH SCORE 41912.368
AT ITER 9466 NEW BEST:: SOT 2033117 SOS 413366 HAS SOPS 413128 HAS SOUS 41520 HAS SOUPS 41494 WITH SCORE 41907.366
AT ITER 9474 NEW BEST:: SOT 2033090 SOS 413339 HAS SOPS 413101 HAS SOUS 41492 HAS SOUPS 41466 WITH SCORE 41879.339
AT ITER 9491 NEW BEST:: SOT 2033057 SOS 413306 HAS SOPS 413068 HAS SOUS 41429 HAS SOUPS 41403 WITH SCORE 41816.306
AT ITER 9520 NEW BEST:: SOT 2033058 SOS 413307 HAS SOPS 413069 HAS SOUS 41428 HAS SOUPS 41402 WITH SCORE 41815.307
AT ITER 9563 NEW BEST:: SOT 2033019 SOS 413275 HAS SOPS 413037 HAS SOUS 41382 HAS SOUPS 41356 WITH SCORE 41769.275
AT ITER 9568 NEW BEST:: SOT 2033017 SOS 413273 HAS SOPS 413035 HAS SOUS 41380 HAS SOUPS 41354 WITH SCORE 41767.273
AT ITER 9633 NEW BEST:: SOT 2033016 SOS 413272 HAS SOPS 413034 HAS SOUS 41379 HAS SOUPS 41353 WITH SCORE 41766.272
AT ITER 9658 NEW BEST:: SOT 2032989 SOS 413277 HAS SOPS 413039 HAS SOUS 41325 HAS SOUPS 41299 WITH SCORE 41712.277
AT ITER 9672 NEW BEST:: SOT 2032978 SOS 413266 HAS SOPS 413028 HAS SOUS 41294 HAS SOUPS 41268 WITH SCORE 41681.266
AT ITER 9678 NEW BEST:: SOT 2032962 SOS 413250 HAS SOPS 413012 HAS SOUS 41268 HAS SOUPS 41242 WITH SCORE 41655.25
AT ITER 9685 NEW BEST:: SOT 2032960 SOS 413250 HAS SOPS 413012 HAS SOUS 41264 HAS SOUPS 41238 WITH SCORE 41651.25
AT ITER 9815 NEW BEST:: SOT 2032950 SOS 413240 HAS SOPS 413002 HAS SOUS 41184 HAS SOUPS 41158 WITH SCORE 41571.24
AT ITER 9818 NEW BEST:: SOT 2032950 SOS 413238 HAS SOPS 413000 HAS SOUS 41184 HAS SOUPS 41158 WITH SCORE 41571.238
AT ITER 9850 NEW BEST:: SOT 2032963 SOS 413251 HAS SOPS 413013 HAS SOUS 41181 HAS SOUPS 41155 WITH SCORE 41568.251
AT ITER 9869 NEW BEST:: SOT 2032924 SOS 413212 HAS SOPS 412974 HAS SOUS 41140 HAS SOUPS 41114 WITH SCORE 41527.212
AT ITER 9922 NEW BEST:: SOT 2032929 SOS 413217 HAS SOPS 412979 HAS SOUS 41117 HAS SOUPS 41091 WITH SCORE 41504.217
AT ITER 9924 NEW BEST:: SOT 2032919 SOS 413197 HAS SOPS 412959 HAS SOUS 41107 HAS SOUPS 41081 WITH SCORE 41494.197
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 15993724 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16114984 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="PolyORBNT-PT-S10J20"
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 PolyORBNT-PT-S10J20, 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-167873943300760"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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