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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 5.2K Feb 25 11:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 48K Feb 25 11:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.3K Feb 25 11:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 58K 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 4.0K Feb 25 15:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 15:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 25 11:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 167K Feb 25 11:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.0K Feb 25 11:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 66K 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 1678329239108

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-313
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 02:34:00] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 02:34:00] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 02:34:00] [INFO ] Load time of PNML (sax parser for PT used): 136 ms
[2023-03-09 02:34:00] [INFO ] Transformed 2585 places.
[2023-03-09 02:34:00] [INFO ] Transformed 3095 transitions.
[2023-03-09 02:34:00] [INFO ] Found NUPN structural information;
[2023-03-09 02:34:00] [INFO ] Parsed PT model containing 2585 places and 3095 transitions and 6463 arcs in 216 ms.
[2023-03-09 02:34:00] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 2585 places, 3095 transitions and 6463 arcs took 26 ms.
Total runtime 272 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 313
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: 2585 places, 3095 transitions, 6463 arcs.
AT ITER 0 NEW BEST:: SOT 4448374 SOS 744561 HAS SOPS 744561 HAS SOUS 686887 HAS SOUPS 686887 WITH SCORE 687631.561
AT ITER 13 NEW BEST:: SOT 4448199 SOS 744385 HAS SOPS 744385 HAS SOUS 686711 HAS SOUPS 686711 WITH SCORE 687455.385
AT ITER 56 NEW BEST:: SOT 4448177 SOS 744385 HAS SOPS 744385 HAS SOUS 686689 HAS SOUPS 686689 WITH SCORE 687433.385
AT ITER 69 NEW BEST:: SOT 4447807 SOS 744014 HAS SOPS 744014 HAS SOUS 686318 HAS SOUPS 686318 WITH SCORE 687062.014
AT ITER 75 NEW BEST:: SOT 4447319 SOS 743934 HAS SOPS 743934 HAS SOUS 685993 HAS SOUPS 685993 WITH SCORE 686736.934
AT ITER 100 NEW BEST:: SOT 4447391 SOS 743726 HAS SOPS 743726 HAS SOUS 685923 HAS SOUPS 685923 WITH SCORE 686666.726
AT ITER 104 NEW BEST:: SOT 4447136 SOS 744640 HAS SOPS 744640 HAS SOUS 685893 HAS SOUPS 685893 WITH SCORE 686637.64
AT ITER 156 NEW BEST:: SOT 4447022 SOS 744675 HAS SOPS 744675 HAS SOUS 685854 HAS SOUPS 685854 WITH SCORE 686598.675
AT ITER 176 NEW BEST:: SOT 4447021 SOS 744673 HAS SOPS 744673 HAS SOUS 685852 HAS SOUPS 685852 WITH SCORE 686596.673
AT ITER 188 NEW BEST:: SOT 4446930 SOS 744491 HAS SOPS 744491 HAS SOUS 685670 HAS SOUPS 685670 WITH SCORE 686414.491
AT ITER 199 NEW BEST:: SOT 4446930 SOS 744302 HAS SOPS 744302 HAS SOUS 685670 HAS SOUPS 685670 WITH SCORE 686414.302
AT ITER 231 NEW BEST:: SOT 4446748 SOS 744212 HAS SOPS 744212 HAS SOUS 685536 HAS SOUPS 685536 WITH SCORE 686280.212
AT ITER 239 NEW BEST:: SOT 4446216 SOS 743465 HAS SOPS 743465 HAS SOUS 684701 HAS SOUPS 684701 WITH SCORE 685444.465
AT ITER 242 NEW BEST:: SOT 4445909 SOS 742851 HAS SOPS 742851 HAS SOUS 684122 HAS SOUPS 684122 WITH SCORE 684864.851
AT ITER 282 NEW BEST:: SOT 4445943 SOS 742919 HAS SOPS 742919 HAS SOUS 684049 HAS SOUPS 684049 WITH SCORE 684791.919
AT ITER 288 NEW BEST:: SOT 4445641 SOS 742315 HAS SOPS 742315 HAS SOUS 683445 HAS SOUPS 683445 WITH SCORE 684187.315
AT ITER 312 NEW BEST:: SOT 4445635 SOS 742199 HAS SOPS 742199 HAS SOUS 683387 HAS SOUPS 683387 WITH SCORE 684129.199
AT ITER 321 NEW BEST:: SOT 4445634 SOS 742197 HAS SOPS 742197 HAS SOUS 683386 HAS SOUPS 683386 WITH SCORE 684128.197
AT ITER 325 NEW BEST:: SOT 4445485 SOS 742048 HAS SOPS 742048 HAS SOUS 683237 HAS SOUPS 683237 WITH SCORE 683979.048
AT ITER 332 NEW BEST:: SOT 4445575 SOS 742228 HAS SOPS 742228 HAS SOUS 683028 HAS SOUPS 683028 WITH SCORE 683770.228
AT ITER 356 NEW BEST:: SOT 4445245 SOS 741568 HAS SOPS 741568 HAS SOUS 682368 HAS SOUPS 682368 WITH SCORE 683109.568
AT ITER 369 NEW BEST:: SOT 4445237 SOS 741615 HAS SOPS 741615 HAS SOUS 682360 HAS SOUPS 682360 WITH SCORE 683101.615
AT ITER 378 NEW BEST:: SOT 4445217 SOS 741555 HAS SOPS 741555 HAS SOUS 682320 HAS SOUPS 682320 WITH SCORE 683061.555
AT ITER 434 NEW BEST:: SOT 4444955 SOS 741031 HAS SOPS 741031 HAS SOUS 681796 HAS SOUPS 681796 WITH SCORE 682537.031
AT ITER 435 NEW BEST:: SOT 4444715 SOS 740551 HAS SOPS 740551 HAS SOUS 681316 HAS SOUPS 681316 WITH SCORE 682056.551
AT ITER 460 NEW BEST:: SOT 4444714 SOS 740549 HAS SOPS 740549 HAS SOUS 681314 HAS SOUPS 681314 WITH SCORE 682054.549
AT ITER 472 NEW BEST:: SOT 4443939 SOS 741450 HAS SOPS 741450 HAS SOUS 681094 HAS SOUPS 681094 WITH SCORE 681835.45
AT ITER 480 NEW BEST:: SOT 4443894 SOS 741405 HAS SOPS 741405 HAS SOUS 681049 HAS SOUPS 681049 WITH SCORE 681790.405
AT ITER 520 NEW BEST:: SOT 4443704 SOS 741025 HAS SOPS 741025 HAS SOUS 680530 HAS SOUPS 680530 WITH SCORE 681271.025
AT ITER 528 NEW BEST:: SOT 4443476 SOS 740873 HAS SOPS 740873 HAS SOUS 680329 HAS SOUPS 680329 WITH SCORE 681069.873
AT ITER 533 NEW BEST:: SOT 4443440 SOS 740801 HAS SOPS 740801 HAS SOUS 680257 HAS SOUPS 680257 WITH SCORE 680997.801
AT ITER 544 NEW BEST:: SOT 4443274 SOS 740469 HAS SOPS 740469 HAS SOUS 679925 HAS SOUPS 679925 WITH SCORE 680665.469
AT ITER 549 NEW BEST:: SOT 4443274 SOS 740398 HAS SOPS 740398 HAS SOUS 679924 HAS SOUPS 679924 WITH SCORE 680664.398
AT ITER 563 NEW BEST:: SOT 4443114 SOS 740078 HAS SOPS 740078 HAS SOUS 679604 HAS SOUPS 679604 WITH SCORE 680344.078
AT ITER 564 NEW BEST:: SOT 4442992 SOS 739956 HAS SOPS 739956 HAS SOUS 679482 HAS SOUPS 679482 WITH SCORE 680221.956
AT ITER 582 NEW BEST:: SOT 4441547 SOS 756848 HAS SOPS 756848 HAS SOUS 678776 HAS SOUPS 678776 WITH SCORE 679532.848
AT ITER 584 NEW BEST:: SOT 4441368 SOS 756490 HAS SOPS 756490 HAS SOUS 678418 HAS SOUPS 678418 WITH SCORE 679174.49
AT ITER 590 NEW BEST:: SOT 4441105 SOS 756518 HAS SOPS 756518 HAS SOUS 678253 HAS SOUPS 678253 WITH SCORE 679009.518
AT ITER 604 NEW BEST:: SOT 4441062 SOS 756432 HAS SOPS 756432 HAS SOUS 678167 HAS SOUPS 678167 WITH SCORE 678923.432
AT ITER 605 NEW BEST:: SOT 4440966 SOS 756336 HAS SOPS 756336 HAS SOUS 678071 HAS SOUPS 678071 WITH SCORE 678827.336
AT ITER 646 NEW BEST:: SOT 4440938 SOS 756308 HAS SOPS 756308 HAS SOUS 678070 HAS SOUPS 678070 WITH SCORE 678826.308
AT ITER 654 NEW BEST:: SOT 4440845 SOS 756122 HAS SOPS 756122 HAS SOUS 677884 HAS SOUPS 677884 WITH SCORE 678640.122
AT ITER 658 NEW BEST:: SOT 4440782 SOS 756070 HAS SOPS 756070 HAS SOUS 677832 HAS SOUPS 677832 WITH SCORE 678588.07
AT ITER 675 NEW BEST:: SOT 4440715 SOS 756003 HAS SOPS 756003 HAS SOUS 677764 HAS SOUPS 677764 WITH SCORE 678520.003
AT ITER 686 NEW BEST:: SOT 4440189 SOS 755477 HAS SOPS 755477 HAS SOUS 677238 HAS SOUPS 677238 WITH SCORE 677993.477
AT ITER 719 NEW BEST:: SOT 4440189 SOS 755477 HAS SOPS 755477 HAS SOUS 677105 HAS SOUPS 677105 WITH SCORE 677860.477
AT ITER 728 NEW BEST:: SOT 4439851 SOS 755139 HAS SOPS 755139 HAS SOUS 676767 HAS SOUPS 676767 WITH SCORE 677522.139
AT ITER 745 NEW BEST:: SOT 4439851 SOS 754753 HAS SOPS 754753 HAS SOUS 676767 HAS SOUPS 676767 WITH SCORE 677521.753
AT ITER 751 NEW BEST:: SOT 4439667 SOS 754385 HAS SOPS 754385 HAS SOUS 676399 HAS SOUPS 676399 WITH SCORE 677153.385
AT ITER 752 NEW BEST:: SOT 4439009 SOS 754677 HAS SOPS 754677 HAS SOUS 675631 HAS SOUPS 675631 WITH SCORE 676385.677
AT ITER 758 NEW BEST:: SOT 4439008 SOS 754675 HAS SOPS 754675 HAS SOUS 675629 HAS SOUPS 675629 WITH SCORE 676383.675
AT ITER 761 NEW BEST:: SOT 4439008 SOS 754675 HAS SOPS 754675 HAS SOUS 675628 HAS SOUPS 675628 WITH SCORE 676382.675
AT ITER 766 NEW BEST:: SOT 4439008 SOS 754649 HAS SOPS 754649 HAS SOUS 675602 HAS SOUPS 675602 WITH SCORE 676356.649
AT ITER 830 NEW BEST:: SOT 4439284 SOS 754152 HAS SOPS 754152 HAS SOUS 675218 HAS SOUPS 675218 WITH SCORE 675972.152
AT ITER 835 NEW BEST:: SOT 4439093 SOS 753770 HAS SOPS 753770 HAS SOUS 675048 HAS SOUPS 675048 WITH SCORE 675801.77
AT ITER 842 NEW BEST:: SOT 4439093 SOS 753592 HAS SOPS 753592 HAS SOUS 674870 HAS SOUPS 674870 WITH SCORE 675623.592
AT ITER 855 NEW BEST:: SOT 4439086 SOS 753578 HAS SOPS 753578 HAS SOUS 674856 HAS SOUPS 674856 WITH SCORE 675609.578
AT ITER 858 NEW BEST:: SOT 4439004 SOS 753500 HAS SOPS 753500 HAS SOUS 674774 HAS SOUPS 674774 WITH SCORE 675527.5
AT ITER 873 NEW BEST:: SOT 4438751 SOS 752994 HAS SOPS 752994 HAS SOUS 674520 HAS SOUPS 674520 WITH SCORE 675272.994
AT ITER 882 NEW BEST:: SOT 4438751 SOS 752932 HAS SOPS 752932 HAS SOUS 674458 HAS SOUPS 674458 WITH SCORE 675210.932
AT ITER 886 NEW BEST:: SOT 4438722 SOS 752874 HAS SOPS 752874 HAS SOUS 674400 HAS SOUPS 674400 WITH SCORE 675152.874
AT ITER 894 NEW BEST:: SOT 4438742 SOS 752914 HAS SOPS 752914 HAS SOUS 674318 HAS SOUPS 674318 WITH SCORE 675070.914
AT ITER 902 NEW BEST:: SOT 4438597 SOS 752898 HAS SOPS 752898 HAS SOUS 674296 HAS SOUPS 674296 WITH SCORE 675048.898
AT ITER 905 NEW BEST:: SOT 4438439 SOS 752582 HAS SOPS 752582 HAS SOUS 673898 HAS SOUPS 673898 WITH SCORE 674650.582
AT ITER 908 NEW BEST:: SOT 4438439 SOS 752413 HAS SOPS 752413 HAS SOUS 673898 HAS SOUPS 673898 WITH SCORE 674650.413
AT ITER 915 NEW BEST:: SOT 4438438 SOS 752411 HAS SOPS 752411 HAS SOUS 673896 HAS SOUPS 673896 WITH SCORE 674648.411
AT ITER 916 NEW BEST:: SOT 4438576 SOS 752549 HAS SOPS 752549 HAS SOUS 673767 HAS SOUPS 673767 WITH SCORE 674519.549
AT ITER 917 NEW BEST:: SOT 4438576 SOS 752278 HAS SOPS 752278 HAS SOUS 673766 HAS SOUPS 673766 WITH SCORE 674518.278
AT ITER 947 NEW BEST:: SOT 4438575 SOS 752276 HAS SOPS 752276 HAS SOUS 673764 HAS SOUPS 673764 WITH SCORE 674516.276
AT ITER 951 NEW BEST:: SOT 4438297 SOS 752120 HAS SOPS 752120 HAS SOUS 673495 HAS SOUPS 673495 WITH SCORE 674247.12
AT ITER 955 NEW BEST:: SOT 4438023 SOS 751846 HAS SOPS 751846 HAS SOUS 673463 HAS SOUPS 673463 WITH SCORE 674214.846
AT ITER 971 NEW BEST:: SOT 4437943 SOS 751686 HAS SOPS 751686 HAS SOUS 673303 HAS SOUPS 673303 WITH SCORE 674054.686
AT ITER 972 NEW BEST:: SOT 4437940 SOS 751605 HAS SOPS 751605 HAS SOUS 673300 HAS SOUPS 673300 WITH SCORE 674051.605
AT ITER 980 NEW BEST:: SOT 4437714 SOS 751320 HAS SOPS 751320 HAS SOUS 672933 HAS SOUPS 672933 WITH SCORE 673684.32
AT ITER 1008 NEW BEST:: SOT 4437663 SOS 751218 HAS SOPS 751218 HAS SOUS 672882 HAS SOUPS 672882 WITH SCORE 673633.218
AT ITER 1031 NEW BEST:: SOT 4437396 SOS 751085 HAS SOPS 751085 HAS SOUS 672485 HAS SOUPS 672485 WITH SCORE 673236.085
AT ITER 1068 NEW BEST:: SOT 4437390 SOS 751073 HAS SOPS 751073 HAS SOUS 672473 HAS SOUPS 672473 WITH SCORE 673224.073
AT ITER 1070 NEW BEST:: SOT 4437185 SOS 750868 HAS SOPS 750868 HAS SOUS 672268 HAS SOUPS 672268 WITH SCORE 673018.868
AT ITER 1080 NEW BEST:: SOT 4433992 SOS 749843 HAS SOPS 749843 HAS SOUS 669508 HAS SOUPS 669508 WITH SCORE 670257.843
AT ITER 1088 NEW BEST:: SOT 4433992 SOS 749799 HAS SOPS 749799 HAS SOUS 669508 HAS SOUPS 669508 WITH SCORE 670257.799
AT ITER 1104 NEW BEST:: SOT 4433992 SOS 749799 HAS SOPS 749799 HAS SOUS 669447 HAS SOUPS 669447 WITH SCORE 670196.799
AT ITER 1107 NEW BEST:: SOT 4434180 SOS 749824 HAS SOPS 749824 HAS SOUS 669380 HAS SOUPS 669380 WITH SCORE 670129.824
AT ITER 1120 NEW BEST:: SOT 4434070 SOS 749967 HAS SOPS 749967 HAS SOUS 669336 HAS SOUPS 669336 WITH SCORE 670085.967
AT ITER 1133 NEW BEST:: SOT 4434040 SOS 749975 HAS SOPS 749975 HAS SOUS 669317 HAS SOUPS 669317 WITH SCORE 670066.975
AT ITER 1137 NEW BEST:: SOT 4433907 SOS 749847 HAS SOPS 749847 HAS SOUS 669189 HAS SOUPS 669189 WITH SCORE 669938.847
AT ITER 1165 NEW BEST:: SOT 4434252 SOS 749697 HAS SOPS 749697 HAS SOUS 669161 HAS SOUPS 669161 WITH SCORE 669910.697
AT ITER 1177 NEW BEST:: SOT 4434252 SOS 749683 HAS SOPS 749683 HAS SOUS 669147 HAS SOUPS 669147 WITH SCORE 669896.683
AT ITER 1190 NEW BEST:: SOT 4434251 SOS 750095 HAS SOPS 750095 HAS SOUS 669146 HAS SOUPS 669146 WITH SCORE 669896.095
AT ITER 1208 NEW BEST:: SOT 4434304 SOS 750093 HAS SOPS 750093 HAS SOUS 669091 HAS SOUPS 669091 WITH SCORE 669841.093
AT ITER 1213 NEW BEST:: SOT 4434111 SOS 749707 HAS SOPS 749707 HAS SOUS 668705 HAS SOUPS 668705 WITH SCORE 669454.707
AT ITER 1217 NEW BEST:: SOT 4433840 SOS 749165 HAS SOPS 749165 HAS SOUS 668163 HAS SOUPS 668163 WITH SCORE 668912.165
AT ITER 1223 NEW BEST:: SOT 4433709 SOS 748903 HAS SOPS 748903 HAS SOUS 667904 HAS SOUPS 667904 WITH SCORE 668652.903
AT ITER 1231 NEW BEST:: SOT 4433709 SOS 748871 HAS SOPS 748871 HAS SOUS 667872 HAS SOUPS 667872 WITH SCORE 668620.871
AT ITER 1238 NEW BEST:: SOT 4433703 SOS 748703 HAS SOPS 748703 HAS SOUS 667708 HAS SOUPS 667708 WITH SCORE 668456.703
AT ITER 1240 NEW BEST:: SOT 4433703 SOS 748409 HAS SOPS 748409 HAS SOUS 667414 HAS SOUPS 667414 WITH SCORE 668162.409
AT ITER 1243 NEW BEST:: SOT 4433435 SOS 747873 HAS SOPS 747873 HAS SOUS 666748 HAS SOUPS 666748 WITH SCORE 667495.873
AT ITER 1296 NEW BEST:: SOT 4433153 SOS 747497 HAS SOPS 747497 HAS SOUS 666372 HAS SOUPS 666372 WITH SCORE 667119.497
AT ITER 1333 NEW BEST:: SOT 4433153 SOS 747497 HAS SOPS 747497 HAS SOUS 666208 HAS SOUPS 666208 WITH SCORE 666955.497
AT ITER 1336 NEW BEST:: SOT 4433131 SOS 747453 HAS SOPS 747453 HAS SOUS 666164 HAS SOUPS 666164 WITH SCORE 666911.453
AT ITER 1347 NEW BEST:: SOT 4433026 SOS 747470 HAS SOPS 747470 HAS SOUS 666151 HAS SOUPS 666151 WITH SCORE 666898.47
AT ITER 1369 NEW BEST:: SOT 4433014 SOS 747446 HAS SOPS 747446 HAS SOUS 666127 HAS SOUPS 666127 WITH SCORE 666874.446
AT ITER 1388 NEW BEST:: SOT 4433003 SOS 747559 HAS SOPS 747559 HAS SOUS 666116 HAS SOUPS 666116 WITH SCORE 666863.559
AT ITER 1404 NEW BEST:: SOT 4432963 SOS 747479 HAS SOPS 747479 HAS SOUS 666036 HAS SOUPS 666036 WITH SCORE 666783.479
AT ITER 1416 NEW BEST:: SOT 4432963 SOS 747479 HAS SOPS 747479 HAS SOUS 665979 HAS SOUPS 665979 WITH SCORE 666726.479
AT ITER 1425 NEW BEST:: SOT 4433051 SOS 747655 HAS SOPS 747655 HAS SOUS 665769 HAS SOUPS 665769 WITH SCORE 666516.655
AT ITER 1429 NEW BEST:: SOT 4432936 SOS 747540 HAS SOPS 747540 HAS SOUS 665654 HAS SOUPS 665654 WITH SCORE 666401.54
AT ITER 1436 NEW BEST:: SOT 4432936 SOS 747446 HAS SOPS 747446 HAS SOUS 665560 HAS SOUPS 665560 WITH SCORE 666307.446
AT ITER 1455 NEW BEST:: SOT 4432935 SOS 747444 HAS SOPS 747444 HAS SOUS 665558 HAS SOUPS 665558 WITH SCORE 666305.444
AT ITER 1488 NEW BEST:: SOT 4432891 SOS 747356 HAS SOPS 747356 HAS SOUS 665514 HAS SOUPS 665514 WITH SCORE 666261.356
AT ITER 1491 NEW BEST:: SOT 4432647 SOS 747206 HAS SOPS 747206 HAS SOUS 665147 HAS SOUPS 665147 WITH SCORE 665894.206
AT ITER 1509 NEW BEST:: SOT 4432483 SOS 746878 HAS SOPS 746878 HAS SOUS 664877 HAS SOUPS 664877 WITH SCORE 665623.878
AT ITER 1516 NEW BEST:: SOT 4432429 SOS 747148 HAS SOPS 747148 HAS SOUS 664769 HAS SOUPS 664769 WITH SCORE 665516.148
AT ITER 1523 NEW BEST:: SOT 4431875 SOS 747744 HAS SOPS 747744 HAS SOUS 664479 HAS SOUPS 664479 WITH SCORE 665226.744
AT ITER 1569 NEW BEST:: SOT 4431408 SOS 747390 HAS SOPS 747390 HAS SOUS 664125 HAS SOUPS 664125 WITH SCORE 664872.39
AT ITER 1577 NEW BEST:: SOT 4431408 SOS 747317 HAS SOPS 747317 HAS SOUS 664125 HAS SOUPS 664125 WITH SCORE 664872.317
AT ITER 1679 NEW BEST:: SOT 4431397 SOS 747295 HAS SOPS 747295 HAS SOUS 664114 HAS SOUPS 664114 WITH SCORE 664861.295
AT ITER 1686 NEW BEST:: SOT 4431396 SOS 747293 HAS SOPS 747293 HAS SOUS 664112 HAS SOUPS 664112 WITH SCORE 664859.293
AT ITER 1695 NEW BEST:: SOT 4431250 SOS 747147 HAS SOPS 747147 HAS SOUS 663966 HAS SOUPS 663966 WITH SCORE 664713.147
AT ITER 1700 NEW BEST:: SOT 4431205 SOS 747141 HAS SOPS 747141 HAS SOUS 663960 HAS SOUPS 663960 WITH SCORE 664707.141
AT ITER 1714 NEW BEST:: SOT 4431134 SOS 747070 HAS SOPS 747070 HAS SOUS 663889 HAS SOUPS 663889 WITH SCORE 664636.07
AT ITER 1726 NEW BEST:: SOT 4430916 SOS 746912 HAS SOPS 746912 HAS SOUS 663647 HAS SOUPS 663647 WITH SCORE 664393.912
AT ITER 1747 NEW BEST:: SOT 4430710 SOS 746500 HAS SOPS 746500 HAS SOUS 663235 HAS SOUPS 663235 WITH SCORE 663981.5
AT ITER 1769 NEW BEST:: SOT 4430707 SOS 746494 HAS SOPS 746494 HAS SOUS 663229 HAS SOUPS 663229 WITH SCORE 663975.494
AT ITER 1804 NEW BEST:: SOT 4430595 SOS 746270 HAS SOPS 746270 HAS SOUS 663005 HAS SOUPS 663005 WITH SCORE 663751.27
AT ITER 1810 NEW BEST:: SOT 4430444 SOS 745968 HAS SOPS 745968 HAS SOUS 662703 HAS SOUPS 662703 WITH SCORE 663448.968
AT ITER 1832 NEW BEST:: SOT 4430180 SOS 745704 HAS SOPS 745704 HAS SOUS 662653 HAS SOUPS 662653 WITH SCORE 663398.704
AT ITER 1839 NEW BEST:: SOT 4430180 SOS 745704 HAS SOPS 745704 HAS SOUS 662652 HAS SOUPS 662652 WITH SCORE 663397.704
AT ITER 1857 NEW BEST:: SOT 4429787 SOS 744918 HAS SOPS 744918 HAS SOUS 661866 HAS SOUPS 661866 WITH SCORE 662610.918
AT ITER 1868 NEW BEST:: SOT 4429814 SOS 744693 HAS SOPS 744693 HAS SOUS 661650 HAS SOUPS 661650 WITH SCORE 662394.693
AT ITER 1871 NEW BEST:: SOT 4429814 SOS 744476 HAS SOPS 744476 HAS SOUS 661650 HAS SOUPS 661650 WITH SCORE 662394.476
AT ITER 1888 NEW BEST:: SOT 4429676 SOS 744062 HAS SOPS 744062 HAS SOUS 661374 HAS SOUPS 661374 WITH SCORE 662118.062
AT ITER 1908 NEW BEST:: SOT 4429676 SOS 743993 HAS SOPS 743993 HAS SOUS 661374 HAS SOUPS 661374 WITH SCORE 662117.993
AT ITER 1945 NEW BEST:: SOT 4428988 SOS 743817 HAS SOPS 743817 HAS SOUS 660783 HAS SOUPS 660783 WITH SCORE 661526.817
AT ITER 1968 NEW BEST:: SOT 4428988 SOS 743601 HAS SOPS 743601 HAS SOUS 660783 HAS SOUPS 660783 WITH SCORE 661526.601
AT ITER 1970 NEW BEST:: SOT 4428863 SOS 743351 HAS SOPS 743351 HAS SOUS 660658 HAS SOUPS 660658 WITH SCORE 661401.351
AT ITER 1994 NEW BEST:: SOT 4428714 SOS 743202 HAS SOPS 743202 HAS SOUS 660509 HAS SOUPS 660509 WITH SCORE 661252.202
AT ITER 1997 NEW BEST:: SOT 4428642 SOS 743058 HAS SOPS 743058 HAS SOUS 660365 HAS SOUPS 660365 WITH SCORE 661108.058
AT ITER 2003 NEW BEST:: SOT 4428689 SOS 742906 HAS SOPS 742906 HAS SOUS 660328 HAS SOUPS 660328 WITH SCORE 661070.906
AT ITER 2005 NEW BEST:: SOT 4428827 SOS 742690 HAS SOPS 742690 HAS SOUS 660308 HAS SOUPS 660308 WITH SCORE 661050.69
AT ITER 2009 NEW BEST:: SOT 4428793 SOS 742622 HAS SOPS 742622 HAS SOUS 660305 HAS SOUPS 660305 WITH SCORE 661047.622
AT ITER 2015 NEW BEST:: SOT 4428793 SOS 742607 HAS SOPS 742607 HAS SOUS 660305 HAS SOUPS 660305 WITH SCORE 661047.607
AT ITER 2027 NEW BEST:: SOT 4428793 SOS 742493 HAS SOPS 742493 HAS SOUS 660305 HAS SOUPS 660305 WITH SCORE 661047.493
AT ITER 2066 NEW BEST:: SOT 4428726 SOS 742204 HAS SOPS 742204 HAS SOUS 660083 HAS SOUPS 660083 WITH SCORE 660825.204
AT ITER 2068 NEW BEST:: SOT 4428541 SOS 741985 HAS SOPS 741985 HAS SOUS 660015 HAS SOUPS 660015 WITH SCORE 660756.985
AT ITER 2078 NEW BEST:: SOT 4428403 SOS 741709 HAS SOPS 741709 HAS SOUS 659739 HAS SOUPS 659739 WITH SCORE 660480.709
AT ITER 2081 NEW BEST:: SOT 4428331 SOS 741565 HAS SOPS 741565 HAS SOUS 659595 HAS SOUPS 659595 WITH SCORE 660336.565
AT ITER 2085 NEW BEST:: SOT 4426899 SOS 741004 HAS SOPS 741004 HAS SOUS 658248 HAS SOUPS 658248 WITH SCORE 658989.004
AT ITER 2096 NEW BEST:: SOT 4426309 SOS 740414 HAS SOPS 740414 HAS SOUS 657658 HAS SOUPS 657658 WITH SCORE 658398.414
AT ITER 2116 NEW BEST:: SOT 4426092 SOS 740197 HAS SOPS 740197 HAS SOUS 657441 HAS SOUPS 657441 WITH SCORE 658181.197
AT ITER 2121 NEW BEST:: SOT 4425982 SOS 739977 HAS SOPS 739977 HAS SOUS 657280 HAS SOUPS 657280 WITH SCORE 658019.977
AT ITER 2129 NEW BEST:: SOT 4425482 SOS 739555 HAS SOPS 739555 HAS SOUS 656822 HAS SOUPS 656822 WITH SCORE 657561.555
AT ITER 2175 NEW BEST:: SOT 4425482 SOS 739507 HAS SOPS 739507 HAS SOUS 656822 HAS SOUPS 656822 WITH SCORE 657561.507
AT ITER 2181 NEW BEST:: SOT 4425283 SOS 739308 HAS SOPS 739308 HAS SOUS 656623 HAS SOUPS 656623 WITH SCORE 657362.308
AT ITER 2186 NEW BEST:: SOT 4425128 SOS 739200 HAS SOPS 739200 HAS SOUS 656465 HAS SOUPS 656465 WITH SCORE 657204.2
AT ITER 2197 NEW BEST:: SOT 4425054 SOS 739052 HAS SOPS 739052 HAS SOUS 656391 HAS SOUPS 656391 WITH SCORE 657130.052
AT ITER 2201 NEW BEST:: SOT 4425027 SOS 738998 HAS SOPS 738998 HAS SOUS 656361 HAS SOUPS 656361 WITH SCORE 657099.998
AT ITER 2203 NEW BEST:: SOT 4424946 SOS 738998 HAS SOPS 738998 HAS SOUS 656334 HAS SOUPS 656334 WITH SCORE 657072.998
AT ITER 2217 NEW BEST:: SOT 4424946 SOS 738512 HAS SOPS 738512 HAS SOUS 656090 HAS SOUPS 656090 WITH SCORE 656828.512
AT ITER 2233 NEW BEST:: SOT 4424961 SOS 738526 HAS SOPS 738526 HAS SOUS 656088 HAS SOUPS 656088 WITH SCORE 656826.526
AT ITER 2240 NEW BEST:: SOT 4424762 SOS 738128 HAS SOPS 738128 HAS SOUS 655659 HAS SOUPS 655659 WITH SCORE 656397.128
AT ITER 2242 NEW BEST:: SOT 4424733 SOS 738070 HAS SOPS 738070 HAS SOUS 655571 HAS SOUPS 655571 WITH SCORE 656309.07
AT ITER 2249 NEW BEST:: SOT 4424733 SOS 737773 HAS SOPS 737773 HAS SOUS 655571 HAS SOUPS 655571 WITH SCORE 656308.773
AT ITER 2288 NEW BEST:: SOT 4424733 SOS 737673 HAS SOPS 737673 HAS SOUS 655571 HAS SOUPS 655571 WITH SCORE 656308.673
AT ITER 2328 NEW BEST:: SOT 4424726 SOS 737659 HAS SOPS 737659 HAS SOUS 655557 HAS SOUPS 655557 WITH SCORE 656294.659
AT ITER 2341 NEW BEST:: SOT 4424726 SOS 737598 HAS SOPS 737598 HAS SOUS 655496 HAS SOUPS 655496 WITH SCORE 656233.598
AT ITER 2362 NEW BEST:: SOT 4424575 SOS 737447 HAS SOPS 737447 HAS SOUS 655345 HAS SOUPS 655345 WITH SCORE 656082.447
AT ITER 2390 NEW BEST:: SOT 4424431 SOS 737255 HAS SOPS 737255 HAS SOUS 655153 HAS SOUPS 655153 WITH SCORE 655890.255
AT ITER 2432 NEW BEST:: SOT 4424900 SOS 736971 HAS SOPS 736971 HAS SOUS 655080 HAS SOUPS 655080 WITH SCORE 655816.971
AT ITER 2440 NEW BEST:: SOT 4424833 SOS 737209 HAS SOPS 737209 HAS SOUS 655013 HAS SOUPS 655013 WITH SCORE 655750.209
AT ITER 2442 NEW BEST:: SOT 4424487 SOS 736705 HAS SOPS 736705 HAS SOUS 654509 HAS SOUPS 654509 WITH SCORE 655245.705
AT ITER 2452 NEW BEST:: SOT 4424486 SOS 736703 HAS SOPS 736703 HAS SOUS 654507 HAS SOUPS 654507 WITH SCORE 655243.703
AT ITER 2458 NEW BEST:: SOT 4424388 SOS 736507 HAS SOPS 736507 HAS SOUS 654311 HAS SOUPS 654311 WITH SCORE 655047.507
AT ITER 2500 NEW BEST:: SOT 4424304 SOS 736491 HAS SOPS 736491 HAS SOUS 654295 HAS SOUPS 654295 WITH SCORE 655031.491
AT ITER 2521 NEW BEST:: SOT 4424304 SOS 736206 HAS SOPS 736206 HAS SOUS 654295 HAS SOUPS 654295 WITH SCORE 655031.206
AT ITER 2538 NEW BEST:: SOT 4424239 SOS 736076 HAS SOPS 736076 HAS SOUS 654022 HAS SOUPS 654022 WITH SCORE 654758.076
AT ITER 2545 NEW BEST:: SOT 4424322 SOS 735991 HAS SOPS 735991 HAS SOUS 653947 HAS SOUPS 653947 WITH SCORE 654682.991
AT ITER 2558 NEW BEST:: SOT 4424178 SOS 736117 HAS SOPS 736117 HAS SOUS 653898 HAS SOUPS 653898 WITH SCORE 654634.117
AT ITER 2575 NEW BEST:: SOT 4424178 SOS 736117 HAS SOPS 736117 HAS SOUS 653858 HAS SOUPS 653858 WITH SCORE 654594.117
AT ITER 2577 NEW BEST:: SOT 4423675 SOS 735111 HAS SOPS 735111 HAS SOUS 653310 HAS SOUPS 653310 WITH SCORE 654045.111
AT ITER 2590 NEW BEST:: SOT 4423505 SOS 734967 HAS SOPS 734967 HAS SOUS 653165 HAS SOUPS 653165 WITH SCORE 653899.967
AT ITER 2592 NEW BEST:: SOT 4423259 SOS 734803 HAS SOPS 734803 HAS SOUS 652919 HAS SOUPS 652919 WITH SCORE 653653.803
AT ITER 2627 NEW BEST:: SOT 4423109 SOS 735709 HAS SOPS 735709 HAS SOUS 652769 HAS SOUPS 652769 WITH SCORE 653504.709
AT ITER 2642 NEW BEST:: SOT 4423014 SOS 735519 HAS SOPS 735519 HAS SOUS 652579 HAS SOUPS 652579 WITH SCORE 653314.519
AT ITER 2645 NEW BEST:: SOT 4423023 SOS 735453 HAS SOPS 735453 HAS SOUS 652513 HAS SOUPS 652513 WITH SCORE 653248.453
AT ITER 2650 NEW BEST:: SOT 4422936 SOS 735279 HAS SOPS 735279 HAS SOUS 652426 HAS SOUPS 652426 WITH SCORE 653161.279
AT ITER 2655 NEW BEST:: SOT 4422855 SOS 735117 HAS SOPS 735117 HAS SOUS 652345 HAS SOUPS 652345 WITH SCORE 653080.117
AT ITER 2680 NEW BEST:: SOT 4422801 SOS 735009 HAS SOPS 735009 HAS SOUS 652237 HAS SOUPS 652237 WITH SCORE 652972.009
AT ITER 2682 NEW BEST:: SOT 4423073 SOS 735277 HAS SOPS 735277 HAS SOUS 652004 HAS SOUPS 652004 WITH SCORE 652739.277
AT ITER 2683 NEW BEST:: SOT 4422566 SOS 735493 HAS SOPS 735493 HAS SOUS 651804 HAS SOUPS 651804 WITH SCORE 652539.493
AT ITER 2698 NEW BEST:: SOT 4422566 SOS 735355 HAS SOPS 735355 HAS SOUS 651666 HAS SOUPS 651666 WITH SCORE 652401.355
AT ITER 2715 NEW BEST:: SOT 4422317 SOS 735245 HAS SOPS 735245 HAS SOUS 651556 HAS SOUPS 651556 WITH SCORE 652291.245
AT ITER 2728 NEW BEST:: SOT 4422175 SOS 734961 HAS SOPS 734961 HAS SOUS 651272 HAS SOUPS 651272 WITH SCORE 652006.961
AT ITER 2738 NEW BEST:: SOT 4422173 SOS 734957 HAS SOPS 734957 HAS SOUS 651270 HAS SOUPS 651270 WITH SCORE 652004.957
AT ITER 2744 NEW BEST:: SOT 4422379 SOS 735369 HAS SOPS 735369 HAS SOUS 651257 HAS SOUPS 651257 WITH SCORE 651992.369
AT ITER 2746 NEW BEST:: SOT 4422277 SOS 735267 HAS SOPS 735267 HAS SOUS 651155 HAS SOUPS 651155 WITH SCORE 651890.267
AT ITER 2748 NEW BEST:: SOT 4422237 SOS 735227 HAS SOPS 735227 HAS SOUS 651131 HAS SOUPS 651131 WITH SCORE 651866.227
AT ITER 2781 NEW BEST:: SOT 4422237 SOS 735110 HAS SOPS 735110 HAS SOUS 651131 HAS SOUPS 651131 WITH SCORE 651866.11
AT ITER 2786 NEW BEST:: SOT 4422147 SOS 735000 HAS SOPS 735000 HAS SOUS 651006 HAS SOUPS 651006 WITH SCORE 651741.0
AT ITER 2793 NEW BEST:: SOT 4422252 SOS 734951 HAS SOPS 734951 HAS SOUS 650968 HAS SOUPS 650968 WITH SCORE 651702.951
AT ITER 2805 NEW BEST:: SOT 4422185 SOS 734555 HAS SOPS 734555 HAS SOUS 650576 HAS SOUPS 650576 WITH SCORE 651310.555
AT ITER 2807 NEW BEST:: SOT 4418384 SOS 732791 HAS SOPS 732791 HAS SOUS 646889 HAS SOUPS 646889 WITH SCORE 647621.791
AT ITER 2829 NEW BEST:: SOT 4418429 SOS 732881 HAS SOPS 732881 HAS SOUS 646711 HAS SOUPS 646711 WITH SCORE 647443.881
AT ITER 2837 NEW BEST:: SOT 4418388 SOS 732799 HAS SOPS 732799 HAS SOUS 646670 HAS SOUPS 646670 WITH SCORE 647402.799
AT ITER 2867 NEW BEST:: SOT 4418388 SOS 732367 HAS SOPS 732367 HAS SOUS 646670 HAS SOUPS 646670 WITH SCORE 647402.367
AT ITER 2868 NEW BEST:: SOT 4418031 SOS 732004 HAS SOPS 732004 HAS SOUS 646275 HAS SOUPS 646275 WITH SCORE 647007.004
AT ITER 2883 NEW BEST:: SOT 4417705 SOS 731678 HAS SOPS 731678 HAS SOUS 645949 HAS SOUPS 645949 WITH SCORE 646680.678
AT ITER 2897 NEW BEST:: SOT 4417704 SOS 731644 HAS SOPS 731644 HAS SOUS 645916 HAS SOUPS 645916 WITH SCORE 646647.644
AT ITER 2916 NEW BEST:: SOT 4417704 SOS 731577 HAS SOPS 731577 HAS SOUS 645916 HAS SOUPS 645916 WITH SCORE 646647.577
AT ITER 2930 NEW BEST:: SOT 4417518 SOS 731205 HAS SOPS 731205 HAS SOUS 645544 HAS SOUPS 645544 WITH SCORE 646275.205
AT ITER 2938 NEW BEST:: SOT 4417442 SOS 731053 HAS SOPS 731053 HAS SOUS 645468 HAS SOUPS 645468 WITH SCORE 646199.053
AT ITER 2961 NEW BEST:: SOT 4417278 SOS 730905 HAS SOPS 730905 HAS SOUS 645304 HAS SOUPS 645304 WITH SCORE 646034.905
AT ITER 2967 NEW BEST:: SOT 4417278 SOS 730797 HAS SOPS 730797 HAS SOUS 645196 HAS SOUPS 645196 WITH SCORE 645926.797
AT ITER 2977 NEW BEST:: SOT 4415329 SOS 752238 HAS SOPS 752238 HAS SOUS 644637 HAS SOUPS 644637 WITH SCORE 645389.238
AT ITER 2988 NEW BEST:: SOT 4415113 SOS 751806 HAS SOPS 751806 HAS SOUS 644421 HAS SOUPS 644421 WITH SCORE 645172.806
AT ITER 3011 NEW BEST:: SOT 4415113 SOS 751583 HAS SOPS 751583 HAS SOUS 644198 HAS SOUPS 644198 WITH SCORE 644949.583
AT ITER 3064 NEW BEST:: SOT 4415035 SOS 751522 HAS SOPS 751522 HAS SOUS 644129 HAS SOUPS 644129 WITH SCORE 644880.522
AT ITER 3078 NEW BEST:: SOT 4414572 SOS 751098 HAS SOPS 751098 HAS SOUS 643666 HAS SOUPS 643666 WITH SCORE 644417.098
AT ITER 3096 NEW BEST:: SOT 4414572 SOS 750984 HAS SOPS 750984 HAS SOUS 643666 HAS SOUPS 643666 WITH SCORE 644416.984
AT ITER 3111 NEW BEST:: SOT 4414572 SOS 751043 HAS SOPS 751043 HAS SOUS 643607 HAS SOUPS 643607 WITH SCORE 644358.043
AT ITER 3118 NEW BEST:: SOT 4414418 SOS 750835 HAS SOPS 750835 HAS SOUS 643399 HAS SOUPS 643399 WITH SCORE 644149.835
AT ITER 3120 NEW BEST:: SOT 4414418 SOS 750451 HAS SOPS 750451 HAS SOUS 643399 HAS SOUPS 643399 WITH SCORE 644149.451
AT ITER 3137 NEW BEST:: SOT 4414373 SOS 749956 HAS SOPS 749956 HAS SOUS 643309 HAS SOUPS 643309 WITH SCORE 644058.956
AT ITER 3156 NEW BEST:: SOT 4414252 SOS 749815 HAS SOPS 749815 HAS SOUS 643152 HAS SOUPS 643152 WITH SCORE 643901.815
AT ITER 3158 NEW BEST:: SOT 4414252 SOS 749249 HAS SOPS 749249 HAS SOUS 642869 HAS SOUPS 642869 WITH SCORE 643618.249
AT ITER 3182 NEW BEST:: SOT 4414290 SOS 749325 HAS SOPS 749325 HAS SOUS 642861 HAS SOUPS 642861 WITH SCORE 643610.325
AT ITER 3189 NEW BEST:: SOT 4414235 SOS 749270 HAS SOPS 749270 HAS SOUS 642806 HAS SOUPS 642806 WITH SCORE 643555.27
AT ITER 3199 NEW BEST:: SOT 4414313 SOS 749426 HAS SOPS 749426 HAS SOUS 642517 HAS SOUPS 642517 WITH SCORE 643266.426
AT ITER 3210 NEW BEST:: SOT 4414312 SOS 749424 HAS SOPS 749424 HAS SOUS 642515 HAS SOUPS 642515 WITH SCORE 643264.424
AT ITER 3221 NEW BEST:: SOT 4414312 SOS 749357 HAS SOPS 749357 HAS SOUS 642515 HAS SOUPS 642515 WITH SCORE 643264.357
AT ITER 3226 NEW BEST:: SOT 4414312 SOS 749357 HAS SOPS 749357 HAS SOUS 642480 HAS SOUPS 642480 WITH SCORE 643229.357
AT ITER 3231 NEW BEST:: SOT 4414176 SOS 749353 HAS SOPS 749353 HAS SOUS 642409 HAS SOUPS 642409 WITH SCORE 643158.353
AT ITER 3237 NEW BEST:: SOT 4414099 SOS 749199 HAS SOPS 749199 HAS SOUS 642392 HAS SOUPS 642392 WITH SCORE 643141.199
AT ITER 3277 NEW BEST:: SOT 4414055 SOS 749170 HAS SOPS 749170 HAS SOUS 642304 HAS SOUPS 642304 WITH SCORE 643053.17
AT ITER 3314 NEW BEST:: SOT 4413917 SOS 748894 HAS SOPS 748894 HAS SOUS 642085 HAS SOUPS 642085 WITH SCORE 642833.894
AT ITER 3317 NEW BEST:: SOT 4413899 SOS 748858 HAS SOPS 748858 HAS SOUS 642067 HAS SOUPS 642067 WITH SCORE 642815.858
AT ITER 3325 NEW BEST:: SOT 4413899 SOS 748745 HAS SOPS 748745 HAS SOUS 642067 HAS SOUPS 642067 WITH SCORE 642815.745
AT ITER 3354 NEW BEST:: SOT 4413898 SOS 748832 HAS SOPS 748832 HAS SOUS 642065 HAS SOUPS 642065 WITH SCORE 642813.832
AT ITER 3384 NEW BEST:: SOT 4414046 SOS 749128 HAS SOPS 749128 HAS SOUS 641885 HAS SOUPS 641885 WITH SCORE 642634.128
AT ITER 3417 NEW BEST:: SOT 4413877 SOS 748790 HAS SOPS 748790 HAS SOUS 641547 HAS SOUPS 641547 WITH SCORE 642295.79
AT ITER 3423 NEW BEST:: SOT 4413848 SOS 748732 HAS SOPS 748732 HAS SOUS 641489 HAS SOUPS 641489 WITH SCORE 642237.732
AT ITER 3445 NEW BEST:: SOT 4413848 SOS 748616 HAS SOPS 748616 HAS SOUS 641489 HAS SOUPS 641489 WITH SCORE 642237.616
AT ITER 3447 NEW BEST:: SOT 4413864 SOS 748648 HAS SOPS 748648 HAS SOUS 641063 HAS SOUPS 641063 WITH SCORE 641811.648
AT ITER 3451 NEW BEST:: SOT 4413853 SOS 748637 HAS SOPS 748637 HAS SOUS 641052 HAS SOUPS 641052 WITH SCORE 641800.637
AT ITER 3455 NEW BEST:: SOT 4413718 SOS 748367 HAS SOPS 748367 HAS SOUS 640782 HAS SOUPS 640782 WITH SCORE 641530.367
AT ITER 3463 NEW BEST:: SOT 4413487 SOS 747736 HAS SOPS 747736 HAS SOUS 640320 HAS SOUPS 640320 WITH SCORE 641067.736
AT ITER 3477 NEW BEST:: SOT 4413486 SOS 747670 HAS SOPS 747670 HAS SOUS 640253 HAS SOUPS 640253 WITH SCORE 641000.67
AT ITER 3492 NEW BEST:: SOT 4413499 SOS 747626 HAS SOPS 747626 HAS SOUS 640209 HAS SOUPS 640209 WITH SCORE 640956.626
AT ITER 3497 NEW BEST:: SOT 4413442 SOS 747834 HAS SOPS 747834 HAS SOUS 640186 HAS SOUPS 640186 WITH SCORE 640933.834
AT ITER 3516 NEW BEST:: SOT 4413436 SOS 747822 HAS SOPS 747822 HAS SOUS 640174 HAS SOUPS 640174 WITH SCORE 640921.822
AT ITER 3519 NEW BEST:: SOT 4413396 SOS 747742 HAS SOPS 747742 HAS SOUS 640134 HAS SOUPS 640134 WITH SCORE 640881.742
AT ITER 3545 NEW BEST:: SOT 4413396 SOS 742742 HAS SOPS 742742 HAS SOUS 640134 HAS SOUPS 640134 WITH SCORE 640876.742
AT ITER 3584 NEW BEST:: SOT 4413396 SOS 742631 HAS SOPS 742631 HAS SOUS 640134 HAS SOUPS 640134 WITH SCORE 640876.631
AT ITER 3596 NEW BEST:: SOT 4413239 SOS 742317 HAS SOPS 742317 HAS SOUS 639977 HAS SOUPS 639977 WITH SCORE 640719.317
AT ITER 3601 NEW BEST:: SOT 4412956 SOS 741751 HAS SOPS 741751 HAS SOUS 639467 HAS SOUPS 639467 WITH SCORE 640208.751
AT ITER 3605 NEW BEST:: SOT 4412918 SOS 741637 HAS SOPS 741637 HAS SOUS 639391 HAS SOUPS 639391 WITH SCORE 640132.637
AT ITER 3607 NEW BEST:: SOT 4412692 SOS 741185 HAS SOPS 741185 HAS SOUS 638939 HAS SOUPS 638939 WITH SCORE 639680.185
AT ITER 3651 NEW BEST:: SOT 4412691 SOS 741451 HAS SOPS 741451 HAS SOUS 638937 HAS SOUPS 638937 WITH SCORE 639678.451
AT ITER 3662 NEW BEST:: SOT 4412622 SOS 740901 HAS SOPS 740901 HAS SOUS 638662 HAS SOUPS 638662 WITH SCORE 639402.901
AT ITER 3664 NEW BEST:: SOT 4412433 SOS 740911 HAS SOPS 740911 HAS SOUS 638541 HAS SOUPS 638541 WITH SCORE 639281.911
AT ITER 3673 NEW BEST:: SOT 4412343 SOS 740731 HAS SOPS 740731 HAS SOUS 638361 HAS SOUPS 638361 WITH SCORE 639101.731
AT ITER 3708 NEW BEST:: SOT 4412283 SOS 740611 HAS SOPS 740611 HAS SOUS 638301 HAS SOUPS 638301 WITH SCORE 639041.611
AT ITER 3732 NEW BEST:: SOT 4412274 SOS 740593 HAS SOPS 740593 HAS SOUS 638283 HAS SOUPS 638283 WITH SCORE 639023.593
AT ITER 3751 NEW BEST:: SOT 4412274 SOS 740570 HAS SOPS 740570 HAS SOUS 638260 HAS SOUPS 638260 WITH SCORE 639000.57
AT ITER 3761 NEW BEST:: SOT 4412274 SOS 740510 HAS SOPS 740510 HAS SOUS 638259 HAS SOUPS 638259 WITH SCORE 638999.51
AT ITER 3768 NEW BEST:: SOT 4412274 SOS 740309 HAS SOPS 740309 HAS SOUS 638058 HAS SOUPS 638058 WITH SCORE 638798.309
AT ITER 3804 NEW BEST:: SOT 4412273 SOS 740307 HAS SOPS 740307 HAS SOUS 638056 HAS SOUPS 638056 WITH SCORE 638796.307
AT ITER 3805 NEW BEST:: SOT 4412254 SOS 740322 HAS SOPS 740322 HAS SOUS 638055 HAS SOUPS 638055 WITH SCORE 638795.322
AT ITER 3821 NEW BEST:: SOT 4412253 SOS 740321 HAS SOPS 740321 HAS SOUS 638053 HAS SOUPS 638053 WITH SCORE 638793.321
AT ITER 3824 NEW BEST:: SOT 4412233 SOS 740281 HAS SOPS 740281 HAS SOUS 638033 HAS SOUPS 638033 WITH SCORE 638773.281
AT ITER 3844 NEW BEST:: SOT 4412056 SOS 739927 HAS SOPS 739927 HAS SOUS 637856 HAS SOUPS 637856 WITH SCORE 638595.927
AT ITER 3870 NEW BEST:: SOT 4412034 SOS 739883 HAS SOPS 739883 HAS SOUS 637834 HAS SOUPS 637834 WITH SCORE 638573.883
AT ITER 3901 NEW BEST:: SOT 4412034 SOS 739496 HAS SOPS 739496 HAS SOUS 637834 HAS SOUPS 637834 WITH SCORE 638573.496
AT ITER 3911 NEW BEST:: SOT 4412027 SOS 739482 HAS SOPS 739482 HAS SOUS 637827 HAS SOUPS 637827 WITH SCORE 638566.482
AT ITER 3942 NEW BEST:: SOT 4412117 SOS 739392 HAS SOPS 739392 HAS SOUS 637827 HAS SOUPS 637827 WITH SCORE 638566.392
AT ITER 3976 NEW BEST:: SOT 4412003 SOS 739164 HAS SOPS 739164 HAS SOUS 637599 HAS SOUPS 637599 WITH SCORE 638338.164
AT ITER 3993 NEW BEST:: SOT 4411926 SOS 739087 HAS SOPS 739087 HAS SOUS 637522 HAS SOUPS 637522 WITH SCORE 638261.087
AT ITER 4009 NEW BEST:: SOT 4411764 SOS 738763 HAS SOPS 738763 HAS SOUS 637198 HAS SOUPS 637198 WITH SCORE 637936.763
AT ITER 4039 NEW BEST:: SOT 4411841 SOS 738500 HAS SOPS 738500 HAS SOUS 637063 HAS SOUPS 637063 WITH SCORE 637801.5
AT ITER 4051 NEW BEST:: SOT 4411841 SOS 738500 HAS SOPS 738500 HAS SOUS 637062 HAS SOUPS 637062 WITH SCORE 637800.5
AT ITER 4070 NEW BEST:: SOT 4411509 SOS 738592 HAS SOPS 738592 HAS SOUS 636730 HAS SOUPS 636730 WITH SCORE 637468.592
AT ITER 4126 NEW BEST:: SOT 4411509 SOS 738592 HAS SOPS 738592 HAS SOUS 636700 HAS SOUPS 636700 WITH SCORE 637438.592
AT ITER 4151 NEW BEST:: SOT 4411506 SOS 738586 HAS SOPS 738586 HAS SOUS 636572 HAS SOUPS 636572 WITH SCORE 637310.586
AT ITER 4154 NEW BEST:: SOT 4411505 SOS 738584 HAS SOPS 738584 HAS SOUS 636570 HAS SOUPS 636570 WITH SCORE 637308.584
AT ITER 4161 NEW BEST:: SOT 4411368 SOS 738310 HAS SOPS 738310 HAS SOUS 636432 HAS SOUPS 636432 WITH SCORE 637170.31
AT ITER 4166 NEW BEST:: SOT 4411220 SOS 738014 HAS SOPS 738014 HAS SOUS 636136 HAS SOUPS 636136 WITH SCORE 636874.014
AT ITER 4213 NEW BEST:: SOT 4411079 SOS 737732 HAS SOPS 737732 HAS SOUS 635854 HAS SOUPS 635854 WITH SCORE 636591.732
AT ITER 4221 NEW BEST:: SOT 4411013 SOS 737600 HAS SOPS 737600 HAS SOUS 635788 HAS SOUPS 635788 WITH SCORE 636525.6
AT ITER 4233 NEW BEST:: SOT 4411013 SOS 737600 HAS SOPS 737600 HAS SOUS 635778 HAS SOUPS 635778 WITH SCORE 636515.6
AT ITER 4245 NEW BEST:: SOT 4411011 SOS 737596 HAS SOPS 737596 HAS SOUS 635774 HAS SOUPS 635774 WITH SCORE 636511.596
AT ITER 4268 NEW BEST:: SOT 4410542 SOS 737198 HAS SOPS 737198 HAS SOUS 635376 HAS SOUPS 635376 WITH SCORE 636113.198
AT ITER 4273 NEW BEST:: SOT 4410136 SOS 736778 HAS SOPS 736778 HAS SOUS 634956 HAS SOUPS 634956 WITH SCORE 635692.778
AT ITER 4310 NEW BEST:: SOT 4410100 SOS 736742 HAS SOPS 736742 HAS SOUS 634956 HAS SOUPS 634956 WITH SCORE 635692.742
AT ITER 4315 NEW BEST:: SOT 4410071 SOS 735172 HAS SOPS 735172 HAS SOUS 634923 HAS SOUPS 634923 WITH SCORE 635658.172
AT ITER 4327 NEW BEST:: SOT 4410071 SOS 735168 HAS SOPS 735168 HAS SOUS 634922 HAS SOUPS 634922 WITH SCORE 635657.168
AT ITER 4335 NEW BEST:: SOT 4410053 SOS 735170 HAS SOPS 735170 HAS SOUS 634866 HAS SOUPS 634866 WITH SCORE 635601.17
AT ITER 4344 NEW BEST:: SOT 4410053 SOS 734859 HAS SOPS 734859 HAS SOUS 634866 HAS SOUPS 634866 WITH SCORE 635600.859
AT ITER 4386 NEW BEST:: SOT 4410052 SOS 734857 HAS SOPS 734857 HAS SOUS 634864 HAS SOUPS 634864 WITH SCORE 635598.857
AT ITER 4428 NEW BEST:: SOT 4410051 SOS 734855 HAS SOPS 734855 HAS SOUS 634862 HAS SOUPS 634862 WITH SCORE 635596.855
AT ITER 4434 NEW BEST:: SOT 4410051 SOS 734959 HAS SOPS 734959 HAS SOUS 634787 HAS SOUPS 634787 WITH SCORE 635521.959
AT ITER 4441 NEW BEST:: SOT 4410414 SOS 734833 HAS SOPS 734833 HAS SOUS 634724 HAS SOUPS 634724 WITH SCORE 635458.833
AT ITER 4474 NEW BEST:: SOT 4410332 SOS 734454 HAS SOPS 734454 HAS SOUS 634345 HAS SOUPS 634345 WITH SCORE 635079.454
AT ITER 4521 NEW BEST:: SOT 4410332 SOS 734095 HAS SOPS 734095 HAS SOUS 634345 HAS SOUPS 634345 WITH SCORE 635079.095
AT ITER 4556 NEW BEST:: SOT 4404731 SOS 750949 HAS SOPS 750949 HAS SOUS 630080 HAS SOUPS 630080 WITH SCORE 630830.949
AT ITER 4594 NEW BEST:: SOT 4404726 SOS 750939 HAS SOPS 750939 HAS SOUS 630070 HAS SOUPS 630070 WITH SCORE 630820.939
AT ITER 4599 NEW BEST:: SOT 4404725 SOS 750938 HAS SOPS 750938 HAS SOUS 630068 HAS SOUPS 630068 WITH SCORE 630818.938
AT ITER 4629 NEW BEST:: SOT 4404444 SOS 750657 HAS SOPS 750657 HAS SOUS 629925 HAS SOUPS 629925 WITH SCORE 630675.657
AT ITER 4638 NEW BEST:: SOT 4404441 SOS 750651 HAS SOPS 750651 HAS SOUS 629919 HAS SOUPS 629919 WITH SCORE 630669.651
AT ITER 4648 NEW BEST:: SOT 4404341 SOS 750451 HAS SOPS 750451 HAS SOUS 629719 HAS SOUPS 629719 WITH SCORE 630469.451
AT ITER 4720 NEW BEST:: SOT 4404341 SOS 750360 HAS SOPS 750360 HAS SOUS 629628 HAS SOUPS 629628 WITH SCORE 630378.36
AT ITER 4724 NEW BEST:: SOT 4404279 SOS 750236 HAS SOPS 750236 HAS SOUS 629566 HAS SOUPS 629566 WITH SCORE 630316.236
AT ITER 4726 NEW BEST:: SOT 4404266 SOS 750210 HAS SOPS 750210 HAS SOUS 629553 HAS SOUPS 629553 WITH SCORE 630303.21
AT ITER 4733 NEW BEST:: SOT 4403788 SOS 750388 HAS SOPS 750388 HAS SOUS 629169 HAS SOUPS 629169 WITH SCORE 629919.388
AT ITER 4762 NEW BEST:: SOT 4403736 SOS 750041 HAS SOPS 750041 HAS SOUS 628874 HAS SOUPS 628874 WITH SCORE 629624.041
AT ITER 4778 NEW BEST:: SOT 4403673 SOS 749915 HAS SOPS 749915 HAS SOUS 628748 HAS SOUPS 628748 WITH SCORE 629497.915
AT ITER 4784 NEW BEST:: SOT 4403310 SOS 749885 HAS SOPS 749885 HAS SOUS 628239 HAS SOUPS 628239 WITH SCORE 628988.885
AT ITER 4829 NEW BEST:: SOT 4403140 SOS 749885 HAS SOPS 749885 HAS SOUS 628154 HAS SOUPS 628154 WITH SCORE 628903.885
AT ITER 4833 NEW BEST:: SOT 4403010 SOS 749625 HAS SOPS 749625 HAS SOUS 627894 HAS SOUPS 627894 WITH SCORE 628643.625
AT ITER 4835 NEW BEST:: SOT 4402883 SOS 749701 HAS SOPS 749701 HAS SOUS 627834 HAS SOUPS 627834 WITH SCORE 628583.701
AT ITER 4850 NEW BEST:: SOT 4402779 SOS 749493 HAS SOPS 749493 HAS SOUS 627729 HAS SOUPS 627729 WITH SCORE 628478.493
AT ITER 4853 NEW BEST:: SOT 4402617 SOS 749169 HAS SOPS 749169 HAS SOUS 627580 HAS SOUPS 627580 WITH SCORE 628329.169
AT ITER 4858 NEW BEST:: SOT 4402037 SOS 748837 HAS SOPS 748837 HAS SOUS 627207 HAS SOUPS 627207 WITH SCORE 627955.837
AT ITER 4903 NEW BEST:: SOT 4402038 SOS 748839 HAS SOPS 748839 HAS SOUS 627128 HAS SOUPS 627128 WITH SCORE 627876.839
AT ITER 4920 NEW BEST:: SOT 4401956 SOS 748716 HAS SOPS 748716 HAS SOUS 627005 HAS SOUPS 627005 WITH SCORE 627753.716
AT ITER 4924 NEW BEST:: SOT 4401956 SOS 748635 HAS SOPS 748635 HAS SOUS 627005 HAS SOUPS 627005 WITH SCORE 627753.635
AT ITER 4929 NEW BEST:: SOT 4401917 SOS 748557 HAS SOPS 748557 HAS SOUS 626927 HAS SOUPS 626927 WITH SCORE 627675.557
AT ITER 4956 NEW BEST:: SOT 4401883 SOS 748489 HAS SOPS 748489 HAS SOUS 626876 HAS SOUPS 626876 WITH SCORE 627624.489
AT ITER 4990 NEW BEST:: SOT 4401776 SOS 748382 HAS SOPS 748382 HAS SOUS 626769 HAS SOUPS 626769 WITH SCORE 627517.382
AT ITER 5006 NEW BEST:: SOT 4401776 SOS 748238 HAS SOPS 748238 HAS SOUS 626768 HAS SOUPS 626768 WITH SCORE 627516.238
AT ITER 5009 NEW BEST:: SOT 4401650 SOS 748132 HAS SOPS 748132 HAS SOUS 626642 HAS SOUPS 626642 WITH SCORE 627390.132
AT ITER 5021 NEW BEST:: SOT 4401519 SOS 747630 HAS SOPS 747630 HAS SOUS 626271 HAS SOUPS 626271 WITH SCORE 627018.63
AT ITER 5022 NEW BEST:: SOT 4401573 SOS 747738 HAS SOPS 747738 HAS SOUS 626246 HAS SOUPS 626246 WITH SCORE 626993.738
AT ITER 5034 NEW BEST:: SOT 4401697 SOS 747490 HAS SOPS 747490 HAS SOUS 626246 HAS SOUPS 626246 WITH SCORE 626993.49
AT ITER 5057 NEW BEST:: SOT 4401697 SOS 747490 HAS SOPS 747490 HAS SOUS 626245 HAS SOUPS 626245 WITH SCORE 626992.49
AT ITER 5058 NEW BEST:: SOT 4401562 SOS 747358 HAS SOPS 747358 HAS SOUS 626110 HAS SOUPS 626110 WITH SCORE 626857.358
AT ITER 5069 NEW BEST:: SOT 4401421 SOS 747076 HAS SOPS 747076 HAS SOUS 625897 HAS SOUPS 625897 WITH SCORE 626644.076
AT ITER 5087 NEW BEST:: SOT 4401421 SOS 747039 HAS SOPS 747039 HAS SOUS 625860 HAS SOUPS 625860 WITH SCORE 626607.039
AT ITER 5092 NEW BEST:: SOT 4401421 SOS 746631 HAS SOPS 746631 HAS SOUS 625860 HAS SOUPS 625860 WITH SCORE 626606.631
AT ITER 5165 NEW BEST:: SOT 4401421 SOS 746226 HAS SOPS 746226 HAS SOUS 625860 HAS SOUPS 625860 WITH SCORE 626606.226
AT ITER 5184 NEW BEST:: SOT 4401177 SOS 745990 HAS SOPS 745990 HAS SOUS 625624 HAS SOUPS 625624 WITH SCORE 626369.99
AT ITER 5185 NEW BEST:: SOT 4401177 SOS 745990 HAS SOPS 745990 HAS SOUS 625611 HAS SOUPS 625611 WITH SCORE 626356.99
AT ITER 5186 NEW BEST:: SOT 4401177 SOS 745990 HAS SOPS 745990 HAS SOUS 625556 HAS SOUPS 625556 WITH SCORE 626301.99
AT ITER 5190 NEW BEST:: SOT 4401151 SOS 745376 HAS SOPS 745376 HAS SOUS 625291 HAS SOUPS 625291 WITH SCORE 626036.376
AT ITER 5202 NEW BEST:: SOT 4400972 SOS 745018 HAS SOPS 745018 HAS SOUS 625112 HAS SOUPS 625112 WITH SCORE 625857.018
AT ITER 5227 NEW BEST:: SOT 4400949 SOS 744972 HAS SOPS 744972 HAS SOUS 624987 HAS SOUPS 624987 WITH SCORE 625731.972
AT ITER 5245 NEW BEST:: SOT 4400903 SOS 744880 HAS SOPS 744880 HAS SOUS 624978 HAS SOUPS 624978 WITH SCORE 625722.88
AT ITER 5258 NEW BEST:: SOT 4400913 SOS 744900 HAS SOPS 744900 HAS SOUS 624942 HAS SOUPS 624942 WITH SCORE 625686.9
AT ITER 5282 NEW BEST:: SOT 4400827 SOS 744814 HAS SOPS 744814 HAS SOUS 624856 HAS SOUPS 624856 WITH SCORE 625600.814
AT ITER 5306 NEW BEST:: SOT 4400820 SOS 744821 HAS SOPS 744821 HAS SOUS 624849 HAS SOUPS 624849 WITH SCORE 625593.821
AT ITER 5318 NEW BEST:: SOT 4400782 SOS 744745 HAS SOPS 744745 HAS SOUS 624773 HAS SOUPS 624773 WITH SCORE 625517.745
AT ITER 5349 NEW BEST:: SOT 4400734 SOS 744649 HAS SOPS 744649 HAS SOUS 624771 HAS SOUPS 624771 WITH SCORE 625515.649
AT ITER 5361 NEW BEST:: SOT 4400645 SOS 744471 HAS SOPS 744471 HAS SOUS 624593 HAS SOUPS 624593 WITH SCORE 625337.471
AT ITER 5407 NEW BEST:: SOT 4400512 SOS 744205 HAS SOPS 744205 HAS SOUS 624327 HAS SOUPS 624327 WITH SCORE 625071.205
AT ITER 5415 NEW BEST:: SOT 4400432 SOS 744045 HAS SOPS 744045 HAS SOUS 624246 HAS SOUPS 624246 WITH SCORE 624990.045
AT ITER 5476 NEW BEST:: SOT 4400432 SOS 743626 HAS SOPS 743626 HAS SOUS 624246 HAS SOUPS 624246 WITH SCORE 624989.626
AT ITER 5496 NEW BEST:: SOT 4400362 SOS 743555 HAS SOPS 743555 HAS SOUS 624175 HAS SOUPS 624175 WITH SCORE 624918.555
AT ITER 5499 NEW BEST:: SOT 4399954 SOS 742981 HAS SOPS 742981 HAS SOUS 623601 HAS SOUPS 623601 WITH SCORE 624343.981
AT ITER 5506 NEW BEST:: SOT 4399936 SOS 742963 HAS SOPS 742963 HAS SOUS 623583 HAS SOUPS 623583 WITH SCORE 624325.963
AT ITER 5517 NEW BEST:: SOT 4399692 SOS 742637 HAS SOPS 742637 HAS SOUS 623186 HAS SOUPS 623186 WITH SCORE 623928.637
AT ITER 5528 NEW BEST:: SOT 4399692 SOS 742256 HAS SOPS 742256 HAS SOUS 623186 HAS SOUPS 623186 WITH SCORE 623928.256
AT ITER 5554 NEW BEST:: SOT 4399713 SOS 741974 HAS SOPS 741974 HAS SOUS 623158 HAS SOUPS 623158 WITH SCORE 623899.974
AT ITER 5591 NEW BEST:: SOT 4399735 SOS 742018 HAS SOPS 742018 HAS SOUS 623102 HAS SOUPS 623102 WITH SCORE 623844.018
AT ITER 5618 NEW BEST:: SOT 4399714 SOS 741976 HAS SOPS 741976 HAS SOUS 623060 HAS SOUPS 623060 WITH SCORE 623801.976
AT ITER 5619 NEW BEST:: SOT 4399708 SOS 741964 HAS SOPS 741964 HAS SOUS 623054 HAS SOUPS 623054 WITH SCORE 623795.964
AT ITER 5622 NEW BEST:: SOT 4399708 SOS 741644 HAS SOPS 741644 HAS SOUS 623054 HAS SOUPS 623054 WITH SCORE 623795.644
AT ITER 5623 NEW BEST:: SOT 4399713 SOS 741600 HAS SOPS 741600 HAS SOUS 623035 HAS SOUPS 623035 WITH SCORE 623776.6
AT ITER 5657 NEW BEST:: SOT 4399664 SOS 741713 HAS SOPS 741713 HAS SOUS 622986 HAS SOUPS 622986 WITH SCORE 623727.713
AT ITER 5675 NEW BEST:: SOT 4399723 SOS 741831 HAS SOPS 741831 HAS SOUS 622923 HAS SOUPS 622923 WITH SCORE 623664.831
AT ITER 5695 NEW BEST:: SOT 4399569 SOS 741523 HAS SOPS 741523 HAS SOUS 622768 HAS SOUPS 622768 WITH SCORE 623509.523
AT ITER 5711 NEW BEST:: SOT 4399420 SOS 740973 HAS SOPS 740973 HAS SOUS 622260 HAS SOUPS 622260 WITH SCORE 623000.973
AT ITER 5784 NEW BEST:: SOT 4399378 SOS 740889 HAS SOPS 740889 HAS SOUS 622218 HAS SOUPS 622218 WITH SCORE 622958.889
AT ITER 5786 NEW BEST:: SOT 4399344 SOS 740821 HAS SOPS 740821 HAS SOUS 622150 HAS SOUPS 622150 WITH SCORE 622890.821
AT ITER 5791 NEW BEST:: SOT 4399143 SOS 740553 HAS SOPS 740553 HAS SOUS 621882 HAS SOUPS 621882 WITH SCORE 622622.553
AT ITER 5792 NEW BEST:: SOT 4398807 SOS 740217 HAS SOPS 740217 HAS SOUS 621546 HAS SOUPS 621546 WITH SCORE 622286.217
AT ITER 5815 NEW BEST:: SOT 4398748 SOS 740099 HAS SOPS 740099 HAS SOUS 621428 HAS SOUPS 621428 WITH SCORE 622168.099
AT ITER 5829 NEW BEST:: SOT 4398720 SOS 740043 HAS SOPS 740043 HAS SOUS 621372 HAS SOUPS 621372 WITH SCORE 622112.043
AT ITER 5848 NEW BEST:: SOT 4398619 SOS 739985 HAS SOPS 739985 HAS SOUS 621278 HAS SOUPS 621278 WITH SCORE 622017.985
AT ITER 5865 NEW BEST:: SOT 4398440 SOS 739627 HAS SOPS 739627 HAS SOUS 620953 HAS SOUPS 620953 WITH SCORE 621692.627
AT ITER 5904 NEW BEST:: SOT 4398289 SOS 739476 HAS SOPS 739476 HAS SOUS 620857 HAS SOUPS 620857 WITH SCORE 621596.476
AT ITER 5926 NEW BEST:: SOT 4398227 SOS 739352 HAS SOPS 739352 HAS SOUS 620733 HAS SOUPS 620733 WITH SCORE 621472.352
AT ITER 5959 NEW BEST:: SOT 4398143 SOS 739184 HAS SOPS 739184 HAS SOUS 620565 HAS SOUPS 620565 WITH SCORE 621304.184
AT ITER 5963 NEW BEST:: SOT 4398143 SOS 738694 HAS SOPS 738694 HAS SOUS 620320 HAS SOUPS 620320 WITH SCORE 621058.694
AT ITER 5973 NEW BEST:: SOT 4398143 SOS 738694 HAS SOPS 738694 HAS SOUS 620288 HAS SOUPS 620288 WITH SCORE 621026.694
AT ITER 6015 NEW BEST:: SOT 4398120 SOS 738648 HAS SOPS 738648 HAS SOUS 620265 HAS SOUPS 620265 WITH SCORE 621003.648
AT ITER 6024 NEW BEST:: SOT 4398037 SOS 738118 HAS SOPS 738118 HAS SOUS 619818 HAS SOUPS 619818 WITH SCORE 620556.118
AT ITER 6038 NEW BEST:: SOT 4398036 SOS 738116 HAS SOPS 738116 HAS SOUS 619816 HAS SOUPS 619816 WITH SCORE 620554.116
AT ITER 6039 NEW BEST:: SOT 4398035 SOS 737932 HAS SOPS 737932 HAS SOUS 619814 HAS SOUPS 619814 WITH SCORE 620551.932
AT ITER 6049 NEW BEST:: SOT 4397980 SOS 737777 HAS SOPS 737777 HAS SOUS 619804 HAS SOUPS 619804 WITH SCORE 620541.777
AT ITER 6057 NEW BEST:: SOT 4397661 SOS 737765 HAS SOPS 737765 HAS SOUS 619635 HAS SOUPS 619635 WITH SCORE 620372.765
AT ITER 6060 NEW BEST:: SOT 4397629 SOS 737623 HAS SOPS 737623 HAS SOUS 619525 HAS SOUPS 619525 WITH SCORE 620262.623
AT ITER 6070 NEW BEST:: SOT 4397574 SOS 737311 HAS SOPS 737311 HAS SOUS 619470 HAS SOUPS 619470 WITH SCORE 620207.311
AT ITER 6104 NEW BEST:: SOT 4397574 SOS 737311 HAS SOPS 737311 HAS SOUS 619373 HAS SOUPS 619373 WITH SCORE 620110.311
AT ITER 6105 NEW BEST:: SOT 4397525 SOS 737213 HAS SOPS 737213 HAS SOUS 619275 HAS SOUPS 619275 WITH SCORE 620012.213
AT ITER 6114 NEW BEST:: SOT 4397459 SOS 737081 HAS SOPS 737081 HAS SOUS 619200 HAS SOUPS 619200 WITH SCORE 619937.081
AT ITER 6152 NEW BEST:: SOT 4397456 SOS 737075 HAS SOPS 737075 HAS SOUS 619197 HAS SOUPS 619197 WITH SCORE 619934.075
AT ITER 6161 NEW BEST:: SOT 4397442 SOS 737047 HAS SOPS 737047 HAS SOUS 619169 HAS SOUPS 619169 WITH SCORE 619906.047
AT ITER 6224 NEW BEST:: SOT 4397402 SOS 736967 HAS SOPS 736967 HAS SOUS 619089 HAS SOUPS 619089 WITH SCORE 619825.967
AT ITER 6231 NEW BEST:: SOT 4397366 SOS 736895 HAS SOPS 736895 HAS SOUS 619052 HAS SOUPS 619052 WITH SCORE 619788.895
AT ITER 6240 NEW BEST:: SOT 4396963 SOS 736853 HAS SOPS 736853 HAS SOUS 618745 HAS SOUPS 618745 WITH SCORE 619481.853
AT ITER 6248 NEW BEST:: SOT 4396840 SOS 735935 HAS SOPS 735935 HAS SOUS 618499 HAS SOUPS 618499 WITH SCORE 619234.935
AT ITER 6255 NEW BEST:: SOT 4396726 SOS 735498 HAS SOPS 735498 HAS SOUS 618067 HAS SOUPS 618067 WITH SCORE 618802.498
AT ITER 6264 NEW BEST:: SOT 4396655 SOS 735356 HAS SOPS 735356 HAS SOUS 617925 HAS SOUPS 617925 WITH SCORE 618660.356
AT ITER 6267 NEW BEST:: SOT 4396664 SOS 735374 HAS SOPS 735374 HAS SOUS 617885 HAS SOUPS 617885 WITH SCORE 618620.374
AT ITER 6268 NEW BEST:: SOT 4396664 SOS 735374 HAS SOPS 735374 HAS SOUS 617813 HAS SOUPS 617813 WITH SCORE 618548.374
AT ITER 6286 NEW BEST:: SOT 4395952 SOS 735135 HAS SOPS 735135 HAS SOUS 617337 HAS SOUPS 617337 WITH SCORE 618072.135
AT ITER 6304 NEW BEST:: SOT 4395683 SOS 734866 HAS SOPS 734866 HAS SOUS 617081 HAS SOUPS 617081 WITH SCORE 617815.866
AT ITER 6314 NEW BEST:: SOT 4395682 SOS 734864 HAS SOPS 734864 HAS SOUS 617080 HAS SOUPS 617080 WITH SCORE 617814.864
AT ITER 6320 NEW BEST:: SOT 4395682 SOS 734840 HAS SOPS 734840 HAS SOUS 617078 HAS SOUPS 617078 WITH SCORE 617812.84
AT ITER 6345 NEW BEST:: SOT 4395642 SOS 734760 HAS SOPS 734760 HAS SOUS 616998 HAS SOUPS 616998 WITH SCORE 617732.76
AT ITER 6358 NEW BEST:: SOT 4395642 SOS 734735 HAS SOPS 734735 HAS SOUS 616998 HAS SOUPS 616998 WITH SCORE 617732.735
AT ITER 6370 NEW BEST:: SOT 4395642 SOS 734663 HAS SOPS 734663 HAS SOUS 616926 HAS SOUPS 616926 WITH SCORE 617660.663
AT ITER 6377 NEW BEST:: SOT 4395627 SOS 734633 HAS SOPS 734633 HAS SOUS 616911 HAS SOUPS 616911 WITH SCORE 617645.633
AT ITER 6404 NEW BEST:: SOT 4396033 SOS 734561 HAS SOPS 734561 HAS SOUS 616875 HAS SOUPS 616875 WITH SCORE 617609.561
AT ITER 6429 NEW BEST:: SOT 4395887 SOS 734454 HAS SOPS 734454 HAS SOUS 616768 HAS SOUPS 616768 WITH SCORE 617502.454
AT ITER 6440 NEW BEST:: SOT 4395640 SOS 733958 HAS SOPS 733958 HAS SOUS 616272 HAS SOUPS 616272 WITH SCORE 617005.958
AT ITER 6441 NEW BEST:: SOT 4395344 SOS 733366 HAS SOPS 733366 HAS SOUS 615680 HAS SOUPS 615680 WITH SCORE 616413.366
AT ITER 6442 NEW BEST:: SOT 4395308 SOS 733294 HAS SOPS 733294 HAS SOUS 615644 HAS SOUPS 615644 WITH SCORE 616377.294
AT ITER 6446 NEW BEST:: SOT 4395308 SOS 733131 HAS SOPS 733131 HAS SOUS 615644 HAS SOUPS 615644 WITH SCORE 616377.131
AT ITER 6450 NEW BEST:: SOT 4395902 SOS 733370 HAS SOPS 733370 HAS SOUS 615579 HAS SOUPS 615579 WITH SCORE 616312.37
AT ITER 6451 NEW BEST:: SOT 4395987 SOS 733014 HAS SOPS 733014 HAS SOUS 615385 HAS SOUPS 615385 WITH SCORE 616118.014
AT ITER 6469 NEW BEST:: SOT 4395911 SOS 732862 HAS SOPS 732862 HAS SOUS 615233 HAS SOUPS 615233 WITH SCORE 615965.862
AT ITER 6471 NEW BEST:: SOT 4395880 SOS 732800 HAS SOPS 732800 HAS SOUS 615202 HAS SOUPS 615202 WITH SCORE 615934.8
AT ITER 6489 NEW BEST:: SOT 4395596 SOS 732516 HAS SOPS 732516 HAS SOUS 615016 HAS SOUPS 615016 WITH SCORE 615748.516
AT ITER 6503 NEW BEST:: SOT 4395589 SOS 732502 HAS SOPS 732502 HAS SOUS 615009 HAS SOUPS 615009 WITH SCORE 615741.502
AT ITER 6516 NEW BEST:: SOT 4395520 SOS 732313 HAS SOPS 732313 HAS SOUS 614871 HAS SOUPS 614871 WITH SCORE 615603.313
AT ITER 6525 NEW BEST:: SOT 4395102 SOS 732050 HAS SOPS 732050 HAS SOUS 614492 HAS SOUPS 614492 WITH SCORE 615224.05
AT ITER 6579 NEW BEST:: SOT 4394902 SOS 731650 HAS SOPS 731650 HAS SOUS 614092 HAS SOUPS 614092 WITH SCORE 614823.65
AT ITER 6611 NEW BEST:: SOT 4394791 SOS 731428 HAS SOPS 731428 HAS SOUS 614015 HAS SOUPS 614015 WITH SCORE 614746.428
AT ITER 6638 NEW BEST:: SOT 4394863 SOS 731361 HAS SOPS 731361 HAS SOUS 613948 HAS SOUPS 613948 WITH SCORE 614679.361
AT ITER 6659 NEW BEST:: SOT 4394758 SOS 731453 HAS SOPS 731453 HAS SOUS 613906 HAS SOUPS 613906 WITH SCORE 614637.453
AT ITER 6667 NEW BEST:: SOT 4394703 SOS 731343 HAS SOPS 731343 HAS SOUS 613796 HAS SOUPS 613796 WITH SCORE 614527.343
AT ITER 6674 NEW BEST:: SOT 4394723 SOS 731383 HAS SOPS 731383 HAS SOUS 613768 HAS SOUPS 613768 WITH SCORE 614499.383
AT ITER 6676 NEW BEST:: SOT 4394686 SOS 731666 HAS SOPS 731666 HAS SOUS 613731 HAS SOUPS 613731 WITH SCORE 614462.666
AT ITER 6693 NEW BEST:: SOT 4394589 SOS 731744 HAS SOPS 731744 HAS SOUS 613723 HAS SOUPS 613723 WITH SCORE 614454.744
AT ITER 6712 NEW BEST:: SOT 4394329 SOS 731224 HAS SOPS 731224 HAS SOUS 613203 HAS SOUPS 613203 WITH SCORE 613934.224
AT ITER 6716 NEW BEST:: SOT 4394243 SOS 731052 HAS SOPS 731052 HAS SOUS 613031 HAS SOUPS 613031 WITH SCORE 613762.052
AT ITER 6726 NEW BEST:: SOT 4394119 SOS 730804 HAS SOPS 730804 HAS SOUS 612783 HAS SOUPS 612783 WITH SCORE 613513.804
AT ITER 6727 NEW BEST:: SOT 4394101 SOS 730708 HAS SOPS 730708 HAS SOUS 612705 HAS SOUPS 612705 WITH SCORE 613435.708
AT ITER 6772 NEW BEST:: SOT 4394125 SOS 730616 HAS SOPS 730616 HAS SOUS 612613 HAS SOUPS 612613 WITH SCORE 613343.616
AT ITER 6857 NEW BEST:: SOT 4394080 SOS 730526 HAS SOPS 730526 HAS SOUS 612523 HAS SOUPS 612523 WITH SCORE 613253.526
AT ITER 6881 NEW BEST:: SOT 4394077 SOS 730520 HAS SOPS 730520 HAS SOUS 612520 HAS SOUPS 612520 WITH SCORE 613250.52
AT ITER 6950 NEW BEST:: SOT 4394016 SOS 730507 HAS SOPS 730507 HAS SOUS 612459 HAS SOUPS 612459 WITH SCORE 613189.507
AT ITER 6961 NEW BEST:: SOT 4393762 SOS 730126 HAS SOPS 730126 HAS SOUS 612078 HAS SOUPS 612078 WITH SCORE 612808.126
AT ITER 6963 NEW BEST:: SOT 4393525 SOS 729485 HAS SOPS 729485 HAS SOUS 611604 HAS SOUPS 611604 WITH SCORE 612333.485
AT ITER 6976 NEW BEST:: SOT 4393595 SOS 729536 HAS SOPS 729536 HAS SOUS 611585 HAS SOUPS 611585 WITH SCORE 612314.536
AT ITER 6989 NEW BEST:: SOT 4393365 SOS 729577 HAS SOPS 729577 HAS SOUS 611522 HAS SOUPS 611522 WITH SCORE 612251.577
AT ITER 7034 NEW BEST:: SOT 4393364 SOS 729391 HAS SOPS 729391 HAS SOUS 611520 HAS SOUPS 611520 WITH SCORE 612249.391
AT ITER 7036 NEW BEST:: SOT 4393223 SOS 728968 HAS SOPS 728968 HAS SOUS 611238 HAS SOUPS 611238 WITH SCORE 611966.968
AT ITER 7037 NEW BEST:: SOT 4393188 SOS 728898 HAS SOPS 728898 HAS SOUS 611168 HAS SOUPS 611168 WITH SCORE 611896.898
AT ITER 7050 NEW BEST:: SOT 4393248 SOS 728838 HAS SOPS 728838 HAS SOUS 611168 HAS SOUPS 611168 WITH SCORE 611896.838
AT ITER 7056 NEW BEST:: SOT 4393074 SOS 728664 HAS SOPS 728664 HAS SOUS 610907 HAS SOUPS 610907 WITH SCORE 611635.664
AT ITER 7060 NEW BEST:: SOT 4392926 SOS 728615 HAS SOPS 728615 HAS SOUS 610858 HAS SOUPS 610858 WITH SCORE 611586.615
AT ITER 7070 NEW BEST:: SOT 4392780 SOS 728469 HAS SOPS 728469 HAS SOUS 610712 HAS SOUPS 610712 WITH SCORE 611440.469
AT ITER 7083 NEW BEST:: SOT 4392646 SOS 728469 HAS SOPS 728469 HAS SOUS 610645 HAS SOUPS 610645 WITH SCORE 611373.469
AT ITER 7108 NEW BEST:: SOT 4392646 SOS 728454 HAS SOPS 728454 HAS SOUS 610630 HAS SOUPS 610630 WITH SCORE 611358.454
AT ITER 7149 NEW BEST:: SOT 4392373 SOS 727908 HAS SOPS 727908 HAS SOUS 610433 HAS SOUPS 610433 WITH SCORE 611160.908
AT ITER 7174 NEW BEST:: SOT 4392241 SOS 727644 HAS SOPS 727644 HAS SOUS 610298 HAS SOUPS 610298 WITH SCORE 611025.644
AT ITER 7186 NEW BEST:: SOT 4391942 SOS 728222 HAS SOPS 728222 HAS SOUS 610292 HAS SOUPS 610292 WITH SCORE 611020.222
AT ITER 7234 NEW BEST:: SOT 4392125 SOS 715989 HAS SOPS 715989 HAS SOUS 610182 HAS SOUPS 610182 WITH SCORE 610897.989
AT ITER 7240 NEW BEST:: SOT 4391988 SOS 715715 HAS SOPS 715715 HAS SOUS 609999 HAS SOUPS 609999 WITH SCORE 610714.715
AT ITER 7247 NEW BEST:: SOT 4391988 SOS 715626 HAS SOPS 715626 HAS SOUS 609910 HAS SOUPS 609910 WITH SCORE 610625.626
AT ITER 7257 NEW BEST:: SOT 4391972 SOS 715498 HAS SOPS 715498 HAS SOUS 609733 HAS SOUPS 609733 WITH SCORE 610448.498
AT ITER 7260 NEW BEST:: SOT 4391972 SOS 715471 HAS SOPS 715471 HAS SOUS 609706 HAS SOUPS 609706 WITH SCORE 610421.471
AT ITER 7267 NEW BEST:: SOT 4391837 SOS 715270 HAS SOPS 715270 HAS SOUS 609502 HAS SOUPS 609502 WITH SCORE 610217.27
AT ITER 7271 NEW BEST:: SOT 4391567 SOS 714730 HAS SOPS 714730 HAS SOUS 608962 HAS SOUPS 608962 WITH SCORE 609676.73
AT ITER 7296 NEW BEST:: SOT 4391686 SOS 714968 HAS SOPS 714968 HAS SOUS 608951 HAS SOUPS 608951 WITH SCORE 609665.968
AT ITER 7309 NEW BEST:: SOT 4391686 SOS 714544 HAS SOPS 714544 HAS SOUS 608739 HAS SOUPS 608739 WITH SCORE 609453.544
AT ITER 7324 NEW BEST:: SOT 4391686 SOS 714476 HAS SOPS 714476 HAS SOUS 608697 HAS SOUPS 608697 WITH SCORE 609411.476
AT ITER 7360 NEW BEST:: SOT 4391673 SOS 714450 HAS SOPS 714450 HAS SOUS 608533 HAS SOUPS 608533 WITH SCORE 609247.45
AT ITER 7384 NEW BEST:: SOT 4391535 SOS 714501 HAS SOPS 714501 HAS SOUS 608381 HAS SOUPS 608381 WITH SCORE 609095.501
AT ITER 7394 NEW BEST:: SOT 4391524 SOS 714479 HAS SOPS 714479 HAS SOUS 608359 HAS SOUPS 608359 WITH SCORE 609073.479
AT ITER 7416 NEW BEST:: SOT 4391277 SOS 713985 HAS SOPS 713985 HAS SOUS 607865 HAS SOUPS 607865 WITH SCORE 608578.985
AT ITER 7424 NEW BEST:: SOT 4391311 SOS 713288 HAS SOPS 713288 HAS SOUS 607780 HAS SOUPS 607780 WITH SCORE 608493.288
AT ITER 7428 NEW BEST:: SOT 4391304 SOS 713281 HAS SOPS 713281 HAS SOUS 607780 HAS SOUPS 607780 WITH SCORE 608493.281
AT ITER 7474 NEW BEST:: SOT 4390450 SOS 712427 HAS SOPS 712427 HAS SOUS 606926 HAS SOUPS 606926 WITH SCORE 607638.427
AT ITER 7475 NEW BEST:: SOT 4390437 SOS 712401 HAS SOPS 712401 HAS SOUS 606900 HAS SOUPS 606900 WITH SCORE 607612.401
AT ITER 7483 NEW BEST:: SOT 4390283 SOS 712299 HAS SOPS 712299 HAS SOUS 606799 HAS SOUPS 606799 WITH SCORE 607511.299
AT ITER 7507 NEW BEST:: SOT 4390282 SOS 712286 HAS SOPS 712286 HAS SOUS 606785 HAS SOUPS 606785 WITH SCORE 607497.286
AT ITER 7537 NEW BEST:: SOT 4390146 SOS 712014 HAS SOPS 712014 HAS SOUS 606649 HAS SOUPS 606649 WITH SCORE 607361.014
AT ITER 7582 NEW BEST:: SOT 4390105 SOS 711866 HAS SOPS 711866 HAS SOUS 606541 HAS SOUPS 606541 WITH SCORE 607252.866
AT ITER 7583 NEW BEST:: SOT 4389964 SOS 711794 HAS SOPS 711794 HAS SOUS 606430 HAS SOUPS 606430 WITH SCORE 607141.794
AT ITER 7595 NEW BEST:: SOT 4389812 SOS 711911 HAS SOPS 711911 HAS SOUS 606360 HAS SOUPS 606360 WITH SCORE 607071.911
AT ITER 7621 NEW BEST:: SOT 4389881 SOS 711795 HAS SOPS 711795 HAS SOUS 606319 HAS SOUPS 606319 WITH SCORE 607030.795
AT ITER 7645 NEW BEST:: SOT 4389831 SOS 711603 HAS SOPS 711603 HAS SOUS 606105 HAS SOUPS 606105 WITH SCORE 606816.603
AT ITER 7659 NEW BEST:: SOT 4389728 SOS 711397 HAS SOPS 711397 HAS SOUS 605899 HAS SOUPS 605899 WITH SCORE 606610.397
AT ITER 7667 NEW BEST:: SOT 4389836 SOS 711328 HAS SOPS 711328 HAS SOUS 605872 HAS SOUPS 605872 WITH SCORE 606583.328
AT ITER 7676 NEW BEST:: SOT 4389708 SOS 711072 HAS SOPS 711072 HAS SOUS 605744 HAS SOUPS 605744 WITH SCORE 606455.072
AT ITER 7677 NEW BEST:: SOT 4389748 SOS 711152 HAS SOPS 711152 HAS SOUS 605713 HAS SOUPS 605713 WITH SCORE 606424.152
AT ITER 7680 NEW BEST:: SOT 4389724 SOS 711149 HAS SOPS 711149 HAS SOUS 605710 HAS SOUPS 605710 WITH SCORE 606421.149
AT ITER 7721 NEW BEST:: SOT 4389549 SOS 710974 HAS SOPS 710974 HAS SOUS 605535 HAS SOUPS 605535 WITH SCORE 606245.974
AT ITER 7764 NEW BEST:: SOT 4389549 SOS 710940 HAS SOPS 710940 HAS SOUS 605501 HAS SOUPS 605501 WITH SCORE 606211.94
AT ITER 7798 NEW BEST:: SOT 4389549 SOS 710885 HAS SOPS 710885 HAS SOUS 605446 HAS SOUPS 605446 WITH SCORE 606156.885
AT ITER 7822 NEW BEST:: SOT 4389628 SOS 710806 HAS SOPS 710806 HAS SOUS 605446 HAS SOUPS 605446 WITH SCORE 606156.806
AT ITER 7829 NEW BEST:: SOT 4389626 SOS 710802 HAS SOPS 710802 HAS SOUS 605442 HAS SOUPS 605442 WITH SCORE 606152.802
AT ITER 7832 NEW BEST:: SOT 4389526 SOS 710659 HAS SOPS 710659 HAS SOUS 605299 HAS SOUPS 605299 WITH SCORE 606009.659
AT ITER 7873 NEW BEST:: SOT 4389526 SOS 710659 HAS SOPS 710659 HAS SOUS 605296 HAS SOUPS 605296 WITH SCORE 606006.659
AT ITER 7876 NEW BEST:: SOT 4389526 SOS 710541 HAS SOPS 710541 HAS SOUS 605296 HAS SOUPS 605296 WITH SCORE 606006.541
AT ITER 7886 NEW BEST:: SOT 4389525 SOS 710539 HAS SOPS 710539 HAS SOUS 605294 HAS SOUPS 605294 WITH SCORE 606004.539
AT ITER 7901 NEW BEST:: SOT 4389348 SOS 710675 HAS SOPS 710675 HAS SOUS 605174 HAS SOUPS 605174 WITH SCORE 605884.675
AT ITER 7917 NEW BEST:: SOT 4389225 SOS 710429 HAS SOPS 710429 HAS SOUS 605051 HAS SOUPS 605051 WITH SCORE 605761.429
AT ITER 7921 NEW BEST:: SOT 4389046 SOS 710071 HAS SOPS 710071 HAS SOUS 604693 HAS SOUPS 604693 WITH SCORE 605403.071
AT ITER 7997 NEW BEST:: SOT 4388965 SOS 710015 HAS SOPS 710015 HAS SOUS 604637 HAS SOUPS 604637 WITH SCORE 605347.015
AT ITER 8004 NEW BEST:: SOT 4388870 SOS 709825 HAS SOPS 709825 HAS SOUS 604447 HAS SOUPS 604447 WITH SCORE 605156.825
AT ITER 8010 NEW BEST:: SOT 4388831 SOS 709747 HAS SOPS 709747 HAS SOUS 604369 HAS SOUPS 604369 WITH SCORE 605078.747
AT ITER 8020 NEW BEST:: SOT 4388240 SOS 709353 HAS SOPS 709353 HAS SOUS 603778 HAS SOUPS 603778 WITH SCORE 604487.353
AT ITER 8031 NEW BEST:: SOT 4388240 SOS 709353 HAS SOPS 709353 HAS SOUS 603777 HAS SOUPS 603777 WITH SCORE 604486.353
AT ITER 8050 NEW BEST:: SOT 4388018 SOS 708909 HAS SOPS 708909 HAS SOUS 603333 HAS SOUPS 603333 WITH SCORE 604041.909
AT ITER 8057 NEW BEST:: SOT 4388012 SOS 708623 HAS SOPS 708623 HAS SOUS 603321 HAS SOUPS 603321 WITH SCORE 604029.623
AT ITER 8087 NEW BEST:: SOT 4387996 SOS 708607 HAS SOPS 708607 HAS SOUS 603305 HAS SOUPS 603305 WITH SCORE 604013.607
AT ITER 8092 NEW BEST:: SOT 4387990 SOS 708595 HAS SOPS 708595 HAS SOUS 603299 HAS SOUPS 603299 WITH SCORE 604007.595
AT ITER 8104 NEW BEST:: SOT 4387990 SOS 708541 HAS SOPS 708541 HAS SOUS 603245 HAS SOUPS 603245 WITH SCORE 603953.541
AT ITER 8107 NEW BEST:: SOT 4387699 SOS 709022 HAS SOPS 709022 HAS SOUS 603152 HAS SOUPS 603152 WITH SCORE 603861.022
AT ITER 8114 NEW BEST:: SOT 4387585 SOS 708650 HAS SOPS 708650 HAS SOUS 602894 HAS SOUPS 602894 WITH SCORE 603602.65
AT ITER 8117 NEW BEST:: SOT 4387563 SOS 708606 HAS SOPS 708606 HAS SOUS 602850 HAS SOUPS 602850 WITH SCORE 603558.606
AT ITER 8139 NEW BEST:: SOT 4387383 SOS 708246 HAS SOPS 708246 HAS SOUS 602670 HAS SOUPS 602670 WITH SCORE 603378.246
AT ITER 8152 NEW BEST:: SOT 4387383 SOS 708246 HAS SOPS 708246 HAS SOUS 602669 HAS SOUPS 602669 WITH SCORE 603377.246
AT ITER 8154 NEW BEST:: SOT 4387229 SOS 708348 HAS SOPS 708348 HAS SOUS 602600 HAS SOUPS 602600 WITH SCORE 603308.348
AT ITER 8170 NEW BEST:: SOT 4387229 SOS 708330 HAS SOPS 708330 HAS SOUS 602591 HAS SOUPS 602591 WITH SCORE 603299.33
AT ITER 8189 NEW BEST:: SOT 4387137 SOS 708238 HAS SOPS 708238 HAS SOUS 602499 HAS SOUPS 602499 WITH SCORE 603207.238
AT ITER 8210 NEW BEST:: SOT 4387077 SOS 708178 HAS SOPS 708178 HAS SOUS 602439 HAS SOUPS 602439 WITH SCORE 603147.178
AT ITER 8212 NEW BEST:: SOT 4387317 SOS 707790 HAS SOPS 707790 HAS SOUS 602163 HAS SOUPS 602163 WITH SCORE 602870.79
AT ITER 8244 NEW BEST:: SOT 4387269 SOS 707646 HAS SOPS 707646 HAS SOUS 602067 HAS SOUPS 602067 WITH SCORE 602774.646
AT ITER 8260 NEW BEST:: SOT 4387048 SOS 707425 HAS SOPS 707425 HAS SOUS 601931 HAS SOUPS 601931 WITH SCORE 602638.425
AT ITER 8279 NEW BEST:: SOT 4387047 SOS 707423 HAS SOPS 707423 HAS SOUS 601929 HAS SOUPS 601929 WITH SCORE 602636.423
AT ITER 8286 NEW BEST:: SOT 4387047 SOS 707423 HAS SOPS 707423 HAS SOUS 601906 HAS SOUPS 601906 WITH SCORE 602613.423
AT ITER 8329 NEW BEST:: SOT 4387035 SOS 707399 HAS SOPS 707399 HAS SOUS 601788 HAS SOUPS 601788 WITH SCORE 602495.399
AT ITER 8337 NEW BEST:: SOT 4387004 SOS 707337 HAS SOPS 707337 HAS SOUS 601726 HAS SOUPS 601726 WITH SCORE 602433.337
AT ITER 8346 NEW BEST:: SOT 4386974 SOS 706912 HAS SOPS 706912 HAS SOUS 601558 HAS SOUPS 601558 WITH SCORE 602264.912
AT ITER 8350 NEW BEST:: SOT 4386974 SOS 706909 HAS SOPS 706909 HAS SOUS 601554 HAS SOUPS 601554 WITH SCORE 602260.909
AT ITER 8362 NEW BEST:: SOT 4386941 SOS 706843 HAS SOPS 706843 HAS SOUS 601541 HAS SOUPS 601541 WITH SCORE 602247.843
AT ITER 8368 NEW BEST:: SOT 4386823 SOS 706135 HAS SOPS 706135 HAS SOUS 601305 HAS SOUPS 601305 WITH SCORE 602011.135
AT ITER 8377 NEW BEST:: SOT 4386569 SOS 706173 HAS SOPS 706173 HAS SOUS 601051 HAS SOUPS 601051 WITH SCORE 601757.173
AT ITER 8386 NEW BEST:: SOT 4386660 SOS 706355 HAS SOPS 706355 HAS SOUS 600975 HAS SOUPS 600975 WITH SCORE 601681.355
AT ITER 8419 NEW BEST:: SOT 4386608 SOS 706251 HAS SOPS 706251 HAS SOUS 600891 HAS SOUPS 600891 WITH SCORE 601597.251
AT ITER 8465 NEW BEST:: SOT 4386608 SOS 706135 HAS SOPS 706135 HAS SOUS 600833 HAS SOUPS 600833 WITH SCORE 601539.135
AT ITER 8474 NEW BEST:: SOT 4386608 SOS 706135 HAS SOPS 706135 HAS SOUS 600783 HAS SOUPS 600783 WITH SCORE 601489.135
AT ITER 8481 NEW BEST:: SOT 4386340 SOS 705542 HAS SOPS 705542 HAS SOUS 600190 HAS SOUPS 600190 WITH SCORE 600895.542
AT ITER 8498 NEW BEST:: SOT 4386368 SOS 705523 HAS SOPS 705523 HAS SOUS 600171 HAS SOUPS 600171 WITH SCORE 600876.523
AT ITER 8510 NEW BEST:: SOT 4386390 SOS 705223 HAS SOPS 705223 HAS SOUS 599742 HAS SOUPS 599742 WITH SCORE 600447.223
AT ITER 8525 NEW BEST:: SOT 4386369 SOS 705181 HAS SOPS 705181 HAS SOUS 599700 HAS SOUPS 599700 WITH SCORE 600405.181
AT ITER 8531 NEW BEST:: SOT 4386290 SOS 705102 HAS SOPS 705102 HAS SOUS 599621 HAS SOUPS 599621 WITH SCORE 600326.102
AT ITER 8534 NEW BEST:: SOT 4386169 SOS 704860 HAS SOPS 704860 HAS SOUS 599379 HAS SOUPS 599379 WITH SCORE 600083.86
AT ITER 8582 NEW BEST:: SOT 4386075 SOS 704905 HAS SOPS 704905 HAS SOUS 599284 HAS SOUPS 599284 WITH SCORE 599988.905
AT ITER 8587 NEW BEST:: SOT 4385935 SOS 704485 HAS SOPS 704485 HAS SOUS 598864 HAS SOUPS 598864 WITH SCORE 599568.485
AT ITER 8595 NEW BEST:: SOT 4385935 SOS 704398 HAS SOPS 704398 HAS SOUS 598860 HAS SOUPS 598860 WITH SCORE 599564.398
AT ITER 8599 NEW BEST:: SOT 4385935 SOS 704312 HAS SOPS 704312 HAS SOUS 598860 HAS SOUPS 598860 WITH SCORE 599564.312
AT ITER 8612 NEW BEST:: SOT 4385927 SOS 704296 HAS SOPS 704296 HAS SOUS 598844 HAS SOUPS 598844 WITH SCORE 599548.296
AT ITER 8640 NEW BEST:: SOT 4385927 SOS 703910 HAS SOPS 703910 HAS SOUS 598844 HAS SOUPS 598844 WITH SCORE 599547.91
AT ITER 8652 NEW BEST:: SOT 4385765 SOS 703586 HAS SOPS 703586 HAS SOUS 598520 HAS SOUPS 598520 WITH SCORE 599223.586
AT ITER 8662 NEW BEST:: SOT 4385708 SOS 703472 HAS SOPS 703472 HAS SOUS 598406 HAS SOUPS 598406 WITH SCORE 599109.472
AT ITER 8699 NEW BEST:: SOT 4385368 SOS 703812 HAS SOPS 703812 HAS SOUS 598323 HAS SOUPS 598323 WITH SCORE 599026.812
AT ITER 8729 NEW BEST:: SOT 4385223 SOS 703522 HAS SOPS 703522 HAS SOUS 598033 HAS SOUPS 598033 WITH SCORE 598736.522
AT ITER 8733 NEW BEST:: SOT 4385166 SOS 702674 HAS SOPS 702674 HAS SOUS 597643 HAS SOUPS 597643 WITH SCORE 598345.674
AT ITER 8735 NEW BEST:: SOT 4385132 SOS 702954 HAS SOPS 702954 HAS SOUS 597575 HAS SOUPS 597575 WITH SCORE 598277.954
AT ITER 8745 NEW BEST:: SOT 4385132 SOS 702954 HAS SOPS 702954 HAS SOUS 597413 HAS SOUPS 597413 WITH SCORE 598115.954
AT ITER 8761 NEW BEST:: SOT 4385132 SOS 702863 HAS SOPS 702863 HAS SOUS 597413 HAS SOUPS 597413 WITH SCORE 598115.863
AT ITER 8784 NEW BEST:: SOT 4385051 SOS 702782 HAS SOPS 702782 HAS SOUS 597332 HAS SOUPS 597332 WITH SCORE 598034.782
AT ITER 8806 NEW BEST:: SOT 4385051 SOS 702772 HAS SOPS 702772 HAS SOUS 597332 HAS SOUPS 597332 WITH SCORE 598034.772
AT ITER 8807 NEW BEST:: SOT 4385038 SOS 702746 HAS SOPS 702746 HAS SOUS 597306 HAS SOUPS 597306 WITH SCORE 598008.746
AT ITER 8818 NEW BEST:: SOT 4385027 SOS 702575 HAS SOPS 702575 HAS SOUS 597204 HAS SOUPS 597204 WITH SCORE 597906.575
AT ITER 8828 NEW BEST:: SOT 4385027 SOS 702524 HAS SOPS 702524 HAS SOUS 597153 HAS SOUPS 597153 WITH SCORE 597855.524
AT ITER 8840 NEW BEST:: SOT 4384994 SOS 702458 HAS SOPS 702458 HAS SOUS 597120 HAS SOUPS 597120 WITH SCORE 597822.458
AT ITER 8871 NEW BEST:: SOT 4384940 SOS 702386 HAS SOPS 702386 HAS SOUS 597048 HAS SOUPS 597048 WITH SCORE 597750.386
AT ITER 8897 NEW BEST:: SOT 4384808 SOS 702122 HAS SOPS 702122 HAS SOUS 596784 HAS SOUPS 596784 WITH SCORE 597486.122
AT ITER 8918 NEW BEST:: SOT 4384303 SOS 701450 HAS SOPS 701450 HAS SOUS 596112 HAS SOUPS 596112 WITH SCORE 596813.45
AT ITER 8919 NEW BEST:: SOT 4384292 SOS 701439 HAS SOPS 701439 HAS SOUS 596101 HAS SOUPS 596101 WITH SCORE 596802.439
AT ITER 8936 NEW BEST:: SOT 4384022 SOS 700899 HAS SOPS 700899 HAS SOUS 595909 HAS SOUPS 595909 WITH SCORE 596609.899
AT ITER 8941 NEW BEST:: SOT 4383807 SOS 700469 HAS SOPS 700469 HAS SOUS 595694 HAS SOUPS 595694 WITH SCORE 596394.469
AT ITER 8947 NEW BEST:: SOT 4383994 SOS 700377 HAS SOPS 700377 HAS SOUS 595648 HAS SOUPS 595648 WITH SCORE 596348.377
AT ITER 8948 NEW BEST:: SOT 4383908 SOS 700205 HAS SOPS 700205 HAS SOUS 595562 HAS SOUPS 595562 WITH SCORE 596262.205
AT ITER 8968 NEW BEST:: SOT 4383816 SOS 700113 HAS SOPS 700113 HAS SOUS 595470 HAS SOUPS 595470 WITH SCORE 596170.113
AT ITER 8970 NEW BEST:: SOT 4383707 SOS 699895 HAS SOPS 699895 HAS SOUS 595350 HAS SOUPS 595350 WITH SCORE 596049.895
AT ITER 8973 NEW BEST:: SOT 4383571 SOS 699623 HAS SOPS 699623 HAS SOUS 595214 HAS SOUPS 595214 WITH SCORE 595913.623
AT ITER 8981 NEW BEST:: SOT 4383543 SOS 699567 HAS SOPS 699567 HAS SOUS 595186 HAS SOUPS 595186 WITH SCORE 595885.567
AT ITER 8988 NEW BEST:: SOT 4383370 SOS 699131 HAS SOPS 699131 HAS SOUS 594926 HAS SOUPS 594926 WITH SCORE 595625.131
AT ITER 8995 NEW BEST:: SOT 4383370 SOS 699131 HAS SOPS 699131 HAS SOUS 594925 HAS SOUPS 594925 WITH SCORE 595624.131
AT ITER 9014 NEW BEST:: SOT 4383350 SOS 699122 HAS SOPS 699122 HAS SOUS 594905 HAS SOUPS 594905 WITH SCORE 595604.122
AT ITER 9029 NEW BEST:: SOT 4383444 SOS 698835 HAS SOPS 698835 HAS SOUS 594895 HAS SOUPS 594895 WITH SCORE 595593.835
AT ITER 9040 NEW BEST:: SOT 4383431 SOS 698809 HAS SOPS 698809 HAS SOUS 594885 HAS SOUPS 594885 WITH SCORE 595583.809
AT ITER 9074 NEW BEST:: SOT 4383431 SOS 698795 HAS SOPS 698795 HAS SOUS 594878 HAS SOUPS 594878 WITH SCORE 595576.795
AT ITER 9117 NEW BEST:: SOT 4383414 SOS 698795 HAS SOPS 698795 HAS SOUS 594861 HAS SOUPS 594861 WITH SCORE 595559.795
AT ITER 9144 NEW BEST:: SOT 4383360 SOS 698687 HAS SOPS 698687 HAS SOUS 594753 HAS SOUPS 594753 WITH SCORE 595451.687
AT ITER 9198 NEW BEST:: SOT 4383360 SOS 698687 HAS SOPS 698687 HAS SOUS 594734 HAS SOUPS 594734 WITH SCORE 595432.687
AT ITER 9225 NEW BEST:: SOT 4383240 SOS 698447 HAS SOPS 698447 HAS SOUS 594494 HAS SOUPS 594494 WITH SCORE 595192.447
AT ITER 9235 NEW BEST:: SOT 4383216 SOS 698423 HAS SOPS 698423 HAS SOUS 594470 HAS SOUPS 594470 WITH SCORE 595168.423
AT ITER 9264 NEW BEST:: SOT 4383070 SOS 698131 HAS SOPS 698131 HAS SOUS 594178 HAS SOUPS 594178 WITH SCORE 594876.131
AT ITER 9276 NEW BEST:: SOT 4383070 SOS 698112 HAS SOPS 698112 HAS SOUS 594159 HAS SOUPS 594159 WITH SCORE 594857.112
AT ITER 9285 NEW BEST:: SOT 4383340 SOS 698652 HAS SOPS 698652 HAS SOUS 594022 HAS SOUPS 594022 WITH SCORE 594720.652
AT ITER 9294 NEW BEST:: SOT 4383202 SOS 698376 HAS SOPS 698376 HAS SOUS 593884 HAS SOUPS 593884 WITH SCORE 594582.376
AT ITER 9303 NEW BEST:: SOT 4383098 SOS 698168 HAS SOPS 698168 HAS SOUS 593676 HAS SOUPS 593676 WITH SCORE 594374.168
AT ITER 9318 NEW BEST:: SOT 4383281 SOS 698146 HAS SOPS 698146 HAS SOUS 593471 HAS SOUPS 593471 WITH SCORE 594169.146
AT ITER 9322 NEW BEST:: SOT 4383174 SOS 698017 HAS SOPS 698017 HAS SOUS 593301 HAS SOUPS 593301 WITH SCORE 593999.017
AT ITER 9327 NEW BEST:: SOT 4383152 SOS 697973 HAS SOPS 697973 HAS SOUS 593279 HAS SOUPS 593279 WITH SCORE 593976.973
AT ITER 9391 NEW BEST:: SOT 4383209 SOS 697808 HAS SOPS 697808 HAS SOUS 593057 HAS SOUPS 593057 WITH SCORE 593754.808
AT ITER 9418 NEW BEST:: SOT 4383209 SOS 697794 HAS SOPS 697794 HAS SOUS 593043 HAS SOUPS 593043 WITH SCORE 593740.794
AT ITER 9432 NEW BEST:: SOT 4382893 SOS 698332 HAS SOPS 698332 HAS SOUS 592887 HAS SOUPS 592887 WITH SCORE 593585.332
AT ITER 9478 NEW BEST:: SOT 4382675 SOS 698114 HAS SOPS 698114 HAS SOUS 592762 HAS SOUPS 592762 WITH SCORE 593460.114
AT ITER 9491 NEW BEST:: SOT 4382675 SOS 698113 HAS SOPS 698113 HAS SOUS 592761 HAS SOUPS 592761 WITH SCORE 593459.113
AT ITER 9549 NEW BEST:: SOT 4382362 SOS 698347 HAS SOPS 698347 HAS SOUS 592663 HAS SOUPS 592663 WITH SCORE 593361.347
AT ITER 9611 NEW BEST:: SOT 4382362 SOS 698321 HAS SOPS 698321 HAS SOUS 592663 HAS SOUPS 592663 WITH SCORE 593361.321
AT ITER 9614 NEW BEST:: SOT 4382328 SOS 698253 HAS SOPS 698253 HAS SOUS 592629 HAS SOUPS 592629 WITH SCORE 593327.253
AT ITER 9616 NEW BEST:: SOT 4382281 SOS 698159 HAS SOPS 698159 HAS SOUS 592535 HAS SOUPS 592535 WITH SCORE 593233.159
AT ITER 9620 NEW BEST:: SOT 4382365 SOS 698243 HAS SOPS 698243 HAS SOUS 592526 HAS SOUPS 592526 WITH SCORE 593224.243
AT ITER 9626 NEW BEST:: SOT 4382326 SOS 698165 HAS SOPS 698165 HAS SOUS 592448 HAS SOUPS 592448 WITH SCORE 593146.165
AT ITER 9638 NEW BEST:: SOT 4382265 SOS 698515 HAS SOPS 698515 HAS SOUS 592387 HAS SOUPS 592387 WITH SCORE 593085.515
AT ITER 9674 NEW BEST:: SOT 4382074 SOS 698133 HAS SOPS 698133 HAS SOUS 592005 HAS SOUPS 592005 WITH SCORE 592703.133
AT ITER 9680 NEW BEST:: SOT 4381888 SOS 697761 HAS SOPS 697761 HAS SOUS 591633 HAS SOUPS 591633 WITH SCORE 592330.761
AT ITER 9690 NEW BEST:: SOT 4381775 SOS 697535 HAS SOPS 697535 HAS SOUS 591520 HAS SOUPS 591520 WITH SCORE 592217.535
AT ITER 9715 NEW BEST:: SOT 4381774 SOS 697533 HAS SOPS 697533 HAS SOUS 591518 HAS SOUPS 591518 WITH SCORE 592215.533
AT ITER 9722 NEW BEST:: SOT 4381632 SOS 697249 HAS SOPS 697249 HAS SOUS 591234 HAS SOUPS 591234 WITH SCORE 591931.249
AT ITER 9746 NEW BEST:: SOT 4381612 SOS 697209 HAS SOPS 697209 HAS SOUS 591228 HAS SOUPS 591228 WITH SCORE 591925.209
AT ITER 9765 NEW BEST:: SOT 4381604 SOS 697193 HAS SOPS 697193 HAS SOUS 591220 HAS SOUPS 591220 WITH SCORE 591917.193
AT ITER 9791 NEW BEST:: SOT 4381580 SOS 697121 HAS SOPS 697121 HAS SOUS 591172 HAS SOUPS 591172 WITH SCORE 591869.121
AT ITER 9816 NEW BEST:: SOT 4381770 SOS 697061 HAS SOPS 697061 HAS SOUS 591142 HAS SOUPS 591142 WITH SCORE 591839.061
AT ITER 9870 NEW BEST:: SOT 4381850 SOS 696666 HAS SOPS 696666 HAS SOUS 590874 HAS SOUPS 590874 WITH SCORE 591570.666
AT ITER 9871 NEW BEST:: SOT 4381850 SOS 696666 HAS SOPS 696666 HAS SOUS 590871 HAS SOUPS 590871 WITH SCORE 591567.666
AT ITER 9880 NEW BEST:: SOT 4381816 SOS 696598 HAS SOPS 696598 HAS SOUS 590837 HAS SOUPS 590837 WITH SCORE 591533.598
AT ITER 9887 NEW BEST:: SOT 4381650 SOS 696477 HAS SOPS 696477 HAS SOUS 590709 HAS SOUPS 590709 WITH SCORE 591405.477
AT ITER 9889 NEW BEST:: SOT 4381593 SOS 696363 HAS SOPS 696363 HAS SOUS 590708 HAS SOUPS 590708 WITH SCORE 591404.363
AT ITER 9893 NEW BEST:: SOT 4381530 SOS 696237 HAS SOPS 696237 HAS SOUS 590582 HAS SOUPS 590582 WITH SCORE 591278.237
AT ITER 9909 NEW BEST:: SOT 4381729 SOS 696409 HAS SOPS 696409 HAS SOUS 590466 HAS SOUPS 590466 WITH SCORE 591162.409
AT ITER 9911 NEW BEST:: SOT 4381599 SOS 696214 HAS SOPS 696214 HAS SOUS 590271 HAS SOUPS 590271 WITH SCORE 590967.214
AT ITER 9967 NEW BEST:: SOT 4381209 SOS 696175 HAS SOPS 696175 HAS SOUS 589874 HAS SOUPS 589874 WITH SCORE 590570.175
AT ITER 9971 NEW BEST:: SOT 4381162 SOS 696128 HAS SOPS 696128 HAS SOUS 589780 HAS SOUPS 589780 WITH SCORE 590476.128
AT ITER 9976 NEW BEST:: SOT 4380918 SOS 696025 HAS SOPS 696025 HAS SOUS 589677 HAS SOUPS 589677 WITH SCORE 590373.025
AT ITER 9987 NEW BEST:: SOT 4380918 SOS 696025 HAS SOPS 696025 HAS SOUS 589675 HAS SOUPS 589675 WITH SCORE 590371.025
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 12116892 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16122584 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-313"
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-313, 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-167814483800104"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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