fond
Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r107-tall-167814483800136
Last Updated
May 14, 2023

About the Execution of Smart+red for CloudReconfiguration-PT-317

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
4094.920 3600000.00 3663875.00 8491.60 [undef] Time out reached

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 7.1K Feb 25 11:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 73K Feb 25 11:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Feb 25 11:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 60K Feb 25 11:49 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 15:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 10K Feb 25 11:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 100K Feb 25 11:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.2K Feb 25 11:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 25 11:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:47 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:47 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 661K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678336394527

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

Filename model.pnml
Petri model created: 2587 places, 3099 transitions, 6479 arcs.
AT ITER 0 NEW BEST:: SOT 4458557 SOS 744619 HAS SOPS 744619 HAS SOUS 686904 HAS SOUPS 686904 WITH SCORE 687648.619
AT ITER 15 NEW BEST:: SOT 4458762 SOS 744619 HAS SOPS 744619 HAS SOUS 686903 HAS SOUPS 686903 WITH SCORE 687647.619
AT ITER 20 NEW BEST:: SOT 4458588 SOS 744000 HAS SOPS 744000 HAS SOUS 686324 HAS SOUPS 686324 WITH SCORE 687068.0
AT ITER 38 NEW BEST:: SOT 4458395 SOS 743614 HAS SOPS 743614 HAS SOUS 685938 HAS SOUPS 685938 WITH SCORE 686681.614
AT ITER 74 NEW BEST:: SOT 4458289 SOS 743685 HAS SOPS 743685 HAS SOUS 685936 HAS SOUPS 685936 WITH SCORE 686679.685
AT ITER 82 NEW BEST:: SOT 4458439 SOS 743685 HAS SOPS 743685 HAS SOUS 685935 HAS SOUPS 685935 WITH SCORE 686678.685
AT ITER 86 NEW BEST:: SOT 4458439 SOS 743685 HAS SOPS 743685 HAS SOUS 685868 HAS SOUPS 685868 WITH SCORE 686611.685
AT ITER 95 NEW BEST:: SOT 4458439 SOS 743462 HAS SOPS 743462 HAS SOUS 685868 HAS SOUPS 685868 WITH SCORE 686611.462
AT ITER 97 NEW BEST:: SOT 4458439 SOS 743333 HAS SOPS 743333 HAS SOUS 685739 HAS SOUPS 685739 WITH SCORE 686482.333
AT ITER 106 NEW BEST:: SOT 4458281 SOS 743017 HAS SOPS 743017 HAS SOUS 685687 HAS SOUPS 685687 WITH SCORE 686430.017
AT ITER 107 NEW BEST:: SOT 4457928 SOS 742833 HAS SOPS 742833 HAS SOUS 685218 HAS SOUPS 685218 WITH SCORE 685960.833
AT ITER 116 NEW BEST:: SOT 4457901 SOS 742779 HAS SOPS 742779 HAS SOUS 685100 HAS SOUPS 685100 WITH SCORE 685842.779
AT ITER 121 NEW BEST:: SOT 4457983 SOS 742943 HAS SOPS 742943 HAS SOUS 684942 HAS SOUPS 684942 WITH SCORE 685684.943
AT ITER 126 NEW BEST:: SOT 4457729 SOS 742689 HAS SOPS 742689 HAS SOUS 684688 HAS SOUPS 684688 WITH SCORE 685430.689
AT ITER 127 NEW BEST:: SOT 4457729 SOS 742677 HAS SOPS 742677 HAS SOUS 684676 HAS SOUPS 684676 WITH SCORE 685418.677
AT ITER 149 NEW BEST:: SOT 4457748 SOS 742580 HAS SOPS 742580 HAS SOUS 684579 HAS SOUPS 684579 WITH SCORE 685321.58
AT ITER 154 NEW BEST:: SOT 4457665 SOS 742414 HAS SOPS 742414 HAS SOUS 684496 HAS SOUPS 684496 WITH SCORE 685238.414
AT ITER 161 NEW BEST:: SOT 4457592 SOS 742268 HAS SOPS 742268 HAS SOUS 684423 HAS SOUPS 684423 WITH SCORE 685165.268
AT ITER 166 NEW BEST:: SOT 4457156 SOS 742780 HAS SOPS 742780 HAS SOUS 684361 HAS SOUPS 684361 WITH SCORE 685103.78
AT ITER 174 NEW BEST:: SOT 4457031 SOS 742672 HAS SOPS 742672 HAS SOUS 684253 HAS SOUPS 684253 WITH SCORE 684995.672
AT ITER 183 NEW BEST:: SOT 4456495 SOS 742136 HAS SOPS 742136 HAS SOUS 683717 HAS SOUPS 683717 WITH SCORE 684459.136
AT ITER 186 NEW BEST:: SOT 4456494 SOS 742134 HAS SOPS 742134 HAS SOUS 683715 HAS SOUPS 683715 WITH SCORE 684457.134
AT ITER 191 NEW BEST:: SOT 4456494 SOS 742134 HAS SOPS 742134 HAS SOUS 683606 HAS SOUPS 683606 WITH SCORE 684348.134
AT ITER 258 NEW BEST:: SOT 4456441 SOS 742028 HAS SOPS 742028 HAS SOUS 683500 HAS SOUPS 683500 WITH SCORE 684242.028
AT ITER 261 NEW BEST:: SOT 4455802 SOS 742162 HAS SOPS 742162 HAS SOUS 683214 HAS SOUPS 683214 WITH SCORE 683956.162
AT ITER 265 NEW BEST:: SOT 4455768 SOS 741923 HAS SOPS 741923 HAS SOUS 683009 HAS SOUPS 683009 WITH SCORE 683750.923
AT ITER 271 NEW BEST:: SOT 4455768 SOS 741761 HAS SOPS 741761 HAS SOUS 683009 HAS SOUPS 683009 WITH SCORE 683750.761
AT ITER 299 NEW BEST:: SOT 4455755 SOS 741822 HAS SOPS 741822 HAS SOUS 682947 HAS SOUPS 682947 WITH SCORE 683688.822
AT ITER 347 NEW BEST:: SOT 4455835 SOS 741622 HAS SOPS 741622 HAS SOUS 682886 HAS SOUPS 682886 WITH SCORE 683627.622
AT ITER 358 NEW BEST:: SOT 4455213 SOS 742106 HAS SOPS 742106 HAS SOUS 682716 HAS SOUPS 682716 WITH SCORE 683458.106
AT ITER 362 NEW BEST:: SOT 4455118 SOS 742011 HAS SOPS 742011 HAS SOUS 682621 HAS SOUPS 682621 WITH SCORE 683363.011
AT ITER 379 NEW BEST:: SOT 4454927 SOS 741949 HAS SOPS 741949 HAS SOUS 682534 HAS SOUPS 682534 WITH SCORE 683275.949
AT ITER 381 NEW BEST:: SOT 4454927 SOS 741894 HAS SOPS 741894 HAS SOUS 682534 HAS SOUPS 682534 WITH SCORE 683275.894
AT ITER 382 NEW BEST:: SOT 4454926 SOS 741892 HAS SOPS 741892 HAS SOUS 682532 HAS SOUPS 682532 WITH SCORE 683273.892
AT ITER 397 NEW BEST:: SOT 4455146 SOS 741759 HAS SOPS 741759 HAS SOUS 682290 HAS SOUPS 682290 WITH SCORE 683031.759
AT ITER 416 NEW BEST:: SOT 4455146 SOS 741948 HAS SOPS 741948 HAS SOUS 682289 HAS SOUPS 682289 WITH SCORE 683030.948
AT ITER 494 NEW BEST:: SOT 4455126 SOS 741908 HAS SOPS 741908 HAS SOUS 682249 HAS SOUPS 682249 WITH SCORE 682990.908
AT ITER 500 NEW BEST:: SOT 4455189 SOS 741725 HAS SOPS 741725 HAS SOUS 682066 HAS SOUPS 682066 WITH SCORE 682807.725
AT ITER 508 NEW BEST:: SOT 4454657 SOS 741203 HAS SOPS 741203 HAS SOUS 681534 HAS SOUPS 681534 WITH SCORE 682275.203
AT ITER 537 NEW BEST:: SOT 4454657 SOS 741203 HAS SOPS 741203 HAS SOUS 681470 HAS SOUPS 681470 WITH SCORE 682211.203
AT ITER 542 NEW BEST:: SOT 4454007 SOS 740563 HAS SOPS 740563 HAS SOUS 680830 HAS SOUPS 680830 WITH SCORE 681570.563
AT ITER 548 NEW BEST:: SOT 4454007 SOS 740563 HAS SOPS 740563 HAS SOUS 680829 HAS SOUPS 680829 WITH SCORE 681569.563
AT ITER 561 NEW BEST:: SOT 4453884 SOS 740317 HAS SOPS 740317 HAS SOUS 680564 HAS SOUPS 680564 WITH SCORE 681304.317
AT ITER 601 NEW BEST:: SOT 4453822 SOS 740255 HAS SOPS 740255 HAS SOUS 680502 HAS SOUPS 680502 WITH SCORE 681242.255
AT ITER 606 NEW BEST:: SOT 4448857 SOS 755245 HAS SOPS 755245 HAS SOUS 676223 HAS SOUPS 676223 WITH SCORE 676978.245
AT ITER 631 NEW BEST:: SOT 4448772 SOS 755075 HAS SOPS 755075 HAS SOUS 675910 HAS SOUPS 675910 WITH SCORE 676665.075
AT ITER 662 NEW BEST:: SOT 4448624 SOS 754779 HAS SOPS 754779 HAS SOUS 675844 HAS SOUPS 675844 WITH SCORE 676598.779
AT ITER 664 NEW BEST:: SOT 4448316 SOS 755183 HAS SOPS 755183 HAS SOUS 675419 HAS SOUPS 675419 WITH SCORE 676174.183
AT ITER 677 NEW BEST:: SOT 4448316 SOS 754976 HAS SOPS 754976 HAS SOUS 675419 HAS SOUPS 675419 WITH SCORE 676173.976
AT ITER 715 NEW BEST:: SOT 4448254 SOS 754914 HAS SOPS 754914 HAS SOUS 675357 HAS SOUPS 675357 WITH SCORE 676111.914
AT ITER 731 NEW BEST:: SOT 4448171 SOS 754748 HAS SOPS 754748 HAS SOUS 675178 HAS SOUPS 675178 WITH SCORE 675932.748
AT ITER 734 NEW BEST:: SOT 4448171 SOS 754552 HAS SOPS 754552 HAS SOUS 675178 HAS SOUPS 675178 WITH SCORE 675932.552
AT ITER 756 NEW BEST:: SOT 4447968 SOS 754353 HAS SOPS 754353 HAS SOUS 674978 HAS SOUPS 674978 WITH SCORE 675732.353
AT ITER 789 NEW BEST:: SOT 4447822 SOS 754061 HAS SOPS 754061 HAS SOUS 674686 HAS SOUPS 674686 WITH SCORE 675440.061
AT ITER 811 NEW BEST:: SOT 4447706 SOS 753618 HAS SOPS 753618 HAS SOUS 674250 HAS SOUPS 674250 WITH SCORE 675003.618
AT ITER 820 NEW BEST:: SOT 4447620 SOS 753446 HAS SOPS 753446 HAS SOUS 674078 HAS SOUPS 674078 WITH SCORE 674831.446
AT ITER 821 NEW BEST:: SOT 4447550 SOS 753376 HAS SOPS 753376 HAS SOUS 674008 HAS SOUPS 674008 WITH SCORE 674761.376
AT ITER 866 NEW BEST:: SOT 4447448 SOS 753277 HAS SOPS 753277 HAS SOUS 673909 HAS SOUPS 673909 WITH SCORE 674662.277
AT ITER 885 NEW BEST:: SOT 4447448 SOS 753187 HAS SOPS 753187 HAS SOUS 673819 HAS SOUPS 673819 WITH SCORE 674572.187
AT ITER 890 NEW BEST:: SOT 4447379 SOS 753049 HAS SOPS 753049 HAS SOUS 673681 HAS SOUPS 673681 WITH SCORE 674434.049
AT ITER 903 NEW BEST:: SOT 4447189 SOS 752859 HAS SOPS 752859 HAS SOUS 673491 HAS SOUPS 673491 WITH SCORE 674243.859
AT ITER 913 NEW BEST:: SOT 4447188 SOS 752857 HAS SOPS 752857 HAS SOUS 673489 HAS SOUPS 673489 WITH SCORE 674241.857
AT ITER 919 NEW BEST:: SOT 4446751 SOS 752468 HAS SOPS 752468 HAS SOUS 673159 HAS SOUPS 673159 WITH SCORE 673911.468
AT ITER 926 NEW BEST:: SOT 4446678 SOS 752322 HAS SOPS 752322 HAS SOUS 673086 HAS SOUPS 673086 WITH SCORE 673838.322
AT ITER 932 NEW BEST:: SOT 4446650 SOS 752238 HAS SOPS 752238 HAS SOUS 673030 HAS SOUPS 673030 WITH SCORE 673782.238
AT ITER 939 NEW BEST:: SOT 4445981 SOS 751572 HAS SOPS 751572 HAS SOUS 672363 HAS SOUPS 672363 WITH SCORE 673114.572
AT ITER 952 NEW BEST:: SOT 4445981 SOS 751353 HAS SOPS 751353 HAS SOUS 672363 HAS SOUPS 672363 WITH SCORE 673114.353
AT ITER 969 NEW BEST:: SOT 4445981 SOS 751314 HAS SOPS 751314 HAS SOUS 672363 HAS SOUPS 672363 WITH SCORE 673114.314
AT ITER 997 NEW BEST:: SOT 4443653 SOS 771924 HAS SOPS 771924 HAS SOUS 671723 HAS SOUPS 671723 WITH SCORE 672494.924
AT ITER 1007 NEW BEST:: SOT 4443652 SOS 771762 HAS SOPS 771762 HAS SOUS 671721 HAS SOUPS 671721 WITH SCORE 672492.762
AT ITER 1025 NEW BEST:: SOT 4443646 SOS 771750 HAS SOPS 771750 HAS SOUS 671709 HAS SOUPS 671709 WITH SCORE 672480.75
AT ITER 1034 NEW BEST:: SOT 4443562 SOS 771582 HAS SOPS 771582 HAS SOUS 671541 HAS SOUPS 671541 WITH SCORE 672312.582
AT ITER 1043 NEW BEST:: SOT 4443531 SOS 771520 HAS SOPS 771520 HAS SOUS 671479 HAS SOUPS 671479 WITH SCORE 672250.52
AT ITER 1049 NEW BEST:: SOT 4443530 SOS 771518 HAS SOPS 771518 HAS SOUS 671477 HAS SOUPS 671477 WITH SCORE 672248.518
AT ITER 1050 NEW BEST:: SOT 4443528 SOS 771514 HAS SOPS 771514 HAS SOUS 671473 HAS SOUPS 671473 WITH SCORE 672244.514
AT ITER 1062 NEW BEST:: SOT 4443329 SOS 770739 HAS SOPS 770739 HAS SOUS 670897 HAS SOUPS 670897 WITH SCORE 671667.739
AT ITER 1073 NEW BEST:: SOT 4443145 SOS 770371 HAS SOPS 770371 HAS SOUS 670529 HAS SOUPS 670529 WITH SCORE 671299.371
AT ITER 1083 NEW BEST:: SOT 4443145 SOS 770371 HAS SOPS 770371 HAS SOUS 670364 HAS SOUPS 670364 WITH SCORE 671134.371
AT ITER 1087 NEW BEST:: SOT 4443073 SOS 770227 HAS SOPS 770227 HAS SOUS 669934 HAS SOUPS 669934 WITH SCORE 670704.227
AT ITER 1090 NEW BEST:: SOT 4442737 SOS 769975 HAS SOPS 769975 HAS SOUS 669682 HAS SOUPS 669682 WITH SCORE 670451.975
AT ITER 1091 NEW BEST:: SOT 4442892 SOS 769811 HAS SOPS 769811 HAS SOUS 669679 HAS SOUPS 669679 WITH SCORE 670448.811
AT ITER 1127 NEW BEST:: SOT 4442892 SOS 769807 HAS SOPS 769807 HAS SOUS 669679 HAS SOUPS 669679 WITH SCORE 670448.807
AT ITER 1141 NEW BEST:: SOT 4442892 SOS 769772 HAS SOPS 769772 HAS SOUS 669679 HAS SOUPS 669679 WITH SCORE 670448.772
AT ITER 1185 NEW BEST:: SOT 4442803 SOS 769796 HAS SOPS 769796 HAS SOUS 669646 HAS SOUPS 669646 WITH SCORE 670415.796
AT ITER 1194 NEW BEST:: SOT 4442610 SOS 769410 HAS SOPS 769410 HAS SOUS 669127 HAS SOUPS 669127 WITH SCORE 669896.41
AT ITER 1225 NEW BEST:: SOT 4442226 SOS 769026 HAS SOPS 769026 HAS SOUS 668743 HAS SOUPS 668743 WITH SCORE 669512.026
AT ITER 1241 NEW BEST:: SOT 4442226 SOS 769026 HAS SOPS 769026 HAS SOUS 668573 HAS SOUPS 668573 WITH SCORE 669342.026
AT ITER 1269 NEW BEST:: SOT 4442108 SOS 768790 HAS SOPS 768790 HAS SOUS 668337 HAS SOUPS 668337 WITH SCORE 669105.79
AT ITER 1286 NEW BEST:: SOT 4442090 SOS 768754 HAS SOPS 768754 HAS SOUS 668319 HAS SOUPS 668319 WITH SCORE 669087.754
AT ITER 1333 NEW BEST:: SOT 4442059 SOS 768692 HAS SOPS 768692 HAS SOUS 668257 HAS SOUPS 668257 WITH SCORE 669025.692
AT ITER 1336 NEW BEST:: SOT 4441941 SOS 768244 HAS SOPS 768244 HAS SOUS 667946 HAS SOUPS 667946 WITH SCORE 668714.244
AT ITER 1348 NEW BEST:: SOT 4440464 SOS 767257 HAS SOPS 767257 HAS SOUS 666787 HAS SOUPS 666787 WITH SCORE 667554.257
AT ITER 1361 NEW BEST:: SOT 4440270 SOS 767063 HAS SOPS 767063 HAS SOUS 666593 HAS SOUPS 666593 WITH SCORE 667360.063
AT ITER 1372 NEW BEST:: SOT 4440251 SOS 767025 HAS SOPS 767025 HAS SOUS 666555 HAS SOUPS 666555 WITH SCORE 667322.025
AT ITER 1394 NEW BEST:: SOT 4440058 SOS 766639 HAS SOPS 766639 HAS SOUS 666254 HAS SOUPS 666254 WITH SCORE 667020.639
AT ITER 1405 NEW BEST:: SOT 4439939 SOS 766520 HAS SOPS 766520 HAS SOUS 666135 HAS SOUPS 666135 WITH SCORE 666901.52
AT ITER 1425 NEW BEST:: SOT 4439786 SOS 766214 HAS SOPS 766214 HAS SOUS 665981 HAS SOUPS 665981 WITH SCORE 666747.214
AT ITER 1445 NEW BEST:: SOT 4439525 SOS 765958 HAS SOPS 765958 HAS SOUS 665722 HAS SOUPS 665722 WITH SCORE 666487.958
AT ITER 1459 NEW BEST:: SOT 4439525 SOS 765958 HAS SOPS 765958 HAS SOUS 665428 HAS SOUPS 665428 WITH SCORE 666193.958
AT ITER 1483 NEW BEST:: SOT 4439407 SOS 765959 HAS SOPS 765959 HAS SOUS 665367 HAS SOUPS 665367 WITH SCORE 666132.959
AT ITER 1486 NEW BEST:: SOT 4439406 SOS 765921 HAS SOPS 765921 HAS SOUS 665365 HAS SOUPS 665365 WITH SCORE 666130.921
AT ITER 1499 NEW BEST:: SOT 4439406 SOS 765921 HAS SOPS 765921 HAS SOUS 665362 HAS SOUPS 665362 WITH SCORE 666127.921
AT ITER 1528 NEW BEST:: SOT 4439317 SOS 765855 HAS SOPS 765855 HAS SOUS 665273 HAS SOUPS 665273 WITH SCORE 666038.855
AT ITER 1563 NEW BEST:: SOT 4439242 SOS 766047 HAS SOPS 766047 HAS SOUS 665270 HAS SOUPS 665270 WITH SCORE 666036.047
AT ITER 1568 NEW BEST:: SOT 4439121 SOS 765926 HAS SOPS 765926 HAS SOUS 665148 HAS SOUPS 665148 WITH SCORE 665913.926
AT ITER 1586 NEW BEST:: SOT 4439121 SOS 765581 HAS SOPS 765581 HAS SOUS 665148 HAS SOUPS 665148 WITH SCORE 665913.581
AT ITER 1594 NEW BEST:: SOT 4438821 SOS 765131 HAS SOPS 765131 HAS SOUS 664848 HAS SOUPS 664848 WITH SCORE 665613.131
AT ITER 1598 NEW BEST:: SOT 4438700 SOS 765084 HAS SOPS 765084 HAS SOUS 664726 HAS SOUPS 664726 WITH SCORE 665491.084
AT ITER 1620 NEW BEST:: SOT 4438081 SOS 764224 HAS SOPS 764224 HAS SOUS 664152 HAS SOUPS 664152 WITH SCORE 664916.224
AT ITER 1634 NEW BEST:: SOT 4437833 SOS 763976 HAS SOPS 763976 HAS SOUS 663904 HAS SOUPS 663904 WITH SCORE 664667.976
AT ITER 1657 NEW BEST:: SOT 4437721 SOS 763864 HAS SOPS 763864 HAS SOUS 663792 HAS SOUPS 663792 WITH SCORE 664555.864
AT ITER 1695 NEW BEST:: SOT 4437677 SOS 763820 HAS SOPS 763820 HAS SOUS 663748 HAS SOUPS 663748 WITH SCORE 664511.82
AT ITER 1703 NEW BEST:: SOT 4437677 SOS 763741 HAS SOPS 763741 HAS SOUS 663669 HAS SOUPS 663669 WITH SCORE 664432.741
AT ITER 1708 NEW BEST:: SOT 4437580 SOS 763547 HAS SOPS 763547 HAS SOUS 663149 HAS SOUPS 663149 WITH SCORE 663912.547
AT ITER 1715 NEW BEST:: SOT 4437487 SOS 763454 HAS SOPS 763454 HAS SOUS 663056 HAS SOUPS 663056 WITH SCORE 663819.454
AT ITER 1722 NEW BEST:: SOT 4437486 SOS 763452 HAS SOPS 763452 HAS SOUS 663054 HAS SOUPS 663054 WITH SCORE 663817.452
AT ITER 1742 NEW BEST:: SOT 4437552 SOS 762585 HAS SOPS 762585 HAS SOUS 662660 HAS SOUPS 662660 WITH SCORE 663422.585
AT ITER 1755 NEW BEST:: SOT 4437256 SOS 761993 HAS SOPS 761993 HAS SOUS 662068 HAS SOUPS 662068 WITH SCORE 662829.993
AT ITER 1779 NEW BEST:: SOT 4437256 SOS 761758 HAS SOPS 761758 HAS SOUS 661833 HAS SOUPS 661833 WITH SCORE 662594.758
AT ITER 1814 NEW BEST:: SOT 4437172 SOS 761690 HAS SOPS 761690 HAS SOUS 661765 HAS SOUPS 661765 WITH SCORE 662526.69
AT ITER 1851 NEW BEST:: SOT 4436903 SOS 761152 HAS SOPS 761152 HAS SOUS 661496 HAS SOUPS 661496 WITH SCORE 662257.152
AT ITER 1856 NEW BEST:: SOT 4436751 SOS 760848 HAS SOPS 760848 HAS SOUS 661192 HAS SOUPS 661192 WITH SCORE 661952.848
AT ITER 1858 NEW BEST:: SOT 4436258 SOS 761416 HAS SOPS 761416 HAS SOUS 661060 HAS SOUPS 661060 WITH SCORE 661821.416
AT ITER 1864 NEW BEST:: SOT 4436148 SOS 761196 HAS SOPS 761196 HAS SOUS 660840 HAS SOUPS 660840 WITH SCORE 661601.196
AT ITER 1865 NEW BEST:: SOT 4435934 SOS 761150 HAS SOPS 761150 HAS SOUS 660681 HAS SOUPS 660681 WITH SCORE 661442.15
AT ITER 1870 NEW BEST:: SOT 4435918 SOS 760788 HAS SOPS 760788 HAS SOUS 660354 HAS SOUPS 660354 WITH SCORE 661114.788
AT ITER 1903 NEW BEST:: SOT 4435778 SOS 760759 HAS SOPS 760759 HAS SOUS 660325 HAS SOUPS 660325 WITH SCORE 661085.759
AT ITER 1912 NEW BEST:: SOT 4435630 SOS 760609 HAS SOPS 760609 HAS SOUS 660118 HAS SOUPS 660118 WITH SCORE 660878.609
AT ITER 1933 NEW BEST:: SOT 4435266 SOS 760154 HAS SOPS 760154 HAS SOUS 659663 HAS SOUPS 659663 WITH SCORE 660423.154
AT ITER 1960 NEW BEST:: SOT 4435266 SOS 759756 HAS SOPS 759756 HAS SOUS 659663 HAS SOUPS 659663 WITH SCORE 660422.756
AT ITER 1964 NEW BEST:: SOT 4434674 SOS 760147 HAS SOPS 760147 HAS SOUS 659238 HAS SOUPS 659238 WITH SCORE 659998.147
AT ITER 1965 NEW BEST:: SOT 4434674 SOS 760147 HAS SOPS 760147 HAS SOUS 659237 HAS SOUPS 659237 WITH SCORE 659997.147
AT ITER 1982 NEW BEST:: SOT 4434440 SOS 760053 HAS SOPS 760053 HAS SOUS 659076 HAS SOUPS 659076 WITH SCORE 659836.053
AT ITER 2013 NEW BEST:: SOT 4434321 SOS 759815 HAS SOPS 759815 HAS SOUS 658838 HAS SOUPS 658838 WITH SCORE 659597.815
AT ITER 2102 NEW BEST:: SOT 4434222 SOS 759617 HAS SOPS 759617 HAS SOUS 658640 HAS SOUPS 658640 WITH SCORE 659399.617
AT ITER 2142 NEW BEST:: SOT 4434183 SOS 759475 HAS SOPS 759475 HAS SOUS 658537 HAS SOUPS 658537 WITH SCORE 659296.475
AT ITER 2147 NEW BEST:: SOT 4433714 SOS 758814 HAS SOPS 758814 HAS SOUS 657853 HAS SOUPS 657853 WITH SCORE 658611.814
AT ITER 2169 NEW BEST:: SOT 4433714 SOS 758814 HAS SOPS 758814 HAS SOUS 657841 HAS SOUPS 657841 WITH SCORE 658599.814
AT ITER 2181 NEW BEST:: SOT 4433580 SOS 758680 HAS SOPS 758680 HAS SOUS 657828 HAS SOUPS 657828 WITH SCORE 658586.68
AT ITER 2185 NEW BEST:: SOT 4433419 SOS 758680 HAS SOPS 758680 HAS SOUS 657506 HAS SOUPS 657506 WITH SCORE 658264.68
AT ITER 2193 NEW BEST:: SOT 4433240 SOS 758322 HAS SOPS 758322 HAS SOUS 657148 HAS SOUPS 657148 WITH SCORE 657906.322
AT ITER 2215 NEW BEST:: SOT 4433240 SOS 757970 HAS SOPS 757970 HAS SOUS 656796 HAS SOUPS 656796 WITH SCORE 657553.97
AT ITER 2231 NEW BEST:: SOT 4433240 SOS 757694 HAS SOPS 757694 HAS SOUS 656658 HAS SOUPS 656658 WITH SCORE 657415.694
AT ITER 2253 NEW BEST:: SOT 4433222 SOS 757658 HAS SOPS 757658 HAS SOUS 656622 HAS SOUPS 656622 WITH SCORE 657379.658
AT ITER 2264 NEW BEST:: SOT 4433119 SOS 757452 HAS SOPS 757452 HAS SOUS 656416 HAS SOUPS 656416 WITH SCORE 657173.452
AT ITER 2276 NEW BEST:: SOT 4433119 SOS 757102 HAS SOPS 757102 HAS SOUS 656189 HAS SOUPS 656189 WITH SCORE 656946.102
AT ITER 2287 NEW BEST:: SOT 4433008 SOS 756880 HAS SOPS 756880 HAS SOUS 655967 HAS SOUPS 655967 WITH SCORE 656723.88
AT ITER 2338 NEW BEST:: SOT 4432881 SOS 756626 HAS SOPS 756626 HAS SOUS 655840 HAS SOUPS 655840 WITH SCORE 656596.626
AT ITER 2350 NEW BEST:: SOT 4432879 SOS 756622 HAS SOPS 756622 HAS SOUS 655839 HAS SOUPS 655839 WITH SCORE 656595.622
AT ITER 2361 NEW BEST:: SOT 4432542 SOS 755758 HAS SOPS 755758 HAS SOUS 655284 HAS SOUPS 655284 WITH SCORE 656039.758
AT ITER 2409 NEW BEST:: SOT 4432328 SOS 755330 HAS SOPS 755330 HAS SOUS 654856 HAS SOUPS 654856 WITH SCORE 655611.33
AT ITER 2412 NEW BEST:: SOT 4432328 SOS 755040 HAS SOPS 755040 HAS SOUS 654586 HAS SOUPS 654586 WITH SCORE 655341.04
AT ITER 2452 NEW BEST:: SOT 4432485 SOS 755012 HAS SOPS 755012 HAS SOUS 654480 HAS SOUPS 654480 WITH SCORE 655235.012
AT ITER 2468 NEW BEST:: SOT 4432464 SOS 754970 HAS SOPS 754970 HAS SOUS 654438 HAS SOUPS 654438 WITH SCORE 655192.97
AT ITER 2478 NEW BEST:: SOT 4432198 SOS 754438 HAS SOPS 754438 HAS SOUS 653906 HAS SOUPS 653906 WITH SCORE 654660.438
AT ITER 2515 NEW BEST:: SOT 4432119 SOS 754280 HAS SOPS 754280 HAS SOUS 653826 HAS SOUPS 653826 WITH SCORE 654580.28
AT ITER 2521 NEW BEST:: SOT 4432125 SOS 754292 HAS SOPS 754292 HAS SOUS 653775 HAS SOUPS 653775 WITH SCORE 654529.292
AT ITER 2541 NEW BEST:: SOT 4432124 SOS 754290 HAS SOPS 754290 HAS SOUS 653773 HAS SOUPS 653773 WITH SCORE 654527.29
AT ITER 2592 NEW BEST:: SOT 4431360 SOS 754959 HAS SOPS 754959 HAS SOUS 653711 HAS SOUPS 653711 WITH SCORE 654465.959
AT ITER 2602 NEW BEST:: SOT 4431060 SOS 754867 HAS SOPS 754867 HAS SOUS 653500 HAS SOUPS 653500 WITH SCORE 654254.867
AT ITER 2612 NEW BEST:: SOT 4431059 SOS 754820 HAS SOPS 754820 HAS SOUS 653452 HAS SOUPS 653452 WITH SCORE 654206.82
AT ITER 2653 NEW BEST:: SOT 4430970 SOS 754642 HAS SOPS 754642 HAS SOUS 653274 HAS SOUPS 653274 WITH SCORE 654028.642
AT ITER 2666 NEW BEST:: SOT 4430914 SOS 754530 HAS SOPS 754530 HAS SOUS 653162 HAS SOUPS 653162 WITH SCORE 653916.53
AT ITER 2678 NEW BEST:: SOT 4430913 SOS 754528 HAS SOPS 754528 HAS SOUS 653160 HAS SOUPS 653160 WITH SCORE 653914.528
AT ITER 2731 NEW BEST:: SOT 4430913 SOS 754236 HAS SOPS 754236 HAS SOUS 652956 HAS SOUPS 652956 WITH SCORE 653710.236
AT ITER 2739 NEW BEST:: SOT 4430944 SOS 754161 HAS SOPS 754161 HAS SOUS 652886 HAS SOUPS 652886 WITH SCORE 653640.161
AT ITER 2751 NEW BEST:: SOT 4430944 SOS 754103 HAS SOPS 754103 HAS SOUS 652828 HAS SOUPS 652828 WITH SCORE 653582.103
AT ITER 2765 NEW BEST:: SOT 4430907 SOS 753959 HAS SOPS 753959 HAS SOUS 652754 HAS SOUPS 652754 WITH SCORE 653507.959
AT ITER 2784 NEW BEST:: SOT 4430906 SOS 754039 HAS SOPS 754039 HAS SOUS 652753 HAS SOUPS 652753 WITH SCORE 653507.039
AT ITER 2790 NEW BEST:: SOT 4430746 SOS 753719 HAS SOPS 753719 HAS SOUS 652706 HAS SOUPS 652706 WITH SCORE 653459.719
AT ITER 2802 NEW BEST:: SOT 4430746 SOS 753408 HAS SOPS 753408 HAS SOUS 652706 HAS SOUPS 652706 WITH SCORE 653459.408
AT ITER 2814 NEW BEST:: SOT 4430756 SOS 753344 HAS SOPS 753344 HAS SOUS 652642 HAS SOUPS 652642 WITH SCORE 653395.344
AT ITER 2820 NEW BEST:: SOT 4430755 SOS 753037 HAS SOPS 753037 HAS SOUS 652640 HAS SOUPS 652640 WITH SCORE 653393.037
AT ITER 2822 NEW BEST:: SOT 4430731 SOS 752989 HAS SOPS 752989 HAS SOUS 652592 HAS SOUPS 652592 WITH SCORE 653344.989
AT ITER 2827 NEW BEST:: SOT 4430644 SOS 752902 HAS SOPS 752902 HAS SOUS 652505 HAS SOUPS 652505 WITH SCORE 653257.902
AT ITER 2843 NEW BEST:: SOT 4430388 SOS 752642 HAS SOPS 752642 HAS SOUS 652249 HAS SOUPS 652249 WITH SCORE 653001.642
AT ITER 2847 NEW BEST:: SOT 4429858 SOS 752112 HAS SOPS 752112 HAS SOUS 651719 HAS SOUPS 651719 WITH SCORE 652471.112
AT ITER 2861 NEW BEST:: SOT 4429635 SOS 752112 HAS SOPS 752112 HAS SOUS 651496 HAS SOUPS 651496 WITH SCORE 652248.112
AT ITER 2865 NEW BEST:: SOT 4429549 SOS 751940 HAS SOPS 751940 HAS SOUS 651043 HAS SOUPS 651043 WITH SCORE 651794.94
AT ITER 2870 NEW BEST:: SOT 4429524 SOS 751865 HAS SOPS 751865 HAS SOUS 650993 HAS SOUPS 650993 WITH SCORE 651744.865
AT ITER 2882 NEW BEST:: SOT 4429434 SOS 751730 HAS SOPS 751730 HAS SOUS 650858 HAS SOUPS 650858 WITH SCORE 651609.73
AT ITER 2887 NEW BEST:: SOT 4429578 SOS 751506 HAS SOPS 751506 HAS SOUS 650770 HAS SOUPS 650770 WITH SCORE 651521.506
AT ITER 2898 NEW BEST:: SOT 4429589 SOS 751486 HAS SOPS 751486 HAS SOUS 650751 HAS SOUPS 650751 WITH SCORE 651502.486
AT ITER 2916 NEW BEST:: SOT 4429587 SOS 751482 HAS SOPS 751482 HAS SOUS 650748 HAS SOUPS 650748 WITH SCORE 651499.482
AT ITER 2932 NEW BEST:: SOT 4429571 SOS 751466 HAS SOPS 751466 HAS SOUS 650716 HAS SOUPS 650716 WITH SCORE 651467.466
AT ITER 2960 NEW BEST:: SOT 4429571 SOS 751314 HAS SOPS 751314 HAS SOUS 650716 HAS SOUPS 650716 WITH SCORE 651467.314
AT ITER 2967 NEW BEST:: SOT 4429456 SOS 751084 HAS SOPS 751084 HAS SOUS 650486 HAS SOUPS 650486 WITH SCORE 651237.084
AT ITER 2969 NEW BEST:: SOT 4429280 SOS 750996 HAS SOPS 750996 HAS SOUS 650398 HAS SOUPS 650398 WITH SCORE 651148.996
AT ITER 2971 NEW BEST:: SOT 4429205 SOS 750846 HAS SOPS 750846 HAS SOUS 650248 HAS SOUPS 650248 WITH SCORE 650998.846
AT ITER 2989 NEW BEST:: SOT 4429195 SOS 750826 HAS SOPS 750826 HAS SOUS 650228 HAS SOUPS 650228 WITH SCORE 650978.826
AT ITER 3006 NEW BEST:: SOT 4428882 SOS 750962 HAS SOPS 750962 HAS SOUS 650091 HAS SOUPS 650091 WITH SCORE 650841.962
AT ITER 3039 NEW BEST:: SOT 4428390 SOS 750634 HAS SOPS 750634 HAS SOUS 649599 HAS SOUPS 649599 WITH SCORE 650349.634
AT ITER 3047 NEW BEST:: SOT 4428056 SOS 749966 HAS SOPS 749966 HAS SOUS 648931 HAS SOUPS 648931 WITH SCORE 649680.966
AT ITER 3052 NEW BEST:: SOT 4427892 SOS 749638 HAS SOPS 749638 HAS SOUS 648603 HAS SOUPS 648603 WITH SCORE 649352.638
AT ITER 3055 NEW BEST:: SOT 4427886 SOS 749626 HAS SOPS 749626 HAS SOUS 648590 HAS SOUPS 648590 WITH SCORE 649339.626
AT ITER 3073 NEW BEST:: SOT 4426628 SOS 749916 HAS SOPS 749916 HAS SOUS 647761 HAS SOUPS 647761 WITH SCORE 648510.916
AT ITER 3103 NEW BEST:: SOT 4426362 SOS 749916 HAS SOPS 749916 HAS SOUS 647495 HAS SOUPS 647495 WITH SCORE 648244.916
AT ITER 3126 NEW BEST:: SOT 4426361 SOS 749915 HAS SOPS 749915 HAS SOUS 647494 HAS SOUPS 647494 WITH SCORE 648243.915
AT ITER 3130 NEW BEST:: SOT 4426429 SOS 749879 HAS SOPS 749879 HAS SOUS 647458 HAS SOUPS 647458 WITH SCORE 648207.879
AT ITER 3135 NEW BEST:: SOT 4426413 SOS 749863 HAS SOPS 749863 HAS SOUS 647442 HAS SOUPS 647442 WITH SCORE 648191.863
AT ITER 3142 NEW BEST:: SOT 4426042 SOS 749121 HAS SOPS 749121 HAS SOUS 646700 HAS SOUPS 646700 WITH SCORE 647449.121
AT ITER 3218 NEW BEST:: SOT 4426073 SOS 749060 HAS SOPS 749060 HAS SOUS 646639 HAS SOUPS 646639 WITH SCORE 647388.06
AT ITER 3219 NEW BEST:: SOT 4425968 SOS 748973 HAS SOPS 748973 HAS SOUS 646543 HAS SOUPS 646543 WITH SCORE 647291.973
AT ITER 3286 NEW BEST:: SOT 4425868 SOS 748877 HAS SOPS 748877 HAS SOUS 646447 HAS SOUPS 646447 WITH SCORE 647195.877
AT ITER 3299 NEW BEST:: SOT 4425868 SOS 748854 HAS SOPS 748854 HAS SOUS 646447 HAS SOUPS 646447 WITH SCORE 647195.854
AT ITER 3303 NEW BEST:: SOT 4425774 SOS 749010 HAS SOPS 749010 HAS SOUS 646364 HAS SOUPS 646364 WITH SCORE 647113.01
AT ITER 3313 NEW BEST:: SOT 4425774 SOS 748904 HAS SOPS 748904 HAS SOUS 646364 HAS SOUPS 646364 WITH SCORE 647112.904
AT ITER 3326 NEW BEST:: SOT 4425774 SOS 748904 HAS SOPS 748904 HAS SOUS 646342 HAS SOUPS 646342 WITH SCORE 647090.904
AT ITER 3354 NEW BEST:: SOT 4425738 SOS 748873 HAS SOPS 748873 HAS SOUS 646306 HAS SOUPS 646306 WITH SCORE 647054.873
AT ITER 3361 NEW BEST:: SOT 4425725 SOS 748834 HAS SOPS 748834 HAS SOUS 646280 HAS SOUPS 646280 WITH SCORE 647028.834
AT ITER 3387 NEW BEST:: SOT 4425717 SOS 748818 HAS SOPS 748818 HAS SOUS 646264 HAS SOUPS 646264 WITH SCORE 647012.818
AT ITER 3406 NEW BEST:: SOT 4425711 SOS 748806 HAS SOPS 748806 HAS SOUS 646252 HAS SOUPS 646252 WITH SCORE 647000.806
AT ITER 3409 NEW BEST:: SOT 4425492 SOS 748660 HAS SOPS 748660 HAS SOUS 646033 HAS SOUPS 646033 WITH SCORE 646781.66
AT ITER 3410 NEW BEST:: SOT 4425296 SOS 748472 HAS SOPS 748472 HAS SOUS 645837 HAS SOUPS 645837 WITH SCORE 646585.472
AT ITER 3442 NEW BEST:: SOT 4425296 SOS 748214 HAS SOPS 748214 HAS SOUS 645708 HAS SOUPS 645708 WITH SCORE 646456.214
AT ITER 3557 NEW BEST:: SOT 4425053 SOS 747728 HAS SOPS 747728 HAS SOUS 645544 HAS SOUPS 645544 WITH SCORE 646291.728
AT ITER 3614 NEW BEST:: SOT 4425026 SOS 747674 HAS SOPS 747674 HAS SOUS 645490 HAS SOUPS 645490 WITH SCORE 646237.674
AT ITER 3625 NEW BEST:: SOT 4425146 SOS 747610 HAS SOPS 747610 HAS SOUS 645426 HAS SOUPS 645426 WITH SCORE 646173.61
AT ITER 3629 NEW BEST:: SOT 4425030 SOS 746936 HAS SOPS 746936 HAS SOUS 645188 HAS SOUPS 645188 WITH SCORE 645934.936
AT ITER 3652 NEW BEST:: SOT 4424890 SOS 746796 HAS SOPS 746796 HAS SOUS 645048 HAS SOUPS 645048 WITH SCORE 645794.796
AT ITER 3653 NEW BEST:: SOT 4424878 SOS 746772 HAS SOPS 746772 HAS SOUS 645024 HAS SOUPS 645024 WITH SCORE 645770.772
AT ITER 3662 NEW BEST:: SOT 4424935 SOS 746484 HAS SOPS 746484 HAS SOUS 644794 HAS SOUPS 644794 WITH SCORE 645540.484
AT ITER 3705 NEW BEST:: SOT 4424917 SOS 746466 HAS SOPS 746466 HAS SOUS 644758 HAS SOUPS 644758 WITH SCORE 645504.466
AT ITER 3714 NEW BEST:: SOT 4424720 SOS 746072 HAS SOPS 746072 HAS SOUS 644364 HAS SOUPS 644364 WITH SCORE 645110.072
AT ITER 3721 NEW BEST:: SOT 4424487 SOS 745955 HAS SOPS 745955 HAS SOUS 644144 HAS SOUPS 644144 WITH SCORE 644889.955
AT ITER 3724 NEW BEST:: SOT 4424411 SOS 745803 HAS SOPS 745803 HAS SOUS 643920 HAS SOUPS 643920 WITH SCORE 644665.803
AT ITER 3729 NEW BEST:: SOT 4424359 SOS 745699 HAS SOPS 745699 HAS SOUS 643816 HAS SOUPS 643816 WITH SCORE 644561.699
AT ITER 3749 NEW BEST:: SOT 4424358 SOS 745697 HAS SOPS 745697 HAS SOUS 643814 HAS SOUPS 643814 WITH SCORE 644559.697
AT ITER 3798 NEW BEST:: SOT 4424304 SOS 745589 HAS SOPS 745589 HAS SOUS 643760 HAS SOUPS 643760 WITH SCORE 644505.589
AT ITER 3802 NEW BEST:: SOT 4424304 SOS 745041 HAS SOPS 745041 HAS SOUS 643486 HAS SOUPS 643486 WITH SCORE 644231.041
AT ITER 3817 NEW BEST:: SOT 4424304 SOS 745041 HAS SOPS 745041 HAS SOUS 643439 HAS SOUPS 643439 WITH SCORE 644184.041
AT ITER 3840 NEW BEST:: SOT 4424165 SOS 744763 HAS SOPS 744763 HAS SOUS 643300 HAS SOUPS 643300 WITH SCORE 644044.763
AT ITER 3865 NEW BEST:: SOT 4424165 SOS 744418 HAS SOPS 744418 HAS SOUS 643300 HAS SOUPS 643300 WITH SCORE 644044.418
AT ITER 3876 NEW BEST:: SOT 4423982 SOS 744052 HAS SOPS 744052 HAS SOUS 642876 HAS SOUPS 642876 WITH SCORE 643620.052
AT ITER 3887 NEW BEST:: SOT 4424039 SOS 743674 HAS SOPS 743674 HAS SOUS 642687 HAS SOUPS 642687 WITH SCORE 643430.674
AT ITER 3891 NEW BEST:: SOT 4424039 SOS 743582 HAS SOPS 743582 HAS SOUS 642687 HAS SOUPS 642687 WITH SCORE 643430.582
AT ITER 3909 NEW BEST:: SOT 4423963 SOS 743506 HAS SOPS 743506 HAS SOUS 642573 HAS SOUPS 642573 WITH SCORE 643316.506
AT ITER 3954 NEW BEST:: SOT 4423963 SOS 743506 HAS SOPS 743506 HAS SOUS 642537 HAS SOUPS 642537 WITH SCORE 643280.506
AT ITER 4061 NEW BEST:: SOT 4423641 SOS 743093 HAS SOPS 743093 HAS SOUS 641984 HAS SOUPS 641984 WITH SCORE 642727.093
AT ITER 4065 NEW BEST:: SOT 4423680 SOS 742637 HAS SOPS 742637 HAS SOUS 641528 HAS SOUPS 641528 WITH SCORE 642270.637
AT ITER 4077 NEW BEST:: SOT 4423680 SOS 742608 HAS SOPS 742608 HAS SOUS 641528 HAS SOUPS 641528 WITH SCORE 642270.608
AT ITER 4081 NEW BEST:: SOT 4423535 SOS 742463 HAS SOPS 742463 HAS SOUS 641383 HAS SOUPS 641383 WITH SCORE 642125.463
AT ITER 4096 NEW BEST:: SOT 4423440 SOS 742273 HAS SOPS 742273 HAS SOUS 641193 HAS SOUPS 641193 WITH SCORE 641935.273
AT ITER 4104 NEW BEST:: SOT 4423304 SOS 742001 HAS SOPS 742001 HAS SOUS 641057 HAS SOUPS 641057 WITH SCORE 641799.001
AT ITER 4154 NEW BEST:: SOT 4423216 SOS 741913 HAS SOPS 741913 HAS SOUS 640969 HAS SOUPS 640969 WITH SCORE 641710.913
AT ITER 4166 NEW BEST:: SOT 4423074 SOS 741771 HAS SOPS 741771 HAS SOUS 640722 HAS SOUPS 640722 WITH SCORE 641463.771
AT ITER 4195 NEW BEST:: SOT 4422985 SOS 741721 HAS SOPS 741721 HAS SOUS 640608 HAS SOUPS 640608 WITH SCORE 641349.721
AT ITER 4196 NEW BEST:: SOT 4422985 SOS 741337 HAS SOPS 741337 HAS SOUS 640608 HAS SOUPS 640608 WITH SCORE 641349.337
AT ITER 4206 NEW BEST:: SOT 4422837 SOS 741189 HAS SOPS 741189 HAS SOUS 640460 HAS SOUPS 640460 WITH SCORE 641201.189
AT ITER 4212 NEW BEST:: SOT 4422754 SOS 741023 HAS SOPS 741023 HAS SOUS 640294 HAS SOUPS 640294 WITH SCORE 641035.023
AT ITER 4213 NEW BEST:: SOT 4422474 SOS 740724 HAS SOPS 740724 HAS SOUS 639995 HAS SOUPS 639995 WITH SCORE 640735.724
AT ITER 4239 NEW BEST:: SOT 4422473 SOS 740705 HAS SOPS 740705 HAS SOUS 639993 HAS SOUPS 639993 WITH SCORE 640733.705
AT ITER 4255 NEW BEST:: SOT 4422571 SOS 740287 HAS SOPS 740287 HAS SOUS 639843 HAS SOUPS 639843 WITH SCORE 640583.287
AT ITER 4263 NEW BEST:: SOT 4422456 SOS 740180 HAS SOPS 740180 HAS SOUS 639736 HAS SOUPS 639736 WITH SCORE 640476.18
AT ITER 4269 NEW BEST:: SOT 4422256 SOS 739780 HAS SOPS 739780 HAS SOUS 639436 HAS SOUPS 639436 WITH SCORE 640175.78
AT ITER 4314 NEW BEST:: SOT 4422257 SOS 739778 HAS SOPS 739778 HAS SOUS 639436 HAS SOUPS 639436 WITH SCORE 640175.778
AT ITER 4323 NEW BEST:: SOT 4422211 SOS 739686 HAS SOPS 739686 HAS SOUS 639344 HAS SOUPS 639344 WITH SCORE 640083.686
AT ITER 4329 NEW BEST:: SOT 4422208 SOS 739465 HAS SOPS 739465 HAS SOUS 639253 HAS SOUPS 639253 WITH SCORE 639992.465
AT ITER 4347 NEW BEST:: SOT 4422166 SOS 739381 HAS SOPS 739381 HAS SOUS 639169 HAS SOUPS 639169 WITH SCORE 639908.381
AT ITER 4352 NEW BEST:: SOT 4421991 SOS 739031 HAS SOPS 739031 HAS SOUS 638819 HAS SOUPS 638819 WITH SCORE 639558.031
AT ITER 4359 NEW BEST:: SOT 4421991 SOS 738570 HAS SOPS 738570 HAS SOUS 638819 HAS SOUPS 638819 WITH SCORE 639557.57
AT ITER 4362 NEW BEST:: SOT 4421981 SOS 738550 HAS SOPS 738550 HAS SOUS 638809 HAS SOUPS 638809 WITH SCORE 639547.55
AT ITER 4370 NEW BEST:: SOT 4421985 SOS 738460 HAS SOPS 738460 HAS SOUS 638719 HAS SOUPS 638719 WITH SCORE 639457.46
AT ITER 4411 NEW BEST:: SOT 4421958 SOS 738406 HAS SOPS 738406 HAS SOUS 638665 HAS SOUPS 638665 WITH SCORE 639403.406
AT ITER 4425 NEW BEST:: SOT 4422044 SOS 738364 HAS SOPS 738364 HAS SOUS 638408 HAS SOUPS 638408 WITH SCORE 639146.364
AT ITER 4428 NEW BEST:: SOT 4421899 SOS 738074 HAS SOPS 738074 HAS SOUS 638177 HAS SOUPS 638177 WITH SCORE 638915.074
AT ITER 4429 NEW BEST:: SOT 4421899 SOS 738074 HAS SOPS 738074 HAS SOUS 638176 HAS SOUPS 638176 WITH SCORE 638914.074
AT ITER 4489 NEW BEST:: SOT 4421886 SOS 738048 HAS SOPS 738048 HAS SOUS 638150 HAS SOUPS 638150 WITH SCORE 638888.048
AT ITER 4508 NEW BEST:: SOT 4421716 SOS 737708 HAS SOPS 737708 HAS SOUS 637810 HAS SOUPS 637810 WITH SCORE 638547.708
AT ITER 4518 NEW BEST:: SOT 4421539 SOS 737544 HAS SOPS 737544 HAS SOUS 637605 HAS SOUPS 637605 WITH SCORE 638342.544
AT ITER 4523 NEW BEST:: SOT 4421370 SOS 737206 HAS SOPS 737206 HAS SOUS 637267 HAS SOUPS 637267 WITH SCORE 638004.206
AT ITER 4555 NEW BEST:: SOT 4421282 SOS 737330 HAS SOPS 737330 HAS SOUS 637179 HAS SOUPS 637179 WITH SCORE 637916.33
AT ITER 4625 NEW BEST:: SOT 4421078 SOS 737330 HAS SOPS 737330 HAS SOUS 636975 HAS SOUPS 636975 WITH SCORE 637712.33
AT ITER 4664 NEW BEST:: SOT 4421078 SOS 737299 HAS SOPS 737299 HAS SOUS 636975 HAS SOUPS 636975 WITH SCORE 637712.299
AT ITER 4733 NEW BEST:: SOT 4421080 SOS 737169 HAS SOPS 737169 HAS SOUS 636845 HAS SOUPS 636845 WITH SCORE 637582.169
AT ITER 4773 NEW BEST:: SOT 4421095 SOS 737137 HAS SOPS 737137 HAS SOUS 636813 HAS SOUPS 636813 WITH SCORE 637550.137
AT ITER 4800 NEW BEST:: SOT 4421094 SOS 736988 HAS SOPS 736988 HAS SOUS 636811 HAS SOUPS 636811 WITH SCORE 637547.988
AT ITER 4847 NEW BEST:: SOT 4421094 SOS 736949 HAS SOPS 736949 HAS SOUS 636772 HAS SOUPS 636772 WITH SCORE 637508.949
AT ITER 4854 NEW BEST:: SOT 4420794 SOS 736649 HAS SOPS 736649 HAS SOUS 636322 HAS SOUPS 636322 WITH SCORE 637058.649
AT ITER 4856 NEW BEST:: SOT 4420793 SOS 736647 HAS SOPS 736647 HAS SOUS 636320 HAS SOUPS 636320 WITH SCORE 637056.647
AT ITER 4882 NEW BEST:: SOT 4420458 SOS 736465 HAS SOPS 736465 HAS SOUS 636037 HAS SOUPS 636037 WITH SCORE 636773.465
AT ITER 4903 NEW BEST:: SOT 4417621 SOS 752800 HAS SOPS 752800 HAS SOUS 634247 HAS SOUPS 634247 WITH SCORE 634999.8
AT ITER 4975 NEW BEST:: SOT 4417484 SOS 752526 HAS SOPS 752526 HAS SOUS 634110 HAS SOUPS 634110 WITH SCORE 634862.526
AT ITER 5026 NEW BEST:: SOT 4417451 SOS 752460 HAS SOPS 752460 HAS SOUS 634044 HAS SOUPS 634044 WITH SCORE 634796.46
AT ITER 5047 NEW BEST:: SOT 4417592 SOS 752742 HAS SOPS 752742 HAS SOUS 633869 HAS SOUPS 633869 WITH SCORE 634621.742
AT ITER 5067 NEW BEST:: SOT 4417509 SOS 752822 HAS SOPS 752822 HAS SOUS 633719 HAS SOUPS 633719 WITH SCORE 634471.822
AT ITER 5084 NEW BEST:: SOT 4417450 SOS 752645 HAS SOPS 752645 HAS SOUS 633601 HAS SOUPS 633601 WITH SCORE 634353.645
AT ITER 5114 NEW BEST:: SOT 4417472 SOS 752585 HAS SOPS 752585 HAS SOUS 633541 HAS SOUPS 633541 WITH SCORE 634293.585
AT ITER 5118 NEW BEST:: SOT 4417415 SOS 752331 HAS SOPS 752331 HAS SOUS 633484 HAS SOUPS 633484 WITH SCORE 634236.331
AT ITER 5123 NEW BEST:: SOT 4417514 SOS 752307 HAS SOPS 752307 HAS SOUS 633483 HAS SOUPS 633483 WITH SCORE 634235.307
AT ITER 5126 NEW BEST:: SOT 4417414 SOS 752107 HAS SOPS 752107 HAS SOUS 633283 HAS SOUPS 633283 WITH SCORE 634035.107
AT ITER 5128 NEW BEST:: SOT 4417414 SOS 752032 HAS SOPS 752032 HAS SOUS 633208 HAS SOUPS 633208 WITH SCORE 633960.032
AT ITER 5139 NEW BEST:: SOT 4417203 SOS 751821 HAS SOPS 751821 HAS SOUS 632997 HAS SOUPS 632997 WITH SCORE 633748.821
AT ITER 5145 NEW BEST:: SOT 4417201 SOS 751817 HAS SOPS 751817 HAS SOUS 632995 HAS SOUPS 632995 WITH SCORE 633746.817
AT ITER 5164 NEW BEST:: SOT 4417286 SOS 751987 HAS SOPS 751987 HAS SOUS 632939 HAS SOUPS 632939 WITH SCORE 633690.987
AT ITER 5216 NEW BEST:: SOT 4417124 SOS 751663 HAS SOPS 751663 HAS SOUS 632777 HAS SOUPS 632777 WITH SCORE 633528.663
AT ITER 5227 NEW BEST:: SOT 4417123 SOS 751699 HAS SOPS 751699 HAS SOUS 632775 HAS SOUPS 632775 WITH SCORE 633526.699
AT ITER 5254 NEW BEST:: SOT 4417122 SOS 751358 HAS SOPS 751358 HAS SOUS 632773 HAS SOUPS 632773 WITH SCORE 633524.358
AT ITER 5329 NEW BEST:: SOT 4417414 SOS 750907 HAS SOPS 750907 HAS SOUS 632720 HAS SOUPS 632720 WITH SCORE 633470.907
AT ITER 5331 NEW BEST:: SOT 4417091 SOS 749847 HAS SOPS 749847 HAS SOUS 632098 HAS SOUPS 632098 WITH SCORE 632847.847
AT ITER 5391 NEW BEST:: SOT 4417073 SOS 749829 HAS SOPS 749829 HAS SOUS 632097 HAS SOUPS 632097 WITH SCORE 632846.829
AT ITER 5422 NEW BEST:: SOT 4417073 SOS 749829 HAS SOPS 749829 HAS SOUS 632038 HAS SOUPS 632038 WITH SCORE 632787.829
AT ITER 5435 NEW BEST:: SOT 4417006 SOS 749695 HAS SOPS 749695 HAS SOUS 631904 HAS SOUPS 631904 WITH SCORE 632653.695
AT ITER 5461 NEW BEST:: SOT 4417006 SOS 749654 HAS SOPS 749654 HAS SOUS 631904 HAS SOUPS 631904 WITH SCORE 632653.654
AT ITER 5464 NEW BEST:: SOT 4417065 SOS 749583 HAS SOPS 749583 HAS SOUS 631833 HAS SOUPS 631833 WITH SCORE 632582.583
AT ITER 5468 NEW BEST:: SOT 4417057 SOS 749567 HAS SOPS 749567 HAS SOUS 631817 HAS SOUPS 631817 WITH SCORE 632566.567
AT ITER 5482 NEW BEST:: SOT 4417057 SOS 749477 HAS SOPS 749477 HAS SOUS 631817 HAS SOUPS 631817 WITH SCORE 632566.477
AT ITER 5523 NEW BEST:: SOT 4417026 SOS 749415 HAS SOPS 749415 HAS SOUS 631755 HAS SOUPS 631755 WITH SCORE 632504.415
AT ITER 5529 NEW BEST:: SOT 4416979 SOS 749321 HAS SOPS 749321 HAS SOUS 631669 HAS SOUPS 631669 WITH SCORE 632418.321
AT ITER 5536 NEW BEST:: SOT 4416866 SOS 749208 HAS SOPS 749208 HAS SOUS 631556 HAS SOUPS 631556 WITH SCORE 632305.208
AT ITER 5550 NEW BEST:: SOT 4416835 SOS 749146 HAS SOPS 749146 HAS SOUS 631494 HAS SOUPS 631494 WITH SCORE 632243.146
AT ITER 5573 NEW BEST:: SOT 4416811 SOS 749468 HAS SOPS 749468 HAS SOUS 631490 HAS SOUPS 631490 WITH SCORE 632239.468
AT ITER 5667 NEW BEST:: SOT 4416806 SOS 749458 HAS SOPS 749458 HAS SOUS 631480 HAS SOUPS 631480 WITH SCORE 632229.458
AT ITER 5670 NEW BEST:: SOT 4416782 SOS 749410 HAS SOPS 749410 HAS SOUS 631357 HAS SOUPS 631357 WITH SCORE 632106.41
AT ITER 5678 NEW BEST:: SOT 4416781 SOS 749408 HAS SOPS 749408 HAS SOUS 631355 HAS SOUPS 631355 WITH SCORE 632104.408
AT ITER 5719 NEW BEST:: SOT 4416633 SOS 749301 HAS SOPS 749301 HAS SOUS 631207 HAS SOUPS 631207 WITH SCORE 631956.301
AT ITER 5723 NEW BEST:: SOT 4416590 SOS 749215 HAS SOPS 749215 HAS SOUS 631025 HAS SOUPS 631025 WITH SCORE 631774.215
AT ITER 5726 NEW BEST:: SOT 4416560 SOS 749155 HAS SOPS 749155 HAS SOUS 630995 HAS SOUPS 630995 WITH SCORE 631744.155
AT ITER 5744 NEW BEST:: SOT 4416459 SOS 749054 HAS SOPS 749054 HAS SOUS 630793 HAS SOUPS 630793 WITH SCORE 631542.054
AT ITER 5789 NEW BEST:: SOT 4416324 SOS 748509 HAS SOPS 748509 HAS SOUS 630292 HAS SOUPS 630292 WITH SCORE 631040.509
AT ITER 5792 NEW BEST:: SOT 4416140 SOS 748233 HAS SOPS 748233 HAS SOUS 630016 HAS SOUPS 630016 WITH SCORE 630764.233
AT ITER 5799 NEW BEST:: SOT 4416061 SOS 748144 HAS SOPS 748144 HAS SOUS 629910 HAS SOUPS 629910 WITH SCORE 630658.144
AT ITER 5803 NEW BEST:: SOT 4416004 SOS 748030 HAS SOPS 748030 HAS SOUS 629853 HAS SOUPS 629853 WITH SCORE 630601.03
AT ITER 5829 NEW BEST:: SOT 4415820 SOS 747846 HAS SOPS 747846 HAS SOUS 629669 HAS SOUPS 629669 WITH SCORE 630416.846
AT ITER 5861 NEW BEST:: SOT 4415931 SOS 747528 HAS SOPS 747528 HAS SOUS 629510 HAS SOUPS 629510 WITH SCORE 630257.528
AT ITER 5864 NEW BEST:: SOT 4415813 SOS 747544 HAS SOPS 747544 HAS SOUS 629509 HAS SOUPS 629509 WITH SCORE 630256.544
AT ITER 5865 NEW BEST:: SOT 4415788 SOS 747494 HAS SOPS 747494 HAS SOUS 629459 HAS SOUPS 629459 WITH SCORE 630206.494
AT ITER 5897 NEW BEST:: SOT 4415763 SOS 747444 HAS SOPS 747444 HAS SOUS 629447 HAS SOUPS 629447 WITH SCORE 630194.444
AT ITER 5925 NEW BEST:: SOT 4415763 SOS 747284 HAS SOPS 747284 HAS SOUS 629367 HAS SOUPS 629367 WITH SCORE 630114.284
AT ITER 5937 NEW BEST:: SOT 4415707 SOS 747259 HAS SOPS 747259 HAS SOUS 629342 HAS SOUPS 629342 WITH SCORE 630089.259
AT ITER 5975 NEW BEST:: SOT 4415706 SOS 746827 HAS SOPS 746827 HAS SOUS 629340 HAS SOUPS 629340 WITH SCORE 630086.827
AT ITER 6003 NEW BEST:: SOT 4415706 SOS 746827 HAS SOPS 746827 HAS SOUS 629255 HAS SOUPS 629255 WITH SCORE 630001.827
AT ITER 6010 NEW BEST:: SOT 4415688 SOS 746791 HAS SOPS 746791 HAS SOUS 629219 HAS SOUPS 629219 WITH SCORE 629965.791
AT ITER 6022 NEW BEST:: SOT 4415667 SOS 746749 HAS SOPS 746749 HAS SOUS 629177 HAS SOUPS 629177 WITH SCORE 629923.749
AT ITER 6053 NEW BEST:: SOT 4415654 SOS 746723 HAS SOPS 746723 HAS SOUS 628964 HAS SOUPS 628964 WITH SCORE 629710.723
AT ITER 6065 NEW BEST:: SOT 4415642 SOS 746699 HAS SOPS 746699 HAS SOUS 628952 HAS SOUPS 628952 WITH SCORE 629698.699
AT ITER 6092 NEW BEST:: SOT 4415642 SOS 746653 HAS SOPS 746653 HAS SOUS 628952 HAS SOUPS 628952 WITH SCORE 629698.653
AT ITER 6110 NEW BEST:: SOT 4415642 SOS 746291 HAS SOPS 746291 HAS SOUS 628952 HAS SOUPS 628952 WITH SCORE 629698.291
AT ITER 6111 NEW BEST:: SOT 4415534 SOS 746075 HAS SOPS 746075 HAS SOUS 628736 HAS SOUPS 628736 WITH SCORE 629482.075
AT ITER 6155 NEW BEST:: SOT 4415456 SOS 745919 HAS SOPS 745919 HAS SOUS 628658 HAS SOUPS 628658 WITH SCORE 629403.919
AT ITER 6188 NEW BEST:: SOT 4415153 SOS 725065 HAS SOPS 725065 HAS SOUS 628052 HAS SOUPS 628052 WITH SCORE 628777.065
AT ITER 6189 NEW BEST:: SOT 4415153 SOS 725041 HAS SOPS 725041 HAS SOUS 628052 HAS SOUPS 628052 WITH SCORE 628777.041
AT ITER 6222 NEW BEST:: SOT 4414907 SOS 724549 HAS SOPS 724549 HAS SOUS 627806 HAS SOUPS 627806 WITH SCORE 628530.549
AT ITER 6228 NEW BEST:: SOT 4415037 SOS 724404 HAS SOPS 724404 HAS SOUS 627661 HAS SOUPS 627661 WITH SCORE 628385.404
AT ITER 6242 NEW BEST:: SOT 4414365 SOS 723768 HAS SOPS 723768 HAS SOUS 626831 HAS SOUPS 626831 WITH SCORE 627554.768
AT ITER 6259 NEW BEST:: SOT 4414303 SOS 723864 HAS SOPS 723864 HAS SOUS 626769 HAS SOUPS 626769 WITH SCORE 627492.864
AT ITER 6260 NEW BEST:: SOT 4414303 SOS 723813 HAS SOPS 723813 HAS SOUS 626752 HAS SOUPS 626752 WITH SCORE 627475.813
AT ITER 6272 NEW BEST:: SOT 4414193 SOS 723366 HAS SOPS 723366 HAS SOUS 626007 HAS SOUPS 626007 WITH SCORE 626730.366
AT ITER 6282 NEW BEST:: SOT 4414193 SOS 723254 HAS SOPS 723254 HAS SOUS 626007 HAS SOUPS 626007 WITH SCORE 626730.254
AT ITER 6285 NEW BEST:: SOT 4414017 SOS 722902 HAS SOPS 722902 HAS SOUS 625655 HAS SOUPS 625655 WITH SCORE 626377.902
AT ITER 6286 NEW BEST:: SOT 4414017 SOS 722862 HAS SOPS 722862 HAS SOUS 625615 HAS SOUPS 625615 WITH SCORE 626337.862
AT ITER 6303 NEW BEST:: SOT 4413984 SOS 722796 HAS SOPS 722796 HAS SOUS 625582 HAS SOUPS 625582 WITH SCORE 626304.796
AT ITER 6314 NEW BEST:: SOT 4413903 SOS 722634 HAS SOPS 722634 HAS SOUS 625420 HAS SOUPS 625420 WITH SCORE 626142.634
AT ITER 6333 NEW BEST:: SOT 4414066 SOS 722960 HAS SOPS 722960 HAS SOUS 625407 HAS SOUPS 625407 WITH SCORE 626129.96
AT ITER 6374 NEW BEST:: SOT 4413971 SOS 722770 HAS SOPS 722770 HAS SOUS 625135 HAS SOUPS 625135 WITH SCORE 625857.77
AT ITER 6394 NEW BEST:: SOT 4413783 SOS 722582 HAS SOPS 722582 HAS SOUS 624947 HAS SOUPS 624947 WITH SCORE 625669.582
AT ITER 6451 NEW BEST:: SOT 4413632 SOS 722179 HAS SOPS 722179 HAS SOUS 624645 HAS SOUPS 624645 WITH SCORE 625367.179
AT ITER 6475 NEW BEST:: SOT 4413628 SOS 722171 HAS SOPS 722171 HAS SOUS 624637 HAS SOUPS 624637 WITH SCORE 625359.171
AT ITER 6494 NEW BEST:: SOT 4413574 SOS 722117 HAS SOPS 722117 HAS SOUS 624583 HAS SOUPS 624583 WITH SCORE 625305.117
AT ITER 6554 NEW BEST:: SOT 4413554 SOS 722077 HAS SOPS 722077 HAS SOUS 624543 HAS SOUPS 624543 WITH SCORE 625265.077
AT ITER 6560 NEW BEST:: SOT 4413259 SOS 722363 HAS SOPS 722363 HAS SOUS 624248 HAS SOUPS 624248 WITH SCORE 624970.363
AT ITER 6573 NEW BEST:: SOT 4413526 SOS 722507 HAS SOPS 722507 HAS SOUS 624154 HAS SOUPS 624154 WITH SCORE 624876.507
AT ITER 6574 NEW BEST:: SOT 4413525 SOS 722119 HAS SOPS 722119 HAS SOUS 624152 HAS SOUPS 624152 WITH SCORE 624874.119
AT ITER 6576 NEW BEST:: SOT 4413286 SOS 721641 HAS SOPS 721641 HAS SOUS 623857 HAS SOUPS 623857 WITH SCORE 624578.641
AT ITER 6578 NEW BEST:: SOT 4413229 SOS 721443 HAS SOPS 721443 HAS SOUS 623743 HAS SOUPS 623743 WITH SCORE 624464.443
AT ITER 6580 NEW BEST:: SOT 4413165 SOS 721315 HAS SOPS 721315 HAS SOUS 623615 HAS SOUPS 623615 WITH SCORE 624336.315
AT ITER 6638 NEW BEST:: SOT 4413059 SOS 721103 HAS SOPS 721103 HAS SOUS 623403 HAS SOUPS 623403 WITH SCORE 624124.103
AT ITER 6665 NEW BEST:: SOT 4412439 SOS 720731 HAS SOPS 720731 HAS SOUS 622907 HAS SOUPS 622907 WITH SCORE 623627.731
AT ITER 6694 NEW BEST:: SOT 4412429 SOS 720711 HAS SOPS 720711 HAS SOUS 622887 HAS SOUPS 622887 WITH SCORE 623607.711
AT ITER 6731 NEW BEST:: SOT 4412429 SOS 720698 HAS SOPS 720698 HAS SOUS 622874 HAS SOUPS 622874 WITH SCORE 623594.698
AT ITER 6735 NEW BEST:: SOT 4412354 SOS 720623 HAS SOPS 720623 HAS SOUS 622799 HAS SOUPS 622799 WITH SCORE 623519.623
AT ITER 6746 NEW BEST:: SOT 4412354 SOS 720566 HAS SOPS 720566 HAS SOUS 622799 HAS SOUPS 622799 WITH SCORE 623519.566
AT ITER 6776 NEW BEST:: SOT 4412229 SOS 719979 HAS SOPS 719979 HAS SOUS 622549 HAS SOUPS 622549 WITH SCORE 623268.979
AT ITER 6825 NEW BEST:: SOT 4412141 SOS 719891 HAS SOPS 719891 HAS SOUS 622461 HAS SOUPS 622461 WITH SCORE 623180.891
AT ITER 6867 NEW BEST:: SOT 4412237 SOS 720083 HAS SOPS 720083 HAS SOUS 622377 HAS SOUPS 622377 WITH SCORE 623097.083
AT ITER 6877 NEW BEST:: SOT 4412185 SOS 719916 HAS SOPS 719916 HAS SOUS 622262 HAS SOUPS 622262 WITH SCORE 622981.916
AT ITER 6907 NEW BEST:: SOT 4411665 SOS 719944 HAS SOPS 719944 HAS SOUS 622009 HAS SOUPS 622009 WITH SCORE 622728.944
AT ITER 6908 NEW BEST:: SOT 4411499 SOS 719938 HAS SOPS 719938 HAS SOUS 621898 HAS SOUPS 621898 WITH SCORE 622617.938
AT ITER 6914 NEW BEST:: SOT 4411379 SOS 719798 HAS SOPS 719798 HAS SOUS 621678 HAS SOUPS 621678 WITH SCORE 622397.798
AT ITER 6951 NEW BEST:: SOT 4411379 SOS 719675 HAS SOPS 719675 HAS SOUS 621555 HAS SOUPS 621555 WITH SCORE 622274.675
AT ITER 6963 NEW BEST:: SOT 4411326 SOS 719569 HAS SOPS 719569 HAS SOUS 621449 HAS SOUPS 621449 WITH SCORE 622168.569
AT ITER 6970 NEW BEST:: SOT 4411161 SOS 719239 HAS SOPS 719239 HAS SOUS 621119 HAS SOUPS 621119 WITH SCORE 621838.239
AT ITER 6985 NEW BEST:: SOT 4411133 SOS 719155 HAS SOPS 719155 HAS SOUS 621063 HAS SOUPS 621063 WITH SCORE 621782.155
AT ITER 6996 NEW BEST:: SOT 4411120 SOS 719129 HAS SOPS 719129 HAS SOUS 621037 HAS SOUPS 621037 WITH SCORE 621756.129
AT ITER 7016 NEW BEST:: SOT 4411120 SOS 719129 HAS SOPS 719129 HAS SOUS 620908 HAS SOUPS 620908 WITH SCORE 621627.129
AT ITER 7018 NEW BEST:: SOT 4411041 SOS 719050 HAS SOPS 719050 HAS SOUS 620908 HAS SOUPS 620908 WITH SCORE 621627.05
AT ITER 7019 NEW BEST:: SOT 4411041 SOS 719013 HAS SOPS 719013 HAS SOUS 620871 HAS SOUPS 620871 WITH SCORE 621590.013
AT ITER 7052 NEW BEST:: SOT 4411008 SOS 718947 HAS SOPS 718947 HAS SOUS 620836 HAS SOUPS 620836 WITH SCORE 621554.947
AT ITER 7071 NEW BEST:: SOT 4411033 SOS 718913 HAS SOPS 718913 HAS SOUS 620710 HAS SOUPS 620710 WITH SCORE 621428.913
AT ITER 7102 NEW BEST:: SOT 4411079 SOS 718725 HAS SOPS 718725 HAS SOUS 620476 HAS SOUPS 620476 WITH SCORE 621194.725
AT ITER 7103 NEW BEST:: SOT 4411085 SOS 718737 HAS SOPS 718737 HAS SOUS 620172 HAS SOUPS 620172 WITH SCORE 620890.737
AT ITER 7214 NEW BEST:: SOT 4411138 SOS 718736 HAS SOPS 718736 HAS SOUS 620171 HAS SOUPS 620171 WITH SCORE 620889.736
AT ITER 7220 NEW BEST:: SOT 4411133 SOS 718726 HAS SOPS 718726 HAS SOUS 620152 HAS SOUPS 620152 WITH SCORE 620870.726
AT ITER 7272 NEW BEST:: SOT 4411120 SOS 718629 HAS SOPS 718629 HAS SOUS 620125 HAS SOUPS 620125 WITH SCORE 620843.629
AT ITER 7293 NEW BEST:: SOT 4411047 SOS 718650 HAS SOPS 718650 HAS SOUS 620052 HAS SOUPS 620052 WITH SCORE 620770.65
AT ITER 7320 NEW BEST:: SOT 4410979 SOS 718616 HAS SOPS 718616 HAS SOUS 619984 HAS SOUPS 619984 WITH SCORE 620702.616
AT ITER 7346 NEW BEST:: SOT 4410966 SOS 717889 HAS SOPS 717889 HAS SOUS 619697 HAS SOUPS 619697 WITH SCORE 620414.889
AT ITER 7363 NEW BEST:: SOT 4410787 SOS 717710 HAS SOPS 717710 HAS SOUS 619518 HAS SOUPS 619518 WITH SCORE 620235.71
AT ITER 7398 NEW BEST:: SOT 4410629 SOS 717394 HAS SOPS 717394 HAS SOUS 619202 HAS SOUPS 619202 WITH SCORE 619919.394
AT ITER 7412 NEW BEST:: SOT 4410629 SOS 717335 HAS SOPS 717335 HAS SOUS 619202 HAS SOUPS 619202 WITH SCORE 619919.335
AT ITER 7419 NEW BEST:: SOT 4410628 SOS 717256 HAS SOPS 717256 HAS SOUS 619124 HAS SOUPS 619124 WITH SCORE 619841.256
AT ITER 7463 NEW BEST:: SOT 4410627 SOS 717244 HAS SOPS 717244 HAS SOUS 619111 HAS SOUPS 619111 WITH SCORE 619828.244
AT ITER 7466 NEW BEST:: SOT 4410627 SOS 717018 HAS SOPS 717018 HAS SOUS 619111 HAS SOUPS 619111 WITH SCORE 619828.018
AT ITER 7468 NEW BEST:: SOT 4410487 SOS 717188 HAS SOPS 717188 HAS SOUS 618971 HAS SOUPS 618971 WITH SCORE 619688.188
AT ITER 7497 NEW BEST:: SOT 4409978 SOS 718320 HAS SOPS 718320 HAS SOUS 618738 HAS SOUPS 618738 WITH SCORE 619456.32
AT ITER 7504 NEW BEST:: SOT 4409959 SOS 718210 HAS SOPS 718210 HAS SOUS 618695 HAS SOUPS 618695 WITH SCORE 619413.21
AT ITER 7536 NEW BEST:: SOT 4409937 SOS 718139 HAS SOPS 718139 HAS SOUS 618651 HAS SOUPS 618651 WITH SCORE 619369.139
AT ITER 7538 NEW BEST:: SOT 4409916 SOS 718097 HAS SOPS 718097 HAS SOUS 618609 HAS SOUPS 618609 WITH SCORE 619327.097
AT ITER 7587 NEW BEST:: SOT 4409681 SOS 717995 HAS SOPS 717995 HAS SOUS 618386 HAS SOUPS 618386 WITH SCORE 619103.995
AT ITER 7591 NEW BEST:: SOT 4409421 SOS 717868 HAS SOPS 717868 HAS SOUS 618138 HAS SOUPS 618138 WITH SCORE 618855.868
AT ITER 7595 NEW BEST:: SOT 4409337 SOS 717700 HAS SOPS 717700 HAS SOUS 617970 HAS SOUPS 617970 WITH SCORE 618687.7
AT ITER 7648 NEW BEST:: SOT 4409160 SOS 717523 HAS SOPS 717523 HAS SOUS 617776 HAS SOUPS 617776 WITH SCORE 618493.523
AT ITER 7650 NEW BEST:: SOT 4408964 SOS 717131 HAS SOPS 717131 HAS SOUS 617355 HAS SOUPS 617355 WITH SCORE 618072.131
AT ITER 7671 NEW BEST:: SOT 4408673 SOS 716882 HAS SOPS 716882 HAS SOUS 617106 HAS SOUPS 617106 WITH SCORE 617822.882
AT ITER 7689 NEW BEST:: SOT 4408598 SOS 717095 HAS SOPS 717095 HAS SOUS 617031 HAS SOUPS 617031 WITH SCORE 617748.095
AT ITER 7748 NEW BEST:: SOT 4408710 SOS 717092 HAS SOPS 717092 HAS SOUS 617028 HAS SOUPS 617028 WITH SCORE 617745.092
AT ITER 7751 NEW BEST:: SOT 4408702 SOS 717076 HAS SOPS 717076 HAS SOUS 617012 HAS SOUPS 617012 WITH SCORE 617729.076
AT ITER 7875 NEW BEST:: SOT 4408701 SOS 717006 HAS SOPS 717006 HAS SOUS 617010 HAS SOUPS 617010 WITH SCORE 617727.006
AT ITER 7878 NEW BEST:: SOT 4408677 SOS 716982 HAS SOPS 716982 HAS SOUS 616986 HAS SOUPS 616986 WITH SCORE 617702.982
AT ITER 7931 NEW BEST:: SOT 4408595 SOS 716818 HAS SOPS 716818 HAS SOUS 616898 HAS SOUPS 616898 WITH SCORE 617614.818
AT ITER 7932 NEW BEST:: SOT 4408577 SOS 716650 HAS SOPS 716650 HAS SOUS 616689 HAS SOUPS 616689 WITH SCORE 617405.65
AT ITER 7990 NEW BEST:: SOT 4406183 SOS 722768 HAS SOPS 722768 HAS SOUS 614561 HAS SOUPS 614561 WITH SCORE 615283.768
AT ITER 8006 NEW BEST:: SOT 4406170 SOS 722742 HAS SOPS 722742 HAS SOUS 614407 HAS SOUPS 614407 WITH SCORE 615129.742
AT ITER 8084 NEW BEST:: SOT 4405922 SOS 722246 HAS SOPS 722246 HAS SOUS 614159 HAS SOUPS 614159 WITH SCORE 614881.246
AT ITER 8134 NEW BEST:: SOT 4405698 SOS 721798 HAS SOPS 721798 HAS SOUS 613711 HAS SOUPS 613711 WITH SCORE 614432.798
AT ITER 8139 NEW BEST:: SOT 4405698 SOS 721415 HAS SOPS 721415 HAS SOUS 613328 HAS SOUPS 613328 WITH SCORE 614049.415
AT ITER 8154 NEW BEST:: SOT 4405582 SOS 721301 HAS SOPS 721301 HAS SOUS 613214 HAS SOUPS 613214 WITH SCORE 613935.301
AT ITER 8158 NEW BEST:: SOT 4405512 SOS 721161 HAS SOPS 721161 HAS SOUS 613074 HAS SOUPS 613074 WITH SCORE 613795.161
AT ITER 8174 NEW BEST:: SOT 4405511 SOS 721158 HAS SOPS 721158 HAS SOUS 613073 HAS SOUPS 613073 WITH SCORE 613794.158
AT ITER 8197 NEW BEST:: SOT 4405494 SOS 721073 HAS SOPS 721073 HAS SOUS 613005 HAS SOUPS 613005 WITH SCORE 613726.073
AT ITER 8216 NEW BEST:: SOT 4405326 SOS 720737 HAS SOPS 720737 HAS SOUS 612556 HAS SOUPS 612556 WITH SCORE 613276.737
AT ITER 8309 NEW BEST:: SOT 4405316 SOS 720717 HAS SOPS 720717 HAS SOUS 612546 HAS SOUPS 612546 WITH SCORE 613266.717
AT ITER 8313 NEW BEST:: SOT 4405288 SOS 720661 HAS SOPS 720661 HAS SOUS 612060 HAS SOUPS 612060 WITH SCORE 612780.661
AT ITER 8326 NEW BEST:: SOT 4405257 SOS 720599 HAS SOPS 720599 HAS SOUS 611998 HAS SOUPS 611998 WITH SCORE 612718.599
AT ITER 8338 NEW BEST:: SOT 4405215 SOS 720515 HAS SOPS 720515 HAS SOUS 611914 HAS SOUPS 611914 WITH SCORE 612634.515
AT ITER 8350 NEW BEST:: SOT 4405184 SOS 720453 HAS SOPS 720453 HAS SOUS 611761 HAS SOUPS 611761 WITH SCORE 612481.453
AT ITER 8368 NEW BEST:: SOT 4405173 SOS 720247 HAS SOPS 720247 HAS SOUS 611739 HAS SOUPS 611739 WITH SCORE 612459.247
AT ITER 8376 NEW BEST:: SOT 4405165 SOS 720215 HAS SOPS 720215 HAS SOUS 611731 HAS SOUPS 611731 WITH SCORE 612451.215
AT ITER 8392 NEW BEST:: SOT 4405034 SOS 719953 HAS SOPS 719953 HAS SOUS 611611 HAS SOUPS 611611 WITH SCORE 612330.953
AT ITER 8398 NEW BEST:: SOT 4405034 SOS 719953 HAS SOPS 719953 HAS SOUS 611507 HAS SOUPS 611507 WITH SCORE 612226.953
AT ITER 8442 NEW BEST:: SOT 4404940 SOS 719619 HAS SOPS 719619 HAS SOUS 611319 HAS SOUPS 611319 WITH SCORE 612038.619
AT ITER 8471 NEW BEST:: SOT 4404801 SOS 719341 HAS SOPS 719341 HAS SOUS 611041 HAS SOUPS 611041 WITH SCORE 611760.341
AT ITER 8499 NEW BEST:: SOT 4402801 SOS 729217 HAS SOPS 729217 HAS SOUS 609979 HAS SOUPS 609979 WITH SCORE 610708.217
AT ITER 8555 NEW BEST:: SOT 4402488 SOS 728591 HAS SOPS 728591 HAS SOUS 609814 HAS SOUPS 609814 WITH SCORE 610542.591
AT ITER 8558 NEW BEST:: SOT 4402397 SOS 728409 HAS SOPS 728409 HAS SOUS 609632 HAS SOUPS 609632 WITH SCORE 610360.409
AT ITER 8571 NEW BEST:: SOT 4402375 SOS 728365 HAS SOPS 728365 HAS SOUS 609607 HAS SOUPS 609607 WITH SCORE 610335.365
AT ITER 8600 NEW BEST:: SOT 4402193 SOS 728001 HAS SOPS 728001 HAS SOUS 609425 HAS SOUPS 609425 WITH SCORE 610153.001
AT ITER 8652 NEW BEST:: SOT 4401954 SOS 727895 HAS SOPS 727895 HAS SOUS 609279 HAS SOUPS 609279 WITH SCORE 610006.895
AT ITER 8672 NEW BEST:: SOT 4401856 SOS 727699 HAS SOPS 727699 HAS SOUS 609072 HAS SOUPS 609072 WITH SCORE 609799.699
AT ITER 8686 NEW BEST:: SOT 4401638 SOS 727481 HAS SOPS 727481 HAS SOUS 608962 HAS SOUPS 608962 WITH SCORE 609689.481
AT ITER 8693 NEW BEST:: SOT 4401628 SOS 726825 HAS SOPS 726825 HAS SOUS 608758 HAS SOUPS 608758 WITH SCORE 609484.825
AT ITER 8702 NEW BEST:: SOT 4401452 SOS 726649 HAS SOPS 726649 HAS SOUS 608582 HAS SOUPS 608582 WITH SCORE 609308.649
AT ITER 8756 NEW BEST:: SOT 4401337 SOS 726704 HAS SOPS 726704 HAS SOUS 608523 HAS SOUPS 608523 WITH SCORE 609249.704
AT ITER 8827 NEW BEST:: SOT 4401337 SOS 726704 HAS SOPS 726704 HAS SOUS 608522 HAS SOUPS 608522 WITH SCORE 609248.704
AT ITER 8828 NEW BEST:: SOT 4401268 SOS 726872 HAS SOPS 726872 HAS SOUS 608515 HAS SOUPS 608515 WITH SCORE 609241.872
AT ITER 8867 NEW BEST:: SOT 4401542 SOS 725798 HAS SOPS 725798 HAS SOUS 608167 HAS SOUPS 608167 WITH SCORE 608892.798
AT ITER 8870 NEW BEST:: SOT 4401519 SOS 725752 HAS SOPS 725752 HAS SOUS 608121 HAS SOUPS 608121 WITH SCORE 608846.752
AT ITER 8882 NEW BEST:: SOT 4401518 SOS 725740 HAS SOPS 725740 HAS SOUS 608119 HAS SOUPS 608119 WITH SCORE 608844.74
AT ITER 8897 NEW BEST:: SOT 4401515 SOS 725711 HAS SOPS 725711 HAS SOUS 608102 HAS SOUPS 608102 WITH SCORE 608827.711
AT ITER 8920 NEW BEST:: SOT 4401490 SOS 725661 HAS SOPS 725661 HAS SOUS 608052 HAS SOUPS 608052 WITH SCORE 608777.661
AT ITER 8989 NEW BEST:: SOT 4401307 SOS 725813 HAS SOPS 725813 HAS SOUS 607788 HAS SOUPS 607788 WITH SCORE 608513.813
AT ITER 9001 NEW BEST:: SOT 4401270 SOS 725739 HAS SOPS 725739 HAS SOUS 607714 HAS SOUPS 607714 WITH SCORE 608439.739
AT ITER 9006 NEW BEST:: SOT 4401277 SOS 725716 HAS SOPS 725716 HAS SOUS 607684 HAS SOUPS 607684 WITH SCORE 608409.716
AT ITER 9011 NEW BEST:: SOT 4401077 SOS 725643 HAS SOPS 725643 HAS SOUS 607530 HAS SOUPS 607530 WITH SCORE 608255.643
AT ITER 9021 NEW BEST:: SOT 4401077 SOS 725628 HAS SOPS 725628 HAS SOUS 607530 HAS SOUPS 607530 WITH SCORE 608255.628
AT ITER 9027 NEW BEST:: SOT 4400891 SOS 725442 HAS SOPS 725442 HAS SOUS 607344 HAS SOUPS 607344 WITH SCORE 608069.442
AT ITER 9032 NEW BEST:: SOT 4400800 SOS 725169 HAS SOPS 725169 HAS SOUS 607162 HAS SOUPS 607162 WITH SCORE 607887.169
AT ITER 9037 NEW BEST:: SOT 4400761 SOS 725091 HAS SOPS 725091 HAS SOUS 607100 HAS SOUPS 607100 WITH SCORE 607825.091
AT ITER 9087 NEW BEST:: SOT 4400381 SOS 724859 HAS SOPS 724859 HAS SOUS 606720 HAS SOUPS 606720 WITH SCORE 607444.859
AT ITER 9098 NEW BEST:: SOT 4400380 SOS 724857 HAS SOPS 724857 HAS SOUS 606718 HAS SOUPS 606718 WITH SCORE 607442.857
AT ITER 9117 NEW BEST:: SOT 4400353 SOS 724830 HAS SOPS 724830 HAS SOUS 606691 HAS SOUPS 606691 WITH SCORE 607415.83
AT ITER 9129 NEW BEST:: SOT 4400279 SOS 724756 HAS SOPS 724756 HAS SOUS 606617 HAS SOUPS 606617 WITH SCORE 607341.756
AT ITER 9142 NEW BEST:: SOT 4399948 SOS 724854 HAS SOPS 724854 HAS SOUS 606335 HAS SOUPS 606335 WITH SCORE 607059.854
AT ITER 9149 NEW BEST:: SOT 4399947 SOS 724852 HAS SOPS 724852 HAS SOUS 606333 HAS SOUPS 606333 WITH SCORE 607057.852
AT ITER 9161 NEW BEST:: SOT 4399947 SOS 724812 HAS SOPS 724812 HAS SOUS 606333 HAS SOUPS 606333 WITH SCORE 607057.812
AT ITER 9210 NEW BEST:: SOT 4399916 SOS 724750 HAS SOPS 724750 HAS SOUS 606271 HAS SOUPS 606271 WITH SCORE 606995.75
AT ITER 9213 NEW BEST:: SOT 4399882 SOS 724682 HAS SOPS 724682 HAS SOUS 606203 HAS SOUPS 606203 WITH SCORE 606927.682
AT ITER 9217 NEW BEST:: SOT 4399815 SOS 724676 HAS SOPS 724676 HAS SOUS 606008 HAS SOUPS 606008 WITH SCORE 606732.676
AT ITER 9228 NEW BEST:: SOT 4399797 SOS 724728 HAS SOPS 724728 HAS SOUS 605990 HAS SOUPS 605990 WITH SCORE 606714.728
AT ITER 9267 NEW BEST:: SOT 4399605 SOS 724536 HAS SOPS 724536 HAS SOUS 605798 HAS SOUPS 605798 WITH SCORE 606522.536
AT ITER 9294 NEW BEST:: SOT 4399605 SOS 724536 HAS SOPS 724536 HAS SOUS 605771 HAS SOUPS 605771 WITH SCORE 606495.536
AT ITER 9295 NEW BEST:: SOT 4399539 SOS 724404 HAS SOPS 724404 HAS SOUS 605639 HAS SOUPS 605639 WITH SCORE 606363.404
AT ITER 9297 NEW BEST:: SOT 4399460 SOS 724246 HAS SOPS 724246 HAS SOUS 605481 HAS SOUPS 605481 WITH SCORE 606205.246
AT ITER 9299 NEW BEST:: SOT 4399167 SOS 723944 HAS SOPS 723944 HAS SOUS 605047 HAS SOUPS 605047 WITH SCORE 605770.944
AT ITER 9349 NEW BEST:: SOT 4399095 SOS 723782 HAS SOPS 723782 HAS SOUS 604885 HAS SOUPS 604885 WITH SCORE 605608.782
AT ITER 9350 NEW BEST:: SOT 4399095 SOS 723722 HAS SOPS 723722 HAS SOUS 604825 HAS SOUPS 604825 WITH SCORE 605548.722
AT ITER 9375 NEW BEST:: SOT 4399095 SOS 723541 HAS SOPS 723541 HAS SOUS 604825 HAS SOUPS 604825 WITH SCORE 605548.541
AT ITER 9376 NEW BEST:: SOT 4398998 SOS 723347 HAS SOPS 723347 HAS SOUS 604825 HAS SOUPS 604825 WITH SCORE 605548.347
AT ITER 9424 NEW BEST:: SOT 4398942 SOS 723235 HAS SOPS 723235 HAS SOUS 604723 HAS SOUPS 604723 WITH SCORE 605446.235
AT ITER 9426 NEW BEST:: SOT 4398897 SOS 723145 HAS SOPS 723145 HAS SOUS 604633 HAS SOUPS 604633 WITH SCORE 605356.145
AT ITER 9472 NEW BEST:: SOT 4398893 SOS 723137 HAS SOPS 723137 HAS SOUS 604629 HAS SOUPS 604629 WITH SCORE 605352.137
AT ITER 9482 NEW BEST:: SOT 4398913 SOS 723177 HAS SOPS 723177 HAS SOUS 604275 HAS SOUPS 604275 WITH SCORE 604998.177
AT ITER 9505 NEW BEST:: SOT 4398913 SOS 723167 HAS SOPS 723167 HAS SOUS 604275 HAS SOUPS 604275 WITH SCORE 604998.167
AT ITER 9564 NEW BEST:: SOT 4398896 SOS 723133 HAS SOPS 723133 HAS SOUS 604241 HAS SOUPS 604241 WITH SCORE 604964.133
AT ITER 9567 NEW BEST:: SOT 4398750 SOS 722987 HAS SOPS 722987 HAS SOUS 604095 HAS SOUPS 604095 WITH SCORE 604817.987
AT ITER 9570 NEW BEST:: SOT 4398666 SOS 722903 HAS SOPS 722903 HAS SOUS 604011 HAS SOUPS 604011 WITH SCORE 604733.903
AT ITER 9637 NEW BEST:: SOT 4398596 SOS 722763 HAS SOPS 722763 HAS SOUS 603916 HAS SOUPS 603916 WITH SCORE 604638.763
AT ITER 9658 NEW BEST:: SOT 4398418 SOS 722407 HAS SOPS 722407 HAS SOUS 603560 HAS SOUPS 603560 WITH SCORE 604282.407
AT ITER 9686 NEW BEST:: SOT 4398287 SOS 722014 HAS SOPS 722014 HAS SOUS 603298 HAS SOUPS 603298 WITH SCORE 604020.014
AT ITER 9715 NEW BEST:: SOT 4398168 SOS 721776 HAS SOPS 721776 HAS SOUS 603179 HAS SOUPS 603179 WITH SCORE 603900.776
AT ITER 9727 NEW BEST:: SOT 4398153 SOS 721746 HAS SOPS 721746 HAS SOUS 603149 HAS SOUPS 603149 WITH SCORE 603870.746
AT ITER 9729 NEW BEST:: SOT 4398027 SOS 721693 HAS SOPS 721693 HAS SOUS 603096 HAS SOUPS 603096 WITH SCORE 603817.693
AT ITER 9740 NEW BEST:: SOT 4398027 SOS 721564 HAS SOPS 721564 HAS SOUS 603096 HAS SOUPS 603096 WITH SCORE 603817.564
AT ITER 9749 NEW BEST:: SOT 4397831 SOS 721368 HAS SOPS 721368 HAS SOUS 602900 HAS SOUPS 602900 WITH SCORE 603621.368
AT ITER 9767 NEW BEST:: SOT 4397805 SOS 721342 HAS SOPS 721342 HAS SOUS 602874 HAS SOUPS 602874 WITH SCORE 603595.342
AT ITER 9829 NEW BEST:: SOT 4397777 SOS 721286 HAS SOPS 721286 HAS SOUS 602818 HAS SOUPS 602818 WITH SCORE 603539.286
AT ITER 9835 NEW BEST:: SOT 4397809 SOS 720996 HAS SOPS 720996 HAS SOUS 602730 HAS SOUPS 602730 WITH SCORE 603450.996
AT ITER 9848 NEW BEST:: SOT 4397797 SOS 720972 HAS SOPS 720972 HAS SOUS 602718 HAS SOUPS 602718 WITH SCORE 603438.972
AT ITER 9853 NEW BEST:: SOT 4397586 SOS 720873 HAS SOPS 720873 HAS SOUS 602507 HAS SOUPS 602507 WITH SCORE 603227.873
AT ITER 9871 NEW BEST:: SOT 4397544 SOS 720789 HAS SOPS 720789 HAS SOUS 602434 HAS SOUPS 602434 WITH SCORE 603154.789
AT ITER 9878 NEW BEST:: SOT 4397519 SOS 720645 HAS SOPS 720645 HAS SOUS 602315 HAS SOUPS 602315 WITH SCORE 603035.645
AT ITER 9890 NEW BEST:: SOT 4397604 SOS 721186 HAS SOPS 721186 HAS SOUS 602275 HAS SOUPS 602275 WITH SCORE 602996.186
AT ITER 9906 NEW BEST:: SOT 4397559 SOS 721003 HAS SOPS 721003 HAS SOUS 602230 HAS SOUPS 602230 WITH SCORE 602951.003
AT ITER 9976 NEW BEST:: SOT 4397279 SOS 720443 HAS SOPS 720443 HAS SOUS 601670 HAS SOUPS 601670 WITH SCORE 602390.443
AT ITER 9994 NEW BEST:: SOT 4397238 SOS 720361 HAS SOPS 720361 HAS SOUS 601629 HAS SOUPS 601629 WITH SCORE 602349.361
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 12075588 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16124228 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//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is CloudReconfiguration-PT-317, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r107-tall-167814483800136"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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