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.r075-smll-167814401000408.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 CloudDeployment-PT-4b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r075-smll-167814401000408
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 956K
-rw-r--r-- 1 mcc users 6.7K Feb 25 14:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 71K Feb 25 14:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.4K Feb 25 14:50 CTLFireability.txt
-rw-r--r-- 1 mcc users 33K Feb 25 14:50 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:45 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:45 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.4K Feb 25 14:52 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 96K Feb 25 14:52 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Feb 25 14:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 41K Feb 25 14:51 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:45 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:45 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 591K 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 1678345348724

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=CloudDeployment-PT-4b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 07:02:32] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 07:02:32] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 07:02:32] [INFO ] Load time of PNML (sax parser for PT used): 301 ms
[2023-03-09 07:02:32] [INFO ] Transformed 1182 places.
[2023-03-09 07:02:32] [INFO ] Transformed 1824 transitions.
[2023-03-09 07:02:32] [INFO ] Found NUPN structural information;
[2023-03-09 07:02:32] [INFO ] Parsed PT model containing 1182 places and 1824 transitions and 8741 arcs in 490 ms.
[2023-03-09 07:02:32] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1182 places, 1824 transitions and 8741 arcs took 49 ms.
Total runtime 604 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudDeployment (PT), instance 4b
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: 1182 places, 1824 transitions, 8741 arcs.
AT ITER 0 NEW BEST:: SOT 1371630 SOS 370547 HAS SOPS 370547 HAS SOUS 239087 HAS SOUPS 239087 WITH SCORE 239457.547
AT ITER 1 NEW BEST:: SOT 1371630 SOS 370547 HAS SOPS 370547 HAS SOUS 239018 HAS SOUPS 239018 WITH SCORE 239388.547
AT ITER 3 NEW BEST:: SOT 1371543 SOS 370765 HAS SOPS 370765 HAS SOUS 238934 HAS SOUPS 238934 WITH SCORE 239304.765
AT ITER 11 NEW BEST:: SOT 1371330 SOS 370618 HAS SOPS 370618 HAS SOUS 238648 HAS SOUPS 238648 WITH SCORE 239018.618
AT ITER 19 NEW BEST:: SOT 1371288 SOS 370590 HAS SOPS 370590 HAS SOUS 238606 HAS SOUPS 238606 WITH SCORE 238976.59
AT ITER 22 NEW BEST:: SOT 1371111 SOS 370413 HAS SOPS 370413 HAS SOUS 238429 HAS SOUPS 238429 WITH SCORE 238799.413
AT ITER 40 NEW BEST:: SOT 1371111 SOS 370459 HAS SOPS 370459 HAS SOUS 238428 HAS SOUPS 238428 WITH SCORE 238798.459
AT ITER 45 NEW BEST:: SOT 1370966 SOS 370565 HAS SOPS 370565 HAS SOUS 238325 HAS SOUPS 238325 WITH SCORE 238695.565
AT ITER 62 NEW BEST:: SOT 1370904 SOS 370966 HAS SOPS 370966 HAS SOUS 238263 HAS SOUPS 238263 WITH SCORE 238633.966
AT ITER 77 NEW BEST:: SOT 1370904 SOS 370911 HAS SOPS 370911 HAS SOUS 238208 HAS SOUPS 238208 WITH SCORE 238578.911
AT ITER 79 NEW BEST:: SOT 1370813 SOS 370729 HAS SOPS 370729 HAS SOUS 238026 HAS SOUPS 238026 WITH SCORE 238396.729
AT ITER 92 NEW BEST:: SOT 1370813 SOS 370729 HAS SOPS 370729 HAS SOUS 238023 HAS SOUPS 238023 WITH SCORE 238393.729
AT ITER 100 NEW BEST:: SOT 1370656 SOS 370649 HAS SOPS 370649 HAS SOUS 237865 HAS SOUPS 237865 WITH SCORE 238235.649
AT ITER 103 NEW BEST:: SOT 1370554 SOS 371808 HAS SOPS 371808 HAS SOUS 237821 HAS SOUPS 237821 WITH SCORE 238192.808
AT ITER 130 NEW BEST:: SOT 1370463 SOS 371862 HAS SOPS 371862 HAS SOUS 237725 HAS SOUPS 237725 WITH SCORE 238096.862
AT ITER 155 NEW BEST:: SOT 1370469 SOS 371829 HAS SOPS 371829 HAS SOUS 237686 HAS SOUPS 237686 WITH SCORE 238057.829
AT ITER 184 NEW BEST:: SOT 1370469 SOS 371809 HAS SOPS 371809 HAS SOUS 237668 HAS SOUPS 237668 WITH SCORE 238039.809
AT ITER 187 NEW BEST:: SOT 1370395 SOS 371661 HAS SOPS 371661 HAS SOUS 237637 HAS SOUPS 237637 WITH SCORE 238008.661
AT ITER 188 NEW BEST:: SOT 1370299 SOS 372117 HAS SOPS 372117 HAS SOUS 237573 HAS SOUPS 237573 WITH SCORE 237945.117
AT ITER 189 NEW BEST:: SOT 1370176 SOS 371994 HAS SOPS 371994 HAS SOUS 237450 HAS SOUPS 237450 WITH SCORE 237821.994
AT ITER 202 NEW BEST:: SOT 1370176 SOS 371878 HAS SOPS 371878 HAS SOUS 237450 HAS SOUPS 237450 WITH SCORE 237821.878
AT ITER 218 NEW BEST:: SOT 1370091 SOS 371854 HAS SOPS 371854 HAS SOUS 237231 HAS SOUPS 237231 WITH SCORE 237602.854
AT ITER 232 NEW BEST:: SOT 1368694 SOS 370660 HAS SOPS 370660 HAS SOUS 235834 HAS SOUPS 235834 WITH SCORE 236204.66
AT ITER 236 NEW BEST:: SOT 1368653 SOS 370619 HAS SOPS 370619 HAS SOUS 235831 HAS SOUPS 235831 WITH SCORE 236201.619
AT ITER 244 NEW BEST:: SOT 1367396 SOS 374105 HAS SOPS 374105 HAS SOUS 235075 HAS SOUPS 235075 WITH SCORE 235449.105
AT ITER 253 NEW BEST:: SOT 1367219 SOS 373928 HAS SOPS 373928 HAS SOUS 229478 HAS SOUPS 229478 WITH SCORE 229851.928
AT ITER 268 NEW BEST:: SOT 1367219 SOS 373730 HAS SOPS 373730 HAS SOUS 229265 HAS SOUPS 229265 WITH SCORE 229638.73
AT ITER 286 NEW BEST:: SOT 1367207 SOS 373576 HAS SOPS 373576 HAS SOUS 229241 HAS SOUPS 229241 WITH SCORE 229614.576
AT ITER 313 NEW BEST:: SOT 1367207 SOS 375999 HAS SOPS 375999 HAS SOUS 229238 HAS SOUPS 229238 WITH SCORE 229613.999
AT ITER 320 NEW BEST:: SOT 1367118 SOS 375992 HAS SOPS 375992 HAS SOUS 229149 HAS SOUPS 229149 WITH SCORE 229524.992
AT ITER 338 NEW BEST:: SOT 1367073 SOS 375947 HAS SOPS 375947 HAS SOUS 229149 HAS SOUPS 229149 WITH SCORE 229524.947
AT ITER 347 NEW BEST:: SOT 1367006 SOS 376008 HAS SOPS 376008 HAS SOUS 229145 HAS SOUPS 229145 WITH SCORE 229521.008
AT ITER 348 NEW BEST:: SOT 1366958 SOS 375960 HAS SOPS 375960 HAS SOUS 229145 HAS SOUPS 229145 WITH SCORE 229520.96
AT ITER 426 NEW BEST:: SOT 1366958 SOS 375999 HAS SOPS 375999 HAS SOUS 229099 HAS SOUPS 229099 WITH SCORE 229474.999
AT ITER 428 NEW BEST:: SOT 1366877 SOS 375945 HAS SOPS 375945 HAS SOUS 228606 HAS SOUPS 228606 WITH SCORE 228981.945
AT ITER 433 NEW BEST:: SOT 1366814 SOS 375819 HAS SOPS 375819 HAS SOUS 228480 HAS SOUPS 228480 WITH SCORE 228855.819
AT ITER 438 NEW BEST:: SOT 1366814 SOS 375819 HAS SOPS 375819 HAS SOUS 228478 HAS SOUPS 228478 WITH SCORE 228853.819
AT ITER 443 NEW BEST:: SOT 1366714 SOS 375736 HAS SOPS 375736 HAS SOUS 228374 HAS SOUPS 228374 WITH SCORE 228749.736
AT ITER 462 NEW BEST:: SOT 1366585 SOS 375478 HAS SOPS 375478 HAS SOUS 228116 HAS SOUPS 228116 WITH SCORE 228491.478
AT ITER 481 NEW BEST:: SOT 1366583 SOS 375474 HAS SOPS 375474 HAS SOUS 228055 HAS SOUPS 228055 WITH SCORE 228430.474
AT ITER 488 NEW BEST:: SOT 1365894 SOS 380432 HAS SOPS 380432 HAS SOUS 227967 HAS SOUPS 227967 WITH SCORE 228347.432
AT ITER 509 NEW BEST:: SOT 1365861 SOS 380127 HAS SOPS 380127 HAS SOUS 227909 HAS SOUPS 227909 WITH SCORE 228289.127
AT ITER 521 NEW BEST:: SOT 1365850 SOS 380116 HAS SOPS 380116 HAS SOUS 227898 HAS SOUPS 227898 WITH SCORE 228278.116
AT ITER 535 NEW BEST:: SOT 1365954 SOS 380324 HAS SOPS 380324 HAS SOUS 227781 HAS SOUPS 227781 WITH SCORE 228161.324
AT ITER 537 NEW BEST:: SOT 1365857 SOS 380182 HAS SOPS 380182 HAS SOUS 227639 HAS SOUPS 227639 WITH SCORE 228019.182
AT ITER 553 NEW BEST:: SOT 1365856 SOS 380180 HAS SOPS 380180 HAS SOUS 227637 HAS SOUPS 227637 WITH SCORE 228017.18
AT ITER 558 NEW BEST:: SOT 1365812 SOS 379990 HAS SOPS 379990 HAS SOUS 227319 HAS SOUPS 227319 WITH SCORE 227698.99
AT ITER 563 NEW BEST:: SOT 1365789 SOS 379898 HAS SOPS 379898 HAS SOUS 227273 HAS SOUPS 227273 WITH SCORE 227652.898
AT ITER 574 NEW BEST:: SOT 1365689 SOS 379698 HAS SOPS 379698 HAS SOUS 227073 HAS SOUPS 227073 WITH SCORE 227452.698
AT ITER 575 NEW BEST:: SOT 1365631 SOS 379582 HAS SOPS 379582 HAS SOUS 226774 HAS SOUPS 226774 WITH SCORE 227153.582
AT ITER 577 NEW BEST:: SOT 1365671 SOS 379495 HAS SOPS 379495 HAS SOUS 226687 HAS SOUPS 226687 WITH SCORE 227066.495
AT ITER 581 NEW BEST:: SOT 1365670 SOS 379411 HAS SOPS 379411 HAS SOUS 226603 HAS SOUPS 226603 WITH SCORE 226982.411
AT ITER 583 NEW BEST:: SOT 1364995 SOS 380083 HAS SOPS 380083 HAS SOUS 226602 HAS SOUPS 226602 WITH SCORE 226982.083
AT ITER 657 NEW BEST:: SOT 1363830 SOS 388819 HAS SOPS 388819 HAS SOUS 225654 HAS SOUPS 225654 WITH SCORE 226042.819
AT ITER 664 NEW BEST:: SOT 1363827 SOS 388816 HAS SOPS 388816 HAS SOUS 225648 HAS SOUPS 225648 WITH SCORE 226036.816
AT ITER 670 NEW BEST:: SOT 1363827 SOS 388617 HAS SOPS 388617 HAS SOUS 225616 HAS SOUPS 225616 WITH SCORE 226004.617
AT ITER 693 NEW BEST:: SOT 1363738 SOS 388528 HAS SOPS 388528 HAS SOUS 224192 HAS SOUPS 224192 WITH SCORE 224580.528
AT ITER 697 NEW BEST:: SOT 1363792 SOS 388506 HAS SOPS 388506 HAS SOUS 224116 HAS SOUPS 224116 WITH SCORE 224504.506
AT ITER 708 NEW BEST:: SOT 1363791 SOS 388504 HAS SOPS 388504 HAS SOUS 224108 HAS SOUPS 224108 WITH SCORE 224496.504
AT ITER 711 NEW BEST:: SOT 1363791 SOS 388671 HAS SOPS 388671 HAS SOUS 223913 HAS SOUPS 223913 WITH SCORE 224301.671
AT ITER 745 NEW BEST:: SOT 1363191 SOS 388359 HAS SOPS 388359 HAS SOUS 223313 HAS SOUPS 223313 WITH SCORE 223701.359
AT ITER 749 NEW BEST:: SOT 1363159 SOS 388373 HAS SOPS 388373 HAS SOUS 223281 HAS SOUPS 223281 WITH SCORE 223669.373
AT ITER 758 NEW BEST:: SOT 1363142 SOS 388339 HAS SOPS 388339 HAS SOUS 223247 HAS SOUPS 223247 WITH SCORE 223635.339
AT ITER 763 NEW BEST:: SOT 1363116 SOS 388287 HAS SOPS 388287 HAS SOUS 223176 HAS SOUPS 223176 WITH SCORE 223564.287
AT ITER 794 NEW BEST:: SOT 1362976 SOS 388243 HAS SOPS 388243 HAS SOUS 223046 HAS SOUPS 223046 WITH SCORE 223434.243
AT ITER 804 NEW BEST:: SOT 1362902 SOS 388095 HAS SOPS 388095 HAS SOUS 222971 HAS SOUPS 222971 WITH SCORE 223359.095
AT ITER 806 NEW BEST:: SOT 1362720 SOS 387913 HAS SOPS 387913 HAS SOUS 222789 HAS SOUPS 222789 WITH SCORE 223176.913
AT ITER 811 NEW BEST:: SOT 1362781 SOS 387821 HAS SOPS 387821 HAS SOUS 222664 HAS SOUPS 222664 WITH SCORE 223051.821
AT ITER 822 NEW BEST:: SOT 1362827 SOS 388101 HAS SOPS 388101 HAS SOUS 222560 HAS SOUPS 222560 WITH SCORE 222948.101
AT ITER 824 NEW BEST:: SOT 1362792 SOS 388031 HAS SOPS 388031 HAS SOUS 222525 HAS SOUPS 222525 WITH SCORE 222913.031
AT ITER 829 NEW BEST:: SOT 1362792 SOS 388626 HAS SOPS 388626 HAS SOUS 222473 HAS SOUPS 222473 WITH SCORE 222861.626
AT ITER 859 NEW BEST:: SOT 1362755 SOS 388552 HAS SOPS 388552 HAS SOUS 222436 HAS SOUPS 222436 WITH SCORE 222824.552
AT ITER 872 NEW BEST:: SOT 1362755 SOS 388528 HAS SOPS 388528 HAS SOUS 222412 HAS SOUPS 222412 WITH SCORE 222800.528
AT ITER 902 NEW BEST:: SOT 1362769 SOS 388514 HAS SOPS 388514 HAS SOUS 222412 HAS SOUPS 222412 WITH SCORE 222800.514
AT ITER 903 NEW BEST:: SOT 1362741 SOS 388682 HAS SOPS 388682 HAS SOUS 222384 HAS SOUPS 222384 WITH SCORE 222772.682
AT ITER 904 NEW BEST:: SOT 1362740 SOS 388680 HAS SOPS 388680 HAS SOUS 222382 HAS SOUPS 222382 WITH SCORE 222770.68
AT ITER 915 NEW BEST:: SOT 1362715 SOS 388630 HAS SOPS 388630 HAS SOUS 222332 HAS SOUPS 222332 WITH SCORE 222720.63
AT ITER 918 NEW BEST:: SOT 1362685 SOS 388435 HAS SOPS 388435 HAS SOUS 222323 HAS SOUPS 222323 WITH SCORE 222711.435
AT ITER 925 NEW BEST:: SOT 1362615 SOS 388365 HAS SOPS 388365 HAS SOUS 222253 HAS SOUPS 222253 WITH SCORE 222641.365
AT ITER 928 NEW BEST:: SOT 1362526 SOS 388747 HAS SOPS 388747 HAS SOUS 222244 HAS SOUPS 222244 WITH SCORE 222632.747
AT ITER 929 NEW BEST:: SOT 1362525 SOS 388745 HAS SOPS 388745 HAS SOUS 222242 HAS SOUPS 222242 WITH SCORE 222630.745
AT ITER 932 NEW BEST:: SOT 1362467 SOS 388754 HAS SOPS 388754 HAS SOUS 222184 HAS SOUPS 222184 WITH SCORE 222572.754
AT ITER 943 NEW BEST:: SOT 1362377 SOS 388805 HAS SOPS 388805 HAS SOUS 222158 HAS SOUPS 222158 WITH SCORE 222546.805
AT ITER 945 NEW BEST:: SOT 1362376 SOS 388803 HAS SOPS 388803 HAS SOUS 222156 HAS SOUPS 222156 WITH SCORE 222544.803
AT ITER 952 NEW BEST:: SOT 1362376 SOS 388939 HAS SOPS 388939 HAS SOUS 222077 HAS SOUPS 222077 WITH SCORE 222465.939
AT ITER 985 NEW BEST:: SOT 1362267 SOS 388676 HAS SOPS 388676 HAS SOUS 221940 HAS SOUPS 221940 WITH SCORE 222328.676
AT ITER 1000 NEW BEST:: SOT 1362285 SOS 388694 HAS SOPS 388694 HAS SOUS 221892 HAS SOUPS 221892 WITH SCORE 222280.694
AT ITER 1004 NEW BEST:: SOT 1362144 SOS 388647 HAS SOPS 388647 HAS SOUS 221798 HAS SOUPS 221798 WITH SCORE 222186.647
AT ITER 1032 NEW BEST:: SOT 1362085 SOS 388529 HAS SOPS 388529 HAS SOUS 221731 HAS SOUPS 221731 WITH SCORE 222119.529
AT ITER 1073 NEW BEST:: SOT 1362055 SOS 388499 HAS SOPS 388499 HAS SOUS 221691 HAS SOUPS 221691 WITH SCORE 222079.499
AT ITER 1103 NEW BEST:: SOT 1362054 SOS 388379 HAS SOPS 388379 HAS SOUS 221631 HAS SOUPS 221631 WITH SCORE 222019.379
AT ITER 1108 NEW BEST:: SOT 1361965 SOS 388290 HAS SOPS 388290 HAS SOUS 221495 HAS SOUPS 221495 WITH SCORE 221883.29
AT ITER 1135 NEW BEST:: SOT 1361964 SOS 388288 HAS SOPS 388288 HAS SOUS 221493 HAS SOUPS 221493 WITH SCORE 221881.288
AT ITER 1148 NEW BEST:: SOT 1361868 SOS 388171 HAS SOPS 388171 HAS SOUS 221376 HAS SOUPS 221376 WITH SCORE 221764.171
AT ITER 1151 NEW BEST:: SOT 1361827 SOS 388089 HAS SOPS 388089 HAS SOUS 221335 HAS SOUPS 221335 WITH SCORE 221723.089
AT ITER 1152 NEW BEST:: SOT 1361827 SOS 388012 HAS SOPS 388012 HAS SOUS 221335 HAS SOUPS 221335 WITH SCORE 221723.012
AT ITER 1162 NEW BEST:: SOT 1361617 SOS 387802 HAS SOPS 387802 HAS SOUS 221122 HAS SOUPS 221122 WITH SCORE 221509.802
AT ITER 1171 NEW BEST:: SOT 1361617 SOS 387802 HAS SOPS 387802 HAS SOUS 221051 HAS SOUPS 221051 WITH SCORE 221438.802
AT ITER 1173 NEW BEST:: SOT 1361609 SOS 387717 HAS SOPS 387717 HAS SOUS 220945 HAS SOUPS 220945 WITH SCORE 221332.717
AT ITER 1193 NEW BEST:: SOT 1361609 SOS 387682 HAS SOPS 387682 HAS SOUS 220945 HAS SOUPS 220945 WITH SCORE 221332.682
AT ITER 1203 NEW BEST:: SOT 1361695 SOS 387989 HAS SOPS 387989 HAS SOUS 220857 HAS SOUPS 220857 WITH SCORE 221244.989
AT ITER 1217 NEW BEST:: SOT 1361353 SOS 387775 HAS SOPS 387775 HAS SOUS 220542 HAS SOUPS 220542 WITH SCORE 220929.775
AT ITER 1219 NEW BEST:: SOT 1361309 SOS 387731 HAS SOPS 387731 HAS SOUS 220491 HAS SOUPS 220491 WITH SCORE 220878.731
AT ITER 1229 NEW BEST:: SOT 1361418 SOS 387949 HAS SOPS 387949 HAS SOUS 220483 HAS SOUPS 220483 WITH SCORE 220870.949
AT ITER 1252 NEW BEST:: SOT 1361393 SOS 387839 HAS SOPS 387839 HAS SOUS 220373 HAS SOUPS 220373 WITH SCORE 220760.839
AT ITER 1265 NEW BEST:: SOT 1361555 SOS 388163 HAS SOPS 388163 HAS SOUS 220266 HAS SOUPS 220266 WITH SCORE 220654.163
AT ITER 1266 NEW BEST:: SOT 1361480 SOS 388013 HAS SOPS 388013 HAS SOUS 220116 HAS SOUPS 220116 WITH SCORE 220504.013
AT ITER 1270 NEW BEST:: SOT 1361480 SOS 388288 HAS SOPS 388288 HAS SOUS 220072 HAS SOUPS 220072 WITH SCORE 220460.288
AT ITER 1308 NEW BEST:: SOT 1361405 SOS 388230 HAS SOPS 388230 HAS SOUS 219975 HAS SOUPS 219975 WITH SCORE 220363.23
AT ITER 1317 NEW BEST:: SOT 1361307 SOS 388034 HAS SOPS 388034 HAS SOUS 219877 HAS SOUPS 219877 WITH SCORE 220265.034
AT ITER 1322 NEW BEST:: SOT 1361307 SOS 388760 HAS SOPS 388760 HAS SOUS 219861 HAS SOUPS 219861 WITH SCORE 220249.76
AT ITER 1330 NEW BEST:: SOT 1361171 SOS 388792 HAS SOPS 388792 HAS SOUS 219730 HAS SOUPS 219730 WITH SCORE 220118.792
AT ITER 1335 NEW BEST:: SOT 1360995 SOS 388845 HAS SOPS 388845 HAS SOUS 219449 HAS SOUPS 219449 WITH SCORE 219837.845
AT ITER 1340 NEW BEST:: SOT 1360995 SOS 388845 HAS SOPS 388845 HAS SOUS 219447 HAS SOUPS 219447 WITH SCORE 219835.845
AT ITER 1353 NEW BEST:: SOT 1361038 SOS 388931 HAS SOPS 388931 HAS SOUS 219411 HAS SOUPS 219411 WITH SCORE 219799.931
AT ITER 1364 NEW BEST:: SOT 1361015 SOS 388686 HAS SOPS 388686 HAS SOUS 219298 HAS SOUPS 219298 WITH SCORE 219686.686
AT ITER 1377 NEW BEST:: SOT 1360453 SOS 401862 HAS SOPS 401862 HAS SOUS 218709 HAS SOUPS 218709 WITH SCORE 219110.862
AT ITER 1379 NEW BEST:: SOT 1360453 SOS 401862 HAS SOPS 401862 HAS SOUS 218701 HAS SOUPS 218701 WITH SCORE 219102.862
AT ITER 1405 NEW BEST:: SOT 1360338 SOS 401501 HAS SOPS 401501 HAS SOUS 218541 HAS SOUPS 218541 WITH SCORE 218942.501
AT ITER 1407 NEW BEST:: SOT 1360282 SOS 401473 HAS SOPS 401473 HAS SOUS 218485 HAS SOUPS 218485 WITH SCORE 218886.473
AT ITER 1425 NEW BEST:: SOT 1360340 SOS 401255 HAS SOPS 401255 HAS SOUS 218434 HAS SOUPS 218434 WITH SCORE 218835.255
AT ITER 1432 NEW BEST:: SOT 1360241 SOS 401405 HAS SOPS 401405 HAS SOUS 218377 HAS SOUPS 218377 WITH SCORE 218778.405
AT ITER 1439 NEW BEST:: SOT 1360238 SOS 401393 HAS SOPS 401393 HAS SOUS 218374 HAS SOUPS 218374 WITH SCORE 218775.393
AT ITER 1444 NEW BEST:: SOT 1360236 SOS 401622 HAS SOPS 401622 HAS SOUS 218372 HAS SOUPS 218372 WITH SCORE 218773.622
AT ITER 1449 NEW BEST:: SOT 1359680 SOS 401066 HAS SOPS 401066 HAS SOUS 217816 HAS SOUPS 217816 WITH SCORE 218217.066
AT ITER 1486 NEW BEST:: SOT 1359680 SOS 401037 HAS SOPS 401037 HAS SOUS 217816 HAS SOUPS 217816 WITH SCORE 218217.037
AT ITER 1487 NEW BEST:: SOT 1359650 SOS 400935 HAS SOPS 400935 HAS SOUS 217774 HAS SOUPS 217774 WITH SCORE 218174.935
AT ITER 1493 NEW BEST:: SOT 1359649 SOS 400934 HAS SOPS 400934 HAS SOUS 217773 HAS SOUPS 217773 WITH SCORE 218173.934
AT ITER 1496 NEW BEST:: SOT 1359730 SOS 400890 HAS SOPS 400890 HAS SOUS 217704 HAS SOUPS 217704 WITH SCORE 218104.89
AT ITER 1501 NEW BEST:: SOT 1359728 SOS 400892 HAS SOPS 400892 HAS SOUS 217702 HAS SOUPS 217702 WITH SCORE 218102.892
AT ITER 1509 NEW BEST:: SOT 1359726 SOS 400888 HAS SOPS 400888 HAS SOUS 217699 HAS SOUPS 217699 WITH SCORE 218099.888
AT ITER 1510 NEW BEST:: SOT 1359726 SOS 400888 HAS SOPS 400888 HAS SOUS 217649 HAS SOUPS 217649 WITH SCORE 218049.888
AT ITER 1513 NEW BEST:: SOT 1359692 SOS 400799 HAS SOPS 400799 HAS SOUS 217613 HAS SOUPS 217613 WITH SCORE 218013.799
AT ITER 1514 NEW BEST:: SOT 1359640 SOS 400828 HAS SOPS 400828 HAS SOUS 217462 HAS SOUPS 217462 WITH SCORE 217862.828
AT ITER 1542 NEW BEST:: SOT 1358902 SOS 406782 HAS SOPS 406782 HAS SOUS 217039 HAS SOUPS 217039 WITH SCORE 217445.782
AT ITER 1549 NEW BEST:: SOT 1358902 SOS 406732 HAS SOPS 406732 HAS SOUS 217039 HAS SOUPS 217039 WITH SCORE 217445.732
AT ITER 1551 NEW BEST:: SOT 1359015 SOS 406958 HAS SOPS 406958 HAS SOUS 216962 HAS SOUPS 216962 WITH SCORE 217368.958
AT ITER 1569 NEW BEST:: SOT 1358911 SOS 407314 HAS SOPS 407314 HAS SOUS 216919 HAS SOUPS 216919 WITH SCORE 217326.314
AT ITER 1579 NEW BEST:: SOT 1358844 SOS 407540 HAS SOPS 407540 HAS SOUS 216875 HAS SOUPS 216875 WITH SCORE 217282.54
AT ITER 1585 NEW BEST:: SOT 1358837 SOS 407526 HAS SOPS 407526 HAS SOUS 216867 HAS SOUPS 216867 WITH SCORE 217274.526
AT ITER 1596 NEW BEST:: SOT 1358756 SOS 407364 HAS SOPS 407364 HAS SOUS 216705 HAS SOUPS 216705 WITH SCORE 217112.364
AT ITER 1601 NEW BEST:: SOT 1358756 SOS 407326 HAS SOPS 407326 HAS SOUS 216629 HAS SOUPS 216629 WITH SCORE 217036.326
AT ITER 1609 NEW BEST:: SOT 1358708 SOS 407230 HAS SOPS 407230 HAS SOUS 216533 HAS SOUPS 216533 WITH SCORE 216940.23
AT ITER 1642 NEW BEST:: SOT 1358652 SOS 407118 HAS SOPS 407118 HAS SOUS 216522 HAS SOUPS 216522 WITH SCORE 216929.118
AT ITER 1664 NEW BEST:: SOT 1358390 SOS 408512 HAS SOPS 408512 HAS SOUS 216399 HAS SOUPS 216399 WITH SCORE 216807.512
AT ITER 1680 NEW BEST:: SOT 1358424 SOS 408580 HAS SOPS 408580 HAS SOUS 216313 HAS SOUPS 216313 WITH SCORE 216721.58
AT ITER 1688 NEW BEST:: SOT 1358319 SOS 408510 HAS SOPS 408510 HAS SOUS 216208 HAS SOUPS 216208 WITH SCORE 216616.51
AT ITER 1695 NEW BEST:: SOT 1358565 SOS 408719 HAS SOPS 408719 HAS SOUS 216202 HAS SOUPS 216202 WITH SCORE 216610.719
AT ITER 1701 NEW BEST:: SOT 1358505 SOS 408659 HAS SOPS 408659 HAS SOUS 216196 HAS SOUPS 216196 WITH SCORE 216604.659
AT ITER 1704 NEW BEST:: SOT 1358566 SOS 408722 HAS SOPS 408722 HAS SOUS 216145 HAS SOUPS 216145 WITH SCORE 216553.722
AT ITER 1707 NEW BEST:: SOT 1358585 SOS 408776 HAS SOPS 408776 HAS SOUS 216113 HAS SOUPS 216113 WITH SCORE 216521.776
AT ITER 1720 NEW BEST:: SOT 1358535 SOS 408676 HAS SOPS 408676 HAS SOUS 215713 HAS SOUPS 215713 WITH SCORE 216121.676
AT ITER 1727 NEW BEST:: SOT 1358535 SOS 408676 HAS SOPS 408676 HAS SOUS 215611 HAS SOUPS 215611 WITH SCORE 216019.676
AT ITER 1736 NEW BEST:: SOT 1358609 SOS 408794 HAS SOPS 408794 HAS SOUS 215606 HAS SOUPS 215606 WITH SCORE 216014.794
AT ITER 1746 NEW BEST:: SOT 1358525 SOS 408608 HAS SOPS 408608 HAS SOUS 215522 HAS SOUPS 215522 WITH SCORE 215930.608
AT ITER 1748 NEW BEST:: SOT 1358494 SOS 408546 HAS SOPS 408546 HAS SOUS 215504 HAS SOUPS 215504 WITH SCORE 215912.546
AT ITER 1760 NEW BEST:: SOT 1358439 SOS 408326 HAS SOPS 408326 HAS SOUS 215331 HAS SOUPS 215331 WITH SCORE 215739.326
AT ITER 1763 NEW BEST:: SOT 1358484 SOS 408200 HAS SOPS 408200 HAS SOUS 215267 HAS SOUPS 215267 WITH SCORE 215675.2
AT ITER 1766 NEW BEST:: SOT 1358484 SOS 408199 HAS SOPS 408199 HAS SOUS 215266 HAS SOUPS 215266 WITH SCORE 215674.199
AT ITER 1777 NEW BEST:: SOT 1358460 SOS 408151 HAS SOPS 408151 HAS SOUS 215242 HAS SOUPS 215242 WITH SCORE 215650.151
AT ITER 1786 NEW BEST:: SOT 1358454 SOS 408091 HAS SOPS 408091 HAS SOUS 215218 HAS SOUPS 215218 WITH SCORE 215626.091
AT ITER 1792 NEW BEST:: SOT 1358449 SOS 408086 HAS SOPS 408086 HAS SOUS 215213 HAS SOUPS 215213 WITH SCORE 215621.086
AT ITER 1793 NEW BEST:: SOT 1358424 SOS 408036 HAS SOPS 408036 HAS SOUS 215163 HAS SOUPS 215163 WITH SCORE 215571.036
AT ITER 1809 NEW BEST:: SOT 1358438 SOS 407984 HAS SOPS 407984 HAS SOUS 215111 HAS SOUPS 215111 WITH SCORE 215518.984
AT ITER 1821 NEW BEST:: SOT 1358389 SOS 407984 HAS SOPS 407984 HAS SOUS 215013 HAS SOUPS 215013 WITH SCORE 215420.984
AT ITER 1827 NEW BEST:: SOT 1358389 SOS 407976 HAS SOPS 407976 HAS SOUS 215009 HAS SOUPS 215009 WITH SCORE 215416.976
AT ITER 1857 NEW BEST:: SOT 1358110 SOS 408348 HAS SOPS 408348 HAS SOUS 215006 HAS SOUPS 215006 WITH SCORE 215414.348
AT ITER 1865 NEW BEST:: SOT 1357986 SOS 408181 HAS SOPS 408181 HAS SOUS 214894 HAS SOUPS 214894 WITH SCORE 215302.181
AT ITER 1877 NEW BEST:: SOT 1357918 SOS 408397 HAS SOPS 408397 HAS SOUS 214846 HAS SOUPS 214846 WITH SCORE 215254.397
AT ITER 1889 NEW BEST:: SOT 1357918 SOS 408397 HAS SOPS 408397 HAS SOUS 214845 HAS SOUPS 214845 WITH SCORE 215253.397
AT ITER 1891 NEW BEST:: SOT 1357918 SOS 408397 HAS SOPS 408397 HAS SOUS 214776 HAS SOUPS 214776 WITH SCORE 215184.397
AT ITER 1976 NEW BEST:: SOT 1357918 SOS 408293 HAS SOPS 408293 HAS SOUS 214568 HAS SOUPS 214568 WITH SCORE 214976.293
AT ITER 1982 NEW BEST:: SOT 1357754 SOS 408192 HAS SOPS 408192 HAS SOUS 214467 HAS SOUPS 214467 WITH SCORE 214875.192
AT ITER 1999 NEW BEST:: SOT 1357753 SOS 408044 HAS SOPS 408044 HAS SOUS 214465 HAS SOUPS 214465 WITH SCORE 214873.044
AT ITER 2015 NEW BEST:: SOT 1357777 SOS 407806 HAS SOPS 407806 HAS SOUS 214370 HAS SOUPS 214370 WITH SCORE 214777.806
AT ITER 2020 NEW BEST:: SOT 1357751 SOS 407780 HAS SOPS 407780 HAS SOUS 214344 HAS SOUPS 214344 WITH SCORE 214751.78
AT ITER 2041 NEW BEST:: SOT 1357751 SOS 407699 HAS SOPS 407699 HAS SOUS 214344 HAS SOUPS 214344 WITH SCORE 214751.699
AT ITER 2050 NEW BEST:: SOT 1357751 SOS 407675 HAS SOPS 407675 HAS SOUS 214320 HAS SOUPS 214320 WITH SCORE 214727.675
AT ITER 2072 NEW BEST:: SOT 1357663 SOS 407499 HAS SOPS 407499 HAS SOUS 214244 HAS SOUPS 214244 WITH SCORE 214651.499
AT ITER 2083 NEW BEST:: SOT 1357663 SOS 407499 HAS SOPS 407499 HAS SOUS 214215 HAS SOUPS 214215 WITH SCORE 214622.499
AT ITER 2099 NEW BEST:: SOT 1357644 SOS 407480 HAS SOPS 407480 HAS SOUS 214214 HAS SOUPS 214214 WITH SCORE 214621.48
AT ITER 2105 NEW BEST:: SOT 1357635 SOS 407471 HAS SOPS 407471 HAS SOUS 214205 HAS SOUPS 214205 WITH SCORE 214612.471
AT ITER 2172 NEW BEST:: SOT 1357631 SOS 407344 HAS SOPS 407344 HAS SOUS 214078 HAS SOUPS 214078 WITH SCORE 214485.344
AT ITER 2178 NEW BEST:: SOT 1357597 SOS 407316 HAS SOPS 407316 HAS SOUS 214044 HAS SOUPS 214044 WITH SCORE 214451.316
AT ITER 2180 NEW BEST:: SOT 1357597 SOS 407297 HAS SOPS 407297 HAS SOUS 214044 HAS SOUPS 214044 WITH SCORE 214451.297
AT ITER 2185 NEW BEST:: SOT 1357415 SOS 407115 HAS SOPS 407115 HAS SOUS 212065 HAS SOUPS 212065 WITH SCORE 212472.115
AT ITER 2201 NEW BEST:: SOT 1357415 SOS 407049 HAS SOPS 407049 HAS SOUS 211999 HAS SOUPS 211999 WITH SCORE 212406.049
AT ITER 2246 NEW BEST:: SOT 1357332 SOS 406759 HAS SOPS 406759 HAS SOUS 211833 HAS SOUPS 211833 WITH SCORE 212239.759
AT ITER 2266 NEW BEST:: SOT 1357332 SOS 406759 HAS SOPS 406759 HAS SOUS 211828 HAS SOUPS 211828 WITH SCORE 212234.759
AT ITER 2278 NEW BEST:: SOT 1357287 SOS 406669 HAS SOPS 406669 HAS SOUS 211738 HAS SOUPS 211738 WITH SCORE 212144.669
AT ITER 2279 NEW BEST:: SOT 1357282 SOS 406659 HAS SOPS 406659 HAS SOUS 211728 HAS SOUPS 211728 WITH SCORE 212134.659
AT ITER 2283 NEW BEST:: SOT 1356996 SOS 406373 HAS SOPS 406373 HAS SOUS 211585 HAS SOUPS 211585 WITH SCORE 211991.373
AT ITER 2289 NEW BEST:: SOT 1356994 SOS 406369 HAS SOPS 406369 HAS SOUS 211581 HAS SOUPS 211581 WITH SCORE 211987.369
AT ITER 2296 NEW BEST:: SOT 1356992 SOS 406365 HAS SOPS 406365 HAS SOUS 211577 HAS SOUPS 211577 WITH SCORE 211983.365
AT ITER 2299 NEW BEST:: SOT 1356960 SOS 406301 HAS SOPS 406301 HAS SOUS 211513 HAS SOUPS 211513 WITH SCORE 211919.301
AT ITER 2310 NEW BEST:: SOT 1356960 SOS 406291 HAS SOPS 406291 HAS SOUS 211503 HAS SOUPS 211503 WITH SCORE 211909.291
AT ITER 2323 NEW BEST:: SOT 1356902 SOS 406845 HAS SOPS 406845 HAS SOUS 211445 HAS SOUPS 211445 WITH SCORE 211851.845
AT ITER 2351 NEW BEST:: SOT 1356889 SOS 406819 HAS SOPS 406819 HAS SOUS 211210 HAS SOUPS 211210 WITH SCORE 211616.819
AT ITER 2358 NEW BEST:: SOT 1356785 SOS 406588 HAS SOPS 406588 HAS SOUS 211111 HAS SOUPS 211111 WITH SCORE 211517.588
AT ITER 2359 NEW BEST:: SOT 1356778 SOS 406581 HAS SOPS 406581 HAS SOUS 211111 HAS SOUPS 211111 WITH SCORE 211517.581
AT ITER 2365 NEW BEST:: SOT 1356778 SOS 406377 HAS SOPS 406377 HAS SOUS 210907 HAS SOUPS 210907 WITH SCORE 211313.377
AT ITER 2396 NEW BEST:: SOT 1356732 SOS 406411 HAS SOPS 406411 HAS SOUS 210441 HAS SOUPS 210441 WITH SCORE 210847.411
AT ITER 2432 NEW BEST:: SOT 1356648 SOS 406243 HAS SOPS 406243 HAS SOUS 210273 HAS SOUPS 210273 WITH SCORE 210679.243
AT ITER 2440 NEW BEST:: SOT 1356634 SOS 406215 HAS SOPS 406215 HAS SOUS 210258 HAS SOUPS 210258 WITH SCORE 210664.215
AT ITER 2465 NEW BEST:: SOT 1356661 SOS 405849 HAS SOPS 405849 HAS SOUS 210252 HAS SOUPS 210252 WITH SCORE 210657.849
AT ITER 2476 NEW BEST:: SOT 1356661 SOS 405739 HAS SOPS 405739 HAS SOUS 210182 HAS SOUPS 210182 WITH SCORE 210587.739
AT ITER 2487 NEW BEST:: SOT 1356595 SOS 405664 HAS SOPS 405664 HAS SOUS 210050 HAS SOUPS 210050 WITH SCORE 210455.664
AT ITER 2499 NEW BEST:: SOT 1356528 SOS 403580 HAS SOPS 403580 HAS SOUS 209854 HAS SOUPS 209854 WITH SCORE 210257.58
AT ITER 2521 NEW BEST:: SOT 1356404 SOS 403562 HAS SOPS 403562 HAS SOUS 209654 HAS SOUPS 209654 WITH SCORE 210057.562
AT ITER 2542 NEW BEST:: SOT 1356424 SOS 403562 HAS SOPS 403562 HAS SOUS 209634 HAS SOUPS 209634 WITH SCORE 210037.562
AT ITER 2560 NEW BEST:: SOT 1356287 SOS 404376 HAS SOPS 404376 HAS SOUS 209493 HAS SOUPS 209493 WITH SCORE 209897.376
AT ITER 2563 NEW BEST:: SOT 1356287 SOS 404242 HAS SOPS 404242 HAS SOUS 209493 HAS SOUPS 209493 WITH SCORE 209897.242
AT ITER 2573 NEW BEST:: SOT 1356287 SOS 404211 HAS SOPS 404211 HAS SOUS 209462 HAS SOUPS 209462 WITH SCORE 209866.211
AT ITER 2595 NEW BEST:: SOT 1356261 SOS 404081 HAS SOPS 404081 HAS SOUS 209410 HAS SOUPS 209410 WITH SCORE 209814.081
AT ITER 2596 NEW BEST:: SOT 1356261 SOS 402065 HAS SOPS 402065 HAS SOUS 209410 HAS SOUPS 209410 WITH SCORE 209812.065
AT ITER 2598 NEW BEST:: SOT 1356261 SOS 401881 HAS SOPS 401881 HAS SOUS 209410 HAS SOUPS 209410 WITH SCORE 209811.881
AT ITER 2613 NEW BEST:: SOT 1356261 SOS 401881 HAS SOPS 401881 HAS SOUS 209408 HAS SOUPS 209408 WITH SCORE 209809.881
AT ITER 2624 NEW BEST:: SOT 1356243 SOS 401881 HAS SOPS 401881 HAS SOUS 209390 HAS SOUPS 209390 WITH SCORE 209791.881
AT ITER 2643 NEW BEST:: SOT 1356243 SOS 401865 HAS SOPS 401865 HAS SOUS 209352 HAS SOUPS 209352 WITH SCORE 209753.865
AT ITER 2656 NEW BEST:: SOT 1356157 SOS 401693 HAS SOPS 401693 HAS SOUS 209180 HAS SOUPS 209180 WITH SCORE 209581.693
AT ITER 2662 NEW BEST:: SOT 1356153 SOS 401685 HAS SOPS 401685 HAS SOUS 209176 HAS SOUPS 209176 WITH SCORE 209577.685
AT ITER 2675 NEW BEST:: SOT 1356153 SOS 401575 HAS SOPS 401575 HAS SOUS 209176 HAS SOUPS 209176 WITH SCORE 209577.575
AT ITER 2679 NEW BEST:: SOT 1356153 SOS 401575 HAS SOPS 401575 HAS SOUS 209175 HAS SOUPS 209175 WITH SCORE 209576.575
AT ITER 2707 NEW BEST:: SOT 1356102 SOS 401524 HAS SOPS 401524 HAS SOUS 209124 HAS SOUPS 209124 WITH SCORE 209525.524
AT ITER 2708 NEW BEST:: SOT 1356153 SOS 402270 HAS SOPS 402270 HAS SOUS 208853 HAS SOUPS 208853 WITH SCORE 209255.27
AT ITER 2709 NEW BEST:: SOT 1356113 SOS 402190 HAS SOPS 402190 HAS SOUS 208773 HAS SOUPS 208773 WITH SCORE 209175.19
AT ITER 2720 NEW BEST:: SOT 1356068 SOS 402100 HAS SOPS 402100 HAS SOUS 208683 HAS SOUPS 208683 WITH SCORE 209085.1
AT ITER 2747 NEW BEST:: SOT 1355990 SOS 401944 HAS SOPS 401944 HAS SOUS 208527 HAS SOUPS 208527 WITH SCORE 208928.944
AT ITER 2757 NEW BEST:: SOT 1355953 SOS 401892 HAS SOPS 401892 HAS SOUS 208475 HAS SOUPS 208475 WITH SCORE 208876.892
AT ITER 2759 NEW BEST:: SOT 1355892 SOS 401798 HAS SOPS 401798 HAS SOUS 208381 HAS SOUPS 208381 WITH SCORE 208782.798
AT ITER 2765 NEW BEST:: SOT 1355882 SOS 401778 HAS SOPS 401778 HAS SOUS 208361 HAS SOUPS 208361 WITH SCORE 208762.778
AT ITER 2775 NEW BEST:: SOT 1355864 SOS 401742 HAS SOPS 401742 HAS SOUS 208325 HAS SOUPS 208325 WITH SCORE 208726.742
AT ITER 2784 NEW BEST:: SOT 1355864 SOS 401596 HAS SOPS 401596 HAS SOUS 203795 HAS SOUPS 203795 WITH SCORE 204196.596
AT ITER 2787 NEW BEST:: SOT 1355864 SOS 401596 HAS SOPS 401596 HAS SOUS 203777 HAS SOUPS 203777 WITH SCORE 204178.596
AT ITER 2810 NEW BEST:: SOT 1355658 SOS 401763 HAS SOPS 401763 HAS SOUS 203587 HAS SOUPS 203587 WITH SCORE 203988.763
AT ITER 2867 NEW BEST:: SOT 1355658 SOS 401763 HAS SOPS 401763 HAS SOUS 203530 HAS SOUPS 203530 WITH SCORE 203931.763
AT ITER 2882 NEW BEST:: SOT 1355566 SOS 401579 HAS SOPS 401579 HAS SOUS 203346 HAS SOUPS 203346 WITH SCORE 203747.579
AT ITER 2884 NEW BEST:: SOT 1355566 SOS 401579 HAS SOPS 401579 HAS SOUS 203281 HAS SOUPS 203281 WITH SCORE 203682.579
AT ITER 2910 NEW BEST:: SOT 1355468 SOS 402055 HAS SOPS 402055 HAS SOUS 203169 HAS SOUPS 203169 WITH SCORE 203571.055
AT ITER 2912 NEW BEST:: SOT 1355453 SOS 402025 HAS SOPS 402025 HAS SOUS 203079 HAS SOUPS 203079 WITH SCORE 203481.025
AT ITER 2917 NEW BEST:: SOT 1355574 SOS 416928 HAS SOPS 416928 HAS SOUS 203007 HAS SOUPS 203007 WITH SCORE 203423.928
AT ITER 2918 NEW BEST:: SOT 1355596 SOS 416855 HAS SOPS 416855 HAS SOUS 202912 HAS SOUPS 202912 WITH SCORE 203328.855
AT ITER 2921 NEW BEST:: SOT 1355591 SOS 416845 HAS SOPS 416845 HAS SOUS 202902 HAS SOUPS 202902 WITH SCORE 203318.845
AT ITER 2940 NEW BEST:: SOT 1355591 SOS 416758 HAS SOPS 416758 HAS SOUS 202815 HAS SOUPS 202815 WITH SCORE 203231.758
AT ITER 2948 NEW BEST:: SOT 1355591 SOS 416758 HAS SOPS 416758 HAS SOUS 202750 HAS SOUPS 202750 WITH SCORE 203166.758
AT ITER 2960 NEW BEST:: SOT 1355591 SOS 416758 HAS SOPS 416758 HAS SOUS 202744 HAS SOUPS 202744 WITH SCORE 203160.758
AT ITER 2979 NEW BEST:: SOT 1355591 SOS 416758 HAS SOPS 416758 HAS SOUS 202729 HAS SOUPS 202729 WITH SCORE 203145.758
AT ITER 2990 NEW BEST:: SOT 1355567 SOS 416710 HAS SOPS 416710 HAS SOUS 202705 HAS SOUPS 202705 WITH SCORE 203121.71
AT ITER 3010 NEW BEST:: SOT 1355564 SOS 416704 HAS SOPS 416704 HAS SOUS 202699 HAS SOUPS 202699 WITH SCORE 203115.704
AT ITER 3017 NEW BEST:: SOT 1355532 SOS 416672 HAS SOPS 416672 HAS SOUS 202667 HAS SOUPS 202667 WITH SCORE 203083.672
AT ITER 3036 NEW BEST:: SOT 1355448 SOS 416728 HAS SOPS 416728 HAS SOUS 202611 HAS SOUPS 202611 WITH SCORE 203027.728
AT ITER 3039 NEW BEST:: SOT 1355394 SOS 416620 HAS SOPS 416620 HAS SOUS 202534 HAS SOUPS 202534 WITH SCORE 202950.62
AT ITER 3045 NEW BEST:: SOT 1355394 SOS 416620 HAS SOPS 416620 HAS SOUS 202520 HAS SOUPS 202520 WITH SCORE 202936.62
AT ITER 3063 NEW BEST:: SOT 1355394 SOS 416620 HAS SOPS 416620 HAS SOUS 202519 HAS SOUPS 202519 WITH SCORE 202935.62
AT ITER 3082 NEW BEST:: SOT 1355418 SOS 414892 HAS SOPS 414892 HAS SOUS 202432 HAS SOUPS 202432 WITH SCORE 202846.892
AT ITER 3108 NEW BEST:: SOT 1355418 SOS 414734 HAS SOPS 414734 HAS SOUS 202432 HAS SOUPS 202432 WITH SCORE 202846.734
AT ITER 3126 NEW BEST:: SOT 1355388 SOS 414656 HAS SOPS 414656 HAS SOUS 202402 HAS SOUPS 202402 WITH SCORE 202816.656
AT ITER 3128 NEW BEST:: SOT 1355349 SOS 414481 HAS SOPS 414481 HAS SOUS 202349 HAS SOUPS 202349 WITH SCORE 202763.481
AT ITER 3146 NEW BEST:: SOT 1355324 SOS 414456 HAS SOPS 414456 HAS SOUS 202212 HAS SOUPS 202212 WITH SCORE 202626.456
AT ITER 3147 NEW BEST:: SOT 1355252 SOS 414312 HAS SOPS 414312 HAS SOUS 201959 HAS SOUPS 201959 WITH SCORE 202373.312
AT ITER 3152 NEW BEST:: SOT 1355346 SOS 414277 HAS SOPS 414277 HAS SOUS 201876 HAS SOUPS 201876 WITH SCORE 202290.277
AT ITER 3158 NEW BEST:: SOT 1355366 SOS 414260 HAS SOPS 414260 HAS SOUS 201859 HAS SOUPS 201859 WITH SCORE 202273.26
AT ITER 3161 NEW BEST:: SOT 1355383 SOS 414024 HAS SOPS 414024 HAS SOUS 201623 HAS SOUPS 201623 WITH SCORE 202037.024
AT ITER 3177 NEW BEST:: SOT 1355357 SOS 413938 HAS SOPS 413938 HAS SOUS 201488 HAS SOUPS 201488 WITH SCORE 201901.938
AT ITER 3186 NEW BEST:: SOT 1355173 SOS 413754 HAS SOPS 413754 HAS SOUS 201304 HAS SOUPS 201304 WITH SCORE 201717.754
AT ITER 3241 NEW BEST:: SOT 1355173 SOS 413754 HAS SOPS 413754 HAS SOUS 201287 HAS SOUPS 201287 WITH SCORE 201700.754
AT ITER 3244 NEW BEST:: SOT 1355173 SOS 413741 HAS SOPS 413741 HAS SOUS 201274 HAS SOUPS 201274 WITH SCORE 201687.741
AT ITER 3254 NEW BEST:: SOT 1355173 SOS 414366 HAS SOPS 414366 HAS SOUS 201149 HAS SOUPS 201149 WITH SCORE 201563.366
AT ITER 3260 NEW BEST:: SOT 1355147 SOS 414344 HAS SOPS 414344 HAS SOUS 201127 HAS SOUPS 201127 WITH SCORE 201541.344
AT ITER 3262 NEW BEST:: SOT 1355142 SOS 414339 HAS SOPS 414339 HAS SOUS 201117 HAS SOUPS 201117 WITH SCORE 201531.339
AT ITER 3267 NEW BEST:: SOT 1355079 SOS 414297 HAS SOPS 414297 HAS SOUS 201054 HAS SOUPS 201054 WITH SCORE 201468.297
AT ITER 3293 NEW BEST:: SOT 1355079 SOS 414294 HAS SOPS 414294 HAS SOUS 201053 HAS SOUPS 201053 WITH SCORE 201467.294
AT ITER 3294 NEW BEST:: SOT 1355079 SOS 414257 HAS SOPS 414257 HAS SOUS 201015 HAS SOUPS 201015 WITH SCORE 201429.257
AT ITER 3298 NEW BEST:: SOT 1355079 SOS 414257 HAS SOPS 414257 HAS SOUS 200915 HAS SOUPS 200915 WITH SCORE 201329.257
AT ITER 3304 NEW BEST:: SOT 1355017 SOS 414031 HAS SOPS 414031 HAS SOUS 200761 HAS SOUPS 200761 WITH SCORE 201175.031
AT ITER 3323 NEW BEST:: SOT 1354958 SOS 413744 HAS SOPS 413744 HAS SOUS 200628 HAS SOUPS 200628 WITH SCORE 201041.744
AT ITER 3326 NEW BEST:: SOT 1354871 SOS 413702 HAS SOPS 413702 HAS SOUS 200409 HAS SOUPS 200409 WITH SCORE 200822.702
AT ITER 3368 NEW BEST:: SOT 1354898 SOS 413603 HAS SOPS 413603 HAS SOUS 200214 HAS SOUPS 200214 WITH SCORE 200627.603
AT ITER 3393 NEW BEST:: SOT 1354957 SOS 413603 HAS SOPS 413603 HAS SOUS 200155 HAS SOUPS 200155 WITH SCORE 200568.603
AT ITER 3394 NEW BEST:: SOT 1354946 SOS 413581 HAS SOPS 413581 HAS SOUS 200133 HAS SOUPS 200133 WITH SCORE 200546.581
AT ITER 3401 NEW BEST:: SOT 1354586 SOS 413455 HAS SOPS 413455 HAS SOUS 199768 HAS SOUPS 199768 WITH SCORE 200181.455
AT ITER 3402 NEW BEST:: SOT 1354621 SOS 413965 HAS SOPS 413965 HAS SOUS 199603 HAS SOUPS 199603 WITH SCORE 200016.965
AT ITER 3417 NEW BEST:: SOT 1354398 SOS 413690 HAS SOPS 413690 HAS SOUS 199331 HAS SOUPS 199331 WITH SCORE 199744.69
AT ITER 3434 NEW BEST:: SOT 1354443 SOS 413677 HAS SOPS 413677 HAS SOUS 199318 HAS SOUPS 199318 WITH SCORE 199731.677
AT ITER 3439 NEW BEST:: SOT 1354398 SOS 413627 HAS SOPS 413627 HAS SOUS 199268 HAS SOUPS 199268 WITH SCORE 199681.627
AT ITER 3487 NEW BEST:: SOT 1354381 SOS 413593 HAS SOPS 413593 HAS SOUS 199251 HAS SOUPS 199251 WITH SCORE 199664.593
AT ITER 3493 NEW BEST:: SOT 1354381 SOS 413593 HAS SOPS 413593 HAS SOUS 199151 HAS SOUPS 199151 WITH SCORE 199564.593
AT ITER 3500 NEW BEST:: SOT 1353779 SOS 413076 HAS SOPS 413076 HAS SOUS 198810 HAS SOUPS 198810 WITH SCORE 199223.076
AT ITER 3509 NEW BEST:: SOT 1353562 SOS 412642 HAS SOPS 412642 HAS SOUS 198376 HAS SOUPS 198376 WITH SCORE 198788.642
AT ITER 3515 NEW BEST:: SOT 1353529 SOS 412609 HAS SOPS 412609 HAS SOUS 198343 HAS SOUPS 198343 WITH SCORE 198755.609
AT ITER 3536 NEW BEST:: SOT 1353498 SOS 412547 HAS SOPS 412547 HAS SOUS 198281 HAS SOUPS 198281 WITH SCORE 198693.547
AT ITER 3541 NEW BEST:: SOT 1353572 SOS 413487 HAS SOPS 413487 HAS SOUS 198257 HAS SOUPS 198257 WITH SCORE 198670.487
AT ITER 3556 NEW BEST:: SOT 1353549 SOS 413387 HAS SOPS 413387 HAS SOUS 198234 HAS SOUPS 198234 WITH SCORE 198647.387
AT ITER 3595 NEW BEST:: SOT 1353549 SOS 412966 HAS SOPS 412966 HAS SOUS 198229 HAS SOUPS 198229 WITH SCORE 198641.966
AT ITER 3608 NEW BEST:: SOT 1353548 SOS 412986 HAS SOPS 412986 HAS SOUS 198226 HAS SOUPS 198226 WITH SCORE 198638.986
AT ITER 3654 NEW BEST:: SOT 1353548 SOS 412976 HAS SOPS 412976 HAS SOUS 198224 HAS SOUPS 198224 WITH SCORE 198636.976
AT ITER 3660 NEW BEST:: SOT 1352995 SOS 412584 HAS SOPS 412584 HAS SOUS 197832 HAS SOUPS 197832 WITH SCORE 198244.584
AT ITER 3669 NEW BEST:: SOT 1352776 SOS 412365 HAS SOPS 412365 HAS SOUS 196289 HAS SOUPS 196289 WITH SCORE 196701.365
AT ITER 3673 NEW BEST:: SOT 1352772 SOS 412339 HAS SOPS 412339 HAS SOUS 196281 HAS SOUPS 196281 WITH SCORE 196693.339
AT ITER 3690 NEW BEST:: SOT 1352643 SOS 412081 HAS SOPS 412081 HAS SOUS 196043 HAS SOUPS 196043 WITH SCORE 196455.081
AT ITER 3700 NEW BEST:: SOT 1352616 SOS 411944 HAS SOPS 411944 HAS SOUS 195988 HAS SOUPS 195988 WITH SCORE 196399.944
AT ITER 3704 NEW BEST:: SOT 1352616 SOS 411944 HAS SOPS 411944 HAS SOUS 195985 HAS SOUPS 195985 WITH SCORE 196396.944
AT ITER 3707 NEW BEST:: SOT 1352594 SOS 411900 HAS SOPS 411900 HAS SOUS 195941 HAS SOUPS 195941 WITH SCORE 196352.9
AT ITER 3723 NEW BEST:: SOT 1352570 SOS 410590 HAS SOPS 410590 HAS SOUS 195907 HAS SOUPS 195907 WITH SCORE 196317.59
AT ITER 3727 NEW BEST:: SOT 1352567 SOS 410584 HAS SOPS 410584 HAS SOUS 195860 HAS SOUPS 195860 WITH SCORE 196270.584
AT ITER 3746 NEW BEST:: SOT 1352534 SOS 410646 HAS SOPS 410646 HAS SOUS 195859 HAS SOUPS 195859 WITH SCORE 196269.646
AT ITER 3798 NEW BEST:: SOT 1352426 SOS 410607 HAS SOPS 410607 HAS SOUS 194695 HAS SOUPS 194695 WITH SCORE 195105.607
AT ITER 3807 NEW BEST:: SOT 1352426 SOS 410607 HAS SOPS 410607 HAS SOUS 194554 HAS SOUPS 194554 WITH SCORE 194964.607
AT ITER 3828 NEW BEST:: SOT 1352426 SOS 410646 HAS SOPS 410646 HAS SOUS 194552 HAS SOUPS 194552 WITH SCORE 194962.646
AT ITER 3830 NEW BEST:: SOT 1352426 SOS 400886 HAS SOPS 400886 HAS SOUS 194487 HAS SOUPS 194487 WITH SCORE 194887.886
AT ITER 3838 NEW BEST:: SOT 1351976 SOS 404450 HAS SOPS 404450 HAS SOUS 194353 HAS SOUPS 194353 WITH SCORE 194757.45
AT ITER 3855 NEW BEST:: SOT 1351956 SOS 404410 HAS SOPS 404410 HAS SOUS 194313 HAS SOUPS 194313 WITH SCORE 194717.41
AT ITER 3860 NEW BEST:: SOT 1351915 SOS 404328 HAS SOPS 404328 HAS SOUS 194272 HAS SOUPS 194272 WITH SCORE 194676.328
AT ITER 3870 NEW BEST:: SOT 1351914 SOS 404326 HAS SOPS 404326 HAS SOUS 194270 HAS SOUPS 194270 WITH SCORE 194674.326
AT ITER 3886 NEW BEST:: SOT 1351911 SOS 404323 HAS SOPS 404323 HAS SOUS 194264 HAS SOUPS 194264 WITH SCORE 194668.323
AT ITER 3914 NEW BEST:: SOT 1351801 SOS 403944 HAS SOPS 403944 HAS SOUS 194024 HAS SOUPS 194024 WITH SCORE 194427.944
AT ITER 3918 NEW BEST:: SOT 1351846 SOS 403957 HAS SOPS 403957 HAS SOUS 193941 HAS SOUPS 193941 WITH SCORE 194344.957
AT ITER 3923 NEW BEST:: SOT 1351657 SOS 403784 HAS SOPS 403784 HAS SOUS 193798 HAS SOUPS 193798 WITH SCORE 194201.784
AT ITER 3970 NEW BEST:: SOT 1351520 SOS 403510 HAS SOPS 403510 HAS SOUS 193559 HAS SOUPS 193559 WITH SCORE 193962.51
AT ITER 3981 NEW BEST:: SOT 1351520 SOS 403510 HAS SOPS 403510 HAS SOUS 193484 HAS SOUPS 193484 WITH SCORE 193887.51
AT ITER 3993 NEW BEST:: SOT 1351387 SOS 403244 HAS SOPS 403244 HAS SOUS 193121 HAS SOUPS 193121 WITH SCORE 193524.244
AT ITER 4022 NEW BEST:: SOT 1351387 SOS 403232 HAS SOPS 403232 HAS SOUS 193121 HAS SOUPS 193121 WITH SCORE 193524.232
AT ITER 4074 NEW BEST:: SOT 1351350 SOS 403158 HAS SOPS 403158 HAS SOUS 193047 HAS SOUPS 193047 WITH SCORE 193450.158
AT ITER 4076 NEW BEST:: SOT 1351315 SOS 403137 HAS SOPS 403137 HAS SOUS 193019 HAS SOUPS 193019 WITH SCORE 193422.137
AT ITER 4079 NEW BEST:: SOT 1351315 SOS 403074 HAS SOPS 403074 HAS SOUS 192956 HAS SOUPS 192956 WITH SCORE 193359.074
AT ITER 4083 NEW BEST:: SOT 1351314 SOS 403072 HAS SOPS 403072 HAS SOUS 192954 HAS SOUPS 192954 WITH SCORE 193357.072
AT ITER 4093 NEW BEST:: SOT 1351325 SOS 403634 HAS SOPS 403634 HAS SOUS 192916 HAS SOUPS 192916 WITH SCORE 193319.634
AT ITER 4095 NEW BEST:: SOT 1351153 SOS 403290 HAS SOPS 403290 HAS SOUS 192754 HAS SOUPS 192754 WITH SCORE 193157.29
AT ITER 4096 NEW BEST:: SOT 1351153 SOS 403290 HAS SOPS 403290 HAS SOUS 192746 HAS SOUPS 192746 WITH SCORE 193149.29
AT ITER 4098 NEW BEST:: SOT 1351071 SOS 403450 HAS SOPS 403450 HAS SOUS 192663 HAS SOUPS 192663 WITH SCORE 193066.45
AT ITER 4105 NEW BEST:: SOT 1351026 SOS 403421 HAS SOPS 403421 HAS SOUS 192512 HAS SOUPS 192512 WITH SCORE 192915.421
AT ITER 4109 NEW BEST:: SOT 1351026 SOS 403421 HAS SOPS 403421 HAS SOUS 192486 HAS SOUPS 192486 WITH SCORE 192889.421
AT ITER 4115 NEW BEST:: SOT 1351023 SOS 403415 HAS SOPS 403415 HAS SOUS 192480 HAS SOUPS 192480 WITH SCORE 192883.415
AT ITER 4138 NEW BEST:: SOT 1351023 SOS 403415 HAS SOPS 403415 HAS SOUS 192479 HAS SOUPS 192479 WITH SCORE 192882.415
AT ITER 4146 NEW BEST:: SOT 1351023 SOS 403411 HAS SOPS 403411 HAS SOUS 192475 HAS SOUPS 192475 WITH SCORE 192878.411
AT ITER 4157 NEW BEST:: SOT 1351023 SOS 403384 HAS SOPS 403384 HAS SOUS 192448 HAS SOUPS 192448 WITH SCORE 192851.384
AT ITER 4163 NEW BEST:: SOT 1351023 SOS 403362 HAS SOPS 403362 HAS SOUS 192426 HAS SOUPS 192426 WITH SCORE 192829.362
AT ITER 4179 NEW BEST:: SOT 1351013 SOS 403342 HAS SOPS 403342 HAS SOUS 192406 HAS SOUPS 192406 WITH SCORE 192809.342
AT ITER 4207 NEW BEST:: SOT 1351263 SOS 403495 HAS SOPS 403495 HAS SOUS 192350 HAS SOUPS 192350 WITH SCORE 192753.495
AT ITER 4210 NEW BEST:: SOT 1351036 SOS 403571 HAS SOPS 403571 HAS SOUS 192249 HAS SOUPS 192249 WITH SCORE 192652.571
AT ITER 4229 NEW BEST:: SOT 1351035 SOS 403541 HAS SOPS 403541 HAS SOUS 192244 HAS SOUPS 192244 WITH SCORE 192647.541
AT ITER 4240 NEW BEST:: SOT 1351035 SOS 403541 HAS SOPS 403541 HAS SOUS 192236 HAS SOUPS 192236 WITH SCORE 192639.541
AT ITER 4257 NEW BEST:: SOT 1350948 SOS 403145 HAS SOPS 403145 HAS SOUS 192136 HAS SOUPS 192136 WITH SCORE 192539.145
AT ITER 4263 NEW BEST:: SOT 1350944 SOS 403137 HAS SOPS 403137 HAS SOUS 192132 HAS SOUPS 192132 WITH SCORE 192535.137
AT ITER 4275 NEW BEST:: SOT 1350972 SOS 403219 HAS SOPS 403219 HAS SOUS 192054 HAS SOUPS 192054 WITH SCORE 192457.219
AT ITER 4277 NEW BEST:: SOT 1350956 SOS 403427 HAS SOPS 403427 HAS SOUS 191666 HAS SOUPS 191666 WITH SCORE 192069.427
AT ITER 4281 NEW BEST:: SOT 1350888 SOS 402203 HAS SOPS 402203 HAS SOUS 191530 HAS SOUPS 191530 WITH SCORE 191932.203
AT ITER 4303 NEW BEST:: SOT 1350829 SOS 402281 HAS SOPS 402281 HAS SOUS 191349 HAS SOUPS 191349 WITH SCORE 191751.281
AT ITER 4331 NEW BEST:: SOT 1350801 SOS 402225 HAS SOPS 402225 HAS SOUS 191293 HAS SOUPS 191293 WITH SCORE 191695.225
AT ITER 4346 NEW BEST:: SOT 1350980 SOS 402731 HAS SOPS 402731 HAS SOUS 191241 HAS SOUPS 191241 WITH SCORE 191643.731
AT ITER 4354 NEW BEST:: SOT 1350953 SOS 402688 HAS SOPS 402688 HAS SOUS 191198 HAS SOUPS 191198 WITH SCORE 191600.688
AT ITER 4385 NEW BEST:: SOT 1351001 SOS 402699 HAS SOPS 402699 HAS SOUS 191068 HAS SOUPS 191068 WITH SCORE 191470.699
AT ITER 4399 NEW BEST:: SOT 1351035 SOS 402767 HAS SOPS 402767 HAS SOUS 191052 HAS SOUPS 191052 WITH SCORE 191454.767
AT ITER 4411 NEW BEST:: SOT 1351035 SOS 402767 HAS SOPS 402767 HAS SOUS 191045 HAS SOUPS 191045 WITH SCORE 191447.767
AT ITER 4456 NEW BEST:: SOT 1350819 SOS 402780 HAS SOPS 402780 HAS SOUS 190918 HAS SOUPS 190918 WITH SCORE 191320.78
AT ITER 4482 NEW BEST:: SOT 1350825 SOS 402635 HAS SOPS 402635 HAS SOUS 190767 HAS SOUPS 190767 WITH SCORE 191169.635
AT ITER 4493 NEW BEST:: SOT 1350808 SOS 402601 HAS SOPS 402601 HAS SOUS 190733 HAS SOUPS 190733 WITH SCORE 191135.601
AT ITER 4502 NEW BEST:: SOT 1350808 SOS 402588 HAS SOPS 402588 HAS SOUS 190720 HAS SOUPS 190720 WITH SCORE 191122.588
AT ITER 4521 NEW BEST:: SOT 1350807 SOS 402587 HAS SOPS 402587 HAS SOUS 190706 HAS SOUPS 190706 WITH SCORE 191108.587
AT ITER 4522 NEW BEST:: SOT 1350711 SOS 402395 HAS SOPS 402395 HAS SOUS 190610 HAS SOUPS 190610 WITH SCORE 191012.395
AT ITER 4529 NEW BEST:: SOT 1350699 SOS 402383 HAS SOPS 402383 HAS SOUS 190586 HAS SOUPS 190586 WITH SCORE 190988.383
AT ITER 4535 NEW BEST:: SOT 1350684 SOS 402353 HAS SOPS 402353 HAS SOUS 190556 HAS SOUPS 190556 WITH SCORE 190958.353
AT ITER 4544 NEW BEST:: SOT 1350582 SOS 402251 HAS SOPS 402251 HAS SOUS 190454 HAS SOUPS 190454 WITH SCORE 190856.251
AT ITER 4552 NEW BEST:: SOT 1350410 SOS 402079 HAS SOPS 402079 HAS SOUS 190282 HAS SOUPS 190282 WITH SCORE 190684.079
AT ITER 4553 NEW BEST:: SOT 1350410 SOS 402079 HAS SOPS 402079 HAS SOUS 190246 HAS SOUPS 190246 WITH SCORE 190648.079
AT ITER 4556 NEW BEST:: SOT 1350403 SOS 402073 HAS SOPS 402073 HAS SOUS 190240 HAS SOUPS 190240 WITH SCORE 190642.073
AT ITER 4557 NEW BEST:: SOT 1350418 SOS 402103 HAS SOPS 402103 HAS SOUS 190230 HAS SOUPS 190230 WITH SCORE 190632.103
AT ITER 4562 NEW BEST:: SOT 1350418 SOS 402103 HAS SOPS 402103 HAS SOUS 190168 HAS SOUPS 190168 WITH SCORE 190570.103
AT ITER 4568 NEW BEST:: SOT 1350322 SOS 401911 HAS SOPS 401911 HAS SOUS 189937 HAS SOUPS 189937 WITH SCORE 190338.911
AT ITER 4580 NEW BEST:: SOT 1350283 SOS 401833 HAS SOPS 401833 HAS SOUS 189928 HAS SOUPS 189928 WITH SCORE 190329.833
AT ITER 4633 NEW BEST:: SOT 1350215 SOS 402157 HAS SOPS 402157 HAS SOUS 189907 HAS SOUPS 189907 WITH SCORE 190309.157
AT ITER 4639 NEW BEST:: SOT 1350178 SOS 402083 HAS SOPS 402083 HAS SOUS 189907 HAS SOUPS 189907 WITH SCORE 190309.083
AT ITER 4667 NEW BEST:: SOT 1350063 SOS 402335 HAS SOPS 402335 HAS SOUS 189784 HAS SOUPS 189784 WITH SCORE 190186.335
AT ITER 4672 NEW BEST:: SOT 1349967 SOS 402143 HAS SOPS 402143 HAS SOUS 189723 HAS SOUPS 189723 WITH SCORE 190125.143
AT ITER 4683 NEW BEST:: SOT 1349957 SOS 402123 HAS SOPS 402123 HAS SOUS 189713 HAS SOUPS 189713 WITH SCORE 190115.123
AT ITER 4685 NEW BEST:: SOT 1349884 SOS 401977 HAS SOPS 401977 HAS SOUS 189567 HAS SOUPS 189567 WITH SCORE 189968.977
AT ITER 4694 NEW BEST:: SOT 1349677 SOS 401702 HAS SOPS 401702 HAS SOUS 189262 HAS SOUPS 189262 WITH SCORE 189663.702
AT ITER 4704 NEW BEST:: SOT 1349678 SOS 401913 HAS SOPS 401913 HAS SOUS 189230 HAS SOUPS 189230 WITH SCORE 189631.913
AT ITER 4717 NEW BEST:: SOT 1349678 SOS 401834 HAS SOPS 401834 HAS SOUS 189230 HAS SOUPS 189230 WITH SCORE 189631.834
AT ITER 4724 NEW BEST:: SOT 1349579 SOS 401708 HAS SOPS 401708 HAS SOUS 189102 HAS SOUPS 189102 WITH SCORE 189503.708
AT ITER 4730 NEW BEST:: SOT 1349511 SOS 401640 HAS SOPS 401640 HAS SOUS 189034 HAS SOUPS 189034 WITH SCORE 189435.64
AT ITER 4736 NEW BEST:: SOT 1349505 SOS 401628 HAS SOPS 401628 HAS SOUS 189022 HAS SOUPS 189022 WITH SCORE 189423.628
AT ITER 4741 NEW BEST:: SOT 1349487 SOS 401610 HAS SOPS 401610 HAS SOUS 189004 HAS SOUPS 189004 WITH SCORE 189405.61
AT ITER 4757 NEW BEST:: SOT 1349449 SOS 401553 HAS SOPS 401553 HAS SOUS 188947 HAS SOUPS 188947 WITH SCORE 189348.553
AT ITER 4782 NEW BEST:: SOT 1349350 SOS 401355 HAS SOPS 401355 HAS SOUS 188749 HAS SOUPS 188749 WITH SCORE 189150.355
AT ITER 4843 NEW BEST:: SOT 1349349 SOS 401353 HAS SOPS 401353 HAS SOUS 188747 HAS SOUPS 188747 WITH SCORE 189148.353
AT ITER 4858 NEW BEST:: SOT 1349361 SOS 401484 HAS SOPS 401484 HAS SOUS 188645 HAS SOUPS 188645 WITH SCORE 189046.484
AT ITER 4869 NEW BEST:: SOT 1349263 SOS 401288 HAS SOPS 401288 HAS SOUS 188449 HAS SOUPS 188449 WITH SCORE 188850.288
AT ITER 4886 NEW BEST:: SOT 1349164 SOS 401189 HAS SOPS 401189 HAS SOUS 188449 HAS SOUPS 188449 WITH SCORE 188850.189
AT ITER 4895 NEW BEST:: SOT 1349262 SOS 401385 HAS SOPS 401385 HAS SOUS 188363 HAS SOUPS 188363 WITH SCORE 188764.385
AT ITER 4901 NEW BEST:: SOT 1349262 SOS 401385 HAS SOPS 401385 HAS SOUS 188254 HAS SOUPS 188254 WITH SCORE 188655.385
AT ITER 4917 NEW BEST:: SOT 1348916 SOS 401085 HAS SOPS 401085 HAS SOUS 187954 HAS SOUPS 187954 WITH SCORE 188355.085
AT ITER 4919 NEW BEST:: SOT 1348218 SOS 401849 HAS SOPS 401849 HAS SOUS 187745 HAS SOUPS 187745 WITH SCORE 188146.849
AT ITER 4920 NEW BEST:: SOT 1348164 SOS 401633 HAS SOPS 401633 HAS SOUS 187583 HAS SOUPS 187583 WITH SCORE 187984.633
AT ITER 4940 NEW BEST:: SOT 1348204 SOS 401536 HAS SOPS 401536 HAS SOUS 187448 HAS SOUPS 187448 WITH SCORE 187849.536
AT ITER 4960 NEW BEST:: SOT 1347693 SOS 401081 HAS SOPS 401081 HAS SOUS 186937 HAS SOUPS 186937 WITH SCORE 187338.081
AT ITER 4968 NEW BEST:: SOT 1347653 SOS 401001 HAS SOPS 401001 HAS SOUS 186897 HAS SOUPS 186897 WITH SCORE 187298.001
AT ITER 4983 NEW BEST:: SOT 1347542 SOS 400779 HAS SOPS 400779 HAS SOUS 186675 HAS SOUPS 186675 WITH SCORE 187075.779
AT ITER 4993 NEW BEST:: SOT 1347522 SOS 400739 HAS SOPS 400739 HAS SOUS 186635 HAS SOUPS 186635 WITH SCORE 187035.739
AT ITER 5006 NEW BEST:: SOT 1347452 SOS 400721 HAS SOPS 400721 HAS SOUS 186617 HAS SOUPS 186617 WITH SCORE 187017.721
AT ITER 5011 NEW BEST:: SOT 1347357 SOS 400531 HAS SOPS 400531 HAS SOUS 186461 HAS SOUPS 186461 WITH SCORE 186861.531
AT ITER 5046 NEW BEST:: SOT 1347337 SOS 400463 HAS SOPS 400463 HAS SOUS 186453 HAS SOUPS 186453 WITH SCORE 186853.463
AT ITER 5047 NEW BEST:: SOT 1347330 SOS 400477 HAS SOPS 400477 HAS SOUS 186439 HAS SOUPS 186439 WITH SCORE 186839.477
AT ITER 5078 NEW BEST:: SOT 1347330 SOS 399691 HAS SOPS 399691 HAS SOUS 186174 HAS SOUPS 186174 WITH SCORE 186573.691
AT ITER 5079 NEW BEST:: SOT 1347327 SOS 399761 HAS SOPS 399761 HAS SOUS 186168 HAS SOUPS 186168 WITH SCORE 186567.761
AT ITER 5088 NEW BEST:: SOT 1347327 SOS 399761 HAS SOPS 399761 HAS SOUS 186147 HAS SOUPS 186147 WITH SCORE 186546.761
AT ITER 5118 NEW BEST:: SOT 1347286 SOS 399679 HAS SOPS 399679 HAS SOUS 186065 HAS SOUPS 186065 WITH SCORE 186464.679
AT ITER 5132 NEW BEST:: SOT 1347135 SOS 399617 HAS SOPS 399617 HAS SOUS 185914 HAS SOUPS 185914 WITH SCORE 186313.617
AT ITER 5147 NEW BEST:: SOT 1347125 SOS 399607 HAS SOPS 399607 HAS SOUS 185904 HAS SOUPS 185904 WITH SCORE 186303.607
AT ITER 5156 NEW BEST:: SOT 1346904 SOS 399165 HAS SOPS 399165 HAS SOUS 185679 HAS SOUPS 185679 WITH SCORE 186078.165
AT ITER 5158 NEW BEST:: SOT 1346897 SOS 399151 HAS SOPS 399151 HAS SOUS 185665 HAS SOUPS 185665 WITH SCORE 186064.151
AT ITER 5162 NEW BEST:: SOT 1346924 SOS 399205 HAS SOPS 399205 HAS SOUS 185629 HAS SOUPS 185629 WITH SCORE 186028.205
AT ITER 5170 NEW BEST:: SOT 1346871 SOS 399099 HAS SOPS 399099 HAS SOUS 185523 HAS SOUPS 185523 WITH SCORE 185922.099
AT ITER 5175 NEW BEST:: SOT 1346871 SOS 399099 HAS SOPS 399099 HAS SOUS 185185 HAS SOUPS 185185 WITH SCORE 185584.099
AT ITER 5197 NEW BEST:: SOT 1346871 SOS 399099 HAS SOPS 399099 HAS SOUS 185173 HAS SOUPS 185173 WITH SCORE 185572.099
AT ITER 5218 NEW BEST:: SOT 1346863 SOS 399091 HAS SOPS 399091 HAS SOUS 185149 HAS SOUPS 185149 WITH SCORE 185548.091
AT ITER 5234 NEW BEST:: SOT 1346863 SOS 399072 HAS SOPS 399072 HAS SOUS 185130 HAS SOUPS 185130 WITH SCORE 185529.072
AT ITER 5250 NEW BEST:: SOT 1346765 SOS 398876 HAS SOPS 398876 HAS SOUS 184934 HAS SOUPS 184934 WITH SCORE 185332.876
AT ITER 5253 NEW BEST:: SOT 1346765 SOS 398852 HAS SOPS 398852 HAS SOUS 184919 HAS SOUPS 184919 WITH SCORE 185317.852
AT ITER 5281 NEW BEST:: SOT 1346714 SOS 398714 HAS SOPS 398714 HAS SOUS 184868 HAS SOUPS 184868 WITH SCORE 185266.714
AT ITER 5284 NEW BEST:: SOT 1346712 SOS 398712 HAS SOPS 398712 HAS SOUS 184866 HAS SOUPS 184866 WITH SCORE 185264.712
AT ITER 5307 NEW BEST:: SOT 1346712 SOS 398712 HAS SOPS 398712 HAS SOUS 184844 HAS SOUPS 184844 WITH SCORE 185242.712
AT ITER 5344 NEW BEST:: SOT 1346688 SOS 398664 HAS SOPS 398664 HAS SOUS 184796 HAS SOUPS 184796 WITH SCORE 185194.664
AT ITER 5358 NEW BEST:: SOT 1346651 SOS 397998 HAS SOPS 397998 HAS SOUS 184722 HAS SOUPS 184722 WITH SCORE 185119.998
AT ITER 5362 NEW BEST:: SOT 1346577 SOS 397554 HAS SOPS 397554 HAS SOUS 184574 HAS SOUPS 184574 WITH SCORE 184971.554
AT ITER 5372 NEW BEST:: SOT 1346561 SOS 397490 HAS SOPS 397490 HAS SOUS 184542 HAS SOUPS 184542 WITH SCORE 184939.49
AT ITER 5396 NEW BEST:: SOT 1346561 SOS 397490 HAS SOPS 397490 HAS SOUS 184494 HAS SOUPS 184494 WITH SCORE 184891.49
AT ITER 5404 NEW BEST:: SOT 1346562 SOS 397492 HAS SOPS 397492 HAS SOUS 184473 HAS SOUPS 184473 WITH SCORE 184870.492
AT ITER 5417 NEW BEST:: SOT 1346499 SOS 397429 HAS SOPS 397429 HAS SOUS 184451 HAS SOUPS 184451 WITH SCORE 184848.429
AT ITER 5421 NEW BEST:: SOT 1346487 SOS 397470 HAS SOPS 397470 HAS SOUS 184427 HAS SOUPS 184427 WITH SCORE 184824.47
AT ITER 5444 NEW BEST:: SOT 1346366 SOS 397460 HAS SOPS 397460 HAS SOUS 184412 HAS SOUPS 184412 WITH SCORE 184809.46
AT ITER 5485 NEW BEST:: SOT 1346241 SOS 397210 HAS SOPS 397210 HAS SOUS 184253 HAS SOUPS 184253 WITH SCORE 184650.21
AT ITER 5492 NEW BEST:: SOT 1346209 SOS 397146 HAS SOPS 397146 HAS SOUS 184189 HAS SOUPS 184189 WITH SCORE 184586.146
AT ITER 5523 NEW BEST:: SOT 1346196 SOS 397120 HAS SOPS 397120 HAS SOUS 184163 HAS SOUPS 184163 WITH SCORE 184560.12
AT ITER 5529 NEW BEST:: SOT 1346179 SOS 397103 HAS SOPS 397103 HAS SOUS 184146 HAS SOUPS 184146 WITH SCORE 184543.103
AT ITER 5542 NEW BEST:: SOT 1346179 SOS 397100 HAS SOPS 397100 HAS SOUS 184146 HAS SOUPS 184146 WITH SCORE 184543.1
AT ITER 5545 NEW BEST:: SOT 1346157 SOS 397056 HAS SOPS 397056 HAS SOUS 184124 HAS SOUPS 184124 WITH SCORE 184521.056
AT ITER 5594 NEW BEST:: SOT 1346134 SOS 397033 HAS SOPS 397033 HAS SOUS 184101 HAS SOUPS 184101 WITH SCORE 184498.033
AT ITER 5613 NEW BEST:: SOT 1346013 SOS 396307 HAS SOPS 396307 HAS SOUS 183859 HAS SOUPS 183859 WITH SCORE 184255.307
AT ITER 5622 NEW BEST:: SOT 1346013 SOS 396565 HAS SOPS 396565 HAS SOUS 183832 HAS SOUPS 183832 WITH SCORE 184228.565
AT ITER 5635 NEW BEST:: SOT 1345998 SOS 396550 HAS SOPS 396550 HAS SOUS 183799 HAS SOUPS 183799 WITH SCORE 184195.55
AT ITER 5684 NEW BEST:: SOT 1345868 SOS 396290 HAS SOPS 396290 HAS SOUS 183539 HAS SOUPS 183539 WITH SCORE 183935.29
AT ITER 5714 NEW BEST:: SOT 1345863 SOS 396285 HAS SOPS 396285 HAS SOUS 183529 HAS SOUPS 183529 WITH SCORE 183925.285
AT ITER 5772 NEW BEST:: SOT 1345863 SOS 396285 HAS SOPS 396285 HAS SOUS 183503 HAS SOUPS 183503 WITH SCORE 183899.285
AT ITER 5779 NEW BEST:: SOT 1345901 SOS 396361 HAS SOPS 396361 HAS SOUS 183333 HAS SOUPS 183333 WITH SCORE 183729.361
AT ITER 5793 NEW BEST:: SOT 1345901 SOS 396379 HAS SOPS 396379 HAS SOUS 183315 HAS SOUPS 183315 WITH SCORE 183711.379
AT ITER 5809 NEW BEST:: SOT 1345892 SOS 396370 HAS SOPS 396370 HAS SOUS 183297 HAS SOUPS 183297 WITH SCORE 183693.37
AT ITER 5842 NEW BEST:: SOT 1345892 SOS 396255 HAS SOPS 396255 HAS SOUS 183249 HAS SOUPS 183249 WITH SCORE 183645.255
AT ITER 5853 NEW BEST:: SOT 1345690 SOS 395746 HAS SOPS 395746 HAS SOUS 183047 HAS SOUPS 183047 WITH SCORE 183442.746
AT ITER 5925 NEW BEST:: SOT 1345690 SOS 395799 HAS SOPS 395799 HAS SOUS 183031 HAS SOUPS 183031 WITH SCORE 183426.799
AT ITER 5934 NEW BEST:: SOT 1345615 SOS 395874 HAS SOPS 395874 HAS SOUS 182956 HAS SOUPS 182956 WITH SCORE 183351.874
AT ITER 5937 NEW BEST:: SOT 1345733 SOS 395758 HAS SOPS 395758 HAS SOUS 182923 HAS SOUPS 182923 WITH SCORE 183318.758
AT ITER 5939 NEW BEST:: SOT 1345698 SOS 395713 HAS SOPS 395713 HAS SOUS 182888 HAS SOUPS 182888 WITH SCORE 183283.713
AT ITER 5946 NEW BEST:: SOT 1345642 SOS 395881 HAS SOPS 395881 HAS SOUS 182860 HAS SOUPS 182860 WITH SCORE 183255.881
AT ITER 5963 NEW BEST:: SOT 1345602 SOS 395801 HAS SOPS 395801 HAS SOUS 182793 HAS SOUPS 182793 WITH SCORE 183188.801
AT ITER 5996 NEW BEST:: SOT 1345507 SOS 395801 HAS SOPS 395801 HAS SOUS 182755 HAS SOUPS 182755 WITH SCORE 183150.801
AT ITER 6012 NEW BEST:: SOT 1345507 SOS 395787 HAS SOPS 395787 HAS SOUS 182755 HAS SOUPS 182755 WITH SCORE 183150.787
AT ITER 6029 NEW BEST:: SOT 1345433 SOS 395639 HAS SOPS 395639 HAS SOUS 182607 HAS SOUPS 182607 WITH SCORE 183002.639
AT ITER 6035 NEW BEST:: SOT 1345280 SOS 395617 HAS SOPS 395617 HAS SOUS 182514 HAS SOUPS 182514 WITH SCORE 182909.617
AT ITER 6043 NEW BEST:: SOT 1345250 SOS 395557 HAS SOPS 395557 HAS SOUS 182328 HAS SOUPS 182328 WITH SCORE 182723.557
AT ITER 6055 NEW BEST:: SOT 1345180 SOS 395487 HAS SOPS 395487 HAS SOUS 182188 HAS SOUPS 182188 WITH SCORE 182583.487
AT ITER 6090 NEW BEST:: SOT 1345179 SOS 395485 HAS SOPS 395485 HAS SOUS 182186 HAS SOUPS 182186 WITH SCORE 182581.485
AT ITER 6139 NEW BEST:: SOT 1345179 SOS 395476 HAS SOPS 395476 HAS SOUS 182177 HAS SOUPS 182177 WITH SCORE 182572.476
AT ITER 6147 NEW BEST:: SOT 1345157 SOS 395432 HAS SOPS 395432 HAS SOUS 182153 HAS SOUPS 182153 WITH SCORE 182548.432
AT ITER 6166 NEW BEST:: SOT 1345274 SOS 395290 HAS SOPS 395290 HAS SOUS 182128 HAS SOUPS 182128 WITH SCORE 182523.29
AT ITER 6204 NEW BEST:: SOT 1345206 SOS 395188 HAS SOPS 395188 HAS SOUS 182026 HAS SOUPS 182026 WITH SCORE 182421.188
AT ITER 6230 NEW BEST:: SOT 1345222 SOS 395220 HAS SOPS 395220 HAS SOUS 181981 HAS SOUPS 181981 WITH SCORE 182376.22
AT ITER 6263 NEW BEST:: SOT 1345201 SOS 395178 HAS SOPS 395178 HAS SOUS 181939 HAS SOUPS 181939 WITH SCORE 182334.178
AT ITER 6271 NEW BEST:: SOT 1345201 SOS 394769 HAS SOPS 394769 HAS SOUS 181939 HAS SOUPS 181939 WITH SCORE 182333.769
AT ITER 6277 NEW BEST:: SOT 1345201 SOS 394756 HAS SOPS 394756 HAS SOUS 181923 HAS SOUPS 181923 WITH SCORE 182317.756
AT ITER 6342 NEW BEST:: SOT 1345243 SOS 394781 HAS SOPS 394781 HAS SOUS 181834 HAS SOUPS 181834 WITH SCORE 182228.781
AT ITER 6366 NEW BEST:: SOT 1345243 SOS 394781 HAS SOPS 394781 HAS SOUS 181795 HAS SOUPS 181795 WITH SCORE 182189.781
AT ITER 6388 NEW BEST:: SOT 1345243 SOS 394934 HAS SOPS 394934 HAS SOUS 181771 HAS SOUPS 181771 WITH SCORE 182165.934
AT ITER 6408 NEW BEST:: SOT 1345331 SOS 395110 HAS SOPS 395110 HAS SOUS 181689 HAS SOUPS 181689 WITH SCORE 182084.11
AT ITER 6409 NEW BEST:: SOT 1345311 SOS 395070 HAS SOPS 395070 HAS SOUS 181669 HAS SOUPS 181669 WITH SCORE 182064.07
AT ITER 6414 NEW BEST:: SOT 1345260 SOS 394968 HAS SOPS 394968 HAS SOUS 181567 HAS SOUPS 181567 WITH SCORE 181961.968
AT ITER 6430 NEW BEST:: SOT 1345257 SOS 394962 HAS SOPS 394962 HAS SOUS 181561 HAS SOUPS 181561 WITH SCORE 181955.962
AT ITER 6460 NEW BEST:: SOT 1345221 SOS 394980 HAS SOPS 394980 HAS SOUS 181559 HAS SOUPS 181559 WITH SCORE 181953.98
AT ITER 6469 NEW BEST:: SOT 1345217 SOS 394972 HAS SOPS 394972 HAS SOUS 181551 HAS SOUPS 181551 WITH SCORE 181945.972
AT ITER 6479 NEW BEST:: SOT 1345203 SOS 394930 HAS SOPS 394930 HAS SOUS 181523 HAS SOUPS 181523 WITH SCORE 181917.93
AT ITER 6488 NEW BEST:: SOT 1345199 SOS 394922 HAS SOPS 394922 HAS SOUS 181323 HAS SOUPS 181323 WITH SCORE 181717.922
AT ITER 6508 NEW BEST:: SOT 1345111 SOS 394746 HAS SOPS 394746 HAS SOUS 181285 HAS SOUPS 181285 WITH SCORE 181679.746
AT ITER 6528 NEW BEST:: SOT 1345111 SOS 394598 HAS SOPS 394598 HAS SOUS 181079 HAS SOUPS 181079 WITH SCORE 181473.598
AT ITER 6541 NEW BEST:: SOT 1345111 SOS 394567 HAS SOPS 394567 HAS SOUS 181048 HAS SOUPS 181048 WITH SCORE 181442.567
AT ITER 6600 NEW BEST:: SOT 1345031 SOS 395007 HAS SOPS 395007 HAS SOUS 180815 HAS SOUPS 180815 WITH SCORE 181210.007
AT ITER 6601 NEW BEST:: SOT 1345153 SOS 395125 HAS SOPS 395125 HAS SOUS 180787 HAS SOUPS 180787 WITH SCORE 181182.125
AT ITER 6614 NEW BEST:: SOT 1345069 SOS 394957 HAS SOPS 394957 HAS SOUS 180619 HAS SOUPS 180619 WITH SCORE 181013.957
AT ITER 6673 NEW BEST:: SOT 1345069 SOS 394767 HAS SOPS 394767 HAS SOUS 180562 HAS SOUPS 180562 WITH SCORE 180956.767
AT ITER 6678 NEW BEST:: SOT 1345056 SOS 394728 HAS SOPS 394728 HAS SOUS 180536 HAS SOUPS 180536 WITH SCORE 180930.728
AT ITER 6686 NEW BEST:: SOT 1345011 SOS 394638 HAS SOPS 394638 HAS SOUS 180491 HAS SOUPS 180491 WITH SCORE 180885.638
AT ITER 6690 NEW BEST:: SOT 1345003 SOS 394626 HAS SOPS 394626 HAS SOUS 180479 HAS SOUPS 180479 WITH SCORE 180873.626
AT ITER 6703 NEW BEST:: SOT 1345000 SOS 394623 HAS SOPS 394623 HAS SOUS 180473 HAS SOUPS 180473 WITH SCORE 180867.623
AT ITER 6711 NEW BEST:: SOT 1345069 SOS 394554 HAS SOPS 394554 HAS SOUS 180473 HAS SOUPS 180473 WITH SCORE 180867.554
AT ITER 6760 NEW BEST:: SOT 1345029 SOS 394540 HAS SOPS 394540 HAS SOUS 180433 HAS SOUPS 180433 WITH SCORE 180827.54
AT ITER 6769 NEW BEST:: SOT 1345003 SOS 394502 HAS SOPS 394502 HAS SOUS 180369 HAS SOUPS 180369 WITH SCORE 180763.502
AT ITER 6773 NEW BEST:: SOT 1345003 SOS 394461 HAS SOPS 394461 HAS SOUS 180358 HAS SOUPS 180358 WITH SCORE 180752.461
AT ITER 6835 NEW BEST:: SOT 1344972 SOS 394399 HAS SOPS 394399 HAS SOUS 180334 HAS SOUPS 180334 WITH SCORE 180728.399
AT ITER 6964 NEW BEST:: SOT 1344969 SOS 394393 HAS SOPS 394393 HAS SOUS 180331 HAS SOUPS 180331 WITH SCORE 180725.393
AT ITER 6970 NEW BEST:: SOT 1344963 SOS 394381 HAS SOPS 394381 HAS SOUS 180325 HAS SOUPS 180325 WITH SCORE 180719.381
AT ITER 6993 NEW BEST:: SOT 1344962 SOS 394378 HAS SOPS 394378 HAS SOUS 180322 HAS SOUPS 180322 WITH SCORE 180716.378
AT ITER 6994 NEW BEST:: SOT 1344852 SOS 394158 HAS SOPS 394158 HAS SOUS 180102 HAS SOUPS 180102 WITH SCORE 180496.158
AT ITER 7016 NEW BEST:: SOT 1344852 SOS 394051 HAS SOPS 394051 HAS SOUS 180102 HAS SOUPS 180102 WITH SCORE 180496.051
AT ITER 7024 NEW BEST:: SOT 1344850 SOS 393475 HAS SOPS 393475 HAS SOUS 179988 HAS SOUPS 179988 WITH SCORE 180381.475
AT ITER 7044 NEW BEST:: SOT 1344797 SOS 393504 HAS SOPS 393504 HAS SOUS 179972 HAS SOUPS 179972 WITH SCORE 180365.504
AT ITER 7050 NEW BEST:: SOT 1345033 SOS 393711 HAS SOPS 393711 HAS SOUS 179810 HAS SOUPS 179810 WITH SCORE 180203.711
AT ITER 7053 NEW BEST:: SOT 1344958 SOS 393636 HAS SOPS 393636 HAS SOUS 179735 HAS SOUPS 179735 WITH SCORE 180128.636
AT ITER 7060 NEW BEST:: SOT 1344958 SOS 393626 HAS SOPS 393626 HAS SOUS 179735 HAS SOUPS 179735 WITH SCORE 180128.626
AT ITER 7064 NEW BEST:: SOT 1344934 SOS 393535 HAS SOPS 393535 HAS SOUS 179668 HAS SOUPS 179668 WITH SCORE 180061.535
AT ITER 7075 NEW BEST:: SOT 1344934 SOS 393518 HAS SOPS 393518 HAS SOUS 179668 HAS SOUPS 179668 WITH SCORE 180061.518
AT ITER 7084 NEW BEST:: SOT 1344939 SOS 393528 HAS SOPS 393528 HAS SOUS 179501 HAS SOUPS 179501 WITH SCORE 179894.528
AT ITER 7101 NEW BEST:: SOT 1344933 SOS 393522 HAS SOPS 393522 HAS SOUS 179459 HAS SOUPS 179459 WITH SCORE 179852.522
AT ITER 7206 NEW BEST:: SOT 1344933 SOS 393522 HAS SOPS 393522 HAS SOUS 179453 HAS SOUPS 179453 WITH SCORE 179846.522
AT ITER 7214 NEW BEST:: SOT 1344983 SOS 393522 HAS SOPS 393522 HAS SOUS 179403 HAS SOUPS 179403 WITH SCORE 179796.522
AT ITER 7250 NEW BEST:: SOT 1344914 SOS 393744 HAS SOPS 393744 HAS SOUS 179334 HAS SOUPS 179334 WITH SCORE 179727.744
AT ITER 7289 NEW BEST:: SOT 1344910 SOS 393736 HAS SOPS 393736 HAS SOUS 179332 HAS SOUPS 179332 WITH SCORE 179725.736
AT ITER 7306 NEW BEST:: SOT 1344729 SOS 393585 HAS SOPS 393585 HAS SOUS 179191 HAS SOUPS 179191 WITH SCORE 179584.585
AT ITER 7321 NEW BEST:: SOT 1344676 SOS 393551 HAS SOPS 393551 HAS SOUS 179157 HAS SOUPS 179157 WITH SCORE 179550.551
AT ITER 7337 NEW BEST:: SOT 1344631 SOS 393269 HAS SOPS 393269 HAS SOUS 179099 HAS SOUPS 179099 WITH SCORE 179492.269
AT ITER 7354 NEW BEST:: SOT 1344629 SOS 393267 HAS SOPS 393267 HAS SOUS 179097 HAS SOUPS 179097 WITH SCORE 179490.267
AT ITER 7381 NEW BEST:: SOT 1344538 SOS 393369 HAS SOPS 393369 HAS SOUS 179015 HAS SOUPS 179015 WITH SCORE 179408.369
AT ITER 7385 NEW BEST:: SOT 1344482 SOS 393439 HAS SOPS 393439 HAS SOUS 178959 HAS SOUPS 178959 WITH SCORE 179352.439
AT ITER 7403 NEW BEST:: SOT 1344368 SOS 393595 HAS SOPS 393595 HAS SOUS 178827 HAS SOUPS 178827 WITH SCORE 179220.595
AT ITER 7409 NEW BEST:: SOT 1344355 SOS 393569 HAS SOPS 393569 HAS SOUS 178801 HAS SOUPS 178801 WITH SCORE 179194.569
AT ITER 7426 NEW BEST:: SOT 1344313 SOS 393527 HAS SOPS 393527 HAS SOUS 178780 HAS SOUPS 178780 WITH SCORE 179173.527
AT ITER 7432 NEW BEST:: SOT 1344228 SOS 393357 HAS SOPS 393357 HAS SOUS 178610 HAS SOUPS 178610 WITH SCORE 179003.357
AT ITER 7440 NEW BEST:: SOT 1344222 SOS 393351 HAS SOPS 393351 HAS SOUS 178598 HAS SOUPS 178598 WITH SCORE 178991.351
AT ITER 7442 NEW BEST:: SOT 1344222 SOS 393351 HAS SOPS 393351 HAS SOUS 178381 HAS SOUPS 178381 WITH SCORE 178774.351
AT ITER 7454 NEW BEST:: SOT 1344195 SOS 393297 HAS SOPS 393297 HAS SOUS 178327 HAS SOUPS 178327 WITH SCORE 178720.297
AT ITER 7460 NEW BEST:: SOT 1344165 SOS 393237 HAS SOPS 393237 HAS SOUS 178267 HAS SOUPS 178267 WITH SCORE 178660.237
AT ITER 7498 NEW BEST:: SOT 1344149 SOS 393198 HAS SOPS 393198 HAS SOUS 178235 HAS SOUPS 178235 WITH SCORE 178628.198
AT ITER 7507 NEW BEST:: SOT 1344126 SOS 393152 HAS SOPS 393152 HAS SOUS 178189 HAS SOUPS 178189 WITH SCORE 178582.152
AT ITER 7509 NEW BEST:: SOT 1344105 SOS 393106 HAS SOPS 393106 HAS SOUS 178147 HAS SOUPS 178147 WITH SCORE 178540.106
AT ITER 7523 NEW BEST:: SOT 1344139 SOS 392722 HAS SOPS 392722 HAS SOUS 178068 HAS SOUPS 178068 WITH SCORE 178460.722
AT ITER 7530 NEW BEST:: SOT 1344089 SOS 392552 HAS SOPS 392552 HAS SOUS 177948 HAS SOUPS 177948 WITH SCORE 178340.552
AT ITER 7554 NEW BEST:: SOT 1344089 SOS 392412 HAS SOPS 392412 HAS SOUS 177794 HAS SOUPS 177794 WITH SCORE 178186.412
AT ITER 7565 NEW BEST:: SOT 1344074 SOS 392397 HAS SOPS 392397 HAS SOUS 177779 HAS SOUPS 177779 WITH SCORE 178171.397
AT ITER 7598 NEW BEST:: SOT 1344074 SOS 392391 HAS SOPS 392391 HAS SOUS 177773 HAS SOUPS 177773 WITH SCORE 178165.391
AT ITER 7620 NEW BEST:: SOT 1344070 SOS 392383 HAS SOPS 392383 HAS SOUS 177765 HAS SOUPS 177765 WITH SCORE 178157.383
AT ITER 7626 NEW BEST:: SOT 1344049 SOS 392362 HAS SOPS 392362 HAS SOUS 177765 HAS SOUPS 177765 WITH SCORE 178157.362
AT ITER 7652 NEW BEST:: SOT 1344049 SOS 392362 HAS SOPS 392362 HAS SOUS 177748 HAS SOUPS 177748 WITH SCORE 178140.362
AT ITER 7659 NEW BEST:: SOT 1343989 SOS 392242 HAS SOPS 392242 HAS SOUS 177628 HAS SOUPS 177628 WITH SCORE 178020.242
AT ITER 7687 NEW BEST:: SOT 1343992 SOS 392241 HAS SOPS 392241 HAS SOUS 177627 HAS SOUPS 177627 WITH SCORE 178019.241
AT ITER 7690 NEW BEST:: SOT 1343947 SOS 392116 HAS SOPS 392116 HAS SOUS 177474 HAS SOUPS 177474 WITH SCORE 177866.116
AT ITER 7697 NEW BEST:: SOT 1343947 SOS 392202 HAS SOPS 392202 HAS SOUS 177058 HAS SOUPS 177058 WITH SCORE 177450.202
AT ITER 7700 NEW BEST:: SOT 1343935 SOS 392178 HAS SOPS 392178 HAS SOUS 177046 HAS SOUPS 177046 WITH SCORE 177438.178
AT ITER 7750 NEW BEST:: SOT 1343885 SOS 391278 HAS SOPS 391278 HAS SOUS 176946 HAS SOUPS 176946 WITH SCORE 177337.278
AT ITER 7752 NEW BEST:: SOT 1343916 SOS 391109 HAS SOPS 391109 HAS SOUS 176914 HAS SOUPS 176914 WITH SCORE 177305.109
AT ITER 7767 NEW BEST:: SOT 1343916 SOS 391109 HAS SOPS 391109 HAS SOUS 176913 HAS SOUPS 176913 WITH SCORE 177304.109
AT ITER 7833 NEW BEST:: SOT 1343914 SOS 391001 HAS SOPS 391001 HAS SOUS 176894 HAS SOUPS 176894 WITH SCORE 177285.001
AT ITER 7850 NEW BEST:: SOT 1343914 SOS 390972 HAS SOPS 390972 HAS SOUS 176865 HAS SOUPS 176865 WITH SCORE 177255.972
AT ITER 7861 NEW BEST:: SOT 1343782 SOS 391002 HAS SOPS 391002 HAS SOUS 176817 HAS SOUPS 176817 WITH SCORE 177208.002
AT ITER 7891 NEW BEST:: SOT 1343813 SOS 390944 HAS SOPS 390944 HAS SOUS 176771 HAS SOUPS 176771 WITH SCORE 177161.944
AT ITER 7929 NEW BEST:: SOT 1343750 SOS 390902 HAS SOPS 390902 HAS SOUS 176044 HAS SOUPS 176044 WITH SCORE 176434.902
AT ITER 7941 NEW BEST:: SOT 1343745 SOS 390892 HAS SOPS 390892 HAS SOUS 176034 HAS SOUPS 176034 WITH SCORE 176424.892
AT ITER 7945 NEW BEST:: SOT 1343745 SOS 390829 HAS SOPS 390829 HAS SOUS 176034 HAS SOUPS 176034 WITH SCORE 176424.829
AT ITER 7975 NEW BEST:: SOT 1343730 SOS 390773 HAS SOPS 390773 HAS SOUS 175993 HAS SOUPS 175993 WITH SCORE 176383.773
AT ITER 7985 NEW BEST:: SOT 1343716 SOS 390745 HAS SOPS 390745 HAS SOUS 175964 HAS SOUPS 175964 WITH SCORE 176354.745
AT ITER 8021 NEW BEST:: SOT 1343706 SOS 390725 HAS SOPS 390725 HAS SOUS 175944 HAS SOUPS 175944 WITH SCORE 176334.725
AT ITER 8057 NEW BEST:: SOT 1343661 SOS 390805 HAS SOPS 390805 HAS SOUS 175933 HAS SOUPS 175933 WITH SCORE 176323.805
AT ITER 8083 NEW BEST:: SOT 1343781 SOS 391045 HAS SOPS 391045 HAS SOUS 175907 HAS SOUPS 175907 WITH SCORE 176298.045
AT ITER 8084 NEW BEST:: SOT 1343772 SOS 391036 HAS SOPS 391036 HAS SOUS 175889 HAS SOUPS 175889 WITH SCORE 176280.036
AT ITER 8088 NEW BEST:: SOT 1343769 SOS 391033 HAS SOPS 391033 HAS SOUS 175881 HAS SOUPS 175881 WITH SCORE 176272.033
AT ITER 8112 NEW BEST:: SOT 1343769 SOS 390997 HAS SOPS 390997 HAS SOUS 175845 HAS SOUPS 175845 WITH SCORE 176235.997
AT ITER 8124 NEW BEST:: SOT 1343580 SOS 390646 HAS SOPS 390646 HAS SOUS 175742 HAS SOUPS 175742 WITH SCORE 176132.646
AT ITER 8125 NEW BEST:: SOT 1343580 SOS 390549 HAS SOPS 390549 HAS SOUS 175742 HAS SOUPS 175742 WITH SCORE 176132.549
AT ITER 8129 NEW BEST:: SOT 1343552 SOS 390409 HAS SOPS 390409 HAS SOUS 175714 HAS SOUPS 175714 WITH SCORE 176104.409
AT ITER 8135 NEW BEST:: SOT 1343469 SOS 390326 HAS SOPS 390326 HAS SOUS 175475 HAS SOUPS 175475 WITH SCORE 175865.326
AT ITER 8141 NEW BEST:: SOT 1343438 SOS 390264 HAS SOPS 390264 HAS SOUS 175413 HAS SOUPS 175413 WITH SCORE 175803.264
AT ITER 8157 NEW BEST:: SOT 1343873 SOS 390699 HAS SOPS 390699 HAS SOUS 175376 HAS SOUPS 175376 WITH SCORE 175766.699
AT ITER 8162 NEW BEST:: SOT 1343903 SOS 390759 HAS SOPS 390759 HAS SOUS 175352 HAS SOUPS 175352 WITH SCORE 175742.759
AT ITER 8174 NEW BEST:: SOT 1343882 SOS 390757 HAS SOPS 390757 HAS SOUS 175350 HAS SOUPS 175350 WITH SCORE 175740.757
AT ITER 8187 NEW BEST:: SOT 1343882 SOS 390742 HAS SOPS 390742 HAS SOUS 175335 HAS SOUPS 175335 WITH SCORE 175725.742
AT ITER 8189 NEW BEST:: SOT 1343875 SOS 390728 HAS SOPS 390728 HAS SOUS 175321 HAS SOUPS 175321 WITH SCORE 175711.728
AT ITER 8257 NEW BEST:: SOT 1343863 SOS 390704 HAS SOPS 390704 HAS SOUS 175287 HAS SOUPS 175287 WITH SCORE 175677.704
AT ITER 8314 NEW BEST:: SOT 1343885 SOS 390383 HAS SOPS 390383 HAS SOUS 175117 HAS SOUPS 175117 WITH SCORE 175507.383
AT ITER 8321 NEW BEST:: SOT 1343708 SOS 390191 HAS SOPS 390191 HAS SOUS 174785 HAS SOUPS 174785 WITH SCORE 175175.191
AT ITER 8401 NEW BEST:: SOT 1343657 SOS 390140 HAS SOPS 390140 HAS SOUS 174581 HAS SOUPS 174581 WITH SCORE 174971.14
AT ITER 8431 NEW BEST:: SOT 1343662 SOS 389981 HAS SOPS 389981 HAS SOUS 174422 HAS SOUPS 174422 WITH SCORE 174811.981
AT ITER 8437 NEW BEST:: SOT 1343662 SOS 389964 HAS SOPS 389964 HAS SOUS 174399 HAS SOUPS 174399 WITH SCORE 174788.964
AT ITER 8507 NEW BEST:: SOT 1343232 SOS 389534 HAS SOPS 389534 HAS SOUS 174053 HAS SOUPS 174053 WITH SCORE 174442.534
AT ITER 8518 NEW BEST:: SOT 1343232 SOS 389519 HAS SOPS 389519 HAS SOUS 174043 HAS SOUPS 174043 WITH SCORE 174432.519
AT ITER 8520 NEW BEST:: SOT 1343223 SOS 389501 HAS SOPS 389501 HAS SOUS 174025 HAS SOUPS 174025 WITH SCORE 174414.501
AT ITER 8551 NEW BEST:: SOT 1343185 SOS 389463 HAS SOPS 389463 HAS SOUS 173987 HAS SOUPS 173987 WITH SCORE 174376.463
AT ITER 8577 NEW BEST:: SOT 1343110 SOS 389388 HAS SOPS 389388 HAS SOUS 173912 HAS SOUPS 173912 WITH SCORE 174301.388
AT ITER 8589 NEW BEST:: SOT 1343157 SOS 389482 HAS SOPS 389482 HAS SOUS 173907 HAS SOUPS 173907 WITH SCORE 174296.482
AT ITER 8655 NEW BEST:: SOT 1343254 SOS 389537 HAS SOPS 389537 HAS SOUS 173823 HAS SOUPS 173823 WITH SCORE 174212.537
AT ITER 8668 NEW BEST:: SOT 1343261 SOS 389529 HAS SOPS 389529 HAS SOUS 173815 HAS SOUPS 173815 WITH SCORE 174204.529
AT ITER 8701 NEW BEST:: SOT 1343261 SOS 389517 HAS SOPS 389517 HAS SOUS 173803 HAS SOUPS 173803 WITH SCORE 174192.517
AT ITER 8742 NEW BEST:: SOT 1343017 SOS 389245 HAS SOPS 389245 HAS SOUS 173747 HAS SOUPS 173747 WITH SCORE 174136.245
AT ITER 8750 NEW BEST:: SOT 1342923 SOS 389151 HAS SOPS 389151 HAS SOUS 173682 HAS SOUPS 173682 WITH SCORE 174071.151
AT ITER 8755 NEW BEST:: SOT 1342921 SOS 389147 HAS SOPS 389147 HAS SOUS 173678 HAS SOUPS 173678 WITH SCORE 174067.147
AT ITER 8786 NEW BEST:: SOT 1342921 SOS 389145 HAS SOPS 389145 HAS SOUS 173676 HAS SOUPS 173676 WITH SCORE 174065.145
AT ITER 8821 NEW BEST:: SOT 1342914 SOS 389131 HAS SOPS 389131 HAS SOUS 173662 HAS SOUPS 173662 WITH SCORE 174051.131
AT ITER 8844 NEW BEST:: SOT 1342905 SOS 389122 HAS SOPS 389122 HAS SOUS 173653 HAS SOUPS 173653 WITH SCORE 174042.122
AT ITER 8895 NEW BEST:: SOT 1342878 SOS 389095 HAS SOPS 389095 HAS SOUS 173626 HAS SOUPS 173626 WITH SCORE 174015.095
AT ITER 8899 NEW BEST:: SOT 1342878 SOS 388935 HAS SOPS 388935 HAS SOUS 173626 HAS SOUPS 173626 WITH SCORE 174014.935
AT ITER 8943 NEW BEST:: SOT 1342932 SOS 388961 HAS SOPS 388961 HAS SOUS 173572 HAS SOUPS 173572 WITH SCORE 173960.961
AT ITER 8955 NEW BEST:: SOT 1342922 SOS 388827 HAS SOPS 388827 HAS SOUS 173438 HAS SOUPS 173438 WITH SCORE 173826.827
AT ITER 8956 NEW BEST:: SOT 1342922 SOS 388827 HAS SOPS 388827 HAS SOUS 173367 HAS SOUPS 173367 WITH SCORE 173755.827
AT ITER 8967 NEW BEST:: SOT 1342896 SOS 388905 HAS SOPS 388905 HAS SOUS 173341 HAS SOUPS 173341 WITH SCORE 173729.905
AT ITER 8994 NEW BEST:: SOT 1342846 SOS 388942 HAS SOPS 388942 HAS SOUS 173224 HAS SOUPS 173224 WITH SCORE 173612.942
AT ITER 9012 NEW BEST:: SOT 1342822 SOS 388894 HAS SOPS 388894 HAS SOUS 173174 HAS SOUPS 173174 WITH SCORE 173562.894
AT ITER 9056 NEW BEST:: SOT 1342826 SOS 388808 HAS SOPS 388808 HAS SOUS 173174 HAS SOUPS 173174 WITH SCORE 173562.808
AT ITER 9078 NEW BEST:: SOT 1342878 SOS 411861 HAS SOPS 411861 HAS SOUS 173137 HAS SOUPS 173137 WITH SCORE 173548.861
AT ITER 9086 NEW BEST:: SOT 1342934 SOS 411872 HAS SOPS 411872 HAS SOUS 173047 HAS SOUPS 173047 WITH SCORE 173458.872
AT ITER 9095 NEW BEST:: SOT 1342899 SOS 411802 HAS SOPS 411802 HAS SOUS 172977 HAS SOUPS 172977 WITH SCORE 173388.802
AT ITER 9097 NEW BEST:: SOT 1342769 SOS 411606 HAS SOPS 411606 HAS SOUS 172781 HAS SOUPS 172781 WITH SCORE 173192.606
AT ITER 9121 NEW BEST:: SOT 1342662 SOS 411392 HAS SOPS 411392 HAS SOUS 172730 HAS SOUPS 172730 WITH SCORE 173141.392
AT ITER 9136 NEW BEST:: SOT 1342621 SOS 411335 HAS SOPS 411335 HAS SOUS 172664 HAS SOUPS 172664 WITH SCORE 173075.335
AT ITER 9143 NEW BEST:: SOT 1342348 SOS 412173 HAS SOPS 412173 HAS SOUS 172557 HAS SOUPS 172557 WITH SCORE 172969.173
AT ITER 9153 NEW BEST:: SOT 1342348 SOS 412282 HAS SOPS 412282 HAS SOUS 172542 HAS SOUPS 172542 WITH SCORE 172954.282
AT ITER 9154 NEW BEST:: SOT 1342379 SOS 412344 HAS SOPS 412344 HAS SOUS 172533 HAS SOUPS 172533 WITH SCORE 172945.344
AT ITER 9198 NEW BEST:: SOT 1342380 SOS 412157 HAS SOPS 412157 HAS SOUS 172346 HAS SOUPS 172346 WITH SCORE 172758.157
AT ITER 9207 NEW BEST:: SOT 1342380 SOS 412126 HAS SOPS 412126 HAS SOUS 172346 HAS SOUPS 172346 WITH SCORE 172758.126
AT ITER 9217 NEW BEST:: SOT 1342313 SOS 411992 HAS SOPS 411992 HAS SOUS 172279 HAS SOUPS 172279 WITH SCORE 172690.992
AT ITER 9238 NEW BEST:: SOT 1342313 SOS 412000 HAS SOPS 412000 HAS SOUS 172271 HAS SOUPS 172271 WITH SCORE 172683.0
AT ITER 9255 NEW BEST:: SOT 1342313 SOS 412000 HAS SOPS 412000 HAS SOUS 172233 HAS SOUPS 172233 WITH SCORE 172645.0
AT ITER 9260 NEW BEST:: SOT 1342290 SOS 411930 HAS SOPS 411930 HAS SOUS 172210 HAS SOUPS 172210 WITH SCORE 172621.93
AT ITER 9277 NEW BEST:: SOT 1342375 SOS 411954 HAS SOPS 411954 HAS SOUS 172203 HAS SOUPS 172203 WITH SCORE 172614.954
AT ITER 9281 NEW BEST:: SOT 1342366 SOS 411936 HAS SOPS 411936 HAS SOUS 172194 HAS SOUPS 172194 WITH SCORE 172605.936
AT ITER 9306 NEW BEST:: SOT 1342358 SOS 411920 HAS SOPS 411920 HAS SOUS 172178 HAS SOUPS 172178 WITH SCORE 172589.92
AT ITER 9312 NEW BEST:: SOT 1342393 SOS 412370 HAS SOPS 412370 HAS SOUS 172153 HAS SOUPS 172153 WITH SCORE 172565.37
AT ITER 9313 NEW BEST:: SOT 1342391 SOS 412366 HAS SOPS 412366 HAS SOUS 172151 HAS SOUPS 172151 WITH SCORE 172563.366
AT ITER 9330 NEW BEST:: SOT 1342154 SOS 412668 HAS SOPS 412668 HAS SOUS 171985 HAS SOUPS 171985 WITH SCORE 172397.668
AT ITER 9356 NEW BEST:: SOT 1342090 SOS 412604 HAS SOPS 412604 HAS SOUS 171921 HAS SOUPS 171921 WITH SCORE 172333.604
AT ITER 9369 NEW BEST:: SOT 1342164 SOS 412599 HAS SOPS 412599 HAS SOUS 171916 HAS SOUPS 171916 WITH SCORE 172328.599
AT ITER 9378 NEW BEST:: SOT 1342127 SOS 412525 HAS SOPS 412525 HAS SOUS 171842 HAS SOUPS 171842 WITH SCORE 172254.525
AT ITER 9401 NEW BEST:: SOT 1342112 SOS 412495 HAS SOPS 412495 HAS SOUS 171812 HAS SOUPS 171812 WITH SCORE 172224.495
AT ITER 9441 NEW BEST:: SOT 1341979 SOS 412270 HAS SOPS 412270 HAS SOUS 171615 HAS SOUPS 171615 WITH SCORE 172027.27
AT ITER 9453 NEW BEST:: SOT 1341973 SOS 412258 HAS SOPS 412258 HAS SOUS 171571 HAS SOUPS 171571 WITH SCORE 171983.258
AT ITER 9503 NEW BEST:: SOT 1341893 SOS 412178 HAS SOPS 412178 HAS SOUS 171491 HAS SOUPS 171491 WITH SCORE 171903.178
AT ITER 9612 NEW BEST:: SOT 1341901 SOS 412162 HAS SOPS 412162 HAS SOUS 171491 HAS SOUPS 171491 WITH SCORE 171903.162
AT ITER 9625 NEW BEST:: SOT 1341902 SOS 412164 HAS SOPS 412164 HAS SOUS 171477 HAS SOUPS 171477 WITH SCORE 171889.164
AT ITER 9631 NEW BEST:: SOT 1341801 SOS 411306 HAS SOPS 411306 HAS SOUS 171355 HAS SOUPS 171355 WITH SCORE 171766.306
AT ITER 9634 NEW BEST:: SOT 1341857 SOS 411031 HAS SOPS 411031 HAS SOUS 171098 HAS SOUPS 171098 WITH SCORE 171509.031
AT ITER 9660 NEW BEST:: SOT 1341857 SOS 411041 HAS SOPS 411041 HAS SOUS 171088 HAS SOUPS 171088 WITH SCORE 171499.041
AT ITER 9664 NEW BEST:: SOT 1341851 SOS 411355 HAS SOPS 411355 HAS SOUS 170972 HAS SOUPS 170972 WITH SCORE 171383.355
AT ITER 9701 NEW BEST:: SOT 1341899 SOS 411293 HAS SOPS 411293 HAS SOUS 170960 HAS SOUPS 170960 WITH SCORE 171371.293
AT ITER 9737 NEW BEST:: SOT 1341860 SOS 411276 HAS SOPS 411276 HAS SOUS 170882 HAS SOUPS 170882 WITH SCORE 171293.276
AT ITER 9741 NEW BEST:: SOT 1341876 SOS 411308 HAS SOPS 411308 HAS SOUS 170823 HAS SOUPS 170823 WITH SCORE 171234.308
AT ITER 9793 NEW BEST:: SOT 1341897 SOS 410379 HAS SOPS 410379 HAS SOUS 170805 HAS SOUPS 170805 WITH SCORE 171215.379
AT ITER 9814 NEW BEST:: SOT 1341897 SOS 410083 HAS SOPS 410083 HAS SOUS 170805 HAS SOUPS 170805 WITH SCORE 171215.083
AT ITER 9831 NEW BEST:: SOT 1341897 SOS 410159 HAS SOPS 410159 HAS SOUS 170729 HAS SOUPS 170729 WITH SCORE 171139.159
AT ITER 9834 NEW BEST:: SOT 1341869 SOS 410103 HAS SOPS 410103 HAS SOUS 170729 HAS SOUPS 170729 WITH SCORE 171139.103
AT ITER 9870 NEW BEST:: SOT 1341841 SOS 410047 HAS SOPS 410047 HAS SOUS 170701 HAS SOUPS 170701 WITH SCORE 171111.047
AT ITER 9878 NEW BEST:: SOT 1341855 SOS 410224 HAS SOPS 410224 HAS SOUS 170580 HAS SOUPS 170580 WITH SCORE 170990.224
AT ITER 9896 NEW BEST:: SOT 1341841 SOS 410145 HAS SOPS 410145 HAS SOUS 170501 HAS SOUPS 170501 WITH SCORE 170911.145
AT ITER 9905 NEW BEST:: SOT 1341833 SOS 410121 HAS SOPS 410121 HAS SOUS 170493 HAS SOUPS 170493 WITH SCORE 170903.121
AT ITER 9909 NEW BEST:: SOT 1341896 SOS 410058 HAS SOPS 410058 HAS SOUS 170493 HAS SOUPS 170493 WITH SCORE 170903.058
AT ITER 9911 NEW BEST:: SOT 1341870 SOS 410006 HAS SOPS 410006 HAS SOUS 170441 HAS SOUPS 170441 WITH SCORE 170851.006
AT ITER 9938 NEW BEST:: SOT 1341869 SOS 410004 HAS SOPS 410004 HAS SOUS 170440 HAS SOUPS 170440 WITH SCORE 170850.004
AT ITER 9974 NEW BEST:: SOT 1341842 SOS 409950 HAS SOPS 409950 HAS SOUS 170413 HAS SOUPS 170413 WITH SCORE 170822.95
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 8604852 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16118972 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="CloudDeployment-PT-4b"
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 CloudDeployment-PT-4b, 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 r075-smll-167814401000408"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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