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.r107-tall-167814483800160.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
........................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is CloudReconfiguration-PT-320, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814483800160
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 6.8K Feb 25 11:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 74K Feb 25 11:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.7K Feb 25 11:50 CTLFireability.txt
-rw-r--r-- 1 mcc users 64K Feb 25 11:50 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:48 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 15:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:48 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 11:51 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 121K Feb 25 11:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.5K Feb 25 11:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 71K Feb 25 11:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:48 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:48 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 661K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678340421122

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

Filename model.pnml
Petri model created: 2587 places, 3099 transitions, 6479 arcs.
AT ITER 0 NEW BEST:: SOT 4458525 SOS 744630 HAS SOPS 744630 HAS SOUS 686894 HAS SOUPS 686894 WITH SCORE 687638.63
AT ITER 3 NEW BEST:: SOT 4458147 SOS 744378 HAS SOPS 744378 HAS SOUS 686516 HAS SOUPS 686516 WITH SCORE 687260.378
AT ITER 33 NEW BEST:: SOT 4458147 SOS 744350 HAS SOPS 744350 HAS SOUS 686488 HAS SOUPS 686488 WITH SCORE 687232.35
AT ITER 35 NEW BEST:: SOT 4457873 SOS 744076 HAS SOPS 744076 HAS SOUS 686214 HAS SOUPS 686214 WITH SCORE 686958.076
AT ITER 44 NEW BEST:: SOT 4457728 SOS 744070 HAS SOPS 744070 HAS SOUS 686172 HAS SOUPS 686172 WITH SCORE 686916.07
AT ITER 50 NEW BEST:: SOT 4457658 SOS 743930 HAS SOPS 743930 HAS SOUS 686032 HAS SOUPS 686032 WITH SCORE 686775.93
AT ITER 109 NEW BEST:: SOT 4457507 SOS 743779 HAS SOPS 743779 HAS SOUS 685881 HAS SOUPS 685881 WITH SCORE 686624.779
AT ITER 119 NEW BEST:: SOT 4457376 SOS 743655 HAS SOPS 743655 HAS SOUS 685754 HAS SOUPS 685754 WITH SCORE 686497.655
AT ITER 171 NEW BEST:: SOT 4457372 SOS 743647 HAS SOPS 743647 HAS SOUS 685748 HAS SOUPS 685748 WITH SCORE 686491.647
AT ITER 173 NEW BEST:: SOT 4456971 SOS 743414 HAS SOPS 743414 HAS SOUS 685401 HAS SOUPS 685401 WITH SCORE 686144.414
AT ITER 184 NEW BEST:: SOT 4456922 SOS 743316 HAS SOPS 743316 HAS SOUS 685303 HAS SOUPS 685303 WITH SCORE 686046.316
AT ITER 201 NEW BEST:: SOT 4456922 SOS 743203 HAS SOPS 743203 HAS SOUS 685303 HAS SOUPS 685303 WITH SCORE 686046.203
AT ITER 206 NEW BEST:: SOT 4456922 SOS 743203 HAS SOPS 743203 HAS SOUS 685265 HAS SOUPS 685265 WITH SCORE 686008.203
AT ITER 222 NEW BEST:: SOT 4456682 SOS 743043 HAS SOPS 743043 HAS SOUS 685025 HAS SOUPS 685025 WITH SCORE 685768.043
AT ITER 223 NEW BEST:: SOT 4456682 SOS 743043 HAS SOPS 743043 HAS SOUS 685024 HAS SOUPS 685024 WITH SCORE 685767.043
AT ITER 233 NEW BEST:: SOT 4456298 SOS 742659 HAS SOPS 742659 HAS SOUS 684640 HAS SOUPS 684640 WITH SCORE 685382.659
AT ITER 234 NEW BEST:: SOT 4456196 SOS 742654 HAS SOPS 742654 HAS SOUS 684586 HAS SOUPS 684586 WITH SCORE 685328.654
AT ITER 240 NEW BEST:: SOT 4456196 SOS 742654 HAS SOPS 742654 HAS SOUS 684585 HAS SOUPS 684585 WITH SCORE 685327.654
AT ITER 248 NEW BEST:: SOT 4456028 SOS 742318 HAS SOPS 742318 HAS SOUS 684249 HAS SOUPS 684249 WITH SCORE 684991.318
AT ITER 256 NEW BEST:: SOT 4455914 SOS 741934 HAS SOPS 741934 HAS SOUS 683979 HAS SOUPS 683979 WITH SCORE 684720.934
AT ITER 263 NEW BEST:: SOT 4455826 SOS 742003 HAS SOPS 742003 HAS SOUS 683891 HAS SOUPS 683891 WITH SCORE 684633.003
AT ITER 269 NEW BEST:: SOT 4455826 SOS 741902 HAS SOPS 741902 HAS SOUS 683790 HAS SOUPS 683790 WITH SCORE 684531.902
AT ITER 296 NEW BEST:: SOT 4450173 SOS 752367 HAS SOPS 752367 HAS SOUS 678838 HAS SOUPS 678838 WITH SCORE 679590.367
AT ITER 302 NEW BEST:: SOT 4450215 SOS 752294 HAS SOPS 752294 HAS SOUS 678765 HAS SOUPS 678765 WITH SCORE 679517.294
AT ITER 307 NEW BEST:: SOT 4450114 SOS 752371 HAS SOPS 752371 HAS SOUS 678664 HAS SOUPS 678664 WITH SCORE 679416.371
AT ITER 313 NEW BEST:: SOT 4450089 SOS 752346 HAS SOPS 752346 HAS SOUS 678639 HAS SOUPS 678639 WITH SCORE 679391.346
AT ITER 388 NEW BEST:: SOT 4449871 SOS 751653 HAS SOPS 751653 HAS SOUS 678202 HAS SOUPS 678202 WITH SCORE 678953.653
AT ITER 391 NEW BEST:: SOT 4449931 SOS 751602 HAS SOPS 751602 HAS SOUS 678151 HAS SOUPS 678151 WITH SCORE 678902.602
AT ITER 404 NEW BEST:: SOT 4449930 SOS 751600 HAS SOPS 751600 HAS SOUS 678149 HAS SOUPS 678149 WITH SCORE 678900.6
AT ITER 457 NEW BEST:: SOT 4449930 SOS 751458 HAS SOPS 751458 HAS SOUS 678078 HAS SOUPS 678078 WITH SCORE 678829.458
AT ITER 506 NEW BEST:: SOT 4449574 SOS 751221 HAS SOPS 751221 HAS SOUS 677817 HAS SOUPS 677817 WITH SCORE 678568.221
AT ITER 550 NEW BEST:: SOT 4449567 SOS 751207 HAS SOPS 751207 HAS SOUS 677803 HAS SOUPS 677803 WITH SCORE 678554.207
AT ITER 561 NEW BEST:: SOT 4449308 SOS 750689 HAS SOPS 750689 HAS SOUS 677285 HAS SOUPS 677285 WITH SCORE 678035.689
AT ITER 562 NEW BEST:: SOT 4449303 SOS 750684 HAS SOPS 750684 HAS SOUS 677280 HAS SOUPS 677280 WITH SCORE 678030.684
AT ITER 580 NEW BEST:: SOT 4449327 SOS 750402 HAS SOPS 750402 HAS SOUS 677093 HAS SOUPS 677093 WITH SCORE 677843.402
AT ITER 586 NEW BEST:: SOT 4449053 SOS 750127 HAS SOPS 750127 HAS SOUS 676818 HAS SOUPS 676818 WITH SCORE 677568.127
AT ITER 588 NEW BEST:: SOT 4448814 SOS 749649 HAS SOPS 749649 HAS SOUS 676340 HAS SOUPS 676340 WITH SCORE 677089.649
AT ITER 598 NEW BEST:: SOT 4448766 SOS 749553 HAS SOPS 749553 HAS SOUS 676292 HAS SOUPS 676292 WITH SCORE 677041.553
AT ITER 612 NEW BEST:: SOT 4448765 SOS 749551 HAS SOPS 749551 HAS SOUS 676290 HAS SOUPS 676290 WITH SCORE 677039.551
AT ITER 617 NEW BEST:: SOT 4448555 SOS 749341 HAS SOPS 749341 HAS SOUS 676080 HAS SOUPS 676080 WITH SCORE 676829.341
AT ITER 655 NEW BEST:: SOT 4448329 SOS 748889 HAS SOPS 748889 HAS SOUS 675628 HAS SOUPS 675628 WITH SCORE 676376.889
AT ITER 665 NEW BEST:: SOT 4448013 SOS 749841 HAS SOPS 749841 HAS SOUS 675450 HAS SOUPS 675450 WITH SCORE 676199.841
AT ITER 666 NEW BEST:: SOT 4448026 SOS 749867 HAS SOPS 749867 HAS SOUS 675269 HAS SOUPS 675269 WITH SCORE 676018.867
AT ITER 682 NEW BEST:: SOT 4447532 SOS 749126 HAS SOPS 749126 HAS SOUS 674528 HAS SOUPS 674528 WITH SCORE 675277.126
AT ITER 688 NEW BEST:: SOT 4447532 SOS 748995 HAS SOPS 748995 HAS SOUS 674397 HAS SOUPS 674397 WITH SCORE 675145.995
AT ITER 695 NEW BEST:: SOT 4447532 SOS 748960 HAS SOPS 748960 HAS SOUS 674396 HAS SOUPS 674396 WITH SCORE 675144.96
AT ITER 706 NEW BEST:: SOT 4447260 SOS 748916 HAS SOPS 748916 HAS SOUS 674201 HAS SOUPS 674201 WITH SCORE 674949.916
AT ITER 729 NEW BEST:: SOT 4447260 SOS 748879 HAS SOPS 748879 HAS SOUS 674164 HAS SOUPS 674164 WITH SCORE 674912.879
AT ITER 740 NEW BEST:: SOT 4447260 SOS 748841 HAS SOPS 748841 HAS SOUS 674126 HAS SOUPS 674126 WITH SCORE 674874.841
AT ITER 750 NEW BEST:: SOT 4447260 SOS 748743 HAS SOPS 748743 HAS SOUS 674126 HAS SOUPS 674126 WITH SCORE 674874.743
AT ITER 773 NEW BEST:: SOT 4447067 SOS 748670 HAS SOPS 748670 HAS SOUS 673989 HAS SOUPS 673989 WITH SCORE 674737.67
AT ITER 778 NEW BEST:: SOT 4447067 SOS 748485 HAS SOPS 748485 HAS SOUS 673988 HAS SOUPS 673988 WITH SCORE 674736.485
AT ITER 820 NEW BEST:: SOT 4446809 SOS 748336 HAS SOPS 748336 HAS SOUS 673784 HAS SOUPS 673784 WITH SCORE 674532.336
AT ITER 821 NEW BEST:: SOT 4446754 SOS 748388 HAS SOPS 748388 HAS SOUS 673783 HAS SOUPS 673783 WITH SCORE 674531.388
AT ITER 848 NEW BEST:: SOT 4446872 SOS 748409 HAS SOPS 748409 HAS SOUS 673528 HAS SOUPS 673528 WITH SCORE 674276.409
AT ITER 851 NEW BEST:: SOT 4446743 SOS 748280 HAS SOPS 748280 HAS SOUS 673527 HAS SOUPS 673527 WITH SCORE 674275.28
AT ITER 855 NEW BEST:: SOT 4446620 SOS 748157 HAS SOPS 748157 HAS SOUS 673404 HAS SOUPS 673404 WITH SCORE 674152.157
AT ITER 858 NEW BEST:: SOT 4446457 SOS 748465 HAS SOPS 748465 HAS SOUS 673294 HAS SOUPS 673294 WITH SCORE 674042.465
AT ITER 935 NEW BEST:: SOT 4446075 SOS 748221 HAS SOPS 748221 HAS SOUS 672959 HAS SOUPS 672959 WITH SCORE 673707.221
AT ITER 957 NEW BEST:: SOT 4446036 SOS 748143 HAS SOPS 748143 HAS SOUS 672881 HAS SOUPS 672881 WITH SCORE 673629.143
AT ITER 1024 NEW BEST:: SOT 4446036 SOS 747896 HAS SOPS 747896 HAS SOUS 672634 HAS SOUPS 672634 WITH SCORE 673381.896
AT ITER 1037 NEW BEST:: SOT 4445994 SOS 747812 HAS SOPS 747812 HAS SOUS 672378 HAS SOUPS 672378 WITH SCORE 673125.812
AT ITER 1038 NEW BEST:: SOT 4445973 SOS 747791 HAS SOPS 747791 HAS SOUS 672357 HAS SOUPS 672357 WITH SCORE 673104.791
AT ITER 1040 NEW BEST:: SOT 4445707 SOS 747924 HAS SOPS 747924 HAS SOUS 672224 HAS SOUPS 672224 WITH SCORE 672971.924
AT ITER 1043 NEW BEST:: SOT 4445698 SOS 747548 HAS SOPS 747548 HAS SOUS 672020 HAS SOUPS 672020 WITH SCORE 672767.548
AT ITER 1074 NEW BEST:: SOT 4446027 SOS 747422 HAS SOPS 747422 HAS SOUS 671957 HAS SOUPS 671957 WITH SCORE 672704.422
AT ITER 1077 NEW BEST:: SOT 4445777 SOS 747221 HAS SOPS 747221 HAS SOUS 671756 HAS SOUPS 671756 WITH SCORE 672503.221
AT ITER 1107 NEW BEST:: SOT 4445653 SOS 746973 HAS SOPS 746973 HAS SOUS 671631 HAS SOUPS 671631 WITH SCORE 672377.973
AT ITER 1148 NEW BEST:: SOT 4445516 SOS 746820 HAS SOPS 746820 HAS SOUS 671423 HAS SOUPS 671423 WITH SCORE 672169.82
AT ITER 1158 NEW BEST:: SOT 4445515 SOS 746818 HAS SOPS 746818 HAS SOUS 671421 HAS SOUPS 671421 WITH SCORE 672167.818
AT ITER 1159 NEW BEST:: SOT 4445514 SOS 746816 HAS SOPS 746816 HAS SOUS 671419 HAS SOUPS 671419 WITH SCORE 672165.816
AT ITER 1164 NEW BEST:: SOT 4445385 SOS 746687 HAS SOPS 746687 HAS SOUS 671247 HAS SOUPS 671247 WITH SCORE 671993.687
AT ITER 1186 NEW BEST:: SOT 4445385 SOS 746608 HAS SOPS 746608 HAS SOUS 671245 HAS SOUPS 671245 WITH SCORE 671991.608
AT ITER 1237 NEW BEST:: SOT 4445257 SOS 746480 HAS SOPS 746480 HAS SOUS 671117 HAS SOUPS 671117 WITH SCORE 671863.48
AT ITER 1242 NEW BEST:: SOT 4445112 SOS 746190 HAS SOPS 746190 HAS SOUS 670827 HAS SOUPS 670827 WITH SCORE 671573.19
AT ITER 1257 NEW BEST:: SOT 4444715 SOS 746856 HAS SOPS 746856 HAS SOUS 670818 HAS SOUPS 670818 WITH SCORE 671564.856
AT ITER 1263 NEW BEST:: SOT 4444715 SOS 746855 HAS SOPS 746855 HAS SOUS 670818 HAS SOUPS 670818 WITH SCORE 671564.855
AT ITER 1272 NEW BEST:: SOT 4444700 SOS 746546 HAS SOPS 746546 HAS SOUS 670729 HAS SOUPS 670729 WITH SCORE 671475.546
AT ITER 1290 NEW BEST:: SOT 4444700 SOS 746546 HAS SOPS 746546 HAS SOUS 670727 HAS SOUPS 670727 WITH SCORE 671473.546
AT ITER 1333 NEW BEST:: SOT 4444636 SOS 746418 HAS SOPS 746418 HAS SOUS 670599 HAS SOUPS 670599 WITH SCORE 671345.418
AT ITER 1349 NEW BEST:: SOT 4444714 SOS 746169 HAS SOPS 746169 HAS SOUS 670350 HAS SOUPS 670350 WITH SCORE 671096.169
AT ITER 1352 NEW BEST:: SOT 4444463 SOS 746055 HAS SOPS 746055 HAS SOUS 670147 HAS SOUPS 670147 WITH SCORE 670893.055
AT ITER 1358 NEW BEST:: SOT 4444424 SOS 745977 HAS SOPS 745977 HAS SOUS 670069 HAS SOUPS 670069 WITH SCORE 670814.977
AT ITER 1366 NEW BEST:: SOT 4444403 SOS 745935 HAS SOPS 745935 HAS SOUS 670048 HAS SOUPS 670048 WITH SCORE 670793.935
AT ITER 1385 NEW BEST:: SOT 4444052 SOS 745584 HAS SOPS 745584 HAS SOUS 669697 HAS SOUPS 669697 WITH SCORE 670442.584
AT ITER 1396 NEW BEST:: SOT 4444052 SOS 745342 HAS SOPS 745342 HAS SOUS 669697 HAS SOUPS 669697 WITH SCORE 670442.342
AT ITER 1398 NEW BEST:: SOT 4444051 SOS 745319 HAS SOPS 745319 HAS SOUS 669695 HAS SOUPS 669695 WITH SCORE 670440.319
AT ITER 1413 NEW BEST:: SOT 4444051 SOS 745290 HAS SOPS 745290 HAS SOUS 669695 HAS SOUPS 669695 WITH SCORE 670440.29
AT ITER 1476 NEW BEST:: SOT 4444050 SOS 745288 HAS SOPS 745288 HAS SOUS 669693 HAS SOUPS 669693 WITH SCORE 670438.288
AT ITER 1506 NEW BEST:: SOT 4443942 SOS 731856 HAS SOPS 731856 HAS SOUS 669585 HAS SOUPS 669585 WITH SCORE 670316.856
AT ITER 1531 NEW BEST:: SOT 4444027 SOS 732026 HAS SOPS 732026 HAS SOUS 669455 HAS SOUPS 669455 WITH SCORE 670187.026
AT ITER 1572 NEW BEST:: SOT 4443644 SOS 731562 HAS SOPS 731562 HAS SOUS 668934 HAS SOUPS 668934 WITH SCORE 669665.562
AT ITER 1597 NEW BEST:: SOT 4442669 SOS 730620 HAS SOPS 730620 HAS SOUS 667967 HAS SOUPS 667967 WITH SCORE 668697.62
AT ITER 1603 NEW BEST:: SOT 4442669 SOS 730592 HAS SOPS 730592 HAS SOUS 667939 HAS SOUPS 667939 WITH SCORE 668669.592
AT ITER 1615 NEW BEST:: SOT 4442333 SOS 730499 HAS SOPS 730499 HAS SOUS 667730 HAS SOUPS 667730 WITH SCORE 668460.499
AT ITER 1639 NEW BEST:: SOT 4442342 SOS 730298 HAS SOPS 730298 HAS SOUS 667428 HAS SOUPS 667428 WITH SCORE 668158.298
AT ITER 1650 NEW BEST:: SOT 4442341 SOS 730296 HAS SOPS 730296 HAS SOUS 667426 HAS SOUPS 667426 WITH SCORE 668156.296
AT ITER 1673 NEW BEST:: SOT 4442218 SOS 730050 HAS SOPS 730050 HAS SOUS 667282 HAS SOUPS 667282 WITH SCORE 668012.05
AT ITER 1685 NEW BEST:: SOT 4442332 SOS 730278 HAS SOPS 730278 HAS SOUS 667252 HAS SOUPS 667252 WITH SCORE 667982.278
AT ITER 1697 NEW BEST:: SOT 4441641 SOS 729678 HAS SOPS 729678 HAS SOUS 666906 HAS SOUPS 666906 WITH SCORE 667635.678
AT ITER 1723 NEW BEST:: SOT 4441554 SOS 729504 HAS SOPS 729504 HAS SOUS 666732 HAS SOUPS 666732 WITH SCORE 667461.504
AT ITER 1737 NEW BEST:: SOT 4441550 SOS 729496 HAS SOPS 729496 HAS SOUS 666727 HAS SOUPS 666727 WITH SCORE 667456.496
AT ITER 1760 NEW BEST:: SOT 4441553 SOS 729502 HAS SOPS 729502 HAS SOUS 666631 HAS SOUPS 666631 WITH SCORE 667360.502
AT ITER 1767 NEW BEST:: SOT 4441553 SOS 729464 HAS SOPS 729464 HAS SOUS 666631 HAS SOUPS 666631 WITH SCORE 667360.464
AT ITER 1799 NEW BEST:: SOT 4441510 SOS 729458 HAS SOPS 729458 HAS SOUS 666625 HAS SOUPS 666625 WITH SCORE 667354.458
AT ITER 1805 NEW BEST:: SOT 4441145 SOS 729180 HAS SOPS 729180 HAS SOUS 666308 HAS SOUPS 666308 WITH SCORE 667037.18
AT ITER 1812 NEW BEST:: SOT 4441145 SOS 729040 HAS SOPS 729040 HAS SOUS 666308 HAS SOUPS 666308 WITH SCORE 667037.04
AT ITER 1863 NEW BEST:: SOT 4441145 SOS 729005 HAS SOPS 729005 HAS SOUS 666273 HAS SOUPS 666273 WITH SCORE 667002.005
AT ITER 1870 NEW BEST:: SOT 4441084 SOS 728790 HAS SOPS 728790 HAS SOUS 666151 HAS SOUPS 666151 WITH SCORE 666879.79
AT ITER 1903 NEW BEST:: SOT 4441084 SOS 728705 HAS SOPS 728705 HAS SOUS 666150 HAS SOUPS 666150 WITH SCORE 666878.705
AT ITER 1904 NEW BEST:: SOT 4439659 SOS 754247 HAS SOPS 754247 HAS SOUS 665007 HAS SOUPS 665007 WITH SCORE 665761.247
AT ITER 1929 NEW BEST:: SOT 4439450 SOS 753829 HAS SOPS 753829 HAS SOUS 664908 HAS SOUPS 664908 WITH SCORE 665661.829
AT ITER 1932 NEW BEST:: SOT 4439449 SOS 753827 HAS SOPS 753827 HAS SOUS 664906 HAS SOUPS 664906 WITH SCORE 665659.827
AT ITER 1933 NEW BEST:: SOT 4439316 SOS 753786 HAS SOPS 753786 HAS SOUS 664814 HAS SOUPS 664814 WITH SCORE 665567.786
AT ITER 1937 NEW BEST:: SOT 4439059 SOS 753589 HAS SOPS 753589 HAS SOUS 664616 HAS SOUPS 664616 WITH SCORE 665369.589
AT ITER 1940 NEW BEST:: SOT 4439025 SOS 753521 HAS SOPS 753521 HAS SOUS 664548 HAS SOUPS 664548 WITH SCORE 665301.521
AT ITER 1965 NEW BEST:: SOT 4439025 SOS 753457 HAS SOPS 753457 HAS SOUS 664548 HAS SOUPS 664548 WITH SCORE 665301.457
AT ITER 1987 NEW BEST:: SOT 4438799 SOS 753005 HAS SOPS 753005 HAS SOUS 664322 HAS SOUPS 664322 WITH SCORE 665075.005
AT ITER 2002 NEW BEST:: SOT 4438679 SOS 752905 HAS SOPS 752905 HAS SOUS 664207 HAS SOUPS 664207 WITH SCORE 664959.905
AT ITER 2019 NEW BEST:: SOT 4438578 SOS 752703 HAS SOPS 752703 HAS SOUS 664005 HAS SOUPS 664005 WITH SCORE 664757.703
AT ITER 2022 NEW BEST:: SOT 4438249 SOS 752591 HAS SOPS 752591 HAS SOUS 663560 HAS SOUPS 663560 WITH SCORE 664312.591
AT ITER 2051 NEW BEST:: SOT 4438164 SOS 752421 HAS SOPS 752421 HAS SOUS 663390 HAS SOUPS 663390 WITH SCORE 664142.421
AT ITER 2082 NEW BEST:: SOT 4437980 SOS 751755 HAS SOPS 751755 HAS SOUS 662914 HAS SOUPS 662914 WITH SCORE 663665.755
AT ITER 2087 NEW BEST:: SOT 4437690 SOS 751175 HAS SOPS 751175 HAS SOUS 662334 HAS SOUPS 662334 WITH SCORE 663085.175
AT ITER 2122 NEW BEST:: SOT 4437844 SOS 751257 HAS SOPS 751257 HAS SOUS 662316 HAS SOUPS 662316 WITH SCORE 663067.257
AT ITER 2154 NEW BEST:: SOT 4437496 SOS 750561 HAS SOPS 750561 HAS SOUS 661794 HAS SOUPS 661794 WITH SCORE 662544.561
AT ITER 2175 NEW BEST:: SOT 4437404 SOS 750377 HAS SOPS 750377 HAS SOUS 661610 HAS SOUPS 661610 WITH SCORE 662360.377
AT ITER 2185 NEW BEST:: SOT 4437404 SOS 750191 HAS SOPS 750191 HAS SOUS 661424 HAS SOUPS 661424 WITH SCORE 662174.191
AT ITER 2213 NEW BEST:: SOT 4437336 SOS 750055 HAS SOPS 750055 HAS SOUS 661288 HAS SOUPS 661288 WITH SCORE 662038.055
AT ITER 2215 NEW BEST:: SOT 4437191 SOS 749698 HAS SOPS 749698 HAS SOUS 660998 HAS SOUPS 660998 WITH SCORE 661747.698
AT ITER 2220 NEW BEST:: SOT 4437024 SOS 749494 HAS SOPS 749494 HAS SOUS 660766 HAS SOUPS 660766 WITH SCORE 661515.494
AT ITER 2231 NEW BEST:: SOT 4437023 SOS 749492 HAS SOPS 749492 HAS SOUS 660764 HAS SOUPS 660764 WITH SCORE 661513.492
AT ITER 2239 NEW BEST:: SOT 4436949 SOS 749344 HAS SOPS 749344 HAS SOUS 660616 HAS SOUPS 660616 WITH SCORE 661365.344
AT ITER 2244 NEW BEST:: SOT 4436536 SOS 749110 HAS SOPS 749110 HAS SOUS 660294 HAS SOUPS 660294 WITH SCORE 661043.11
AT ITER 2300 NEW BEST:: SOT 4436392 SOS 748966 HAS SOPS 748966 HAS SOUS 660150 HAS SOUPS 660150 WITH SCORE 660898.966
AT ITER 2302 NEW BEST:: SOT 4436392 SOS 748916 HAS SOPS 748916 HAS SOUS 660100 HAS SOUPS 660100 WITH SCORE 660848.916
AT ITER 2303 NEW BEST:: SOT 4436392 SOS 748916 HAS SOPS 748916 HAS SOUS 660096 HAS SOUPS 660096 WITH SCORE 660844.916
AT ITER 2325 NEW BEST:: SOT 4436289 SOS 748710 HAS SOPS 748710 HAS SOUS 659890 HAS SOUPS 659890 WITH SCORE 660638.71
AT ITER 2351 NEW BEST:: SOT 4436165 SOS 748638 HAS SOPS 748638 HAS SOUS 659774 HAS SOUPS 659774 WITH SCORE 660522.638
AT ITER 2352 NEW BEST:: SOT 4436164 SOS 748636 HAS SOPS 748636 HAS SOUS 659772 HAS SOUPS 659772 WITH SCORE 660520.636
AT ITER 2358 NEW BEST:: SOT 4435985 SOS 748457 HAS SOPS 748457 HAS SOUS 659771 HAS SOUPS 659771 WITH SCORE 660519.457
AT ITER 2372 NEW BEST:: SOT 4435951 SOS 748389 HAS SOPS 748389 HAS SOUS 659720 HAS SOUPS 659720 WITH SCORE 660468.389
AT ITER 2393 NEW BEST:: SOT 4435950 SOS 748387 HAS SOPS 748387 HAS SOUS 659718 HAS SOUPS 659718 WITH SCORE 660466.387
AT ITER 2413 NEW BEST:: SOT 4435950 SOS 748387 HAS SOPS 748387 HAS SOUS 659705 HAS SOUPS 659705 WITH SCORE 660453.387
AT ITER 2414 NEW BEST:: SOT 4435768 SOS 748023 HAS SOPS 748023 HAS SOUS 659523 HAS SOUPS 659523 WITH SCORE 660271.023
AT ITER 2447 NEW BEST:: SOT 4435696 SOS 747879 HAS SOPS 747879 HAS SOUS 659451 HAS SOUPS 659451 WITH SCORE 660198.879
AT ITER 2448 NEW BEST:: SOT 4435115 SOS 748633 HAS SOPS 748633 HAS SOUS 659428 HAS SOUPS 659428 WITH SCORE 660176.633
AT ITER 2470 NEW BEST:: SOT 4435076 SOS 748645 HAS SOPS 748645 HAS SOUS 659389 HAS SOUPS 659389 WITH SCORE 660137.645
AT ITER 2494 NEW BEST:: SOT 4434533 SOS 748439 HAS SOPS 748439 HAS SOUS 658982 HAS SOUPS 658982 WITH SCORE 659730.439
AT ITER 2509 NEW BEST:: SOT 4434539 SOS 748451 HAS SOPS 748451 HAS SOUS 658729 HAS SOUPS 658729 WITH SCORE 659477.451
AT ITER 2558 NEW BEST:: SOT 4434505 SOS 748383 HAS SOPS 748383 HAS SOUS 658661 HAS SOUPS 658661 WITH SCORE 659409.383
AT ITER 2607 NEW BEST:: SOT 4434082 SOS 748101 HAS SOPS 748101 HAS SOUS 658238 HAS SOUPS 658238 WITH SCORE 658986.101
AT ITER 2608 NEW BEST:: SOT 4434052 SOS 748303 HAS SOPS 748303 HAS SOUS 658156 HAS SOUPS 658156 WITH SCORE 658904.303
AT ITER 2610 NEW BEST:: SOT 4434037 SOS 748273 HAS SOPS 748273 HAS SOUS 658140 HAS SOUPS 658140 WITH SCORE 658888.273
AT ITER 2615 NEW BEST:: SOT 4433920 SOS 748156 HAS SOPS 748156 HAS SOUS 658023 HAS SOUPS 658023 WITH SCORE 658771.156
AT ITER 2658 NEW BEST:: SOT 4433229 SOS 752269 HAS SOPS 752269 HAS SOUS 657961 HAS SOUPS 657961 WITH SCORE 658713.269
AT ITER 2661 NEW BEST:: SOT 4433031 SOS 751873 HAS SOPS 751873 HAS SOUS 657763 HAS SOUPS 657763 WITH SCORE 658514.873
AT ITER 2715 NEW BEST:: SOT 4432919 SOS 751649 HAS SOPS 751649 HAS SOUS 657539 HAS SOUPS 657539 WITH SCORE 658290.649
AT ITER 2720 NEW BEST:: SOT 4432899 SOS 752597 HAS SOPS 752597 HAS SOUS 657519 HAS SOUPS 657519 WITH SCORE 658271.597
AT ITER 2724 NEW BEST:: SOT 4432935 SOS 752274 HAS SOPS 752274 HAS SOUS 657317 HAS SOUPS 657317 WITH SCORE 658069.274
AT ITER 2730 NEW BEST:: SOT 4432794 SOS 752235 HAS SOPS 752235 HAS SOUS 657022 HAS SOUPS 657022 WITH SCORE 657774.235
AT ITER 2740 NEW BEST:: SOT 4432713 SOS 752154 HAS SOPS 752154 HAS SOUS 656941 HAS SOUPS 656941 WITH SCORE 657693.154
AT ITER 2794 NEW BEST:: SOT 4432700 SOS 752128 HAS SOPS 752128 HAS SOUS 656915 HAS SOUPS 656915 WITH SCORE 657667.128
AT ITER 2795 NEW BEST:: SOT 4432700 SOS 752087 HAS SOPS 752087 HAS SOUS 656874 HAS SOUPS 656874 WITH SCORE 657626.087
AT ITER 2837 NEW BEST:: SOT 4432700 SOS 751958 HAS SOPS 751958 HAS SOUS 656874 HAS SOUPS 656874 WITH SCORE 657625.958
AT ITER 2846 NEW BEST:: SOT 4432540 SOS 752010 HAS SOPS 752010 HAS SOUS 656785 HAS SOUPS 656785 WITH SCORE 657537.01
AT ITER 2863 NEW BEST:: SOT 4432426 SOS 751782 HAS SOPS 751782 HAS SOUS 656557 HAS SOUPS 656557 WITH SCORE 657308.782
AT ITER 2868 NEW BEST:: SOT 4432397 SOS 751877 HAS SOPS 751877 HAS SOUS 656549 HAS SOUPS 656549 WITH SCORE 657300.877
AT ITER 2892 NEW BEST:: SOT 4432330 SOS 751549 HAS SOPS 751549 HAS SOUS 656415 HAS SOUPS 656415 WITH SCORE 657166.549
AT ITER 2900 NEW BEST:: SOT 4432330 SOS 751549 HAS SOPS 751549 HAS SOUS 656412 HAS SOUPS 656412 WITH SCORE 657163.549
AT ITER 2936 NEW BEST:: SOT 4432197 SOS 751686 HAS SOPS 751686 HAS SOUS 656294 HAS SOUPS 656294 WITH SCORE 657045.686
AT ITER 2958 NEW BEST:: SOT 4429695 SOS 773004 HAS SOPS 773004 HAS SOUS 654599 HAS SOUPS 654599 WITH SCORE 655372.004
AT ITER 3008 NEW BEST:: SOT 4429667 SOS 772933 HAS SOPS 772933 HAS SOUS 654528 HAS SOUPS 654528 WITH SCORE 655300.933
AT ITER 3020 NEW BEST:: SOT 4429527 SOS 772373 HAS SOPS 772373 HAS SOUS 654248 HAS SOUPS 654248 WITH SCORE 655020.373
AT ITER 3030 NEW BEST:: SOT 4429516 SOS 772351 HAS SOPS 772351 HAS SOUS 654226 HAS SOUPS 654226 WITH SCORE 654998.351
AT ITER 3038 NEW BEST:: SOT 4429526 SOS 772371 HAS SOPS 772371 HAS SOUS 654102 HAS SOUPS 654102 WITH SCORE 654874.371
AT ITER 3040 NEW BEST:: SOT 4429421 SOS 772266 HAS SOPS 772266 HAS SOUS 653997 HAS SOUPS 653997 WITH SCORE 654769.266
AT ITER 3082 NEW BEST:: SOT 4429347 SOS 772118 HAS SOPS 772118 HAS SOUS 653849 HAS SOUPS 653849 WITH SCORE 654621.118
AT ITER 3098 NEW BEST:: SOT 4429253 SOS 771977 HAS SOPS 771977 HAS SOUS 653708 HAS SOUPS 653708 WITH SCORE 654479.977
AT ITER 3103 NEW BEST:: SOT 4429253 SOS 772021 HAS SOPS 772021 HAS SOUS 653664 HAS SOUPS 653664 WITH SCORE 654436.021
AT ITER 3110 NEW BEST:: SOT 4429182 SOS 771879 HAS SOPS 771879 HAS SOUS 653522 HAS SOUPS 653522 WITH SCORE 654293.879
AT ITER 3147 NEW BEST:: SOT 4429147 SOS 771809 HAS SOPS 771809 HAS SOUS 653452 HAS SOUPS 653452 WITH SCORE 654223.809
AT ITER 3150 NEW BEST:: SOT 4429242 SOS 771999 HAS SOPS 771999 HAS SOUS 653304 HAS SOUPS 653304 WITH SCORE 654075.999
AT ITER 3154 NEW BEST:: SOT 4428888 SOS 771827 HAS SOPS 771827 HAS SOUS 653015 HAS SOUPS 653015 WITH SCORE 653786.827
AT ITER 3193 NEW BEST:: SOT 4428795 SOS 771391 HAS SOPS 771391 HAS SOUS 652625 HAS SOUPS 652625 WITH SCORE 653396.391
AT ITER 3194 NEW BEST:: SOT 4428795 SOS 771391 HAS SOPS 771391 HAS SOUS 652624 HAS SOUPS 652624 WITH SCORE 653395.391
AT ITER 3198 NEW BEST:: SOT 4428660 SOS 771256 HAS SOPS 771256 HAS SOUS 652489 HAS SOUPS 652489 WITH SCORE 653260.256
AT ITER 3224 NEW BEST:: SOT 4428655 SOS 771246 HAS SOPS 771246 HAS SOUS 652479 HAS SOUPS 652479 WITH SCORE 653250.246
AT ITER 3261 NEW BEST:: SOT 4428802 SOS 771540 HAS SOPS 771540 HAS SOUS 652361 HAS SOUPS 652361 WITH SCORE 653132.54
AT ITER 3269 NEW BEST:: SOT 4428802 SOS 771264 HAS SOPS 771264 HAS SOUS 652223 HAS SOUPS 652223 WITH SCORE 652994.264
AT ITER 3270 NEW BEST:: SOT 4428802 SOS 771159 HAS SOPS 771159 HAS SOUS 652223 HAS SOUPS 652223 WITH SCORE 652994.159
AT ITER 3299 NEW BEST:: SOT 4428588 SOS 770991 HAS SOPS 770991 HAS SOUS 652055 HAS SOUPS 652055 WITH SCORE 652825.991
AT ITER 3332 NEW BEST:: SOT 4428573 SOS 770349 HAS SOPS 770349 HAS SOUS 651582 HAS SOUPS 651582 WITH SCORE 652352.349
AT ITER 3340 NEW BEST:: SOT 4428485 SOS 770261 HAS SOPS 770261 HAS SOUS 651494 HAS SOUPS 651494 WITH SCORE 652264.261
AT ITER 3358 NEW BEST:: SOT 4428333 SOS 769957 HAS SOPS 769957 HAS SOUS 651190 HAS SOUPS 651190 WITH SCORE 651959.957
AT ITER 3368 NEW BEST:: SOT 4428225 SOS 769741 HAS SOPS 769741 HAS SOUS 650879 HAS SOUPS 650879 WITH SCORE 651648.741
AT ITER 3395 NEW BEST:: SOT 4428225 SOS 769741 HAS SOPS 769741 HAS SOUS 650812 HAS SOUPS 650812 WITH SCORE 651581.741
AT ITER 3399 NEW BEST:: SOT 4428224 SOS 769561 HAS SOPS 769561 HAS SOUS 650810 HAS SOUPS 650810 WITH SCORE 651579.561
AT ITER 3414 NEW BEST:: SOT 4428224 SOS 769552 HAS SOPS 769552 HAS SOUS 650801 HAS SOUPS 650801 WITH SCORE 651570.552
AT ITER 3419 NEW BEST:: SOT 4428224 SOS 769362 HAS SOPS 769362 HAS SOUS 650801 HAS SOUPS 650801 WITH SCORE 651570.362
AT ITER 3428 NEW BEST:: SOT 4428105 SOS 769124 HAS SOPS 769124 HAS SOUS 650538 HAS SOUPS 650538 WITH SCORE 651307.124
AT ITER 3449 NEW BEST:: SOT 4428077 SOS 769068 HAS SOPS 769068 HAS SOUS 650482 HAS SOUPS 650482 WITH SCORE 651251.068
AT ITER 3457 NEW BEST:: SOT 4428028 SOS 768970 HAS SOPS 768970 HAS SOUS 650384 HAS SOUPS 650384 WITH SCORE 651152.97
AT ITER 3496 NEW BEST:: SOT 4428028 SOS 768880 HAS SOPS 768880 HAS SOUS 650384 HAS SOUPS 650384 WITH SCORE 651152.88
AT ITER 3509 NEW BEST:: SOT 4428145 SOS 768982 HAS SOPS 768982 HAS SOUS 650207 HAS SOUPS 650207 WITH SCORE 650975.982
AT ITER 3564 NEW BEST:: SOT 4428125 SOS 768962 HAS SOPS 768962 HAS SOUS 650206 HAS SOUPS 650206 WITH SCORE 650974.962
AT ITER 3570 NEW BEST:: SOT 4428125 SOS 768780 HAS SOPS 768780 HAS SOUS 650206 HAS SOUPS 650206 WITH SCORE 650974.78
AT ITER 3586 NEW BEST:: SOT 4428052 SOS 768334 HAS SOPS 768334 HAS SOUS 650133 HAS SOUPS 650133 WITH SCORE 650901.334
AT ITER 3602 NEW BEST:: SOT 4427968 SOS 767906 HAS SOPS 767906 HAS SOUS 649964 HAS SOUPS 649964 WITH SCORE 650731.906
AT ITER 3611 NEW BEST:: SOT 4427967 SOS 767904 HAS SOPS 767904 HAS SOUS 649962 HAS SOUPS 649962 WITH SCORE 650729.904
AT ITER 3635 NEW BEST:: SOT 4427967 SOS 767818 HAS SOPS 767818 HAS SOUS 649962 HAS SOUPS 649962 WITH SCORE 650729.818
AT ITER 3649 NEW BEST:: SOT 4427901 SOS 768027 HAS SOPS 768027 HAS SOUS 649896 HAS SOUPS 649896 WITH SCORE 650664.027
AT ITER 3669 NEW BEST:: SOT 4427543 SOS 768107 HAS SOPS 768107 HAS SOUS 649737 HAS SOUPS 649737 WITH SCORE 650505.107
AT ITER 3673 NEW BEST:: SOT 4427676 SOS 768373 HAS SOPS 768373 HAS SOUS 649697 HAS SOUPS 649697 WITH SCORE 650465.373
AT ITER 3678 NEW BEST:: SOT 4427664 SOS 767930 HAS SOPS 767930 HAS SOUS 649612 HAS SOUPS 649612 WITH SCORE 650379.93
AT ITER 3691 NEW BEST:: SOT 4427664 SOS 767930 HAS SOPS 767930 HAS SOUS 649570 HAS SOUPS 649570 WITH SCORE 650337.93
AT ITER 3697 NEW BEST:: SOT 4427561 SOS 767724 HAS SOPS 767724 HAS SOUS 649567 HAS SOUPS 649567 WITH SCORE 650334.724
AT ITER 3706 NEW BEST:: SOT 4427403 SOS 767408 HAS SOPS 767408 HAS SOUS 649474 HAS SOUPS 649474 WITH SCORE 650241.408
AT ITER 3719 NEW BEST:: SOT 4427369 SOS 767340 HAS SOPS 767340 HAS SOUS 649440 HAS SOUPS 649440 WITH SCORE 650207.34
AT ITER 3724 NEW BEST:: SOT 4427093 SOS 767156 HAS SOPS 767156 HAS SOUS 649111 HAS SOUPS 649111 WITH SCORE 649878.156
AT ITER 3725 NEW BEST:: SOT 4427093 SOS 767143 HAS SOPS 767143 HAS SOUS 649098 HAS SOUPS 649098 WITH SCORE 649865.143
AT ITER 3731 NEW BEST:: SOT 4427064 SOS 767085 HAS SOPS 767085 HAS SOUS 649040 HAS SOUPS 649040 WITH SCORE 649807.085
AT ITER 3732 NEW BEST:: SOT 4427042 SOS 767041 HAS SOPS 767041 HAS SOUS 649011 HAS SOUPS 649011 WITH SCORE 649778.041
AT ITER 3735 NEW BEST:: SOT 4427056 SOS 766989 HAS SOPS 766989 HAS SOUS 648959 HAS SOUPS 648959 WITH SCORE 649725.989
AT ITER 3754 NEW BEST:: SOT 4427055 SOS 766987 HAS SOPS 766987 HAS SOUS 648957 HAS SOUPS 648957 WITH SCORE 649723.987
AT ITER 3769 NEW BEST:: SOT 4427028 SOS 766879 HAS SOPS 766879 HAS SOUS 648903 HAS SOUPS 648903 WITH SCORE 649669.879
AT ITER 3783 NEW BEST:: SOT 4426999 SOS 766821 HAS SOPS 766821 HAS SOUS 648874 HAS SOUPS 648874 WITH SCORE 649640.821
AT ITER 3793 NEW BEST:: SOT 4426768 SOS 766544 HAS SOPS 766544 HAS SOUS 648597 HAS SOUPS 648597 WITH SCORE 649363.544
AT ITER 3818 NEW BEST:: SOT 4426737 SOS 766513 HAS SOPS 766513 HAS SOUS 648535 HAS SOUPS 648535 WITH SCORE 649301.513
AT ITER 3822 NEW BEST:: SOT 4426737 SOS 766513 HAS SOPS 766513 HAS SOUS 648440 HAS SOUPS 648440 WITH SCORE 649206.513
AT ITER 3849 NEW BEST:: SOT 4426778 SOS 766234 HAS SOPS 766234 HAS SOUS 648292 HAS SOUPS 648292 WITH SCORE 649058.234
AT ITER 3858 NEW BEST:: SOT 4426778 SOS 766277 HAS SOPS 766277 HAS SOUS 648249 HAS SOUPS 648249 WITH SCORE 649015.277
AT ITER 3883 NEW BEST:: SOT 4426645 SOS 766431 HAS SOPS 766431 HAS SOUS 648116 HAS SOUPS 648116 WITH SCORE 648882.431
AT ITER 3904 NEW BEST:: SOT 4426265 SOS 765671 HAS SOPS 765671 HAS SOUS 647356 HAS SOUPS 647356 WITH SCORE 648121.671
AT ITER 3918 NEW BEST:: SOT 4426123 SOS 765387 HAS SOPS 765387 HAS SOUS 647213 HAS SOUPS 647213 WITH SCORE 647978.387
AT ITER 3965 NEW BEST:: SOT 4425994 SOS 765258 HAS SOPS 765258 HAS SOUS 647084 HAS SOUPS 647084 WITH SCORE 647849.258
AT ITER 3973 NEW BEST:: SOT 4425364 SOS 764628 HAS SOPS 764628 HAS SOUS 646454 HAS SOUPS 646454 WITH SCORE 647218.628
AT ITER 4030 NEW BEST:: SOT 4425158 SOS 764010 HAS SOPS 764010 HAS SOUS 646042 HAS SOUPS 646042 WITH SCORE 646806.01
AT ITER 4073 NEW BEST:: SOT 4424723 SOS 763436 HAS SOPS 763436 HAS SOUS 645459 HAS SOUPS 645459 WITH SCORE 646222.436
AT ITER 4086 NEW BEST:: SOT 4424368 SOS 762726 HAS SOPS 762726 HAS SOUS 645004 HAS SOUPS 645004 WITH SCORE 645766.726
AT ITER 4106 NEW BEST:: SOT 4424297 SOS 762584 HAS SOPS 762584 HAS SOUS 644862 HAS SOUPS 644862 WITH SCORE 645624.584
AT ITER 4112 NEW BEST:: SOT 4424051 SOS 763262 HAS SOPS 763262 HAS SOUS 644689 HAS SOUPS 644689 WITH SCORE 645452.262
AT ITER 4113 NEW BEST:: SOT 4423824 SOS 763035 HAS SOPS 763035 HAS SOUS 644462 HAS SOUPS 644462 WITH SCORE 645225.035
AT ITER 4144 NEW BEST:: SOT 4423781 SOS 762949 HAS SOPS 762949 HAS SOUS 644419 HAS SOUPS 644419 WITH SCORE 645181.949
AT ITER 4150 NEW BEST:: SOT 4423781 SOS 762809 HAS SOPS 762809 HAS SOUS 644279 HAS SOUPS 644279 WITH SCORE 645041.809
AT ITER 4152 NEW BEST:: SOT 4423703 SOS 762653 HAS SOPS 762653 HAS SOUS 644123 HAS SOUPS 644123 WITH SCORE 644885.653
AT ITER 4167 NEW BEST:: SOT 4423542 SOS 762331 HAS SOPS 762331 HAS SOUS 643801 HAS SOUPS 643801 WITH SCORE 644563.331
AT ITER 4173 NEW BEST:: SOT 4423534 SOS 762319 HAS SOPS 762319 HAS SOUS 643789 HAS SOUPS 643789 WITH SCORE 644551.319
AT ITER 4177 NEW BEST:: SOT 4423527 SOS 762305 HAS SOPS 762305 HAS SOUS 643775 HAS SOUPS 643775 WITH SCORE 644537.305
AT ITER 4181 NEW BEST:: SOT 4423372 SOS 762150 HAS SOPS 762150 HAS SOUS 643620 HAS SOUPS 643620 WITH SCORE 644382.15
AT ITER 4183 NEW BEST:: SOT 4423309 SOS 762120 HAS SOPS 762120 HAS SOUS 643557 HAS SOUPS 643557 WITH SCORE 644319.12
AT ITER 4192 NEW BEST:: SOT 4423012 SOS 761526 HAS SOPS 761526 HAS SOUS 643229 HAS SOUPS 643229 WITH SCORE 643990.526
AT ITER 4196 NEW BEST:: SOT 4422815 SOS 761132 HAS SOPS 761132 HAS SOUS 643032 HAS SOUPS 643032 WITH SCORE 643793.132
AT ITER 4203 NEW BEST:: SOT 4422815 SOS 760383 HAS SOPS 760383 HAS SOUS 642925 HAS SOUPS 642925 WITH SCORE 643685.383
AT ITER 4204 NEW BEST:: SOT 4422910 SOS 759689 HAS SOPS 759689 HAS SOUS 642910 HAS SOUPS 642910 WITH SCORE 643669.689
AT ITER 4225 NEW BEST:: SOT 4422866 SOS 759459 HAS SOPS 759459 HAS SOUS 642822 HAS SOUPS 642822 WITH SCORE 643581.459
AT ITER 4232 NEW BEST:: SOT 4422771 SOS 759269 HAS SOPS 759269 HAS SOUS 642727 HAS SOUPS 642727 WITH SCORE 643486.269
AT ITER 4246 NEW BEST:: SOT 4422647 SOS 759021 HAS SOPS 759021 HAS SOUS 642600 HAS SOUPS 642600 WITH SCORE 643359.021
AT ITER 4250 NEW BEST:: SOT 4422646 SOS 759019 HAS SOPS 759019 HAS SOUS 642598 HAS SOUPS 642598 WITH SCORE 643357.019
AT ITER 4275 NEW BEST:: SOT 4422194 SOS 758585 HAS SOPS 758585 HAS SOUS 642349 HAS SOUPS 642349 WITH SCORE 643107.585
AT ITER 4289 NEW BEST:: SOT 4422193 SOS 758583 HAS SOPS 758583 HAS SOUS 642347 HAS SOUPS 642347 WITH SCORE 643105.583
AT ITER 4335 NEW BEST:: SOT 4422092 SOS 758603 HAS SOPS 758603 HAS SOUS 642276 HAS SOUPS 642276 WITH SCORE 643034.603
AT ITER 4337 NEW BEST:: SOT 4422009 SOS 758437 HAS SOPS 758437 HAS SOUS 642193 HAS SOUPS 642193 WITH SCORE 642951.437
AT ITER 4339 NEW BEST:: SOT 4421636 SOS 758693 HAS SOPS 758693 HAS SOUS 642100 HAS SOUPS 642100 WITH SCORE 642858.693
AT ITER 4356 NEW BEST:: SOT 4421434 SOS 758526 HAS SOPS 758526 HAS SOUS 641921 HAS SOUPS 641921 WITH SCORE 642679.526
AT ITER 4386 NEW BEST:: SOT 4421433 SOS 758524 HAS SOPS 758524 HAS SOUS 641919 HAS SOUPS 641919 WITH SCORE 642677.524
AT ITER 4392 NEW BEST:: SOT 4421368 SOS 758459 HAS SOPS 758459 HAS SOUS 641854 HAS SOUPS 641854 WITH SCORE 642612.459
AT ITER 4412 NEW BEST:: SOT 4421366 SOS 758455 HAS SOPS 758455 HAS SOUS 641850 HAS SOUPS 641850 WITH SCORE 642608.455
AT ITER 4417 NEW BEST:: SOT 4421289 SOS 758301 HAS SOPS 758301 HAS SOUS 641773 HAS SOUPS 641773 WITH SCORE 642531.301
AT ITER 4444 NEW BEST:: SOT 4421275 SOS 758273 HAS SOPS 758273 HAS SOUS 641745 HAS SOUPS 641745 WITH SCORE 642503.273
AT ITER 4475 NEW BEST:: SOT 4421275 SOS 758193 HAS SOPS 758193 HAS SOUS 641745 HAS SOUPS 641745 WITH SCORE 642503.193
AT ITER 4499 NEW BEST:: SOT 4421308 SOS 758105 HAS SOPS 758105 HAS SOUS 641602 HAS SOUPS 641602 WITH SCORE 642360.105
AT ITER 4505 NEW BEST:: SOT 4421308 SOS 758064 HAS SOPS 758064 HAS SOUS 641602 HAS SOUPS 641602 WITH SCORE 642360.064
AT ITER 4558 NEW BEST:: SOT 4421307 SOS 758063 HAS SOPS 758063 HAS SOUS 641601 HAS SOUPS 641601 WITH SCORE 642359.063
AT ITER 4581 NEW BEST:: SOT 4421283 SOS 758015 HAS SOPS 758015 HAS SOUS 641553 HAS SOUPS 641553 WITH SCORE 642311.015
AT ITER 4613 NEW BEST:: SOT 4420467 SOS 761822 HAS SOPS 761822 HAS SOUS 641368 HAS SOUPS 641368 WITH SCORE 642129.822
AT ITER 4615 NEW BEST:: SOT 4420148 SOS 760752 HAS SOPS 760752 HAS SOUS 640730 HAS SOUPS 640730 WITH SCORE 641490.752
AT ITER 4653 NEW BEST:: SOT 4420050 SOS 760556 HAS SOPS 760556 HAS SOUS 640549 HAS SOUPS 640549 WITH SCORE 641309.556
AT ITER 4667 NEW BEST:: SOT 4420271 SOS 760717 HAS SOPS 760717 HAS SOUS 640469 HAS SOUPS 640469 WITH SCORE 641229.717
AT ITER 4685 NEW BEST:: SOT 4420243 SOS 760661 HAS SOPS 760661 HAS SOUS 640441 HAS SOUPS 640441 WITH SCORE 641201.661
AT ITER 4728 NEW BEST:: SOT 4420091 SOS 760509 HAS SOPS 760509 HAS SOUS 640289 HAS SOUPS 640289 WITH SCORE 641049.509
AT ITER 4742 NEW BEST:: SOT 4420227 SOS 760624 HAS SOPS 760624 HAS SOUS 640288 HAS SOUPS 640288 WITH SCORE 641048.624
AT ITER 4763 NEW BEST:: SOT 4420158 SOS 760555 HAS SOPS 760555 HAS SOUS 640200 HAS SOUPS 640200 WITH SCORE 640960.555
AT ITER 4776 NEW BEST:: SOT 4420001 SOS 760241 HAS SOPS 760241 HAS SOUS 639886 HAS SOUPS 639886 WITH SCORE 640646.241
AT ITER 4789 NEW BEST:: SOT 4419995 SOS 760229 HAS SOPS 760229 HAS SOUS 639884 HAS SOUPS 639884 WITH SCORE 640644.229
AT ITER 4797 NEW BEST:: SOT 4420133 SOS 759923 HAS SOPS 759923 HAS SOUS 639453 HAS SOUPS 639453 WITH SCORE 640212.923
AT ITER 4806 NEW BEST:: SOT 4420133 SOS 759881 HAS SOPS 759881 HAS SOUS 639453 HAS SOUPS 639453 WITH SCORE 640212.881
AT ITER 4810 NEW BEST:: SOT 4420128 SOS 759871 HAS SOPS 759871 HAS SOUS 639443 HAS SOUPS 639443 WITH SCORE 640202.871
AT ITER 4838 NEW BEST:: SOT 4420034 SOS 759965 HAS SOPS 759965 HAS SOUS 639360 HAS SOUPS 639360 WITH SCORE 640119.965
AT ITER 4848 NEW BEST:: SOT 4419997 SOS 759891 HAS SOPS 759891 HAS SOUS 639323 HAS SOUPS 639323 WITH SCORE 640082.891
AT ITER 4887 NEW BEST:: SOT 4419651 SOS 759759 HAS SOPS 759759 HAS SOUS 639050 HAS SOUPS 639050 WITH SCORE 639809.759
AT ITER 4889 NEW BEST:: SOT 4419636 SOS 759729 HAS SOPS 759729 HAS SOUS 639020 HAS SOUPS 639020 WITH SCORE 639779.729
AT ITER 4890 NEW BEST:: SOT 4419361 SOS 759179 HAS SOPS 759179 HAS SOUS 638600 HAS SOUPS 638600 WITH SCORE 639359.179
AT ITER 4891 NEW BEST:: SOT 4419239 SOS 759097 HAS SOPS 759097 HAS SOUS 638517 HAS SOUPS 638517 WITH SCORE 639276.097
AT ITER 4900 NEW BEST:: SOT 4418985 SOS 759429 HAS SOPS 759429 HAS SOUS 638263 HAS SOUPS 638263 WITH SCORE 639022.429
AT ITER 4902 NEW BEST:: SOT 4418785 SOS 759229 HAS SOPS 759229 HAS SOUS 637923 HAS SOUPS 637923 WITH SCORE 638682.229
AT ITER 4913 NEW BEST:: SOT 4418744 SOS 759147 HAS SOPS 759147 HAS SOUS 637841 HAS SOUPS 637841 WITH SCORE 638600.147
AT ITER 4928 NEW BEST:: SOT 4418700 SOS 759059 HAS SOPS 759059 HAS SOUS 637789 HAS SOUPS 637789 WITH SCORE 638548.059
AT ITER 4940 NEW BEST:: SOT 4418658 SOS 759091 HAS SOPS 759091 HAS SOUS 637786 HAS SOUPS 637786 WITH SCORE 638545.091
AT ITER 4956 NEW BEST:: SOT 4418518 SOS 758991 HAS SOPS 758991 HAS SOUS 637504 HAS SOUPS 637504 WITH SCORE 638262.991
AT ITER 4979 NEW BEST:: SOT 4418517 SOS 758921 HAS SOPS 758921 HAS SOUS 637500 HAS SOUPS 637500 WITH SCORE 638258.921
AT ITER 4998 NEW BEST:: SOT 4418487 SOS 758891 HAS SOPS 758891 HAS SOUS 637470 HAS SOUPS 637470 WITH SCORE 638228.891
AT ITER 5007 NEW BEST:: SOT 4418312 SOS 758541 HAS SOPS 758541 HAS SOUS 637295 HAS SOUPS 637295 WITH SCORE 638053.541
AT ITER 5031 NEW BEST:: SOT 4418221 SOS 758452 HAS SOPS 758452 HAS SOUS 637204 HAS SOUPS 637204 WITH SCORE 637962.452
AT ITER 5033 NEW BEST:: SOT 4418130 SOS 758270 HAS SOPS 758270 HAS SOUS 637022 HAS SOUPS 637022 WITH SCORE 637780.27
AT ITER 5039 NEW BEST:: SOT 4418040 SOS 758180 HAS SOPS 758180 HAS SOUS 636932 HAS SOUPS 636932 WITH SCORE 637690.18
AT ITER 5040 NEW BEST:: SOT 4418040 SOS 758180 HAS SOPS 758180 HAS SOUS 636867 HAS SOUPS 636867 WITH SCORE 637625.18
AT ITER 5044 NEW BEST:: SOT 4418040 SOS 758084 HAS SOPS 758084 HAS SOUS 636867 HAS SOUPS 636867 WITH SCORE 637625.084
AT ITER 5055 NEW BEST:: SOT 4418037 SOS 758078 HAS SOPS 758078 HAS SOUS 636857 HAS SOUPS 636857 WITH SCORE 637615.078
AT ITER 5091 NEW BEST:: SOT 4418058 SOS 757787 HAS SOPS 757787 HAS SOUS 636566 HAS SOUPS 636566 WITH SCORE 637323.787
AT ITER 5111 NEW BEST:: SOT 4418035 SOS 757649 HAS SOPS 757649 HAS SOUS 636520 HAS SOUPS 636520 WITH SCORE 637277.649
AT ITER 5112 NEW BEST:: SOT 4418035 SOS 757527 HAS SOPS 757527 HAS SOUS 636520 HAS SOUPS 636520 WITH SCORE 637277.527
AT ITER 5158 NEW BEST:: SOT 4418002 SOS 757494 HAS SOPS 757494 HAS SOUS 636454 HAS SOUPS 636454 WITH SCORE 637211.494
AT ITER 5161 NEW BEST:: SOT 4417770 SOS 757030 HAS SOPS 757030 HAS SOUS 635990 HAS SOUPS 635990 WITH SCORE 636747.03
AT ITER 5176 NEW BEST:: SOT 4417757 SOS 757004 HAS SOPS 757004 HAS SOUS 635752 HAS SOUPS 635752 WITH SCORE 636509.004
AT ITER 5183 NEW BEST:: SOT 4417742 SOS 757214 HAS SOPS 757214 HAS SOUS 635737 HAS SOUPS 635737 WITH SCORE 636494.214
AT ITER 5188 NEW BEST:: SOT 4417772 SOS 757274 HAS SOPS 757274 HAS SOUS 635663 HAS SOUPS 635663 WITH SCORE 636420.274
AT ITER 5211 NEW BEST:: SOT 4417701 SOS 757085 HAS SOPS 757085 HAS SOUS 635521 HAS SOUPS 635521 WITH SCORE 636278.085
AT ITER 5216 NEW BEST:: SOT 4417675 SOS 757033 HAS SOPS 757033 HAS SOUS 635460 HAS SOUPS 635460 WITH SCORE 636217.033
AT ITER 5238 NEW BEST:: SOT 4417652 SOS 756987 HAS SOPS 756987 HAS SOUS 635426 HAS SOUPS 635426 WITH SCORE 636182.987
AT ITER 5294 NEW BEST:: SOT 4417572 SOS 756668 HAS SOPS 756668 HAS SOUS 635266 HAS SOUPS 635266 WITH SCORE 636022.668
AT ITER 5357 NEW BEST:: SOT 4417572 SOS 756668 HAS SOPS 756668 HAS SOUS 635069 HAS SOUPS 635069 WITH SCORE 635825.668
AT ITER 5367 NEW BEST:: SOT 4417704 SOS 756733 HAS SOPS 756733 HAS SOUS 635066 HAS SOUPS 635066 WITH SCORE 635822.733
AT ITER 5376 NEW BEST:: SOT 4417704 SOS 756279 HAS SOPS 756279 HAS SOUS 635066 HAS SOUPS 635066 WITH SCORE 635822.279
AT ITER 5388 NEW BEST:: SOT 4417695 SOS 756261 HAS SOPS 756261 HAS SOUS 635057 HAS SOUPS 635057 WITH SCORE 635813.261
AT ITER 5398 NEW BEST:: SOT 4417656 SOS 756183 HAS SOPS 756183 HAS SOUS 634979 HAS SOUPS 634979 WITH SCORE 635735.183
AT ITER 5439 NEW BEST:: SOT 4417588 SOS 756115 HAS SOPS 756115 HAS SOUS 634910 HAS SOUPS 634910 WITH SCORE 635666.115
AT ITER 5441 NEW BEST:: SOT 4414492 SOS 764241 HAS SOPS 764241 HAS SOUS 632380 HAS SOUPS 632380 WITH SCORE 633144.241
AT ITER 5459 NEW BEST:: SOT 4414322 SOS 764071 HAS SOPS 764071 HAS SOUS 632209 HAS SOUPS 632209 WITH SCORE 632973.071
AT ITER 5520 NEW BEST:: SOT 4414172 SOS 763771 HAS SOPS 763771 HAS SOUS 632058 HAS SOUPS 632058 WITH SCORE 632821.771
AT ITER 5547 NEW BEST:: SOT 4414171 SOS 763769 HAS SOPS 763769 HAS SOUS 632056 HAS SOUPS 632056 WITH SCORE 632819.769
AT ITER 5608 NEW BEST:: SOT 4413768 SOS 763203 HAS SOPS 763203 HAS SOUS 631729 HAS SOUPS 631729 WITH SCORE 632492.203
AT ITER 5610 NEW BEST:: SOT 4413655 SOS 762977 HAS SOPS 762977 HAS SOUS 631503 HAS SOUPS 631503 WITH SCORE 632265.977
AT ITER 5628 NEW BEST:: SOT 4413366 SOS 762399 HAS SOPS 762399 HAS SOUS 631124 HAS SOUPS 631124 WITH SCORE 631886.399
AT ITER 5643 NEW BEST:: SOT 4413366 SOS 762169 HAS SOPS 762169 HAS SOUS 630894 HAS SOUPS 630894 WITH SCORE 631656.169
AT ITER 5649 NEW BEST:: SOT 4413292 SOS 762021 HAS SOPS 762021 HAS SOUS 630746 HAS SOUPS 630746 WITH SCORE 631508.021
AT ITER 5675 NEW BEST:: SOT 4412924 SOS 761285 HAS SOPS 761285 HAS SOUS 630568 HAS SOUPS 630568 WITH SCORE 631329.285
AT ITER 5677 NEW BEST:: SOT 4412862 SOS 761161 HAS SOPS 761161 HAS SOUS 630493 HAS SOUPS 630493 WITH SCORE 631254.161
AT ITER 5714 NEW BEST:: SOT 4412743 SOS 761042 HAS SOPS 761042 HAS SOUS 630338 HAS SOUPS 630338 WITH SCORE 631099.042
AT ITER 5719 NEW BEST:: SOT 4412753 SOS 760673 HAS SOPS 760673 HAS SOUS 630131 HAS SOUPS 630131 WITH SCORE 630891.673
AT ITER 5727 NEW BEST:: SOT 4412555 SOS 760277 HAS SOPS 760277 HAS SOUS 629834 HAS SOUPS 629834 WITH SCORE 630594.277
AT ITER 5783 NEW BEST:: SOT 4412542 SOS 760251 HAS SOPS 760251 HAS SOUS 629808 HAS SOUPS 629808 WITH SCORE 630568.251
AT ITER 5798 NEW BEST:: SOT 4412542 SOS 760063 HAS SOPS 760063 HAS SOUS 629714 HAS SOUPS 629714 WITH SCORE 630474.063
AT ITER 5815 NEW BEST:: SOT 4412584 SOS 738013 HAS SOPS 738013 HAS SOUS 629229 HAS SOUPS 629229 WITH SCORE 629967.013
AT ITER 5826 NEW BEST:: SOT 4412527 SOS 738023 HAS SOPS 738023 HAS SOUS 629172 HAS SOUPS 629172 WITH SCORE 629910.023
AT ITER 5828 NEW BEST:: SOT 4412292 SOS 737910 HAS SOPS 737910 HAS SOUS 628936 HAS SOUPS 628936 WITH SCORE 629673.91
AT ITER 5894 NEW BEST:: SOT 4412281 SOS 737888 HAS SOPS 737888 HAS SOUS 628914 HAS SOUPS 628914 WITH SCORE 629651.888
AT ITER 5905 NEW BEST:: SOT 4412280 SOS 737886 HAS SOPS 737886 HAS SOUS 628912 HAS SOUPS 628912 WITH SCORE 629649.886
AT ITER 5939 NEW BEST:: SOT 4412231 SOS 737532 HAS SOPS 737532 HAS SOUS 628814 HAS SOUPS 628814 WITH SCORE 629551.532
AT ITER 5961 NEW BEST:: SOT 4411719 SOS 737881 HAS SOPS 737881 HAS SOUS 628781 HAS SOUPS 628781 WITH SCORE 629518.881
AT ITER 5984 NEW BEST:: SOT 4411614 SOS 737671 HAS SOPS 737671 HAS SOUS 628331 HAS SOUPS 628331 WITH SCORE 629068.671
AT ITER 5988 NEW BEST:: SOT 4411607 SOS 737657 HAS SOPS 737657 HAS SOUS 628317 HAS SOUPS 628317 WITH SCORE 629054.657
AT ITER 6020 NEW BEST:: SOT 4411528 SOS 737499 HAS SOPS 737499 HAS SOUS 628238 HAS SOUPS 628238 WITH SCORE 628975.499
AT ITER 6043 NEW BEST:: SOT 4411261 SOS 737288 HAS SOPS 737288 HAS SOUS 627648 HAS SOUPS 627648 WITH SCORE 628385.288
AT ITER 6069 NEW BEST:: SOT 4411154 SOS 737074 HAS SOPS 737074 HAS SOUS 627434 HAS SOUPS 627434 WITH SCORE 628171.074
AT ITER 6075 NEW BEST:: SOT 4411078 SOS 736828 HAS SOPS 736828 HAS SOUS 627355 HAS SOUPS 627355 WITH SCORE 628091.828
AT ITER 6077 NEW BEST:: SOT 4411039 SOS 736789 HAS SOPS 736789 HAS SOUS 627277 HAS SOUPS 627277 WITH SCORE 628013.789
AT ITER 6093 NEW BEST:: SOT 4411039 SOS 736746 HAS SOPS 736746 HAS SOUS 627277 HAS SOUPS 627277 WITH SCORE 628013.746
AT ITER 6095 NEW BEST:: SOT 4411042 SOS 736752 HAS SOPS 736752 HAS SOUS 627061 HAS SOUPS 627061 WITH SCORE 627797.752
AT ITER 6115 NEW BEST:: SOT 4411029 SOS 736726 HAS SOPS 736726 HAS SOUS 627035 HAS SOUPS 627035 WITH SCORE 627771.726
AT ITER 6133 NEW BEST:: SOT 4410827 SOS 736524 HAS SOPS 736524 HAS SOUS 626854 HAS SOUPS 626854 WITH SCORE 627590.524
AT ITER 6144 NEW BEST:: SOT 4410827 SOS 736506 HAS SOPS 736506 HAS SOUS 626836 HAS SOUPS 626836 WITH SCORE 627572.506
AT ITER 6185 NEW BEST:: SOT 4410896 SOS 736144 HAS SOPS 736144 HAS SOUS 626474 HAS SOUPS 626474 WITH SCORE 627210.144
AT ITER 6208 NEW BEST:: SOT 4410867 SOS 736019 HAS SOPS 736019 HAS SOUS 626299 HAS SOUPS 626299 WITH SCORE 627035.019
AT ITER 6210 NEW BEST:: SOT 4410739 SOS 736019 HAS SOPS 736019 HAS SOUS 626237 HAS SOUPS 626237 WITH SCORE 626973.019
AT ITER 6227 NEW BEST:: SOT 4410663 SOS 732912 HAS SOPS 732912 HAS SOUS 626085 HAS SOUPS 626085 WITH SCORE 626817.912
AT ITER 6245 NEW BEST:: SOT 4410335 SOS 732584 HAS SOPS 732584 HAS SOUS 625757 HAS SOUPS 625757 WITH SCORE 626489.584
AT ITER 6278 NEW BEST:: SOT 4410190 SOS 732692 HAS SOPS 732692 HAS SOUS 625753 HAS SOUPS 625753 WITH SCORE 626485.692
AT ITER 6330 NEW BEST:: SOT 4410074 SOS 732576 HAS SOPS 732576 HAS SOUS 625601 HAS SOUPS 625601 WITH SCORE 626333.576
AT ITER 6383 NEW BEST:: SOT 4409805 SOS 732038 HAS SOPS 732038 HAS SOUS 625200 HAS SOUPS 625200 WITH SCORE 625932.038
AT ITER 6394 NEW BEST:: SOT 4409797 SOS 732022 HAS SOPS 732022 HAS SOUS 625184 HAS SOUPS 625184 WITH SCORE 625916.022
AT ITER 6425 NEW BEST:: SOT 4409761 SOS 732051 HAS SOPS 732051 HAS SOUS 625124 HAS SOUPS 625124 WITH SCORE 625856.051
AT ITER 6431 NEW BEST:: SOT 4409633 SOS 731695 HAS SOPS 731695 HAS SOUS 624868 HAS SOUPS 624868 WITH SCORE 625599.695
AT ITER 6440 NEW BEST:: SOT 4409545 SOS 731616 HAS SOPS 731616 HAS SOUS 624785 HAS SOUPS 624785 WITH SCORE 625516.616
AT ITER 6448 NEW BEST:: SOT 4409520 SOS 731566 HAS SOPS 731566 HAS SOUS 624735 HAS SOUPS 624735 WITH SCORE 625466.566
AT ITER 6464 NEW BEST:: SOT 4409592 SOS 731335 HAS SOPS 731335 HAS SOUS 624618 HAS SOUPS 624618 WITH SCORE 625349.335
AT ITER 6469 NEW BEST:: SOT 4409603 SOS 731074 HAS SOPS 731074 HAS SOUS 624602 HAS SOUPS 624602 WITH SCORE 625333.074
AT ITER 6492 NEW BEST:: SOT 4409397 SOS 730900 HAS SOPS 730900 HAS SOUS 624537 HAS SOUPS 624537 WITH SCORE 625267.9
AT ITER 6497 NEW BEST:: SOT 4409357 SOS 730656 HAS SOPS 730656 HAS SOUS 624457 HAS SOUPS 624457 WITH SCORE 625187.656
AT ITER 6506 NEW BEST:: SOT 4409357 SOS 730656 HAS SOPS 730656 HAS SOUS 624455 HAS SOUPS 624455 WITH SCORE 625185.656
AT ITER 6512 NEW BEST:: SOT 4408904 SOS 730587 HAS SOPS 730587 HAS SOUS 624162 HAS SOUPS 624162 WITH SCORE 624892.587
AT ITER 6564 NEW BEST:: SOT 4408780 SOS 730670 HAS SOPS 730670 HAS SOUS 624149 HAS SOUPS 624149 WITH SCORE 624879.67
AT ITER 6583 NEW BEST:: SOT 4408730 SOS 730570 HAS SOPS 730570 HAS SOUS 624099 HAS SOUPS 624099 WITH SCORE 624829.57
AT ITER 6590 NEW BEST:: SOT 4408590 SOS 730290 HAS SOPS 730290 HAS SOUS 623959 HAS SOUPS 623959 WITH SCORE 624689.29
AT ITER 6595 NEW BEST:: SOT 4408529 SOS 730335 HAS SOPS 730335 HAS SOUS 623923 HAS SOUPS 623923 WITH SCORE 624653.335
AT ITER 6639 NEW BEST:: SOT 4408504 SOS 730285 HAS SOPS 730285 HAS SOUS 623825 HAS SOUPS 623825 WITH SCORE 624555.285
AT ITER 6668 NEW BEST:: SOT 4408439 SOS 730155 HAS SOPS 730155 HAS SOUS 623695 HAS SOUPS 623695 WITH SCORE 624425.155
AT ITER 6703 NEW BEST:: SOT 4408438 SOS 730153 HAS SOPS 730153 HAS SOUS 623694 HAS SOUPS 623694 WITH SCORE 624424.153
AT ITER 6790 NEW BEST:: SOT 4408360 SOS 731596 HAS SOPS 731596 HAS SOUS 623655 HAS SOUPS 623655 WITH SCORE 624386.596
AT ITER 6796 NEW BEST:: SOT 4408360 SOS 731596 HAS SOPS 731596 HAS SOUS 623408 HAS SOUPS 623408 WITH SCORE 624139.596
AT ITER 6857 NEW BEST:: SOT 4408360 SOS 731470 HAS SOPS 731470 HAS SOUS 623282 HAS SOUPS 623282 WITH SCORE 624013.47
AT ITER 6870 NEW BEST:: SOT 4408730 SOS 731462 HAS SOPS 731462 HAS SOUS 623279 HAS SOUPS 623279 WITH SCORE 624010.462
AT ITER 6901 NEW BEST:: SOT 4408603 SOS 731081 HAS SOPS 731081 HAS SOUS 623025 HAS SOUPS 623025 WITH SCORE 623756.081
AT ITER 6910 NEW BEST:: SOT 4408260 SOS 730988 HAS SOPS 730988 HAS SOUS 622665 HAS SOUPS 622665 WITH SCORE 623395.988
AT ITER 6939 NEW BEST:: SOT 4408468 SOS 730471 HAS SOPS 730471 HAS SOUS 622296 HAS SOUPS 622296 WITH SCORE 623026.471
AT ITER 6941 NEW BEST:: SOT 4408339 SOS 730213 HAS SOPS 730213 HAS SOUS 622038 HAS SOUPS 622038 WITH SCORE 622768.213
AT ITER 6945 NEW BEST:: SOT 4408113 SOS 729987 HAS SOPS 729987 HAS SOUS 621872 HAS SOUPS 621872 WITH SCORE 622601.987
AT ITER 6947 NEW BEST:: SOT 4408113 SOS 729875 HAS SOPS 729875 HAS SOUS 621872 HAS SOUPS 621872 WITH SCORE 622601.875
AT ITER 6957 NEW BEST:: SOT 4407079 SOS 729529 HAS SOPS 729529 HAS SOUS 620953 HAS SOUPS 620953 WITH SCORE 621682.529
AT ITER 6960 NEW BEST:: SOT 4406971 SOS 729313 HAS SOPS 729313 HAS SOUS 620737 HAS SOUPS 620737 WITH SCORE 621466.313
AT ITER 6984 NEW BEST:: SOT 4406971 SOS 729313 HAS SOPS 729313 HAS SOUS 620735 HAS SOUPS 620735 WITH SCORE 621464.313
AT ITER 6988 NEW BEST:: SOT 4406617 SOS 729215 HAS SOPS 729215 HAS SOUS 620579 HAS SOUPS 620579 WITH SCORE 621308.215
AT ITER 6995 NEW BEST:: SOT 4406898 SOS 729127 HAS SOPS 729127 HAS SOUS 620199 HAS SOUPS 620199 WITH SCORE 620928.127
AT ITER 7003 NEW BEST:: SOT 4406637 SOS 728866 HAS SOPS 728866 HAS SOUS 619938 HAS SOUPS 619938 WITH SCORE 620666.866
AT ITER 7032 NEW BEST:: SOT 4406849 SOS 728933 HAS SOPS 728933 HAS SOUS 619933 HAS SOUPS 619933 WITH SCORE 620661.933
AT ITER 7039 NEW BEST:: SOT 4406830 SOS 728895 HAS SOPS 728895 HAS SOUS 619888 HAS SOUPS 619888 WITH SCORE 620616.895
AT ITER 7074 NEW BEST:: SOT 4406830 SOS 728846 HAS SOPS 728846 HAS SOUS 619888 HAS SOUPS 619888 WITH SCORE 620616.846
AT ITER 7105 NEW BEST:: SOT 4406809 SOS 728804 HAS SOPS 728804 HAS SOUS 619879 HAS SOUPS 619879 WITH SCORE 620607.804
AT ITER 7120 NEW BEST:: SOT 4406805 SOS 728654 HAS SOPS 728654 HAS SOUS 619734 HAS SOUPS 619734 WITH SCORE 620462.654
AT ITER 7123 NEW BEST:: SOT 4406736 SOS 728636 HAS SOPS 728636 HAS SOUS 619716 HAS SOUPS 619716 WITH SCORE 620444.636
AT ITER 7179 NEW BEST:: SOT 4406695 SOS 728554 HAS SOPS 728554 HAS SOUS 619634 HAS SOUPS 619634 WITH SCORE 620362.554
AT ITER 7215 NEW BEST:: SOT 4406695 SOS 728424 HAS SOPS 728424 HAS SOUS 619634 HAS SOUPS 619634 WITH SCORE 620362.424
AT ITER 7227 NEW BEST:: SOT 4406827 SOS 728688 HAS SOPS 728688 HAS SOUS 619562 HAS SOUPS 619562 WITH SCORE 620290.688
AT ITER 7235 NEW BEST:: SOT 4406827 SOS 728601 HAS SOPS 728601 HAS SOUS 619475 HAS SOUPS 619475 WITH SCORE 620203.601
AT ITER 7246 NEW BEST:: SOT 4406718 SOS 728492 HAS SOPS 728492 HAS SOUS 619459 HAS SOUPS 619459 WITH SCORE 620187.492
AT ITER 7249 NEW BEST:: SOT 4406290 SOS 727850 HAS SOPS 727850 HAS SOUS 618817 HAS SOUPS 618817 WITH SCORE 619544.85
AT ITER 7253 NEW BEST:: SOT 4406290 SOS 727607 HAS SOPS 727607 HAS SOUS 618817 HAS SOUPS 618817 WITH SCORE 619544.607
AT ITER 7279 NEW BEST:: SOT 4406168 SOS 727279 HAS SOPS 727279 HAS SOUS 618779 HAS SOUPS 618779 WITH SCORE 619506.279
AT ITER 7283 NEW BEST:: SOT 4405977 SOS 727335 HAS SOPS 727335 HAS SOUS 618670 HAS SOUPS 618670 WITH SCORE 619397.335
AT ITER 7295 NEW BEST:: SOT 4405953 SOS 727287 HAS SOPS 727287 HAS SOUS 618637 HAS SOUPS 618637 WITH SCORE 619364.287
AT ITER 7309 NEW BEST:: SOT 4405890 SOS 727098 HAS SOPS 727098 HAS SOUS 618448 HAS SOUPS 618448 WITH SCORE 619175.098
AT ITER 7353 NEW BEST:: SOT 4405753 SOS 727017 HAS SOPS 727017 HAS SOUS 618311 HAS SOUPS 618311 WITH SCORE 619038.017
AT ITER 7361 NEW BEST:: SOT 4405720 SOS 727309 HAS SOPS 727309 HAS SOUS 618278 HAS SOUPS 618278 WITH SCORE 619005.309
AT ITER 7366 NEW BEST:: SOT 4405309 SOS 727059 HAS SOPS 727059 HAS SOUS 617849 HAS SOUPS 617849 WITH SCORE 618576.059
AT ITER 7388 NEW BEST:: SOT 4405286 SOS 727013 HAS SOPS 727013 HAS SOUS 617808 HAS SOUPS 617808 WITH SCORE 618535.013
AT ITER 7390 NEW BEST:: SOT 4405282 SOS 727005 HAS SOPS 727005 HAS SOUS 617804 HAS SOUPS 617804 WITH SCORE 618531.005
AT ITER 7395 NEW BEST:: SOT 4405195 SOS 727170 HAS SOPS 727170 HAS SOUS 617783 HAS SOUPS 617783 WITH SCORE 618510.17
AT ITER 7437 NEW BEST:: SOT 4405118 SOS 727016 HAS SOPS 727016 HAS SOUS 617674 HAS SOUPS 617674 WITH SCORE 618401.016
AT ITER 7443 NEW BEST:: SOT 4404893 SOS 726791 HAS SOPS 726791 HAS SOUS 617449 HAS SOUPS 617449 WITH SCORE 618175.791
AT ITER 7454 NEW BEST:: SOT 4404783 SOS 726636 HAS SOPS 726636 HAS SOUS 617229 HAS SOUPS 617229 WITH SCORE 617955.636
AT ITER 7479 NEW BEST:: SOT 4404883 SOS 726836 HAS SOPS 726836 HAS SOUS 617164 HAS SOUPS 617164 WITH SCORE 617890.836
AT ITER 7524 NEW BEST:: SOT 4404874 SOS 726913 HAS SOPS 726913 HAS SOUS 617106 HAS SOUPS 617106 WITH SCORE 617832.913
AT ITER 7526 NEW BEST:: SOT 4404874 SOS 726883 HAS SOPS 726883 HAS SOUS 617076 HAS SOUPS 617076 WITH SCORE 617802.883
AT ITER 7539 NEW BEST:: SOT 4404807 SOS 726840 HAS SOPS 726840 HAS SOUS 617033 HAS SOUPS 617033 WITH SCORE 617759.84
AT ITER 7594 NEW BEST:: SOT 4404613 SOS 726284 HAS SOPS 726284 HAS SOUS 616448 HAS SOUPS 616448 WITH SCORE 617174.284
AT ITER 7595 NEW BEST:: SOT 4404394 SOS 726138 HAS SOPS 726138 HAS SOUS 616229 HAS SOUPS 616229 WITH SCORE 616955.138
AT ITER 7636 NEW BEST:: SOT 4404448 SOS 726246 HAS SOPS 726246 HAS SOUS 616187 HAS SOUPS 616187 WITH SCORE 616913.246
AT ITER 7652 NEW BEST:: SOT 4404302 SOS 725954 HAS SOPS 725954 HAS SOUS 615895 HAS SOUPS 615895 WITH SCORE 616620.954
AT ITER 7705 NEW BEST:: SOT 4404441 SOS 726232 HAS SOPS 726232 HAS SOUS 615883 HAS SOUPS 615883 WITH SCORE 616609.232
AT ITER 7710 NEW BEST:: SOT 4404228 SOS 725033 HAS SOPS 725033 HAS SOUS 615172 HAS SOUPS 615172 WITH SCORE 615897.033
AT ITER 7721 NEW BEST:: SOT 4404213 SOS 725023 HAS SOPS 725023 HAS SOUS 615157 HAS SOUPS 615157 WITH SCORE 615882.023
AT ITER 7724 NEW BEST:: SOT 4404139 SOS 724875 HAS SOPS 724875 HAS SOUS 615009 HAS SOUPS 615009 WITH SCORE 615733.875
AT ITER 7804 NEW BEST:: SOT 4404346 SOS 724772 HAS SOPS 724772 HAS SOUS 614699 HAS SOUPS 614699 WITH SCORE 615423.772
AT ITER 7815 NEW BEST:: SOT 4404277 SOS 724634 HAS SOPS 724634 HAS SOUS 614561 HAS SOUPS 614561 WITH SCORE 615285.634
AT ITER 7828 NEW BEST:: SOT 4404251 SOS 724582 HAS SOPS 724582 HAS SOUS 614509 HAS SOUPS 614509 WITH SCORE 615233.582
AT ITER 7831 NEW BEST:: SOT 4404251 SOS 724582 HAS SOPS 724582 HAS SOUS 614324 HAS SOUPS 614324 WITH SCORE 615048.582
AT ITER 7841 NEW BEST:: SOT 4404403 SOS 724886 HAS SOPS 724886 HAS SOUS 614323 HAS SOUPS 614323 WITH SCORE 615047.886
AT ITER 7847 NEW BEST:: SOT 4403618 SOS 724426 HAS SOPS 724426 HAS SOUS 613557 HAS SOUPS 613557 WITH SCORE 614281.426
AT ITER 7849 NEW BEST:: SOT 4403562 SOS 724314 HAS SOPS 724314 HAS SOUS 613522 HAS SOUPS 613522 WITH SCORE 614246.314
AT ITER 7850 NEW BEST:: SOT 4403314 SOS 724702 HAS SOPS 724702 HAS SOUS 613414 HAS SOUPS 613414 WITH SCORE 614138.702
AT ITER 7860 NEW BEST:: SOT 4402900 SOS 724300 HAS SOPS 724300 HAS SOUS 613003 HAS SOUPS 613003 WITH SCORE 613727.3
AT ITER 7876 NEW BEST:: SOT 4402770 SOS 724170 HAS SOPS 724170 HAS SOUS 612743 HAS SOUPS 612743 WITH SCORE 613467.17
AT ITER 7899 NEW BEST:: SOT 4402922 SOS 723732 HAS SOPS 723732 HAS SOUS 612153 HAS SOUPS 612153 WITH SCORE 612876.732
AT ITER 7915 NEW BEST:: SOT 4402922 SOS 723716 HAS SOPS 723716 HAS SOUS 612153 HAS SOUPS 612153 WITH SCORE 612876.716
AT ITER 7989 NEW BEST:: SOT 4402948 SOS 723256 HAS SOPS 723256 HAS SOUS 611978 HAS SOUPS 611978 WITH SCORE 612701.256
AT ITER 7994 NEW BEST:: SOT 4402626 SOS 723792 HAS SOPS 723792 HAS SOUS 611951 HAS SOUPS 611951 WITH SCORE 612674.792
AT ITER 8018 NEW BEST:: SOT 4402697 SOS 723219 HAS SOPS 723219 HAS SOUS 611378 HAS SOUPS 611378 WITH SCORE 612101.219
AT ITER 8038 NEW BEST:: SOT 4402697 SOS 723189 HAS SOPS 723189 HAS SOUS 611348 HAS SOUPS 611348 WITH SCORE 612071.189
AT ITER 8039 NEW BEST:: SOT 4402691 SOS 723177 HAS SOPS 723177 HAS SOUS 611336 HAS SOUPS 611336 WITH SCORE 612059.177
AT ITER 8067 NEW BEST:: SOT 4402687 SOS 723169 HAS SOPS 723169 HAS SOUS 611332 HAS SOUPS 611332 WITH SCORE 612055.169
AT ITER 8111 NEW BEST:: SOT 4402676 SOS 723158 HAS SOPS 723158 HAS SOUS 611316 HAS SOUPS 611316 WITH SCORE 612039.158
AT ITER 8141 NEW BEST:: SOT 4402347 SOS 722500 HAS SOPS 722500 HAS SOUS 611094 HAS SOUPS 611094 WITH SCORE 611816.5
AT ITER 8148 NEW BEST:: SOT 4402347 SOS 722500 HAS SOPS 722500 HAS SOUS 611052 HAS SOUPS 611052 WITH SCORE 611774.5
AT ITER 8199 NEW BEST:: SOT 4402341 SOS 722488 HAS SOPS 722488 HAS SOUS 611040 HAS SOUPS 611040 WITH SCORE 611762.488
AT ITER 8237 NEW BEST:: SOT 4401924 SOS 721237 HAS SOPS 721237 HAS SOUS 610623 HAS SOUPS 610623 WITH SCORE 611344.237
AT ITER 8304 NEW BEST:: SOT 4401924 SOS 721235 HAS SOPS 721235 HAS SOUS 610622 HAS SOUPS 610622 WITH SCORE 611343.235
AT ITER 8310 NEW BEST:: SOT 4401816 SOS 721019 HAS SOPS 721019 HAS SOUS 610406 HAS SOUPS 610406 WITH SCORE 611127.019
AT ITER 8311 NEW BEST:: SOT 4401768 SOS 720923 HAS SOPS 720923 HAS SOUS 610358 HAS SOUPS 610358 WITH SCORE 611078.923
AT ITER 8324 NEW BEST:: SOT 4401678 SOS 720743 HAS SOPS 720743 HAS SOUS 610178 HAS SOUPS 610178 WITH SCORE 610898.743
AT ITER 8377 NEW BEST:: SOT 4401702 SOS 720791 HAS SOPS 720791 HAS SOUS 610173 HAS SOUPS 610173 WITH SCORE 610893.791
AT ITER 8382 NEW BEST:: SOT 4401702 SOS 720790 HAS SOPS 720790 HAS SOUS 610171 HAS SOUPS 610171 WITH SCORE 610891.79
AT ITER 8383 NEW BEST:: SOT 4401668 SOS 720791 HAS SOPS 720791 HAS SOUS 610139 HAS SOUPS 610139 WITH SCORE 610859.791
AT ITER 8397 NEW BEST:: SOT 4401679 SOS 720764 HAS SOPS 720764 HAS SOUS 610111 HAS SOUPS 610111 WITH SCORE 610831.764
AT ITER 8410 NEW BEST:: SOT 4401657 SOS 720720 HAS SOPS 720720 HAS SOUS 610067 HAS SOUPS 610067 WITH SCORE 610787.72
AT ITER 8417 NEW BEST:: SOT 4401527 SOS 720460 HAS SOPS 720460 HAS SOUS 609807 HAS SOUPS 609807 WITH SCORE 610527.46
AT ITER 8423 NEW BEST:: SOT 4401642 SOS 720277 HAS SOPS 720277 HAS SOUS 609739 HAS SOUPS 609739 WITH SCORE 610459.277
AT ITER 8439 NEW BEST:: SOT 4401638 SOS 720269 HAS SOPS 720269 HAS SOUS 609731 HAS SOUPS 609731 WITH SCORE 610451.269
AT ITER 8442 NEW BEST:: SOT 4401638 SOS 719970 HAS SOPS 719970 HAS SOUS 609731 HAS SOUPS 609731 WITH SCORE 610450.97
AT ITER 8457 NEW BEST:: SOT 4401627 SOS 719948 HAS SOPS 719948 HAS SOUS 609712 HAS SOUPS 609712 WITH SCORE 610431.948
AT ITER 8468 NEW BEST:: SOT 4401627 SOS 719864 HAS SOPS 719864 HAS SOUS 609627 HAS SOUPS 609627 WITH SCORE 610346.864
AT ITER 8491 NEW BEST:: SOT 4401512 SOS 719998 HAS SOPS 719998 HAS SOUS 609512 HAS SOUPS 609512 WITH SCORE 610231.998
AT ITER 8507 NEW BEST:: SOT 4401431 SOS 719836 HAS SOPS 719836 HAS SOUS 609350 HAS SOUPS 609350 WITH SCORE 610069.836
AT ITER 8529 NEW BEST:: SOT 4401326 SOS 719344 HAS SOPS 719344 HAS SOUS 609112 HAS SOUPS 609112 WITH SCORE 609831.344
AT ITER 8578 NEW BEST:: SOT 4401290 SOS 719272 HAS SOPS 719272 HAS SOUS 609040 HAS SOUPS 609040 WITH SCORE 609759.272
AT ITER 8580 NEW BEST:: SOT 4401303 SOS 718774 HAS SOPS 718774 HAS SOUS 608791 HAS SOUPS 608791 WITH SCORE 609509.774
AT ITER 8582 NEW BEST:: SOT 4401009 SOS 718774 HAS SOPS 718774 HAS SOUS 608644 HAS SOUPS 608644 WITH SCORE 609362.774
AT ITER 8590 NEW BEST:: SOT 4400922 SOS 718818 HAS SOPS 718818 HAS SOUS 608470 HAS SOUPS 608470 WITH SCORE 609188.818
AT ITER 8614 NEW BEST:: SOT 4400734 SOS 718442 HAS SOPS 718442 HAS SOUS 608369 HAS SOUPS 608369 WITH SCORE 609087.442
AT ITER 8640 NEW BEST:: SOT 4400702 SOS 718508 HAS SOPS 718508 HAS SOUS 608305 HAS SOUPS 608305 WITH SCORE 609023.508
AT ITER 8667 NEW BEST:: SOT 4400689 SOS 718482 HAS SOPS 718482 HAS SOUS 608279 HAS SOUPS 608279 WITH SCORE 608997.482
AT ITER 8671 NEW BEST:: SOT 4400575 SOS 718254 HAS SOPS 718254 HAS SOUS 608165 HAS SOUPS 608165 WITH SCORE 608883.254
AT ITER 8684 NEW BEST:: SOT 4400574 SOS 718221 HAS SOPS 718221 HAS SOUS 608163 HAS SOUPS 608163 WITH SCORE 608881.221
AT ITER 8730 NEW BEST:: SOT 4400422 SOS 717917 HAS SOPS 717917 HAS SOUS 608011 HAS SOUPS 608011 WITH SCORE 608728.917
AT ITER 8753 NEW BEST:: SOT 4400534 SOS 717357 HAS SOPS 717357 HAS SOUS 608011 HAS SOUPS 608011 WITH SCORE 608728.357
AT ITER 8782 NEW BEST:: SOT 4400433 SOS 717155 HAS SOPS 717155 HAS SOUS 607836 HAS SOUPS 607836 WITH SCORE 608553.155
AT ITER 8796 NEW BEST:: SOT 4400433 SOS 716945 HAS SOPS 716945 HAS SOUS 607836 HAS SOUPS 607836 WITH SCORE 608552.945
AT ITER 8809 NEW BEST:: SOT 4400395 SOS 716869 HAS SOPS 716869 HAS SOUS 607769 HAS SOUPS 607769 WITH SCORE 608485.869
AT ITER 8858 NEW BEST:: SOT 4400395 SOS 716796 HAS SOPS 716796 HAS SOUS 607769 HAS SOUPS 607769 WITH SCORE 608485.796
AT ITER 8860 NEW BEST:: SOT 4400045 SOS 716382 HAS SOPS 716382 HAS SOUS 607419 HAS SOUPS 607419 WITH SCORE 608135.382
AT ITER 8864 NEW BEST:: SOT 4400045 SOS 716108 HAS SOPS 716108 HAS SOUS 607145 HAS SOUPS 607145 WITH SCORE 607861.108
AT ITER 8886 NEW BEST:: SOT 4400045 SOS 716004 HAS SOPS 716004 HAS SOUS 607145 HAS SOUPS 607145 WITH SCORE 607861.004
AT ITER 8888 NEW BEST:: SOT 4400014 SOS 715942 HAS SOPS 715942 HAS SOUS 607083 HAS SOUPS 607083 WITH SCORE 607798.942
AT ITER 8896 NEW BEST:: SOT 4399996 SOS 715906 HAS SOPS 715906 HAS SOUS 607047 HAS SOUPS 607047 WITH SCORE 607762.906
AT ITER 8900 NEW BEST:: SOT 4399721 SOS 715631 HAS SOPS 715631 HAS SOUS 606789 HAS SOUPS 606789 WITH SCORE 607504.631
AT ITER 8904 NEW BEST:: SOT 4399663 SOS 715515 HAS SOPS 715515 HAS SOUS 606673 HAS SOUPS 606673 WITH SCORE 607388.515
AT ITER 8950 NEW BEST:: SOT 4399663 SOS 715279 HAS SOPS 715279 HAS SOUS 606673 HAS SOUPS 606673 WITH SCORE 607388.279
AT ITER 8998 NEW BEST:: SOT 4399719 SOS 715238 HAS SOPS 715238 HAS SOUS 606578 HAS SOUPS 606578 WITH SCORE 607293.238
AT ITER 9094 NEW BEST:: SOT 4399454 SOS 715134 HAS SOPS 715134 HAS SOUS 606344 HAS SOUPS 606344 WITH SCORE 607059.134
AT ITER 9109 NEW BEST:: SOT 4399271 SOS 714768 HAS SOPS 714768 HAS SOUS 605978 HAS SOUPS 605978 WITH SCORE 606692.768
AT ITER 9122 NEW BEST:: SOT 4399271 SOS 714600 HAS SOPS 714600 HAS SOUS 605978 HAS SOUPS 605978 WITH SCORE 606692.6
AT ITER 9133 NEW BEST:: SOT 4399271 SOS 714232 HAS SOPS 714232 HAS SOUS 605625 HAS SOUPS 605625 WITH SCORE 606339.232
AT ITER 9219 NEW BEST:: SOT 4399234 SOS 714158 HAS SOPS 714158 HAS SOUS 605588 HAS SOUPS 605588 WITH SCORE 606302.158
AT ITER 9221 NEW BEST:: SOT 4399182 SOS 714054 HAS SOPS 714054 HAS SOUS 605484 HAS SOUPS 605484 WITH SCORE 606198.054
AT ITER 9297 NEW BEST:: SOT 4399074 SOS 713892 HAS SOPS 713892 HAS SOUS 605322 HAS SOUPS 605322 WITH SCORE 606035.892
AT ITER 9326 NEW BEST:: SOT 4398994 SOS 713732 HAS SOPS 713732 HAS SOUS 605322 HAS SOUPS 605322 WITH SCORE 606035.732
AT ITER 9329 NEW BEST:: SOT 4398836 SOS 713574 HAS SOPS 713574 HAS SOUS 605305 HAS SOUPS 605305 WITH SCORE 606018.574
AT ITER 9348 NEW BEST:: SOT 4398831 SOS 713564 HAS SOPS 713564 HAS SOUS 605295 HAS SOUPS 605295 WITH SCORE 606008.564
AT ITER 9359 NEW BEST:: SOT 4398623 SOS 713356 HAS SOPS 713356 HAS SOUS 605087 HAS SOUPS 605087 WITH SCORE 605800.356
AT ITER 9385 NEW BEST:: SOT 4398623 SOS 713318 HAS SOPS 713318 HAS SOUS 605087 HAS SOUPS 605087 WITH SCORE 605800.318
AT ITER 9394 NEW BEST:: SOT 4398626 SOS 713309 HAS SOPS 713309 HAS SOUS 605084 HAS SOUPS 605084 WITH SCORE 605797.309
AT ITER 9419 NEW BEST:: SOT 4398626 SOS 713276 HAS SOPS 713276 HAS SOUS 605051 HAS SOUPS 605051 WITH SCORE 605764.276
AT ITER 9428 NEW BEST:: SOT 4398362 SOS 713100 HAS SOPS 713100 HAS SOUS 604787 HAS SOUPS 604787 WITH SCORE 605500.1
AT ITER 9461 NEW BEST:: SOT 4398245 SOS 712866 HAS SOPS 712866 HAS SOUS 604670 HAS SOUPS 604670 WITH SCORE 605382.866
AT ITER 9465 NEW BEST:: SOT 4398245 SOS 712765 HAS SOPS 712765 HAS SOUS 604670 HAS SOUPS 604670 WITH SCORE 605382.765
AT ITER 9484 NEW BEST:: SOT 4398242 SOS 712759 HAS SOPS 712759 HAS SOUS 604636 HAS SOUPS 604636 WITH SCORE 605348.759
AT ITER 9506 NEW BEST:: SOT 4398203 SOS 712681 HAS SOPS 712681 HAS SOUS 604597 HAS SOUPS 604597 WITH SCORE 605309.681
AT ITER 9507 NEW BEST:: SOT 4397868 SOS 712156 HAS SOPS 712156 HAS SOUS 604352 HAS SOUPS 604352 WITH SCORE 605064.156
AT ITER 9517 NEW BEST:: SOT 4397864 SOS 712148 HAS SOPS 712148 HAS SOUS 604348 HAS SOUPS 604348 WITH SCORE 605060.148
AT ITER 9550 NEW BEST:: SOT 4397659 SOS 711898 HAS SOPS 711898 HAS SOUS 604306 HAS SOUPS 604306 WITH SCORE 605017.898
AT ITER 9557 NEW BEST:: SOT 4397352 SOS 711624 HAS SOPS 711624 HAS SOUS 604032 HAS SOUPS 604032 WITH SCORE 604743.624
AT ITER 9561 NEW BEST:: SOT 4397352 SOS 711598 HAS SOPS 711598 HAS SOUS 604006 HAS SOUPS 604006 WITH SCORE 604717.598
AT ITER 9567 NEW BEST:: SOT 4397245 SOS 711384 HAS SOPS 711384 HAS SOUS 603949 HAS SOUPS 603949 WITH SCORE 604660.384
AT ITER 9624 NEW BEST:: SOT 4397245 SOS 711384 HAS SOPS 711384 HAS SOUS 603779 HAS SOUPS 603779 WITH SCORE 604490.384
AT ITER 9644 NEW BEST:: SOT 4397080 SOS 711054 HAS SOPS 711054 HAS SOUS 603449 HAS SOUPS 603449 WITH SCORE 604160.054
AT ITER 9655 NEW BEST:: SOT 4397079 SOS 710951 HAS SOPS 710951 HAS SOUS 603447 HAS SOUPS 603447 WITH SCORE 604157.951
AT ITER 9712 NEW BEST:: SOT 4397079 SOS 710894 HAS SOPS 710894 HAS SOUS 603447 HAS SOUPS 603447 WITH SCORE 604157.894
AT ITER 9741 NEW BEST:: SOT 4397079 SOS 710894 HAS SOPS 710894 HAS SOUS 603444 HAS SOUPS 603444 WITH SCORE 604154.894
AT ITER 9748 NEW BEST:: SOT 4397071 SOS 710886 HAS SOPS 710886 HAS SOUS 603436 HAS SOUPS 603436 WITH SCORE 604146.886
AT ITER 9761 NEW BEST:: SOT 4396804 SOS 710127 HAS SOPS 710127 HAS SOUS 602994 HAS SOUPS 602994 WITH SCORE 603704.127
AT ITER 9770 NEW BEST:: SOT 4396917 SOS 709987 HAS SOPS 709987 HAS SOUS 602967 HAS SOUPS 602967 WITH SCORE 603676.987
AT ITER 9772 NEW BEST:: SOT 4396912 SOS 710207 HAS SOPS 710207 HAS SOUS 602962 HAS SOUPS 602962 WITH SCORE 603672.207
AT ITER 9789 NEW BEST:: SOT 4396912 SOS 709973 HAS SOPS 709973 HAS SOUS 602962 HAS SOUPS 602962 WITH SCORE 603671.973
AT ITER 9799 NEW BEST:: SOT 4396943 SOS 709535 HAS SOPS 709535 HAS SOUS 602767 HAS SOUPS 602767 WITH SCORE 603476.535
AT ITER 9843 NEW BEST:: SOT 4396943 SOS 709242 HAS SOPS 709242 HAS SOUS 602767 HAS SOUPS 602767 WITH SCORE 603476.242
AT ITER 9848 NEW BEST:: SOT 4396856 SOS 709519 HAS SOPS 709519 HAS SOUS 602679 HAS SOUPS 602679 WITH SCORE 603388.519
AT ITER 9900 NEW BEST:: SOT 4396849 SOS 709645 HAS SOPS 709645 HAS SOUS 602665 HAS SOUPS 602665 WITH SCORE 603374.645
AT ITER 9912 NEW BEST:: SOT 4396755 SOS 709457 HAS SOPS 709457 HAS SOUS 602488 HAS SOUPS 602488 WITH SCORE 603197.457
AT ITER 9936 NEW BEST:: SOT 4396747 SOS 709441 HAS SOPS 709441 HAS SOUS 602480 HAS SOUPS 602480 WITH SCORE 603189.441
AT ITER 9951 NEW BEST:: SOT 4396755 SOS 709425 HAS SOPS 709425 HAS SOUS 602480 HAS SOUPS 602480 WITH SCORE 603189.425
AT ITER 9971 NEW BEST:: SOT 4396652 SOS 709219 HAS SOPS 709219 HAS SOUS 602345 HAS SOUPS 602345 WITH SCORE 603054.219
AT ITER 9973 NEW BEST:: SOT 4396639 SOS 708403 HAS SOPS 708403 HAS SOUS 602025 HAS SOUPS 602025 WITH SCORE 602733.403
AT ITER 9986 NEW BEST:: SOT 4396533 SOS 708191 HAS SOPS 708191 HAS SOUS 601812 HAS SOUPS 601812 WITH SCORE 602520.191
AT ITER 9995 NEW BEST:: SOT 4396533 SOS 707817 HAS SOPS 707817 HAS SOUS 601625 HAS SOUPS 601625 WITH SCORE 602332.817
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 12241152 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16120040 kB

BK_TIME_CONFINEMENT_REACHED

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

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CloudReconfiguration-PT-320"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is CloudReconfiguration-PT-320, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r107-tall-167814483800160"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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