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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 8.3K Feb 25 11:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 89K Feb 25 11:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.9K Feb 25 11:51 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 25 11:51 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:48 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 15:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 15:48 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 25 11:52 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 149K Feb 25 11:52 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K Feb 25 11:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 124K Feb 25 11:51 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:48 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:48 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 661K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678336857894

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

Filename model.pnml
Petri model created: 2587 places, 3099 transitions, 6479 arcs.
AT ITER 0 NEW BEST:: SOT 4458556 SOS 744615 HAS SOPS 744615 HAS SOUS 686857 HAS SOUPS 686857 WITH SCORE 687601.615
AT ITER 1 NEW BEST:: SOT 4458637 SOS 744406 HAS SOPS 744406 HAS SOUS 686677 HAS SOUPS 686677 WITH SCORE 687421.406
AT ITER 16 NEW BEST:: SOT 4458488 SOS 744257 HAS SOPS 744257 HAS SOUS 686528 HAS SOUPS 686528 WITH SCORE 687272.257
AT ITER 27 NEW BEST:: SOT 4458372 SOS 744199 HAS SOPS 744199 HAS SOUS 686411 HAS SOUPS 686411 WITH SCORE 687155.199
AT ITER 37 NEW BEST:: SOT 4458372 SOS 744121 HAS SOPS 744121 HAS SOUS 686411 HAS SOUPS 686411 WITH SCORE 687155.121
AT ITER 49 NEW BEST:: SOT 4458372 SOS 743975 HAS SOPS 743975 HAS SOUS 686265 HAS SOUPS 686265 WITH SCORE 687008.975
AT ITER 66 NEW BEST:: SOT 4458372 SOS 743975 HAS SOPS 743975 HAS SOUS 686200 HAS SOUPS 686200 WITH SCORE 686943.975
AT ITER 99 NEW BEST:: SOT 4458188 SOS 743859 HAS SOPS 743859 HAS SOUS 686056 HAS SOUPS 686056 WITH SCORE 686799.859
AT ITER 104 NEW BEST:: SOT 4458188 SOS 743751 HAS SOPS 743751 HAS SOUS 686056 HAS SOUPS 686056 WITH SCORE 686799.751
AT ITER 105 NEW BEST:: SOT 4458187 SOS 743749 HAS SOPS 743749 HAS SOUS 686054 HAS SOUPS 686054 WITH SCORE 686797.749
AT ITER 110 NEW BEST:: SOT 4457995 SOS 743365 HAS SOPS 743365 HAS SOUS 685670 HAS SOUPS 685670 WITH SCORE 686413.365
AT ITER 112 NEW BEST:: SOT 4457995 SOS 743131 HAS SOPS 743131 HAS SOUS 685553 HAS SOUPS 685553 WITH SCORE 686296.131
AT ITER 128 NEW BEST:: SOT 4457994 SOS 743129 HAS SOPS 743129 HAS SOUS 685551 HAS SOUPS 685551 WITH SCORE 686294.129
AT ITER 147 NEW BEST:: SOT 4457841 SOS 742823 HAS SOPS 742823 HAS SOUS 685253 HAS SOUPS 685253 WITH SCORE 685995.823
AT ITER 169 NEW BEST:: SOT 4457681 SOS 742851 HAS SOPS 742851 HAS SOUS 685168 HAS SOUPS 685168 WITH SCORE 685910.851
AT ITER 193 NEW BEST:: SOT 4457452 SOS 742393 HAS SOPS 742393 HAS SOUS 684710 HAS SOUPS 684710 WITH SCORE 685452.393
AT ITER 219 NEW BEST:: SOT 4457214 SOS 741705 HAS SOPS 741705 HAS SOUS 684027 HAS SOUPS 684027 WITH SCORE 684768.705
AT ITER 231 NEW BEST:: SOT 4457205 SOS 741687 HAS SOPS 741687 HAS SOUS 684009 HAS SOUPS 684009 WITH SCORE 684750.687
AT ITER 233 NEW BEST:: SOT 4456444 SOS 741273 HAS SOPS 741273 HAS SOUS 683525 HAS SOUPS 683525 WITH SCORE 684266.273
AT ITER 284 NEW BEST:: SOT 4456321 SOS 741027 HAS SOPS 741027 HAS SOUS 683279 HAS SOUPS 683279 WITH SCORE 684020.027
AT ITER 301 NEW BEST:: SOT 4456320 SOS 741025 HAS SOPS 741025 HAS SOUS 683277 HAS SOUPS 683277 WITH SCORE 684018.025
AT ITER 313 NEW BEST:: SOT 4456250 SOS 740955 HAS SOPS 740955 HAS SOUS 683207 HAS SOUPS 683207 WITH SCORE 683947.955
AT ITER 326 NEW BEST:: SOT 4456094 SOS 740643 HAS SOPS 740643 HAS SOUS 682895 HAS SOUPS 682895 WITH SCORE 683635.643
AT ITER 329 NEW BEST:: SOT 4455901 SOS 740359 HAS SOPS 740359 HAS SOUS 682611 HAS SOUPS 682611 WITH SCORE 683351.359
AT ITER 332 NEW BEST:: SOT 4455901 SOS 740157 HAS SOPS 740157 HAS SOUS 682409 HAS SOUPS 682409 WITH SCORE 683149.157
AT ITER 339 NEW BEST:: SOT 4455790 SOS 739935 HAS SOPS 739935 HAS SOUS 682187 HAS SOUPS 682187 WITH SCORE 682926.935
AT ITER 341 NEW BEST:: SOT 4455779 SOS 739925 HAS SOPS 739925 HAS SOUS 682176 HAS SOUPS 682176 WITH SCORE 682915.925
AT ITER 355 NEW BEST:: SOT 4455843 SOS 739761 HAS SOPS 739761 HAS SOUS 682019 HAS SOUPS 682019 WITH SCORE 682758.761
AT ITER 376 NEW BEST:: SOT 4455779 SOS 739799 HAS SOPS 739799 HAS SOUS 681955 HAS SOUPS 681955 WITH SCORE 682694.799
AT ITER 384 NEW BEST:: SOT 4455617 SOS 739475 HAS SOPS 739475 HAS SOUS 681631 HAS SOUPS 681631 WITH SCORE 682370.475
AT ITER 401 NEW BEST:: SOT 4455509 SOS 739367 HAS SOPS 739367 HAS SOUS 681523 HAS SOUPS 681523 WITH SCORE 682262.367
AT ITER 416 NEW BEST:: SOT 4455508 SOS 739365 HAS SOPS 739365 HAS SOUS 681521 HAS SOUPS 681521 WITH SCORE 682260.365
AT ITER 417 NEW BEST:: SOT 4455609 SOS 739355 HAS SOPS 739355 HAS SOUS 681511 HAS SOUPS 681511 WITH SCORE 682250.355
AT ITER 465 NEW BEST:: SOT 4455589 SOS 739347 HAS SOPS 739347 HAS SOUS 681503 HAS SOUPS 681503 WITH SCORE 682242.347
AT ITER 473 NEW BEST:: SOT 4455580 SOS 739329 HAS SOPS 739329 HAS SOUS 681485 HAS SOUPS 681485 WITH SCORE 682224.329
AT ITER 514 NEW BEST:: SOT 4455517 SOS 740099 HAS SOPS 740099 HAS SOUS 681422 HAS SOUPS 681422 WITH SCORE 682162.099
AT ITER 518 NEW BEST:: SOT 4455329 SOS 740005 HAS SOPS 740005 HAS SOUS 681328 HAS SOUPS 681328 WITH SCORE 682068.005
AT ITER 533 NEW BEST:: SOT 4455355 SOS 739874 HAS SOPS 739874 HAS SOUS 681197 HAS SOUPS 681197 WITH SCORE 681936.874
AT ITER 551 NEW BEST:: SOT 4452104 SOS 736615 HAS SOPS 736615 HAS SOUS 678331 HAS SOUPS 678331 WITH SCORE 679067.615
AT ITER 564 NEW BEST:: SOT 4451952 SOS 736311 HAS SOPS 736311 HAS SOUS 678027 HAS SOUPS 678027 WITH SCORE 678763.311
AT ITER 590 NEW BEST:: SOT 4451781 SOS 736149 HAS SOPS 736149 HAS SOUS 677818 HAS SOUPS 677818 WITH SCORE 678554.149
AT ITER 603 NEW BEST:: SOT 4451578 SOS 735743 HAS SOPS 735743 HAS SOUS 677412 HAS SOUPS 677412 WITH SCORE 678147.743
AT ITER 608 NEW BEST:: SOT 4451329 SOS 735245 HAS SOPS 735245 HAS SOUS 676914 HAS SOUPS 676914 WITH SCORE 677649.245
AT ITER 611 NEW BEST:: SOT 4451303 SOS 735193 HAS SOPS 735193 HAS SOUS 676862 HAS SOUPS 676862 WITH SCORE 677597.193
AT ITER 619 NEW BEST:: SOT 4451302 SOS 735191 HAS SOPS 735191 HAS SOUS 676860 HAS SOUPS 676860 WITH SCORE 677595.191
AT ITER 637 NEW BEST:: SOT 4451302 SOS 735164 HAS SOPS 735164 HAS SOUS 676833 HAS SOUPS 676833 WITH SCORE 677568.164
AT ITER 641 NEW BEST:: SOT 4451237 SOS 735034 HAS SOPS 735034 HAS SOUS 676768 HAS SOUPS 676768 WITH SCORE 677503.034
AT ITER 647 NEW BEST:: SOT 4451140 SOS 734840 HAS SOPS 734840 HAS SOUS 676574 HAS SOUPS 676574 WITH SCORE 677308.84
AT ITER 649 NEW BEST:: SOT 4451014 SOS 734588 HAS SOPS 734588 HAS SOUS 676322 HAS SOUPS 676322 WITH SCORE 677056.588
AT ITER 660 NEW BEST:: SOT 4450831 SOS 734556 HAS SOPS 734556 HAS SOUS 676139 HAS SOUPS 676139 WITH SCORE 676873.556
AT ITER 667 NEW BEST:: SOT 4450731 SOS 734356 HAS SOPS 734356 HAS SOUS 675939 HAS SOUPS 675939 WITH SCORE 676673.356
AT ITER 670 NEW BEST:: SOT 4450693 SOS 734242 HAS SOPS 734242 HAS SOUS 675863 HAS SOUPS 675863 WITH SCORE 676597.242
AT ITER 706 NEW BEST:: SOT 4450497 SOS 733486 HAS SOPS 733486 HAS SOUS 675303 HAS SOUPS 675303 WITH SCORE 676036.486
AT ITER 722 NEW BEST:: SOT 4450336 SOS 733344 HAS SOPS 733344 HAS SOUS 675161 HAS SOUPS 675161 WITH SCORE 675894.344
AT ITER 728 NEW BEST:: SOT 4450183 SOS 733038 HAS SOPS 733038 HAS SOUS 674855 HAS SOUPS 674855 WITH SCORE 675588.038
AT ITER 738 NEW BEST:: SOT 4450028 SOS 732728 HAS SOPS 732728 HAS SOUS 674545 HAS SOUPS 674545 WITH SCORE 675277.728
AT ITER 762 NEW BEST:: SOT 4449903 SOS 732478 HAS SOPS 732478 HAS SOUS 674295 HAS SOUPS 674295 WITH SCORE 675027.478
AT ITER 801 NEW BEST:: SOT 4449903 SOS 732478 HAS SOPS 732478 HAS SOUS 674294 HAS SOUPS 674294 WITH SCORE 675026.478
AT ITER 811 NEW BEST:: SOT 4449831 SOS 732428 HAS SOPS 732428 HAS SOUS 674244 HAS SOUPS 674244 WITH SCORE 674976.428
AT ITER 817 NEW BEST:: SOT 4449831 SOS 732074 HAS SOPS 732074 HAS SOUS 674244 HAS SOUPS 674244 WITH SCORE 674976.074
AT ITER 828 NEW BEST:: SOT 4449646 SOS 732051 HAS SOPS 732051 HAS SOUS 673987 HAS SOUPS 673987 WITH SCORE 674719.051
AT ITER 850 NEW BEST:: SOT 4449622 SOS 732003 HAS SOPS 732003 HAS SOUS 673939 HAS SOUPS 673939 WITH SCORE 674671.003
AT ITER 865 NEW BEST:: SOT 4449803 SOS 731757 HAS SOPS 731757 HAS SOUS 673816 HAS SOUPS 673816 WITH SCORE 674547.757
AT ITER 871 NEW BEST:: SOT 4449589 SOS 731653 HAS SOPS 731653 HAS SOUS 673640 HAS SOUPS 673640 WITH SCORE 674371.653
AT ITER 878 NEW BEST:: SOT 4449430 SOS 731335 HAS SOPS 731335 HAS SOUS 673322 HAS SOUPS 673322 WITH SCORE 674053.335
AT ITER 879 NEW BEST:: SOT 4449430 SOS 731084 HAS SOPS 731084 HAS SOUS 673071 HAS SOUPS 673071 WITH SCORE 673802.084
AT ITER 880 NEW BEST:: SOT 4449429 SOS 731082 HAS SOPS 731082 HAS SOUS 673069 HAS SOUPS 673069 WITH SCORE 673800.082
AT ITER 882 NEW BEST:: SOT 4449377 SOS 730978 HAS SOPS 730978 HAS SOUS 673025 HAS SOUPS 673025 WITH SCORE 673755.978
AT ITER 887 NEW BEST:: SOT 4449267 SOS 730758 HAS SOPS 730758 HAS SOUS 672805 HAS SOUPS 672805 WITH SCORE 673535.758
AT ITER 897 NEW BEST:: SOT 4449438 SOS 730823 HAS SOPS 730823 HAS SOUS 672616 HAS SOUPS 672616 WITH SCORE 673346.823
AT ITER 919 NEW BEST:: SOT 4449318 SOS 730300 HAS SOPS 730300 HAS SOUS 672376 HAS SOUPS 672376 WITH SCORE 673106.3
AT ITER 931 NEW BEST:: SOT 4449130 SOS 729924 HAS SOPS 729924 HAS SOUS 672166 HAS SOUPS 672166 WITH SCORE 672895.924
AT ITER 957 NEW BEST:: SOT 4448925 SOS 729719 HAS SOPS 729719 HAS SOUS 671961 HAS SOUPS 671961 WITH SCORE 672690.719
AT ITER 988 NEW BEST:: SOT 4448901 SOS 729731 HAS SOPS 729731 HAS SOUS 671937 HAS SOUPS 671937 WITH SCORE 672666.731
AT ITER 1007 NEW BEST:: SOT 4448884 SOS 729899 HAS SOPS 729899 HAS SOUS 671920 HAS SOUPS 671920 WITH SCORE 672649.899
AT ITER 1037 NEW BEST:: SOT 4448884 SOS 729715 HAS SOPS 729715 HAS SOUS 671736 HAS SOUPS 671736 WITH SCORE 672465.715
AT ITER 1047 NEW BEST:: SOT 4448883 SOS 729713 HAS SOPS 729713 HAS SOUS 671734 HAS SOUPS 671734 WITH SCORE 672463.713
AT ITER 1052 NEW BEST:: SOT 4448805 SOS 729557 HAS SOPS 729557 HAS SOUS 671578 HAS SOUPS 671578 WITH SCORE 672307.557
AT ITER 1061 NEW BEST:: SOT 4448804 SOS 729555 HAS SOPS 729555 HAS SOUS 671576 HAS SOUPS 671576 WITH SCORE 672305.555
AT ITER 1068 NEW BEST:: SOT 4448735 SOS 729551 HAS SOPS 729551 HAS SOUS 671438 HAS SOUPS 671438 WITH SCORE 672167.551
AT ITER 1087 NEW BEST:: SOT 4448468 SOS 729017 HAS SOPS 729017 HAS SOUS 670904 HAS SOUPS 670904 WITH SCORE 671633.017
AT ITER 1119 NEW BEST:: SOT 4448411 SOS 728714 HAS SOPS 728714 HAS SOUS 670668 HAS SOUPS 670668 WITH SCORE 671396.714
AT ITER 1185 NEW BEST:: SOT 4448411 SOS 728683 HAS SOPS 728683 HAS SOUS 670668 HAS SOUPS 670668 WITH SCORE 671396.683
AT ITER 1223 NEW BEST:: SOT 4448394 SOS 728649 HAS SOPS 728649 HAS SOUS 670562 HAS SOUPS 670562 WITH SCORE 671290.649
AT ITER 1252 NEW BEST:: SOT 4448394 SOS 728519 HAS SOPS 728519 HAS SOUS 670562 HAS SOUPS 670562 WITH SCORE 671290.519
AT ITER 1259 NEW BEST:: SOT 4447957 SOS 727887 HAS SOPS 727887 HAS SOUS 669907 HAS SOUPS 669907 WITH SCORE 670634.887
AT ITER 1277 NEW BEST:: SOT 4447718 SOS 727664 HAS SOPS 727664 HAS SOUS 669676 HAS SOUPS 669676 WITH SCORE 670403.664
AT ITER 1281 NEW BEST:: SOT 4447617 SOS 727758 HAS SOPS 727758 HAS SOUS 669575 HAS SOUPS 669575 WITH SCORE 670302.758
AT ITER 1294 NEW BEST:: SOT 4447617 SOS 727609 HAS SOPS 727609 HAS SOUS 669574 HAS SOUPS 669574 WITH SCORE 670301.609
AT ITER 1301 NEW BEST:: SOT 4447182 SOS 727319 HAS SOPS 727319 HAS SOUS 669139 HAS SOUPS 669139 WITH SCORE 669866.319
AT ITER 1313 NEW BEST:: SOT 4446886 SOS 727045 HAS SOPS 727045 HAS SOUS 668842 HAS SOUPS 668842 WITH SCORE 669569.045
AT ITER 1314 NEW BEST:: SOT 4446886 SOS 727045 HAS SOPS 727045 HAS SOUS 668798 HAS SOUPS 668798 WITH SCORE 669525.045
AT ITER 1334 NEW BEST:: SOT 4446848 SOS 727007 HAS SOPS 727007 HAS SOUS 668760 HAS SOUPS 668760 WITH SCORE 669487.007
AT ITER 1337 NEW BEST:: SOT 4446848 SOS 726939 HAS SOPS 726939 HAS SOUS 668692 HAS SOUPS 668692 WITH SCORE 669418.939
AT ITER 1351 NEW BEST:: SOT 4446649 SOS 726541 HAS SOPS 726541 HAS SOUS 668294 HAS SOUPS 668294 WITH SCORE 669020.541
AT ITER 1384 NEW BEST:: SOT 4446648 SOS 726539 HAS SOPS 726539 HAS SOUS 668292 HAS SOUPS 668292 WITH SCORE 669018.539
AT ITER 1388 NEW BEST:: SOT 4446573 SOS 726439 HAS SOPS 726439 HAS SOUS 668192 HAS SOUPS 668192 WITH SCORE 668918.439
AT ITER 1420 NEW BEST:: SOT 4446573 SOS 726271 HAS SOPS 726271 HAS SOUS 668192 HAS SOUPS 668192 WITH SCORE 668918.271
AT ITER 1422 NEW BEST:: SOT 4446573 SOS 726271 HAS SOPS 726271 HAS SOUS 668191 HAS SOUPS 668191 WITH SCORE 668917.271
AT ITER 1449 NEW BEST:: SOT 4446309 SOS 725941 HAS SOPS 725941 HAS SOUS 667861 HAS SOUPS 667861 WITH SCORE 668586.941
AT ITER 1484 NEW BEST:: SOT 4446218 SOS 726075 HAS SOPS 726075 HAS SOUS 667770 HAS SOUPS 667770 WITH SCORE 668496.075
AT ITER 1491 NEW BEST:: SOT 4446111 SOS 725861 HAS SOPS 725861 HAS SOUS 667556 HAS SOUPS 667556 WITH SCORE 668281.861
AT ITER 1510 NEW BEST:: SOT 4446038 SOS 725715 HAS SOPS 725715 HAS SOUS 667537 HAS SOUPS 667537 WITH SCORE 668262.715
AT ITER 1537 NEW BEST:: SOT 4446038 SOS 725715 HAS SOPS 725715 HAS SOUS 667358 HAS SOUPS 667358 WITH SCORE 668083.715
AT ITER 1538 NEW BEST:: SOT 4445424 SOS 725067 HAS SOPS 725067 HAS SOUS 666710 HAS SOUPS 666710 WITH SCORE 667435.067
AT ITER 1543 NEW BEST:: SOT 4445351 SOS 725301 HAS SOPS 725301 HAS SOUS 666503 HAS SOUPS 666503 WITH SCORE 667228.301
AT ITER 1553 NEW BEST:: SOT 4445182 SOS 725168 HAS SOPS 725168 HAS SOUS 666370 HAS SOUPS 666370 WITH SCORE 667095.168
AT ITER 1620 NEW BEST:: SOT 4445162 SOS 725128 HAS SOPS 725128 HAS SOUS 666330 HAS SOUPS 666330 WITH SCORE 667055.128
AT ITER 1659 NEW BEST:: SOT 4445162 SOS 725128 HAS SOPS 725128 HAS SOUS 666265 HAS SOUPS 666265 WITH SCORE 666990.128
AT ITER 1662 NEW BEST:: SOT 4445299 SOS 725096 HAS SOPS 725096 HAS SOUS 666096 HAS SOUPS 666096 WITH SCORE 666821.096
AT ITER 1681 NEW BEST:: SOT 4445239 SOS 725036 HAS SOPS 725036 HAS SOUS 666036 HAS SOUPS 666036 WITH SCORE 666761.036
AT ITER 1686 NEW BEST:: SOT 4445192 SOS 725023 HAS SOPS 725023 HAS SOUS 665989 HAS SOUPS 665989 WITH SCORE 666714.023
AT ITER 1689 NEW BEST:: SOT 4445191 SOS 724876 HAS SOPS 724876 HAS SOUS 665987 HAS SOUPS 665987 WITH SCORE 666711.876
AT ITER 1707 NEW BEST:: SOT 4445060 SOS 724614 HAS SOPS 724614 HAS SOUS 665725 HAS SOUPS 665725 WITH SCORE 666449.614
AT ITER 1739 NEW BEST:: SOT 4443836 SOS 742411 HAS SOPS 742411 HAS SOUS 665461 HAS SOUPS 665461 WITH SCORE 666203.411
AT ITER 1763 NEW BEST:: SOT 4443967 SOS 742673 HAS SOPS 742673 HAS SOUS 665447 HAS SOUPS 665447 WITH SCORE 666189.673
AT ITER 1764 NEW BEST:: SOT 4443967 SOS 742430 HAS SOPS 742430 HAS SOUS 665447 HAS SOUPS 665447 WITH SCORE 666189.43
AT ITER 1765 NEW BEST:: SOT 4443967 SOS 742392 HAS SOPS 742392 HAS SOUS 665409 HAS SOUPS 665409 WITH SCORE 666151.392
AT ITER 1783 NEW BEST:: SOT 4443967 SOS 742200 HAS SOPS 742200 HAS SOUS 665409 HAS SOUPS 665409 WITH SCORE 666151.2
AT ITER 1801 NEW BEST:: SOT 4443857 SOS 741980 HAS SOPS 741980 HAS SOUS 665189 HAS SOUPS 665189 WITH SCORE 665930.98
AT ITER 1858 NEW BEST:: SOT 4444081 SOS 741980 HAS SOPS 741980 HAS SOUS 665188 HAS SOUPS 665188 WITH SCORE 665929.98
AT ITER 1869 NEW BEST:: SOT 4443907 SOS 741632 HAS SOPS 741632 HAS SOUS 664840 HAS SOUPS 664840 WITH SCORE 665581.632
AT ITER 1870 NEW BEST:: SOT 4443912 SOS 741344 HAS SOPS 741344 HAS SOUS 664556 HAS SOUPS 664556 WITH SCORE 665297.344
AT ITER 1873 NEW BEST:: SOT 4443886 SOS 741292 HAS SOPS 741292 HAS SOUS 664504 HAS SOUPS 664504 WITH SCORE 665245.292
AT ITER 1882 NEW BEST:: SOT 4443591 SOS 741010 HAS SOPS 741010 HAS SOUS 664209 HAS SOUPS 664209 WITH SCORE 664950.01
AT ITER 1900 NEW BEST:: SOT 4443580 SOS 740988 HAS SOPS 740988 HAS SOUS 664187 HAS SOUPS 664187 WITH SCORE 664927.988
AT ITER 1912 NEW BEST:: SOT 4443445 SOS 740535 HAS SOPS 740535 HAS SOUS 663742 HAS SOUPS 663742 WITH SCORE 664482.535
AT ITER 1936 NEW BEST:: SOT 4443445 SOS 740345 HAS SOPS 740345 HAS SOUS 663636 HAS SOUPS 663636 WITH SCORE 664376.345
AT ITER 1938 NEW BEST:: SOT 4443438 SOS 740331 HAS SOPS 740331 HAS SOUS 663622 HAS SOUPS 663622 WITH SCORE 664362.331
AT ITER 1939 NEW BEST:: SOT 4443331 SOS 740117 HAS SOPS 740117 HAS SOUS 663408 HAS SOUPS 663408 WITH SCORE 664148.117
AT ITER 1947 NEW BEST:: SOT 4443211 SOS 739997 HAS SOPS 739997 HAS SOUS 663313 HAS SOUPS 663313 WITH SCORE 664052.997
AT ITER 1950 NEW BEST:: SOT 4443211 SOS 739997 HAS SOPS 739997 HAS SOUS 663310 HAS SOUPS 663310 WITH SCORE 664049.997
AT ITER 1974 NEW BEST:: SOT 4443033 SOS 739860 HAS SOPS 739860 HAS SOUS 663174 HAS SOUPS 663174 WITH SCORE 663913.86
AT ITER 1979 NEW BEST:: SOT 4443106 SOS 740006 HAS SOPS 740006 HAS SOUS 663131 HAS SOUPS 663131 WITH SCORE 663871.006
AT ITER 2004 NEW BEST:: SOT 4443106 SOS 740006 HAS SOPS 740006 HAS SOUS 662994 HAS SOUPS 662994 WITH SCORE 663734.006
AT ITER 2017 NEW BEST:: SOT 4443007 SOS 739874 HAS SOPS 739874 HAS SOUS 662862 HAS SOUPS 662862 WITH SCORE 663601.874
AT ITER 2022 NEW BEST:: SOT 4443007 SOS 739641 HAS SOPS 739641 HAS SOUS 662862 HAS SOUPS 662862 WITH SCORE 663601.641
AT ITER 2028 NEW BEST:: SOT 4442762 SOS 739410 HAS SOPS 739410 HAS SOUS 662626 HAS SOUPS 662626 WITH SCORE 663365.41
AT ITER 2040 NEW BEST:: SOT 4442829 SOS 739397 HAS SOPS 739397 HAS SOUS 662546 HAS SOUPS 662546 WITH SCORE 663285.397
AT ITER 2043 NEW BEST:: SOT 4443180 SOS 739260 HAS SOPS 739260 HAS SOUS 662490 HAS SOUPS 662490 WITH SCORE 663229.26
AT ITER 2062 NEW BEST:: SOT 4443180 SOS 739236 HAS SOPS 739236 HAS SOUS 662489 HAS SOUPS 662489 WITH SCORE 663228.236
AT ITER 2068 NEW BEST:: SOT 4442738 SOS 738811 HAS SOPS 738811 HAS SOUS 662047 HAS SOUPS 662047 WITH SCORE 662785.811
AT ITER 2095 NEW BEST:: SOT 4442526 SOS 738599 HAS SOPS 738599 HAS SOUS 661835 HAS SOUPS 661835 WITH SCORE 662573.599
AT ITER 2110 NEW BEST:: SOT 4442422 SOS 738391 HAS SOPS 738391 HAS SOUS 661627 HAS SOUPS 661627 WITH SCORE 662365.391
AT ITER 2128 NEW BEST:: SOT 4442374 SOS 738295 HAS SOPS 738295 HAS SOUS 661531 HAS SOUPS 661531 WITH SCORE 662269.295
AT ITER 2129 NEW BEST:: SOT 4442218 SOS 738139 HAS SOPS 738139 HAS SOUS 661375 HAS SOUPS 661375 WITH SCORE 662113.139
AT ITER 2141 NEW BEST:: SOT 4442218 SOS 738139 HAS SOPS 738139 HAS SOUS 661318 HAS SOUPS 661318 WITH SCORE 662056.139
AT ITER 2149 NEW BEST:: SOT 4442052 SOS 737646 HAS SOPS 737646 HAS SOUS 660832 HAS SOUPS 660832 WITH SCORE 661569.646
AT ITER 2240 NEW BEST:: SOT 4441994 SOS 737530 HAS SOPS 737530 HAS SOUS 660716 HAS SOUPS 660716 WITH SCORE 661453.53
AT ITER 2248 NEW BEST:: SOT 4441979 SOS 737510 HAS SOPS 737510 HAS SOUS 660696 HAS SOUPS 660696 WITH SCORE 661433.51
AT ITER 2265 NEW BEST:: SOT 4441933 SOS 737418 HAS SOPS 737418 HAS SOUS 660604 HAS SOUPS 660604 WITH SCORE 661341.418
AT ITER 2266 NEW BEST:: SOT 4441873 SOS 737358 HAS SOPS 737358 HAS SOUS 660514 HAS SOUPS 660514 WITH SCORE 661251.358
AT ITER 2284 NEW BEST:: SOT 4441873 SOS 737358 HAS SOPS 737358 HAS SOUS 660513 HAS SOUPS 660513 WITH SCORE 661250.358
AT ITER 2303 NEW BEST:: SOT 4441873 SOS 737230 HAS SOPS 737230 HAS SOUS 660513 HAS SOUPS 660513 WITH SCORE 661250.23
AT ITER 2328 NEW BEST:: SOT 4441841 SOS 737166 HAS SOPS 737166 HAS SOUS 660449 HAS SOUPS 660449 WITH SCORE 661186.166
AT ITER 2359 NEW BEST:: SOT 4441663 SOS 737166 HAS SOPS 737166 HAS SOUS 660281 HAS SOUPS 660281 WITH SCORE 661018.166
AT ITER 2393 NEW BEST:: SOT 4441663 SOS 736950 HAS SOPS 736950 HAS SOUS 660281 HAS SOUPS 660281 WITH SCORE 661017.95
AT ITER 2438 NEW BEST:: SOT 4441556 SOS 736997 HAS SOPS 736997 HAS SOUS 660257 HAS SOUPS 660257 WITH SCORE 660993.997
AT ITER 2448 NEW BEST:: SOT 4441518 SOS 736921 HAS SOPS 736921 HAS SOUS 660181 HAS SOUPS 660181 WITH SCORE 660917.921
AT ITER 2466 NEW BEST:: SOT 4441329 SOS 736543 HAS SOPS 736543 HAS SOUS 659992 HAS SOUPS 659992 WITH SCORE 660728.543
AT ITER 2484 NEW BEST:: SOT 4440949 SOS 736671 HAS SOPS 736671 HAS SOUS 659612 HAS SOUPS 659612 WITH SCORE 660348.671
AT ITER 2526 NEW BEST:: SOT 4440785 SOS 736343 HAS SOPS 736343 HAS SOUS 659284 HAS SOUPS 659284 WITH SCORE 660020.343
AT ITER 2571 NEW BEST:: SOT 4440899 SOS 735965 HAS SOPS 735965 HAS SOUS 659095 HAS SOUPS 659095 WITH SCORE 659830.965
AT ITER 2580 NEW BEST:: SOT 4440803 SOS 735917 HAS SOPS 735917 HAS SOUS 659045 HAS SOUPS 659045 WITH SCORE 659780.917
AT ITER 2582 NEW BEST:: SOT 4440769 SOS 735849 HAS SOPS 735849 HAS SOUS 658965 HAS SOUPS 658965 WITH SCORE 659700.849
AT ITER 2595 NEW BEST:: SOT 4440688 SOS 735687 HAS SOPS 735687 HAS SOUS 658803 HAS SOUPS 658803 WITH SCORE 659538.687
AT ITER 2599 NEW BEST:: SOT 4440523 SOS 735357 HAS SOPS 735357 HAS SOUS 658638 HAS SOUPS 658638 WITH SCORE 659373.357
AT ITER 2603 NEW BEST:: SOT 4440437 SOS 735271 HAS SOPS 735271 HAS SOUS 658552 HAS SOUPS 658552 WITH SCORE 659287.271
AT ITER 2613 NEW BEST:: SOT 4440263 SOS 735126 HAS SOPS 735126 HAS SOUS 658387 HAS SOUPS 658387 WITH SCORE 659122.126
AT ITER 2634 NEW BEST:: SOT 4440119 SOS 735081 HAS SOPS 735081 HAS SOUS 658342 HAS SOUPS 658342 WITH SCORE 659077.081
AT ITER 2676 NEW BEST:: SOT 4440061 SOS 735081 HAS SOPS 735081 HAS SOUS 658313 HAS SOUPS 658313 WITH SCORE 659048.081
AT ITER 2733 NEW BEST:: SOT 4440061 SOS 734929 HAS SOPS 734929 HAS SOUS 658313 HAS SOUPS 658313 WITH SCORE 659047.929
AT ITER 2737 NEW BEST:: SOT 4440060 SOS 734743 HAS SOPS 734743 HAS SOUS 658311 HAS SOUPS 658311 WITH SCORE 659045.743
AT ITER 2742 NEW BEST:: SOT 4439979 SOS 734581 HAS SOPS 734581 HAS SOUS 658233 HAS SOUPS 658233 WITH SCORE 658967.581
AT ITER 2747 NEW BEST:: SOT 4439896 SOS 734091 HAS SOPS 734091 HAS SOUS 657853 HAS SOUPS 657853 WITH SCORE 658587.091
AT ITER 2789 NEW BEST:: SOT 4439610 SOS 733995 HAS SOPS 733995 HAS SOUS 657619 HAS SOUPS 657619 WITH SCORE 658352.995
AT ITER 2792 NEW BEST:: SOT 4439624 SOS 734023 HAS SOPS 734023 HAS SOUS 657358 HAS SOUPS 657358 WITH SCORE 658092.023
AT ITER 2799 NEW BEST:: SOT 4439329 SOS 733947 HAS SOPS 733947 HAS SOUS 657157 HAS SOUPS 657157 WITH SCORE 657890.947
AT ITER 2845 NEW BEST:: SOT 4439256 SOS 734025 HAS SOPS 734025 HAS SOUS 657076 HAS SOUPS 657076 WITH SCORE 657810.025
AT ITER 2856 NEW BEST:: SOT 4439215 SOS 733943 HAS SOPS 733943 HAS SOUS 657035 HAS SOUPS 657035 WITH SCORE 657768.943
AT ITER 2862 NEW BEST:: SOT 4439215 SOS 733943 HAS SOPS 733943 HAS SOUS 657007 HAS SOUPS 657007 WITH SCORE 657740.943
AT ITER 2870 NEW BEST:: SOT 4439113 SOS 733841 HAS SOPS 733841 HAS SOUS 656905 HAS SOUPS 656905 WITH SCORE 657638.841
AT ITER 2875 NEW BEST:: SOT 4439113 SOS 733841 HAS SOPS 733841 HAS SOUS 656904 HAS SOUPS 656904 WITH SCORE 657637.841
AT ITER 2892 NEW BEST:: SOT 4439176 SOS 733904 HAS SOPS 733904 HAS SOUS 656716 HAS SOUPS 656716 WITH SCORE 657449.904
AT ITER 2912 NEW BEST:: SOT 4439186 SOS 733924 HAS SOPS 733924 HAS SOUS 656713 HAS SOUPS 656713 WITH SCORE 657446.924
AT ITER 2941 NEW BEST:: SOT 4438892 SOS 733630 HAS SOPS 733630 HAS SOUS 656419 HAS SOUPS 656419 WITH SCORE 657152.63
AT ITER 2969 NEW BEST:: SOT 4438891 SOS 733465 HAS SOPS 733465 HAS SOUS 656417 HAS SOUPS 656417 WITH SCORE 657150.465
AT ITER 2971 NEW BEST:: SOT 4438777 SOS 733237 HAS SOPS 733237 HAS SOUS 656189 HAS SOUPS 656189 WITH SCORE 656922.237
AT ITER 2978 NEW BEST:: SOT 4438967 SOS 732845 HAS SOPS 732845 HAS SOUS 655921 HAS SOUPS 655921 WITH SCORE 656653.845
AT ITER 2980 NEW BEST:: SOT 4439223 SOS 732847 HAS SOPS 732847 HAS SOUS 655723 HAS SOUPS 655723 WITH SCORE 656455.847
AT ITER 2981 NEW BEST:: SOT 4439140 SOS 733017 HAS SOPS 733017 HAS SOUS 655640 HAS SOUPS 655640 WITH SCORE 656373.017
AT ITER 3037 NEW BEST:: SOT 4438898 SOS 732775 HAS SOPS 732775 HAS SOUS 655398 HAS SOUPS 655398 WITH SCORE 656130.775
AT ITER 3040 NEW BEST:: SOT 4438154 SOS 732317 HAS SOPS 732317 HAS SOUS 654714 HAS SOUPS 654714 WITH SCORE 655446.317
AT ITER 3074 NEW BEST:: SOT 4437832 SOS 732099 HAS SOPS 732099 HAS SOUS 654426 HAS SOUPS 654426 WITH SCORE 655158.099
AT ITER 3088 NEW BEST:: SOT 4437832 SOS 731990 HAS SOPS 731990 HAS SOUS 654426 HAS SOUPS 654426 WITH SCORE 655157.99
AT ITER 3090 NEW BEST:: SOT 4437794 SOS 731914 HAS SOPS 731914 HAS SOUS 654350 HAS SOUPS 654350 WITH SCORE 655081.914
AT ITER 3103 NEW BEST:: SOT 4437779 SOS 731899 HAS SOPS 731899 HAS SOUS 654349 HAS SOUPS 654349 WITH SCORE 655080.899
AT ITER 3142 NEW BEST:: SOT 4437635 SOS 731693 HAS SOPS 731693 HAS SOUS 654143 HAS SOUPS 654143 WITH SCORE 654874.693
AT ITER 3143 NEW BEST:: SOT 4437618 SOS 731440 HAS SOPS 731440 HAS SOUS 653978 HAS SOUPS 653978 WITH SCORE 654709.44
AT ITER 3149 NEW BEST:: SOT 4437684 SOS 731004 HAS SOPS 731004 HAS SOUS 653770 HAS SOUPS 653770 WITH SCORE 654501.004
AT ITER 3165 NEW BEST:: SOT 4437508 SOS 731092 HAS SOPS 731092 HAS SOUS 653682 HAS SOUPS 653682 WITH SCORE 654413.092
AT ITER 3185 NEW BEST:: SOT 4437626 SOS 730796 HAS SOPS 730796 HAS SOUS 653534 HAS SOUPS 653534 WITH SCORE 654264.796
AT ITER 3197 NEW BEST:: SOT 4437742 SOS 730647 HAS SOPS 730647 HAS SOUS 653385 HAS SOUPS 653385 WITH SCORE 654115.647
AT ITER 3310 NEW BEST:: SOT 4437679 SOS 730584 HAS SOPS 730584 HAS SOUS 653322 HAS SOUPS 653322 WITH SCORE 654052.584
AT ITER 3322 NEW BEST:: SOT 4437679 SOS 730584 HAS SOPS 730584 HAS SOUS 653147 HAS SOUPS 653147 WITH SCORE 653877.584
AT ITER 3341 NEW BEST:: SOT 4437586 SOS 730491 HAS SOPS 730491 HAS SOUS 653054 HAS SOUPS 653054 WITH SCORE 653784.491
AT ITER 3344 NEW BEST:: SOT 4437559 SOS 730437 HAS SOPS 730437 HAS SOUS 653000 HAS SOUPS 653000 WITH SCORE 653730.437
AT ITER 3353 NEW BEST:: SOT 4437343 SOS 730005 HAS SOPS 730005 HAS SOUS 652568 HAS SOUPS 652568 WITH SCORE 653298.005
AT ITER 3362 NEW BEST:: SOT 4437305 SOS 729929 HAS SOPS 729929 HAS SOUS 652529 HAS SOUPS 652529 WITH SCORE 653258.929
AT ITER 3367 NEW BEST:: SOT 4437261 SOS 729929 HAS SOPS 729929 HAS SOUS 652485 HAS SOUPS 652485 WITH SCORE 653214.929
AT ITER 3372 NEW BEST:: SOT 4437331 SOS 729859 HAS SOPS 729859 HAS SOUS 652485 HAS SOUPS 652485 WITH SCORE 653214.859
AT ITER 3376 NEW BEST:: SOT 4436912 SOS 730769 HAS SOPS 730769 HAS SOUS 652463 HAS SOUPS 652463 WITH SCORE 653193.769
AT ITER 3386 NEW BEST:: SOT 4435489 SOS 729291 HAS SOPS 729291 HAS SOUS 651013 HAS SOUPS 651013 WITH SCORE 651742.291
AT ITER 3392 NEW BEST:: SOT 4435389 SOS 729278 HAS SOPS 729278 HAS SOUS 650913 HAS SOUPS 650913 WITH SCORE 651642.278
AT ITER 3428 NEW BEST:: SOT 4435115 SOS 728730 HAS SOPS 728730 HAS SOUS 650410 HAS SOUPS 650410 WITH SCORE 651138.73
AT ITER 3449 NEW BEST:: SOT 4435115 SOS 728683 HAS SOPS 728683 HAS SOUS 650410 HAS SOUPS 650410 WITH SCORE 651138.683
AT ITER 3475 NEW BEST:: SOT 4435090 SOS 728633 HAS SOPS 728633 HAS SOUS 650384 HAS SOUPS 650384 WITH SCORE 651112.633
AT ITER 3495 NEW BEST:: SOT 4434916 SOS 728488 HAS SOPS 728488 HAS SOUS 650210 HAS SOUPS 650210 WITH SCORE 650938.488
AT ITER 3526 NEW BEST:: SOT 4434678 SOS 728012 HAS SOPS 728012 HAS SOUS 649734 HAS SOUPS 649734 WITH SCORE 650462.012
AT ITER 3549 NEW BEST:: SOT 4433968 SOS 727302 HAS SOPS 727302 HAS SOUS 649313 HAS SOUPS 649313 WITH SCORE 650040.302
AT ITER 3570 NEW BEST:: SOT 4433978 SOS 727119 HAS SOPS 727119 HAS SOUS 649225 HAS SOUPS 649225 WITH SCORE 649952.119
AT ITER 3577 NEW BEST:: SOT 4433978 SOS 726852 HAS SOPS 726852 HAS SOUS 649225 HAS SOUPS 649225 WITH SCORE 649951.852
AT ITER 3578 NEW BEST:: SOT 4433978 SOS 726852 HAS SOPS 726852 HAS SOUS 649210 HAS SOUPS 649210 WITH SCORE 649936.852
AT ITER 3584 NEW BEST:: SOT 4433925 SOS 726799 HAS SOPS 726799 HAS SOUS 649210 HAS SOUPS 649210 WITH SCORE 649936.799
AT ITER 3589 NEW BEST:: SOT 4433830 SOS 726314 HAS SOPS 726314 HAS SOUS 648939 HAS SOUPS 648939 WITH SCORE 649665.314
AT ITER 3606 NEW BEST:: SOT 4433830 SOS 726234 HAS SOPS 726234 HAS SOUS 648939 HAS SOUPS 648939 WITH SCORE 649665.234
AT ITER 3611 NEW BEST:: SOT 4433830 SOS 726107 HAS SOPS 726107 HAS SOUS 648939 HAS SOUPS 648939 WITH SCORE 649665.107
AT ITER 3637 NEW BEST:: SOT 4433729 SOS 725905 HAS SOPS 725905 HAS SOUS 648737 HAS SOUPS 648737 WITH SCORE 649462.905
AT ITER 3670 NEW BEST:: SOT 4433510 SOS 725689 HAS SOPS 725689 HAS SOUS 648521 HAS SOUPS 648521 WITH SCORE 649246.689
AT ITER 3682 NEW BEST:: SOT 4433447 SOS 725338 HAS SOPS 725338 HAS SOUS 648149 HAS SOUPS 648149 WITH SCORE 648874.338
AT ITER 3690 NEW BEST:: SOT 4433303 SOS 725194 HAS SOPS 725194 HAS SOUS 648005 HAS SOUPS 648005 WITH SCORE 648730.194
AT ITER 3720 NEW BEST:: SOT 4433262 SOS 725112 HAS SOPS 725112 HAS SOUS 647928 HAS SOUPS 647928 WITH SCORE 648653.112
AT ITER 3768 NEW BEST:: SOT 4433261 SOS 725110 HAS SOPS 725110 HAS SOUS 647926 HAS SOUPS 647926 WITH SCORE 648651.11
AT ITER 3784 NEW BEST:: SOT 4433216 SOS 725020 HAS SOPS 725020 HAS SOUS 647836 HAS SOUPS 647836 WITH SCORE 648561.02
AT ITER 3787 NEW BEST:: SOT 4433039 SOS 724970 HAS SOPS 724970 HAS SOUS 647602 HAS SOUPS 647602 WITH SCORE 648326.97
AT ITER 3793 NEW BEST:: SOT 4433030 SOS 724961 HAS SOPS 724961 HAS SOUS 647602 HAS SOUPS 647602 WITH SCORE 648326.961
AT ITER 3797 NEW BEST:: SOT 4433030 SOS 724912 HAS SOPS 724912 HAS SOUS 647602 HAS SOUPS 647602 WITH SCORE 648326.912
AT ITER 3830 NEW BEST:: SOT 4433030 SOS 724912 HAS SOPS 724912 HAS SOUS 647317 HAS SOUPS 647317 WITH SCORE 648041.912
AT ITER 3856 NEW BEST:: SOT 4432937 SOS 724877 HAS SOPS 724877 HAS SOUS 647234 HAS SOUPS 647234 WITH SCORE 647958.877
AT ITER 3862 NEW BEST:: SOT 4432899 SOS 724801 HAS SOPS 724801 HAS SOUS 647158 HAS SOUPS 647158 WITH SCORE 647882.801
AT ITER 3874 NEW BEST:: SOT 4432850 SOS 724781 HAS SOPS 724781 HAS SOUS 647138 HAS SOUPS 647138 WITH SCORE 647862.781
AT ITER 3889 NEW BEST:: SOT 4432839 SOS 724759 HAS SOPS 724759 HAS SOUS 647117 HAS SOUPS 647117 WITH SCORE 647841.759
AT ITER 3895 NEW BEST:: SOT 4432777 SOS 724635 HAS SOPS 724635 HAS SOUS 646993 HAS SOUPS 646993 WITH SCORE 647717.635
AT ITER 3929 NEW BEST:: SOT 4432461 SOS 724003 HAS SOPS 724003 HAS SOUS 646498 HAS SOUPS 646498 WITH SCORE 647222.003
AT ITER 3942 NEW BEST:: SOT 4432446 SOS 723973 HAS SOPS 723973 HAS SOUS 646468 HAS SOUPS 646468 WITH SCORE 647191.973
AT ITER 3945 NEW BEST:: SOT 4432285 SOS 724253 HAS SOPS 724253 HAS SOUS 646455 HAS SOUPS 646455 WITH SCORE 647179.253
AT ITER 3965 NEW BEST:: SOT 4431670 SOS 725543 HAS SOPS 725543 HAS SOUS 646400 HAS SOUPS 646400 WITH SCORE 647125.543
AT ITER 3966 NEW BEST:: SOT 4431669 SOS 725541 HAS SOPS 725541 HAS SOUS 646398 HAS SOUPS 646398 WITH SCORE 647123.541
AT ITER 3977 NEW BEST:: SOT 4431561 SOS 725325 HAS SOPS 725325 HAS SOUS 646182 HAS SOUPS 646182 WITH SCORE 646907.325
AT ITER 4016 NEW BEST:: SOT 4431495 SOS 724960 HAS SOPS 724960 HAS SOUS 645474 HAS SOUPS 645474 WITH SCORE 646198.96
AT ITER 4022 NEW BEST:: SOT 4431492 SOS 724954 HAS SOPS 724954 HAS SOUS 645468 HAS SOUPS 645468 WITH SCORE 646192.954
AT ITER 4046 NEW BEST:: SOT 4431487 SOS 724944 HAS SOPS 724944 HAS SOUS 645463 HAS SOUPS 645463 WITH SCORE 646187.944
AT ITER 4051 NEW BEST:: SOT 4431364 SOS 724830 HAS SOPS 724830 HAS SOUS 645349 HAS SOUPS 645349 WITH SCORE 646073.83
AT ITER 4067 NEW BEST:: SOT 4431401 SOS 724752 HAS SOPS 724752 HAS SOUS 645271 HAS SOUPS 645271 WITH SCORE 645995.752
AT ITER 4087 NEW BEST:: SOT 4431293 SOS 724644 HAS SOPS 724644 HAS SOUS 645163 HAS SOUPS 645163 WITH SCORE 645887.644
AT ITER 4094 NEW BEST:: SOT 4431293 SOS 724644 HAS SOPS 724644 HAS SOUS 645095 HAS SOUPS 645095 WITH SCORE 645819.644
AT ITER 4099 NEW BEST:: SOT 4431281 SOS 724620 HAS SOPS 724620 HAS SOUS 644926 HAS SOUPS 644926 WITH SCORE 645650.62
AT ITER 4170 NEW BEST:: SOT 4431280 SOS 724618 HAS SOPS 724618 HAS SOUS 644924 HAS SOUPS 644924 WITH SCORE 645648.618
AT ITER 4196 NEW BEST:: SOT 4431238 SOS 724534 HAS SOPS 724534 HAS SOUS 644882 HAS SOUPS 644882 WITH SCORE 645606.534
AT ITER 4213 NEW BEST:: SOT 4431229 SOS 724516 HAS SOPS 724516 HAS SOUS 644864 HAS SOUPS 644864 WITH SCORE 645588.516
AT ITER 4216 NEW BEST:: SOT 4431144 SOS 724346 HAS SOPS 724346 HAS SOUS 644694 HAS SOUPS 644694 WITH SCORE 645418.346
AT ITER 4231 NEW BEST:: SOT 4431078 SOS 724214 HAS SOPS 724214 HAS SOUS 644562 HAS SOUPS 644562 WITH SCORE 645286.214
AT ITER 4241 NEW BEST:: SOT 4431065 SOS 724188 HAS SOPS 724188 HAS SOUS 644536 HAS SOUPS 644536 WITH SCORE 645260.188
AT ITER 4247 NEW BEST:: SOT 4431065 SOS 724188 HAS SOPS 724188 HAS SOUS 644534 HAS SOUPS 644534 WITH SCORE 645258.188
AT ITER 4255 NEW BEST:: SOT 4430907 SOS 723872 HAS SOPS 723872 HAS SOUS 644400 HAS SOUPS 644400 WITH SCORE 645123.872
AT ITER 4268 NEW BEST:: SOT 4430740 SOS 723890 HAS SOPS 723890 HAS SOUS 644398 HAS SOUPS 644398 WITH SCORE 645121.89
AT ITER 4271 NEW BEST:: SOT 4430704 SOS 723662 HAS SOPS 723662 HAS SOUS 644326 HAS SOUPS 644326 WITH SCORE 645049.662
AT ITER 4311 NEW BEST:: SOT 4430627 SOS 723654 HAS SOPS 723654 HAS SOUS 644285 HAS SOUPS 644285 WITH SCORE 645008.654
AT ITER 4312 NEW BEST:: SOT 4430627 SOS 723361 HAS SOPS 723361 HAS SOUS 643992 HAS SOUPS 643992 WITH SCORE 644715.361
AT ITER 4344 NEW BEST:: SOT 4430613 SOS 722912 HAS SOPS 722912 HAS SOUS 643664 HAS SOUPS 643664 WITH SCORE 644386.912
AT ITER 4387 NEW BEST:: SOT 4430561 SOS 722808 HAS SOPS 722808 HAS SOUS 643537 HAS SOUPS 643537 WITH SCORE 644259.808
AT ITER 4434 NEW BEST:: SOT 4430160 SOS 722824 HAS SOPS 722824 HAS SOUS 643422 HAS SOUPS 643422 WITH SCORE 644144.824
AT ITER 4451 NEW BEST:: SOT 4430159 SOS 722822 HAS SOPS 722822 HAS SOUS 643420 HAS SOUPS 643420 WITH SCORE 644142.822
AT ITER 4486 NEW BEST:: SOT 4430022 SOS 722548 HAS SOPS 722548 HAS SOUS 643146 HAS SOUPS 643146 WITH SCORE 643868.548
AT ITER 4523 NEW BEST:: SOT 4429855 SOS 722214 HAS SOPS 722214 HAS SOUS 642923 HAS SOUPS 642923 WITH SCORE 643645.214
AT ITER 4558 NEW BEST:: SOT 4429737 SOS 721978 HAS SOPS 721978 HAS SOUS 642805 HAS SOUPS 642805 WITH SCORE 643526.978
AT ITER 4604 NEW BEST:: SOT 4429794 SOS 722068 HAS SOPS 722068 HAS SOUS 642766 HAS SOUPS 642766 WITH SCORE 643488.068
AT ITER 4606 NEW BEST:: SOT 4423588 SOS 719484 HAS SOPS 719484 HAS SOUS 636794 HAS SOUPS 636794 WITH SCORE 637513.484
AT ITER 4607 NEW BEST:: SOT 4423068 SOS 719924 HAS SOPS 719924 HAS SOUS 636750 HAS SOUPS 636750 WITH SCORE 637469.924
AT ITER 4672 NEW BEST:: SOT 4422849 SOS 719486 HAS SOPS 719486 HAS SOUS 636312 HAS SOUPS 636312 WITH SCORE 637031.486
AT ITER 4691 NEW BEST:: SOT 4422689 SOS 718797 HAS SOPS 718797 HAS SOUS 636152 HAS SOUPS 636152 WITH SCORE 636870.797
AT ITER 4698 NEW BEST:: SOT 4422533 SOS 718563 HAS SOPS 718563 HAS SOUS 635917 HAS SOUPS 635917 WITH SCORE 636635.563
AT ITER 4713 NEW BEST:: SOT 4422533 SOS 718524 HAS SOPS 718524 HAS SOUS 635878 HAS SOUPS 635878 WITH SCORE 636596.524
AT ITER 4714 NEW BEST:: SOT 4422363 SOS 718178 HAS SOPS 718178 HAS SOUS 635355 HAS SOUPS 635355 WITH SCORE 636073.178
AT ITER 4734 NEW BEST:: SOT 4422427 SOS 718089 HAS SOPS 718089 HAS SOUS 635278 HAS SOUPS 635278 WITH SCORE 635996.089
AT ITER 4736 NEW BEST:: SOT 4422425 SOS 718085 HAS SOPS 718085 HAS SOUS 635274 HAS SOUPS 635274 WITH SCORE 635992.085
AT ITER 4752 NEW BEST:: SOT 4422165 SOS 717565 HAS SOPS 717565 HAS SOUS 634754 HAS SOUPS 634754 WITH SCORE 635471.565
AT ITER 4788 NEW BEST:: SOT 4421733 SOS 717133 HAS SOPS 717133 HAS SOUS 634322 HAS SOUPS 634322 WITH SCORE 635039.133
AT ITER 4799 NEW BEST:: SOT 4421653 SOS 717053 HAS SOPS 717053 HAS SOUS 634242 HAS SOUPS 634242 WITH SCORE 634959.053
AT ITER 4815 NEW BEST:: SOT 4421514 SOS 716914 HAS SOPS 716914 HAS SOUS 634103 HAS SOUPS 634103 WITH SCORE 634819.914
AT ITER 4830 NEW BEST:: SOT 4421561 SOS 717008 HAS SOPS 717008 HAS SOUS 633916 HAS SOUPS 633916 WITH SCORE 634633.008
AT ITER 4845 NEW BEST:: SOT 4421163 SOS 716764 HAS SOPS 716764 HAS SOUS 633534 HAS SOUPS 633534 WITH SCORE 634250.764
AT ITER 4858 NEW BEST:: SOT 4421095 SOS 716628 HAS SOPS 716628 HAS SOUS 633460 HAS SOUPS 633460 WITH SCORE 634176.628
AT ITER 4859 NEW BEST:: SOT 4421095 SOS 716627 HAS SOPS 716627 HAS SOUS 633460 HAS SOUPS 633460 WITH SCORE 634176.627
AT ITER 4885 NEW BEST:: SOT 4421025 SOS 716895 HAS SOPS 716895 HAS SOUS 633397 HAS SOUPS 633397 WITH SCORE 634113.895
AT ITER 4896 NEW BEST:: SOT 4421024 SOS 716706 HAS SOPS 716706 HAS SOUS 633133 HAS SOUPS 633133 WITH SCORE 633849.706
AT ITER 4936 NEW BEST:: SOT 4421024 SOS 716706 HAS SOPS 716706 HAS SOUS 633037 HAS SOUPS 633037 WITH SCORE 633753.706
AT ITER 4943 NEW BEST:: SOT 4420986 SOS 716630 HAS SOPS 716630 HAS SOUS 632961 HAS SOUPS 632961 WITH SCORE 633677.63
AT ITER 4945 NEW BEST:: SOT 4420902 SOS 716546 HAS SOPS 716546 HAS SOUS 632877 HAS SOUPS 632877 WITH SCORE 633593.546
AT ITER 4949 NEW BEST:: SOT 4420455 SOS 715897 HAS SOPS 715897 HAS SOUS 632211 HAS SOUPS 632211 WITH SCORE 632926.897
AT ITER 4954 NEW BEST:: SOT 4420455 SOS 715788 HAS SOPS 715788 HAS SOUS 632211 HAS SOUPS 632211 WITH SCORE 632926.788
AT ITER 4957 NEW BEST:: SOT 4420455 SOS 715788 HAS SOPS 715788 HAS SOUS 632101 HAS SOUPS 632101 WITH SCORE 632816.788
AT ITER 4959 NEW BEST:: SOT 4420674 SOS 715654 HAS SOPS 715654 HAS SOUS 631858 HAS SOUPS 631858 WITH SCORE 632573.654
AT ITER 4980 NEW BEST:: SOT 4420717 SOS 715506 HAS SOPS 715506 HAS SOUS 631710 HAS SOUPS 631710 WITH SCORE 632425.506
AT ITER 5029 NEW BEST:: SOT 4420593 SOS 715600 HAS SOPS 715600 HAS SOUS 631617 HAS SOUPS 631617 WITH SCORE 632332.6
AT ITER 5031 NEW BEST:: SOT 4420357 SOS 714910 HAS SOPS 714910 HAS SOUS 630532 HAS SOUPS 630532 WITH SCORE 631246.91
AT ITER 5039 NEW BEST:: SOT 4420357 SOS 714606 HAS SOPS 714606 HAS SOUS 630532 HAS SOUPS 630532 WITH SCORE 631246.606
AT ITER 5047 NEW BEST:: SOT 4420327 SOS 714546 HAS SOPS 714546 HAS SOUS 630472 HAS SOUPS 630472 WITH SCORE 631186.546
AT ITER 5103 NEW BEST:: SOT 4419929 SOS 714335 HAS SOPS 714335 HAS SOUS 630191 HAS SOUPS 630191 WITH SCORE 630905.335
AT ITER 5107 NEW BEST:: SOT 4419657 SOS 714131 HAS SOPS 714131 HAS SOUS 629987 HAS SOUPS 629987 WITH SCORE 630701.131
AT ITER 5141 NEW BEST:: SOT 4419648 SOS 714113 HAS SOPS 714113 HAS SOUS 629969 HAS SOUPS 629969 WITH SCORE 630683.113
AT ITER 5147 NEW BEST:: SOT 4419647 SOS 714111 HAS SOPS 714111 HAS SOUS 629967 HAS SOUPS 629967 WITH SCORE 630681.111
AT ITER 5150 NEW BEST:: SOT 4419631 SOS 714079 HAS SOPS 714079 HAS SOUS 629935 HAS SOUPS 629935 WITH SCORE 630649.079
AT ITER 5158 NEW BEST:: SOT 4419630 SOS 714077 HAS SOPS 714077 HAS SOUS 629933 HAS SOUPS 629933 WITH SCORE 630647.077
AT ITER 5169 NEW BEST:: SOT 4419629 SOS 714075 HAS SOPS 714075 HAS SOUS 629931 HAS SOUPS 629931 WITH SCORE 630645.075
AT ITER 5170 NEW BEST:: SOT 4419454 SOS 713577 HAS SOPS 713577 HAS SOUS 629344 HAS SOUPS 629344 WITH SCORE 630057.577
AT ITER 5189 NEW BEST:: SOT 4419454 SOS 713079 HAS SOPS 713079 HAS SOUS 629344 HAS SOUPS 629344 WITH SCORE 630057.079
AT ITER 5215 NEW BEST:: SOT 4419454 SOS 713079 HAS SOPS 713079 HAS SOUS 629343 HAS SOUPS 629343 WITH SCORE 630056.079
AT ITER 5223 NEW BEST:: SOT 4419431 SOS 713033 HAS SOPS 713033 HAS SOUS 629309 HAS SOUPS 629309 WITH SCORE 630022.033
AT ITER 5250 NEW BEST:: SOT 4419298 SOS 712951 HAS SOPS 712951 HAS SOUS 628992 HAS SOUPS 628992 WITH SCORE 629704.951
AT ITER 5263 NEW BEST:: SOT 4419130 SOS 712615 HAS SOPS 712615 HAS SOUS 628788 HAS SOUPS 628788 WITH SCORE 629500.615
AT ITER 5268 NEW BEST:: SOT 4419057 SOS 712469 HAS SOPS 712469 HAS SOUS 628715 HAS SOUPS 628715 WITH SCORE 629427.469
AT ITER 5275 NEW BEST:: SOT 4419291 SOS 711861 HAS SOPS 711861 HAS SOUS 628680 HAS SOUPS 628680 WITH SCORE 629391.861
AT ITER 5280 NEW BEST:: SOT 4419237 SOS 711807 HAS SOPS 711807 HAS SOUS 628626 HAS SOUPS 628626 WITH SCORE 629337.807
AT ITER 5350 NEW BEST:: SOT 4419132 SOS 711597 HAS SOPS 711597 HAS SOUS 628608 HAS SOUPS 628608 WITH SCORE 629319.597
AT ITER 5359 NEW BEST:: SOT 4419288 SOS 711473 HAS SOPS 711473 HAS SOUS 628484 HAS SOUPS 628484 WITH SCORE 629195.473
AT ITER 5373 NEW BEST:: SOT 4419258 SOS 711473 HAS SOPS 711473 HAS SOUS 628454 HAS SOUPS 628454 WITH SCORE 629165.473
AT ITER 5378 NEW BEST:: SOT 4419202 SOS 711361 HAS SOPS 711361 HAS SOUS 628125 HAS SOUPS 628125 WITH SCORE 628836.361
AT ITER 5382 NEW BEST:: SOT 4419168 SOS 711293 HAS SOPS 711293 HAS SOUS 628089 HAS SOUPS 628089 WITH SCORE 628800.293
AT ITER 5394 NEW BEST:: SOT 4418957 SOS 711747 HAS SOPS 711747 HAS SOUS 627983 HAS SOUPS 627983 WITH SCORE 628694.747
AT ITER 5399 NEW BEST:: SOT 4418622 SOS 712037 HAS SOPS 712037 HAS SOUS 627648 HAS SOUPS 627648 WITH SCORE 628360.037
AT ITER 5417 NEW BEST:: SOT 4418622 SOS 712007 HAS SOPS 712007 HAS SOUS 627648 HAS SOUPS 627648 WITH SCORE 628360.007
AT ITER 5430 NEW BEST:: SOT 4418326 SOS 711855 HAS SOPS 711855 HAS SOUS 627386 HAS SOUPS 627386 WITH SCORE 628097.855
AT ITER 5432 NEW BEST:: SOT 4418317 SOS 711837 HAS SOPS 711837 HAS SOUS 627368 HAS SOUPS 627368 WITH SCORE 628079.837
AT ITER 5448 NEW BEST:: SOT 4417955 SOS 712049 HAS SOPS 712049 HAS SOUS 627120 HAS SOUPS 627120 WITH SCORE 627832.049
AT ITER 5497 NEW BEST:: SOT 4417770 SOS 712019 HAS SOPS 712019 HAS SOUS 626935 HAS SOUPS 626935 WITH SCORE 627647.019
AT ITER 5511 NEW BEST:: SOT 4417770 SOS 711986 HAS SOPS 711986 HAS SOUS 626935 HAS SOUPS 626935 WITH SCORE 627646.986
AT ITER 5515 NEW BEST:: SOT 4417720 SOS 711886 HAS SOPS 711886 HAS SOUS 626835 HAS SOUPS 626835 WITH SCORE 627546.886
AT ITER 5519 NEW BEST:: SOT 4417705 SOS 711647 HAS SOPS 711647 HAS SOUS 626812 HAS SOUPS 626812 WITH SCORE 627523.647
AT ITER 5532 NEW BEST:: SOT 4417683 SOS 711603 HAS SOPS 711603 HAS SOUS 626790 HAS SOUPS 626790 WITH SCORE 627501.603
AT ITER 5534 NEW BEST:: SOT 4417626 SOS 711553 HAS SOPS 711553 HAS SOUS 626733 HAS SOUPS 626733 WITH SCORE 627444.553
AT ITER 5547 NEW BEST:: SOT 4416215 SOS 711328 HAS SOPS 711328 HAS SOUS 625534 HAS SOUPS 625534 WITH SCORE 626245.328
AT ITER 5561 NEW BEST:: SOT 4416215 SOS 711296 HAS SOPS 711296 HAS SOUS 625502 HAS SOUPS 625502 WITH SCORE 626213.296
AT ITER 5563 NEW BEST:: SOT 4415888 SOS 711076 HAS SOPS 711076 HAS SOUS 625282 HAS SOUPS 625282 WITH SCORE 625993.076
AT ITER 5572 NEW BEST:: SOT 4415860 SOS 710717 HAS SOPS 710717 HAS SOUS 625226 HAS SOUPS 625226 WITH SCORE 625936.717
AT ITER 5585 NEW BEST:: SOT 4415860 SOS 710665 HAS SOPS 710665 HAS SOUS 625226 HAS SOUPS 625226 WITH SCORE 625936.665
AT ITER 5608 NEW BEST:: SOT 4415860 SOS 710665 HAS SOPS 710665 HAS SOUS 625186 HAS SOUPS 625186 WITH SCORE 625896.665
AT ITER 5631 NEW BEST:: SOT 4415776 SOS 710707 HAS SOPS 710707 HAS SOUS 625144 HAS SOUPS 625144 WITH SCORE 625854.707
AT ITER 5649 NEW BEST:: SOT 4415568 SOS 710679 HAS SOPS 710679 HAS SOUS 625116 HAS SOUPS 625116 WITH SCORE 625826.679
AT ITER 5665 NEW BEST:: SOT 4415616 SOS 710666 HAS SOPS 710666 HAS SOUS 625103 HAS SOUPS 625103 WITH SCORE 625813.666
AT ITER 5681 NEW BEST:: SOT 4415547 SOS 710804 HAS SOPS 710804 HAS SOUS 625034 HAS SOUPS 625034 WITH SCORE 625744.804
AT ITER 5698 NEW BEST:: SOT 4415386 SOS 710321 HAS SOPS 710321 HAS SOUS 624712 HAS SOUPS 624712 WITH SCORE 625422.321
AT ITER 5704 NEW BEST:: SOT 4415351 SOS 710286 HAS SOPS 710286 HAS SOUS 624677 HAS SOUPS 624677 WITH SCORE 625387.286
AT ITER 5707 NEW BEST:: SOT 4415157 SOS 709898 HAS SOPS 709898 HAS SOUS 624483 HAS SOUPS 624483 WITH SCORE 625192.898
AT ITER 5715 NEW BEST:: SOT 4415015 SOS 709784 HAS SOPS 709784 HAS SOUS 624352 HAS SOUPS 624352 WITH SCORE 625061.784
AT ITER 5716 NEW BEST:: SOT 4415005 SOS 709764 HAS SOPS 709764 HAS SOUS 624332 HAS SOUPS 624332 WITH SCORE 625041.764
AT ITER 5733 NEW BEST:: SOT 4414152 SOS 709192 HAS SOPS 709192 HAS SOUS 623505 HAS SOUPS 623505 WITH SCORE 624214.192
AT ITER 5758 NEW BEST:: SOT 4414209 SOS 709306 HAS SOPS 709306 HAS SOUS 623489 HAS SOUPS 623489 WITH SCORE 624198.306
AT ITER 5765 NEW BEST:: SOT 4414209 SOS 709202 HAS SOPS 709202 HAS SOUS 623385 HAS SOUPS 623385 WITH SCORE 624094.202
AT ITER 5766 NEW BEST:: SOT 4414202 SOS 709188 HAS SOPS 709188 HAS SOUS 623371 HAS SOUPS 623371 WITH SCORE 624080.188
AT ITER 5792 NEW BEST:: SOT 4414345 SOS 709020 HAS SOPS 709020 HAS SOUS 623287 HAS SOUPS 623287 WITH SCORE 623996.02
AT ITER 5829 NEW BEST:: SOT 4414303 SOS 708978 HAS SOPS 708978 HAS SOUS 623245 HAS SOUPS 623245 WITH SCORE 623953.978
AT ITER 5858 NEW BEST:: SOT 4414284 SOS 708788 HAS SOPS 708788 HAS SOUS 623055 HAS SOUPS 623055 WITH SCORE 623763.788
AT ITER 5863 NEW BEST:: SOT 4414126 SOS 708472 HAS SOPS 708472 HAS SOUS 622739 HAS SOUPS 622739 WITH SCORE 623447.472
AT ITER 5864 NEW BEST:: SOT 4414029 SOS 708278 HAS SOPS 708278 HAS SOUS 622734 HAS SOUPS 622734 WITH SCORE 623442.278
AT ITER 5880 NEW BEST:: SOT 4413969 SOS 708158 HAS SOPS 708158 HAS SOUS 622674 HAS SOUPS 622674 WITH SCORE 623382.158
AT ITER 5911 NEW BEST:: SOT 4413265 SOS 707464 HAS SOPS 707464 HAS SOUS 621967 HAS SOUPS 621967 WITH SCORE 622674.464
AT ITER 5930 NEW BEST:: SOT 4413243 SOS 707420 HAS SOPS 707420 HAS SOUS 621923 HAS SOUPS 621923 WITH SCORE 622630.42
AT ITER 5963 NEW BEST:: SOT 4413021 SOS 706976 HAS SOPS 706976 HAS SOUS 621706 HAS SOUPS 621706 WITH SCORE 622412.976
AT ITER 6021 NEW BEST:: SOT 4412649 SOS 706232 HAS SOPS 706232 HAS SOUS 621245 HAS SOUPS 621245 WITH SCORE 621951.232
AT ITER 6042 NEW BEST:: SOT 4412591 SOS 706269 HAS SOPS 706269 HAS SOUS 621228 HAS SOUPS 621228 WITH SCORE 621934.269
AT ITER 6054 NEW BEST:: SOT 4412591 SOS 706157 HAS SOPS 706157 HAS SOUS 621116 HAS SOUPS 621116 WITH SCORE 621822.157
AT ITER 6064 NEW BEST:: SOT 4412496 SOS 705967 HAS SOPS 705967 HAS SOUS 621020 HAS SOUPS 621020 WITH SCORE 621725.967
AT ITER 6101 NEW BEST:: SOT 4412459 SOS 706038 HAS SOPS 706038 HAS SOUS 620983 HAS SOUPS 620983 WITH SCORE 621689.038
AT ITER 6109 NEW BEST:: SOT 4412497 SOS 706114 HAS SOPS 706114 HAS SOUS 620953 HAS SOUPS 620953 WITH SCORE 621659.114
AT ITER 6124 NEW BEST:: SOT 4412321 SOS 705938 HAS SOPS 705938 HAS SOUS 620777 HAS SOUPS 620777 WITH SCORE 621482.938
AT ITER 6136 NEW BEST:: SOT 4412157 SOS 705610 HAS SOPS 705610 HAS SOUS 620613 HAS SOUPS 620613 WITH SCORE 621318.61
AT ITER 6146 NEW BEST:: SOT 4412080 SOS 705456 HAS SOPS 705456 HAS SOUS 620459 HAS SOUPS 620459 WITH SCORE 621164.456
AT ITER 6151 NEW BEST:: SOT 4412056 SOS 705420 HAS SOPS 705420 HAS SOUS 620435 HAS SOUPS 620435 WITH SCORE 621140.42
AT ITER 6173 NEW BEST:: SOT 4412015 SOS 702285 HAS SOPS 702285 HAS SOUS 620323 HAS SOUPS 620323 WITH SCORE 621025.285
AT ITER 6191 NEW BEST:: SOT 4411978 SOS 702174 HAS SOPS 702174 HAS SOUS 620249 HAS SOUPS 620249 WITH SCORE 620951.174
AT ITER 6197 NEW BEST:: SOT 4411978 SOS 702174 HAS SOPS 702174 HAS SOUS 620102 HAS SOUPS 620102 WITH SCORE 620804.174
AT ITER 6220 NEW BEST:: SOT 4412060 SOS 701381 HAS SOPS 701381 HAS SOUS 619865 HAS SOUPS 619865 WITH SCORE 620566.381
AT ITER 6225 NEW BEST:: SOT 4411867 SOS 700995 HAS SOPS 700995 HAS SOUS 619672 HAS SOUPS 619672 WITH SCORE 620372.995
AT ITER 6226 NEW BEST:: SOT 4411838 SOS 700937 HAS SOPS 700937 HAS SOUS 619614 HAS SOUPS 619614 WITH SCORE 620314.937
AT ITER 6237 NEW BEST:: SOT 4411838 SOS 700661 HAS SOPS 700661 HAS SOUS 619613 HAS SOUPS 619613 WITH SCORE 620313.661
AT ITER 6249 NEW BEST:: SOT 4411827 SOS 700711 HAS SOPS 700711 HAS SOUS 619602 HAS SOUPS 619602 WITH SCORE 620302.711
AT ITER 6250 NEW BEST:: SOT 4411710 SOS 700477 HAS SOPS 700477 HAS SOUS 619368 HAS SOUPS 619368 WITH SCORE 620068.477
AT ITER 6259 NEW BEST:: SOT 4411653 SOS 700363 HAS SOPS 700363 HAS SOUS 619254 HAS SOUPS 619254 WITH SCORE 619954.363
AT ITER 6267 NEW BEST:: SOT 4411617 SOS 700291 HAS SOPS 700291 HAS SOUS 619182 HAS SOUPS 619182 WITH SCORE 619882.291
AT ITER 6275 NEW BEST:: SOT 4411417 SOS 699891 HAS SOPS 699891 HAS SOUS 618782 HAS SOUPS 618782 WITH SCORE 619481.891
AT ITER 6302 NEW BEST:: SOT 4411502 SOS 699700 HAS SOPS 699700 HAS SOUS 618664 HAS SOUPS 618664 WITH SCORE 619363.7
AT ITER 6388 NEW BEST:: SOT 4411501 SOS 699393 HAS SOPS 699393 HAS SOUS 618662 HAS SOUPS 618662 WITH SCORE 619361.393
AT ITER 6399 NEW BEST:: SOT 4411342 SOS 699515 HAS SOPS 699515 HAS SOUS 618564 HAS SOUPS 618564 WITH SCORE 619263.515
AT ITER 6407 NEW BEST:: SOT 4411337 SOS 699376 HAS SOPS 699376 HAS SOUS 618554 HAS SOUPS 618554 WITH SCORE 619253.376
AT ITER 6418 NEW BEST:: SOT 4411203 SOS 698974 HAS SOPS 698974 HAS SOUS 618286 HAS SOUPS 618286 WITH SCORE 618984.974
AT ITER 6426 NEW BEST:: SOT 4411203 SOS 698946 HAS SOPS 698946 HAS SOUS 618286 HAS SOUPS 618286 WITH SCORE 618984.946
AT ITER 6523 NEW BEST:: SOT 4411202 SOS 698944 HAS SOPS 698944 HAS SOUS 618285 HAS SOUPS 618285 WITH SCORE 618983.944
AT ITER 6537 NEW BEST:: SOT 4411202 SOS 698837 HAS SOPS 698837 HAS SOUS 618285 HAS SOUPS 618285 WITH SCORE 618983.837
AT ITER 6542 NEW BEST:: SOT 4411202 SOS 698535 HAS SOPS 698535 HAS SOUS 618285 HAS SOUPS 618285 WITH SCORE 618983.535
AT ITER 6554 NEW BEST:: SOT 4411200 SOS 698531 HAS SOPS 698531 HAS SOUS 618281 HAS SOUPS 618281 WITH SCORE 618979.531
AT ITER 6569 NEW BEST:: SOT 4411200 SOS 698510 HAS SOPS 698510 HAS SOUS 618260 HAS SOUPS 618260 WITH SCORE 618958.51
AT ITER 6570 NEW BEST:: SOT 4410990 SOS 698711 HAS SOPS 698711 HAS SOUS 618073 HAS SOUPS 618073 WITH SCORE 618771.711
AT ITER 6573 NEW BEST:: SOT 4410990 SOS 698525 HAS SOPS 698525 HAS SOUS 617887 HAS SOUPS 617887 WITH SCORE 618585.525
AT ITER 6575 NEW BEST:: SOT 4410937 SOS 698419 HAS SOPS 698419 HAS SOUS 617781 HAS SOUPS 617781 WITH SCORE 618479.419
AT ITER 6608 NEW BEST:: SOT 4410813 SOS 698295 HAS SOPS 698295 HAS SOUS 617657 HAS SOUPS 617657 WITH SCORE 618355.295
AT ITER 6629 NEW BEST:: SOT 4410762 SOS 698193 HAS SOPS 698193 HAS SOUS 617555 HAS SOUPS 617555 WITH SCORE 618253.193
AT ITER 6671 NEW BEST:: SOT 4410791 SOS 698251 HAS SOPS 698251 HAS SOUS 617470 HAS SOUPS 617470 WITH SCORE 618168.251
AT ITER 6674 NEW BEST:: SOT 4410617 SOS 697903 HAS SOPS 697903 HAS SOUS 617296 HAS SOUPS 617296 WITH SCORE 617993.903
AT ITER 6731 NEW BEST:: SOT 4410584 SOS 697837 HAS SOPS 697837 HAS SOUS 617230 HAS SOUPS 617230 WITH SCORE 617927.837
AT ITER 6745 NEW BEST:: SOT 4410557 SOS 697783 HAS SOPS 697783 HAS SOUS 617203 HAS SOUPS 617203 WITH SCORE 617900.783
AT ITER 6788 NEW BEST:: SOT 4410514 SOS 697697 HAS SOPS 697697 HAS SOUS 617117 HAS SOUPS 617117 WITH SCORE 617814.697
AT ITER 6793 NEW BEST:: SOT 4410514 SOS 697638 HAS SOPS 697638 HAS SOUS 617117 HAS SOUPS 617117 WITH SCORE 617814.638
AT ITER 6801 NEW BEST:: SOT 4410434 SOS 697478 HAS SOPS 697478 HAS SOUS 617022 HAS SOUPS 617022 WITH SCORE 617719.478
AT ITER 6802 NEW BEST:: SOT 4410434 SOS 697119 HAS SOPS 697119 HAS SOUS 616663 HAS SOUPS 616663 WITH SCORE 617360.119
AT ITER 6810 NEW BEST:: SOT 4410427 SOS 696946 HAS SOPS 696946 HAS SOUS 616656 HAS SOUPS 616656 WITH SCORE 617352.946
AT ITER 6820 NEW BEST:: SOT 4410167 SOS 696426 HAS SOPS 696426 HAS SOUS 616136 HAS SOUPS 616136 WITH SCORE 616832.426
AT ITER 6853 NEW BEST:: SOT 4410167 SOS 696426 HAS SOPS 696426 HAS SOUS 616111 HAS SOUPS 616111 WITH SCORE 616807.426
AT ITER 6862 NEW BEST:: SOT 4410142 SOS 696376 HAS SOPS 696376 HAS SOUS 616061 HAS SOUPS 616061 WITH SCORE 616757.376
AT ITER 6876 NEW BEST:: SOT 4410429 SOS 696631 HAS SOPS 696631 HAS SOUS 616050 HAS SOUPS 616050 WITH SCORE 616746.631
AT ITER 6890 NEW BEST:: SOT 4410307 SOS 695955 HAS SOPS 695955 HAS SOUS 615374 HAS SOUPS 615374 WITH SCORE 616069.955
AT ITER 6962 NEW BEST:: SOT 4410178 SOS 695955 HAS SOPS 695955 HAS SOUS 615259 HAS SOUPS 615259 WITH SCORE 615954.955
AT ITER 6994 NEW BEST:: SOT 4410160 SOS 695919 HAS SOPS 695919 HAS SOUS 615223 HAS SOUPS 615223 WITH SCORE 615918.919
AT ITER 7008 NEW BEST:: SOT 4409960 SOS 695752 HAS SOPS 695752 HAS SOUS 615023 HAS SOUPS 615023 WITH SCORE 615718.752
AT ITER 7048 NEW BEST:: SOT 4409960 SOS 695517 HAS SOPS 695517 HAS SOUS 614788 HAS SOUPS 614788 WITH SCORE 615483.517
AT ITER 7053 NEW BEST:: SOT 4409878 SOS 695517 HAS SOPS 695517 HAS SOUS 614722 HAS SOUPS 614722 WITH SCORE 615417.517
AT ITER 7065 NEW BEST:: SOT 4409905 SOS 695335 HAS SOPS 695335 HAS SOUS 614513 HAS SOUPS 614513 WITH SCORE 615208.335
AT ITER 7072 NEW BEST:: SOT 4409767 SOS 695059 HAS SOPS 695059 HAS SOUS 614375 HAS SOUPS 614375 WITH SCORE 615070.059
AT ITER 7085 NEW BEST:: SOT 4409684 SOS 694810 HAS SOPS 694810 HAS SOUS 614209 HAS SOUPS 614209 WITH SCORE 614903.81
AT ITER 7090 NEW BEST:: SOT 4409683 SOS 694808 HAS SOPS 694808 HAS SOUS 614207 HAS SOUPS 614207 WITH SCORE 614901.808
AT ITER 7114 NEW BEST:: SOT 4409339 SOS 694636 HAS SOPS 694636 HAS SOUS 614035 HAS SOUPS 614035 WITH SCORE 614729.636
AT ITER 7120 NEW BEST:: SOT 4409366 SOS 694556 HAS SOPS 694556 HAS SOUS 614023 HAS SOUPS 614023 WITH SCORE 614717.556
AT ITER 7131 NEW BEST:: SOT 4409330 SOS 694484 HAS SOPS 694484 HAS SOUS 613951 HAS SOUPS 613951 WITH SCORE 614645.484
AT ITER 7132 NEW BEST:: SOT 4409238 SOS 694396 HAS SOPS 694396 HAS SOUS 613811 HAS SOUPS 613811 WITH SCORE 614505.396
AT ITER 7138 NEW BEST:: SOT 4409216 SOS 694447 HAS SOPS 694447 HAS SOUS 613789 HAS SOUPS 613789 WITH SCORE 614483.447
AT ITER 7162 NEW BEST:: SOT 4409210 SOS 694435 HAS SOPS 694435 HAS SOUS 613606 HAS SOUPS 613606 WITH SCORE 614300.435
AT ITER 7176 NEW BEST:: SOT 4409027 SOS 694513 HAS SOPS 694513 HAS SOUS 613491 HAS SOUPS 613491 WITH SCORE 614185.513
AT ITER 7187 NEW BEST:: SOT 4408895 SOS 694249 HAS SOPS 694249 HAS SOUS 613227 HAS SOUPS 613227 WITH SCORE 613921.249
AT ITER 7274 NEW BEST:: SOT 4408887 SOS 694233 HAS SOPS 694233 HAS SOUS 613218 HAS SOUPS 613218 WITH SCORE 613912.233
AT ITER 7287 NEW BEST:: SOT 4408887 SOS 694038 HAS SOPS 694038 HAS SOUS 613218 HAS SOUPS 613218 WITH SCORE 613912.038
AT ITER 7295 NEW BEST:: SOT 4408825 SOS 693981 HAS SOPS 693981 HAS SOUS 613156 HAS SOUPS 613156 WITH SCORE 613849.981
AT ITER 7297 NEW BEST:: SOT 4408936 SOS 693478 HAS SOPS 693478 HAS SOUS 612775 HAS SOUPS 612775 WITH SCORE 613468.478
AT ITER 7334 NEW BEST:: SOT 4409071 SOS 693604 HAS SOPS 693604 HAS SOUS 612766 HAS SOUPS 612766 WITH SCORE 613459.604
AT ITER 7336 NEW BEST:: SOT 4409039 SOS 693572 HAS SOPS 693572 HAS SOUS 612734 HAS SOUPS 612734 WITH SCORE 613427.572
AT ITER 7359 NEW BEST:: SOT 4409010 SOS 693514 HAS SOPS 693514 HAS SOUS 612676 HAS SOUPS 612676 WITH SCORE 613369.514
AT ITER 7362 NEW BEST:: SOT 4409024 SOS 693427 HAS SOPS 693427 HAS SOUS 612494 HAS SOUPS 612494 WITH SCORE 613187.427
AT ITER 7369 NEW BEST:: SOT 4408938 SOS 693255 HAS SOPS 693255 HAS SOUS 612322 HAS SOUPS 612322 WITH SCORE 613015.255
AT ITER 7412 NEW BEST:: SOT 4408947 SOS 693031 HAS SOPS 693031 HAS SOUS 612297 HAS SOUPS 612297 WITH SCORE 612990.031
AT ITER 7415 NEW BEST:: SOT 4408826 SOS 692789 HAS SOPS 692789 HAS SOUS 612055 HAS SOUPS 612055 WITH SCORE 612747.789
AT ITER 7445 NEW BEST:: SOT 4408565 SOS 692267 HAS SOPS 692267 HAS SOUS 611533 HAS SOUPS 611533 WITH SCORE 612225.267
AT ITER 7467 NEW BEST:: SOT 4408523 SOS 692183 HAS SOPS 692183 HAS SOUS 611449 HAS SOUPS 611449 WITH SCORE 612141.183
AT ITER 7476 NEW BEST:: SOT 4408413 SOS 691963 HAS SOPS 691963 HAS SOUS 611229 HAS SOUPS 611229 WITH SCORE 611920.963
AT ITER 7515 NEW BEST:: SOT 4408390 SOS 691917 HAS SOPS 691917 HAS SOUS 611183 HAS SOUPS 611183 WITH SCORE 611874.917
AT ITER 7580 NEW BEST:: SOT 4408390 SOS 691759 HAS SOPS 691759 HAS SOUS 611025 HAS SOUPS 611025 WITH SCORE 611716.759
AT ITER 7586 NEW BEST:: SOT 4408319 SOS 691781 HAS SOPS 691781 HAS SOUS 610944 HAS SOUPS 610944 WITH SCORE 611635.781
AT ITER 7643 NEW BEST:: SOT 4408309 SOS 691761 HAS SOPS 691761 HAS SOUS 610933 HAS SOUPS 610933 WITH SCORE 611624.761
AT ITER 7654 NEW BEST:: SOT 4408134 SOS 691411 HAS SOPS 691411 HAS SOUS 610343 HAS SOUPS 610343 WITH SCORE 611034.411
AT ITER 7670 NEW BEST:: SOT 4408134 SOS 691411 HAS SOPS 691411 HAS SOUS 610331 HAS SOUPS 610331 WITH SCORE 611022.411
AT ITER 7680 NEW BEST:: SOT 4407945 SOS 691033 HAS SOPS 691033 HAS SOUS 609953 HAS SOUPS 609953 WITH SCORE 610644.033
AT ITER 7696 NEW BEST:: SOT 4407852 SOS 690847 HAS SOPS 690847 HAS SOUS 609860 HAS SOUPS 609860 WITH SCORE 610550.847
AT ITER 7704 NEW BEST:: SOT 4407817 SOS 690742 HAS SOPS 690742 HAS SOUS 609790 HAS SOUPS 609790 WITH SCORE 610480.742
AT ITER 7735 NEW BEST:: SOT 4407592 SOS 690292 HAS SOPS 690292 HAS SOUS 609565 HAS SOUPS 609565 WITH SCORE 610255.292
AT ITER 7746 NEW BEST:: SOT 4407592 SOS 690240 HAS SOPS 690240 HAS SOUS 609565 HAS SOUPS 609565 WITH SCORE 610255.24
AT ITER 7754 NEW BEST:: SOT 4407524 SOS 690104 HAS SOPS 690104 HAS SOUS 609361 HAS SOUPS 609361 WITH SCORE 610051.104
AT ITER 7764 NEW BEST:: SOT 4407297 SOS 689650 HAS SOPS 689650 HAS SOUS 608907 HAS SOUPS 608907 WITH SCORE 609596.65
AT ITER 7785 NEW BEST:: SOT 4407159 SOS 689650 HAS SOPS 689650 HAS SOUS 608894 HAS SOUPS 608894 WITH SCORE 609583.65
AT ITER 7872 NEW BEST:: SOT 4407137 SOS 689606 HAS SOPS 689606 HAS SOUS 608850 HAS SOUPS 608850 WITH SCORE 609539.606
AT ITER 7874 NEW BEST:: SOT 4407153 SOS 689638 HAS SOPS 689638 HAS SOUS 608774 HAS SOUPS 608774 WITH SCORE 609463.638
AT ITER 7877 NEW BEST:: SOT 4407132 SOS 689637 HAS SOPS 689637 HAS SOUS 608772 HAS SOUPS 608772 WITH SCORE 609461.637
AT ITER 7884 NEW BEST:: SOT 4407132 SOS 689381 HAS SOPS 689381 HAS SOUS 608772 HAS SOUPS 608772 WITH SCORE 609461.381
AT ITER 7927 NEW BEST:: SOT 4407160 SOS 689513 HAS SOPS 689513 HAS SOUS 608752 HAS SOUPS 608752 WITH SCORE 609441.513
AT ITER 7940 NEW BEST:: SOT 4407368 SOS 689598 HAS SOPS 689598 HAS SOUS 608681 HAS SOUPS 608681 WITH SCORE 609370.598
AT ITER 7952 NEW BEST:: SOT 4407324 SOS 689563 HAS SOPS 689563 HAS SOUS 608646 HAS SOUPS 608646 WITH SCORE 609335.563
AT ITER 7986 NEW BEST:: SOT 4407324 SOS 689445 HAS SOPS 689445 HAS SOUS 608646 HAS SOUPS 608646 WITH SCORE 609335.445
AT ITER 8081 NEW BEST:: SOT 4407360 SOS 689382 HAS SOPS 689382 HAS SOUS 608583 HAS SOUPS 608583 WITH SCORE 609272.382
AT ITER 8084 NEW BEST:: SOT 4407356 SOS 689338 HAS SOPS 689338 HAS SOUS 608575 HAS SOUPS 608575 WITH SCORE 609264.338
AT ITER 8102 NEW BEST:: SOT 4407322 SOS 689270 HAS SOPS 689270 HAS SOUS 608507 HAS SOUPS 608507 WITH SCORE 609196.27
AT ITER 8140 NEW BEST:: SOT 4407153 SOS 688932 HAS SOPS 688932 HAS SOUS 608169 HAS SOUPS 608169 WITH SCORE 608857.932
AT ITER 8156 NEW BEST:: SOT 4407025 SOS 688676 HAS SOPS 688676 HAS SOUS 608004 HAS SOUPS 608004 WITH SCORE 608692.676
AT ITER 8162 NEW BEST:: SOT 4407002 SOS 688630 HAS SOPS 688630 HAS SOUS 607958 HAS SOUPS 607958 WITH SCORE 608646.63
AT ITER 8201 NEW BEST:: SOT 4406719 SOS 688064 HAS SOPS 688064 HAS SOUS 607392 HAS SOUPS 607392 WITH SCORE 608080.064
AT ITER 8202 NEW BEST:: SOT 4406719 SOS 688064 HAS SOPS 688064 HAS SOUS 607345 HAS SOUPS 607345 WITH SCORE 608033.064
AT ITER 8256 NEW BEST:: SOT 4406666 SOS 687958 HAS SOPS 687958 HAS SOUS 607239 HAS SOUPS 607239 WITH SCORE 607926.958
AT ITER 8276 NEW BEST:: SOT 4406719 SOS 688188 HAS SOPS 688188 HAS SOUS 607221 HAS SOUPS 607221 WITH SCORE 607909.188
AT ITER 8308 NEW BEST:: SOT 4406737 SOS 688224 HAS SOPS 688224 HAS SOUS 607148 HAS SOUPS 607148 WITH SCORE 607836.224
AT ITER 8319 NEW BEST:: SOT 4406807 SOS 688364 HAS SOPS 688364 HAS SOUS 607092 HAS SOUPS 607092 WITH SCORE 607780.364
AT ITER 8351 NEW BEST:: SOT 4406871 SOS 688492 HAS SOPS 688492 HAS SOUS 607088 HAS SOUPS 607088 WITH SCORE 607776.492
AT ITER 8352 NEW BEST:: SOT 4406951 SOS 688351 HAS SOPS 688351 HAS SOUS 606947 HAS SOUPS 606947 WITH SCORE 607635.351
AT ITER 8376 NEW BEST:: SOT 4406959 SOS 688367 HAS SOPS 688367 HAS SOUS 606523 HAS SOUPS 606523 WITH SCORE 607211.367
AT ITER 8384 NEW BEST:: SOT 4406958 SOS 688366 HAS SOPS 688366 HAS SOUS 606521 HAS SOUPS 606521 WITH SCORE 607209.366
AT ITER 8395 NEW BEST:: SOT 4406967 SOS 688187 HAS SOPS 688187 HAS SOUS 606342 HAS SOUPS 606342 WITH SCORE 607030.187
AT ITER 8397 NEW BEST:: SOT 4406957 SOS 688172 HAS SOPS 688172 HAS SOUS 606327 HAS SOUPS 606327 WITH SCORE 607015.172
AT ITER 8398 NEW BEST:: SOT 4406914 SOS 688086 HAS SOPS 688086 HAS SOUS 606284 HAS SOUPS 606284 WITH SCORE 606972.086
AT ITER 8411 NEW BEST:: SOT 4406781 SOS 688052 HAS SOPS 688052 HAS SOUS 606218 HAS SOUPS 606218 WITH SCORE 606906.052
AT ITER 8486 NEW BEST:: SOT 4406759 SOS 688030 HAS SOPS 688030 HAS SOUS 606196 HAS SOUPS 606196 WITH SCORE 606884.03
AT ITER 8488 NEW BEST:: SOT 4406554 SOS 687620 HAS SOPS 687620 HAS SOUS 605786 HAS SOUPS 605786 WITH SCORE 606473.62
AT ITER 8502 NEW BEST:: SOT 4406451 SOS 688750 HAS SOPS 688750 HAS SOUS 605783 HAS SOUPS 605783 WITH SCORE 606471.75
AT ITER 8523 NEW BEST:: SOT 4406745 SOS 688932 HAS SOPS 688932 HAS SOUS 605693 HAS SOUPS 605693 WITH SCORE 606381.932
AT ITER 8576 NEW BEST:: SOT 4406738 SOS 688918 HAS SOPS 688918 HAS SOUS 605686 HAS SOUPS 605686 WITH SCORE 606374.918
AT ITER 8595 NEW BEST:: SOT 4406719 SOS 688880 HAS SOPS 688880 HAS SOUS 605667 HAS SOUPS 605667 WITH SCORE 606355.88
AT ITER 8733 NEW BEST:: SOT 4406689 SOS 688820 HAS SOPS 688820 HAS SOUS 605650 HAS SOUPS 605650 WITH SCORE 606338.82
AT ITER 8760 NEW BEST:: SOT 4406669 SOS 688808 HAS SOPS 688808 HAS SOUS 605646 HAS SOUPS 605646 WITH SCORE 606334.808
AT ITER 8777 NEW BEST:: SOT 4406566 SOS 688705 HAS SOPS 688705 HAS SOUS 605543 HAS SOUPS 605543 WITH SCORE 606231.705
AT ITER 8793 NEW BEST:: SOT 4406678 SOS 688557 HAS SOPS 688557 HAS SOUS 605469 HAS SOUPS 605469 WITH SCORE 606157.557
AT ITER 8838 NEW BEST:: SOT 4406653 SOS 688186 HAS SOPS 688186 HAS SOUS 605136 HAS SOUPS 605136 WITH SCORE 605824.186
AT ITER 8904 NEW BEST:: SOT 4406563 SOS 688006 HAS SOPS 688006 HAS SOUS 605128 HAS SOUPS 605128 WITH SCORE 605816.006
AT ITER 8918 NEW BEST:: SOT 4406322 SOS 687524 HAS SOPS 687524 HAS SOUS 604646 HAS SOUPS 604646 WITH SCORE 605333.524
AT ITER 8965 NEW BEST:: SOT 4406236 SOS 687352 HAS SOPS 687352 HAS SOUS 604605 HAS SOUPS 604605 WITH SCORE 605292.352
AT ITER 8972 NEW BEST:: SOT 4406215 SOS 687310 HAS SOPS 687310 HAS SOUS 604584 HAS SOUPS 604584 WITH SCORE 605271.31
AT ITER 9018 NEW BEST:: SOT 4406043 SOS 687210 HAS SOPS 687210 HAS SOUS 604450 HAS SOUPS 604450 WITH SCORE 605137.21
AT ITER 9026 NEW BEST:: SOT 4405984 SOS 687033 HAS SOPS 687033 HAS SOUS 604332 HAS SOUPS 604332 WITH SCORE 605019.033
AT ITER 9029 NEW BEST:: SOT 4405984 SOS 687018 HAS SOPS 687018 HAS SOUS 604332 HAS SOUPS 604332 WITH SCORE 605019.018
AT ITER 9039 NEW BEST:: SOT 4405973 SOS 686996 HAS SOPS 686996 HAS SOUS 604318 HAS SOUPS 604318 WITH SCORE 605004.996
AT ITER 9040 NEW BEST:: SOT 4405850 SOS 686993 HAS SOPS 686993 HAS SOUS 604195 HAS SOUPS 604195 WITH SCORE 604881.993
AT ITER 9045 NEW BEST:: SOT 4405819 SOS 686931 HAS SOPS 686931 HAS SOUS 604133 HAS SOUPS 604133 WITH SCORE 604819.931
AT ITER 9052 NEW BEST:: SOT 4405812 SOS 686917 HAS SOPS 686917 HAS SOUS 604120 HAS SOUPS 604120 WITH SCORE 604806.917
AT ITER 9072 NEW BEST:: SOT 4405812 SOS 686816 HAS SOPS 686816 HAS SOUS 604019 HAS SOUPS 604019 WITH SCORE 604705.816
AT ITER 9085 NEW BEST:: SOT 4405708 SOS 686608 HAS SOPS 686608 HAS SOUS 603901 HAS SOUPS 603901 WITH SCORE 604587.608
AT ITER 9097 NEW BEST:: SOT 4405469 SOS 686130 HAS SOPS 686130 HAS SOUS 603629 HAS SOUPS 603629 WITH SCORE 604315.13
AT ITER 9119 NEW BEST:: SOT 4405198 SOS 685588 HAS SOPS 685588 HAS SOUS 603087 HAS SOUPS 603087 WITH SCORE 603772.588
AT ITER 9132 NEW BEST:: SOT 4404950 SOS 685092 HAS SOPS 685092 HAS SOUS 602591 HAS SOUPS 602591 WITH SCORE 603276.092
AT ITER 9142 NEW BEST:: SOT 4404923 SOS 685038 HAS SOPS 685038 HAS SOUS 602537 HAS SOUPS 602537 WITH SCORE 603222.038
AT ITER 9151 NEW BEST:: SOT 4404683 SOS 684558 HAS SOPS 684558 HAS SOUS 602329 HAS SOUPS 602329 WITH SCORE 603013.558
AT ITER 9164 NEW BEST:: SOT 4404551 SOS 684294 HAS SOPS 684294 HAS SOUS 602075 HAS SOUPS 602075 WITH SCORE 602759.294
AT ITER 9201 NEW BEST:: SOT 4404338 SOS 683868 HAS SOPS 683868 HAS SOUS 601316 HAS SOUPS 601316 WITH SCORE 601999.868
AT ITER 9210 NEW BEST:: SOT 4404265 SOS 683722 HAS SOPS 683722 HAS SOUS 601170 HAS SOUPS 601170 WITH SCORE 601853.722
AT ITER 9218 NEW BEST:: SOT 4404265 SOS 683466 HAS SOPS 683466 HAS SOUS 600914 HAS SOUPS 600914 WITH SCORE 601597.466
AT ITER 9239 NEW BEST:: SOT 4404265 SOS 683411 HAS SOPS 683411 HAS SOUS 600859 HAS SOUPS 600859 WITH SCORE 601542.411
AT ITER 9247 NEW BEST:: SOT 4404252 SOS 683385 HAS SOPS 683385 HAS SOUS 600846 HAS SOUPS 600846 WITH SCORE 601529.385
AT ITER 9251 NEW BEST:: SOT 4404106 SOS 683093 HAS SOPS 683093 HAS SOUS 600554 HAS SOUPS 600554 WITH SCORE 601237.093
AT ITER 9289 NEW BEST:: SOT 4403948 SOS 682777 HAS SOPS 682777 HAS SOUS 600396 HAS SOUPS 600396 WITH SCORE 601078.777
AT ITER 9316 NEW BEST:: SOT 4403894 SOS 682669 HAS SOPS 682669 HAS SOUS 600288 HAS SOUPS 600288 WITH SCORE 600970.669
AT ITER 9332 NEW BEST:: SOT 4403670 SOS 682390 HAS SOPS 682390 HAS SOUS 600009 HAS SOUPS 600009 WITH SCORE 600691.39
AT ITER 9353 NEW BEST:: SOT 4403670 SOS 682347 HAS SOPS 682347 HAS SOUS 599966 HAS SOUPS 599966 WITH SCORE 600648.347
AT ITER 9355 NEW BEST:: SOT 4403573 SOS 682455 HAS SOPS 682455 HAS SOUS 599899 HAS SOUPS 599899 WITH SCORE 600581.455
AT ITER 9384 NEW BEST:: SOT 4403573 SOS 682449 HAS SOPS 682449 HAS SOUS 599893 HAS SOUPS 599893 WITH SCORE 600575.449
AT ITER 9428 NEW BEST:: SOT 4403544 SOS 682391 HAS SOPS 682391 HAS SOUS 599835 HAS SOUPS 599835 WITH SCORE 600517.391
AT ITER 9437 NEW BEST:: SOT 4403408 SOS 682119 HAS SOPS 682119 HAS SOUS 599710 HAS SOUPS 599710 WITH SCORE 600392.119
AT ITER 9460 NEW BEST:: SOT 4403374 SOS 682051 HAS SOPS 682051 HAS SOUS 599676 HAS SOUPS 599676 WITH SCORE 600358.051
AT ITER 9496 NEW BEST:: SOT 4403397 SOS 681840 HAS SOPS 681840 HAS SOUS 599465 HAS SOUPS 599465 WITH SCORE 600146.84
AT ITER 9501 NEW BEST:: SOT 4403365 SOS 681776 HAS SOPS 681776 HAS SOUS 599401 HAS SOUPS 599401 WITH SCORE 600082.776
AT ITER 9515 NEW BEST:: SOT 4403215 SOS 681476 HAS SOPS 681476 HAS SOUS 599087 HAS SOUPS 599087 WITH SCORE 599768.476
AT ITER 9525 NEW BEST:: SOT 4403141 SOS 681328 HAS SOPS 681328 HAS SOUS 598939 HAS SOUPS 598939 WITH SCORE 599620.328
AT ITER 9527 NEW BEST:: SOT 4403135 SOS 681316 HAS SOPS 681316 HAS SOUS 598927 HAS SOUPS 598927 WITH SCORE 599608.316
AT ITER 9533 NEW BEST:: SOT 4403096 SOS 681238 HAS SOPS 681238 HAS SOUS 598888 HAS SOUPS 598888 WITH SCORE 599569.238
AT ITER 9568 NEW BEST:: SOT 4402928 SOS 680902 HAS SOPS 680902 HAS SOUS 598552 HAS SOUPS 598552 WITH SCORE 599232.902
AT ITER 9577 NEW BEST:: SOT 4402867 SOS 680780 HAS SOPS 680780 HAS SOUS 598405 HAS SOUPS 598405 WITH SCORE 599085.78
AT ITER 9581 NEW BEST:: SOT 4402593 SOS 680646 HAS SOPS 680646 HAS SOUS 598193 HAS SOUPS 598193 WITH SCORE 598873.646
AT ITER 9591 NEW BEST:: SOT 4402446 SOS 680352 HAS SOPS 680352 HAS SOUS 598023 HAS SOUPS 598023 WITH SCORE 598703.352
AT ITER 9615 NEW BEST:: SOT 4402323 SOS 680229 HAS SOPS 680229 HAS SOUS 597900 HAS SOUPS 597900 WITH SCORE 598580.229
AT ITER 9680 NEW BEST:: SOT 4402322 SOS 680227 HAS SOPS 680227 HAS SOUS 597898 HAS SOUPS 597898 WITH SCORE 598578.227
AT ITER 9705 NEW BEST:: SOT 4402248 SOS 680079 HAS SOPS 680079 HAS SOUS 597725 HAS SOUPS 597725 WITH SCORE 598405.079
AT ITER 9711 NEW BEST:: SOT 4402248 SOS 679335 HAS SOPS 679335 HAS SOUS 597477 HAS SOUPS 597477 WITH SCORE 598156.335
AT ITER 9730 NEW BEST:: SOT 4401883 SOS 678901 HAS SOPS 678901 HAS SOUS 597043 HAS SOUPS 597043 WITH SCORE 597721.901
AT ITER 9759 NEW BEST:: SOT 4401846 SOS 678827 HAS SOPS 678827 HAS SOUS 596969 HAS SOUPS 596969 WITH SCORE 597647.827
AT ITER 9809 NEW BEST:: SOT 4401801 SOS 678737 HAS SOPS 678737 HAS SOUS 596968 HAS SOUPS 596968 WITH SCORE 597646.737
AT ITER 9811 NEW BEST:: SOT 4401796 SOS 678732 HAS SOPS 678732 HAS SOUS 596963 HAS SOUPS 596963 WITH SCORE 597641.732
AT ITER 9834 NEW BEST:: SOT 4401362 SOS 678429 HAS SOPS 678429 HAS SOUS 596642 HAS SOUPS 596642 WITH SCORE 597320.429
AT ITER 9835 NEW BEST:: SOT 4401192 SOS 678089 HAS SOPS 678089 HAS SOUS 596302 HAS SOUPS 596302 WITH SCORE 596980.089
AT ITER 9839 NEW BEST:: SOT 4401192 SOS 678089 HAS SOPS 678089 HAS SOUS 596279 HAS SOUPS 596279 WITH SCORE 596957.089
AT ITER 9865 NEW BEST:: SOT 4401168 SOS 678041 HAS SOPS 678041 HAS SOUS 596253 HAS SOUPS 596253 WITH SCORE 596931.041
AT ITER 9890 NEW BEST:: SOT 4401108 SOS 677921 HAS SOPS 677921 HAS SOUS 596133 HAS SOUPS 596133 WITH SCORE 596810.921
AT ITER 9920 NEW BEST:: SOT 4401044 SOS 677793 HAS SOPS 677793 HAS SOUS 596069 HAS SOUPS 596069 WITH SCORE 596746.793
AT ITER 9929 NEW BEST:: SOT 4400986 SOS 677951 HAS SOPS 677951 HAS SOUS 596011 HAS SOUPS 596011 WITH SCORE 596688.951
AT ITER 9951 NEW BEST:: SOT 4400986 SOS 677951 HAS SOPS 677951 HAS SOUS 596010 HAS SOUPS 596010 WITH SCORE 596687.951
AT ITER 9952 NEW BEST:: SOT 4400983 SOS 677945 HAS SOPS 677945 HAS SOUS 596004 HAS SOUPS 596004 WITH SCORE 596681.945
AT ITER 9992 NEW BEST:: SOT 4400959 SOS 677897 HAS SOPS 677897 HAS SOUS 595980 HAS SOUPS 595980 WITH SCORE 596657.897
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 12717568 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16125092 kB

BK_TIME_CONFINEMENT_REACHED

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

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is CloudReconfiguration-PT-318, 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-167814483800144"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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