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-167814484700808.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 DLCshifumi-PT-2b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814484700808
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 6.9K Feb 26 07:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 72K Feb 26 07:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.9K Feb 26 07:51 CTLFireability.txt
-rw-r--r-- 1 mcc users 42K Feb 26 07:51 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 18K Feb 26 07:52 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 197K Feb 26 07:52 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.1K Feb 26 07:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 26K Feb 26 07:51 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 729K 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 1678429577893

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=DLCshifumi-PT-2b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-10 06:26:19] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-10 06:26:19] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-10 06:26:19] [INFO ] Load time of PNML (sax parser for PT used): 127 ms
[2023-03-10 06:26:19] [INFO ] Transformed 2483 places.
[2023-03-10 06:26:19] [INFO ] Transformed 3183 transitions.
[2023-03-10 06:26:19] [INFO ] Found NUPN structural information;
[2023-03-10 06:26:19] [INFO ] Parsed PT model containing 2483 places and 3183 transitions and 7756 arcs in 218 ms.
[2023-03-10 06:26:19] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 2483 places, 3183 transitions and 7756 arcs took 21 ms.
Total runtime 269 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCshifumi (PT), instance 2b
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: 2483 places, 3183 transitions, 7756 arcs.
AT ITER 0 NEW BEST:: SOT 4792715 SOS 836745 HAS SOPS 836745 HAS SOUS 707736 HAS SOUPS 707736 WITH SCORE 708572.745
AT ITER 32 NEW BEST:: SOT 4792186 SOS 834240 HAS SOPS 834240 HAS SOUS 707054 HAS SOUPS 707054 WITH SCORE 707888.24
AT ITER 62 NEW BEST:: SOT 4792042 SOS 834024 HAS SOPS 834024 HAS SOUS 706910 HAS SOUPS 706910 WITH SCORE 707744.024
AT ITER 65 NEW BEST:: SOT 4792020 SOS 833918 HAS SOPS 833918 HAS SOUS 706886 HAS SOUPS 706886 WITH SCORE 707719.918
AT ITER 74 NEW BEST:: SOT 4792020 SOS 834154 HAS SOPS 834154 HAS SOUS 706768 HAS SOUPS 706768 WITH SCORE 707602.154
AT ITER 91 NEW BEST:: SOT 4791971 SOS 834056 HAS SOPS 834056 HAS SOUS 706670 HAS SOUPS 706670 WITH SCORE 707504.056
AT ITER 95 NEW BEST:: SOT 4791736 SOS 834048 HAS SOPS 834048 HAS SOUS 706550 HAS SOUPS 706550 WITH SCORE 707384.048
AT ITER 110 NEW BEST:: SOT 4791736 SOS 834048 HAS SOPS 834048 HAS SOUS 706175 HAS SOUPS 706175 WITH SCORE 707009.048
AT ITER 178 NEW BEST:: SOT 4791636 SOS 833848 HAS SOPS 833848 HAS SOUS 705975 HAS SOUPS 705975 WITH SCORE 706808.848
AT ITER 197 NEW BEST:: SOT 4791294 SOS 833346 HAS SOPS 833346 HAS SOUS 705587 HAS SOUPS 705587 WITH SCORE 706420.346
AT ITER 205 NEW BEST:: SOT 4791245 SOS 833297 HAS SOPS 833297 HAS SOUS 705538 HAS SOUPS 705538 WITH SCORE 706371.297
AT ITER 266 NEW BEST:: SOT 4791229 SOS 833265 HAS SOPS 833265 HAS SOUS 705295 HAS SOUPS 705295 WITH SCORE 706128.265
AT ITER 276 NEW BEST:: SOT 4791032 SOS 832871 HAS SOPS 832871 HAS SOUS 704901 HAS SOUPS 704901 WITH SCORE 705733.871
AT ITER 281 NEW BEST:: SOT 4791031 SOS 832869 HAS SOPS 832869 HAS SOUS 704899 HAS SOUPS 704899 WITH SCORE 705731.869
AT ITER 297 NEW BEST:: SOT 4791031 SOS 832603 HAS SOPS 832603 HAS SOUS 704766 HAS SOUPS 704766 WITH SCORE 705598.603
AT ITER 321 NEW BEST:: SOT 4790915 SOS 832371 HAS SOPS 832371 HAS SOUS 704646 HAS SOUPS 704646 WITH SCORE 705478.371
AT ITER 352 NEW BEST:: SOT 4790757 SOS 832213 HAS SOPS 832213 HAS SOUS 704488 HAS SOUPS 704488 WITH SCORE 705320.213
AT ITER 353 NEW BEST:: SOT 4790757 SOS 832444 HAS SOPS 832444 HAS SOUS 704370 HAS SOUPS 704370 WITH SCORE 705202.444
AT ITER 370 NEW BEST:: SOT 4790757 SOS 832444 HAS SOPS 832444 HAS SOUS 703934 HAS SOUPS 703934 WITH SCORE 704766.444
AT ITER 422 NEW BEST:: SOT 4790851 SOS 832632 HAS SOPS 832632 HAS SOUS 703906 HAS SOUPS 703906 WITH SCORE 704738.632
AT ITER 424 NEW BEST:: SOT 4790758 SOS 832446 HAS SOPS 832446 HAS SOUS 703720 HAS SOUPS 703720 WITH SCORE 704552.446
AT ITER 427 NEW BEST:: SOT 4790863 SOS 832656 HAS SOPS 832656 HAS SOUS 703647 HAS SOUPS 703647 WITH SCORE 704479.656
AT ITER 443 NEW BEST:: SOT 4790368 SOS 832160 HAS SOPS 832160 HAS SOUS 703151 HAS SOUPS 703151 WITH SCORE 703983.16
AT ITER 448 NEW BEST:: SOT 4789940 SOS 832033 HAS SOPS 832033 HAS SOUS 703024 HAS SOUPS 703024 WITH SCORE 703856.033
AT ITER 492 NEW BEST:: SOT 4789656 SOS 832111 HAS SOPS 832111 HAS SOUS 702913 HAS SOUPS 702913 WITH SCORE 703745.111
AT ITER 572 NEW BEST:: SOT 4789257 SOS 830116 HAS SOPS 830116 HAS SOUS 702115 HAS SOUPS 702115 WITH SCORE 702945.116
AT ITER 580 NEW BEST:: SOT 4789185 SOS 829973 HAS SOPS 829973 HAS SOUS 701972 HAS SOUPS 701972 WITH SCORE 702801.973
AT ITER 586 NEW BEST:: SOT 4786875 SOS 828293 HAS SOPS 828293 HAS SOUS 699872 HAS SOUPS 699872 WITH SCORE 700700.293
AT ITER 589 NEW BEST:: SOT 4786931 SOS 828405 HAS SOPS 828405 HAS SOUS 699724 HAS SOUPS 699724 WITH SCORE 700552.405
AT ITER 597 NEW BEST:: SOT 4786931 SOS 828405 HAS SOPS 828405 HAS SOUS 699604 HAS SOUPS 699604 WITH SCORE 700432.405
AT ITER 599 NEW BEST:: SOT 4786986 SOS 828315 HAS SOPS 828315 HAS SOUS 699514 HAS SOUPS 699514 WITH SCORE 700342.315
AT ITER 610 NEW BEST:: SOT 4787068 SOS 828186 HAS SOPS 828186 HAS SOUS 699385 HAS SOUPS 699385 WITH SCORE 700213.186
AT ITER 653 NEW BEST:: SOT 4786963 SOS 827976 HAS SOPS 827976 HAS SOUS 699143 HAS SOUPS 699143 WITH SCORE 699970.976
AT ITER 665 NEW BEST:: SOT 4786962 SOS 827974 HAS SOPS 827974 HAS SOUS 699141 HAS SOUPS 699141 WITH SCORE 699968.974
AT ITER 688 NEW BEST:: SOT 4787008 SOS 828066 HAS SOPS 828066 HAS SOUS 699052 HAS SOUPS 699052 WITH SCORE 699880.066
AT ITER 720 NEW BEST:: SOT 4787007 SOS 828064 HAS SOPS 828064 HAS SOUS 699050 HAS SOUPS 699050 WITH SCORE 699878.064
AT ITER 749 NEW BEST:: SOT 4786635 SOS 828013 HAS SOPS 828013 HAS SOUS 698956 HAS SOUPS 698956 WITH SCORE 699784.013
AT ITER 752 NEW BEST:: SOT 4786449 SOS 827827 HAS SOPS 827827 HAS SOUS 698770 HAS SOUPS 698770 WITH SCORE 699597.827
AT ITER 767 NEW BEST:: SOT 4786445 SOS 827823 HAS SOPS 827823 HAS SOUS 698766 HAS SOUPS 698766 WITH SCORE 699593.823
AT ITER 789 NEW BEST:: SOT 4786437 SOS 827807 HAS SOPS 827807 HAS SOUS 698750 HAS SOUPS 698750 WITH SCORE 699577.807
AT ITER 796 NEW BEST:: SOT 4786228 SOS 827389 HAS SOPS 827389 HAS SOUS 698332 HAS SOUPS 698332 WITH SCORE 699159.389
AT ITER 797 NEW BEST:: SOT 4786025 SOS 827450 HAS SOPS 827450 HAS SOUS 697900 HAS SOUPS 697900 WITH SCORE 698727.45
AT ITER 817 NEW BEST:: SOT 4785914 SOS 827228 HAS SOPS 827228 HAS SOUS 697678 HAS SOUPS 697678 WITH SCORE 698505.228
AT ITER 827 NEW BEST:: SOT 4785800 SOS 827000 HAS SOPS 827000 HAS SOUS 697450 HAS SOUPS 697450 WITH SCORE 698277.0
AT ITER 836 NEW BEST:: SOT 4785969 SOS 827059 HAS SOPS 827059 HAS SOUS 697145 HAS SOUPS 697145 WITH SCORE 697972.059
AT ITER 864 NEW BEST:: SOT 4785883 SOS 827016 HAS SOPS 827016 HAS SOUS 697102 HAS SOUPS 697102 WITH SCORE 697929.016
AT ITER 927 NEW BEST:: SOT 4785261 SOS 827299 HAS SOPS 827299 HAS SOUS 696782 HAS SOUPS 696782 WITH SCORE 697609.299
AT ITER 949 NEW BEST:: SOT 4784989 SOS 826755 HAS SOPS 826755 HAS SOUS 696238 HAS SOUPS 696238 WITH SCORE 697064.755
AT ITER 983 NEW BEST:: SOT 4784663 SOS 826174 HAS SOPS 826174 HAS SOUS 695825 HAS SOUPS 695825 WITH SCORE 696651.174
AT ITER 999 NEW BEST:: SOT 4784510 SOS 826021 HAS SOPS 826021 HAS SOUS 695672 HAS SOUPS 695672 WITH SCORE 696498.021
AT ITER 1001 NEW BEST:: SOT 4781432 SOS 827474 HAS SOPS 827474 HAS SOUS 692490 HAS SOUPS 692490 WITH SCORE 693317.474
AT ITER 1036 NEW BEST:: SOT 4781432 SOS 827424 HAS SOPS 827424 HAS SOUS 692490 HAS SOUPS 692490 WITH SCORE 693317.424
AT ITER 1039 NEW BEST:: SOT 4781316 SOS 827308 HAS SOPS 827308 HAS SOUS 692374 HAS SOUPS 692374 WITH SCORE 693201.308
AT ITER 1085 NEW BEST:: SOT 4781117 SOS 827399 HAS SOPS 827399 HAS SOUS 692338 HAS SOUPS 692338 WITH SCORE 693165.399
AT ITER 1168 NEW BEST:: SOT 4780717 SOS 827030 HAS SOPS 827030 HAS SOUS 691955 HAS SOUPS 691955 WITH SCORE 692782.03
AT ITER 1185 NEW BEST:: SOT 4780629 SOS 826590 HAS SOPS 826590 HAS SOUS 691779 HAS SOUPS 691779 WITH SCORE 692605.59
AT ITER 1194 NEW BEST:: SOT 4780379 SOS 826090 HAS SOPS 826090 HAS SOUS 691529 HAS SOUPS 691529 WITH SCORE 692355.09
AT ITER 1202 NEW BEST:: SOT 4779540 SOS 825128 HAS SOPS 825128 HAS SOUS 690604 HAS SOUPS 690604 WITH SCORE 691429.128
AT ITER 1229 NEW BEST:: SOT 4779241 SOS 824895 HAS SOPS 824895 HAS SOUS 690271 HAS SOUPS 690271 WITH SCORE 691095.895
AT ITER 1238 NEW BEST:: SOT 4779163 SOS 824739 HAS SOPS 824739 HAS SOUS 689982 HAS SOUPS 689982 WITH SCORE 690806.739
AT ITER 1271 NEW BEST:: SOT 4778903 SOS 824547 HAS SOPS 824547 HAS SOUS 689756 HAS SOUPS 689756 WITH SCORE 690580.547
AT ITER 1279 NEW BEST:: SOT 4778720 SOS 824181 HAS SOPS 824181 HAS SOUS 689390 HAS SOUPS 689390 WITH SCORE 690214.181
AT ITER 1280 NEW BEST:: SOT 4778600 SOS 823581 HAS SOPS 823581 HAS SOUS 689150 HAS SOUPS 689150 WITH SCORE 689973.581
AT ITER 1286 NEW BEST:: SOT 4778599 SOS 823579 HAS SOPS 823579 HAS SOUS 689148 HAS SOUPS 689148 WITH SCORE 689971.579
AT ITER 1306 NEW BEST:: SOT 4777927 SOS 823592 HAS SOPS 823592 HAS SOUS 688690 HAS SOUPS 688690 WITH SCORE 689513.592
AT ITER 1320 NEW BEST:: SOT 4777949 SOS 823362 HAS SOPS 823362 HAS SOUS 688649 HAS SOUPS 688649 WITH SCORE 689472.362
AT ITER 1329 NEW BEST:: SOT 4777938 SOS 823340 HAS SOPS 823340 HAS SOUS 688638 HAS SOUPS 688638 WITH SCORE 689461.34
AT ITER 1418 NEW BEST:: SOT 4777849 SOS 823162 HAS SOPS 823162 HAS SOUS 688460 HAS SOUPS 688460 WITH SCORE 689283.162
AT ITER 1455 NEW BEST:: SOT 4777791 SOS 823046 HAS SOPS 823046 HAS SOUS 688344 HAS SOUPS 688344 WITH SCORE 689167.046
AT ITER 1472 NEW BEST:: SOT 4777791 SOS 822896 HAS SOPS 822896 HAS SOUS 688269 HAS SOUPS 688269 WITH SCORE 689091.896
AT ITER 1480 NEW BEST:: SOT 4777261 SOS 822404 HAS SOPS 822404 HAS SOUS 687777 HAS SOUPS 687777 WITH SCORE 688599.404
AT ITER 1486 NEW BEST:: SOT 4777260 SOS 822402 HAS SOPS 822402 HAS SOUS 687775 HAS SOUPS 687775 WITH SCORE 688597.402
AT ITER 1506 NEW BEST:: SOT 4777260 SOS 822234 HAS SOPS 822234 HAS SOUS 687607 HAS SOUPS 687607 WITH SCORE 688429.234
AT ITER 1530 NEW BEST:: SOT 4777232 SOS 822178 HAS SOPS 822178 HAS SOUS 687551 HAS SOUPS 687551 WITH SCORE 688373.178
AT ITER 1551 NEW BEST:: SOT 4777232 SOS 821856 HAS SOPS 821856 HAS SOUS 687551 HAS SOUPS 687551 WITH SCORE 688372.856
AT ITER 1554 NEW BEST:: SOT 4777232 SOS 821856 HAS SOPS 821856 HAS SOUS 687523 HAS SOUPS 687523 WITH SCORE 688344.856
AT ITER 1559 NEW BEST:: SOT 4777225 SOS 821842 HAS SOPS 821842 HAS SOUS 687509 HAS SOUPS 687509 WITH SCORE 688330.842
AT ITER 1575 NEW BEST:: SOT 4776702 SOS 819642 HAS SOPS 819642 HAS SOUS 687038 HAS SOUPS 687038 WITH SCORE 687857.642
AT ITER 1604 NEW BEST:: SOT 4776463 SOS 819557 HAS SOPS 819557 HAS SOUS 686930 HAS SOUPS 686930 WITH SCORE 687749.557
AT ITER 1613 NEW BEST:: SOT 4776441 SOS 819513 HAS SOPS 819513 HAS SOUS 686886 HAS SOUPS 686886 WITH SCORE 687705.513
AT ITER 1630 NEW BEST:: SOT 4776419 SOS 819469 HAS SOPS 819469 HAS SOUS 686842 HAS SOUPS 686842 WITH SCORE 687661.469
AT ITER 1656 NEW BEST:: SOT 4776419 SOS 819323 HAS SOPS 819323 HAS SOUS 686769 HAS SOUPS 686769 WITH SCORE 687588.323
AT ITER 1714 NEW BEST:: SOT 4776392 SOS 819188 HAS SOPS 819188 HAS SOUS 686769 HAS SOUPS 686769 WITH SCORE 687588.188
AT ITER 1719 NEW BEST:: SOT 4776171 SOS 819156 HAS SOPS 819156 HAS SOUS 686630 HAS SOUPS 686630 WITH SCORE 687449.156
AT ITER 1728 NEW BEST:: SOT 4776151 SOS 819116 HAS SOPS 819116 HAS SOUS 686590 HAS SOUPS 686590 WITH SCORE 687409.116
AT ITER 1742 NEW BEST:: SOT 4776322 SOS 819458 HAS SOPS 819458 HAS SOUS 686461 HAS SOUPS 686461 WITH SCORE 687280.458
AT ITER 1745 NEW BEST:: SOT 4776275 SOS 819411 HAS SOPS 819411 HAS SOUS 686367 HAS SOUPS 686367 WITH SCORE 687186.411
AT ITER 1768 NEW BEST:: SOT 4776275 SOS 819248 HAS SOPS 819248 HAS SOUS 686367 HAS SOUPS 686367 WITH SCORE 687186.248
AT ITER 1840 NEW BEST:: SOT 4776248 SOS 819194 HAS SOPS 819194 HAS SOUS 686340 HAS SOUPS 686340 WITH SCORE 687159.194
AT ITER 1858 NEW BEST:: SOT 4776095 SOS 818888 HAS SOPS 818888 HAS SOUS 686187 HAS SOUPS 686187 WITH SCORE 687005.888
AT ITER 1861 NEW BEST:: SOT 4776095 SOS 818827 HAS SOPS 818827 HAS SOUS 686126 HAS SOUPS 686126 WITH SCORE 686944.827
AT ITER 1865 NEW BEST:: SOT 4775938 SOS 818285 HAS SOPS 818285 HAS SOUS 685787 HAS SOUPS 685787 WITH SCORE 686605.285
AT ITER 1867 NEW BEST:: SOT 4775836 SOS 818367 HAS SOPS 818367 HAS SOUS 685685 HAS SOUPS 685685 WITH SCORE 686503.367
AT ITER 1899 NEW BEST:: SOT 4775760 SOS 818216 HAS SOPS 818216 HAS SOUS 685534 HAS SOUPS 685534 WITH SCORE 686352.216
AT ITER 1910 NEW BEST:: SOT 4775505 SOS 818077 HAS SOPS 818077 HAS SOUS 685318 HAS SOUPS 685318 WITH SCORE 686136.077
AT ITER 1919 NEW BEST:: SOT 4773104 SOS 830614 HAS SOPS 830614 HAS SOUS 685172 HAS SOUPS 685172 WITH SCORE 686002.614
AT ITER 1934 NEW BEST:: SOT 4773047 SOS 830604 HAS SOPS 830604 HAS SOUS 685171 HAS SOUPS 685171 WITH SCORE 686001.604
AT ITER 1987 NEW BEST:: SOT 4773005 SOS 830478 HAS SOPS 830478 HAS SOUS 685129 HAS SOUPS 685129 WITH SCORE 685959.478
AT ITER 1994 NEW BEST:: SOT 4772833 SOS 830134 HAS SOPS 830134 HAS SOUS 684957 HAS SOUPS 684957 WITH SCORE 685787.134
AT ITER 2012 NEW BEST:: SOT 4772571 SOS 829610 HAS SOPS 829610 HAS SOUS 684433 HAS SOUPS 684433 WITH SCORE 685262.61
AT ITER 2028 NEW BEST:: SOT 4772571 SOS 829465 HAS SOPS 829465 HAS SOUS 684305 HAS SOUPS 684305 WITH SCORE 685134.465
AT ITER 2035 NEW BEST:: SOT 4772335 SOS 828993 HAS SOPS 828993 HAS SOUS 684102 HAS SOUPS 684102 WITH SCORE 684930.993
AT ITER 2051 NEW BEST:: SOT 4772211 SOS 827919 HAS SOPS 827919 HAS SOUS 684098 HAS SOUPS 684098 WITH SCORE 684925.919
AT ITER 2073 NEW BEST:: SOT 4771996 SOS 827059 HAS SOPS 827059 HAS SOUS 683453 HAS SOUPS 683453 WITH SCORE 684280.059
AT ITER 2087 NEW BEST:: SOT 4772161 SOS 827389 HAS SOPS 827389 HAS SOUS 683330 HAS SOUPS 683330 WITH SCORE 684157.389
AT ITER 2099 NEW BEST:: SOT 4771629 SOS 827150 HAS SOPS 827150 HAS SOUS 683087 HAS SOUPS 683087 WITH SCORE 683914.15
AT ITER 2126 NEW BEST:: SOT 4771627 SOS 827146 HAS SOPS 827146 HAS SOUS 683083 HAS SOUPS 683083 WITH SCORE 683910.146
AT ITER 2142 NEW BEST:: SOT 4771627 SOS 827146 HAS SOPS 827146 HAS SOUS 683028 HAS SOUPS 683028 WITH SCORE 683855.146
AT ITER 2176 NEW BEST:: SOT 4771483 SOS 826426 HAS SOPS 826426 HAS SOUS 682740 HAS SOUPS 682740 WITH SCORE 683566.426
AT ITER 2199 NEW BEST:: SOT 4771341 SOS 826142 HAS SOPS 826142 HAS SOUS 682643 HAS SOUPS 682643 WITH SCORE 683469.142
AT ITER 2221 NEW BEST:: SOT 4771220 SOS 825900 HAS SOPS 825900 HAS SOUS 682528 HAS SOUPS 682528 WITH SCORE 683353.9
AT ITER 2233 NEW BEST:: SOT 4771204 SOS 825868 HAS SOPS 825868 HAS SOUS 682496 HAS SOUPS 682496 WITH SCORE 683321.868
AT ITER 2310 NEW BEST:: SOT 4771161 SOS 825858 HAS SOPS 825858 HAS SOUS 682495 HAS SOUPS 682495 WITH SCORE 683320.858
AT ITER 2323 NEW BEST:: SOT 4771161 SOS 825894 HAS SOPS 825894 HAS SOUS 682459 HAS SOUPS 682459 WITH SCORE 683284.894
AT ITER 2351 NEW BEST:: SOT 4770865 SOS 825894 HAS SOPS 825894 HAS SOUS 682163 HAS SOUPS 682163 WITH SCORE 682988.894
AT ITER 2357 NEW BEST:: SOT 4770747 SOS 825835 HAS SOPS 825835 HAS SOUS 682104 HAS SOUPS 682104 WITH SCORE 682929.835
AT ITER 2360 NEW BEST:: SOT 4770747 SOS 825602 HAS SOPS 825602 HAS SOUS 681871 HAS SOUPS 681871 WITH SCORE 682696.602
AT ITER 2370 NEW BEST:: SOT 4770454 SOS 824137 HAS SOPS 824137 HAS SOUS 681285 HAS SOUPS 681285 WITH SCORE 682109.137
AT ITER 2471 NEW BEST:: SOT 4770406 SOS 824041 HAS SOPS 824041 HAS SOUS 681189 HAS SOUPS 681189 WITH SCORE 682013.041
AT ITER 2487 NEW BEST:: SOT 4770215 SOS 823659 HAS SOPS 823659 HAS SOUS 680807 HAS SOUPS 680807 WITH SCORE 681630.659
AT ITER 2500 NEW BEST:: SOT 4768639 SOS 828772 HAS SOPS 828772 HAS SOUS 680445 HAS SOUPS 680445 WITH SCORE 681273.772
AT ITER 2541 NEW BEST:: SOT 4768461 SOS 827882 HAS SOPS 827882 HAS SOUS 680089 HAS SOUPS 680089 WITH SCORE 680916.882
AT ITER 2576 NEW BEST:: SOT 4768191 SOS 827611 HAS SOPS 827611 HAS SOUS 679818 HAS SOUPS 679818 WITH SCORE 680645.611
AT ITER 2577 NEW BEST:: SOT 4768090 SOS 827013 HAS SOPS 827013 HAS SOUS 679616 HAS SOUPS 679616 WITH SCORE 680443.013
AT ITER 2599 NEW BEST:: SOT 4767975 SOS 826898 HAS SOPS 826898 HAS SOUS 679386 HAS SOUPS 679386 WITH SCORE 680212.898
AT ITER 2601 NEW BEST:: SOT 4767823 SOS 826594 HAS SOPS 826594 HAS SOUS 679232 HAS SOUPS 679232 WITH SCORE 680058.594
AT ITER 2608 NEW BEST:: SOT 4767400 SOS 824394 HAS SOPS 824394 HAS SOUS 679007 HAS SOUPS 679007 WITH SCORE 679831.394
AT ITER 2661 NEW BEST:: SOT 4767400 SOS 824335 HAS SOPS 824335 HAS SOUS 678948 HAS SOUPS 678948 WITH SCORE 679772.335
AT ITER 2680 NEW BEST:: SOT 4767400 SOS 824330 HAS SOPS 824330 HAS SOUS 678948 HAS SOUPS 678948 WITH SCORE 679772.33
AT ITER 2691 NEW BEST:: SOT 4767405 SOS 824214 HAS SOPS 824214 HAS SOUS 678895 HAS SOUPS 678895 WITH SCORE 679719.214
AT ITER 2704 NEW BEST:: SOT 4767369 SOS 824143 HAS SOPS 824143 HAS SOUS 678824 HAS SOUPS 678824 WITH SCORE 679648.143
AT ITER 2732 NEW BEST:: SOT 4767189 SOS 823208 HAS SOPS 823208 HAS SOUS 678564 HAS SOUPS 678564 WITH SCORE 679387.208
AT ITER 2762 NEW BEST:: SOT 4767115 SOS 823220 HAS SOPS 823220 HAS SOUS 678534 HAS SOUPS 678534 WITH SCORE 679357.22
AT ITER 2776 NEW BEST:: SOT 4767034 SOS 822739 HAS SOPS 822739 HAS SOUS 678451 HAS SOUPS 678451 WITH SCORE 679273.739
AT ITER 2781 NEW BEST:: SOT 4766568 SOS 820559 HAS SOPS 820559 HAS SOUS 677828 HAS SOUPS 677828 WITH SCORE 678648.559
AT ITER 2794 NEW BEST:: SOT 4766462 SOS 820506 HAS SOPS 820506 HAS SOUS 677722 HAS SOUPS 677722 WITH SCORE 678542.506
AT ITER 2832 NEW BEST:: SOT 4766464 SOS 820510 HAS SOPS 820510 HAS SOUS 677584 HAS SOUPS 677584 WITH SCORE 678404.51
AT ITER 2846 NEW BEST:: SOT 4766337 SOS 820256 HAS SOPS 820256 HAS SOUS 677330 HAS SOUPS 677330 WITH SCORE 678150.256
AT ITER 2848 NEW BEST:: SOT 4766337 SOS 820371 HAS SOPS 820371 HAS SOUS 677329 HAS SOUPS 677329 WITH SCORE 678149.371
AT ITER 2859 NEW BEST:: SOT 4766338 SOS 820347 HAS SOPS 820347 HAS SOUS 677305 HAS SOUPS 677305 WITH SCORE 678125.347
AT ITER 2874 NEW BEST:: SOT 4765934 SOS 819540 HAS SOPS 819540 HAS SOUS 676839 HAS SOUPS 676839 WITH SCORE 677658.54
AT ITER 2932 NEW BEST:: SOT 4765443 SOS 819784 HAS SOPS 819784 HAS SOUS 676660 HAS SOUPS 676660 WITH SCORE 677479.784
AT ITER 2936 NEW BEST:: SOT 4765443 SOS 819634 HAS SOPS 819634 HAS SOUS 676660 HAS SOUPS 676660 WITH SCORE 677479.634
AT ITER 2972 NEW BEST:: SOT 4765213 SOS 818484 HAS SOPS 818484 HAS SOUS 676200 HAS SOUPS 676200 WITH SCORE 677018.484
AT ITER 2979 NEW BEST:: SOT 4764808 SOS 816729 HAS SOPS 816729 HAS SOUS 676014 HAS SOUPS 676014 WITH SCORE 676830.729
AT ITER 3033 NEW BEST:: SOT 4764808 SOS 816350 HAS SOPS 816350 HAS SOUS 676014 HAS SOUPS 676014 WITH SCORE 676830.35
AT ITER 3048 NEW BEST:: SOT 4764779 SOS 816292 HAS SOPS 816292 HAS SOUS 675985 HAS SOUPS 675985 WITH SCORE 676801.292
AT ITER 3070 NEW BEST:: SOT 4764898 SOS 816530 HAS SOPS 816530 HAS SOUS 675764 HAS SOUPS 675764 WITH SCORE 676580.53
AT ITER 3077 NEW BEST:: SOT 4764897 SOS 816528 HAS SOPS 816528 HAS SOUS 675762 HAS SOUPS 675762 WITH SCORE 676578.528
AT ITER 3084 NEW BEST:: SOT 4764897 SOS 816525 HAS SOPS 816525 HAS SOUS 675761 HAS SOUPS 675761 WITH SCORE 676577.525
AT ITER 3136 NEW BEST:: SOT 4764708 SOS 816147 HAS SOPS 816147 HAS SOUS 675572 HAS SOUPS 675572 WITH SCORE 676388.147
AT ITER 3173 NEW BEST:: SOT 4764521 SOS 816011 HAS SOPS 816011 HAS SOUS 675402 HAS SOUPS 675402 WITH SCORE 676218.011
AT ITER 3192 NEW BEST:: SOT 4764477 SOS 815967 HAS SOPS 815967 HAS SOUS 675314 HAS SOUPS 675314 WITH SCORE 676129.967
AT ITER 3221 NEW BEST:: SOT 4764137 SOS 815287 HAS SOPS 815287 HAS SOUS 675229 HAS SOUPS 675229 WITH SCORE 676044.287
AT ITER 3226 NEW BEST:: SOT 4764136 SOS 815285 HAS SOPS 815285 HAS SOUS 675227 HAS SOUPS 675227 WITH SCORE 676042.285
AT ITER 3251 NEW BEST:: SOT 4761629 SOS 814938 HAS SOPS 814938 HAS SOUS 673180 HAS SOUPS 673180 WITH SCORE 673994.938
AT ITER 3261 NEW BEST:: SOT 4761109 SOS 814418 HAS SOPS 814418 HAS SOUS 672660 HAS SOUPS 672660 WITH SCORE 673474.418
AT ITER 3291 NEW BEST:: SOT 4761108 SOS 814416 HAS SOPS 814416 HAS SOUS 672658 HAS SOUPS 672658 WITH SCORE 673472.416
AT ITER 3294 NEW BEST:: SOT 4761004 SOS 814328 HAS SOPS 814328 HAS SOUS 672554 HAS SOUPS 672554 WITH SCORE 673368.328
AT ITER 3301 NEW BEST:: SOT 4760679 SOS 812475 HAS SOPS 812475 HAS SOUS 671874 HAS SOUPS 671874 WITH SCORE 672686.475
AT ITER 3354 NEW BEST:: SOT 4760609 SOS 812335 HAS SOPS 812335 HAS SOUS 671781 HAS SOUPS 671781 WITH SCORE 672593.335
AT ITER 3378 NEW BEST:: SOT 4760474 SOS 812266 HAS SOPS 812266 HAS SOUS 671712 HAS SOUPS 671712 WITH SCORE 672524.266
AT ITER 3381 NEW BEST:: SOT 4760429 SOS 812265 HAS SOPS 812265 HAS SOUS 671711 HAS SOUPS 671711 WITH SCORE 672523.265
AT ITER 3394 NEW BEST:: SOT 4760428 SOS 812263 HAS SOPS 812263 HAS SOUS 671709 HAS SOUPS 671709 WITH SCORE 672521.263
AT ITER 3395 NEW BEST:: SOT 4760302 SOS 811591 HAS SOPS 811591 HAS SOUS 671457 HAS SOUPS 671457 WITH SCORE 672268.591
AT ITER 3492 NEW BEST:: SOT 4760160 SOS 810881 HAS SOPS 810881 HAS SOUS 671173 HAS SOUPS 671173 WITH SCORE 671983.881
AT ITER 3500 NEW BEST:: SOT 4759855 SOS 809907 HAS SOPS 809907 HAS SOUS 670694 HAS SOUPS 670694 WITH SCORE 671503.907
AT ITER 3505 NEW BEST:: SOT 4759462 SOS 809121 HAS SOPS 809121 HAS SOUS 670301 HAS SOUPS 670301 WITH SCORE 671110.121
AT ITER 3506 NEW BEST:: SOT 4759412 SOS 809096 HAS SOPS 809096 HAS SOUS 670276 HAS SOUPS 670276 WITH SCORE 671085.096
AT ITER 3554 NEW BEST:: SOT 4759330 SOS 808932 HAS SOPS 808932 HAS SOUS 670112 HAS SOUPS 670112 WITH SCORE 670920.932
AT ITER 3561 NEW BEST:: SOT 4759330 SOS 808932 HAS SOPS 808932 HAS SOUS 670052 HAS SOUPS 670052 WITH SCORE 670860.932
AT ITER 3590 NEW BEST:: SOT 4759330 SOS 808932 HAS SOPS 808932 HAS SOUS 669720 HAS SOUPS 669720 WITH SCORE 670528.932
AT ITER 3605 NEW BEST:: SOT 4759276 SOS 808876 HAS SOPS 808876 HAS SOUS 669664 HAS SOUPS 669664 WITH SCORE 670472.876
AT ITER 3621 NEW BEST:: SOT 4759275 SOS 808874 HAS SOPS 808874 HAS SOUS 669662 HAS SOUPS 669662 WITH SCORE 670470.874
AT ITER 3639 NEW BEST:: SOT 4759214 SOS 808752 HAS SOPS 808752 HAS SOUS 669573 HAS SOUPS 669573 WITH SCORE 670381.752
AT ITER 3641 NEW BEST:: SOT 4759029 SOS 808382 HAS SOPS 808382 HAS SOUS 669443 HAS SOUPS 669443 WITH SCORE 670251.382
AT ITER 3650 NEW BEST:: SOT 4758995 SOS 808314 HAS SOPS 808314 HAS SOUS 669375 HAS SOUPS 669375 WITH SCORE 670183.314
AT ITER 3702 NEW BEST:: SOT 4758859 SOS 807861 HAS SOPS 807861 HAS SOUS 668922 HAS SOUPS 668922 WITH SCORE 669729.861
AT ITER 3705 NEW BEST:: SOT 4758767 SOS 807710 HAS SOPS 807710 HAS SOUS 668771 HAS SOUPS 668771 WITH SCORE 669578.71
AT ITER 3716 NEW BEST:: SOT 4758697 SOS 807570 HAS SOPS 807570 HAS SOUS 668631 HAS SOUPS 668631 WITH SCORE 669438.57
AT ITER 3719 NEW BEST:: SOT 4758611 SOS 807527 HAS SOPS 807527 HAS SOUS 668588 HAS SOUPS 668588 WITH SCORE 669395.527
AT ITER 3729 NEW BEST:: SOT 4758536 SOS 807377 HAS SOPS 807377 HAS SOUS 668148 HAS SOUPS 668148 WITH SCORE 668955.377
AT ITER 3742 NEW BEST:: SOT 4758535 SOS 807375 HAS SOPS 807375 HAS SOUS 668146 HAS SOUPS 668146 WITH SCORE 668953.375
AT ITER 3757 NEW BEST:: SOT 4758418 SOS 807141 HAS SOPS 807141 HAS SOUS 667912 HAS SOUPS 667912 WITH SCORE 668719.141
AT ITER 3771 NEW BEST:: SOT 4758312 SOS 807118 HAS SOPS 807118 HAS SOUS 667707 HAS SOUPS 667707 WITH SCORE 668514.118
AT ITER 3780 NEW BEST:: SOT 4758128 SOS 806750 HAS SOPS 806750 HAS SOUS 667339 HAS SOUPS 667339 WITH SCORE 668145.75
AT ITER 3805 NEW BEST:: SOT 4758097 SOS 806599 HAS SOPS 806599 HAS SOUS 667277 HAS SOUPS 667277 WITH SCORE 668083.599
AT ITER 3816 NEW BEST:: SOT 4758097 SOS 806590 HAS SOPS 806590 HAS SOUS 667271 HAS SOUPS 667271 WITH SCORE 668077.59
AT ITER 3818 NEW BEST:: SOT 4758097 SOS 806590 HAS SOPS 806590 HAS SOUS 666891 HAS SOUPS 666891 WITH SCORE 667697.59
AT ITER 3821 NEW BEST:: SOT 4758097 SOS 806590 HAS SOPS 806590 HAS SOUS 666890 HAS SOUPS 666890 WITH SCORE 667696.59
AT ITER 3832 NEW BEST:: SOT 4757808 SOS 806012 HAS SOPS 806012 HAS SOUS 666312 HAS SOUPS 666312 WITH SCORE 667118.012
AT ITER 3843 NEW BEST:: SOT 4757748 SOS 805962 HAS SOPS 805962 HAS SOUS 666252 HAS SOUPS 666252 WITH SCORE 667057.962
AT ITER 3858 NEW BEST:: SOT 4757719 SOS 805904 HAS SOPS 805904 HAS SOUS 666194 HAS SOUPS 666194 WITH SCORE 666999.904
AT ITER 3876 NEW BEST:: SOT 4757819 SOS 806104 HAS SOPS 806104 HAS SOUS 665895 HAS SOUPS 665895 WITH SCORE 666701.104
AT ITER 3881 NEW BEST:: SOT 4757799 SOS 806064 HAS SOPS 806064 HAS SOUS 665842 HAS SOUPS 665842 WITH SCORE 666648.064
AT ITER 3898 NEW BEST:: SOT 4757682 SOS 805956 HAS SOPS 805956 HAS SOUS 665725 HAS SOUPS 665725 WITH SCORE 666530.956
AT ITER 3919 NEW BEST:: SOT 4757661 SOS 806209 HAS SOPS 806209 HAS SOUS 665683 HAS SOUPS 665683 WITH SCORE 666489.209
AT ITER 3986 NEW BEST:: SOT 4757514 SOS 805915 HAS SOPS 805915 HAS SOUS 665389 HAS SOUPS 665389 WITH SCORE 666194.915
AT ITER 3992 NEW BEST:: SOT 4757497 SOS 805881 HAS SOPS 805881 HAS SOUS 665369 HAS SOUPS 665369 WITH SCORE 666174.881
AT ITER 4020 NEW BEST:: SOT 4757188 SOS 805572 HAS SOPS 805572 HAS SOUS 665060 HAS SOUPS 665060 WITH SCORE 665865.572
AT ITER 4033 NEW BEST:: SOT 4756988 SOS 805454 HAS SOPS 805454 HAS SOUS 664738 HAS SOUPS 664738 WITH SCORE 665543.454
AT ITER 4081 NEW BEST:: SOT 4756907 SOS 805051 HAS SOPS 805051 HAS SOUS 664738 HAS SOUPS 664738 WITH SCORE 665543.051
AT ITER 4122 NEW BEST:: SOT 4756837 SOS 804981 HAS SOPS 804981 HAS SOUS 664598 HAS SOUPS 664598 WITH SCORE 665402.981
AT ITER 4132 NEW BEST:: SOT 4756814 SOS 804936 HAS SOPS 804936 HAS SOUS 664553 HAS SOUPS 664553 WITH SCORE 665357.936
AT ITER 4156 NEW BEST:: SOT 4756648 SOS 804812 HAS SOPS 804812 HAS SOUS 664388 HAS SOUPS 664388 WITH SCORE 665192.812
AT ITER 4258 NEW BEST:: SOT 4756518 SOS 804747 HAS SOPS 804747 HAS SOUS 664323 HAS SOUPS 664323 WITH SCORE 665127.747
AT ITER 4260 NEW BEST:: SOT 4756518 SOS 804952 HAS SOPS 804952 HAS SOUS 664188 HAS SOUPS 664188 WITH SCORE 664992.952
AT ITER 4280 NEW BEST:: SOT 4756518 SOS 804769 HAS SOPS 804769 HAS SOUS 664188 HAS SOUPS 664188 WITH SCORE 664992.769
AT ITER 4281 NEW BEST:: SOT 4756500 SOS 804715 HAS SOPS 804715 HAS SOUS 664152 HAS SOUPS 664152 WITH SCORE 664956.715
AT ITER 4290 NEW BEST:: SOT 4756499 SOS 804713 HAS SOPS 804713 HAS SOUS 664150 HAS SOUPS 664150 WITH SCORE 664954.713
AT ITER 4295 NEW BEST:: SOT 4756499 SOS 804519 HAS SOPS 804519 HAS SOUS 664150 HAS SOUPS 664150 WITH SCORE 664954.519
AT ITER 4305 NEW BEST:: SOT 4756454 SOS 804429 HAS SOPS 804429 HAS SOUS 664060 HAS SOUPS 664060 WITH SCORE 664864.429
AT ITER 4352 NEW BEST:: SOT 4756385 SOS 804291 HAS SOPS 804291 HAS SOUS 663991 HAS SOUPS 663991 WITH SCORE 664795.291
AT ITER 4443 NEW BEST:: SOT 4754178 SOS 808165 HAS SOPS 808165 HAS SOUS 662346 HAS SOUPS 662346 WITH SCORE 663154.165
AT ITER 4446 NEW BEST:: SOT 4754177 SOS 808001 HAS SOPS 808001 HAS SOUS 662182 HAS SOUPS 662182 WITH SCORE 662990.001
AT ITER 4467 NEW BEST:: SOT 4754159 SOS 807916 HAS SOPS 807916 HAS SOUS 662097 HAS SOUPS 662097 WITH SCORE 662904.916
AT ITER 4474 NEW BEST:: SOT 4753859 SOS 807316 HAS SOPS 807316 HAS SOUS 661497 HAS SOUPS 661497 WITH SCORE 662304.316
AT ITER 4502 NEW BEST:: SOT 4753795 SOS 807770 HAS SOPS 807770 HAS SOUS 661484 HAS SOUPS 661484 WITH SCORE 662291.77
AT ITER 4521 NEW BEST:: SOT 4753521 SOS 805683 HAS SOPS 805683 HAS SOUS 661417 HAS SOUPS 661417 WITH SCORE 662222.683
AT ITER 4531 NEW BEST:: SOT 4753480 SOS 805601 HAS SOPS 805601 HAS SOUS 661335 HAS SOUPS 661335 WITH SCORE 662140.601
AT ITER 4536 NEW BEST:: SOT 4753364 SOS 805369 HAS SOPS 805369 HAS SOUS 661253 HAS SOUPS 661253 WITH SCORE 662058.369
AT ITER 4552 NEW BEST:: SOT 4753002 SOS 804645 HAS SOPS 804645 HAS SOUS 660529 HAS SOUPS 660529 WITH SCORE 661333.645
AT ITER 4565 NEW BEST:: SOT 4753002 SOS 804645 HAS SOPS 804645 HAS SOUS 660528 HAS SOUPS 660528 WITH SCORE 661332.645
AT ITER 4577 NEW BEST:: SOT 4752890 SOS 804589 HAS SOPS 804589 HAS SOUS 660472 HAS SOUPS 660472 WITH SCORE 661276.589
AT ITER 4605 NEW BEST:: SOT 4752597 SOS 804003 HAS SOPS 804003 HAS SOUS 660405 HAS SOUPS 660405 WITH SCORE 661209.003
AT ITER 4624 NEW BEST:: SOT 4752498 SOS 803805 HAS SOPS 803805 HAS SOUS 660207 HAS SOUPS 660207 WITH SCORE 661010.805
AT ITER 4629 NEW BEST:: SOT 4752498 SOS 803904 HAS SOPS 803904 HAS SOUS 660190 HAS SOUPS 660190 WITH SCORE 660993.904
AT ITER 4636 NEW BEST:: SOT 4752498 SOS 803552 HAS SOPS 803552 HAS SOUS 660014 HAS SOUPS 660014 WITH SCORE 660817.552
AT ITER 4638 NEW BEST:: SOT 4752498 SOS 803448 HAS SOPS 803448 HAS SOUS 660014 HAS SOUPS 660014 WITH SCORE 660817.448
AT ITER 4641 NEW BEST:: SOT 4752386 SOS 803224 HAS SOPS 803224 HAS SOUS 659790 HAS SOUPS 659790 WITH SCORE 660593.224
AT ITER 4654 NEW BEST:: SOT 4752259 SOS 802970 HAS SOPS 802970 HAS SOUS 659494 HAS SOUPS 659494 WITH SCORE 660296.97
AT ITER 4660 NEW BEST:: SOT 4752177 SOS 802651 HAS SOPS 802651 HAS SOUS 659313 HAS SOUPS 659313 WITH SCORE 660115.651
AT ITER 4665 NEW BEST:: SOT 4752093 SOS 802566 HAS SOPS 802566 HAS SOUS 659308 HAS SOUPS 659308 WITH SCORE 660110.566
AT ITER 4691 NEW BEST:: SOT 4751975 SOS 802120 HAS SOPS 802120 HAS SOUS 659245 HAS SOUPS 659245 WITH SCORE 660047.12
AT ITER 4709 NEW BEST:: SOT 4751975 SOS 799300 HAS SOPS 799300 HAS SOUS 659245 HAS SOUPS 659245 WITH SCORE 660044.3
AT ITER 4773 NEW BEST:: SOT 4751925 SOS 799200 HAS SOPS 799200 HAS SOUS 659013 HAS SOUPS 659013 WITH SCORE 659812.2
AT ITER 4777 NEW BEST:: SOT 4751925 SOS 799453 HAS SOPS 799453 HAS SOUS 659012 HAS SOUPS 659012 WITH SCORE 659811.453
AT ITER 4782 NEW BEST:: SOT 4751861 SOS 799407 HAS SOPS 799407 HAS SOUS 658966 HAS SOUPS 658966 WITH SCORE 659765.407
AT ITER 4788 NEW BEST:: SOT 4751861 SOS 799229 HAS SOPS 799229 HAS SOUS 658877 HAS SOUPS 658877 WITH SCORE 659676.229
AT ITER 4823 NEW BEST:: SOT 4751689 SOS 799143 HAS SOPS 799143 HAS SOUS 658791 HAS SOUPS 658791 WITH SCORE 659590.143
AT ITER 4832 NEW BEST:: SOT 4751574 SOS 798913 HAS SOPS 798913 HAS SOUS 658544 HAS SOUPS 658544 WITH SCORE 659342.913
AT ITER 4853 NEW BEST:: SOT 4751483 SOS 798646 HAS SOPS 798646 HAS SOUS 658277 HAS SOUPS 658277 WITH SCORE 659075.646
AT ITER 4872 NEW BEST:: SOT 4751390 SOS 798362 HAS SOPS 798362 HAS SOUS 658144 HAS SOUPS 658144 WITH SCORE 658942.362
AT ITER 4886 NEW BEST:: SOT 4751352 SOS 798286 HAS SOPS 798286 HAS SOUS 657933 HAS SOUPS 657933 WITH SCORE 658731.286
AT ITER 4937 NEW BEST:: SOT 4750622 SOS 799511 HAS SOPS 799511 HAS SOUS 657317 HAS SOUPS 657317 WITH SCORE 658116.511
AT ITER 4983 NEW BEST:: SOT 4750464 SOS 799432 HAS SOPS 799432 HAS SOUS 657238 HAS SOUPS 657238 WITH SCORE 658037.432
AT ITER 4996 NEW BEST:: SOT 4750378 SOS 799389 HAS SOPS 799389 HAS SOUS 657195 HAS SOUPS 657195 WITH SCORE 657994.389
AT ITER 5029 NEW BEST:: SOT 4748341 SOS 806160 HAS SOPS 806160 HAS SOUS 656325 HAS SOUPS 656325 WITH SCORE 657131.16
AT ITER 5033 NEW BEST:: SOT 4747823 SOS 804622 HAS SOPS 804622 HAS SOUS 654603 HAS SOUPS 654603 WITH SCORE 655407.622
AT ITER 5035 NEW BEST:: SOT 4747805 SOS 804586 HAS SOPS 804586 HAS SOUS 654567 HAS SOUPS 654567 WITH SCORE 655371.586
AT ITER 5052 NEW BEST:: SOT 4747764 SOS 804504 HAS SOPS 804504 HAS SOUS 654485 HAS SOUPS 654485 WITH SCORE 655289.504
AT ITER 5079 NEW BEST:: SOT 4747747 SOS 804470 HAS SOPS 804470 HAS SOUS 654451 HAS SOUPS 654451 WITH SCORE 655255.47
AT ITER 5117 NEW BEST:: SOT 4747747 SOS 804457 HAS SOPS 804457 HAS SOUS 654451 HAS SOUPS 654451 WITH SCORE 655255.457
AT ITER 5120 NEW BEST:: SOT 4747473 SOS 804080 HAS SOPS 804080 HAS SOUS 654074 HAS SOUPS 654074 WITH SCORE 654878.08
AT ITER 5125 NEW BEST:: SOT 4747110 SOS 803967 HAS SOPS 803967 HAS SOUS 653961 HAS SOUPS 653961 WITH SCORE 654764.967
AT ITER 5132 NEW BEST:: SOT 4746974 SOS 803290 HAS SOPS 803290 HAS SOUS 653823 HAS SOUPS 653823 WITH SCORE 654626.29
AT ITER 5187 NEW BEST:: SOT 4746829 SOS 802430 HAS SOPS 802430 HAS SOUS 653676 HAS SOUPS 653676 WITH SCORE 654478.43
AT ITER 5190 NEW BEST:: SOT 4746548 SOS 801868 HAS SOPS 801868 HAS SOUS 653114 HAS SOUPS 653114 WITH SCORE 653915.868
AT ITER 5195 NEW BEST:: SOT 4746521 SOS 801814 HAS SOPS 801814 HAS SOUS 653087 HAS SOUPS 653087 WITH SCORE 653888.814
AT ITER 5220 NEW BEST:: SOT 4746389 SOS 801550 HAS SOPS 801550 HAS SOUS 653051 HAS SOUPS 653051 WITH SCORE 653852.55
AT ITER 5241 NEW BEST:: SOT 4746319 SOS 801480 HAS SOPS 801480 HAS SOUS 652911 HAS SOUPS 652911 WITH SCORE 653712.48
AT ITER 5271 NEW BEST:: SOT 4746218 SOS 801278 HAS SOPS 801278 HAS SOUS 652810 HAS SOUPS 652810 WITH SCORE 653611.278
AT ITER 5290 NEW BEST:: SOT 4746218 SOS 801278 HAS SOPS 801278 HAS SOUS 652806 HAS SOUPS 652806 WITH SCORE 653607.278
AT ITER 5293 NEW BEST:: SOT 4746180 SOS 801026 HAS SOPS 801026 HAS SOUS 652680 HAS SOUPS 652680 WITH SCORE 653481.026
AT ITER 5295 NEW BEST:: SOT 4746052 SOS 800770 HAS SOPS 800770 HAS SOUS 652552 HAS SOUPS 652552 WITH SCORE 653352.77
AT ITER 5306 NEW BEST:: SOT 4746015 SOS 800696 HAS SOPS 800696 HAS SOUS 652478 HAS SOUPS 652478 WITH SCORE 653278.696
AT ITER 5370 NEW BEST:: SOT 4745841 SOS 800609 HAS SOPS 800609 HAS SOUS 652391 HAS SOUPS 652391 WITH SCORE 653191.609
AT ITER 5431 NEW BEST:: SOT 4745722 SOS 800133 HAS SOPS 800133 HAS SOUS 652087 HAS SOUPS 652087 WITH SCORE 652887.133
AT ITER 5446 NEW BEST:: SOT 4745625 SOS 799842 HAS SOPS 799842 HAS SOUS 651990 HAS SOUPS 651990 WITH SCORE 652789.842
AT ITER 5475 NEW BEST:: SOT 4745452 SOS 799084 HAS SOPS 799084 HAS SOUS 651481 HAS SOUPS 651481 WITH SCORE 652280.084
AT ITER 5484 NEW BEST:: SOT 4745495 SOS 799065 HAS SOPS 799065 HAS SOUS 651409 HAS SOUPS 651409 WITH SCORE 652208.065
AT ITER 5493 NEW BEST:: SOT 4745619 SOS 799313 HAS SOPS 799313 HAS SOUS 651375 HAS SOUPS 651375 WITH SCORE 652174.313
AT ITER 5503 NEW BEST:: SOT 4745295 SOS 798665 HAS SOPS 798665 HAS SOUS 651045 HAS SOUPS 651045 WITH SCORE 651843.665
AT ITER 5553 NEW BEST:: SOT 4744970 SOS 798015 HAS SOPS 798015 HAS SOUS 650891 HAS SOUPS 650891 WITH SCORE 651689.015
AT ITER 5576 NEW BEST:: SOT 4744842 SOS 797312 HAS SOPS 797312 HAS SOUS 650635 HAS SOUPS 650635 WITH SCORE 651432.312
AT ITER 5580 NEW BEST:: SOT 4744968 SOS 797017 HAS SOPS 797017 HAS SOUS 650535 HAS SOUPS 650535 WITH SCORE 651332.017
AT ITER 5591 NEW BEST:: SOT 4744784 SOS 796649 HAS SOPS 796649 HAS SOUS 650167 HAS SOUPS 650167 WITH SCORE 650963.649
AT ITER 5646 NEW BEST:: SOT 4744714 SOS 796509 HAS SOPS 796509 HAS SOUS 649924 HAS SOUPS 649924 WITH SCORE 650720.509
AT ITER 5660 NEW BEST:: SOT 4744641 SOS 796363 HAS SOPS 796363 HAS SOUS 649778 HAS SOUPS 649778 WITH SCORE 650574.363
AT ITER 5685 NEW BEST:: SOT 4744428 SOS 795298 HAS SOPS 795298 HAS SOUS 649520 HAS SOUPS 649520 WITH SCORE 650315.298
AT ITER 5692 NEW BEST:: SOT 4744081 SOS 794964 HAS SOPS 794964 HAS SOUS 649173 HAS SOUPS 649173 WITH SCORE 649967.964
AT ITER 5722 NEW BEST:: SOT 4744037 SOS 794919 HAS SOPS 794919 HAS SOUS 649168 HAS SOUPS 649168 WITH SCORE 649962.919
AT ITER 5732 NEW BEST:: SOT 4743798 SOS 794441 HAS SOPS 794441 HAS SOUS 648929 HAS SOUPS 648929 WITH SCORE 649723.441
AT ITER 5747 NEW BEST:: SOT 4743797 SOS 794439 HAS SOPS 794439 HAS SOUS 648740 HAS SOUPS 648740 WITH SCORE 649534.439
AT ITER 5783 NEW BEST:: SOT 4743701 SOS 794055 HAS SOPS 794055 HAS SOUS 648548 HAS SOUPS 648548 WITH SCORE 649342.055
AT ITER 5804 NEW BEST:: SOT 4743571 SOS 793795 HAS SOPS 793795 HAS SOUS 648443 HAS SOUPS 648443 WITH SCORE 649236.795
AT ITER 5808 NEW BEST:: SOT 4743451 SOS 793735 HAS SOPS 793735 HAS SOUS 648383 HAS SOUPS 648383 WITH SCORE 649176.735
AT ITER 5812 NEW BEST:: SOT 4743386 SOS 793605 HAS SOPS 793605 HAS SOUS 648253 HAS SOUPS 648253 WITH SCORE 649046.605
AT ITER 5835 NEW BEST:: SOT 4743373 SOS 793579 HAS SOPS 793579 HAS SOUS 648227 HAS SOUPS 648227 WITH SCORE 649020.579
AT ITER 5844 NEW BEST:: SOT 4743250 SOS 793332 HAS SOPS 793332 HAS SOUS 647716 HAS SOUPS 647716 WITH SCORE 648509.332
AT ITER 5872 NEW BEST:: SOT 4742940 SOS 793079 HAS SOPS 793079 HAS SOUS 647449 HAS SOUPS 647449 WITH SCORE 648242.079
AT ITER 5876 NEW BEST:: SOT 4743007 SOS 793033 HAS SOPS 793033 HAS SOUS 647403 HAS SOUPS 647403 WITH SCORE 648196.033
AT ITER 5889 NEW BEST:: SOT 4743006 SOS 793031 HAS SOPS 793031 HAS SOUS 647401 HAS SOUPS 647401 WITH SCORE 648194.031
AT ITER 5940 NEW BEST:: SOT 4740806 SOS 793013 HAS SOPS 793013 HAS SOUS 645826 HAS SOUPS 645826 WITH SCORE 646619.013
AT ITER 5977 NEW BEST:: SOT 4740369 SOS 792139 HAS SOPS 792139 HAS SOUS 644952 HAS SOUPS 644952 WITH SCORE 645744.139
AT ITER 5982 NEW BEST:: SOT 4740307 SOS 792015 HAS SOPS 792015 HAS SOUS 644828 HAS SOUPS 644828 WITH SCORE 645620.015
AT ITER 6010 NEW BEST:: SOT 4739812 SOS 791025 HAS SOPS 791025 HAS SOUS 644333 HAS SOUPS 644333 WITH SCORE 645124.025
AT ITER 6015 NEW BEST:: SOT 4739773 SOS 790947 HAS SOPS 790947 HAS SOUS 644294 HAS SOUPS 644294 WITH SCORE 645084.947
AT ITER 6019 NEW BEST:: SOT 4739875 SOS 791049 HAS SOPS 791049 HAS SOUS 644291 HAS SOUPS 644291 WITH SCORE 645082.049
AT ITER 6020 NEW BEST:: SOT 4739859 SOS 791017 HAS SOPS 791017 HAS SOUS 644267 HAS SOUPS 644267 WITH SCORE 645058.017
AT ITER 6025 NEW BEST:: SOT 4739798 SOS 790720 HAS SOPS 790720 HAS SOUS 644204 HAS SOUPS 644204 WITH SCORE 644994.72
AT ITER 6031 NEW BEST:: SOT 4739702 SOS 790211 HAS SOPS 790211 HAS SOUS 644012 HAS SOUPS 644012 WITH SCORE 644802.211
AT ITER 6038 NEW BEST:: SOT 4739240 SOS 789287 HAS SOPS 789287 HAS SOUS 643751 HAS SOUPS 643751 WITH SCORE 644540.287
AT ITER 6047 NEW BEST:: SOT 4739309 SOS 789231 HAS SOPS 789231 HAS SOUS 643727 HAS SOUPS 643727 WITH SCORE 644516.231
AT ITER 6079 NEW BEST:: SOT 4739229 SOS 789151 HAS SOPS 789151 HAS SOUS 643647 HAS SOUPS 643647 WITH SCORE 644436.151
AT ITER 6094 NEW BEST:: SOT 4738804 SOS 788301 HAS SOPS 788301 HAS SOUS 642798 HAS SOUPS 642798 WITH SCORE 643586.301
AT ITER 6099 NEW BEST:: SOT 4738494 SOS 787681 HAS SOPS 787681 HAS SOUS 642523 HAS SOUPS 642523 WITH SCORE 643310.681
AT ITER 6104 NEW BEST:: SOT 4738214 SOS 787121 HAS SOPS 787121 HAS SOUS 642348 HAS SOUPS 642348 WITH SCORE 643135.121
AT ITER 6124 NEW BEST:: SOT 4738031 SOS 786938 HAS SOPS 786938 HAS SOUS 642165 HAS SOUPS 642165 WITH SCORE 642951.938
AT ITER 6140 NEW BEST:: SOT 4737847 SOS 786650 HAS SOPS 786650 HAS SOUS 642075 HAS SOUPS 642075 WITH SCORE 642861.65
AT ITER 6146 NEW BEST:: SOT 4737847 SOS 786518 HAS SOPS 786518 HAS SOUS 642075 HAS SOUPS 642075 WITH SCORE 642861.518
AT ITER 6153 NEW BEST:: SOT 4737846 SOS 786516 HAS SOPS 786516 HAS SOUS 642073 HAS SOUPS 642073 WITH SCORE 642859.516
AT ITER 6191 NEW BEST:: SOT 4737824 SOS 786472 HAS SOPS 786472 HAS SOUS 642051 HAS SOUPS 642051 WITH SCORE 642837.472
AT ITER 6241 NEW BEST:: SOT 4736934 SOS 785905 HAS SOPS 785905 HAS SOUS 641457 HAS SOUPS 641457 WITH SCORE 642242.905
AT ITER 6245 NEW BEST:: SOT 4736788 SOS 785613 HAS SOPS 785613 HAS SOUS 641311 HAS SOUPS 641311 WITH SCORE 642096.613
AT ITER 6281 NEW BEST:: SOT 4736734 SOS 785506 HAS SOPS 785506 HAS SOUS 641204 HAS SOUPS 641204 WITH SCORE 641989.506
AT ITER 6319 NEW BEST:: SOT 4736628 SOS 785400 HAS SOPS 785400 HAS SOUS 641204 HAS SOUPS 641204 WITH SCORE 641989.4
AT ITER 6333 NEW BEST:: SOT 4736733 SOS 785190 HAS SOPS 785190 HAS SOUS 641099 HAS SOUPS 641099 WITH SCORE 641884.19
AT ITER 6358 NEW BEST:: SOT 4736621 SOS 784966 HAS SOPS 784966 HAS SOUS 640987 HAS SOUPS 640987 WITH SCORE 641771.966
AT ITER 6365 NEW BEST:: SOT 4736620 SOS 784964 HAS SOPS 784964 HAS SOUS 640985 HAS SOUPS 640985 WITH SCORE 641769.964
AT ITER 6388 NEW BEST:: SOT 4736586 SOS 784896 HAS SOPS 784896 HAS SOUS 640917 HAS SOUPS 640917 WITH SCORE 641701.896
AT ITER 6398 NEW BEST:: SOT 4736379 SOS 784482 HAS SOPS 784482 HAS SOUS 640503 HAS SOUPS 640503 WITH SCORE 641287.482
AT ITER 6415 NEW BEST:: SOT 4735727 SOS 784872 HAS SOPS 784872 HAS SOUS 640047 HAS SOUPS 640047 WITH SCORE 640831.872
AT ITER 6444 NEW BEST:: SOT 4735091 SOS 784242 HAS SOPS 784242 HAS SOUS 639417 HAS SOUPS 639417 WITH SCORE 640201.242
AT ITER 6457 NEW BEST:: SOT 4735077 SOS 784214 HAS SOPS 784214 HAS SOUS 639389 HAS SOUPS 639389 WITH SCORE 640173.214
AT ITER 6478 NEW BEST:: SOT 4734874 SOS 782991 HAS SOPS 782991 HAS SOUS 639230 HAS SOUPS 639230 WITH SCORE 640012.991
AT ITER 6481 NEW BEST:: SOT 4734636 SOS 783126 HAS SOPS 783126 HAS SOUS 639181 HAS SOUPS 639181 WITH SCORE 639964.126
AT ITER 6484 NEW BEST:: SOT 4734541 SOS 782936 HAS SOPS 782936 HAS SOUS 638991 HAS SOUPS 638991 WITH SCORE 639773.936
AT ITER 6629 NEW BEST:: SOT 4734479 SOS 782564 HAS SOPS 782564 HAS SOUS 638976 HAS SOUPS 638976 WITH SCORE 639758.564
AT ITER 6667 NEW BEST:: SOT 4734311 SOS 782228 HAS SOPS 782228 HAS SOUS 638640 HAS SOUPS 638640 WITH SCORE 639422.228
AT ITER 6670 NEW BEST:: SOT 4734296 SOS 782199 HAS SOPS 782199 HAS SOUS 638611 HAS SOUPS 638611 WITH SCORE 639393.199
AT ITER 6673 NEW BEST:: SOT 4734206 SOS 782019 HAS SOPS 782019 HAS SOUS 638521 HAS SOUPS 638521 WITH SCORE 639303.019
AT ITER 6697 NEW BEST:: SOT 4734212 SOS 782031 HAS SOPS 782031 HAS SOUS 638450 HAS SOUPS 638450 WITH SCORE 639232.031
AT ITER 6710 NEW BEST:: SOT 4734212 SOS 782786 HAS SOPS 782786 HAS SOUS 638449 HAS SOUPS 638449 WITH SCORE 639231.786
AT ITER 6720 NEW BEST:: SOT 4734071 SOS 782504 HAS SOPS 782504 HAS SOUS 638167 HAS SOUPS 638167 WITH SCORE 638949.504
AT ITER 6735 NEW BEST:: SOT 4734375 SOS 782685 HAS SOPS 782685 HAS SOUS 638090 HAS SOUPS 638090 WITH SCORE 638872.685
AT ITER 6745 NEW BEST:: SOT 4734260 SOS 782455 HAS SOPS 782455 HAS SOUS 637750 HAS SOUPS 637750 WITH SCORE 638532.455
AT ITER 6763 NEW BEST:: SOT 4734228 SOS 782391 HAS SOPS 782391 HAS SOUS 637718 HAS SOUPS 637718 WITH SCORE 638500.391
AT ITER 6765 NEW BEST:: SOT 4734206 SOS 782433 HAS SOPS 782433 HAS SOUS 637638 HAS SOUPS 637638 WITH SCORE 638420.433
AT ITER 6831 NEW BEST:: SOT 4734315 SOS 781867 HAS SOPS 781867 HAS SOUS 637187 HAS SOUPS 637187 WITH SCORE 637968.867
AT ITER 6885 NEW BEST:: SOT 4734323 SOS 781741 HAS SOPS 781741 HAS SOUS 637148 HAS SOUPS 637148 WITH SCORE 637929.741
AT ITER 6894 NEW BEST:: SOT 4734323 SOS 780715 HAS SOPS 780715 HAS SOUS 637040 HAS SOUPS 637040 WITH SCORE 637820.715
AT ITER 6895 NEW BEST:: SOT 4734275 SOS 780619 HAS SOPS 780619 HAS SOUS 636944 HAS SOUPS 636944 WITH SCORE 637724.619
AT ITER 6910 NEW BEST:: SOT 4734247 SOS 780563 HAS SOPS 780563 HAS SOUS 636888 HAS SOUPS 636888 WITH SCORE 637668.563
AT ITER 6914 NEW BEST:: SOT 4734247 SOS 780967 HAS SOPS 780967 HAS SOUS 636887 HAS SOUPS 636887 WITH SCORE 637667.967
AT ITER 6919 NEW BEST:: SOT 4734162 SOS 780882 HAS SOPS 780882 HAS SOUS 636802 HAS SOUPS 636802 WITH SCORE 637582.882
AT ITER 6920 NEW BEST:: SOT 4734101 SOS 780818 HAS SOPS 780818 HAS SOUS 636801 HAS SOUPS 636801 WITH SCORE 637581.818
AT ITER 6952 NEW BEST:: SOT 4734267 SOS 780736 HAS SOPS 780736 HAS SOUS 636760 HAS SOUPS 636760 WITH SCORE 637540.736
AT ITER 6975 NEW BEST:: SOT 4734226 SOS 780654 HAS SOPS 780654 HAS SOUS 636678 HAS SOUPS 636678 WITH SCORE 637458.654
AT ITER 6998 NEW BEST:: SOT 4734032 SOS 780266 HAS SOPS 780266 HAS SOUS 636290 HAS SOUPS 636290 WITH SCORE 637070.266
AT ITER 7009 NEW BEST:: SOT 4734273 SOS 779223 HAS SOPS 779223 HAS SOUS 636270 HAS SOUPS 636270 WITH SCORE 637049.223
AT ITER 7015 NEW BEST:: SOT 4734273 SOS 779195 HAS SOPS 779195 HAS SOUS 636270 HAS SOUPS 636270 WITH SCORE 637049.195
AT ITER 7016 NEW BEST:: SOT 4734260 SOS 779169 HAS SOPS 779169 HAS SOUS 636262 HAS SOUPS 636262 WITH SCORE 637041.169
AT ITER 7059 NEW BEST:: SOT 4734099 SOS 779159 HAS SOPS 779159 HAS SOUS 636252 HAS SOUPS 636252 WITH SCORE 637031.159
AT ITER 7064 NEW BEST:: SOT 4733973 SOS 779158 HAS SOPS 779158 HAS SOUS 636251 HAS SOUPS 636251 WITH SCORE 637030.158
AT ITER 7092 NEW BEST:: SOT 4733809 SOS 778830 HAS SOPS 778830 HAS SOUS 636087 HAS SOUPS 636087 WITH SCORE 636865.83
AT ITER 7117 NEW BEST:: SOT 4733809 SOS 778786 HAS SOPS 778786 HAS SOUS 636043 HAS SOUPS 636043 WITH SCORE 636821.786
AT ITER 7148 NEW BEST:: SOT 4733795 SOS 778772 HAS SOPS 778772 HAS SOUS 636029 HAS SOUPS 636029 WITH SCORE 636807.772
AT ITER 7174 NEW BEST:: SOT 4733795 SOS 778761 HAS SOPS 778761 HAS SOUS 636029 HAS SOUPS 636029 WITH SCORE 636807.761
AT ITER 7175 NEW BEST:: SOT 4733859 SOS 778855 HAS SOPS 778855 HAS SOUS 635953 HAS SOUPS 635953 WITH SCORE 636731.855
AT ITER 7183 NEW BEST:: SOT 4733633 SOS 778403 HAS SOPS 778403 HAS SOUS 635610 HAS SOUPS 635610 WITH SCORE 636388.403
AT ITER 7203 NEW BEST:: SOT 4733565 SOS 778267 HAS SOPS 778267 HAS SOUS 635474 HAS SOUPS 635474 WITH SCORE 636252.267
AT ITER 7219 NEW BEST:: SOT 4733534 SOS 778205 HAS SOPS 778205 HAS SOUS 635412 HAS SOUPS 635412 WITH SCORE 636190.205
AT ITER 7233 NEW BEST:: SOT 4733534 SOS 778204 HAS SOPS 778204 HAS SOUS 635411 HAS SOUPS 635411 WITH SCORE 636189.204
AT ITER 7244 NEW BEST:: SOT 4733533 SOS 778202 HAS SOPS 778202 HAS SOUS 635409 HAS SOUPS 635409 WITH SCORE 636187.202
AT ITER 7271 NEW BEST:: SOT 4733533 SOS 778109 HAS SOPS 778109 HAS SOUS 635409 HAS SOUPS 635409 WITH SCORE 636187.109
AT ITER 7295 NEW BEST:: SOT 4733227 SOS 777497 HAS SOPS 777497 HAS SOUS 634797 HAS SOUPS 634797 WITH SCORE 635574.497
AT ITER 7298 NEW BEST:: SOT 4733227 SOS 777493 HAS SOPS 777493 HAS SOUS 634797 HAS SOUPS 634797 WITH SCORE 635574.493
AT ITER 7306 NEW BEST:: SOT 4732769 SOS 776577 HAS SOPS 776577 HAS SOUS 633772 HAS SOUPS 633772 WITH SCORE 634548.577
AT ITER 7355 NEW BEST:: SOT 4732731 SOS 776531 HAS SOPS 776531 HAS SOUS 633726 HAS SOUPS 633726 WITH SCORE 634502.531
AT ITER 7366 NEW BEST:: SOT 4732700 SOS 776530 HAS SOPS 776530 HAS SOUS 633725 HAS SOUPS 633725 WITH SCORE 634501.53
AT ITER 7412 NEW BEST:: SOT 4732854 SOS 774682 HAS SOPS 774682 HAS SOUS 633725 HAS SOUPS 633725 WITH SCORE 634499.682
AT ITER 7457 NEW BEST:: SOT 4732653 SOS 774504 HAS SOPS 774504 HAS SOUS 633524 HAS SOUPS 633524 WITH SCORE 634298.504
AT ITER 7468 NEW BEST:: SOT 4732575 SOS 774348 HAS SOPS 774348 HAS SOUS 633368 HAS SOUPS 633368 WITH SCORE 634142.348
AT ITER 7480 NEW BEST:: SOT 4732575 SOS 774220 HAS SOPS 774220 HAS SOUS 633368 HAS SOUPS 633368 WITH SCORE 634142.22
AT ITER 7481 NEW BEST:: SOT 4729929 SOS 773703 HAS SOPS 773703 HAS SOUS 631183 HAS SOUPS 631183 WITH SCORE 631956.703
AT ITER 7531 NEW BEST:: SOT 4729929 SOS 773605 HAS SOPS 773605 HAS SOUS 631183 HAS SOUPS 631183 WITH SCORE 631956.605
AT ITER 7546 NEW BEST:: SOT 4729857 SOS 773461 HAS SOPS 773461 HAS SOUS 631111 HAS SOUPS 631111 WITH SCORE 631884.461
AT ITER 7559 NEW BEST:: SOT 4729684 SOS 772909 HAS SOPS 772909 HAS SOUS 630967 HAS SOUPS 630967 WITH SCORE 631739.909
AT ITER 7564 NEW BEST:: SOT 4729711 SOS 771369 HAS SOPS 771369 HAS SOUS 630569 HAS SOUPS 630569 WITH SCORE 631340.369
AT ITER 7581 NEW BEST:: SOT 4729711 SOS 771171 HAS SOPS 771171 HAS SOUS 630503 HAS SOUPS 630503 WITH SCORE 631274.171
AT ITER 7619 NEW BEST:: SOT 4729648 SOS 771045 HAS SOPS 771045 HAS SOUS 630389 HAS SOUPS 630389 WITH SCORE 631160.045
AT ITER 7621 NEW BEST:: SOT 4729648 SOS 770293 HAS SOPS 770293 HAS SOUS 630013 HAS SOUPS 630013 WITH SCORE 630783.293
AT ITER 7622 NEW BEST:: SOT 4729556 SOS 770109 HAS SOPS 770109 HAS SOUS 629829 HAS SOUPS 629829 WITH SCORE 630599.109
AT ITER 7647 NEW BEST:: SOT 4729512 SOS 770021 HAS SOPS 770021 HAS SOUS 629783 HAS SOUPS 629783 WITH SCORE 630553.021
AT ITER 7650 NEW BEST:: SOT 4729512 SOS 769847 HAS SOPS 769847 HAS SOUS 629783 HAS SOUPS 629783 WITH SCORE 630552.847
AT ITER 7667 NEW BEST:: SOT 4729352 SOS 769447 HAS SOPS 769447 HAS SOUS 629463 HAS SOUPS 629463 WITH SCORE 630232.447
AT ITER 7674 NEW BEST:: SOT 4729210 SOS 769456 HAS SOPS 769456 HAS SOUS 629382 HAS SOUPS 629382 WITH SCORE 630151.456
AT ITER 7716 NEW BEST:: SOT 4729132 SOS 769300 HAS SOPS 769300 HAS SOUS 629304 HAS SOUPS 629304 WITH SCORE 630073.3
AT ITER 7727 NEW BEST:: SOT 4729172 SOS 769380 HAS SOPS 769380 HAS SOUS 629281 HAS SOUPS 629281 WITH SCORE 630050.38
AT ITER 7745 NEW BEST:: SOT 4729124 SOS 769332 HAS SOPS 769332 HAS SOUS 629233 HAS SOUPS 629233 WITH SCORE 630002.332
AT ITER 7767 NEW BEST:: SOT 4728845 SOS 768774 HAS SOPS 768774 HAS SOUS 628675 HAS SOUPS 628675 WITH SCORE 629443.774
AT ITER 7787 NEW BEST:: SOT 4728538 SOS 768548 HAS SOPS 768548 HAS SOUS 628562 HAS SOUPS 628562 WITH SCORE 629330.548
AT ITER 7854 NEW BEST:: SOT 4728493 SOS 768503 HAS SOPS 768503 HAS SOUS 628517 HAS SOUPS 628517 WITH SCORE 629285.503
AT ITER 7874 NEW BEST:: SOT 4728293 SOS 768103 HAS SOPS 768103 HAS SOUS 628397 HAS SOUPS 628397 WITH SCORE 629165.103
AT ITER 7878 NEW BEST:: SOT 4728179 SOS 767989 HAS SOPS 767989 HAS SOUS 628283 HAS SOUPS 628283 WITH SCORE 629050.989
AT ITER 7882 NEW BEST:: SOT 4728156 SOS 767920 HAS SOPS 767920 HAS SOUS 628214 HAS SOUPS 628214 WITH SCORE 628981.92
AT ITER 7890 NEW BEST:: SOT 4728092 SOS 767963 HAS SOPS 767963 HAS SOUS 628206 HAS SOUPS 628206 WITH SCORE 628973.963
AT ITER 7919 NEW BEST:: SOT 4728058 SOS 767895 HAS SOPS 767895 HAS SOUS 628172 HAS SOUPS 628172 WITH SCORE 628939.895
AT ITER 7928 NEW BEST:: SOT 4727906 SOS 767591 HAS SOPS 767591 HAS SOUS 628018 HAS SOUPS 628018 WITH SCORE 628785.591
AT ITER 7951 NEW BEST:: SOT 4727906 SOS 767477 HAS SOPS 767477 HAS SOUS 628018 HAS SOUPS 628018 WITH SCORE 628785.477
AT ITER 7971 NEW BEST:: SOT 4727825 SOS 767231 HAS SOPS 767231 HAS SOUS 627907 HAS SOUPS 627907 WITH SCORE 628674.231
AT ITER 7979 NEW BEST:: SOT 4727607 SOS 766795 HAS SOPS 766795 HAS SOUS 627471 HAS SOUPS 627471 WITH SCORE 628237.795
AT ITER 7986 NEW BEST:: SOT 4726893 SOS 766506 HAS SOPS 766506 HAS SOUS 627050 HAS SOUPS 627050 WITH SCORE 627816.506
AT ITER 8057 NEW BEST:: SOT 4726892 SOS 766504 HAS SOPS 766504 HAS SOUS 627048 HAS SOUPS 627048 WITH SCORE 627814.504
AT ITER 8064 NEW BEST:: SOT 4726765 SOS 766377 HAS SOPS 766377 HAS SOUS 627048 HAS SOUPS 627048 WITH SCORE 627814.377
AT ITER 8094 NEW BEST:: SOT 4726765 SOS 766158 HAS SOPS 766158 HAS SOUS 627048 HAS SOUPS 627048 WITH SCORE 627814.158
AT ITER 8095 NEW BEST:: SOT 4726373 SOS 765374 HAS SOPS 765374 HAS SOUS 626764 HAS SOUPS 626764 WITH SCORE 627529.374
AT ITER 8099 NEW BEST:: SOT 4726373 SOS 765374 HAS SOPS 765374 HAS SOUS 626483 HAS SOUPS 626483 WITH SCORE 627248.374
AT ITER 8100 NEW BEST:: SOT 4726373 SOS 765329 HAS SOPS 765329 HAS SOUS 626438 HAS SOUPS 626438 WITH SCORE 627203.329
AT ITER 8103 NEW BEST:: SOT 4726144 SOS 764991 HAS SOPS 764991 HAS SOUS 626395 HAS SOUPS 626395 WITH SCORE 627159.991
AT ITER 8107 NEW BEST:: SOT 4725870 SOS 764443 HAS SOPS 764443 HAS SOUS 626121 HAS SOUPS 626121 WITH SCORE 626885.443
AT ITER 8144 NEW BEST:: SOT 4725871 SOS 764379 HAS SOPS 764379 HAS SOUS 626057 HAS SOUPS 626057 WITH SCORE 626821.379
AT ITER 8223 NEW BEST:: SOT 4725870 SOS 764377 HAS SOPS 764377 HAS SOUS 626055 HAS SOUPS 626055 WITH SCORE 626819.377
AT ITER 8265 NEW BEST:: SOT 4725760 SOS 764003 HAS SOPS 764003 HAS SOUS 625835 HAS SOUPS 625835 WITH SCORE 626599.003
AT ITER 8274 NEW BEST:: SOT 4725715 SOS 763676 HAS SOPS 763676 HAS SOUS 625745 HAS SOUPS 625745 WITH SCORE 626508.676
AT ITER 8322 NEW BEST:: SOT 4725712 SOS 763673 HAS SOPS 763673 HAS SOUS 625742 HAS SOUPS 625742 WITH SCORE 626505.673
AT ITER 8333 NEW BEST:: SOT 4725712 SOS 763826 HAS SOPS 763826 HAS SOUS 625741 HAS SOUPS 625741 WITH SCORE 626504.826
AT ITER 8337 NEW BEST:: SOT 4725656 SOS 763714 HAS SOPS 763714 HAS SOUS 625629 HAS SOUPS 625629 WITH SCORE 626392.714
AT ITER 8339 NEW BEST:: SOT 4725524 SOS 763450 HAS SOPS 763450 HAS SOUS 625431 HAS SOUPS 625431 WITH SCORE 626194.45
AT ITER 8342 NEW BEST:: SOT 4725581 SOS 763284 HAS SOPS 763284 HAS SOUS 625348 HAS SOUPS 625348 WITH SCORE 626111.284
AT ITER 8371 NEW BEST:: SOT 4725336 SOS 762794 HAS SOPS 762794 HAS SOUS 625134 HAS SOUPS 625134 WITH SCORE 625896.794
AT ITER 8378 NEW BEST:: SOT 4725224 SOS 762570 HAS SOPS 762570 HAS SOUS 625022 HAS SOUPS 625022 WITH SCORE 625784.57
AT ITER 8389 NEW BEST:: SOT 4724605 SOS 761793 HAS SOPS 761793 HAS SOUS 624245 HAS SOUPS 624245 WITH SCORE 625006.793
AT ITER 8391 NEW BEST:: SOT 4724329 SOS 761904 HAS SOPS 761904 HAS SOUS 624233 HAS SOUPS 624233 WITH SCORE 624994.904
AT ITER 8425 NEW BEST:: SOT 4724228 SOS 761702 HAS SOPS 761702 HAS SOUS 624002 HAS SOUPS 624002 WITH SCORE 624763.702
AT ITER 8431 NEW BEST:: SOT 4724171 SOS 761588 HAS SOPS 761588 HAS SOUS 623888 HAS SOUPS 623888 WITH SCORE 624649.588
AT ITER 8437 NEW BEST:: SOT 4724170 SOS 761586 HAS SOPS 761586 HAS SOUS 623886 HAS SOUPS 623886 WITH SCORE 624647.586
AT ITER 8446 NEW BEST:: SOT 4724109 SOS 761281 HAS SOPS 761281 HAS SOUS 623825 HAS SOUPS 623825 WITH SCORE 624586.281
AT ITER 8448 NEW BEST:: SOT 4724098 SOS 761259 HAS SOPS 761259 HAS SOUS 623803 HAS SOUPS 623803 WITH SCORE 624564.259
AT ITER 8468 NEW BEST:: SOT 4724098 SOS 761035 HAS SOPS 761035 HAS SOUS 623803 HAS SOUPS 623803 WITH SCORE 624564.035
AT ITER 8498 NEW BEST:: SOT 4724093 SOS 761010 HAS SOPS 761010 HAS SOUS 623796 HAS SOUPS 623796 WITH SCORE 624557.01
AT ITER 8502 NEW BEST:: SOT 4723998 SOS 760820 HAS SOPS 760820 HAS SOUS 623606 HAS SOUPS 623606 WITH SCORE 624366.82
AT ITER 8512 NEW BEST:: SOT 4723890 SOS 760604 HAS SOPS 760604 HAS SOUS 623390 HAS SOUPS 623390 WITH SCORE 624150.604
AT ITER 8536 NEW BEST:: SOT 4723868 SOS 760560 HAS SOPS 760560 HAS SOUS 623357 HAS SOUPS 623357 WITH SCORE 624117.56
AT ITER 8547 NEW BEST:: SOT 4723894 SOS 760612 HAS SOPS 760612 HAS SOUS 623233 HAS SOUPS 623233 WITH SCORE 623993.612
AT ITER 8578 NEW BEST:: SOT 4723734 SOS 760292 HAS SOPS 760292 HAS SOUS 623073 HAS SOUPS 623073 WITH SCORE 623833.292
AT ITER 8587 NEW BEST:: SOT 4723428 SOS 759556 HAS SOPS 759556 HAS SOUS 622406 HAS SOUPS 622406 WITH SCORE 623165.556
AT ITER 8618 NEW BEST:: SOT 4723304 SOS 759255 HAS SOPS 759255 HAS SOUS 622328 HAS SOUPS 622328 WITH SCORE 623087.255
AT ITER 8622 NEW BEST:: SOT 4723216 SOS 758851 HAS SOPS 758851 HAS SOUS 622123 HAS SOUPS 622123 WITH SCORE 622881.851
AT ITER 8641 NEW BEST:: SOT 4723043 SOS 758850 HAS SOPS 758850 HAS SOUS 622122 HAS SOUPS 622122 WITH SCORE 622880.85
AT ITER 8659 NEW BEST:: SOT 4722773 SOS 757595 HAS SOPS 757595 HAS SOUS 621690 HAS SOUPS 621690 WITH SCORE 622447.595
AT ITER 8679 NEW BEST:: SOT 4722831 SOS 757499 HAS SOPS 757499 HAS SOUS 621642 HAS SOUPS 621642 WITH SCORE 622399.499
AT ITER 8684 NEW BEST:: SOT 4722911 SOS 760508 HAS SOPS 760508 HAS SOUS 621546 HAS SOUPS 621546 WITH SCORE 622306.508
AT ITER 8705 NEW BEST:: SOT 4722756 SOS 760198 HAS SOPS 760198 HAS SOUS 621236 HAS SOUPS 621236 WITH SCORE 621996.198
AT ITER 8706 NEW BEST:: SOT 4722631 SOS 760099 HAS SOPS 760099 HAS SOUS 621111 HAS SOUPS 621111 WITH SCORE 621871.099
AT ITER 8714 NEW BEST:: SOT 4722526 SOS 759989 HAS SOPS 759989 HAS SOUS 621110 HAS SOUPS 621110 WITH SCORE 621869.989
AT ITER 8746 NEW BEST:: SOT 4722466 SOS 759832 HAS SOPS 759832 HAS SOUS 620953 HAS SOUPS 620953 WITH SCORE 621712.832
AT ITER 8749 NEW BEST:: SOT 4722466 SOS 759808 HAS SOPS 759808 HAS SOUS 620953 HAS SOUPS 620953 WITH SCORE 621712.808
AT ITER 8750 NEW BEST:: SOT 4722366 SOS 759705 HAS SOPS 759705 HAS SOUS 620864 HAS SOUPS 620864 WITH SCORE 621623.705
AT ITER 8769 NEW BEST:: SOT 4722347 SOS 759667 HAS SOPS 759667 HAS SOUS 620738 HAS SOUPS 620738 WITH SCORE 621497.667
AT ITER 8792 NEW BEST:: SOT 4722283 SOS 759539 HAS SOPS 759539 HAS SOUS 620674 HAS SOUPS 620674 WITH SCORE 621433.539
AT ITER 8803 NEW BEST:: SOT 4722263 SOS 759499 HAS SOPS 759499 HAS SOUS 620592 HAS SOUPS 620592 WITH SCORE 621351.499
AT ITER 8808 NEW BEST:: SOT 4722262 SOS 759497 HAS SOPS 759497 HAS SOUS 620590 HAS SOUPS 620590 WITH SCORE 621349.497
AT ITER 8821 NEW BEST:: SOT 4722210 SOS 759283 HAS SOPS 759283 HAS SOUS 620538 HAS SOUPS 620538 WITH SCORE 621297.283
AT ITER 8829 NEW BEST:: SOT 4722141 SOS 759145 HAS SOPS 759145 HAS SOUS 620400 HAS SOUPS 620400 WITH SCORE 621159.145
AT ITER 8830 NEW BEST:: SOT 4721957 SOS 759074 HAS SOPS 759074 HAS SOUS 620329 HAS SOUPS 620329 WITH SCORE 621088.074
AT ITER 8835 NEW BEST:: SOT 4721946 SOS 759052 HAS SOPS 759052 HAS SOUS 620307 HAS SOUPS 620307 WITH SCORE 621066.052
AT ITER 8860 NEW BEST:: SOT 4721855 SOS 758870 HAS SOPS 758870 HAS SOUS 620125 HAS SOUPS 620125 WITH SCORE 620883.87
AT ITER 8870 NEW BEST:: SOT 4721953 SOS 758783 HAS SOPS 758783 HAS SOUS 620037 HAS SOUPS 620037 WITH SCORE 620795.783
AT ITER 8912 NEW BEST:: SOT 4721824 SOS 758525 HAS SOPS 758525 HAS SOUS 619779 HAS SOUPS 619779 WITH SCORE 620537.525
AT ITER 8924 NEW BEST:: SOT 4721824 SOS 758612 HAS SOPS 758612 HAS SOUS 619720 HAS SOUPS 619720 WITH SCORE 620478.612
AT ITER 8927 NEW BEST:: SOT 4721764 SOS 758492 HAS SOPS 758492 HAS SOUS 619660 HAS SOUPS 619660 WITH SCORE 620418.492
AT ITER 8957 NEW BEST:: SOT 4721592 SOS 757941 HAS SOPS 757941 HAS SOUS 619316 HAS SOUPS 619316 WITH SCORE 620073.941
AT ITER 8967 NEW BEST:: SOT 4721537 SOS 757831 HAS SOPS 757831 HAS SOUS 619085 HAS SOUPS 619085 WITH SCORE 619842.831
AT ITER 8988 NEW BEST:: SOT 4721394 SOS 757545 HAS SOPS 757545 HAS SOUS 618916 HAS SOUPS 618916 WITH SCORE 619673.545
AT ITER 8990 NEW BEST:: SOT 4721357 SOS 757471 HAS SOPS 757471 HAS SOUS 618907 HAS SOUPS 618907 WITH SCORE 619664.471
AT ITER 8996 NEW BEST:: SOT 4721348 SOS 757462 HAS SOPS 757462 HAS SOUS 618898 HAS SOUPS 618898 WITH SCORE 619655.462
AT ITER 9009 NEW BEST:: SOT 4721356 SOS 757814 HAS SOPS 757814 HAS SOUS 618830 HAS SOUPS 618830 WITH SCORE 619587.814
AT ITER 9021 NEW BEST:: SOT 4721345 SOS 758288 HAS SOPS 758288 HAS SOUS 618819 HAS SOUPS 618819 WITH SCORE 619577.288
AT ITER 9062 NEW BEST:: SOT 4721397 SOS 758537 HAS SOPS 758537 HAS SOUS 618565 HAS SOUPS 618565 WITH SCORE 619323.537
AT ITER 9067 NEW BEST:: SOT 4721385 SOS 758513 HAS SOPS 758513 HAS SOUS 618553 HAS SOUPS 618553 WITH SCORE 619311.513
AT ITER 9130 NEW BEST:: SOT 4721254 SOS 758382 HAS SOPS 758382 HAS SOUS 618514 HAS SOUPS 618514 WITH SCORE 619272.382
AT ITER 9146 NEW BEST:: SOT 4721179 SOS 758332 HAS SOPS 758332 HAS SOUS 618464 HAS SOUPS 618464 WITH SCORE 619222.332
AT ITER 9158 NEW BEST:: SOT 4720902 SOS 758333 HAS SOPS 758333 HAS SOUS 618372 HAS SOUPS 618372 WITH SCORE 619130.333
AT ITER 9196 NEW BEST:: SOT 4720725 SOS 757979 HAS SOPS 757979 HAS SOUS 618009 HAS SOUPS 618009 WITH SCORE 618766.979
AT ITER 9237 NEW BEST:: SOT 4720299 SOS 756684 HAS SOPS 756684 HAS SOUS 616748 HAS SOUPS 616748 WITH SCORE 617504.684
AT ITER 9250 NEW BEST:: SOT 4720261 SOS 756645 HAS SOPS 756645 HAS SOUS 616709 HAS SOUPS 616709 WITH SCORE 617465.645
AT ITER 9286 NEW BEST:: SOT 4720261 SOS 756722 HAS SOPS 756722 HAS SOUS 616694 HAS SOUPS 616694 WITH SCORE 617450.722
AT ITER 9295 NEW BEST:: SOT 4720151 SOS 756502 HAS SOPS 756502 HAS SOUS 616474 HAS SOUPS 616474 WITH SCORE 617230.502
AT ITER 9301 NEW BEST:: SOT 4720151 SOS 756501 HAS SOPS 756501 HAS SOUS 616474 HAS SOUPS 616474 WITH SCORE 617230.501
AT ITER 9309 NEW BEST:: SOT 4720029 SOS 756302 HAS SOPS 756302 HAS SOUS 616105 HAS SOUPS 616105 WITH SCORE 616861.302
AT ITER 9321 NEW BEST:: SOT 4720029 SOS 756279 HAS SOPS 756279 HAS SOUS 616082 HAS SOUPS 616082 WITH SCORE 616838.279
AT ITER 9326 NEW BEST:: SOT 4719916 SOS 755935 HAS SOPS 755935 HAS SOUS 615855 HAS SOUPS 615855 WITH SCORE 616610.935
AT ITER 9359 NEW BEST:: SOT 4719916 SOS 755578 HAS SOPS 755578 HAS SOUS 615855 HAS SOUPS 615855 WITH SCORE 616610.578
AT ITER 9391 NEW BEST:: SOT 4719915 SOS 755576 HAS SOPS 755576 HAS SOUS 615853 HAS SOUPS 615853 WITH SCORE 616608.576
AT ITER 9420 NEW BEST:: SOT 4719884 SOS 755514 HAS SOPS 755514 HAS SOUS 615791 HAS SOUPS 615791 WITH SCORE 616546.514
AT ITER 9439 NEW BEST:: SOT 4719778 SOS 755289 HAS SOPS 755289 HAS SOUS 615296 HAS SOUPS 615296 WITH SCORE 616051.289
AT ITER 9468 NEW BEST:: SOT 4719770 SOS 755273 HAS SOPS 755273 HAS SOUS 615288 HAS SOUPS 615288 WITH SCORE 616043.273
AT ITER 9497 NEW BEST:: SOT 4719599 SOS 754931 HAS SOPS 754931 HAS SOUS 615117 HAS SOUPS 615117 WITH SCORE 615871.931
AT ITER 9499 NEW BEST:: SOT 4719268 SOS 753363 HAS SOPS 753363 HAS SOUS 614484 HAS SOUPS 614484 WITH SCORE 615237.363
AT ITER 9524 NEW BEST:: SOT 4719152 SOS 752789 HAS SOPS 752789 HAS SOUS 614219 HAS SOUPS 614219 WITH SCORE 614971.789
AT ITER 9530 NEW BEST:: SOT 4718928 SOS 752548 HAS SOPS 752548 HAS SOUS 614066 HAS SOUPS 614066 WITH SCORE 614818.548
AT ITER 9541 NEW BEST:: SOT 4718814 SOS 752547 HAS SOPS 752547 HAS SOUS 614065 HAS SOUPS 614065 WITH SCORE 614817.547
AT ITER 9542 NEW BEST:: SOT 4718295 SOS 752044 HAS SOPS 752044 HAS SOUS 613562 HAS SOUPS 613562 WITH SCORE 614314.044
AT ITER 9555 NEW BEST:: SOT 4718089 SOS 751928 HAS SOPS 751928 HAS SOUS 613446 HAS SOUPS 613446 WITH SCORE 614197.928
AT ITER 9575 NEW BEST:: SOT 4717951 SOS 751858 HAS SOPS 751858 HAS SOUS 613308 HAS SOUPS 613308 WITH SCORE 614059.858
AT ITER 9606 NEW BEST:: SOT 4717615 SOS 751684 HAS SOPS 751684 HAS SOUS 613134 HAS SOUPS 613134 WITH SCORE 613885.684
AT ITER 9635 NEW BEST:: SOT 4717494 SOS 751442 HAS SOPS 751442 HAS SOUS 613013 HAS SOUPS 613013 WITH SCORE 613764.442
AT ITER 9648 NEW BEST:: SOT 4717376 SOS 751078 HAS SOPS 751078 HAS SOUS 612486 HAS SOUPS 612486 WITH SCORE 613237.078
AT ITER 9662 NEW BEST:: SOT 4717376 SOS 751078 HAS SOPS 751078 HAS SOUS 612485 HAS SOUPS 612485 WITH SCORE 613236.078
AT ITER 9677 NEW BEST:: SOT 4717306 SOS 751008 HAS SOPS 751008 HAS SOUS 612415 HAS SOUPS 612415 WITH SCORE 613166.008
AT ITER 9678 NEW BEST:: SOT 4717238 SOS 751028 HAS SOPS 751028 HAS SOUS 612383 HAS SOUPS 612383 WITH SCORE 613134.028
AT ITER 9697 NEW BEST:: SOT 4717238 SOS 751027 HAS SOPS 751027 HAS SOUS 612382 HAS SOUPS 612382 WITH SCORE 613133.027
AT ITER 9702 NEW BEST:: SOT 4717186 SOS 750923 HAS SOPS 750923 HAS SOUS 612278 HAS SOUPS 612278 WITH SCORE 613028.923
AT ITER 9710 NEW BEST:: SOT 4716980 SOS 750202 HAS SOPS 750202 HAS SOUS 611969 HAS SOUPS 611969 WITH SCORE 612719.202
AT ITER 9742 NEW BEST:: SOT 4716874 SOS 750192 HAS SOPS 750192 HAS SOUS 611968 HAS SOUPS 611968 WITH SCORE 612718.192
AT ITER 9749 NEW BEST:: SOT 4716786 SOS 749972 HAS SOPS 749972 HAS SOUS 611880 HAS SOUPS 611880 WITH SCORE 612629.972
AT ITER 9752 NEW BEST:: SOT 4716757 SOS 749914 HAS SOPS 749914 HAS SOUS 611848 HAS SOUPS 611848 WITH SCORE 612597.914
AT ITER 9763 NEW BEST:: SOT 4716696 SOS 749792 HAS SOPS 749792 HAS SOUS 611726 HAS SOUPS 611726 WITH SCORE 612475.792
AT ITER 9765 NEW BEST:: SOT 4716599 SOS 749598 HAS SOPS 749598 HAS SOUS 611629 HAS SOUPS 611629 WITH SCORE 612378.598
AT ITER 9781 NEW BEST:: SOT 4716599 SOS 749597 HAS SOPS 749597 HAS SOUS 611628 HAS SOUPS 611628 WITH SCORE 612377.597
AT ITER 9800 NEW BEST:: SOT 4716421 SOS 749330 HAS SOPS 749330 HAS SOUS 611361 HAS SOUPS 611361 WITH SCORE 612110.33
AT ITER 9848 NEW BEST:: SOT 4716269 SOS 749330 HAS SOPS 749330 HAS SOUS 611209 HAS SOUPS 611209 WITH SCORE 611958.33
AT ITER 9881 NEW BEST:: SOT 4716269 SOS 749309 HAS SOPS 749309 HAS SOUS 611202 HAS SOUPS 611202 WITH SCORE 611951.309
AT ITER 9905 NEW BEST:: SOT 4716199 SOS 749274 HAS SOPS 749274 HAS SOUS 611167 HAS SOUPS 611167 WITH SCORE 611916.274
AT ITER 9930 NEW BEST:: SOT 4716198 SOS 749491 HAS SOPS 749491 HAS SOUS 611165 HAS SOUPS 611165 WITH SCORE 611914.491
AT ITER 9934 NEW BEST:: SOT 4716198 SOS 749384 HAS SOPS 749384 HAS SOUS 611165 HAS SOUPS 611165 WITH SCORE 611914.384
AT ITER 9979 NEW BEST:: SOT 4716153 SOS 749347 HAS SOPS 749347 HAS SOUS 611128 HAS SOUPS 611128 WITH SCORE 611877.347
AT ITER 9997 NEW BEST:: SOT 4716079 SOS 749199 HAS SOPS 749199 HAS SOUS 611040 HAS SOUPS 611040 WITH SCORE 611789.199
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 12494512 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16124544 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="DLCshifumi-PT-2b"
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 DLCshifumi-PT-2b, 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-167814484700808"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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