Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r048-ebro-158902541600016.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
........................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is CloudReconfiguration-PT-302, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902541600016
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 844K
-rw-r--r-- 1 mcc users 4.4K Mar 30 01:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Mar 30 01:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Mar 28 16:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 21K Mar 28 16:12 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.1K Apr 8 14:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Apr 8 14:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Mar 27 08:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 27 08:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 26 08:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 26 08:13 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 660K Mar 24 05:37 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 1589088016314

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 302
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 2585 places, 3095 transitions, 6463 arcs.
AT ITER 0 NEW BEST:: SOT 4449289 SOS 709645 HAS SOPS 709645 HAS SOUS 687806 HAS SOUPS 687806 WITH SCORE 688515.645
AT ITER 12 NEW BEST:: SOT 4449220 SOS 709403 HAS SOPS 709403 HAS SOUS 687564 HAS SOUPS 687564 WITH SCORE 688273.403
AT ITER 38 NEW BEST:: SOT 4448624 SOS 709371 HAS SOPS 709371 HAS SOUS 686827 HAS SOUPS 686827 WITH SCORE 687536.371
AT ITER 58 NEW BEST:: SOT 4448824 SOS 709265 HAS SOPS 709265 HAS SOUS 686774 HAS SOUPS 686774 WITH SCORE 687483.265
AT ITER 64 NEW BEST:: SOT 4448537 SOS 709545 HAS SOPS 709545 HAS SOUS 686697 HAS SOUPS 686697 WITH SCORE 687406.545
AT ITER 116 NEW BEST:: SOT 4448537 SOS 709476 HAS SOPS 709476 HAS SOUS 686628 HAS SOUPS 686628 WITH SCORE 687337.476
AT ITER 142 NEW BEST:: SOT 4448493 SOS 709458 HAS SOPS 709458 HAS SOUS 686607 HAS SOUPS 686607 WITH SCORE 687316.458
AT ITER 183 NEW BEST:: SOT 4448493 SOS 709457 HAS SOPS 709457 HAS SOUS 686606 HAS SOUPS 686606 WITH SCORE 687315.457
AT ITER 189 NEW BEST:: SOT 4448316 SOS 709339 HAS SOPS 709339 HAS SOUS 686488 HAS SOUPS 686488 WITH SCORE 687197.339
AT ITER 219 NEW BEST:: SOT 4448316 SOS 709185 HAS SOPS 709185 HAS SOUS 686334 HAS SOUPS 686334 WITH SCORE 687043.185
AT ITER 241 NEW BEST:: SOT 4448248 SOS 709117 HAS SOPS 709117 HAS SOUS 686266 HAS SOUPS 686266 WITH SCORE 686975.117
AT ITER 283 NEW BEST:: SOT 4448098 SOS 709002 HAS SOPS 709002 HAS SOUS 686151 HAS SOUPS 686151 WITH SCORE 686860.002
AT ITER 297 NEW BEST:: SOT 4448100 SOS 708849 HAS SOPS 708849 HAS SOUS 685996 HAS SOUPS 685996 WITH SCORE 686704.849
AT ITER 312 NEW BEST:: SOT 4448116 SOS 708534 HAS SOPS 708534 HAS SOUS 685681 HAS SOUPS 685681 WITH SCORE 686389.534
AT ITER 318 NEW BEST:: SOT 4447840 SOS 708258 HAS SOPS 708258 HAS SOUS 685405 HAS SOUPS 685405 WITH SCORE 686113.258
AT ITER 359 NEW BEST:: SOT 4447831 SOS 708249 HAS SOPS 708249 HAS SOUS 685396 HAS SOUPS 685396 WITH SCORE 686104.249
AT ITER 366 NEW BEST:: SOT 4447791 SOS 708169 HAS SOPS 708169 HAS SOUS 685316 HAS SOUPS 685316 WITH SCORE 686024.169
AT ITER 368 NEW BEST:: SOT 4447589 SOS 707765 HAS SOPS 707765 HAS SOUS 684912 HAS SOUPS 684912 WITH SCORE 685619.765
AT ITER 369 NEW BEST:: SOT 4447589 SOS 707764 HAS SOPS 707764 HAS SOUS 684911 HAS SOUPS 684911 WITH SCORE 685618.764
AT ITER 398 NEW BEST:: SOT 4445934 SOS 747258 HAS SOPS 747258 HAS SOUS 684690 HAS SOUPS 684690 WITH SCORE 685437.258
AT ITER 413 NEW BEST:: SOT 4445747 SOS 746884 HAS SOPS 746884 HAS SOUS 684316 HAS SOUPS 684316 WITH SCORE 685062.884
AT ITER 416 NEW BEST:: SOT 4445704 SOS 747230 HAS SOPS 747230 HAS SOUS 684189 HAS SOUPS 684189 WITH SCORE 684936.23
AT ITER 428 NEW BEST:: SOT 4445436 SOS 747038 HAS SOPS 747038 HAS SOUS 683952 HAS SOUPS 683952 WITH SCORE 684699.038
AT ITER 543 NEW BEST:: SOT 4445234 SOS 746762 HAS SOPS 746762 HAS SOUS 683622 HAS SOUPS 683622 WITH SCORE 684368.762
AT ITER 583 NEW BEST:: SOT 4445000 SOS 746485 HAS SOPS 746485 HAS SOUS 683345 HAS SOUPS 683345 WITH SCORE 684091.485
AT ITER 659 NEW BEST:: SOT 4444955 SOS 746395 HAS SOPS 746395 HAS SOUS 683255 HAS SOUPS 683255 WITH SCORE 684001.395
AT ITER 666 NEW BEST:: SOT 4444955 SOS 746394 HAS SOPS 746394 HAS SOUS 683254 HAS SOUPS 683254 WITH SCORE 684000.394
AT ITER 710 NEW BEST:: SOT 4444912 SOS 746308 HAS SOPS 746308 HAS SOUS 683168 HAS SOUPS 683168 WITH SCORE 683914.308
AT ITER 733 NEW BEST:: SOT 4444813 SOS 746110 HAS SOPS 746110 HAS SOUS 682970 HAS SOUPS 682970 WITH SCORE 683716.11
AT ITER 769 NEW BEST:: SOT 4444797 SOS 746094 HAS SOPS 746094 HAS SOUS 682954 HAS SOUPS 682954 WITH SCORE 683700.094
AT ITER 771 NEW BEST:: SOT 4444796 SOS 746092 HAS SOPS 746092 HAS SOUS 682952 HAS SOUPS 682952 WITH SCORE 683698.092
AT ITER 798 NEW BEST:: SOT 4444855 SOS 746314 HAS SOPS 746314 HAS SOUS 682940 HAS SOUPS 682940 WITH SCORE 683686.314
AT ITER 810 NEW BEST:: SOT 4444855 SOS 746314 HAS SOPS 746314 HAS SOUS 682938 HAS SOUPS 682938 WITH SCORE 683684.314
AT ITER 816 NEW BEST:: SOT 4444855 SOS 746137 HAS SOPS 746137 HAS SOUS 682761 HAS SOUPS 682761 WITH SCORE 683507.137
AT ITER 866 NEW BEST:: SOT 4444798 SOS 746291 HAS SOPS 746291 HAS SOUS 682542 HAS SOUPS 682542 WITH SCORE 683288.291
AT ITER 872 NEW BEST:: SOT 4444798 SOS 746290 HAS SOPS 746290 HAS SOUS 682541 HAS SOUPS 682541 WITH SCORE 683287.29
AT ITER 900 NEW BEST:: SOT 4444780 SOS 746254 HAS SOPS 746254 HAS SOUS 682505 HAS SOUPS 682505 WITH SCORE 683251.254
AT ITER 916 NEW BEST:: SOT 4444425 SOS 745898 HAS SOPS 745898 HAS SOUS 682149 HAS SOUPS 682149 WITH SCORE 682894.898
AT ITER 958 NEW BEST:: SOT 4440212 SOS 800262 HAS SOPS 800262 HAS SOUS 680467 HAS SOUPS 680467 WITH SCORE 681267.262
AT ITER 975 NEW BEST:: SOT 4440210 SOS 800258 HAS SOPS 800258 HAS SOUS 680463 HAS SOUPS 680463 WITH SCORE 681263.258
AT ITER 977 NEW BEST:: SOT 4440210 SOS 800257 HAS SOPS 800257 HAS SOUS 680462 HAS SOUPS 680462 WITH SCORE 681262.257
AT ITER 1015 NEW BEST:: SOT 4439905 SOS 799280 HAS SOPS 799280 HAS SOUS 679852 HAS SOUPS 679852 WITH SCORE 680651.28
AT ITER 1018 NEW BEST:: SOT 4439640 SOS 798750 HAS SOPS 798750 HAS SOUS 679322 HAS SOUPS 679322 WITH SCORE 680120.75
AT ITER 1042 NEW BEST:: SOT 4439638 SOS 798746 HAS SOPS 798746 HAS SOUS 679318 HAS SOUPS 679318 WITH SCORE 680116.746
AT ITER 1057 NEW BEST:: SOT 4439596 SOS 798690 HAS SOPS 798690 HAS SOUS 679262 HAS SOUPS 679262 WITH SCORE 680060.69
AT ITER 1086 NEW BEST:: SOT 4439742 SOS 798982 HAS SOPS 798982 HAS SOUS 679231 HAS SOUPS 679231 WITH SCORE 680029.982
AT ITER 1087 NEW BEST:: SOT 4439446 SOS 798766 HAS SOPS 798766 HAS SOUS 678978 HAS SOUPS 678978 WITH SCORE 679776.766
AT ITER 1088 NEW BEST:: SOT 4439446 SOS 798656 HAS SOPS 798656 HAS SOUS 678978 HAS SOUPS 678978 WITH SCORE 679776.656
AT ITER 1093 NEW BEST:: SOT 4439445 SOS 798654 HAS SOPS 798654 HAS SOUS 678976 HAS SOUPS 678976 WITH SCORE 679774.654
AT ITER 1099 NEW BEST:: SOT 4439445 SOS 798408 HAS SOPS 798408 HAS SOUS 678853 HAS SOUPS 678853 WITH SCORE 679651.408
AT ITER 1109 NEW BEST:: SOT 4439377 SOS 798272 HAS SOPS 798272 HAS SOUS 678717 HAS SOUPS 678717 WITH SCORE 679515.272
AT ITER 1133 NEW BEST:: SOT 4439218 SOS 797954 HAS SOPS 797954 HAS SOUS 678234 HAS SOUPS 678234 WITH SCORE 679031.954
AT ITER 1172 NEW BEST:: SOT 4438883 SOS 783214 HAS SOPS 783214 HAS SOUS 677564 HAS SOUPS 677564 WITH SCORE 678347.214
AT ITER 1194 NEW BEST:: SOT 4438629 SOS 782960 HAS SOPS 782960 HAS SOUS 677310 HAS SOUPS 677310 WITH SCORE 678092.96
AT ITER 1196 NEW BEST:: SOT 4438629 SOS 782959 HAS SOPS 782959 HAS SOUS 677309 HAS SOUPS 677309 WITH SCORE 678091.959
AT ITER 1218 NEW BEST:: SOT 4438494 SOS 782689 HAS SOPS 782689 HAS SOUS 677308 HAS SOUPS 677308 WITH SCORE 678090.689
AT ITER 1242 NEW BEST:: SOT 4438483 SOS 782667 HAS SOPS 782667 HAS SOUS 677286 HAS SOUPS 677286 WITH SCORE 678068.667
AT ITER 1248 NEW BEST:: SOT 4438249 SOS 782199 HAS SOPS 782199 HAS SOUS 676818 HAS SOUPS 676818 WITH SCORE 677600.199
AT ITER 1278 NEW BEST:: SOT 4438034 SOS 781769 HAS SOPS 781769 HAS SOUS 676388 HAS SOUPS 676388 WITH SCORE 677169.769
AT ITER 1301 NEW BEST:: SOT 4437985 SOS 781671 HAS SOPS 781671 HAS SOUS 676290 HAS SOUPS 676290 WITH SCORE 677071.671
AT ITER 1306 NEW BEST:: SOT 4437924 SOS 781549 HAS SOPS 781549 HAS SOUS 676168 HAS SOUPS 676168 WITH SCORE 676949.549
AT ITER 1319 NEW BEST:: SOT 4437864 SOS 781429 HAS SOPS 781429 HAS SOUS 676108 HAS SOUPS 676108 WITH SCORE 676889.429
AT ITER 1341 NEW BEST:: SOT 4437740 SOS 781181 HAS SOPS 781181 HAS SOUS 675860 HAS SOUPS 675860 WITH SCORE 676641.181
AT ITER 1345 NEW BEST:: SOT 4437372 SOS 780813 HAS SOPS 780813 HAS SOUS 675400 HAS SOUPS 675400 WITH SCORE 676180.813
AT ITER 1359 NEW BEST:: SOT 4437173 SOS 780643 HAS SOPS 780643 HAS SOUS 675201 HAS SOUPS 675201 WITH SCORE 675981.643
AT ITER 1372 NEW BEST:: SOT 4437051 SOS 780399 HAS SOPS 780399 HAS SOUS 674957 HAS SOUPS 674957 WITH SCORE 675737.399
AT ITER 1373 NEW BEST:: SOT 4437028 SOS 780312 HAS SOPS 780312 HAS SOUS 674893 HAS SOUPS 674893 WITH SCORE 675673.312
AT ITER 1403 NEW BEST:: SOT 4436926 SOS 780398 HAS SOPS 780398 HAS SOUS 674848 HAS SOUPS 674848 WITH SCORE 675628.398
AT ITER 1439 NEW BEST:: SOT 4436925 SOS 780396 HAS SOPS 780396 HAS SOUS 674846 HAS SOUPS 674846 WITH SCORE 675626.396
AT ITER 1447 NEW BEST:: SOT 4436825 SOS 780196 HAS SOPS 780196 HAS SOUS 674646 HAS SOUPS 674646 WITH SCORE 675426.196
AT ITER 1452 NEW BEST:: SOT 4436547 SOS 779918 HAS SOPS 779918 HAS SOUS 674368 HAS SOUPS 674368 WITH SCORE 675147.918
AT ITER 1460 NEW BEST:: SOT 4436466 SOS 779756 HAS SOPS 779756 HAS SOUS 674206 HAS SOUPS 674206 WITH SCORE 674985.756
AT ITER 1478 NEW BEST:: SOT 4436466 SOS 779756 HAS SOPS 779756 HAS SOUS 674205 HAS SOUPS 674205 WITH SCORE 674984.756
AT ITER 1480 NEW BEST:: SOT 4436098 SOS 779443 HAS SOPS 779443 HAS SOUS 673854 HAS SOUPS 673854 WITH SCORE 674633.443
AT ITER 1493 NEW BEST:: SOT 4435906 SOS 776499 HAS SOPS 776499 HAS SOUS 673598 HAS SOUPS 673598 WITH SCORE 674374.499
AT ITER 1498 NEW BEST:: SOT 4435756 SOS 776349 HAS SOPS 776349 HAS SOUS 673448 HAS SOUPS 673448 WITH SCORE 674224.349
AT ITER 1567 NEW BEST:: SOT 4435756 SOS 776326 HAS SOPS 776326 HAS SOUS 673425 HAS SOUPS 673425 WITH SCORE 674201.326
AT ITER 1575 NEW BEST:: SOT 4435676 SOS 776279 HAS SOPS 776279 HAS SOUS 673374 HAS SOUPS 673374 WITH SCORE 674150.279
AT ITER 1580 NEW BEST:: SOT 4435659 SOS 776245 HAS SOPS 776245 HAS SOUS 673225 HAS SOUPS 673225 WITH SCORE 674001.245
AT ITER 1589 NEW BEST:: SOT 4435422 SOS 776167 HAS SOPS 776167 HAS SOUS 673042 HAS SOUPS 673042 WITH SCORE 673818.167
AT ITER 1601 NEW BEST:: SOT 4435438 SOS 776199 HAS SOPS 776199 HAS SOUS 672736 HAS SOUPS 672736 WITH SCORE 673512.199
AT ITER 1611 NEW BEST:: SOT 4435434 SOS 776161 HAS SOPS 776161 HAS SOUS 672732 HAS SOUPS 672732 WITH SCORE 673508.161
AT ITER 1617 NEW BEST:: SOT 4435434 SOS 776160 HAS SOPS 776160 HAS SOUS 672731 HAS SOUPS 672731 WITH SCORE 673507.16
AT ITER 1649 NEW BEST:: SOT 4435366 SOS 776024 HAS SOPS 776024 HAS SOUS 672595 HAS SOUPS 672595 WITH SCORE 673371.024
AT ITER 1655 NEW BEST:: SOT 4435327 SOS 775946 HAS SOPS 775946 HAS SOUS 672517 HAS SOUPS 672517 WITH SCORE 673292.946
AT ITER 1658 NEW BEST:: SOT 4435099 SOS 775490 HAS SOPS 775490 HAS SOUS 672061 HAS SOUPS 672061 WITH SCORE 672836.49
AT ITER 1667 NEW BEST:: SOT 4435089 SOS 775763 HAS SOPS 775763 HAS SOUS 671951 HAS SOUPS 671951 WITH SCORE 672726.763
AT ITER 1674 NEW BEST:: SOT 4434682 SOS 774949 HAS SOPS 774949 HAS SOUS 671274 HAS SOUPS 671274 WITH SCORE 672048.949
AT ITER 1696 NEW BEST:: SOT 4434582 SOS 774849 HAS SOPS 774849 HAS SOUS 671142 HAS SOUPS 671142 WITH SCORE 671916.849
AT ITER 1706 NEW BEST:: SOT 4434409 SOS 774503 HAS SOPS 774503 HAS SOUS 670796 HAS SOUPS 670796 WITH SCORE 671570.503
AT ITER 1707 NEW BEST:: SOT 4434346 SOS 774194 HAS SOPS 774194 HAS SOUS 670568 HAS SOUPS 670568 WITH SCORE 671342.194
AT ITER 1719 NEW BEST:: SOT 4434021 SOS 773544 HAS SOPS 773544 HAS SOUS 670539 HAS SOUPS 670539 WITH SCORE 671312.544
AT ITER 1736 NEW BEST:: SOT 4433859 SOS 773220 HAS SOPS 773220 HAS SOUS 670215 HAS SOUPS 670215 WITH SCORE 670988.22
AT ITER 1765 NEW BEST:: SOT 4433578 SOS 772939 HAS SOPS 772939 HAS SOUS 669934 HAS SOUPS 669934 WITH SCORE 670706.939
AT ITER 1775 NEW BEST:: SOT 4433372 SOS 772939 HAS SOPS 772939 HAS SOUS 669831 HAS SOUPS 669831 WITH SCORE 670603.939
AT ITER 1798 NEW BEST:: SOT 4433372 SOS 772907 HAS SOPS 772907 HAS SOUS 669799 HAS SOUPS 669799 WITH SCORE 670571.907
AT ITER 1821 NEW BEST:: SOT 4433113 SOS 772565 HAS SOPS 772565 HAS SOUS 669456 HAS SOUPS 669456 WITH SCORE 670228.565
AT ITER 1890 NEW BEST:: SOT 4432666 SOS 771957 HAS SOPS 771957 HAS SOUS 668848 HAS SOUPS 668848 WITH SCORE 669619.957
AT ITER 1895 NEW BEST:: SOT 4432965 SOS 771964 HAS SOPS 771964 HAS SOUS 668718 HAS SOUPS 668718 WITH SCORE 669489.964
AT ITER 1900 NEW BEST:: SOT 4432964 SOS 771962 HAS SOPS 771962 HAS SOUS 668716 HAS SOUPS 668716 WITH SCORE 669487.962
AT ITER 1905 NEW BEST:: SOT 4432657 SOS 771753 HAS SOPS 771753 HAS SOUS 668644 HAS SOUPS 668644 WITH SCORE 669415.753
AT ITER 1911 NEW BEST:: SOT 4432657 SOS 771752 HAS SOPS 771752 HAS SOUS 668643 HAS SOUPS 668643 WITH SCORE 669414.752
AT ITER 1918 NEW BEST:: SOT 4432191 SOS 771416 HAS SOPS 771416 HAS SOUS 668307 HAS SOUPS 668307 WITH SCORE 669078.416
AT ITER 1926 NEW BEST:: SOT 4432056 SOS 771365 HAS SOPS 771365 HAS SOUS 668240 HAS SOUPS 668240 WITH SCORE 669011.365
AT ITER 1927 NEW BEST:: SOT 4431977 SOS 771207 HAS SOPS 771207 HAS SOUS 668082 HAS SOUPS 668082 WITH SCORE 668853.207
AT ITER 1943 NEW BEST:: SOT 4431872 SOS 770997 HAS SOPS 770997 HAS SOUS 667872 HAS SOUPS 667872 WITH SCORE 668642.997
AT ITER 1981 NEW BEST:: SOT 4431799 SOS 771014 HAS SOPS 771014 HAS SOUS 667799 HAS SOUPS 667799 WITH SCORE 668570.014
AT ITER 2007 NEW BEST:: SOT 4431645 SOS 770706 HAS SOPS 770706 HAS SOUS 667491 HAS SOUPS 667491 WITH SCORE 668261.706
AT ITER 2028 NEW BEST:: SOT 4431645 SOS 770706 HAS SOPS 770706 HAS SOUS 667474 HAS SOUPS 667474 WITH SCORE 668244.706
AT ITER 2042 NEW BEST:: SOT 4431581 SOS 770655 HAS SOPS 770655 HAS SOUS 667410 HAS SOUPS 667410 WITH SCORE 668180.655
AT ITER 2043 NEW BEST:: SOT 4431581 SOS 770500 HAS SOPS 770500 HAS SOUS 667410 HAS SOUPS 667410 WITH SCORE 668180.5
AT ITER 2075 NEW BEST:: SOT 4431581 SOS 770227 HAS SOPS 770227 HAS SOUS 667137 HAS SOUPS 667137 WITH SCORE 667907.227
AT ITER 2082 NEW BEST:: SOT 4431581 SOS 770227 HAS SOPS 770227 HAS SOUS 667110 HAS SOUPS 667110 WITH SCORE 667880.227
AT ITER 2084 NEW BEST:: SOT 4431334 SOS 769980 HAS SOPS 769980 HAS SOUS 666863 HAS SOUPS 666863 WITH SCORE 667632.98
AT ITER 2102 NEW BEST:: SOT 4431146 SOS 769604 HAS SOPS 769604 HAS SOUS 666487 HAS SOUPS 666487 WITH SCORE 667256.604
AT ITER 2134 NEW BEST:: SOT 4431000 SOS 769546 HAS SOPS 769546 HAS SOUS 666419 HAS SOUPS 666419 WITH SCORE 667188.546
AT ITER 2175 NEW BEST:: SOT 4430521 SOS 769796 HAS SOPS 769796 HAS SOUS 666207 HAS SOUPS 666207 WITH SCORE 666976.796
AT ITER 2188 NEW BEST:: SOT 4430371 SOS 769496 HAS SOPS 769496 HAS SOUS 666057 HAS SOUPS 666057 WITH SCORE 666826.496
AT ITER 2217 NEW BEST:: SOT 4429972 SOS 769097 HAS SOPS 769097 HAS SOUS 665658 HAS SOUPS 665658 WITH SCORE 666427.097
AT ITER 2245 NEW BEST:: SOT 4429784 SOS 768721 HAS SOPS 768721 HAS SOUS 665282 HAS SOUPS 665282 WITH SCORE 666050.721
AT ITER 2260 NEW BEST:: SOT 4429705 SOS 768702 HAS SOPS 768702 HAS SOUS 665263 HAS SOUPS 665263 WITH SCORE 666031.702
AT ITER 2285 NEW BEST:: SOT 4429551 SOS 768046 HAS SOPS 768046 HAS SOUS 664803 HAS SOUPS 664803 WITH SCORE 665571.046
AT ITER 2360 NEW BEST:: SOT 4429401 SOS 767746 HAS SOPS 767746 HAS SOUS 664503 HAS SOUPS 664503 WITH SCORE 665270.746
AT ITER 2379 NEW BEST:: SOT 4429351 SOS 767646 HAS SOPS 767646 HAS SOUS 664403 HAS SOUPS 664403 WITH SCORE 665170.646
AT ITER 2416 NEW BEST:: SOT 4429511 SOS 767552 HAS SOPS 767552 HAS SOUS 664309 HAS SOUPS 664309 WITH SCORE 665076.552
AT ITER 2434 NEW BEST:: SOT 4429431 SOS 767392 HAS SOPS 767392 HAS SOUS 664149 HAS SOUPS 664149 WITH SCORE 664916.392
AT ITER 2440 NEW BEST:: SOT 4429289 SOS 767250 HAS SOPS 767250 HAS SOUS 664007 HAS SOUPS 664007 WITH SCORE 664774.25
AT ITER 2514 NEW BEST:: SOT 4429062 SOS 757262 HAS SOPS 757262 HAS SOUS 663553 HAS SOUPS 663553 WITH SCORE 664310.262
AT ITER 2528 NEW BEST:: SOT 4428957 SOS 757052 HAS SOPS 757052 HAS SOUS 663196 HAS SOUPS 663196 WITH SCORE 663953.052
AT ITER 2535 NEW BEST:: SOT 4428575 SOS 756670 HAS SOPS 756670 HAS SOUS 662814 HAS SOUPS 662814 WITH SCORE 663570.67
AT ITER 2562 NEW BEST:: SOT 4428575 SOS 756398 HAS SOPS 756398 HAS SOUS 662542 HAS SOUPS 662542 WITH SCORE 663298.398
AT ITER 2574 NEW BEST:: SOT 4428455 SOS 756333 HAS SOPS 756333 HAS SOUS 662422 HAS SOUPS 662422 WITH SCORE 663178.333
AT ITER 2576 NEW BEST:: SOT 4428226 SOS 756104 HAS SOPS 756104 HAS SOUS 662193 HAS SOUPS 662193 WITH SCORE 662949.104
AT ITER 2599 NEW BEST:: SOT 4427836 SOS 755324 HAS SOPS 755324 HAS SOUS 661704 HAS SOUPS 661704 WITH SCORE 662459.324
AT ITER 2608 NEW BEST:: SOT 4427815 SOS 755282 HAS SOPS 755282 HAS SOUS 661662 HAS SOUPS 661662 WITH SCORE 662417.282
AT ITER 2619 NEW BEST:: SOT 4427332 SOS 754799 HAS SOPS 754799 HAS SOUS 661179 HAS SOUPS 661179 WITH SCORE 661933.799
AT ITER 2626 NEW BEST:: SOT 4427146 SOS 754690 HAS SOPS 754690 HAS SOUS 661041 HAS SOUPS 661041 WITH SCORE 661795.69
AT ITER 2648 NEW BEST:: SOT 4427146 SOS 754622 HAS SOPS 754622 HAS SOUS 661007 HAS SOUPS 661007 WITH SCORE 661761.622
AT ITER 2674 NEW BEST:: SOT 4427066 SOS 754542 HAS SOPS 754542 HAS SOUS 660927 HAS SOUPS 660927 WITH SCORE 661681.542
AT ITER 2679 NEW BEST:: SOT 4426869 SOS 754148 HAS SOPS 754148 HAS SOUS 660008 HAS SOUPS 660008 WITH SCORE 660762.148
AT ITER 2691 NEW BEST:: SOT 4426667 SOS 753744 HAS SOPS 753744 HAS SOUS 659604 HAS SOUPS 659604 WITH SCORE 660357.744
AT ITER 2703 NEW BEST:: SOT 4426667 SOS 753744 HAS SOPS 753744 HAS SOUS 659569 HAS SOUPS 659569 WITH SCORE 660322.744
AT ITER 2735 NEW BEST:: SOT 4426648 SOS 753706 HAS SOPS 753706 HAS SOUS 659550 HAS SOUPS 659550 WITH SCORE 660303.706
AT ITER 2747 NEW BEST:: SOT 4426410 SOS 753706 HAS SOPS 753706 HAS SOUS 659431 HAS SOUPS 659431 WITH SCORE 660184.706
AT ITER 2771 NEW BEST:: SOT 4426507 SOS 753419 HAS SOPS 753419 HAS SOUS 659047 HAS SOUPS 659047 WITH SCORE 659800.419
AT ITER 2787 NEW BEST:: SOT 4426498 SOS 752965 HAS SOPS 752965 HAS SOUS 658720 HAS SOUPS 658720 WITH SCORE 659472.965
AT ITER 2788 NEW BEST:: SOT 4426314 SOS 752597 HAS SOPS 752597 HAS SOUS 658352 HAS SOUPS 658352 WITH SCORE 659104.597
AT ITER 2799 NEW BEST:: SOT 4426143 SOS 752255 HAS SOPS 752255 HAS SOUS 657842 HAS SOUPS 657842 WITH SCORE 658594.255
AT ITER 2819 NEW BEST:: SOT 4426065 SOS 752192 HAS SOPS 752192 HAS SOUS 657779 HAS SOUPS 657779 WITH SCORE 658531.192
AT ITER 2856 NEW BEST:: SOT 4425557 SOS 751684 HAS SOPS 751684 HAS SOUS 657271 HAS SOUPS 657271 WITH SCORE 658022.684
AT ITER 2897 NEW BEST:: SOT 4425642 SOS 751854 HAS SOPS 751854 HAS SOUS 657162 HAS SOUPS 657162 WITH SCORE 657913.854
AT ITER 2913 NEW BEST:: SOT 4425624 SOS 751836 HAS SOPS 751836 HAS SOUS 657144 HAS SOUPS 657144 WITH SCORE 657895.836
AT ITER 2929 NEW BEST:: SOT 4425736 SOS 751719 HAS SOPS 751719 HAS SOUS 657027 HAS SOUPS 657027 WITH SCORE 657778.719
AT ITER 2934 NEW BEST:: SOT 4425636 SOS 751586 HAS SOPS 751586 HAS SOUS 656898 HAS SOUPS 656898 WITH SCORE 657649.586
AT ITER 2943 NEW BEST:: SOT 4425398 SOS 751110 HAS SOPS 751110 HAS SOUS 656422 HAS SOUPS 656422 WITH SCORE 657173.11
AT ITER 2944 NEW BEST:: SOT 4425488 SOS 751290 HAS SOPS 751290 HAS SOUS 656416 HAS SOUPS 656416 WITH SCORE 657167.29
AT ITER 2955 NEW BEST:: SOT 4425350 SOS 751152 HAS SOPS 751152 HAS SOUS 656278 HAS SOUPS 656278 WITH SCORE 657029.152
AT ITER 2961 NEW BEST:: SOT 4425349 SOS 751150 HAS SOPS 751150 HAS SOUS 656276 HAS SOUPS 656276 WITH SCORE 657027.15
AT ITER 2980 NEW BEST:: SOT 4425278 SOS 751008 HAS SOPS 751008 HAS SOUS 656134 HAS SOUPS 656134 WITH SCORE 656885.008
AT ITER 3012 NEW BEST:: SOT 4425113 SOS 750898 HAS SOPS 750898 HAS SOUS 655969 HAS SOUPS 655969 WITH SCORE 656719.898
AT ITER 3035 NEW BEST:: SOT 4425154 SOS 750980 HAS SOPS 750980 HAS SOUS 655924 HAS SOUPS 655924 WITH SCORE 656674.98
AT ITER 3037 NEW BEST:: SOT 4424761 SOS 751658 HAS SOPS 751658 HAS SOUS 655700 HAS SOUPS 655700 WITH SCORE 656451.658
AT ITER 3040 NEW BEST:: SOT 4424538 SOS 751508 HAS SOPS 751508 HAS SOUS 655490 HAS SOUPS 655490 WITH SCORE 656241.508
AT ITER 3060 NEW BEST:: SOT 4424567 SOS 751079 HAS SOPS 751079 HAS SOUS 655249 HAS SOUPS 655249 WITH SCORE 656000.079
AT ITER 3069 NEW BEST:: SOT 4424566 SOS 751077 HAS SOPS 751077 HAS SOUS 655218 HAS SOUPS 655218 WITH SCORE 655969.077
AT ITER 3075 NEW BEST:: SOT 4424435 SOS 751154 HAS SOPS 751154 HAS SOUS 655205 HAS SOUPS 655205 WITH SCORE 655956.154
AT ITER 3078 NEW BEST:: SOT 4424111 SOS 750749 HAS SOPS 750749 HAS SOUS 654800 HAS SOUPS 654800 WITH SCORE 655550.749
AT ITER 3093 NEW BEST:: SOT 4424025 SOS 750749 HAS SOPS 750749 HAS SOUS 654714 HAS SOUPS 654714 WITH SCORE 655464.749
AT ITER 3095 NEW BEST:: SOT 4424001 SOS 750701 HAS SOPS 750701 HAS SOUS 654690 HAS SOUPS 654690 WITH SCORE 655440.701
AT ITER 3108 NEW BEST:: SOT 4423983 SOS 750665 HAS SOPS 750665 HAS SOUS 654654 HAS SOUPS 654654 WITH SCORE 655404.665
AT ITER 3118 NEW BEST:: SOT 4423607 SOS 749913 HAS SOPS 749913 HAS SOUS 654199 HAS SOUPS 654199 WITH SCORE 654948.913
AT ITER 3140 NEW BEST:: SOT 4423246 SOS 749403 HAS SOPS 749403 HAS SOUS 653684 HAS SOUPS 653684 WITH SCORE 654433.403
AT ITER 3240 NEW BEST:: SOT 4423245 SOS 749401 HAS SOPS 749401 HAS SOUS 653682 HAS SOUPS 653682 WITH SCORE 654431.401
AT ITER 3249 NEW BEST:: SOT 4423245 SOS 749356 HAS SOPS 749356 HAS SOUS 653637 HAS SOUPS 653637 WITH SCORE 654386.356
AT ITER 3273 NEW BEST:: SOT 4423045 SOS 749166 HAS SOPS 749166 HAS SOUS 653446 HAS SOUPS 653446 WITH SCORE 654195.166
AT ITER 3278 NEW BEST:: SOT 4422998 SOS 749434 HAS SOPS 749434 HAS SOUS 653398 HAS SOUPS 653398 WITH SCORE 654147.434
AT ITER 3335 NEW BEST:: SOT 4422993 SOS 749424 HAS SOPS 749424 HAS SOUS 653388 HAS SOUPS 653388 WITH SCORE 654137.424
AT ITER 3342 NEW BEST:: SOT 4422966 SOS 749455 HAS SOPS 749455 HAS SOUS 653374 HAS SOUPS 653374 WITH SCORE 654123.455
AT ITER 3353 NEW BEST:: SOT 4422895 SOS 749409 HAS SOPS 749409 HAS SOUS 653302 HAS SOUPS 653302 WITH SCORE 654051.409
AT ITER 3363 NEW BEST:: SOT 4422790 SOS 749199 HAS SOPS 749199 HAS SOUS 652902 HAS SOUPS 652902 WITH SCORE 653651.199
AT ITER 3416 NEW BEST:: SOT 4422543 SOS 748952 HAS SOPS 748952 HAS SOUS 652655 HAS SOUPS 652655 WITH SCORE 653403.952
AT ITER 3431 NEW BEST:: SOT 4422094 SOS 748606 HAS SOPS 748606 HAS SOUS 652206 HAS SOUPS 652206 WITH SCORE 652954.606
AT ITER 3477 NEW BEST:: SOT 4422218 SOS 749249 HAS SOPS 749249 HAS SOUS 652163 HAS SOUPS 652163 WITH SCORE 652912.249
AT ITER 3508 NEW BEST:: SOT 4422217 SOS 749312 HAS SOPS 749312 HAS SOUS 652161 HAS SOUPS 652161 WITH SCORE 652910.312
AT ITER 3516 NEW BEST:: SOT 4422217 SOS 749311 HAS SOPS 749311 HAS SOUS 652160 HAS SOUPS 652160 WITH SCORE 652909.311
AT ITER 3519 NEW BEST:: SOT 4422010 SOS 749104 HAS SOPS 749104 HAS SOUS 651953 HAS SOUPS 651953 WITH SCORE 652702.104
AT ITER 3540 NEW BEST:: SOT 4421907 SOS 749017 HAS SOPS 749017 HAS SOUS 651850 HAS SOUPS 651850 WITH SCORE 652599.017
AT ITER 3549 NEW BEST:: SOT 4421893 SOS 748989 HAS SOPS 748989 HAS SOUS 651822 HAS SOUPS 651822 WITH SCORE 652570.989
AT ITER 3556 NEW BEST:: SOT 4421833 SOS 748929 HAS SOPS 748929 HAS SOUS 651702 HAS SOUPS 651702 WITH SCORE 652450.929
AT ITER 3579 NEW BEST:: SOT 4421813 SOS 748889 HAS SOPS 748889 HAS SOUS 651682 HAS SOUPS 651682 WITH SCORE 652430.889
AT ITER 3594 NEW BEST:: SOT 4421797 SOS 748857 HAS SOPS 748857 HAS SOUS 651650 HAS SOUPS 651650 WITH SCORE 652398.857
AT ITER 3626 NEW BEST:: SOT 4421657 SOS 748717 HAS SOPS 748717 HAS SOUS 651510 HAS SOUPS 651510 WITH SCORE 652258.717
AT ITER 3677 NEW BEST:: SOT 4421657 SOS 748717 HAS SOPS 748717 HAS SOUS 651365 HAS SOUPS 651365 WITH SCORE 652113.717
AT ITER 3694 NEW BEST:: SOT 4421622 SOS 748647 HAS SOPS 748647 HAS SOUS 651365 HAS SOUPS 651365 WITH SCORE 652113.647
AT ITER 3713 NEW BEST:: SOT 4421408 SOS 747679 HAS SOPS 747679 HAS SOUS 651299 HAS SOUPS 651299 WITH SCORE 652046.679
AT ITER 3714 NEW BEST:: SOT 4421408 SOS 747679 HAS SOPS 747679 HAS SOUS 651298 HAS SOUPS 651298 WITH SCORE 652045.679
AT ITER 3731 NEW BEST:: SOT 4421408 SOS 747679 HAS SOPS 747679 HAS SOUS 651245 HAS SOUPS 651245 WITH SCORE 651992.679
AT ITER 3735 NEW BEST:: SOT 4421307 SOS 747477 HAS SOPS 747477 HAS SOUS 651144 HAS SOUPS 651144 WITH SCORE 651891.477
AT ITER 3752 NEW BEST:: SOT 4420881 SOS 746838 HAS SOPS 746838 HAS SOUS 650505 HAS SOUPS 650505 WITH SCORE 651251.838
AT ITER 3768 NEW BEST:: SOT 4420718 SOS 746727 HAS SOPS 746727 HAS SOUS 650371 HAS SOUPS 650371 WITH SCORE 651117.727
AT ITER 3780 NEW BEST:: SOT 4420586 SOS 746595 HAS SOPS 746595 HAS SOUS 650139 HAS SOUPS 650139 WITH SCORE 650885.595
AT ITER 3782 NEW BEST:: SOT 4420586 SOS 746371 HAS SOPS 746371 HAS SOUS 650139 HAS SOUPS 650139 WITH SCORE 650885.371
AT ITER 3787 NEW BEST:: SOT 4420586 SOS 746371 HAS SOPS 746371 HAS SOUS 650136 HAS SOUPS 650136 WITH SCORE 650882.371
AT ITER 3795 NEW BEST:: SOT 4420497 SOS 746193 HAS SOPS 746193 HAS SOUS 649958 HAS SOUPS 649958 WITH SCORE 650704.193
AT ITER 3820 NEW BEST:: SOT 4420486 SOS 746171 HAS SOPS 746171 HAS SOUS 649950 HAS SOUPS 649950 WITH SCORE 650696.171
AT ITER 3822 NEW BEST:: SOT 4420348 SOS 746287 HAS SOPS 746287 HAS SOUS 649812 HAS SOUPS 649812 WITH SCORE 650558.287
AT ITER 3830 NEW BEST:: SOT 4420303 SOS 746083 HAS SOPS 746083 HAS SOUS 649713 HAS SOUPS 649713 WITH SCORE 650459.083
AT ITER 3836 NEW BEST:: SOT 4420259 SOS 745995 HAS SOPS 745995 HAS SOUS 649669 HAS SOUPS 649669 WITH SCORE 650414.995
AT ITER 3902 NEW BEST:: SOT 4419933 SOS 745343 HAS SOPS 745343 HAS SOUS 649555 HAS SOUPS 649555 WITH SCORE 650300.343
AT ITER 3919 NEW BEST:: SOT 4419933 SOS 745343 HAS SOPS 745343 HAS SOUS 649414 HAS SOUPS 649414 WITH SCORE 650159.343
AT ITER 3958 NEW BEST:: SOT 4419553 SOS 744131 HAS SOPS 744131 HAS SOUS 649034 HAS SOUPS 649034 WITH SCORE 649778.131
AT ITER 3968 NEW BEST:: SOT 4419520 SOS 744098 HAS SOPS 744098 HAS SOUS 649001 HAS SOUPS 649001 WITH SCORE 649745.098
AT ITER 3976 NEW BEST:: SOT 4419378 SOS 744396 HAS SOPS 744396 HAS SOUS 648935 HAS SOUPS 648935 WITH SCORE 649679.396
AT ITER 3986 NEW BEST:: SOT 4419243 SOS 744126 HAS SOPS 744126 HAS SOUS 648527 HAS SOUPS 648527 WITH SCORE 649271.126
AT ITER 4011 NEW BEST:: SOT 4419217 SOS 744074 HAS SOPS 744074 HAS SOUS 648475 HAS SOUPS 648475 WITH SCORE 649219.074
AT ITER 4016 NEW BEST:: SOT 4419181 SOS 744002 HAS SOPS 744002 HAS SOUS 648403 HAS SOUPS 648403 WITH SCORE 649147.002
AT ITER 4020 NEW BEST:: SOT 4419187 SOS 744014 HAS SOPS 744014 HAS SOUS 648233 HAS SOUPS 648233 WITH SCORE 648977.014
AT ITER 4040 NEW BEST:: SOT 4419152 SOS 743944 HAS SOPS 743944 HAS SOUS 648163 HAS SOUPS 648163 WITH SCORE 648906.944
AT ITER 4047 NEW BEST:: SOT 4419119 SOS 743878 HAS SOPS 743878 HAS SOUS 648097 HAS SOUPS 648097 WITH SCORE 648840.878
AT ITER 4105 NEW BEST:: SOT 4419118 SOS 743876 HAS SOPS 743876 HAS SOUS 648095 HAS SOUPS 648095 WITH SCORE 648838.876
AT ITER 4134 NEW BEST:: SOT 4419046 SOS 743804 HAS SOPS 743804 HAS SOUS 648023 HAS SOUPS 648023 WITH SCORE 648766.804
AT ITER 4138 NEW BEST:: SOT 4418957 SOS 743626 HAS SOPS 743626 HAS SOUS 647845 HAS SOUPS 647845 WITH SCORE 648588.626
AT ITER 4141 NEW BEST:: SOT 4418914 SOS 743540 HAS SOPS 743540 HAS SOUS 647759 HAS SOUPS 647759 WITH SCORE 648502.54
AT ITER 4148 NEW BEST:: SOT 4418875 SOS 743462 HAS SOPS 743462 HAS SOUS 647681 HAS SOUPS 647681 WITH SCORE 648424.462
AT ITER 4154 NEW BEST:: SOT 4419143 SOS 743998 HAS SOPS 743998 HAS SOUS 647568 HAS SOUPS 647568 WITH SCORE 648311.998
AT ITER 4183 NEW BEST:: SOT 4419123 SOS 743958 HAS SOPS 743958 HAS SOUS 647528 HAS SOUPS 647528 WITH SCORE 648271.958
AT ITER 4208 NEW BEST:: SOT 4417531 SOS 752881 HAS SOPS 752881 HAS SOUS 646509 HAS SOUPS 646509 WITH SCORE 647261.881
AT ITER 4229 NEW BEST:: SOT 4417515 SOS 752667 HAS SOPS 752667 HAS SOUS 646477 HAS SOUPS 646477 WITH SCORE 647229.667
AT ITER 4241 NEW BEST:: SOT 4417515 SOS 752641 HAS SOPS 752641 HAS SOUS 646451 HAS SOUPS 646451 WITH SCORE 647203.641
AT ITER 4244 NEW BEST:: SOT 4417481 SOS 752573 HAS SOPS 752573 HAS SOUS 646383 HAS SOUPS 646383 WITH SCORE 647135.573
AT ITER 4272 NEW BEST:: SOT 4417468 SOS 752534 HAS SOPS 752534 HAS SOUS 646370 HAS SOUPS 646370 WITH SCORE 647122.534
AT ITER 4274 NEW BEST:: SOT 4417066 SOS 752567 HAS SOPS 752567 HAS SOUS 645968 HAS SOUPS 645968 WITH SCORE 646720.567
AT ITER 4276 NEW BEST:: SOT 4416884 SOS 752203 HAS SOPS 752203 HAS SOUS 645785 HAS SOUPS 645785 WITH SCORE 646537.203
AT ITER 4298 NEW BEST:: SOT 4416745 SOS 752193 HAS SOPS 752193 HAS SOUS 645775 HAS SOUPS 645775 WITH SCORE 646527.193
AT ITER 4300 NEW BEST:: SOT 4416564 SOS 751831 HAS SOPS 751831 HAS SOUS 645473 HAS SOUPS 645473 WITH SCORE 646224.831
AT ITER 4305 NEW BEST:: SOT 4416522 SOS 751789 HAS SOPS 751789 HAS SOUS 645431 HAS SOUPS 645431 WITH SCORE 646182.789
AT ITER 4306 NEW BEST:: SOT 4416522 SOS 751567 HAS SOPS 751567 HAS SOUS 645320 HAS SOUPS 645320 WITH SCORE 646071.567
AT ITER 4309 NEW BEST:: SOT 4416335 SOS 751193 HAS SOPS 751193 HAS SOUS 644946 HAS SOUPS 644946 WITH SCORE 645697.193
AT ITER 4359 NEW BEST:: SOT 4416062 SOS 731831 HAS SOPS 731831 HAS SOUS 644288 HAS SOUPS 644288 WITH SCORE 645019.831
AT ITER 4376 NEW BEST:: SOT 4415374 SOS 731475 HAS SOPS 731475 HAS SOUS 643657 HAS SOUPS 643657 WITH SCORE 644388.475
AT ITER 4379 NEW BEST:: SOT 4415115 SOS 730957 HAS SOPS 730957 HAS SOUS 643139 HAS SOUPS 643139 WITH SCORE 643869.957
AT ITER 4391 NEW BEST:: SOT 4414437 SOS 730449 HAS SOPS 730449 HAS SOUS 642461 HAS SOUPS 642461 WITH SCORE 643191.449
AT ITER 4403 NEW BEST:: SOT 4414345 SOS 730265 HAS SOPS 730265 HAS SOUS 642369 HAS SOUPS 642369 WITH SCORE 643099.265
AT ITER 4410 NEW BEST:: SOT 4414269 SOS 729952 HAS SOPS 729952 HAS SOUS 642138 HAS SOUPS 642138 WITH SCORE 642867.952
AT ITER 4413 NEW BEST:: SOT 4414402 SOS 729760 HAS SOPS 729760 HAS SOUS 642044 HAS SOUPS 642044 WITH SCORE 642773.76
AT ITER 4423 NEW BEST:: SOT 4414308 SOS 729352 HAS SOPS 729352 HAS SOUS 641856 HAS SOUPS 641856 WITH SCORE 642585.352
AT ITER 4440 NEW BEST:: SOT 4414308 SOS 729352 HAS SOPS 729352 HAS SOUS 641855 HAS SOUPS 641855 WITH SCORE 642584.352
AT ITER 4444 NEW BEST:: SOT 4414240 SOS 729333 HAS SOPS 729333 HAS SOUS 641787 HAS SOUPS 641787 WITH SCORE 642516.333
AT ITER 4465 NEW BEST:: SOT 4414240 SOS 729333 HAS SOPS 729333 HAS SOUS 641775 HAS SOUPS 641775 WITH SCORE 642504.333
AT ITER 4471 NEW BEST:: SOT 4414069 SOS 729081 HAS SOPS 729081 HAS SOUS 641775 HAS SOUPS 641775 WITH SCORE 642504.081
AT ITER 4477 NEW BEST:: SOT 4414069 SOS 728792 HAS SOPS 728792 HAS SOUS 641775 HAS SOUPS 641775 WITH SCORE 642503.792
AT ITER 4483 NEW BEST:: SOT 4414100 SOS 728754 HAS SOPS 728754 HAS SOUS 641729 HAS SOUPS 641729 WITH SCORE 642457.754
AT ITER 4488 NEW BEST:: SOT 4414129 SOS 728539 HAS SOPS 728539 HAS SOUS 641667 HAS SOUPS 641667 WITH SCORE 642395.539
AT ITER 4496 NEW BEST:: SOT 4413537 SOS 727355 HAS SOPS 727355 HAS SOUS 640874 HAS SOUPS 640874 WITH SCORE 641601.355
AT ITER 4503 NEW BEST:: SOT 4413082 SOS 726435 HAS SOPS 726435 HAS SOUS 639955 HAS SOUPS 639955 WITH SCORE 640681.435
AT ITER 4544 NEW BEST:: SOT 4412964 SOS 726499 HAS SOPS 726499 HAS SOUS 639837 HAS SOUPS 639837 WITH SCORE 640563.499
AT ITER 4557 NEW BEST:: SOT 4412534 SOS 726068 HAS SOPS 726068 HAS SOUS 639740 HAS SOUPS 639740 WITH SCORE 640466.068
AT ITER 4569 NEW BEST:: SOT 4412251 SOS 725502 HAS SOPS 725502 HAS SOUS 639174 HAS SOUPS 639174 WITH SCORE 639899.502
AT ITER 4589 NEW BEST:: SOT 4412104 SOS 725208 HAS SOPS 725208 HAS SOUS 639027 HAS SOUPS 639027 WITH SCORE 639752.208
AT ITER 4598 NEW BEST:: SOT 4411949 SOS 724898 HAS SOPS 724898 HAS SOUS 639026 HAS SOUPS 639026 WITH SCORE 639750.898
AT ITER 4602 NEW BEST:: SOT 4411886 SOS 724847 HAS SOPS 724847 HAS SOUS 638963 HAS SOUPS 638963 WITH SCORE 639687.847
AT ITER 4661 NEW BEST:: SOT 4411886 SOS 724783 HAS SOPS 724783 HAS SOUS 638931 HAS SOUPS 638931 WITH SCORE 639655.783
AT ITER 4665 NEW BEST:: SOT 4411992 SOS 724657 HAS SOPS 724657 HAS SOUS 638868 HAS SOUPS 638868 WITH SCORE 639592.657
AT ITER 4697 NEW BEST:: SOT 4411815 SOS 724303 HAS SOPS 724303 HAS SOUS 638868 HAS SOUPS 638868 WITH SCORE 639592.303
AT ITER 4718 NEW BEST:: SOT 4411815 SOS 724217 HAS SOPS 724217 HAS SOUS 638825 HAS SOUPS 638825 WITH SCORE 639549.217
AT ITER 4726 NEW BEST:: SOT 4411783 SOS 724153 HAS SOPS 724153 HAS SOUS 638796 HAS SOUPS 638796 WITH SCORE 639520.153
AT ITER 4753 NEW BEST:: SOT 4411783 SOS 724044 HAS SOPS 724044 HAS SOUS 638687 HAS SOUPS 638687 WITH SCORE 639411.044
AT ITER 4776 NEW BEST:: SOT 4411643 SOS 724101 HAS SOPS 724101 HAS SOUS 638547 HAS SOUPS 638547 WITH SCORE 639271.101
AT ITER 4793 NEW BEST:: SOT 4411643 SOS 724001 HAS SOPS 724001 HAS SOUS 638447 HAS SOUPS 638447 WITH SCORE 639171.001
AT ITER 4826 NEW BEST:: SOT 4411642 SOS 723998 HAS SOPS 723998 HAS SOUS 638444 HAS SOUPS 638444 WITH SCORE 639167.998
AT ITER 4849 NEW BEST:: SOT 4411642 SOS 723939 HAS SOPS 723939 HAS SOUS 638385 HAS SOUPS 638385 WITH SCORE 639108.939
AT ITER 4851 NEW BEST:: SOT 4411588 SOS 723885 HAS SOPS 723885 HAS SOUS 638331 HAS SOUPS 638331 WITH SCORE 639054.885
AT ITER 4918 NEW BEST:: SOT 4411436 SOS 723581 HAS SOPS 723581 HAS SOUS 638027 HAS SOUPS 638027 WITH SCORE 638750.581
AT ITER 4929 NEW BEST:: SOT 4411344 SOS 723462 HAS SOPS 723462 HAS SOUS 637935 HAS SOUPS 637935 WITH SCORE 638658.462
AT ITER 4970 NEW BEST:: SOT 4410931 SOS 723103 HAS SOPS 723103 HAS SOUS 637576 HAS SOUPS 637576 WITH SCORE 638299.103
AT ITER 4976 NEW BEST:: SOT 4410921 SOS 723083 HAS SOPS 723083 HAS SOUS 637556 HAS SOUPS 637556 WITH SCORE 638279.083
AT ITER 4986 NEW BEST:: SOT 4410900 SOS 723283 HAS SOPS 723283 HAS SOUS 637510 HAS SOUPS 637510 WITH SCORE 638233.283
AT ITER 4996 NEW BEST:: SOT 4410900 SOS 723283 HAS SOPS 723283 HAS SOUS 637486 HAS SOUPS 637486 WITH SCORE 638209.283
AT ITER 5001 NEW BEST:: SOT 4410900 SOS 722275 HAS SOPS 722275 HAS SOUS 637464 HAS SOUPS 637464 WITH SCORE 638186.275
AT ITER 5004 NEW BEST:: SOT 4410900 SOS 722275 HAS SOPS 722275 HAS SOUS 637199 HAS SOUPS 637199 WITH SCORE 637921.275
AT ITER 5014 NEW BEST:: SOT 4411015 SOS 722505 HAS SOPS 722505 HAS SOUS 637191 HAS SOUPS 637191 WITH SCORE 637913.505
AT ITER 5017 NEW BEST:: SOT 4410989 SOS 722293 HAS SOPS 722293 HAS SOUS 637139 HAS SOUPS 637139 WITH SCORE 637861.293
AT ITER 5022 NEW BEST:: SOT 4410989 SOS 722140 HAS SOPS 722140 HAS SOUS 637138 HAS SOUPS 637138 WITH SCORE 637860.14
AT ITER 5047 NEW BEST:: SOT 4410989 SOS 722140 HAS SOPS 722140 HAS SOUS 636970 HAS SOUPS 636970 WITH SCORE 637692.14
AT ITER 5057 NEW BEST:: SOT 4410989 SOS 722140 HAS SOPS 722140 HAS SOUS 636968 HAS SOUPS 636968 WITH SCORE 637690.14
AT ITER 5087 NEW BEST:: SOT 4410890 SOS 721942 HAS SOPS 721942 HAS SOUS 636770 HAS SOUPS 636770 WITH SCORE 637491.942
AT ITER 5102 NEW BEST:: SOT 4410889 SOS 721940 HAS SOPS 721940 HAS SOUS 636768 HAS SOUPS 636768 WITH SCORE 637489.94
AT ITER 5114 NEW BEST:: SOT 4410822 SOS 721806 HAS SOPS 721806 HAS SOUS 636701 HAS SOUPS 636701 WITH SCORE 637422.806
AT ITER 5118 NEW BEST:: SOT 4410750 SOS 721822 HAS SOPS 721822 HAS SOUS 636639 HAS SOUPS 636639 WITH SCORE 637360.822
AT ITER 5120 NEW BEST:: SOT 4410711 SOS 721744 HAS SOPS 721744 HAS SOUS 636600 HAS SOUPS 636600 WITH SCORE 637321.744
AT ITER 5146 NEW BEST:: SOT 4410624 SOS 721806 HAS SOPS 721806 HAS SOUS 636557 HAS SOUPS 636557 WITH SCORE 637278.806
AT ITER 5160 NEW BEST:: SOT 4410683 SOS 721608 HAS SOPS 721608 HAS SOUS 636469 HAS SOUPS 636469 WITH SCORE 637190.608
AT ITER 5172 NEW BEST:: SOT 4410683 SOS 721608 HAS SOPS 721608 HAS SOUS 636378 HAS SOUPS 636378 WITH SCORE 637099.608
AT ITER 5179 NEW BEST:: SOT 4410596 SOS 721434 HAS SOPS 721434 HAS SOUS 636204 HAS SOUPS 636204 WITH SCORE 636925.434
AT ITER 5197 NEW BEST:: SOT 4410351 SOS 720944 HAS SOPS 720944 HAS SOUS 635718 HAS SOUPS 635718 WITH SCORE 636438.944
AT ITER 5203 NEW BEST:: SOT 4410350 SOS 720942 HAS SOPS 720942 HAS SOUS 635716 HAS SOUPS 635716 WITH SCORE 636436.942
AT ITER 5207 NEW BEST:: SOT 4410281 SOS 720804 HAS SOPS 720804 HAS SOUS 635647 HAS SOUPS 635647 WITH SCORE 636367.804
AT ITER 5228 NEW BEST:: SOT 4409956 SOS 721288 HAS SOPS 721288 HAS SOUS 635506 HAS SOUPS 635506 WITH SCORE 636227.288
AT ITER 5267 NEW BEST:: SOT 4409832 SOS 721040 HAS SOPS 721040 HAS SOUS 635338 HAS SOUPS 635338 WITH SCORE 636059.04
AT ITER 5291 NEW BEST:: SOT 4409807 SOS 720990 HAS SOPS 720990 HAS SOUS 635240 HAS SOUPS 635240 WITH SCORE 635960.99
AT ITER 5292 NEW BEST:: SOT 4409807 SOS 720976 HAS SOPS 720976 HAS SOUS 635226 HAS SOUPS 635226 WITH SCORE 635946.976
AT ITER 5340 NEW BEST:: SOT 4409789 SOS 720538 HAS SOPS 720538 HAS SOUS 634902 HAS SOUPS 634902 WITH SCORE 635622.538
AT ITER 5375 NEW BEST:: SOT 4409789 SOS 720537 HAS SOPS 720537 HAS SOUS 634901 HAS SOUPS 634901 WITH SCORE 635621.537
AT ITER 5413 NEW BEST:: SOT 4409789 SOS 720101 HAS SOPS 720101 HAS SOUS 634792 HAS SOUPS 634792 WITH SCORE 635512.101
AT ITER 5421 NEW BEST:: SOT 4409678 SOS 719879 HAS SOPS 719879 HAS SOUS 634570 HAS SOUPS 634570 WITH SCORE 635289.879
AT ITER 5452 NEW BEST:: SOT 4409662 SOS 719847 HAS SOPS 719847 HAS SOUS 634554 HAS SOUPS 634554 WITH SCORE 635273.847
AT ITER 5455 NEW BEST:: SOT 4409662 SOS 719846 HAS SOPS 719846 HAS SOUS 634553 HAS SOUPS 634553 WITH SCORE 635272.846
AT ITER 5491 NEW BEST:: SOT 4409662 SOS 719846 HAS SOPS 719846 HAS SOUS 634337 HAS SOUPS 634337 WITH SCORE 635056.846
AT ITER 5497 NEW BEST:: SOT 4409245 SOS 719012 HAS SOPS 719012 HAS SOUS 634112 HAS SOUPS 634112 WITH SCORE 634831.012
AT ITER 5510 NEW BEST:: SOT 4409069 SOS 718660 HAS SOPS 718660 HAS SOUS 633760 HAS SOUPS 633760 WITH SCORE 634478.66
AT ITER 5514 NEW BEST:: SOT 4409044 SOS 718610 HAS SOPS 718610 HAS SOUS 633710 HAS SOUPS 633710 WITH SCORE 634428.61
AT ITER 5521 NEW BEST:: SOT 4409032 SOS 718586 HAS SOPS 718586 HAS SOUS 633620 HAS SOUPS 633620 WITH SCORE 634338.586
AT ITER 5609 NEW BEST:: SOT 4409032 SOS 718528 HAS SOPS 718528 HAS SOUS 633620 HAS SOUPS 633620 WITH SCORE 634338.528
AT ITER 5614 NEW BEST:: SOT 4408902 SOS 718268 HAS SOPS 718268 HAS SOUS 633489 HAS SOUPS 633489 WITH SCORE 634207.268
AT ITER 5619 NEW BEST:: SOT 4408873 SOS 718210 HAS SOPS 718210 HAS SOUS 633431 HAS SOUPS 633431 WITH SCORE 634149.21
AT ITER 5635 NEW BEST:: SOT 4408721 SOS 718053 HAS SOPS 718053 HAS SOUS 633400 HAS SOUPS 633400 WITH SCORE 634118.053
AT ITER 5645 NEW BEST:: SOT 4408658 SOS 717927 HAS SOPS 717927 HAS SOUS 633274 HAS SOUPS 633274 WITH SCORE 633991.927
AT ITER 5646 NEW BEST:: SOT 4408490 SOS 718019 HAS SOPS 718019 HAS SOUS 633147 HAS SOUPS 633147 WITH SCORE 633865.019
AT ITER 5655 NEW BEST:: SOT 4408469 SOS 717965 HAS SOPS 717965 HAS SOUS 632992 HAS SOUPS 632992 WITH SCORE 633709.965
AT ITER 5659 NEW BEST:: SOT 4408469 SOS 717789 HAS SOPS 717789 HAS SOUS 632816 HAS SOUPS 632816 WITH SCORE 633533.789
AT ITER 5660 NEW BEST:: SOT 4408449 SOS 717749 HAS SOPS 717749 HAS SOUS 632776 HAS SOUPS 632776 WITH SCORE 633493.749
AT ITER 5669 NEW BEST:: SOT 4408449 SOS 717749 HAS SOPS 717749 HAS SOUS 632775 HAS SOUPS 632775 WITH SCORE 633492.749
AT ITER 5674 NEW BEST:: SOT 4408175 SOS 717471 HAS SOPS 717471 HAS SOUS 632629 HAS SOUPS 632629 WITH SCORE 633346.471
AT ITER 5691 NEW BEST:: SOT 4408073 SOS 717267 HAS SOPS 717267 HAS SOUS 632425 HAS SOUPS 632425 WITH SCORE 633142.267
AT ITER 5692 NEW BEST:: SOT 4408042 SOS 717205 HAS SOPS 717205 HAS SOUS 631958 HAS SOUPS 631958 WITH SCORE 632675.205
AT ITER 5693 NEW BEST:: SOT 4407996 SOS 717113 HAS SOPS 717113 HAS SOUS 631866 HAS SOUPS 631866 WITH SCORE 632583.113
AT ITER 5695 NEW BEST:: SOT 4407984 SOS 717089 HAS SOPS 717089 HAS SOUS 631842 HAS SOUPS 631842 WITH SCORE 632559.089
AT ITER 5711 NEW BEST:: SOT 4407736 SOS 716841 HAS SOPS 716841 HAS SOUS 631594 HAS SOUPS 631594 WITH SCORE 632310.841
AT ITER 5738 NEW BEST:: SOT 4407454 SOS 716919 HAS SOPS 716919 HAS SOUS 631330 HAS SOUPS 631330 WITH SCORE 632046.919
AT ITER 5768 NEW BEST:: SOT 4407409 SOS 716829 HAS SOPS 716829 HAS SOUS 631285 HAS SOUPS 631285 WITH SCORE 632001.829
AT ITER 5776 NEW BEST:: SOT 4407587 SOS 716099 HAS SOPS 716099 HAS SOUS 630983 HAS SOUPS 630983 WITH SCORE 631699.099
AT ITER 5790 NEW BEST:: SOT 4407587 SOS 716098 HAS SOPS 716098 HAS SOUS 630982 HAS SOUPS 630982 WITH SCORE 631698.098
AT ITER 5793 NEW BEST:: SOT 4407730 SOS 715826 HAS SOPS 715826 HAS SOUS 630567 HAS SOUPS 630567 WITH SCORE 631282.826
AT ITER 5806 NEW BEST:: SOT 4407730 SOS 715826 HAS SOPS 715826 HAS SOUS 630465 HAS SOUPS 630465 WITH SCORE 631180.826
AT ITER 5817 NEW BEST:: SOT 4407721 SOS 715893 HAS SOPS 715893 HAS SOUS 630447 HAS SOUPS 630447 WITH SCORE 631162.893
AT ITER 5824 NEW BEST:: SOT 4407598 SOS 715647 HAS SOPS 715647 HAS SOUS 630324 HAS SOUPS 630324 WITH SCORE 631039.647
AT ITER 5854 NEW BEST:: SOT 4407597 SOS 715645 HAS SOPS 715645 HAS SOUS 630322 HAS SOUPS 630322 WITH SCORE 631037.645
AT ITER 5863 NEW BEST:: SOT 4407597 SOS 715539 HAS SOPS 715539 HAS SOUS 630269 HAS SOUPS 630269 WITH SCORE 630984.539
AT ITER 5872 NEW BEST:: SOT 4407471 SOS 715287 HAS SOPS 715287 HAS SOUS 630017 HAS SOUPS 630017 WITH SCORE 630732.287
AT ITER 5888 NEW BEST:: SOT 4407467 SOS 715279 HAS SOPS 715279 HAS SOUS 630009 HAS SOUPS 630009 WITH SCORE 630724.279
AT ITER 5911 NEW BEST:: SOT 4407163 SOS 715161 HAS SOPS 715161 HAS SOUS 629802 HAS SOUPS 629802 WITH SCORE 630517.161
AT ITER 5949 NEW BEST:: SOT 4407069 SOS 714973 HAS SOPS 714973 HAS SOUS 629614 HAS SOUPS 629614 WITH SCORE 630328.973
AT ITER 5989 NEW BEST:: SOT 4406937 SOS 714815 HAS SOPS 714815 HAS SOUS 629482 HAS SOUPS 629482 WITH SCORE 630196.815
AT ITER 6011 NEW BEST:: SOT 4406697 SOS 714495 HAS SOPS 714495 HAS SOUS 629162 HAS SOUPS 629162 WITH SCORE 629876.495
AT ITER 6019 NEW BEST:: SOT 4406697 SOS 714408 HAS SOPS 714408 HAS SOUS 629162 HAS SOUPS 629162 WITH SCORE 629876.408
AT ITER 6026 NEW BEST:: SOT 4406661 SOS 714336 HAS SOPS 714336 HAS SOUS 629126 HAS SOUPS 629126 WITH SCORE 629840.336
AT ITER 6039 NEW BEST:: SOT 4406657 SOS 714305 HAS SOPS 714305 HAS SOUS 629099 HAS SOUPS 629099 WITH SCORE 629813.305
AT ITER 6046 NEW BEST:: SOT 4406459 SOS 714104 HAS SOPS 714104 HAS SOUS 628901 HAS SOUPS 628901 WITH SCORE 629615.104
AT ITER 6064 NEW BEST:: SOT 4406243 SOS 713892 HAS SOPS 713892 HAS SOUS 628687 HAS SOUPS 628687 WITH SCORE 629400.892
AT ITER 6075 NEW BEST:: SOT 4406088 SOS 713948 HAS SOPS 713948 HAS SOUS 628604 HAS SOUPS 628604 WITH SCORE 629317.948
AT ITER 6105 NEW BEST:: SOT 4406088 SOS 713708 HAS SOPS 713708 HAS SOUS 628604 HAS SOUPS 628604 WITH SCORE 629317.708
AT ITER 6109 NEW BEST:: SOT 4406207 SOS 713945 HAS SOPS 713945 HAS SOUS 628530 HAS SOUPS 628530 WITH SCORE 629243.945
AT ITER 6126 NEW BEST:: SOT 4406077 SOS 713750 HAS SOPS 713750 HAS SOUS 628335 HAS SOUPS 628335 WITH SCORE 629048.75
AT ITER 6147 NEW BEST:: SOT 4405905 SOS 713406 HAS SOPS 713406 HAS SOUS 628216 HAS SOUPS 628216 WITH SCORE 628929.406
AT ITER 6150 NEW BEST:: SOT 4405905 SOS 713284 HAS SOPS 713284 HAS SOUS 628094 HAS SOUPS 628094 WITH SCORE 628807.284
AT ITER 6157 NEW BEST:: SOT 4405889 SOS 713252 HAS SOPS 713252 HAS SOUS 627874 HAS SOUPS 627874 WITH SCORE 628587.252
AT ITER 6167 NEW BEST:: SOT 4405670 SOS 713292 HAS SOPS 713292 HAS SOUS 627670 HAS SOUPS 627670 WITH SCORE 628383.292
AT ITER 6169 NEW BEST:: SOT 4405653 SOS 713258 HAS SOPS 713258 HAS SOUS 627636 HAS SOUPS 627636 WITH SCORE 628349.258
AT ITER 6203 NEW BEST:: SOT 4405291 SOS 713342 HAS SOPS 713342 HAS SOUS 627476 HAS SOUPS 627476 WITH SCORE 628189.342
AT ITER 6233 NEW BEST:: SOT 4405261 SOS 713312 HAS SOPS 713312 HAS SOUS 627446 HAS SOUPS 627446 WITH SCORE 628159.312
AT ITER 6235 NEW BEST:: SOT 4404941 SOS 712672 HAS SOPS 712672 HAS SOUS 627346 HAS SOUPS 627346 WITH SCORE 628058.672
AT ITER 6236 NEW BEST:: SOT 4404896 SOS 712582 HAS SOPS 712582 HAS SOUS 626947 HAS SOUPS 626947 WITH SCORE 627659.582
AT ITER 6239 NEW BEST:: SOT 4405040 SOS 712870 HAS SOPS 712870 HAS SOUS 626655 HAS SOUPS 626655 WITH SCORE 627367.87
AT ITER 6249 NEW BEST:: SOT 4405040 SOS 712766 HAS SOPS 712766 HAS SOUS 626551 HAS SOUPS 626551 WITH SCORE 627263.766
AT ITER 6259 NEW BEST:: SOT 4404467 SOS 712326 HAS SOPS 712326 HAS SOUS 625997 HAS SOUPS 625997 WITH SCORE 626709.326
AT ITER 6271 NEW BEST:: SOT 4404279 SOS 712138 HAS SOPS 712138 HAS SOUS 625809 HAS SOUPS 625809 WITH SCORE 626521.138
AT ITER 6277 NEW BEST:: SOT 4404279 SOS 712138 HAS SOPS 712138 HAS SOUS 625687 HAS SOUPS 625687 WITH SCORE 626399.138
AT ITER 6311 NEW BEST:: SOT 4404304 SOS 711983 HAS SOPS 711983 HAS SOUS 625532 HAS SOUPS 625532 WITH SCORE 626243.983
AT ITER 6332 NEW BEST:: SOT 4404304 SOS 711983 HAS SOPS 711983 HAS SOUS 625432 HAS SOUPS 625432 WITH SCORE 626143.983
AT ITER 6334 NEW BEST:: SOT 4404274 SOS 712115 HAS SOPS 712115 HAS SOUS 625402 HAS SOUPS 625402 WITH SCORE 626114.115
AT ITER 6336 NEW BEST:: SOT 4404261 SOS 712089 HAS SOPS 712089 HAS SOUS 625389 HAS SOUPS 625389 WITH SCORE 626101.089
AT ITER 6355 NEW BEST:: SOT 4404256 SOS 711998 HAS SOPS 711998 HAS SOUS 625379 HAS SOUPS 625379 WITH SCORE 626090.998
AT ITER 6370 NEW BEST:: SOT 4404169 SOS 711824 HAS SOPS 711824 HAS SOUS 625205 HAS SOUPS 625205 WITH SCORE 625916.824
AT ITER 6395 NEW BEST:: SOT 4403885 SOS 711540 HAS SOPS 711540 HAS SOUS 624921 HAS SOUPS 624921 WITH SCORE 625632.54
AT ITER 6444 NEW BEST:: SOT 4403830 SOS 711430 HAS SOPS 711430 HAS SOUS 624811 HAS SOUPS 624811 WITH SCORE 625522.43
AT ITER 6483 NEW BEST:: SOT 4403848 SOS 711448 HAS SOPS 711448 HAS SOUS 624756 HAS SOUPS 624756 WITH SCORE 625467.448
AT ITER 6502 NEW BEST:: SOT 4403826 SOS 711404 HAS SOPS 711404 HAS SOUS 624539 HAS SOUPS 624539 WITH SCORE 625250.404
AT ITER 6537 NEW BEST:: SOT 4403878 SOS 711508 HAS SOPS 711508 HAS SOUS 624362 HAS SOUPS 624362 WITH SCORE 625073.508
AT ITER 6548 NEW BEST:: SOT 4403612 SOS 710976 HAS SOPS 710976 HAS SOUS 623830 HAS SOUPS 623830 WITH SCORE 624540.976
AT ITER 6549 NEW BEST:: SOT 4403538 SOS 710910 HAS SOPS 710910 HAS SOUS 623764 HAS SOUPS 623764 WITH SCORE 624474.91
AT ITER 6579 NEW BEST:: SOT 4403527 SOS 710888 HAS SOPS 710888 HAS SOUS 623753 HAS SOUPS 623753 WITH SCORE 624463.888
AT ITER 6584 NEW BEST:: SOT 4403499 SOS 710832 HAS SOPS 710832 HAS SOUS 623697 HAS SOUPS 623697 WITH SCORE 624407.832
AT ITER 6597 NEW BEST:: SOT 4403499 SOS 710718 HAS SOPS 710718 HAS SOUS 623583 HAS SOUPS 623583 WITH SCORE 624293.718
AT ITER 6618 NEW BEST:: SOT 4403133 SOS 711030 HAS SOPS 711030 HAS SOUS 623448 HAS SOUPS 623448 WITH SCORE 624159.03
AT ITER 6623 NEW BEST:: SOT 4403060 SOS 710884 HAS SOPS 710884 HAS SOUS 623302 HAS SOUPS 623302 WITH SCORE 624012.884
AT ITER 6666 NEW BEST:: SOT 4403009 SOS 710782 HAS SOPS 710782 HAS SOUS 623251 HAS SOUPS 623251 WITH SCORE 623961.782
AT ITER 6682 NEW BEST:: SOT 4402993 SOS 710766 HAS SOPS 710766 HAS SOUS 623235 HAS SOUPS 623235 WITH SCORE 623945.766
AT ITER 6690 NEW BEST:: SOT 4402963 SOS 710706 HAS SOPS 710706 HAS SOUS 623175 HAS SOUPS 623175 WITH SCORE 623885.706
AT ITER 6697 NEW BEST:: SOT 4402837 SOS 710454 HAS SOPS 710454 HAS SOUS 622986 HAS SOUPS 622986 WITH SCORE 623696.454
AT ITER 6698 NEW BEST:: SOT 4402719 SOS 710237 HAS SOPS 710237 HAS SOUS 622867 HAS SOUPS 622867 WITH SCORE 623577.237
AT ITER 6714 NEW BEST:: SOT 4402528 SOS 709855 HAS SOPS 709855 HAS SOUS 622485 HAS SOUPS 622485 WITH SCORE 623194.855
AT ITER 6719 NEW BEST:: SOT 4402342 SOS 709669 HAS SOPS 709669 HAS SOUS 622237 HAS SOUPS 622237 WITH SCORE 622946.669
AT ITER 6720 NEW BEST:: SOT 4402305 SOS 709595 HAS SOPS 709595 HAS SOUS 622200 HAS SOUPS 622200 WITH SCORE 622909.595
AT ITER 6738 NEW BEST:: SOT 4402305 SOS 709594 HAS SOPS 709594 HAS SOUS 622018 HAS SOUPS 622018 WITH SCORE 622727.594
AT ITER 6779 NEW BEST:: SOT 4402170 SOS 709438 HAS SOPS 709438 HAS SOUS 621883 HAS SOUPS 621883 WITH SCORE 622592.438
AT ITER 6800 NEW BEST:: SOT 4402108 SOS 709314 HAS SOPS 709314 HAS SOUS 621759 HAS SOUPS 621759 WITH SCORE 622468.314
AT ITER 6820 NEW BEST:: SOT 4402018 SOS 709134 HAS SOPS 709134 HAS SOUS 621710 HAS SOUPS 621710 WITH SCORE 622419.134
AT ITER 6848 NEW BEST:: SOT 4401953 SOS 709004 HAS SOPS 709004 HAS SOUS 621630 HAS SOUPS 621630 WITH SCORE 622339.004
AT ITER 6851 NEW BEST:: SOT 4401881 SOS 708860 HAS SOPS 708860 HAS SOUS 621486 HAS SOUPS 621486 WITH SCORE 622194.86
AT ITER 6863 NEW BEST:: SOT 4401881 SOS 708789 HAS SOPS 708789 HAS SOUS 621415 HAS SOUPS 621415 WITH SCORE 622123.789
AT ITER 6872 NEW BEST:: SOT 4401881 SOS 708401 HAS SOPS 708401 HAS SOUS 621415 HAS SOUPS 621415 WITH SCORE 622123.401
AT ITER 6912 NEW BEST:: SOT 4401805 SOS 708729 HAS SOPS 708729 HAS SOUS 621411 HAS SOUPS 621411 WITH SCORE 622119.729
AT ITER 6952 NEW BEST:: SOT 4401901 SOS 708697 HAS SOPS 708697 HAS SOUS 621379 HAS SOUPS 621379 WITH SCORE 622087.697
AT ITER 6965 NEW BEST:: SOT 4401849 SOS 708593 HAS SOPS 708593 HAS SOUS 621275 HAS SOUPS 621275 WITH SCORE 621983.593
AT ITER 6982 NEW BEST:: SOT 4401727 SOS 708349 HAS SOPS 708349 HAS SOUS 621123 HAS SOUPS 621123 WITH SCORE 621831.349
AT ITER 7001 NEW BEST:: SOT 4401726 SOS 708390 HAS SOPS 708390 HAS SOUS 621121 HAS SOUPS 621121 WITH SCORE 621829.39
AT ITER 7009 NEW BEST:: SOT 4401737 SOS 707835 HAS SOPS 707835 HAS SOUS 620965 HAS SOUPS 620965 WITH SCORE 621672.835
AT ITER 7029 NEW BEST:: SOT 4401604 SOS 707569 HAS SOPS 707569 HAS SOUS 620699 HAS SOUPS 620699 WITH SCORE 621406.569
AT ITER 7046 NEW BEST:: SOT 4401498 SOS 707463 HAS SOPS 707463 HAS SOUS 620487 HAS SOUPS 620487 WITH SCORE 621194.463
AT ITER 7058 NEW BEST:: SOT 4401494 SOS 707455 HAS SOPS 707455 HAS SOUS 620479 HAS SOUPS 620479 WITH SCORE 621186.455
AT ITER 7065 NEW BEST:: SOT 4401473 SOS 707313 HAS SOPS 707313 HAS SOUS 620358 HAS SOUPS 620358 WITH SCORE 621065.313
AT ITER 7087 NEW BEST:: SOT 4401442 SOS 707251 HAS SOPS 707251 HAS SOUS 620296 HAS SOUPS 620296 WITH SCORE 621003.251
AT ITER 7104 NEW BEST:: SOT 4401442 SOS 707147 HAS SOPS 707147 HAS SOUS 620192 HAS SOUPS 620192 WITH SCORE 620899.147
AT ITER 7120 NEW BEST:: SOT 4401306 SOS 707119 HAS SOPS 707119 HAS SOUS 620164 HAS SOUPS 620164 WITH SCORE 620871.119
AT ITER 7121 NEW BEST:: SOT 4401247 SOS 707000 HAS SOPS 707000 HAS SOUS 620045 HAS SOUPS 620045 WITH SCORE 620752.0
AT ITER 7151 NEW BEST:: SOT 4401247 SOS 707000 HAS SOPS 707000 HAS SOUS 619880 HAS SOUPS 619880 WITH SCORE 620587.0
AT ITER 7153 NEW BEST:: SOT 4401247 SOS 707000 HAS SOPS 707000 HAS SOUS 619879 HAS SOUPS 619879 WITH SCORE 620586.0
AT ITER 7160 NEW BEST:: SOT 4401269 SOS 707044 HAS SOPS 707044 HAS SOUS 619780 HAS SOUPS 619780 WITH SCORE 620487.044
AT ITER 7180 NEW BEST:: SOT 4401219 SOS 706944 HAS SOPS 706944 HAS SOUS 619730 HAS SOUPS 619730 WITH SCORE 620436.944
AT ITER 7191 NEW BEST:: SOT 4401144 SOS 706794 HAS SOPS 706794 HAS SOUS 619580 HAS SOUPS 619580 WITH SCORE 620286.794
AT ITER 7194 NEW BEST:: SOT 4401005 SOS 706763 HAS SOPS 706763 HAS SOUS 619549 HAS SOUPS 619549 WITH SCORE 620255.763
AT ITER 7201 NEW BEST:: SOT 4400975 SOS 706703 HAS SOPS 706703 HAS SOUS 619489 HAS SOUPS 619489 WITH SCORE 620195.703
AT ITER 7210 NEW BEST:: SOT 4400916 SOS 706585 HAS SOPS 706585 HAS SOUS 619371 HAS SOUPS 619371 WITH SCORE 620077.585
AT ITER 7215 NEW BEST:: SOT 4400897 SOS 706547 HAS SOPS 706547 HAS SOUS 619333 HAS SOUPS 619333 WITH SCORE 620039.547
AT ITER 7229 NEW BEST:: SOT 4400864 SOS 706481 HAS SOPS 706481 HAS SOUS 619267 HAS SOUPS 619267 WITH SCORE 619973.481
AT ITER 7232 NEW BEST:: SOT 4400760 SOS 706429 HAS SOPS 706429 HAS SOUS 619215 HAS SOUPS 619215 WITH SCORE 619921.429
AT ITER 7236 NEW BEST:: SOT 4400696 SOS 706301 HAS SOPS 706301 HAS SOUS 619073 HAS SOUPS 619073 WITH SCORE 619779.301
AT ITER 7242 NEW BEST:: SOT 4400688 SOS 706289 HAS SOPS 706289 HAS SOUS 619061 HAS SOUPS 619061 WITH SCORE 619767.289
AT ITER 7311 NEW BEST:: SOT 4400653 SOS 706219 HAS SOPS 706219 HAS SOUS 618991 HAS SOUPS 618991 WITH SCORE 619697.219
AT ITER 7318 NEW BEST:: SOT 4400522 SOS 706788 HAS SOPS 706788 HAS SOUS 618852 HAS SOUPS 618852 WITH SCORE 619558.788
AT ITER 7351 NEW BEST:: SOT 4400484 SOS 706712 HAS SOPS 706712 HAS SOUS 618734 HAS SOUPS 618734 WITH SCORE 619440.712
AT ITER 7355 NEW BEST:: SOT 4400495 SOS 709021 HAS SOPS 709021 HAS SOUS 618677 HAS SOUPS 618677 WITH SCORE 619386.021
AT ITER 7375 NEW BEST:: SOT 4400495 SOS 708912 HAS SOPS 708912 HAS SOUS 618677 HAS SOUPS 618677 WITH SCORE 619385.912
AT ITER 7377 NEW BEST:: SOT 4400445 SOS 708861 HAS SOPS 708861 HAS SOUS 618626 HAS SOUPS 618626 WITH SCORE 619334.861
AT ITER 7396 NEW BEST:: SOT 4400802 SOS 708146 HAS SOPS 708146 HAS SOUS 618625 HAS SOUPS 618625 WITH SCORE 619333.146
AT ITER 7397 NEW BEST:: SOT 4400364 SOS 708212 HAS SOPS 708212 HAS SOUS 618266 HAS SOUPS 618266 WITH SCORE 618974.212
AT ITER 7422 NEW BEST:: SOT 4400348 SOS 708180 HAS SOPS 708180 HAS SOUS 618250 HAS SOUPS 618250 WITH SCORE 618958.18
AT ITER 7497 NEW BEST:: SOT 4400421 SOS 708326 HAS SOPS 708326 HAS SOUS 618214 HAS SOUPS 618214 WITH SCORE 618922.326
AT ITER 7502 NEW BEST:: SOT 4400486 SOS 708456 HAS SOPS 708456 HAS SOUS 618159 HAS SOUPS 618159 WITH SCORE 618867.456
AT ITER 7518 NEW BEST:: SOT 4400476 SOS 708436 HAS SOPS 708436 HAS SOUS 618149 HAS SOUPS 618149 WITH SCORE 618857.436
AT ITER 7537 NEW BEST:: SOT 4400317 SOS 708118 HAS SOPS 708118 HAS SOUS 617831 HAS SOUPS 617831 WITH SCORE 618539.118
AT ITER 7588 NEW BEST:: SOT 4400037 SOS 707728 HAS SOPS 707728 HAS SOUS 617774 HAS SOUPS 617774 WITH SCORE 618481.728
AT ITER 7618 NEW BEST:: SOT 4399979 SOS 707612 HAS SOPS 707612 HAS SOUS 617658 HAS SOUPS 617658 WITH SCORE 618365.612
AT ITER 7643 NEW BEST:: SOT 4399857 SOS 707642 HAS SOPS 707642 HAS SOUS 617578 HAS SOUPS 617578 WITH SCORE 618285.642
AT ITER 7656 NEW BEST:: SOT 4399758 SOS 707600 HAS SOPS 707600 HAS SOUS 617500 HAS SOUPS 617500 WITH SCORE 618207.6
AT ITER 7678 NEW BEST:: SOT 4399577 SOS 707238 HAS SOPS 707238 HAS SOUS 617267 HAS SOUPS 617267 WITH SCORE 617974.238
AT ITER 7698 NEW BEST:: SOT 4399127 SOS 708298 HAS SOPS 708298 HAS SOUS 617128 HAS SOUPS 617128 WITH SCORE 617836.298
AT ITER 7707 NEW BEST:: SOT 4399073 SOS 708190 HAS SOPS 708190 HAS SOUS 617074 HAS SOUPS 617074 WITH SCORE 617782.19
AT ITER 7740 NEW BEST:: SOT 4399073 SOS 707929 HAS SOPS 707929 HAS SOUS 617058 HAS SOUPS 617058 WITH SCORE 617765.929
AT ITER 7750 NEW BEST:: SOT 4398664 SOS 708556 HAS SOPS 708556 HAS SOUS 616921 HAS SOUPS 616921 WITH SCORE 617629.556
AT ITER 7768 NEW BEST:: SOT 4398565 SOS 708358 HAS SOPS 708358 HAS SOUS 616723 HAS SOUPS 616723 WITH SCORE 617431.358
AT ITER 7783 NEW BEST:: SOT 4398926 SOS 708426 HAS SOPS 708426 HAS SOUS 616703 HAS SOUPS 616703 WITH SCORE 617411.426
AT ITER 7813 NEW BEST:: SOT 4398819 SOS 708319 HAS SOPS 708319 HAS SOUS 616596 HAS SOUPS 616596 WITH SCORE 617304.319
AT ITER 7818 NEW BEST:: SOT 4398789 SOS 708259 HAS SOPS 708259 HAS SOUS 616536 HAS SOUPS 616536 WITH SCORE 617244.259
AT ITER 7840 NEW BEST:: SOT 4398685 SOS 708051 HAS SOPS 708051 HAS SOUS 616328 HAS SOUPS 616328 WITH SCORE 617036.051
AT ITER 7881 NEW BEST:: SOT 4398621 SOS 707663 HAS SOPS 707663 HAS SOUS 616120 HAS SOUPS 616120 WITH SCORE 616827.663
AT ITER 7889 NEW BEST:: SOT 4398336 SOS 707273 HAS SOPS 707273 HAS SOUS 615601 HAS SOUPS 615601 WITH SCORE 616308.273
AT ITER 7924 NEW BEST:: SOT 4398190 SOS 707203 HAS SOPS 707203 HAS SOUS 615530 HAS SOUPS 615530 WITH SCORE 616237.203
AT ITER 7946 NEW BEST:: SOT 4397997 SOS 707507 HAS SOPS 707507 HAS SOUS 615500 HAS SOUPS 615500 WITH SCORE 616207.507
AT ITER 7992 NEW BEST:: SOT 4398136 SOS 707507 HAS SOPS 707507 HAS SOUS 615361 HAS SOUPS 615361 WITH SCORE 616068.507
AT ITER 8004 NEW BEST:: SOT 4398142 SOS 707519 HAS SOPS 707519 HAS SOUS 615291 HAS SOUPS 615291 WITH SCORE 615998.519
AT ITER 8014 NEW BEST:: SOT 4398142 SOS 707519 HAS SOPS 707519 HAS SOUS 615289 HAS SOUPS 615289 WITH SCORE 615996.519
AT ITER 8037 NEW BEST:: SOT 4398184 SOS 707439 HAS SOPS 707439 HAS SOUS 615209 HAS SOUPS 615209 WITH SCORE 615916.439
AT ITER 8064 NEW BEST:: SOT 4398211 SOS 707445 HAS SOPS 707445 HAS SOUS 615188 HAS SOUPS 615188 WITH SCORE 615895.445
AT ITER 8087 NEW BEST:: SOT 4398210 SOS 707393 HAS SOPS 707393 HAS SOUS 615136 HAS SOUPS 615136 WITH SCORE 615843.393
AT ITER 8093 NEW BEST:: SOT 4397039 SOS 711085 HAS SOPS 711085 HAS SOUS 614985 HAS SOUPS 614985 WITH SCORE 615696.085
AT ITER 8095 NEW BEST:: SOT 4397023 SOS 711053 HAS SOPS 711053 HAS SOUS 614969 HAS SOUPS 614969 WITH SCORE 615680.053
AT ITER 8106 NEW BEST:: SOT 4396790 SOS 710587 HAS SOPS 710587 HAS SOUS 614740 HAS SOUPS 614740 WITH SCORE 615450.587
AT ITER 8114 NEW BEST:: SOT 4396839 SOS 710493 HAS SOPS 710493 HAS SOUS 614646 HAS SOUPS 614646 WITH SCORE 615356.493
AT ITER 8133 NEW BEST:: SOT 4396428 SOS 709671 HAS SOPS 709671 HAS SOUS 614330 HAS SOUPS 614330 WITH SCORE 615039.671
AT ITER 8135 NEW BEST:: SOT 4396337 SOS 709669 HAS SOPS 709669 HAS SOUS 614328 HAS SOUPS 614328 WITH SCORE 615037.669
AT ITER 8145 NEW BEST:: SOT 4396301 SOS 709597 HAS SOPS 709597 HAS SOUS 614256 HAS SOUPS 614256 WITH SCORE 614965.597
AT ITER 8233 NEW BEST:: SOT 4396279 SOS 709553 HAS SOPS 709553 HAS SOUS 614231 HAS SOUPS 614231 WITH SCORE 614940.553
AT ITER 8241 NEW BEST:: SOT 4395907 SOS 709195 HAS SOPS 709195 HAS SOUS 613873 HAS SOUPS 613873 WITH SCORE 614582.195
AT ITER 8267 NEW BEST:: SOT 4395906 SOS 709193 HAS SOPS 709193 HAS SOUS 613871 HAS SOUPS 613871 WITH SCORE 614580.193
AT ITER 8320 NEW BEST:: SOT 4395712 SOS 708413 HAS SOPS 708413 HAS SOUS 613483 HAS SOUPS 613483 WITH SCORE 614191.413
AT ITER 8328 NEW BEST:: SOT 4395686 SOS 708361 HAS SOPS 708361 HAS SOUS 613431 HAS SOUPS 613431 WITH SCORE 614139.361
AT ITER 8329 NEW BEST:: SOT 4395686 SOS 708245 HAS SOPS 708245 HAS SOUS 613315 HAS SOUPS 613315 WITH SCORE 614023.245
AT ITER 8368 NEW BEST:: SOT 4395505 SOS 709178 HAS SOPS 709178 HAS SOUS 613313 HAS SOUPS 613313 WITH SCORE 614022.178
AT ITER 8395 NEW BEST:: SOT 4395451 SOS 709070 HAS SOPS 709070 HAS SOUS 613259 HAS SOUPS 613259 WITH SCORE 613968.07
AT ITER 8413 NEW BEST:: SOT 4395471 SOS 708964 HAS SOPS 708964 HAS SOUS 613153 HAS SOUPS 613153 WITH SCORE 613861.964
AT ITER 8433 NEW BEST:: SOT 4395295 SOS 708611 HAS SOPS 708611 HAS SOUS 612800 HAS SOUPS 612800 WITH SCORE 613508.611
AT ITER 8500 NEW BEST:: SOT 4395242 SOS 708505 HAS SOPS 708505 HAS SOUS 612694 HAS SOUPS 612694 WITH SCORE 613402.505
AT ITER 8515 NEW BEST:: SOT 4395096 SOS 708505 HAS SOPS 708505 HAS SOUS 612621 HAS SOUPS 612621 WITH SCORE 613329.505
AT ITER 8521 NEW BEST:: SOT 4395095 SOS 708503 HAS SOPS 708503 HAS SOUS 612619 HAS SOUPS 612619 WITH SCORE 613327.503
AT ITER 8544 NEW BEST:: SOT 4394966 SOS 708245 HAS SOPS 708245 HAS SOUS 612490 HAS SOUPS 612490 WITH SCORE 613198.245
AT ITER 8569 NEW BEST:: SOT 4394533 SOS 708149 HAS SOPS 708149 HAS SOUS 612114 HAS SOUPS 612114 WITH SCORE 612822.149
AT ITER 8584 NEW BEST:: SOT 4394490 SOS 707762 HAS SOPS 707762 HAS SOUS 612028 HAS SOUPS 612028 WITH SCORE 612735.762
AT ITER 8587 NEW BEST:: SOT 4394210 SOS 707386 HAS SOPS 707386 HAS SOUS 611828 HAS SOUPS 611828 WITH SCORE 612535.386
AT ITER 8674 NEW BEST:: SOT 4394193 SOS 707352 HAS SOPS 707352 HAS SOUS 611794 HAS SOUPS 611794 WITH SCORE 612501.352
AT ITER 8683 NEW BEST:: SOT 4393758 SOS 706482 HAS SOPS 706482 HAS SOUS 611577 HAS SOUPS 611577 WITH SCORE 612283.482
AT ITER 8694 NEW BEST:: SOT 4393741 SOS 706482 HAS SOPS 706482 HAS SOUS 611560 HAS SOUPS 611560 WITH SCORE 612266.482
AT ITER 8705 NEW BEST:: SOT 4393698 SOS 706396 HAS SOPS 706396 HAS SOUS 611452 HAS SOUPS 611452 WITH SCORE 612158.396
AT ITER 8714 NEW BEST:: SOT 4393722 SOS 706444 HAS SOPS 706444 HAS SOUS 611195 HAS SOUPS 611195 WITH SCORE 611901.444
AT ITER 8748 NEW BEST:: SOT 4393659 SOS 706318 HAS SOPS 706318 HAS SOUS 611069 HAS SOUPS 611069 WITH SCORE 611775.318
AT ITER 8757 NEW BEST:: SOT 4393511 SOS 703019 HAS SOPS 703019 HAS SOUS 610492 HAS SOUPS 610492 WITH SCORE 611195.019
AT ITER 8815 NEW BEST:: SOT 4393333 SOS 702663 HAS SOPS 702663 HAS SOUS 610314 HAS SOUPS 610314 WITH SCORE 611016.663
AT ITER 8820 NEW BEST:: SOT 4393333 SOS 702397 HAS SOPS 702397 HAS SOUS 610314 HAS SOUPS 610314 WITH SCORE 611016.397
AT ITER 8827 NEW BEST:: SOT 4393263 SOS 702257 HAS SOPS 702257 HAS SOUS 610244 HAS SOUPS 610244 WITH SCORE 610946.257
AT ITER 8833 NEW BEST:: SOT 4393225 SOS 702181 HAS SOPS 702181 HAS SOUS 610145 HAS SOUPS 610145 WITH SCORE 610847.181
AT ITER 8861 NEW BEST:: SOT 4392608 SOS 702361 HAS SOPS 702361 HAS SOUS 609724 HAS SOUPS 609724 WITH SCORE 610426.361
AT ITER 8871 NEW BEST:: SOT 4392164 SOS 702095 HAS SOPS 702095 HAS SOUS 609341 HAS SOUPS 609341 WITH SCORE 610043.095
AT ITER 8916 NEW BEST:: SOT 4392128 SOS 702023 HAS SOPS 702023 HAS SOUS 609269 HAS SOUPS 609269 WITH SCORE 609971.023
AT ITER 8945 NEW BEST:: SOT 4391633 SOS 701528 HAS SOPS 701528 HAS SOUS 608774 HAS SOUPS 608774 WITH SCORE 609475.528
AT ITER 8972 NEW BEST:: SOT 4391558 SOS 701613 HAS SOPS 701613 HAS SOUS 608464 HAS SOUPS 608464 WITH SCORE 609165.613
AT ITER 8985 NEW BEST:: SOT 4391419 SOS 701335 HAS SOPS 701335 HAS SOUS 608325 HAS SOUPS 608325 WITH SCORE 609026.335
AT ITER 9032 NEW BEST:: SOT 4391334 SOS 701165 HAS SOPS 701165 HAS SOUS 608104 HAS SOUPS 608104 WITH SCORE 608805.165
AT ITER 9042 NEW BEST:: SOT 4391309 SOS 701114 HAS SOPS 701114 HAS SOUS 608053 HAS SOUPS 608053 WITH SCORE 608754.114
AT ITER 9043 NEW BEST:: SOT 4390990 SOS 699970 HAS SOPS 699970 HAS SOUS 607415 HAS SOUPS 607415 WITH SCORE 608114.97
AT ITER 9051 NEW BEST:: SOT 4390991 SOS 699972 HAS SOPS 699972 HAS SOUS 607385 HAS SOUPS 607385 WITH SCORE 608084.972
AT ITER 9053 NEW BEST:: SOT 4390780 SOS 699742 HAS SOPS 699742 HAS SOUS 607349 HAS SOUPS 607349 WITH SCORE 608048.742
AT ITER 9054 NEW BEST:: SOT 4390716 SOS 699678 HAS SOPS 699678 HAS SOUS 607301 HAS SOUPS 607301 WITH SCORE 608000.678
AT ITER 9144 NEW BEST:: SOT 4390752 SOS 699633 HAS SOPS 699633 HAS SOUS 607261 HAS SOUPS 607261 WITH SCORE 607960.633
AT ITER 9152 NEW BEST:: SOT 4390621 SOS 699504 HAS SOPS 699504 HAS SOUS 607107 HAS SOUPS 607107 WITH SCORE 607806.504
AT ITER 9163 NEW BEST:: SOT 4390401 SOS 699064 HAS SOPS 699064 HAS SOUS 606937 HAS SOUPS 606937 WITH SCORE 607636.064
AT ITER 9217 NEW BEST:: SOT 4390562 SOS 698841 HAS SOPS 698841 HAS SOUS 606858 HAS SOUPS 606858 WITH SCORE 607556.841
AT ITER 9244 NEW BEST:: SOT 4390660 SOS 698663 HAS SOPS 698663 HAS SOUS 606680 HAS SOUPS 606680 WITH SCORE 607378.663
AT ITER 9263 NEW BEST:: SOT 4390660 SOS 698534 HAS SOPS 698534 HAS SOUS 606551 HAS SOUPS 606551 WITH SCORE 607249.534
AT ITER 9283 NEW BEST:: SOT 4390660 SOS 698534 HAS SOPS 698534 HAS SOUS 606348 HAS SOUPS 606348 WITH SCORE 607046.534
AT ITER 9320 NEW BEST:: SOT 4390761 SOS 698533 HAS SOPS 698533 HAS SOUS 606347 HAS SOUPS 606347 WITH SCORE 607045.533
AT ITER 9351 NEW BEST:: SOT 4390162 SOS 697335 HAS SOPS 697335 HAS SOUS 605437 HAS SOUPS 605437 WITH SCORE 606134.335
AT ITER 9361 NEW BEST:: SOT 4390170 SOS 697351 HAS SOPS 697351 HAS SOUS 605360 HAS SOUPS 605360 WITH SCORE 606057.351
AT ITER 9365 NEW BEST:: SOT 4390142 SOS 697375 HAS SOPS 697375 HAS SOUS 605348 HAS SOUPS 605348 WITH SCORE 606045.375
AT ITER 9370 NEW BEST:: SOT 4390112 SOS 697315 HAS SOPS 697315 HAS SOUS 605341 HAS SOUPS 605341 WITH SCORE 606038.315
AT ITER 9378 NEW BEST:: SOT 4390146 SOS 696879 HAS SOPS 696879 HAS SOUS 605335 HAS SOUPS 605335 WITH SCORE 606031.879
AT ITER 9426 NEW BEST:: SOT 4390245 SOS 696935 HAS SOPS 696935 HAS SOUS 605334 HAS SOUPS 605334 WITH SCORE 606030.935
AT ITER 9432 NEW BEST:: SOT 4390019 SOS 696709 HAS SOPS 696709 HAS SOUS 605108 HAS SOUPS 605108 WITH SCORE 605804.709
AT ITER 9471 NEW BEST:: SOT 4390019 SOS 696702 HAS SOPS 696702 HAS SOUS 605101 HAS SOUPS 605101 WITH SCORE 605797.702
AT ITER 9479 NEW BEST:: SOT 4389721 SOS 696106 HAS SOPS 696106 HAS SOUS 604538 HAS SOUPS 604538 WITH SCORE 605234.106
AT ITER 9497 NEW BEST:: SOT 4389446 SOS 695556 HAS SOPS 695556 HAS SOUS 604263 HAS SOUPS 604263 WITH SCORE 604958.556
AT ITER 9519 NEW BEST:: SOT 4389446 SOS 695555 HAS SOPS 695555 HAS SOUS 604262 HAS SOUPS 604262 WITH SCORE 604957.555
AT ITER 9547 NEW BEST:: SOT 4389226 SOS 695166 HAS SOPS 695166 HAS SOUS 603906 HAS SOUPS 603906 WITH SCORE 604601.166
AT ITER 9551 NEW BEST:: SOT 4388934 SOS 694873 HAS SOPS 694873 HAS SOUS 603613 HAS SOUPS 603613 WITH SCORE 604307.873
AT ITER 9561 NEW BEST:: SOT 4388756 SOS 694694 HAS SOPS 694694 HAS SOUS 603434 HAS SOUPS 603434 WITH SCORE 604128.694
AT ITER 9565 NEW BEST:: SOT 4388707 SOS 694596 HAS SOPS 694596 HAS SOUS 603336 HAS SOUPS 603336 WITH SCORE 604030.596
AT ITER 9585 NEW BEST:: SOT 4388707 SOS 694266 HAS SOPS 694266 HAS SOUS 603006 HAS SOUPS 603006 WITH SCORE 603700.266
AT ITER 9601 NEW BEST:: SOT 4388587 SOS 694026 HAS SOPS 694026 HAS SOUS 602886 HAS SOUPS 602886 WITH SCORE 603580.026
AT ITER 9657 NEW BEST:: SOT 4388311 SOS 692900 HAS SOPS 692900 HAS SOUS 602474 HAS SOUPS 602474 WITH SCORE 603166.9
AT ITER 9664 NEW BEST:: SOT 4387978 SOS 692234 HAS SOPS 692234 HAS SOUS 602050 HAS SOUPS 602050 WITH SCORE 602742.234
AT ITER 9694 NEW BEST:: SOT 4387978 SOS 692165 HAS SOPS 692165 HAS SOUS 601981 HAS SOUPS 601981 WITH SCORE 602673.165
AT ITER 9696 NEW BEST:: SOT 4387996 SOS 692201 HAS SOPS 692201 HAS SOUS 601966 HAS SOUPS 601966 WITH SCORE 602658.201
AT ITER 9702 NEW BEST:: SOT 4387921 SOS 692051 HAS SOPS 692051 HAS SOUS 601943 HAS SOUPS 601943 WITH SCORE 602635.051
AT ITER 9726 NEW BEST:: SOT 4387881 SOS 691971 HAS SOPS 691971 HAS SOUS 601903 HAS SOUPS 601903 WITH SCORE 602594.971
AT ITER 9732 NEW BEST:: SOT 4387896 SOS 691914 HAS SOPS 691914 HAS SOUS 601846 HAS SOUPS 601846 WITH SCORE 602537.914
AT ITER 9733 NEW BEST:: SOT 4387618 SOS 691358 HAS SOPS 691358 HAS SOUS 601290 HAS SOUPS 601290 WITH SCORE 601981.358
AT ITER 9737 NEW BEST:: SOT 4387514 SOS 691150 HAS SOPS 691150 HAS SOUS 601082 HAS SOUPS 601082 WITH SCORE 601773.15
AT ITER 9753 NEW BEST:: SOT 4387418 SOS 690958 HAS SOPS 690958 HAS SOUS 600890 HAS SOUPS 600890 WITH SCORE 601580.958
AT ITER 9755 NEW BEST:: SOT 4387398 SOS 690958 HAS SOPS 690958 HAS SOUS 600870 HAS SOUPS 600870 WITH SCORE 601560.958
AT ITER 9773 NEW BEST:: SOT 4387315 SOS 690971 HAS SOPS 690971 HAS SOUS 600787 HAS SOUPS 600787 WITH SCORE 601477.971
AT ITER 9784 NEW BEST:: SOT 4387189 SOS 690672 HAS SOPS 690672 HAS SOUS 600499 HAS SOUPS 600499 WITH SCORE 601189.672
AT ITER 9785 NEW BEST:: SOT 4387323 SOS 690940 HAS SOPS 690940 HAS SOUS 600471 HAS SOUPS 600471 WITH SCORE 601161.94
AT ITER 9843 NEW BEST:: SOT 4387135 SOS 690936 HAS SOPS 690936 HAS SOUS 600340 HAS SOUPS 600340 WITH SCORE 601030.936
AT ITER 9908 NEW BEST:: SOT 4387066 SOS 690798 HAS SOPS 690798 HAS SOUS 600202 HAS SOUPS 600202 WITH SCORE 600892.798
AT ITER 9930 NEW BEST:: SOT 4386976 SOS 690618 HAS SOPS 690618 HAS SOUS 600054 HAS SOUPS 600054 WITH SCORE 600744.618
AT ITER 9941 NEW BEST:: SOT 4386976 SOS 690618 HAS SOPS 690618 HAS SOUS 599907 HAS SOUPS 599907 WITH SCORE 600597.618
AT ITER 9955 NEW BEST:: SOT 4386946 SOS 690558 HAS SOPS 690558 HAS SOUS 599817 HAS SOUPS 599817 WITH SCORE 600507.558
AT ITER 9958 NEW BEST:: SOT 4386946 SOS 690558 HAS SOPS 690558 HAS SOUS 599764 HAS SOUPS 599764 WITH SCORE 600454.558
AT ITER 9959 NEW BEST:: SOT 4386705 SOS 690076 HAS SOPS 690076 HAS SOUS 599521 HAS SOUPS 599521 WITH SCORE 600211.076
AT ITER 9963 NEW BEST:: SOT 4386409 SOS 689484 HAS SOPS 689484 HAS SOUS 598929 HAS SOUPS 598929 WITH SCORE 599618.484
AT ITER 9967 NEW BEST:: SOT 4386403 SOS 689472 HAS SOPS 689472 HAS SOUS 598917 HAS SOUPS 598917 WITH SCORE 599606.472
AT ITER 9976 NEW BEST:: SOT 4386403 SOS 689472 HAS SOPS 689472 HAS SOUS 598886 HAS SOUPS 598886 WITH SCORE 599575.472

BK_TIME_CONFINEMENT_REACHED

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

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

# 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-4028"
echo " Executing tool smart"
echo " Input is CloudReconfiguration-PT-302, 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 r048-ebro-158902541600016"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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