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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 8.5K Feb 25 11:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 94K Feb 25 11:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.6K Feb 25 11:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 37K Feb 25 11:49 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 15:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 15:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 11:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 113K Feb 25 11:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.5K Feb 25 11:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 81K Feb 25 11:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:47 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:47 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 660K 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 1678317911362

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-306
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-08 23:25:13] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-08 23:25:13] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-08 23:25:13] [INFO ] Load time of PNML (sax parser for PT used): 135 ms
[2023-03-08 23:25:13] [INFO ] Transformed 2584 places.
[2023-03-08 23:25:13] [INFO ] Transformed 3094 transitions.
[2023-03-08 23:25:13] [INFO ] Found NUPN structural information;
[2023-03-08 23:25:13] [INFO ] Parsed PT model containing 2584 places and 3094 transitions and 6459 arcs in 212 ms.
[2023-03-08 23:25:13] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 2584 places, 3094 transitions and 6459 arcs took 28 ms.
Total runtime 269 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 306
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: 2584 places, 3094 transitions, 6459 arcs.
AT ITER 0 NEW BEST:: SOT 4445695 SOS 744489 HAS SOPS 744489 HAS SOUS 686820 HAS SOUPS 686820 WITH SCORE 687564.489
AT ITER 21 NEW BEST:: SOT 4445649 SOS 744397 HAS SOPS 744397 HAS SOUS 686728 HAS SOUPS 686728 WITH SCORE 687472.397
AT ITER 28 NEW BEST:: SOT 4445647 SOS 744393 HAS SOPS 744393 HAS SOUS 686724 HAS SOUPS 686724 WITH SCORE 687468.393
AT ITER 39 NEW BEST:: SOT 4445647 SOS 744297 HAS SOPS 744297 HAS SOUS 686676 HAS SOUPS 686676 WITH SCORE 687420.297
AT ITER 51 NEW BEST:: SOT 4445429 SOS 744079 HAS SOPS 744079 HAS SOUS 686458 HAS SOUPS 686458 WITH SCORE 687202.079
AT ITER 59 NEW BEST:: SOT 4445342 SOS 744113 HAS SOPS 744113 HAS SOUS 686432 HAS SOUPS 686432 WITH SCORE 687176.113
AT ITER 70 NEW BEST:: SOT 4445314 SOS 743834 HAS SOPS 743834 HAS SOUS 686162 HAS SOUPS 686162 WITH SCORE 686905.834
AT ITER 72 NEW BEST:: SOT 4445314 SOS 743834 HAS SOPS 743834 HAS SOUS 685945 HAS SOUPS 685945 WITH SCORE 686688.834
AT ITER 88 NEW BEST:: SOT 4445314 SOS 743559 HAS SOPS 743559 HAS SOUS 685945 HAS SOUPS 685945 WITH SCORE 686688.559
AT ITER 153 NEW BEST:: SOT 4445313 SOS 743557 HAS SOPS 743557 HAS SOUS 685943 HAS SOUPS 685943 WITH SCORE 686686.557
AT ITER 161 NEW BEST:: SOT 4445255 SOS 743529 HAS SOPS 743529 HAS SOUS 685915 HAS SOUPS 685915 WITH SCORE 686658.529
AT ITER 194 NEW BEST:: SOT 4445255 SOS 743407 HAS SOPS 743407 HAS SOUS 685915 HAS SOUPS 685915 WITH SCORE 686658.407
AT ITER 195 NEW BEST:: SOT 4445495 SOS 743887 HAS SOPS 743887 HAS SOUS 685800 HAS SOUPS 685800 WITH SCORE 686543.887
AT ITER 226 NEW BEST:: SOT 4445233 SOS 743873 HAS SOPS 743873 HAS SOUS 685641 HAS SOUPS 685641 WITH SCORE 686384.873
AT ITER 229 NEW BEST:: SOT 4445001 SOS 743409 HAS SOPS 743409 HAS SOUS 685177 HAS SOUPS 685177 WITH SCORE 685920.409
AT ITER 251 NEW BEST:: SOT 4445001 SOS 743333 HAS SOPS 743333 HAS SOUS 685101 HAS SOUPS 685101 WITH SCORE 685844.333
AT ITER 267 NEW BEST:: SOT 4444967 SOS 743265 HAS SOPS 743265 HAS SOUS 685033 HAS SOUPS 685033 WITH SCORE 685776.265
AT ITER 275 NEW BEST:: SOT 4444840 SOS 743138 HAS SOPS 743138 HAS SOUS 684906 HAS SOUPS 684906 WITH SCORE 685649.138
AT ITER 282 NEW BEST:: SOT 4444638 SOS 742734 HAS SOPS 742734 HAS SOUS 684502 HAS SOUPS 684502 WITH SCORE 685244.734
AT ITER 295 NEW BEST:: SOT 4444595 SOS 742605 HAS SOPS 742605 HAS SOUS 684416 HAS SOUPS 684416 WITH SCORE 685158.605
AT ITER 310 NEW BEST:: SOT 4444239 SOS 742249 HAS SOPS 742249 HAS SOUS 684060 HAS SOUPS 684060 WITH SCORE 684802.249
AT ITER 323 NEW BEST:: SOT 4444130 SOS 742031 HAS SOPS 742031 HAS SOUS 683842 HAS SOUPS 683842 WITH SCORE 684584.031
AT ITER 349 NEW BEST:: SOT 4443939 SOS 741649 HAS SOPS 741649 HAS SOUS 683460 HAS SOUPS 683460 WITH SCORE 684201.649
AT ITER 359 NEW BEST:: SOT 4443939 SOS 741598 HAS SOPS 741598 HAS SOUS 683460 HAS SOUPS 683460 WITH SCORE 684201.598
AT ITER 387 NEW BEST:: SOT 4444098 SOS 741916 HAS SOPS 741916 HAS SOUS 683215 HAS SOUPS 683215 WITH SCORE 683956.916
AT ITER 389 NEW BEST:: SOT 4444068 SOS 741856 HAS SOPS 741856 HAS SOUS 683086 HAS SOUPS 683086 WITH SCORE 683827.856
AT ITER 393 NEW BEST:: SOT 4438501 SOS 766422 HAS SOPS 766422 HAS SOUS 678864 HAS SOUPS 678864 WITH SCORE 679630.422
AT ITER 418 NEW BEST:: SOT 4438340 SOS 766745 HAS SOPS 766745 HAS SOUS 678788 HAS SOUPS 678788 WITH SCORE 679554.745
AT ITER 424 NEW BEST:: SOT 4438238 SOS 766541 HAS SOPS 766541 HAS SOUS 678584 HAS SOUPS 678584 WITH SCORE 679350.541
AT ITER 444 NEW BEST:: SOT 4438113 SOS 766722 HAS SOPS 766722 HAS SOUS 678582 HAS SOUPS 678582 WITH SCORE 679348.722
AT ITER 455 NEW BEST:: SOT 4438079 SOS 766505 HAS SOPS 766505 HAS SOUS 678399 HAS SOUPS 678399 WITH SCORE 679165.505
AT ITER 488 NEW BEST:: SOT 4438001 SOS 766453 HAS SOPS 766453 HAS SOUS 678347 HAS SOUPS 678347 WITH SCORE 679113.453
AT ITER 489 NEW BEST:: SOT 4437743 SOS 765937 HAS SOPS 765937 HAS SOUS 678076 HAS SOUPS 678076 WITH SCORE 678841.937
AT ITER 494 NEW BEST:: SOT 4437494 SOS 765853 HAS SOPS 765853 HAS SOUS 677885 HAS SOUPS 677885 WITH SCORE 678650.853
AT ITER 554 NEW BEST:: SOT 4437324 SOS 765279 HAS SOPS 765279 HAS SOUS 677545 HAS SOUPS 677545 WITH SCORE 678310.279
AT ITER 566 NEW BEST:: SOT 4437324 SOS 765256 HAS SOPS 765256 HAS SOUS 677522 HAS SOUPS 677522 WITH SCORE 678287.256
AT ITER 575 NEW BEST:: SOT 4437626 SOS 765023 HAS SOPS 765023 HAS SOUS 677374 HAS SOUPS 677374 WITH SCORE 678139.023
AT ITER 614 NEW BEST:: SOT 4437467 SOS 764705 HAS SOPS 764705 HAS SOUS 677056 HAS SOUPS 677056 WITH SCORE 677820.705
AT ITER 616 NEW BEST:: SOT 4437467 SOS 764680 HAS SOPS 764680 HAS SOUS 677056 HAS SOUPS 677056 WITH SCORE 677820.68
AT ITER 641 NEW BEST:: SOT 4437276 SOS 764646 HAS SOPS 764646 HAS SOUS 676567 HAS SOUPS 676567 WITH SCORE 677331.646
AT ITER 666 NEW BEST:: SOT 4437188 SOS 764470 HAS SOPS 764470 HAS SOUS 676391 HAS SOUPS 676391 WITH SCORE 677155.47
AT ITER 708 NEW BEST:: SOT 4437080 SOS 764389 HAS SOPS 764389 HAS SOUS 676283 HAS SOUPS 676283 WITH SCORE 677047.389
AT ITER 714 NEW BEST:: SOT 4437080 SOS 764389 HAS SOPS 764389 HAS SOUS 676281 HAS SOUPS 676281 WITH SCORE 677045.389
AT ITER 727 NEW BEST:: SOT 4436934 SOS 764403 HAS SOPS 764403 HAS SOUS 676142 HAS SOUPS 676142 WITH SCORE 676906.403
AT ITER 734 NEW BEST:: SOT 4436934 SOS 764394 HAS SOPS 764394 HAS SOUS 676142 HAS SOUPS 676142 WITH SCORE 676906.394
AT ITER 740 NEW BEST:: SOT 4436716 SOS 763958 HAS SOPS 763958 HAS SOUS 675706 HAS SOUPS 675706 WITH SCORE 676469.958
AT ITER 743 NEW BEST:: SOT 4436671 SOS 763868 HAS SOPS 763868 HAS SOUS 675610 HAS SOUPS 675610 WITH SCORE 676373.868
AT ITER 746 NEW BEST:: SOT 4436790 SOS 763689 HAS SOPS 763689 HAS SOUS 675590 HAS SOUPS 675590 WITH SCORE 676353.689
AT ITER 753 NEW BEST:: SOT 4436847 SOS 763488 HAS SOPS 763488 HAS SOUS 675398 HAS SOUPS 675398 WITH SCORE 676161.488
AT ITER 754 NEW BEST:: SOT 4433451 SOS 760091 HAS SOPS 760091 HAS SOUS 672311 HAS SOUPS 672311 WITH SCORE 673071.091
AT ITER 788 NEW BEST:: SOT 4433191 SOS 759831 HAS SOPS 759831 HAS SOUS 672051 HAS SOUPS 672051 WITH SCORE 672810.831
AT ITER 791 NEW BEST:: SOT 4433191 SOS 759831 HAS SOPS 759831 HAS SOUS 671900 HAS SOUPS 671900 WITH SCORE 672659.831
AT ITER 792 NEW BEST:: SOT 4433212 SOS 759812 HAS SOPS 759812 HAS SOUS 671881 HAS SOUPS 671881 WITH SCORE 672640.812
AT ITER 799 NEW BEST:: SOT 4433211 SOS 759811 HAS SOPS 759811 HAS SOUS 671879 HAS SOUPS 671879 WITH SCORE 672638.811
AT ITER 804 NEW BEST:: SOT 4433210 SOS 759809 HAS SOPS 759809 HAS SOUS 671877 HAS SOUPS 671877 WITH SCORE 672636.809
AT ITER 805 NEW BEST:: SOT 4433191 SOS 759771 HAS SOPS 759771 HAS SOUS 671839 HAS SOUPS 671839 WITH SCORE 672598.771
AT ITER 837 NEW BEST:: SOT 4433050 SOS 759630 HAS SOPS 759630 HAS SOUS 671698 HAS SOUPS 671698 WITH SCORE 672457.63
AT ITER 839 NEW BEST:: SOT 4433161 SOS 759015 HAS SOPS 759015 HAS SOUS 671222 HAS SOUPS 671222 WITH SCORE 671981.015
AT ITER 884 NEW BEST:: SOT 4433018 SOS 758374 HAS SOPS 758374 HAS SOUS 670771 HAS SOUPS 670771 WITH SCORE 671529.374
AT ITER 885 NEW BEST:: SOT 4433013 SOS 758051 HAS SOPS 758051 HAS SOUS 670456 HAS SOUPS 670456 WITH SCORE 671214.051
AT ITER 895 NEW BEST:: SOT 4432927 SOS 758021 HAS SOPS 758021 HAS SOUS 670426 HAS SOUPS 670426 WITH SCORE 671184.021
AT ITER 955 NEW BEST:: SOT 4433040 SOS 758247 HAS SOPS 758247 HAS SOUS 670291 HAS SOUPS 670291 WITH SCORE 671049.247
AT ITER 960 NEW BEST:: SOT 4433031 SOS 757862 HAS SOPS 757862 HAS SOUS 669946 HAS SOUPS 669946 WITH SCORE 670703.862
AT ITER 961 NEW BEST:: SOT 4432996 SOS 757792 HAS SOPS 757792 HAS SOUS 669876 HAS SOUPS 669876 WITH SCORE 670633.792
AT ITER 963 NEW BEST:: SOT 4432995 SOS 757790 HAS SOPS 757790 HAS SOUS 669874 HAS SOUPS 669874 WITH SCORE 670631.79
AT ITER 969 NEW BEST:: SOT 4432929 SOS 757658 HAS SOPS 757658 HAS SOUS 669742 HAS SOUPS 669742 WITH SCORE 670499.658
AT ITER 979 NEW BEST:: SOT 4432929 SOS 757658 HAS SOPS 757658 HAS SOUS 669674 HAS SOUPS 669674 WITH SCORE 670431.658
AT ITER 983 NEW BEST:: SOT 4432854 SOS 757508 HAS SOPS 757508 HAS SOUS 669524 HAS SOUPS 669524 WITH SCORE 670281.508
AT ITER 1000 NEW BEST:: SOT 4432611 SOS 743611 HAS SOPS 743611 HAS SOUS 669168 HAS SOUPS 669168 WITH SCORE 669911.611
AT ITER 1007 NEW BEST:: SOT 4432611 SOS 743503 HAS SOPS 743503 HAS SOUS 669168 HAS SOUPS 669168 WITH SCORE 669911.503
AT ITER 1010 NEW BEST:: SOT 4432804 SOS 743518 HAS SOPS 743518 HAS SOUS 669167 HAS SOUPS 669167 WITH SCORE 669910.518
AT ITER 1041 NEW BEST:: SOT 4432783 SOS 743476 HAS SOPS 743476 HAS SOUS 669125 HAS SOUPS 669125 WITH SCORE 669868.476
AT ITER 1057 NEW BEST:: SOT 4432783 SOS 743425 HAS SOPS 743425 HAS SOUS 669125 HAS SOUPS 669125 WITH SCORE 669868.425
AT ITER 1058 NEW BEST:: SOT 4432782 SOS 743423 HAS SOPS 743423 HAS SOUS 669123 HAS SOUPS 669123 WITH SCORE 669866.423
AT ITER 1066 NEW BEST:: SOT 4431606 SOS 742905 HAS SOPS 742905 HAS SOUS 668084 HAS SOUPS 668084 WITH SCORE 668826.905
AT ITER 1091 NEW BEST:: SOT 4431240 SOS 742173 HAS SOPS 742173 HAS SOUS 667472 HAS SOUPS 667472 WITH SCORE 668214.173
AT ITER 1092 NEW BEST:: SOT 4431147 SOS 742082 HAS SOPS 742082 HAS SOUS 667379 HAS SOUPS 667379 WITH SCORE 668121.082
AT ITER 1127 NEW BEST:: SOT 4430929 SOS 741646 HAS SOPS 741646 HAS SOUS 666943 HAS SOUPS 666943 WITH SCORE 667684.646
AT ITER 1134 NEW BEST:: SOT 4429788 SOS 740650 HAS SOPS 740650 HAS SOUS 666061 HAS SOUPS 666061 WITH SCORE 666801.65
AT ITER 1144 NEW BEST:: SOT 4429635 SOS 740650 HAS SOPS 740650 HAS SOUS 665908 HAS SOUPS 665908 WITH SCORE 666648.65
AT ITER 1176 NEW BEST:: SOT 4427790 SOS 756157 HAS SOPS 756157 HAS SOUS 664968 HAS SOUPS 664968 WITH SCORE 665724.157
AT ITER 1190 NEW BEST:: SOT 4427637 SOS 756063 HAS SOPS 756063 HAS SOUS 664739 HAS SOUPS 664739 WITH SCORE 665495.063
AT ITER 1224 NEW BEST:: SOT 4427511 SOS 755937 HAS SOPS 755937 HAS SOUS 664613 HAS SOUPS 664613 WITH SCORE 665368.937
AT ITER 1228 NEW BEST:: SOT 4427385 SOS 755685 HAS SOPS 755685 HAS SOUS 664361 HAS SOUPS 664361 WITH SCORE 665116.685
AT ITER 1229 NEW BEST:: SOT 4427385 SOS 755685 HAS SOPS 755685 HAS SOUS 664354 HAS SOUPS 664354 WITH SCORE 665109.685
AT ITER 1231 NEW BEST:: SOT 4426968 SOS 755218 HAS SOPS 755218 HAS SOUS 664267 HAS SOUPS 664267 WITH SCORE 665022.218
AT ITER 1236 NEW BEST:: SOT 4426884 SOS 755050 HAS SOPS 755050 HAS SOUS 664183 HAS SOUPS 664183 WITH SCORE 664938.05
AT ITER 1259 NEW BEST:: SOT 4426868 SOS 755018 HAS SOPS 755018 HAS SOUS 664151 HAS SOUPS 664151 WITH SCORE 664906.018
AT ITER 1275 NEW BEST:: SOT 4426331 SOS 754301 HAS SOPS 754301 HAS SOUS 663257 HAS SOUPS 663257 WITH SCORE 664011.301
AT ITER 1304 NEW BEST:: SOT 4426367 SOS 754268 HAS SOPS 754268 HAS SOUS 663188 HAS SOUPS 663188 WITH SCORE 663942.268
AT ITER 1310 NEW BEST:: SOT 4426206 SOS 753946 HAS SOPS 753946 HAS SOUS 663027 HAS SOUPS 663027 WITH SCORE 663780.946
AT ITER 1313 NEW BEST:: SOT 4426167 SOS 753958 HAS SOPS 753958 HAS SOUS 662988 HAS SOUPS 662988 WITH SCORE 663741.958
AT ITER 1333 NEW BEST:: SOT 4426167 SOS 753856 HAS SOPS 753856 HAS SOUS 662988 HAS SOUPS 662988 WITH SCORE 663741.856
AT ITER 1334 NEW BEST:: SOT 4425429 SOS 754214 HAS SOPS 754214 HAS SOUS 662717 HAS SOUPS 662717 WITH SCORE 663471.214
AT ITER 1342 NEW BEST:: SOT 4425111 SOS 754226 HAS SOPS 754226 HAS SOUS 662403 HAS SOUPS 662403 WITH SCORE 663157.226
AT ITER 1356 NEW BEST:: SOT 4425111 SOS 754077 HAS SOPS 754077 HAS SOUS 662403 HAS SOUPS 662403 WITH SCORE 663157.077
AT ITER 1359 NEW BEST:: SOT 4424783 SOS 753873 HAS SOPS 753873 HAS SOUS 662199 HAS SOUPS 662199 WITH SCORE 662952.873
AT ITER 1367 NEW BEST:: SOT 4424783 SOS 753859 HAS SOPS 753859 HAS SOUS 662185 HAS SOUPS 662185 WITH SCORE 662938.859
AT ITER 1373 NEW BEST:: SOT 4424720 SOS 753895 HAS SOPS 753895 HAS SOUS 662132 HAS SOUPS 662132 WITH SCORE 662885.895
AT ITER 1374 NEW BEST:: SOT 4424720 SOS 753895 HAS SOPS 753895 HAS SOUS 662104 HAS SOUPS 662104 WITH SCORE 662857.895
AT ITER 1384 NEW BEST:: SOT 4424768 SOS 753991 HAS SOPS 753991 HAS SOUS 661862 HAS SOUPS 661862 WITH SCORE 662615.991
AT ITER 1405 NEW BEST:: SOT 4424768 SOS 753991 HAS SOPS 753991 HAS SOUS 661620 HAS SOUPS 661620 WITH SCORE 662373.991
AT ITER 1427 NEW BEST:: SOT 4424768 SOS 753991 HAS SOPS 753991 HAS SOUS 661619 HAS SOUPS 661619 WITH SCORE 662372.991
AT ITER 1437 NEW BEST:: SOT 4424768 SOS 753922 HAS SOPS 753922 HAS SOUS 661619 HAS SOUPS 661619 WITH SCORE 662372.922
AT ITER 1442 NEW BEST:: SOT 4424710 SOS 753921 HAS SOPS 753921 HAS SOUS 661590 HAS SOUPS 661590 WITH SCORE 662343.921
AT ITER 1450 NEW BEST:: SOT 4424600 SOS 753701 HAS SOPS 753701 HAS SOUS 661370 HAS SOUPS 661370 WITH SCORE 662123.701
AT ITER 1464 NEW BEST:: SOT 4424561 SOS 753527 HAS SOPS 753527 HAS SOUS 661235 HAS SOUPS 661235 WITH SCORE 661988.527
AT ITER 1471 NEW BEST:: SOT 4424513 SOS 753431 HAS SOPS 753431 HAS SOUS 661185 HAS SOUPS 661185 WITH SCORE 661938.431
AT ITER 1483 NEW BEST:: SOT 4424333 SOS 753006 HAS SOPS 753006 HAS SOUS 660825 HAS SOUPS 660825 WITH SCORE 661578.006
AT ITER 1494 NEW BEST:: SOT 4424315 SOS 752970 HAS SOPS 752970 HAS SOUS 660795 HAS SOUPS 660795 WITH SCORE 661547.97
AT ITER 1499 NEW BEST:: SOT 4424258 SOS 753060 HAS SOPS 753060 HAS SOUS 660738 HAS SOUPS 660738 WITH SCORE 661491.06
AT ITER 1501 NEW BEST:: SOT 4424160 SOS 752864 HAS SOPS 752864 HAS SOUS 660542 HAS SOUPS 660542 WITH SCORE 661294.864
AT ITER 1508 NEW BEST:: SOT 4424160 SOS 752829 HAS SOPS 752829 HAS SOUS 660542 HAS SOUPS 660542 WITH SCORE 661294.829
AT ITER 1530 NEW BEST:: SOT 4424025 SOS 752559 HAS SOPS 752559 HAS SOUS 660272 HAS SOUPS 660272 WITH SCORE 661024.559
AT ITER 1533 NEW BEST:: SOT 4423524 SOS 752297 HAS SOPS 752297 HAS SOUS 659788 HAS SOUPS 659788 WITH SCORE 660540.297
AT ITER 1551 NEW BEST:: SOT 4423891 SOS 752471 HAS SOPS 752471 HAS SOUS 659715 HAS SOUPS 659715 WITH SCORE 660467.471
AT ITER 1561 NEW BEST:: SOT 4423867 SOS 752399 HAS SOPS 752399 HAS SOUS 659667 HAS SOUPS 659667 WITH SCORE 660419.399
AT ITER 1562 NEW BEST:: SOT 4423867 SOS 752242 HAS SOPS 752242 HAS SOUS 659666 HAS SOUPS 659666 WITH SCORE 660418.242
AT ITER 1573 NEW BEST:: SOT 4423768 SOS 752143 HAS SOPS 752143 HAS SOUS 659567 HAS SOUPS 659567 WITH SCORE 660319.143
AT ITER 1599 NEW BEST:: SOT 4423538 SOS 751913 HAS SOPS 751913 HAS SOUS 659337 HAS SOUPS 659337 WITH SCORE 660088.913
AT ITER 1607 NEW BEST:: SOT 4423881 SOS 751815 HAS SOPS 751815 HAS SOUS 659247 HAS SOUPS 659247 WITH SCORE 659998.815
AT ITER 1612 NEW BEST:: SOT 4423878 SOS 751812 HAS SOPS 751812 HAS SOUS 659244 HAS SOUPS 659244 WITH SCORE 659995.812
AT ITER 1639 NEW BEST:: SOT 4423801 SOS 751658 HAS SOPS 751658 HAS SOUS 659167 HAS SOUPS 659167 WITH SCORE 659918.658
AT ITER 1643 NEW BEST:: SOT 4423800 SOS 751656 HAS SOPS 751656 HAS SOUS 659165 HAS SOUPS 659165 WITH SCORE 659916.656
AT ITER 1648 NEW BEST:: SOT 4423778 SOS 751634 HAS SOPS 751634 HAS SOUS 659143 HAS SOUPS 659143 WITH SCORE 659894.634
AT ITER 1656 NEW BEST:: SOT 4423552 SOS 751182 HAS SOPS 751182 HAS SOUS 658691 HAS SOUPS 658691 WITH SCORE 659442.182
AT ITER 1681 NEW BEST:: SOT 4423547 SOS 751172 HAS SOPS 751172 HAS SOUS 658686 HAS SOUPS 658686 WITH SCORE 659437.172
AT ITER 1685 NEW BEST:: SOT 4423546 SOS 751247 HAS SOPS 751247 HAS SOUS 658684 HAS SOUPS 658684 WITH SCORE 659435.247
AT ITER 1701 NEW BEST:: SOT 4423431 SOS 751017 HAS SOPS 751017 HAS SOUS 658391 HAS SOUPS 658391 WITH SCORE 659142.017
AT ITER 1769 NEW BEST:: SOT 4423375 SOS 750905 HAS SOPS 750905 HAS SOUS 658279 HAS SOUPS 658279 WITH SCORE 659029.905
AT ITER 1803 NEW BEST:: SOT 4423313 SOS 750781 HAS SOPS 750781 HAS SOUS 658033 HAS SOUPS 658033 WITH SCORE 658783.781
AT ITER 1855 NEW BEST:: SOT 4423235 SOS 750677 HAS SOPS 750677 HAS SOUS 657929 HAS SOUPS 657929 WITH SCORE 658679.677
AT ITER 1874 NEW BEST:: SOT 4422690 SOS 750675 HAS SOPS 750675 HAS SOUS 657655 HAS SOUPS 657655 WITH SCORE 658405.675
AT ITER 1910 NEW BEST:: SOT 4422342 SOS 750565 HAS SOPS 750565 HAS SOUS 657390 HAS SOUPS 657390 WITH SCORE 658140.565
AT ITER 1912 NEW BEST:: SOT 4422342 SOS 750460 HAS SOPS 750460 HAS SOUS 657390 HAS SOUPS 657390 WITH SCORE 658140.46
AT ITER 1918 NEW BEST:: SOT 4422342 SOS 750460 HAS SOPS 750460 HAS SOUS 657128 HAS SOUPS 657128 WITH SCORE 657878.46
AT ITER 1919 NEW BEST:: SOT 4422162 SOS 750100 HAS SOPS 750100 HAS SOUS 656801 HAS SOUPS 656801 WITH SCORE 657551.1
AT ITER 1994 NEW BEST:: SOT 4421930 SOS 750054 HAS SOPS 750054 HAS SOUS 656718 HAS SOUPS 656718 WITH SCORE 657468.054
AT ITER 2003 NEW BEST:: SOT 4421906 SOS 750006 HAS SOPS 750006 HAS SOUS 656670 HAS SOUPS 656670 WITH SCORE 657420.006
AT ITER 2017 NEW BEST:: SOT 4421906 SOS 750006 HAS SOPS 750006 HAS SOUS 656542 HAS SOUPS 656542 WITH SCORE 657292.006
AT ITER 2042 NEW BEST:: SOT 4421848 SOS 749591 HAS SOPS 749591 HAS SOUS 656099 HAS SOUPS 656099 WITH SCORE 656848.591
AT ITER 2099 NEW BEST:: SOT 4421692 SOS 749279 HAS SOPS 749279 HAS SOUS 655787 HAS SOUPS 655787 WITH SCORE 656536.279
AT ITER 2100 NEW BEST:: SOT 4421687 SOS 749269 HAS SOPS 749269 HAS SOUS 655777 HAS SOUPS 655777 WITH SCORE 656526.269
AT ITER 2125 NEW BEST:: SOT 4421655 SOS 749237 HAS SOPS 749237 HAS SOUS 655745 HAS SOUPS 655745 WITH SCORE 656494.237
AT ITER 2129 NEW BEST:: SOT 4421654 SOS 749235 HAS SOPS 749235 HAS SOUS 655743 HAS SOUPS 655743 WITH SCORE 656492.235
AT ITER 2152 NEW BEST:: SOT 4421654 SOS 749042 HAS SOPS 749042 HAS SOUS 655742 HAS SOUPS 655742 WITH SCORE 656491.042
AT ITER 2203 NEW BEST:: SOT 4421444 SOS 748622 HAS SOPS 748622 HAS SOUS 655322 HAS SOUPS 655322 WITH SCORE 656070.622
AT ITER 2218 NEW BEST:: SOT 4421443 SOS 748620 HAS SOPS 748620 HAS SOUS 655320 HAS SOUPS 655320 WITH SCORE 656068.62
AT ITER 2230 NEW BEST:: SOT 4421329 SOS 748224 HAS SOPS 748224 HAS SOUS 655038 HAS SOUPS 655038 WITH SCORE 655786.224
AT ITER 2237 NEW BEST:: SOT 4421115 SOS 748010 HAS SOPS 748010 HAS SOUS 654824 HAS SOUPS 654824 WITH SCORE 655572.01
AT ITER 2257 NEW BEST:: SOT 4421048 SOS 748009 HAS SOPS 748009 HAS SOUS 654757 HAS SOUPS 654757 WITH SCORE 655505.009
AT ITER 2261 NEW BEST:: SOT 4420677 SOS 747807 HAS SOPS 747807 HAS SOUS 654386 HAS SOUPS 654386 WITH SCORE 655133.807
AT ITER 2274 NEW BEST:: SOT 4420539 SOS 747393 HAS SOPS 747393 HAS SOUS 654110 HAS SOUPS 654110 WITH SCORE 654857.393
AT ITER 2292 NEW BEST:: SOT 4420313 SOS 746774 HAS SOPS 746774 HAS SOUS 653491 HAS SOUPS 653491 WITH SCORE 654237.774
AT ITER 2294 NEW BEST:: SOT 4420195 SOS 746538 HAS SOPS 746538 HAS SOUS 653373 HAS SOUPS 653373 WITH SCORE 654119.538
AT ITER 2307 NEW BEST:: SOT 4420153 SOS 746454 HAS SOPS 746454 HAS SOUS 653338 HAS SOUPS 653338 WITH SCORE 654084.454
AT ITER 2320 NEW BEST:: SOT 4420152 SOS 746452 HAS SOPS 746452 HAS SOUS 653336 HAS SOUPS 653336 WITH SCORE 654082.452
AT ITER 2327 NEW BEST:: SOT 4420152 SOS 746070 HAS SOPS 746070 HAS SOUS 653336 HAS SOUPS 653336 WITH SCORE 654082.07
AT ITER 2351 NEW BEST:: SOT 4420152 SOS 745892 HAS SOPS 745892 HAS SOUS 653247 HAS SOUPS 653247 WITH SCORE 653992.892
AT ITER 2364 NEW BEST:: SOT 4420205 SOS 745998 HAS SOPS 745998 HAS SOUS 653156 HAS SOUPS 653156 WITH SCORE 653901.998
AT ITER 2366 NEW BEST:: SOT 4420204 SOS 745996 HAS SOPS 745996 HAS SOUS 653154 HAS SOUPS 653154 WITH SCORE 653899.996
AT ITER 2370 NEW BEST:: SOT 4420203 SOS 745994 HAS SOPS 745994 HAS SOUS 653152 HAS SOUPS 653152 WITH SCORE 653897.994
AT ITER 2371 NEW BEST:: SOT 4420183 SOS 745954 HAS SOPS 745954 HAS SOUS 653112 HAS SOUPS 653112 WITH SCORE 653857.954
AT ITER 2374 NEW BEST:: SOT 4420105 SOS 745993 HAS SOPS 745993 HAS SOUS 653073 HAS SOUPS 653073 WITH SCORE 653818.993
AT ITER 2375 NEW BEST:: SOT 4419671 SOS 745559 HAS SOPS 745559 HAS SOUS 652639 HAS SOUPS 652639 WITH SCORE 653384.559
AT ITER 2399 NEW BEST:: SOT 4419670 SOS 745523 HAS SOPS 745523 HAS SOUS 652603 HAS SOUPS 652603 WITH SCORE 653348.523
AT ITER 2412 NEW BEST:: SOT 4419614 SOS 745411 HAS SOPS 745411 HAS SOUS 652491 HAS SOUPS 652491 WITH SCORE 653236.411
AT ITER 2417 NEW BEST:: SOT 4419356 SOS 744895 HAS SOPS 744895 HAS SOUS 652353 HAS SOUPS 652353 WITH SCORE 653097.895
AT ITER 2455 NEW BEST:: SOT 4417887 SOS 775665 HAS SOPS 775665 HAS SOUS 652250 HAS SOUPS 652250 WITH SCORE 653025.665
AT ITER 2458 NEW BEST:: SOT 4417618 SOS 777147 HAS SOPS 777147 HAS SOUS 652138 HAS SOUPS 652138 WITH SCORE 652915.147
AT ITER 2461 NEW BEST:: SOT 4417563 SOS 777037 HAS SOPS 777037 HAS SOUS 652028 HAS SOUPS 652028 WITH SCORE 652805.037
AT ITER 2471 NEW BEST:: SOT 4417546 SOS 777003 HAS SOPS 777003 HAS SOUS 652008 HAS SOUPS 652008 WITH SCORE 652785.003
AT ITER 2485 NEW BEST:: SOT 4417476 SOS 776933 HAS SOPS 776933 HAS SOUS 651938 HAS SOUPS 651938 WITH SCORE 652714.933
AT ITER 2539 NEW BEST:: SOT 4417476 SOS 776722 HAS SOPS 776722 HAS SOUS 651938 HAS SOUPS 651938 WITH SCORE 652714.722
AT ITER 2542 NEW BEST:: SOT 4417338 SOS 776446 HAS SOPS 776446 HAS SOUS 651662 HAS SOUPS 651662 WITH SCORE 652438.446
AT ITER 2591 NEW BEST:: SOT 4417269 SOS 776228 HAS SOPS 776228 HAS SOUS 651372 HAS SOUPS 651372 WITH SCORE 652148.228
AT ITER 2622 NEW BEST:: SOT 4417497 SOS 775442 HAS SOPS 775442 HAS SOUS 651040 HAS SOUPS 651040 WITH SCORE 651815.442
AT ITER 2623 NEW BEST:: SOT 4417421 SOS 775290 HAS SOPS 775290 HAS SOUS 650888 HAS SOUPS 650888 WITH SCORE 651663.29
AT ITER 2630 NEW BEST:: SOT 4417185 SOS 774818 HAS SOPS 774818 HAS SOUS 650416 HAS SOUPS 650416 WITH SCORE 651190.818
AT ITER 2640 NEW BEST:: SOT 4417248 SOS 774944 HAS SOPS 774944 HAS SOUS 650408 HAS SOUPS 650408 WITH SCORE 651182.944
AT ITER 2673 NEW BEST:: SOT 4417248 SOS 774765 HAS SOPS 774765 HAS SOUS 650408 HAS SOUPS 650408 WITH SCORE 651182.765
AT ITER 2685 NEW BEST:: SOT 4417113 SOS 774495 HAS SOPS 774495 HAS SOUS 649959 HAS SOUPS 649959 WITH SCORE 650733.495
AT ITER 2749 NEW BEST:: SOT 4416893 SOS 774631 HAS SOPS 774631 HAS SOUS 649861 HAS SOUPS 649861 WITH SCORE 650635.631
AT ITER 2761 NEW BEST:: SOT 4415440 SOS 773776 HAS SOPS 773776 HAS SOUS 648498 HAS SOUPS 648498 WITH SCORE 649271.776
AT ITER 2774 NEW BEST:: SOT 4415292 SOS 773098 HAS SOPS 773098 HAS SOUS 648193 HAS SOUPS 648193 WITH SCORE 648966.098
AT ITER 2782 NEW BEST:: SOT 4415421 SOS 772524 HAS SOPS 772524 HAS SOUS 648033 HAS SOUPS 648033 WITH SCORE 648805.524
AT ITER 2789 NEW BEST:: SOT 4414990 SOS 772365 HAS SOPS 772365 HAS SOUS 647837 HAS SOUPS 647837 WITH SCORE 648609.365
AT ITER 2791 NEW BEST:: SOT 4414966 SOS 772060 HAS SOPS 772060 HAS SOUS 647671 HAS SOUPS 647671 WITH SCORE 648443.06
AT ITER 2807 NEW BEST:: SOT 4414923 SOS 772017 HAS SOPS 772017 HAS SOUS 647585 HAS SOUPS 647585 WITH SCORE 648357.017
AT ITER 2812 NEW BEST:: SOT 4414881 SOS 771933 HAS SOPS 771933 HAS SOUS 647501 HAS SOUPS 647501 WITH SCORE 648272.933
AT ITER 2905 NEW BEST:: SOT 4415083 SOS 771829 HAS SOPS 771829 HAS SOUS 647500 HAS SOUPS 647500 WITH SCORE 648271.829
AT ITER 2917 NEW BEST:: SOT 4415417 SOS 771405 HAS SOPS 771405 HAS SOUS 647444 HAS SOUPS 647444 WITH SCORE 648215.405
AT ITER 2944 NEW BEST:: SOT 4415220 SOS 771685 HAS SOPS 771685 HAS SOUS 647397 HAS SOUPS 647397 WITH SCORE 648168.685
AT ITER 2960 NEW BEST:: SOT 4415180 SOS 771605 HAS SOPS 771605 HAS SOUS 647356 HAS SOUPS 647356 WITH SCORE 648127.605
AT ITER 2980 NEW BEST:: SOT 4414880 SOS 771305 HAS SOPS 771305 HAS SOUS 647056 HAS SOUPS 647056 WITH SCORE 647827.305
AT ITER 3009 NEW BEST:: SOT 4414746 SOS 771037 HAS SOPS 771037 HAS SOUS 646687 HAS SOUPS 646687 WITH SCORE 647458.037
AT ITER 3024 NEW BEST:: SOT 4414746 SOS 770766 HAS SOPS 770766 HAS SOUS 646687 HAS SOUPS 646687 WITH SCORE 647457.766
AT ITER 3051 NEW BEST:: SOT 4415054 SOS 771382 HAS SOPS 771382 HAS SOUS 646598 HAS SOUPS 646598 WITH SCORE 647369.382
AT ITER 3054 NEW BEST:: SOT 4415054 SOS 771207 HAS SOPS 771207 HAS SOUS 646595 HAS SOUPS 646595 WITH SCORE 647366.207
AT ITER 3079 NEW BEST:: SOT 4415144 SOS 771026 HAS SOPS 771026 HAS SOUS 646549 HAS SOUPS 646549 WITH SCORE 647320.026
AT ITER 3097 NEW BEST:: SOT 4412061 SOS 795226 HAS SOPS 795226 HAS SOUS 644507 HAS SOUPS 644507 WITH SCORE 645302.226
AT ITER 3104 NEW BEST:: SOT 4412114 SOS 795080 HAS SOPS 795080 HAS SOUS 644361 HAS SOUPS 644361 WITH SCORE 645156.08
AT ITER 3113 NEW BEST:: SOT 4412135 SOS 794962 HAS SOPS 794962 HAS SOUS 644243 HAS SOUPS 644243 WITH SCORE 645037.962
AT ITER 3161 NEW BEST:: SOT 4411611 SOS 794325 HAS SOPS 794325 HAS SOUS 643527 HAS SOUPS 643527 WITH SCORE 644321.325
AT ITER 3189 NEW BEST:: SOT 4411575 SOS 794217 HAS SOPS 794217 HAS SOUS 643455 HAS SOUPS 643455 WITH SCORE 644249.217
AT ITER 3198 NEW BEST:: SOT 4411296 SOS 793938 HAS SOPS 793938 HAS SOUS 643361 HAS SOUPS 643361 WITH SCORE 644154.938
AT ITER 3205 NEW BEST:: SOT 4411176 SOS 793698 HAS SOPS 793698 HAS SOUS 643270 HAS SOUPS 643270 WITH SCORE 644063.698
AT ITER 3259 NEW BEST:: SOT 4411224 SOS 793422 HAS SOPS 793422 HAS SOUS 642994 HAS SOUPS 642994 WITH SCORE 643787.422
AT ITER 3262 NEW BEST:: SOT 4410608 SOS 792806 HAS SOPS 792806 HAS SOUS 642378 HAS SOUPS 642378 WITH SCORE 643170.806
AT ITER 3291 NEW BEST:: SOT 4410854 SOS 793298 HAS SOPS 793298 HAS SOUS 642300 HAS SOUPS 642300 WITH SCORE 643093.298
AT ITER 3294 NEW BEST:: SOT 4410887 SOS 793364 HAS SOPS 793364 HAS SOUS 642208 HAS SOUPS 642208 WITH SCORE 643001.364
AT ITER 3365 NEW BEST:: SOT 4410517 SOS 793347 HAS SOPS 793347 HAS SOUS 642168 HAS SOUPS 642168 WITH SCORE 642961.347
AT ITER 3370 NEW BEST:: SOT 4410517 SOS 793091 HAS SOPS 793091 HAS SOUS 642047 HAS SOUPS 642047 WITH SCORE 642840.091
AT ITER 3375 NEW BEST:: SOT 4410396 SOS 792849 HAS SOPS 792849 HAS SOUS 641805 HAS SOUPS 641805 WITH SCORE 642597.849
AT ITER 3380 NEW BEST:: SOT 4409967 SOS 792252 HAS SOPS 792252 HAS SOUS 641163 HAS SOUPS 641163 WITH SCORE 641955.252
AT ITER 3408 NEW BEST:: SOT 4409944 SOS 792206 HAS SOPS 792206 HAS SOUS 641159 HAS SOUPS 641159 WITH SCORE 641951.206
AT ITER 3413 NEW BEST:: SOT 4409894 SOS 791990 HAS SOPS 791990 HAS SOUS 641059 HAS SOUPS 641059 WITH SCORE 641850.99
AT ITER 3421 NEW BEST:: SOT 4409695 SOS 791820 HAS SOPS 791820 HAS SOUS 640859 HAS SOUPS 640859 WITH SCORE 641650.82
AT ITER 3440 NEW BEST:: SOT 4409593 SOS 791616 HAS SOPS 791616 HAS SOUS 640757 HAS SOUPS 640757 WITH SCORE 641548.616
AT ITER 3448 NEW BEST:: SOT 4409632 SOS 791038 HAS SOPS 791038 HAS SOUS 640473 HAS SOUPS 640473 WITH SCORE 641264.038
AT ITER 3463 NEW BEST:: SOT 4409364 SOS 790918 HAS SOPS 790918 HAS SOUS 640260 HAS SOUPS 640260 WITH SCORE 641050.918
AT ITER 3467 NEW BEST:: SOT 4409410 SOS 791010 HAS SOPS 791010 HAS SOUS 640083 HAS SOUPS 640083 WITH SCORE 640874.01
AT ITER 3497 NEW BEST:: SOT 4409296 SOS 790782 HAS SOPS 790782 HAS SOUS 640067 HAS SOUPS 640067 WITH SCORE 640857.782
AT ITER 3498 NEW BEST:: SOT 4409237 SOS 790702 HAS SOPS 790702 HAS SOUS 639987 HAS SOUPS 639987 WITH SCORE 640777.702
AT ITER 3508 NEW BEST:: SOT 4409237 SOS 790759 HAS SOPS 790759 HAS SOUS 639930 HAS SOUPS 639930 WITH SCORE 640720.759
AT ITER 3528 NEW BEST:: SOT 4409235 SOS 790755 HAS SOPS 790755 HAS SOUS 639926 HAS SOUPS 639926 WITH SCORE 640716.755
AT ITER 3554 NEW BEST:: SOT 4409235 SOS 790755 HAS SOPS 790755 HAS SOUS 639921 HAS SOUPS 639921 WITH SCORE 640711.755
AT ITER 3568 NEW BEST:: SOT 4409226 SOS 790746 HAS SOPS 790746 HAS SOUS 639903 HAS SOUPS 639903 WITH SCORE 640693.746
AT ITER 3595 NEW BEST:: SOT 4408995 SOS 790284 HAS SOPS 790284 HAS SOUS 639441 HAS SOUPS 639441 WITH SCORE 640231.284
AT ITER 3607 NEW BEST:: SOT 4408824 SOS 789942 HAS SOPS 789942 HAS SOUS 639099 HAS SOUPS 639099 WITH SCORE 639888.942
AT ITER 3640 NEW BEST:: SOT 4408855 SOS 790004 HAS SOPS 790004 HAS SOUS 639003 HAS SOUPS 639003 WITH SCORE 639793.004
AT ITER 3649 NEW BEST:: SOT 4408693 SOS 789680 HAS SOPS 789680 HAS SOUS 638679 HAS SOUPS 638679 WITH SCORE 639468.68
AT ITER 3672 NEW BEST:: SOT 4408979 SOS 789588 HAS SOPS 789588 HAS SOUS 638592 HAS SOUPS 638592 WITH SCORE 639381.588
AT ITER 3682 NEW BEST:: SOT 4408558 SOS 790111 HAS SOPS 790111 HAS SOUS 638456 HAS SOUPS 638456 WITH SCORE 639246.111
AT ITER 3698 NEW BEST:: SOT 4408558 SOS 790003 HAS SOPS 790003 HAS SOUS 638348 HAS SOUPS 638348 WITH SCORE 639138.003
AT ITER 3699 NEW BEST:: SOT 4408204 SOS 789649 HAS SOPS 789649 HAS SOUS 637994 HAS SOUPS 637994 WITH SCORE 638783.649
AT ITER 3707 NEW BEST:: SOT 4408187 SOS 789632 HAS SOPS 789632 HAS SOUS 637977 HAS SOUPS 637977 WITH SCORE 638766.632
AT ITER 3710 NEW BEST:: SOT 4408110 SOS 789478 HAS SOPS 789478 HAS SOUS 637823 HAS SOUPS 637823 WITH SCORE 638612.478
AT ITER 3712 NEW BEST:: SOT 4407962 SOS 789330 HAS SOPS 789330 HAS SOUS 637675 HAS SOUPS 637675 WITH SCORE 638464.33
AT ITER 3730 NEW BEST:: SOT 4407930 SOS 789266 HAS SOPS 789266 HAS SOUS 637627 HAS SOUPS 637627 WITH SCORE 638416.266
AT ITER 3735 NEW BEST:: SOT 4407897 SOS 789200 HAS SOPS 789200 HAS SOUS 637260 HAS SOUPS 637260 WITH SCORE 638049.2
AT ITER 3746 NEW BEST:: SOT 4407936 SOS 789090 HAS SOPS 789090 HAS SOUS 637140 HAS SOUPS 637140 WITH SCORE 637929.09
AT ITER 3759 NEW BEST:: SOT 4407906 SOS 789105 HAS SOPS 789105 HAS SOUS 637125 HAS SOUPS 637125 WITH SCORE 637914.105
AT ITER 3820 NEW BEST:: SOT 4407606 SOS 788991 HAS SOPS 788991 HAS SOUS 636991 HAS SOUPS 636991 WITH SCORE 637779.991
AT ITER 3827 NEW BEST:: SOT 4407562 SOS 789110 HAS SOPS 789110 HAS SOUS 636947 HAS SOUPS 636947 WITH SCORE 637736.11
AT ITER 3836 NEW BEST:: SOT 4407153 SOS 788938 HAS SOPS 788938 HAS SOUS 636605 HAS SOUPS 636605 WITH SCORE 637393.938
AT ITER 3854 NEW BEST:: SOT 4407031 SOS 788822 HAS SOPS 788822 HAS SOUS 636440 HAS SOUPS 636440 WITH SCORE 637228.822
AT ITER 3896 NEW BEST:: SOT 4406846 SOS 788452 HAS SOPS 788452 HAS SOUS 636440 HAS SOUPS 636440 WITH SCORE 637228.452
AT ITER 3920 NEW BEST:: SOT 4406623 SOS 788229 HAS SOPS 788229 HAS SOUS 636338 HAS SOUPS 636338 WITH SCORE 637126.229
AT ITER 3932 NEW BEST:: SOT 4406740 SOS 788247 HAS SOPS 788247 HAS SOUS 636005 HAS SOUPS 636005 WITH SCORE 636793.247
AT ITER 3934 NEW BEST:: SOT 4406740 SOS 787920 HAS SOPS 787920 HAS SOUS 636005 HAS SOUPS 636005 WITH SCORE 636792.92
AT ITER 3936 NEW BEST:: SOT 4406718 SOS 787854 HAS SOPS 787854 HAS SOUS 635961 HAS SOUPS 635961 WITH SCORE 636748.854
AT ITER 3943 NEW BEST:: SOT 4406718 SOS 787811 HAS SOPS 787811 HAS SOUS 635961 HAS SOUPS 635961 WITH SCORE 636748.811
AT ITER 3948 NEW BEST:: SOT 4406718 SOS 787728 HAS SOPS 787728 HAS SOUS 635960 HAS SOUPS 635960 WITH SCORE 636747.728
AT ITER 3970 NEW BEST:: SOT 4406741 SOS 788004 HAS SOPS 788004 HAS SOUS 635821 HAS SOUPS 635821 WITH SCORE 636609.004
AT ITER 3981 NEW BEST:: SOT 4406690 SOS 787902 HAS SOPS 787902 HAS SOUS 635718 HAS SOUPS 635718 WITH SCORE 636505.902
AT ITER 4001 NEW BEST:: SOT 4406690 SOS 787842 HAS SOPS 787842 HAS SOUS 635688 HAS SOUPS 635688 WITH SCORE 636475.842
AT ITER 4013 NEW BEST:: SOT 4406390 SOS 787242 HAS SOPS 787242 HAS SOUS 635088 HAS SOUPS 635088 WITH SCORE 635875.242
AT ITER 4017 NEW BEST:: SOT 4406390 SOS 787242 HAS SOPS 787242 HAS SOUS 635075 HAS SOUPS 635075 WITH SCORE 635862.242
AT ITER 4029 NEW BEST:: SOT 4406236 SOS 787314 HAS SOPS 787314 HAS SOUS 635013 HAS SOUPS 635013 WITH SCORE 635800.314
AT ITER 4036 NEW BEST:: SOT 4406158 SOS 787406 HAS SOPS 787406 HAS SOUS 634996 HAS SOUPS 634996 WITH SCORE 635783.406
AT ITER 4040 NEW BEST:: SOT 4406094 SOS 787278 HAS SOPS 787278 HAS SOUS 634932 HAS SOUPS 634932 WITH SCORE 635719.278
AT ITER 4051 NEW BEST:: SOT 4406014 SOS 787198 HAS SOPS 787198 HAS SOUS 634772 HAS SOUPS 634772 WITH SCORE 635559.198
AT ITER 4057 NEW BEST:: SOT 4406153 SOS 787476 HAS SOPS 787476 HAS SOUS 634745 HAS SOUPS 634745 WITH SCORE 635532.476
AT ITER 4085 NEW BEST:: SOT 4405922 SOS 787014 HAS SOPS 787014 HAS SOUS 634554 HAS SOUPS 634554 WITH SCORE 635341.014
AT ITER 4086 NEW BEST:: SOT 4406023 SOS 786728 HAS SOPS 786728 HAS SOUS 634496 HAS SOUPS 634496 WITH SCORE 635282.728
AT ITER 4109 NEW BEST:: SOT 4406093 SOS 786868 HAS SOPS 786868 HAS SOUS 634495 HAS SOUPS 634495 WITH SCORE 635281.868
AT ITER 4117 NEW BEST:: SOT 4406047 SOS 786585 HAS SOPS 786585 HAS SOUS 634258 HAS SOUPS 634258 WITH SCORE 635044.585
AT ITER 4123 NEW BEST:: SOT 4406016 SOS 786553 HAS SOPS 786553 HAS SOUS 634226 HAS SOUPS 634226 WITH SCORE 635012.553
AT ITER 4133 NEW BEST:: SOT 4406016 SOS 786545 HAS SOPS 786545 HAS SOUS 634226 HAS SOUPS 634226 WITH SCORE 635012.545
AT ITER 4135 NEW BEST:: SOT 4405979 SOS 786434 HAS SOPS 786434 HAS SOUS 634189 HAS SOUPS 634189 WITH SCORE 634975.434
AT ITER 4166 NEW BEST:: SOT 4406036 SOS 786548 HAS SOPS 786548 HAS SOUS 634142 HAS SOUPS 634142 WITH SCORE 634928.548
AT ITER 4175 NEW BEST:: SOT 4405896 SOS 786268 HAS SOPS 786268 HAS SOUS 634002 HAS SOUPS 634002 WITH SCORE 634788.268
AT ITER 4185 NEW BEST:: SOT 4405834 SOS 786206 HAS SOPS 786206 HAS SOUS 633940 HAS SOUPS 633940 WITH SCORE 634726.206
AT ITER 4188 NEW BEST:: SOT 4405781 SOS 786237 HAS SOPS 786237 HAS SOUS 633886 HAS SOUPS 633886 WITH SCORE 634672.237
AT ITER 4220 NEW BEST:: SOT 4405669 SOS 786247 HAS SOPS 786247 HAS SOUS 633823 HAS SOUPS 633823 WITH SCORE 634609.247
AT ITER 4229 NEW BEST:: SOT 4405437 SOS 785783 HAS SOPS 785783 HAS SOUS 633591 HAS SOUPS 633591 WITH SCORE 634376.783
AT ITER 4253 NEW BEST:: SOT 4405369 SOS 785647 HAS SOPS 785647 HAS SOUS 633455 HAS SOUPS 633455 WITH SCORE 634240.647
AT ITER 4256 NEW BEST:: SOT 4405369 SOS 785480 HAS SOPS 785480 HAS SOUS 633455 HAS SOUPS 633455 WITH SCORE 634240.48
AT ITER 4260 NEW BEST:: SOT 4405144 SOS 785255 HAS SOPS 785255 HAS SOUS 633230 HAS SOUPS 633230 WITH SCORE 634015.255
AT ITER 4277 NEW BEST:: SOT 4405011 SOS 785761 HAS SOPS 785761 HAS SOUS 633212 HAS SOUPS 633212 WITH SCORE 633997.761
AT ITER 4287 NEW BEST:: SOT 4404946 SOS 785631 HAS SOPS 785631 HAS SOUS 633082 HAS SOUPS 633082 WITH SCORE 633867.631
AT ITER 4297 NEW BEST:: SOT 4405156 SOS 785506 HAS SOPS 785506 HAS SOUS 632914 HAS SOUPS 632914 WITH SCORE 633699.506
AT ITER 4316 NEW BEST:: SOT 4405113 SOS 785420 HAS SOPS 785420 HAS SOUS 632828 HAS SOUPS 632828 WITH SCORE 633613.42
AT ITER 4324 NEW BEST:: SOT 4405113 SOS 785352 HAS SOPS 785352 HAS SOUS 632760 HAS SOUPS 632760 WITH SCORE 633545.352
AT ITER 4330 NEW BEST:: SOT 4404842 SOS 784810 HAS SOPS 784810 HAS SOUS 632218 HAS SOUPS 632218 WITH SCORE 633002.81
AT ITER 4349 NEW BEST:: SOT 4404820 SOS 784788 HAS SOPS 784788 HAS SOUS 632196 HAS SOUPS 632196 WITH SCORE 632980.788
AT ITER 4360 NEW BEST:: SOT 4404752 SOS 784652 HAS SOPS 784652 HAS SOUS 632060 HAS SOUPS 632060 WITH SCORE 632844.652
AT ITER 4365 NEW BEST:: SOT 4404517 SOS 784088 HAS SOPS 784088 HAS SOUS 631590 HAS SOUPS 631590 WITH SCORE 632374.088
AT ITER 4367 NEW BEST:: SOT 4404707 SOS 784405 HAS SOPS 784405 HAS SOUS 631429 HAS SOUPS 631429 WITH SCORE 632213.405
AT ITER 4368 NEW BEST:: SOT 4404698 SOS 784029 HAS SOPS 784029 HAS SOUS 631394 HAS SOUPS 631394 WITH SCORE 632178.029
AT ITER 4380 NEW BEST:: SOT 4404599 SOS 783451 HAS SOPS 783451 HAS SOUS 631295 HAS SOUPS 631295 WITH SCORE 632078.451
AT ITER 4417 NEW BEST:: SOT 4404116 SOS 784692 HAS SOPS 784692 HAS SOUS 631132 HAS SOUPS 631132 WITH SCORE 631916.692
AT ITER 4436 NEW BEST:: SOT 4404092 SOS 784668 HAS SOPS 784668 HAS SOUS 631108 HAS SOUPS 631108 WITH SCORE 631892.668
AT ITER 4439 NEW BEST:: SOT 4403996 SOS 780636 HAS SOPS 780636 HAS SOUS 630916 HAS SOUPS 630916 WITH SCORE 631696.636
AT ITER 4442 NEW BEST:: SOT 4403996 SOS 780576 HAS SOPS 780576 HAS SOUS 630886 HAS SOUPS 630886 WITH SCORE 631666.576
AT ITER 4450 NEW BEST:: SOT 4404126 SOS 780554 HAS SOPS 780554 HAS SOUS 630875 HAS SOUPS 630875 WITH SCORE 631655.554
AT ITER 4475 NEW BEST:: SOT 4404142 SOS 780551 HAS SOPS 780551 HAS SOUS 630872 HAS SOUPS 630872 WITH SCORE 631652.551
AT ITER 4482 NEW BEST:: SOT 4404108 SOS 780963 HAS SOPS 780963 HAS SOUS 630853 HAS SOUPS 630853 WITH SCORE 631633.963
AT ITER 4499 NEW BEST:: SOT 4403979 SOS 780609 HAS SOPS 780609 HAS SOUS 630820 HAS SOUPS 630820 WITH SCORE 631600.609
AT ITER 4552 NEW BEST:: SOT 4403979 SOS 780609 HAS SOPS 780609 HAS SOUS 630816 HAS SOUPS 630816 WITH SCORE 631596.609
AT ITER 4579 NEW BEST:: SOT 4403932 SOS 780515 HAS SOPS 780515 HAS SOUS 630722 HAS SOUPS 630722 WITH SCORE 631502.515
AT ITER 4585 NEW BEST:: SOT 4403932 SOS 780324 HAS SOPS 780324 HAS SOUS 630722 HAS SOUPS 630722 WITH SCORE 631502.324
AT ITER 4631 NEW BEST:: SOT 4403778 SOS 780016 HAS SOPS 780016 HAS SOUS 630414 HAS SOUPS 630414 WITH SCORE 631194.016
AT ITER 4634 NEW BEST:: SOT 4403263 SOS 779464 HAS SOPS 779464 HAS SOUS 629660 HAS SOUPS 629660 WITH SCORE 630439.464
AT ITER 4645 NEW BEST:: SOT 4403452 SOS 779036 HAS SOPS 779036 HAS SOUS 629505 HAS SOUPS 629505 WITH SCORE 630284.036
AT ITER 4651 NEW BEST:: SOT 4403522 SOS 779038 HAS SOPS 779038 HAS SOUS 629406 HAS SOUPS 629406 WITH SCORE 630185.038
AT ITER 4692 NEW BEST:: SOT 4403152 SOS 778518 HAS SOPS 778518 HAS SOUS 628927 HAS SOUPS 628927 WITH SCORE 629705.518
AT ITER 4703 NEW BEST:: SOT 4403152 SOS 778426 HAS SOPS 778426 HAS SOUS 628927 HAS SOUPS 628927 WITH SCORE 629705.426
AT ITER 4780 NEW BEST:: SOT 4402987 SOS 778096 HAS SOPS 778096 HAS SOUS 628506 HAS SOUPS 628506 WITH SCORE 629284.096
AT ITER 4781 NEW BEST:: SOT 4402966 SOS 778054 HAS SOPS 778054 HAS SOUS 628464 HAS SOUPS 628464 WITH SCORE 629242.054
AT ITER 4797 NEW BEST:: SOT 4403013 SOS 777917 HAS SOPS 777917 HAS SOUS 628327 HAS SOUPS 628327 WITH SCORE 629104.917
AT ITER 4832 NEW BEST:: SOT 4402745 SOS 777749 HAS SOPS 777749 HAS SOUS 628159 HAS SOUPS 628159 WITH SCORE 628936.749
AT ITER 4835 NEW BEST:: SOT 4402603 SOS 777754 HAS SOPS 777754 HAS SOUS 628017 HAS SOUPS 628017 WITH SCORE 628794.754
AT ITER 4845 NEW BEST:: SOT 4402681 SOS 777829 HAS SOPS 777829 HAS SOUS 628011 HAS SOUPS 628011 WITH SCORE 628788.829
AT ITER 4949 NEW BEST:: SOT 4402520 SOS 777507 HAS SOPS 777507 HAS SOUS 627689 HAS SOUPS 627689 WITH SCORE 628466.507
AT ITER 4966 NEW BEST:: SOT 4402481 SOS 777654 HAS SOPS 777654 HAS SOUS 627650 HAS SOUPS 627650 WITH SCORE 628427.654
AT ITER 4985 NEW BEST:: SOT 4402339 SOS 777580 HAS SOPS 777580 HAS SOUS 627576 HAS SOUPS 627576 WITH SCORE 628353.58
AT ITER 5015 NEW BEST:: SOT 4402253 SOS 777408 HAS SOPS 777408 HAS SOUS 627404 HAS SOUPS 627404 WITH SCORE 628181.408
AT ITER 5021 NEW BEST:: SOT 4402168 SOS 776642 HAS SOPS 776642 HAS SOUS 627323 HAS SOUPS 627323 WITH SCORE 628099.642
AT ITER 5023 NEW BEST:: SOT 4402081 SOS 776468 HAS SOPS 776468 HAS SOUS 627149 HAS SOUPS 627149 WITH SCORE 627925.468
AT ITER 5027 NEW BEST:: SOT 4402048 SOS 776458 HAS SOPS 776458 HAS SOUS 627116 HAS SOUPS 627116 WITH SCORE 627892.458
AT ITER 5028 NEW BEST:: SOT 4401961 SOS 776284 HAS SOPS 776284 HAS SOUS 626942 HAS SOUPS 626942 WITH SCORE 627718.284
AT ITER 5091 NEW BEST:: SOT 4401979 SOS 775862 HAS SOPS 775862 HAS SOUS 626757 HAS SOUPS 626757 WITH SCORE 627532.862
AT ITER 5126 NEW BEST:: SOT 4401935 SOS 775686 HAS SOPS 775686 HAS SOUS 626669 HAS SOUPS 626669 WITH SCORE 627444.686
AT ITER 5157 NEW BEST:: SOT 4401893 SOS 775658 HAS SOPS 775658 HAS SOUS 626635 HAS SOUPS 626635 WITH SCORE 627410.658
AT ITER 5168 NEW BEST:: SOT 4401818 SOS 775508 HAS SOPS 775508 HAS SOUS 626560 HAS SOUPS 626560 WITH SCORE 627335.508
AT ITER 5190 NEW BEST:: SOT 4401742 SOS 775537 HAS SOPS 775537 HAS SOUS 626433 HAS SOUPS 626433 WITH SCORE 627208.537
AT ITER 5193 NEW BEST:: SOT 4401695 SOS 775443 HAS SOPS 775443 HAS SOUS 626383 HAS SOUPS 626383 WITH SCORE 627158.443
AT ITER 5216 NEW BEST:: SOT 4401695 SOS 775443 HAS SOPS 775443 HAS SOUS 626382 HAS SOUPS 626382 WITH SCORE 627157.443
AT ITER 5237 NEW BEST:: SOT 4401721 SOS 775305 HAS SOPS 775305 HAS SOUS 626266 HAS SOUPS 626266 WITH SCORE 627041.305
AT ITER 5265 NEW BEST:: SOT 4401719 SOS 775303 HAS SOPS 775303 HAS SOUS 626264 HAS SOUPS 626264 WITH SCORE 627039.303
AT ITER 5319 NEW BEST:: SOT 4401430 SOS 774725 HAS SOPS 774725 HAS SOUS 625986 HAS SOUPS 625986 WITH SCORE 626760.725
AT ITER 5321 NEW BEST:: SOT 4401381 SOS 774627 HAS SOPS 774627 HAS SOUS 625806 HAS SOUPS 625806 WITH SCORE 626580.627
AT ITER 5326 NEW BEST:: SOT 4401394 SOS 774653 HAS SOPS 774653 HAS SOUS 625804 HAS SOUPS 625804 WITH SCORE 626578.653
AT ITER 5335 NEW BEST:: SOT 4401038 SOS 773941 HAS SOPS 773941 HAS SOUS 625447 HAS SOUPS 625447 WITH SCORE 626220.941
AT ITER 5352 NEW BEST:: SOT 4401037 SOS 773939 HAS SOPS 773939 HAS SOUS 625445 HAS SOUPS 625445 WITH SCORE 626218.939
AT ITER 5360 NEW BEST:: SOT 4400955 SOS 773637 HAS SOPS 773637 HAS SOUS 625217 HAS SOUPS 625217 WITH SCORE 625990.637
AT ITER 5388 NEW BEST:: SOT 4400741 SOS 773209 HAS SOPS 773209 HAS SOUS 624789 HAS SOUPS 624789 WITH SCORE 625562.209
AT ITER 5389 NEW BEST:: SOT 4400741 SOS 773071 HAS SOPS 773071 HAS SOUS 624743 HAS SOUPS 624743 WITH SCORE 625516.071
AT ITER 5395 NEW BEST:: SOT 4400534 SOS 772657 HAS SOPS 772657 HAS SOUS 624495 HAS SOUPS 624495 WITH SCORE 625267.657
AT ITER 5405 NEW BEST:: SOT 4400441 SOS 772471 HAS SOPS 772471 HAS SOUS 624309 HAS SOUPS 624309 WITH SCORE 625081.471
AT ITER 5419 NEW BEST:: SOT 4400313 SOS 772215 HAS SOPS 772215 HAS SOUS 623928 HAS SOUPS 623928 WITH SCORE 624700.215
AT ITER 5459 NEW BEST:: SOT 4400313 SOS 772215 HAS SOPS 772215 HAS SOUS 623925 HAS SOUPS 623925 WITH SCORE 624697.215
AT ITER 5521 NEW BEST:: SOT 4400300 SOS 772202 HAS SOPS 772202 HAS SOUS 623912 HAS SOUPS 623912 WITH SCORE 624684.202
AT ITER 5570 NEW BEST:: SOT 4400300 SOS 772161 HAS SOPS 772161 HAS SOUS 623912 HAS SOUPS 623912 WITH SCORE 624684.161
AT ITER 5576 NEW BEST:: SOT 4399974 SOS 771509 HAS SOPS 771509 HAS SOUS 623522 HAS SOUPS 623522 WITH SCORE 624293.509
AT ITER 5612 NEW BEST:: SOT 4399945 SOS 771559 HAS SOPS 771559 HAS SOUS 623521 HAS SOUPS 623521 WITH SCORE 624292.559
AT ITER 5625 NEW BEST:: SOT 4399598 SOS 771158 HAS SOPS 771158 HAS SOUS 622925 HAS SOUPS 622925 WITH SCORE 623696.158
AT ITER 5636 NEW BEST:: SOT 4399564 SOS 771090 HAS SOPS 771090 HAS SOUS 622925 HAS SOUPS 622925 WITH SCORE 623696.09
AT ITER 5640 NEW BEST:: SOT 4399564 SOS 770688 HAS SOPS 770688 HAS SOUS 622925 HAS SOUPS 622925 WITH SCORE 623695.688
AT ITER 5642 NEW BEST:: SOT 4399031 SOS 771007 HAS SOPS 771007 HAS SOUS 622604 HAS SOUPS 622604 WITH SCORE 623375.007
AT ITER 5650 NEW BEST:: SOT 4399030 SOS 771005 HAS SOPS 771005 HAS SOUS 622602 HAS SOUPS 622602 WITH SCORE 623373.005
AT ITER 5656 NEW BEST:: SOT 4399022 SOS 770719 HAS SOPS 770719 HAS SOUS 622499 HAS SOUPS 622499 WITH SCORE 623269.719
AT ITER 5681 NEW BEST:: SOT 4399013 SOS 769985 HAS SOPS 769985 HAS SOUS 622422 HAS SOUPS 622422 WITH SCORE 623191.985
AT ITER 5704 NEW BEST:: SOT 4398892 SOS 769864 HAS SOPS 769864 HAS SOUS 622180 HAS SOUPS 622180 WITH SCORE 622949.864
AT ITER 5745 NEW BEST:: SOT 4398690 SOS 769378 HAS SOPS 769378 HAS SOUS 621775 HAS SOUPS 621775 WITH SCORE 622544.378
AT ITER 5815 NEW BEST:: SOT 4398675 SOS 769333 HAS SOPS 769333 HAS SOUS 621745 HAS SOUPS 621745 WITH SCORE 622514.333
AT ITER 5859 NEW BEST:: SOT 4398667 SOS 769317 HAS SOPS 769317 HAS SOUS 621729 HAS SOUPS 621729 WITH SCORE 622498.317
AT ITER 5869 NEW BEST:: SOT 4398617 SOS 769267 HAS SOPS 769267 HAS SOUS 621679 HAS SOUPS 621679 WITH SCORE 622448.267
AT ITER 5880 NEW BEST:: SOT 4398597 SOS 769227 HAS SOPS 769227 HAS SOUS 621639 HAS SOUPS 621639 WITH SCORE 622408.227
AT ITER 5886 NEW BEST:: SOT 4398597 SOS 769448 HAS SOPS 769448 HAS SOUS 621418 HAS SOUPS 621418 WITH SCORE 622187.448
AT ITER 5911 NEW BEST:: SOT 4398569 SOS 769731 HAS SOPS 769731 HAS SOUS 621390 HAS SOUPS 621390 WITH SCORE 622159.731
AT ITER 5936 NEW BEST:: SOT 4398330 SOS 769254 HAS SOPS 769254 HAS SOUS 621150 HAS SOUPS 621150 WITH SCORE 621919.254
AT ITER 5938 NEW BEST:: SOT 4398297 SOS 769254 HAS SOPS 769254 HAS SOUS 621117 HAS SOUPS 621117 WITH SCORE 621886.254
AT ITER 5979 NEW BEST:: SOT 4398175 SOS 769201 HAS SOPS 769201 HAS SOUS 621027 HAS SOUPS 621027 WITH SCORE 621796.201
AT ITER 6004 NEW BEST:: SOT 4398175 SOS 769233 HAS SOPS 769233 HAS SOUS 620995 HAS SOUPS 620995 WITH SCORE 621764.233
AT ITER 6005 NEW BEST:: SOT 4398450 SOS 768999 HAS SOPS 768999 HAS SOUS 620631 HAS SOUPS 620631 WITH SCORE 621399.999
AT ITER 6050 NEW BEST:: SOT 4398384 SOS 768867 HAS SOPS 768867 HAS SOUS 620499 HAS SOUPS 620499 WITH SCORE 621267.867
AT ITER 6065 NEW BEST:: SOT 4398383 SOS 768935 HAS SOPS 768935 HAS SOUS 620497 HAS SOUPS 620497 WITH SCORE 621265.935
AT ITER 6080 NEW BEST:: SOT 4398432 SOS 768856 HAS SOPS 768856 HAS SOUS 620469 HAS SOUPS 620469 WITH SCORE 621237.856
AT ITER 6115 NEW BEST:: SOT 4398234 SOS 768509 HAS SOPS 768509 HAS SOUS 620439 HAS SOUPS 620439 WITH SCORE 621207.509
AT ITER 6120 NEW BEST:: SOT 4398234 SOS 768509 HAS SOPS 768509 HAS SOUS 620401 HAS SOUPS 620401 WITH SCORE 621169.509
AT ITER 6121 NEW BEST:: SOT 4398234 SOS 768397 HAS SOPS 768397 HAS SOUS 620401 HAS SOUPS 620401 WITH SCORE 621169.397
AT ITER 6123 NEW BEST:: SOT 4398142 SOS 768213 HAS SOPS 768213 HAS SOUS 620217 HAS SOUPS 620217 WITH SCORE 620985.213
AT ITER 6126 NEW BEST:: SOT 4397937 SOS 768321 HAS SOPS 768321 HAS SOUS 620012 HAS SOUPS 620012 WITH SCORE 620780.321
AT ITER 6164 NEW BEST:: SOT 4397801 SOS 768049 HAS SOPS 768049 HAS SOUS 619740 HAS SOUPS 619740 WITH SCORE 620508.049
AT ITER 6192 NEW BEST:: SOT 4397793 SOS 767934 HAS SOPS 767934 HAS SOUS 619724 HAS SOUPS 619724 WITH SCORE 620491.934
AT ITER 6209 NEW BEST:: SOT 4397731 SOS 767810 HAS SOPS 767810 HAS SOUS 619600 HAS SOUPS 619600 WITH SCORE 620367.81
AT ITER 6211 NEW BEST:: SOT 4397731 SOS 767810 HAS SOPS 767810 HAS SOUS 619426 HAS SOUPS 619426 WITH SCORE 620193.81
AT ITER 6220 NEW BEST:: SOT 4397731 SOS 767810 HAS SOPS 767810 HAS SOUS 619424 HAS SOUPS 619424 WITH SCORE 620191.81
AT ITER 6236 NEW BEST:: SOT 4397731 SOS 767810 HAS SOPS 767810 HAS SOUS 619404 HAS SOUPS 619404 WITH SCORE 620171.81
AT ITER 6258 NEW BEST:: SOT 4397728 SOS 767804 HAS SOPS 767804 HAS SOUS 619398 HAS SOUPS 619398 WITH SCORE 620165.804
AT ITER 6286 NEW BEST:: SOT 4397678 SOS 768320 HAS SOPS 768320 HAS SOUS 619384 HAS SOUPS 619384 WITH SCORE 620152.32
AT ITER 6346 NEW BEST:: SOT 4397586 SOS 768136 HAS SOPS 768136 HAS SOUS 619200 HAS SOUPS 619200 WITH SCORE 619968.136
AT ITER 6361 NEW BEST:: SOT 4397444 SOS 767852 HAS SOPS 767852 HAS SOUS 618916 HAS SOUPS 618916 WITH SCORE 619683.852
AT ITER 6370 NEW BEST:: SOT 4397444 SOS 767709 HAS SOPS 767709 HAS SOUS 618773 HAS SOUPS 618773 WITH SCORE 619540.709
AT ITER 6372 NEW BEST:: SOT 4397365 SOS 767551 HAS SOPS 767551 HAS SOUS 618694 HAS SOUPS 618694 WITH SCORE 619461.551
AT ITER 6422 NEW BEST:: SOT 4397364 SOS 767505 HAS SOPS 767505 HAS SOUS 618691 HAS SOUPS 618691 WITH SCORE 619458.505
AT ITER 6424 NEW BEST:: SOT 4397364 SOS 767505 HAS SOPS 767505 HAS SOUS 618529 HAS SOUPS 618529 WITH SCORE 619296.505
AT ITER 6443 NEW BEST:: SOT 4397278 SOS 767333 HAS SOPS 767333 HAS SOUS 618357 HAS SOUPS 618357 WITH SCORE 619124.333
AT ITER 6448 NEW BEST:: SOT 4397158 SOS 767266 HAS SOPS 767266 HAS SOUS 618169 HAS SOUPS 618169 WITH SCORE 618936.266
AT ITER 6534 NEW BEST:: SOT 4397096 SOS 767204 HAS SOPS 767204 HAS SOUS 618107 HAS SOUPS 618107 WITH SCORE 618874.204
AT ITER 6582 NEW BEST:: SOT 4397096 SOS 767105 HAS SOPS 767105 HAS SOUS 618008 HAS SOUPS 618008 WITH SCORE 618775.105
AT ITER 6586 NEW BEST:: SOT 4396985 SOS 766883 HAS SOPS 766883 HAS SOUS 617786 HAS SOUPS 617786 WITH SCORE 618552.883
AT ITER 6592 NEW BEST:: SOT 4397144 SOS 766537 HAS SOPS 766537 HAS SOUS 617706 HAS SOUPS 617706 WITH SCORE 618472.537
AT ITER 6611 NEW BEST:: SOT 4397141 SOS 766528 HAS SOPS 766528 HAS SOUS 617700 HAS SOUPS 617700 WITH SCORE 618466.528
AT ITER 6622 NEW BEST:: SOT 4396905 SOS 766410 HAS SOPS 766410 HAS SOUS 617582 HAS SOUPS 617582 WITH SCORE 618348.41
AT ITER 6655 NEW BEST:: SOT 4396905 SOS 765979 HAS SOPS 765979 HAS SOUS 617582 HAS SOUPS 617582 WITH SCORE 618347.979
AT ITER 6658 NEW BEST:: SOT 4396904 SOS 765977 HAS SOPS 765977 HAS SOUS 617580 HAS SOUPS 617580 WITH SCORE 618345.977
AT ITER 6718 NEW BEST:: SOT 4396956 SOS 765775 HAS SOPS 765775 HAS SOUS 617505 HAS SOUPS 617505 WITH SCORE 618270.775
AT ITER 6732 NEW BEST:: SOT 4396956 SOS 765435 HAS SOPS 765435 HAS SOUS 617505 HAS SOUPS 617505 WITH SCORE 618270.435
AT ITER 6746 NEW BEST:: SOT 4396857 SOS 765336 HAS SOPS 765336 HAS SOUS 617406 HAS SOUPS 617406 WITH SCORE 618171.336
AT ITER 6755 NEW BEST:: SOT 4396853 SOS 765328 HAS SOPS 765328 HAS SOUS 617398 HAS SOUPS 617398 WITH SCORE 618163.328
AT ITER 6758 NEW BEST:: SOT 4396739 SOS 765100 HAS SOPS 765100 HAS SOUS 617284 HAS SOUPS 617284 WITH SCORE 618049.1
AT ITER 6766 NEW BEST:: SOT 4396726 SOS 765074 HAS SOPS 765074 HAS SOUS 617258 HAS SOUPS 617258 WITH SCORE 618023.074
AT ITER 6767 NEW BEST:: SOT 4396662 SOS 765010 HAS SOPS 765010 HAS SOUS 617194 HAS SOUPS 617194 WITH SCORE 617959.01
AT ITER 6792 NEW BEST:: SOT 4396519 SOS 764724 HAS SOPS 764724 HAS SOUS 616908 HAS SOUPS 616908 WITH SCORE 617672.724
AT ITER 6806 NEW BEST:: SOT 4396492 SOS 764670 HAS SOPS 764670 HAS SOUS 616881 HAS SOUPS 616881 WITH SCORE 617645.67
AT ITER 6816 NEW BEST:: SOT 4396425 SOS 764251 HAS SOPS 764251 HAS SOUS 616747 HAS SOUPS 616747 WITH SCORE 617511.251
AT ITER 6817 NEW BEST:: SOT 4396224 SOS 763849 HAS SOPS 763849 HAS SOUS 616345 HAS SOUPS 616345 WITH SCORE 617108.849
AT ITER 6821 NEW BEST:: SOT 4396179 SOS 763759 HAS SOPS 763759 HAS SOUS 616255 HAS SOUPS 616255 WITH SCORE 617018.759
AT ITER 6824 NEW BEST:: SOT 4396179 SOS 763759 HAS SOPS 763759 HAS SOUS 616045 HAS SOUPS 616045 WITH SCORE 616808.759
AT ITER 6830 NEW BEST:: SOT 4396243 SOS 763887 HAS SOPS 763887 HAS SOUS 616023 HAS SOUPS 616023 WITH SCORE 616786.887
AT ITER 6846 NEW BEST:: SOT 4396059 SOS 763519 HAS SOPS 763519 HAS SOUS 615655 HAS SOUPS 615655 WITH SCORE 616418.519
AT ITER 6848 NEW BEST:: SOT 4395922 SOS 763245 HAS SOPS 763245 HAS SOUS 615381 HAS SOUPS 615381 WITH SCORE 616144.245
AT ITER 6853 NEW BEST:: SOT 4395837 SOS 763075 HAS SOPS 763075 HAS SOUS 615296 HAS SOUPS 615296 WITH SCORE 616059.075
AT ITER 6855 NEW BEST:: SOT 4395468 SOS 762550 HAS SOPS 762550 HAS SOUS 614714 HAS SOUPS 614714 WITH SCORE 615476.55
AT ITER 6871 NEW BEST:: SOT 4395321 SOS 762446 HAS SOPS 762446 HAS SOUS 614507 HAS SOUPS 614507 WITH SCORE 615269.446
AT ITER 6887 NEW BEST:: SOT 4395321 SOS 762446 HAS SOPS 762446 HAS SOUS 614500 HAS SOUPS 614500 WITH SCORE 615262.446
AT ITER 6890 NEW BEST:: SOT 4395195 SOS 762635 HAS SOPS 762635 HAS SOUS 614436 HAS SOUPS 614436 WITH SCORE 615198.635
AT ITER 6979 NEW BEST:: SOT 4395219 SOS 762683 HAS SOPS 762683 HAS SOUS 614246 HAS SOUPS 614246 WITH SCORE 615008.683
AT ITER 6982 NEW BEST:: SOT 4395196 SOS 762637 HAS SOPS 762637 HAS SOUS 614223 HAS SOUPS 614223 WITH SCORE 614985.637
AT ITER 7014 NEW BEST:: SOT 4395006 SOS 761681 HAS SOPS 761681 HAS SOUS 613797 HAS SOUPS 613797 WITH SCORE 614558.681
AT ITER 7033 NEW BEST:: SOT 4395006 SOS 761609 HAS SOPS 761609 HAS SOUS 613797 HAS SOUPS 613797 WITH SCORE 614558.609
AT ITER 7037 NEW BEST:: SOT 4394997 SOS 761591 HAS SOPS 761591 HAS SOUS 613779 HAS SOUPS 613779 WITH SCORE 614540.591
AT ITER 7083 NEW BEST:: SOT 4394997 SOS 761555 HAS SOPS 761555 HAS SOUS 613743 HAS SOUPS 613743 WITH SCORE 614504.555
AT ITER 7112 NEW BEST:: SOT 4394956 SOS 761473 HAS SOPS 761473 HAS SOUS 613702 HAS SOUPS 613702 WITH SCORE 614463.473
AT ITER 7128 NEW BEST:: SOT 4394784 SOS 760706 HAS SOPS 760706 HAS SOUS 613150 HAS SOUPS 613150 WITH SCORE 613910.706
AT ITER 7132 NEW BEST:: SOT 4394783 SOS 760704 HAS SOPS 760704 HAS SOUS 613148 HAS SOUPS 613148 WITH SCORE 613908.704
AT ITER 7158 NEW BEST:: SOT 4394642 SOS 760655 HAS SOPS 760655 HAS SOUS 613042 HAS SOUPS 613042 WITH SCORE 613802.655
AT ITER 7164 NEW BEST:: SOT 4394642 SOS 760655 HAS SOPS 760655 HAS SOUS 613040 HAS SOUPS 613040 WITH SCORE 613800.655
AT ITER 7168 NEW BEST:: SOT 4394426 SOS 760439 HAS SOPS 760439 HAS SOUS 612824 HAS SOUPS 612824 WITH SCORE 613584.439
AT ITER 7209 NEW BEST:: SOT 4393468 SOS 759482 HAS SOPS 759482 HAS SOUS 612003 HAS SOUPS 612003 WITH SCORE 612762.482
AT ITER 7216 NEW BEST:: SOT 4393468 SOS 759482 HAS SOPS 759482 HAS SOUS 611953 HAS SOUPS 611953 WITH SCORE 612712.482
AT ITER 7218 NEW BEST:: SOT 4393413 SOS 759200 HAS SOPS 759200 HAS SOUS 611898 HAS SOUPS 611898 WITH SCORE 612657.2
AT ITER 7235 NEW BEST:: SOT 4393226 SOS 758719 HAS SOPS 758719 HAS SOUS 611631 HAS SOUPS 611631 WITH SCORE 612389.719
AT ITER 7253 NEW BEST:: SOT 4393249 SOS 758765 HAS SOPS 758765 HAS SOUS 611572 HAS SOUPS 611572 WITH SCORE 612330.765
AT ITER 7269 NEW BEST:: SOT 4393249 SOS 758745 HAS SOPS 758745 HAS SOUS 611552 HAS SOUPS 611552 WITH SCORE 612310.745
AT ITER 7283 NEW BEST:: SOT 4393166 SOS 758579 HAS SOPS 758579 HAS SOUS 611463 HAS SOUPS 611463 WITH SCORE 612221.579
AT ITER 7285 NEW BEST:: SOT 4393062 SOS 758906 HAS SOPS 758906 HAS SOUS 611255 HAS SOUPS 611255 WITH SCORE 612013.906
AT ITER 7312 NEW BEST:: SOT 4392893 SOS 758568 HAS SOPS 758568 HAS SOUS 610917 HAS SOUPS 610917 WITH SCORE 611675.568
AT ITER 7341 NEW BEST:: SOT 4392744 SOS 758429 HAS SOPS 758429 HAS SOUS 610768 HAS SOUPS 610768 WITH SCORE 611526.429
AT ITER 7391 NEW BEST:: SOT 4392623 SOS 758187 HAS SOPS 758187 HAS SOUS 610526 HAS SOUPS 610526 WITH SCORE 611284.187
AT ITER 7399 NEW BEST:: SOT 4392386 SOS 757713 HAS SOPS 757713 HAS SOUS 610052 HAS SOUPS 610052 WITH SCORE 610809.713
AT ITER 7438 NEW BEST:: SOT 4392349 SOS 757639 HAS SOPS 757639 HAS SOUS 609978 HAS SOUPS 609978 WITH SCORE 610735.639
AT ITER 7445 NEW BEST:: SOT 4392217 SOS 757508 HAS SOPS 757508 HAS SOUS 609846 HAS SOUPS 609846 WITH SCORE 610603.508
AT ITER 7458 NEW BEST:: SOT 4392217 SOS 757508 HAS SOPS 757508 HAS SOUS 609813 HAS SOUPS 609813 WITH SCORE 610570.508
AT ITER 7473 NEW BEST:: SOT 4392187 SOS 757493 HAS SOPS 757493 HAS SOUS 609798 HAS SOUPS 609798 WITH SCORE 610555.493
AT ITER 7503 NEW BEST:: SOT 4392066 SOS 757686 HAS SOPS 757686 HAS SOUS 609677 HAS SOUPS 609677 WITH SCORE 610434.686
AT ITER 7540 NEW BEST:: SOT 4392026 SOS 757606 HAS SOPS 757606 HAS SOUS 609637 HAS SOUPS 609637 WITH SCORE 610394.606
AT ITER 7560 NEW BEST:: SOT 4392006 SOS 757602 HAS SOPS 757602 HAS SOUS 609630 HAS SOUPS 609630 WITH SCORE 610387.602
AT ITER 7587 NEW BEST:: SOT 4391912 SOS 757414 HAS SOPS 757414 HAS SOUS 609289 HAS SOUPS 609289 WITH SCORE 610046.414
AT ITER 7591 NEW BEST:: SOT 4391912 SOS 757157 HAS SOPS 757157 HAS SOUS 609032 HAS SOUPS 609032 WITH SCORE 609789.157
AT ITER 7595 NEW BEST:: SOT 4391898 SOS 757129 HAS SOPS 757129 HAS SOUS 609004 HAS SOUPS 609004 WITH SCORE 609761.129
AT ITER 7599 NEW BEST:: SOT 4391781 SOS 757012 HAS SOPS 757012 HAS SOUS 608992 HAS SOUPS 608992 WITH SCORE 609749.012
AT ITER 7600 NEW BEST:: SOT 4391303 SOS 756056 HAS SOPS 756056 HAS SOUS 608672 HAS SOUPS 608672 WITH SCORE 609428.056
AT ITER 7611 NEW BEST:: SOT 4390951 SOS 755707 HAS SOPS 755707 HAS SOUS 608061 HAS SOUPS 608061 WITH SCORE 608816.707
AT ITER 7658 NEW BEST:: SOT 4390915 SOS 755635 HAS SOPS 755635 HAS SOUS 607989 HAS SOUPS 607989 WITH SCORE 608744.635
AT ITER 7678 NEW BEST:: SOT 4390829 SOS 755463 HAS SOPS 755463 HAS SOUS 607817 HAS SOUPS 607817 WITH SCORE 608572.463
AT ITER 7702 NEW BEST:: SOT 4390897 SOS 755276 HAS SOPS 755276 HAS SOUS 607630 HAS SOUPS 607630 WITH SCORE 608385.276
AT ITER 7710 NEW BEST:: SOT 4390897 SOS 755114 HAS SOPS 755114 HAS SOUS 607630 HAS SOUPS 607630 WITH SCORE 608385.114
AT ITER 7779 NEW BEST:: SOT 4390672 SOS 754889 HAS SOPS 754889 HAS SOUS 607505 HAS SOUPS 607505 WITH SCORE 608259.889
AT ITER 7782 NEW BEST:: SOT 4390524 SOS 754593 HAS SOPS 754593 HAS SOUS 607209 HAS SOUPS 607209 WITH SCORE 607963.593
AT ITER 7794 NEW BEST:: SOT 4390321 SOS 754390 HAS SOPS 754390 HAS SOUS 607063 HAS SOUPS 607063 WITH SCORE 607817.39
AT ITER 7817 NEW BEST:: SOT 4390285 SOS 754318 HAS SOPS 754318 HAS SOUS 606991 HAS SOUPS 606991 WITH SCORE 607745.318
AT ITER 7827 NEW BEST:: SOT 4390171 SOS 754204 HAS SOPS 754204 HAS SOUS 606877 HAS SOUPS 606877 WITH SCORE 607631.204
AT ITER 7860 NEW BEST:: SOT 4390009 SOS 753880 HAS SOPS 753880 HAS SOUS 606715 HAS SOUPS 606715 WITH SCORE 607468.88
AT ITER 7866 NEW BEST:: SOT 4390099 SOS 753858 HAS SOPS 753858 HAS SOUS 606572 HAS SOUPS 606572 WITH SCORE 607325.858
AT ITER 7886 NEW BEST:: SOT 4390330 SOS 754320 HAS SOPS 754320 HAS SOUS 606490 HAS SOUPS 606490 WITH SCORE 607244.32
AT ITER 7898 NEW BEST:: SOT 4390211 SOS 754082 HAS SOPS 754082 HAS SOUS 606371 HAS SOUPS 606371 WITH SCORE 607125.082
AT ITER 7916 NEW BEST:: SOT 4390053 SOS 753766 HAS SOPS 753766 HAS SOUS 606213 HAS SOUPS 606213 WITH SCORE 606966.766
AT ITER 7944 NEW BEST:: SOT 4389983 SOS 753626 HAS SOPS 753626 HAS SOUS 606073 HAS SOUPS 606073 WITH SCORE 606826.626
AT ITER 7961 NEW BEST:: SOT 4389982 SOS 753624 HAS SOPS 753624 HAS SOUS 606072 HAS SOUPS 606072 WITH SCORE 606825.624
AT ITER 8006 NEW BEST:: SOT 4389982 SOS 753546 HAS SOPS 753546 HAS SOUS 606072 HAS SOUPS 606072 WITH SCORE 606825.546
AT ITER 8010 NEW BEST:: SOT 4389948 SOS 753478 HAS SOPS 753478 HAS SOUS 605980 HAS SOUPS 605980 WITH SCORE 606733.478
AT ITER 8014 NEW BEST:: SOT 4389880 SOS 753468 HAS SOPS 753468 HAS SOUS 605914 HAS SOUPS 605914 WITH SCORE 606667.468
AT ITER 8042 NEW BEST:: SOT 4389896 SOS 753455 HAS SOPS 753455 HAS SOUS 605901 HAS SOUPS 605901 WITH SCORE 606654.455
AT ITER 8062 NEW BEST:: SOT 4389565 SOS 753143 HAS SOPS 753143 HAS SOUS 605579 HAS SOUPS 605579 WITH SCORE 606332.143
AT ITER 8064 NEW BEST:: SOT 4389483 SOS 753167 HAS SOPS 753167 HAS SOUS 605509 HAS SOUPS 605509 WITH SCORE 606262.167
AT ITER 8101 NEW BEST:: SOT 4389302 SOS 753095 HAS SOPS 753095 HAS SOUS 605437 HAS SOUPS 605437 WITH SCORE 606190.095
AT ITER 8125 NEW BEST:: SOT 4389302 SOS 753095 HAS SOPS 753095 HAS SOUS 605378 HAS SOUPS 605378 WITH SCORE 606131.095
AT ITER 8133 NEW BEST:: SOT 4389288 SOS 753067 HAS SOPS 753067 HAS SOUS 605265 HAS SOUPS 605265 WITH SCORE 606018.067
AT ITER 8160 NEW BEST:: SOT 4389269 SOS 753048 HAS SOPS 753048 HAS SOUS 605227 HAS SOUPS 605227 WITH SCORE 605980.048
AT ITER 8163 NEW BEST:: SOT 4389197 SOS 752864 HAS SOPS 752864 HAS SOUS 605083 HAS SOUPS 605083 WITH SCORE 605835.864
AT ITER 8205 NEW BEST:: SOT 4389197 SOS 752768 HAS SOPS 752768 HAS SOUS 605083 HAS SOUPS 605083 WITH SCORE 605835.768
AT ITER 8220 NEW BEST:: SOT 4389142 SOS 752658 HAS SOPS 752658 HAS SOUS 605028 HAS SOUPS 605028 WITH SCORE 605780.658
AT ITER 8223 NEW BEST:: SOT 4389133 SOS 752640 HAS SOPS 752640 HAS SOUS 605010 HAS SOUPS 605010 WITH SCORE 605762.64
AT ITER 8226 NEW BEST:: SOT 4389117 SOS 752608 HAS SOPS 752608 HAS SOUS 604992 HAS SOUPS 604992 WITH SCORE 605744.608
AT ITER 8228 NEW BEST:: SOT 4389071 SOS 752569 HAS SOPS 752569 HAS SOUS 604954 HAS SOUPS 604954 WITH SCORE 605706.569
AT ITER 8250 NEW BEST:: SOT 4389037 SOS 752501 HAS SOPS 752501 HAS SOUS 604853 HAS SOUPS 604853 WITH SCORE 605605.501
AT ITER 8254 NEW BEST:: SOT 4388960 SOS 752347 HAS SOPS 752347 HAS SOUS 604699 HAS SOUPS 604699 WITH SCORE 605451.347
AT ITER 8269 NEW BEST:: SOT 4388795 SOS 752017 HAS SOPS 752017 HAS SOUS 604615 HAS SOUPS 604615 WITH SCORE 605367.017
AT ITER 8303 NEW BEST:: SOT 4388652 SOS 751278 HAS SOPS 751278 HAS SOUS 604119 HAS SOUPS 604119 WITH SCORE 604870.278
AT ITER 8306 NEW BEST:: SOT 4388621 SOS 751216 HAS SOPS 751216 HAS SOUS 604057 HAS SOUPS 604057 WITH SCORE 604808.216
AT ITER 8321 NEW BEST:: SOT 4388586 SOS 751181 HAS SOPS 751181 HAS SOUS 604022 HAS SOUPS 604022 WITH SCORE 604773.181
AT ITER 8328 NEW BEST:: SOT 4388586 SOS 751142 HAS SOPS 751142 HAS SOUS 603983 HAS SOUPS 603983 WITH SCORE 604734.142
AT ITER 8357 NEW BEST:: SOT 4388312 SOS 750594 HAS SOPS 750594 HAS SOUS 603435 HAS SOUPS 603435 WITH SCORE 604185.594
AT ITER 8377 NEW BEST:: SOT 4388277 SOS 750339 HAS SOPS 750339 HAS SOUS 603365 HAS SOUPS 603365 WITH SCORE 604115.339
AT ITER 8398 NEW BEST:: SOT 4388217 SOS 750219 HAS SOPS 750219 HAS SOUS 603305 HAS SOUPS 603305 WITH SCORE 604055.219
AT ITER 8425 NEW BEST:: SOT 4388015 SOS 750017 HAS SOPS 750017 HAS SOUS 603103 HAS SOUPS 603103 WITH SCORE 603853.017
AT ITER 8437 NEW BEST:: SOT 4388008 SOS 749936 HAS SOPS 749936 HAS SOUS 602947 HAS SOUPS 602947 WITH SCORE 603696.936
AT ITER 8466 NEW BEST:: SOT 4388008 SOS 749841 HAS SOPS 749841 HAS SOUS 602947 HAS SOUPS 602947 WITH SCORE 603696.841
AT ITER 8475 NEW BEST:: SOT 4387646 SOS 749117 HAS SOPS 749117 HAS SOUS 602223 HAS SOUPS 602223 WITH SCORE 602972.117
AT ITER 8481 NEW BEST:: SOT 4387672 SOS 749079 HAS SOPS 749079 HAS SOUS 602185 HAS SOUPS 602185 WITH SCORE 602934.079
AT ITER 8500 NEW BEST:: SOT 4387665 SOS 749065 HAS SOPS 749065 HAS SOUS 602171 HAS SOUPS 602171 WITH SCORE 602920.065
AT ITER 8505 NEW BEST:: SOT 4387531 SOS 748797 HAS SOPS 748797 HAS SOUS 602137 HAS SOUPS 602137 WITH SCORE 602885.797
AT ITER 8519 NEW BEST:: SOT 4387413 SOS 748784 HAS SOPS 748784 HAS SOUS 602051 HAS SOUPS 602051 WITH SCORE 602799.784
AT ITER 8534 NEW BEST:: SOT 4387367 SOS 748458 HAS SOPS 748458 HAS SOUS 601820 HAS SOUPS 601820 WITH SCORE 602568.458
AT ITER 8602 NEW BEST:: SOT 4387367 SOS 748292 HAS SOPS 748292 HAS SOUS 601820 HAS SOUPS 601820 WITH SCORE 602568.292
AT ITER 8656 NEW BEST:: SOT 4387212 SOS 747982 HAS SOPS 747982 HAS SOUS 601510 HAS SOUPS 601510 WITH SCORE 602257.982
AT ITER 8678 NEW BEST:: SOT 4387034 SOS 747407 HAS SOPS 747407 HAS SOUS 601154 HAS SOUPS 601154 WITH SCORE 601901.407
AT ITER 8706 NEW BEST:: SOT 4386994 SOS 747327 HAS SOPS 747327 HAS SOUS 601122 HAS SOUPS 601122 WITH SCORE 601869.327
AT ITER 8744 NEW BEST:: SOT 4386974 SOS 747287 HAS SOPS 747287 HAS SOUS 601102 HAS SOUPS 601102 WITH SCORE 601849.287
AT ITER 8802 NEW BEST:: SOT 4386930 SOS 747243 HAS SOPS 747243 HAS SOUS 601032 HAS SOUPS 601032 WITH SCORE 601779.243
AT ITER 8847 NEW BEST:: SOT 4386769 SOS 746921 HAS SOPS 746921 HAS SOUS 600710 HAS SOUPS 600710 WITH SCORE 601456.921
AT ITER 8888 NEW BEST:: SOT 4386653 SOS 746689 HAS SOPS 746689 HAS SOUS 600478 HAS SOUPS 600478 WITH SCORE 601224.689
AT ITER 8898 NEW BEST:: SOT 4386527 SOS 746608 HAS SOPS 746608 HAS SOUS 600371 HAS SOUPS 600371 WITH SCORE 601117.608
AT ITER 8943 NEW BEST:: SOT 4386389 SOS 746332 HAS SOPS 746332 HAS SOUS 600095 HAS SOUPS 600095 WITH SCORE 600841.332
AT ITER 8944 NEW BEST:: SOT 4386355 SOS 746315 HAS SOPS 746315 HAS SOUS 600019 HAS SOUPS 600019 WITH SCORE 600765.315
AT ITER 8969 NEW BEST:: SOT 4386317 SOS 746319 HAS SOPS 746319 HAS SOUS 599943 HAS SOUPS 599943 WITH SCORE 600689.319
AT ITER 9012 NEW BEST:: SOT 4386293 SOS 745838 HAS SOPS 745838 HAS SOUS 599583 HAS SOUPS 599583 WITH SCORE 600328.838
AT ITER 9020 NEW BEST:: SOT 4386292 SOS 745836 HAS SOPS 745836 HAS SOUS 599581 HAS SOUPS 599581 WITH SCORE 600326.836
AT ITER 9040 NEW BEST:: SOT 4386265 SOS 745782 HAS SOPS 745782 HAS SOUS 599527 HAS SOUPS 599527 WITH SCORE 600272.782
AT ITER 9068 NEW BEST:: SOT 4386290 SOS 745728 HAS SOPS 745728 HAS SOUS 599524 HAS SOUPS 599524 WITH SCORE 600269.728
AT ITER 9070 NEW BEST:: SOT 4386284 SOS 745148 HAS SOPS 745148 HAS SOUS 599512 HAS SOUPS 599512 WITH SCORE 600257.148
AT ITER 9092 NEW BEST:: SOT 4386284 SOS 745076 HAS SOPS 745076 HAS SOUS 599440 HAS SOUPS 599440 WITH SCORE 600185.076
AT ITER 9095 NEW BEST:: SOT 4386275 SOS 745058 HAS SOPS 745058 HAS SOUS 599430 HAS SOUPS 599430 WITH SCORE 600175.058
AT ITER 9107 NEW BEST:: SOT 4386288 SOS 745169 HAS SOPS 745169 HAS SOUS 599248 HAS SOUPS 599248 WITH SCORE 599993.169
AT ITER 9132 NEW BEST:: SOT 4386123 SOS 744839 HAS SOPS 744839 HAS SOUS 598918 HAS SOUPS 598918 WITH SCORE 599662.839
AT ITER 9175 NEW BEST:: SOT 4386107 SOS 744807 HAS SOPS 744807 HAS SOUS 598886 HAS SOUPS 598886 WITH SCORE 599630.807
AT ITER 9251 NEW BEST:: SOT 4386107 SOS 744653 HAS SOPS 744653 HAS SOUS 598809 HAS SOUPS 598809 WITH SCORE 599553.653
AT ITER 9283 NEW BEST:: SOT 4386073 SOS 744585 HAS SOPS 744585 HAS SOUS 598741 HAS SOUPS 598741 WITH SCORE 599485.585
AT ITER 9328 NEW BEST:: SOT 4386070 SOS 744579 HAS SOPS 744579 HAS SOUS 598738 HAS SOUPS 598738 WITH SCORE 599482.579
AT ITER 9397 NEW BEST:: SOT 4385936 SOS 744311 HAS SOPS 744311 HAS SOUS 598406 HAS SOUPS 598406 WITH SCORE 599150.311
AT ITER 9418 NEW BEST:: SOT 4385766 SOS 743971 HAS SOPS 743971 HAS SOUS 598236 HAS SOUPS 598236 WITH SCORE 598979.971
AT ITER 9436 NEW BEST:: SOT 4385752 SOS 743943 HAS SOPS 743943 HAS SOUS 598208 HAS SOUPS 598208 WITH SCORE 598951.943
AT ITER 9437 NEW BEST:: SOT 4385752 SOS 743748 HAS SOPS 743748 HAS SOUS 598208 HAS SOUPS 598208 WITH SCORE 598951.748
AT ITER 9453 NEW BEST:: SOT 4385750 SOS 743742 HAS SOPS 743742 HAS SOUS 598204 HAS SOUPS 598204 WITH SCORE 598947.742
AT ITER 9459 NEW BEST:: SOT 4385646 SOS 742216 HAS SOPS 742216 HAS SOUS 597932 HAS SOUPS 597932 WITH SCORE 598674.216
AT ITER 9501 NEW BEST:: SOT 4385625 SOS 742174 HAS SOPS 742174 HAS SOUS 597890 HAS SOUPS 597890 WITH SCORE 598632.174
AT ITER 9510 NEW BEST:: SOT 4385395 SOS 741714 HAS SOPS 741714 HAS SOUS 597430 HAS SOUPS 597430 WITH SCORE 598171.714
AT ITER 9534 NEW BEST:: SOT 4385447 SOS 741818 HAS SOPS 741818 HAS SOUS 597372 HAS SOUPS 597372 WITH SCORE 598113.818
AT ITER 9547 NEW BEST:: SOT 4385566 SOS 741800 HAS SOPS 741800 HAS SOUS 597354 HAS SOUPS 597354 WITH SCORE 598095.8
AT ITER 9561 NEW BEST:: SOT 4385500 SOS 741734 HAS SOPS 741734 HAS SOUS 597288 HAS SOUPS 597288 WITH SCORE 598029.734
AT ITER 9569 NEW BEST:: SOT 4385438 SOS 741808 HAS SOPS 741808 HAS SOUS 597226 HAS SOUPS 597226 WITH SCORE 597967.808
AT ITER 9608 NEW BEST:: SOT 4385389 SOS 741800 HAS SOPS 741800 HAS SOUS 597203 HAS SOUPS 597203 WITH SCORE 597944.8
AT ITER 9618 NEW BEST:: SOT 4385160 SOS 741480 HAS SOPS 741480 HAS SOUS 596709 HAS SOUPS 596709 WITH SCORE 597450.48
AT ITER 9625 NEW BEST:: SOT 4385152 SOS 741464 HAS SOPS 741464 HAS SOUS 596693 HAS SOUPS 596693 WITH SCORE 597434.464
AT ITER 9642 NEW BEST:: SOT 4385013 SOS 747226 HAS SOPS 747226 HAS SOUS 596659 HAS SOUPS 596659 WITH SCORE 597406.226
AT ITER 9645 NEW BEST:: SOT 4385028 SOS 747256 HAS SOPS 747256 HAS SOUS 596650 HAS SOUPS 596650 WITH SCORE 597397.256
AT ITER 9699 NEW BEST:: SOT 4385028 SOS 747256 HAS SOPS 747256 HAS SOUS 596647 HAS SOUPS 596647 WITH SCORE 597394.256
AT ITER 9741 NEW BEST:: SOT 4385027 SOS 746956 HAS SOPS 746956 HAS SOUS 596645 HAS SOUPS 596645 WITH SCORE 597391.956
AT ITER 9767 NEW BEST:: SOT 4384975 SOS 746852 HAS SOPS 746852 HAS SOUS 596583 HAS SOUPS 596583 WITH SCORE 597329.852
AT ITER 9800 NEW BEST:: SOT 4384975 SOS 746819 HAS SOPS 746819 HAS SOUS 596550 HAS SOUPS 596550 WITH SCORE 597296.819
AT ITER 9806 NEW BEST:: SOT 4384940 SOS 746784 HAS SOPS 746784 HAS SOUS 596480 HAS SOUPS 596480 WITH SCORE 597226.784
AT ITER 9823 NEW BEST:: SOT 4384994 SOS 746512 HAS SOPS 746512 HAS SOUS 596371 HAS SOUPS 596371 WITH SCORE 597117.512
AT ITER 9826 NEW BEST:: SOT 4384759 SOS 746179 HAS SOPS 746179 HAS SOUS 596038 HAS SOUPS 596038 WITH SCORE 596784.179
AT ITER 9827 NEW BEST:: SOT 4384680 SOS 746021 HAS SOPS 746021 HAS SOUS 595890 HAS SOUPS 595890 WITH SCORE 596636.021
AT ITER 9848 NEW BEST:: SOT 4384602 SOS 745865 HAS SOPS 745865 HAS SOUS 595734 HAS SOUPS 595734 WITH SCORE 596479.865
AT ITER 9864 NEW BEST:: SOT 4384531 SOS 745723 HAS SOPS 745723 HAS SOUS 595592 HAS SOUPS 595592 WITH SCORE 596337.723
AT ITER 9881 NEW BEST:: SOT 4384503 SOS 745667 HAS SOPS 745667 HAS SOUS 595536 HAS SOUPS 595536 WITH SCORE 596281.667
AT ITER 9891 NEW BEST:: SOT 4384514 SOS 745645 HAS SOPS 745645 HAS SOUS 595536 HAS SOUPS 595536 WITH SCORE 596281.645
AT ITER 9926 NEW BEST:: SOT 4384490 SOS 745597 HAS SOPS 745597 HAS SOUS 595488 HAS SOUPS 595488 WITH SCORE 596233.597
AT ITER 9942 NEW BEST:: SOT 4384490 SOS 745516 HAS SOPS 745516 HAS SOUS 595407 HAS SOUPS 595407 WITH SCORE 596152.516
AT ITER 9988 NEW BEST:: SOT 4384438 SOS 745477 HAS SOPS 745477 HAS SOUS 595368 HAS SOUPS 595368 WITH SCORE 596113.477
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 11614532 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16121384 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-306"
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-306, 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-167814483700048"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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