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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 6.2K Feb 25 11:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 61K Feb 25 11:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.2K Feb 25 11:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 25 11:49 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.0K Feb 25 15:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K 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 13K Feb 25 11:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 128K Feb 25 11:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 11:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 96K Feb 25 11:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:47 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:47 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 660K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678325608958

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-311
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 01:33:30] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 01:33:30] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 01:33:30] [INFO ] Load time of PNML (sax parser for PT used): 117 ms
[2023-03-09 01:33:30] [INFO ] Transformed 2585 places.
[2023-03-09 01:33:30] [INFO ] Transformed 3095 transitions.
[2023-03-09 01:33:30] [INFO ] Found NUPN structural information;
[2023-03-09 01:33:30] [INFO ] Parsed PT model containing 2585 places and 3095 transitions and 6463 arcs in 188 ms.
[2023-03-09 01:33:30] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 2585 places, 3095 transitions and 6463 arcs took 24 ms.
Total runtime 238 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 311
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 2585 places, 3095 transitions, 6463 arcs.
AT ITER 0 NEW BEST:: SOT 4449288 SOS 709644 HAS SOPS 709644 HAS SOUS 687805 HAS SOUPS 687805 WITH SCORE 688514.644
AT ITER 50 NEW BEST:: SOT 4449136 SOS 711056 HAS SOPS 711056 HAS SOUS 687779 HAS SOUPS 687779 WITH SCORE 688490.056
AT ITER 91 NEW BEST:: SOT 4449135 SOS 711054 HAS SOPS 711054 HAS SOUS 687777 HAS SOUPS 687777 WITH SCORE 688488.054
AT ITER 98 NEW BEST:: SOT 4444448 SOS 750988 HAS SOPS 750988 HAS SOUS 684487 HAS SOUPS 684487 WITH SCORE 685237.988
AT ITER 125 NEW BEST:: SOT 4444043 SOS 751237 HAS SOPS 751237 HAS SOUS 684291 HAS SOUPS 684291 WITH SCORE 685042.237
AT ITER 133 NEW BEST:: SOT 4444170 SOS 751491 HAS SOPS 751491 HAS SOUS 684251 HAS SOUPS 684251 WITH SCORE 685002.491
AT ITER 135 NEW BEST:: SOT 4444099 SOS 751493 HAS SOPS 751493 HAS SOUS 684214 HAS SOUPS 684214 WITH SCORE 684965.493
AT ITER 166 NEW BEST:: SOT 4444061 SOS 751455 HAS SOPS 751455 HAS SOUS 684176 HAS SOUPS 684176 WITH SCORE 684927.455
AT ITER 196 NEW BEST:: SOT 4444038 SOS 751827 HAS SOPS 751827 HAS SOUS 684153 HAS SOUPS 684153 WITH SCORE 684904.827
AT ITER 206 NEW BEST:: SOT 4443394 SOS 751053 HAS SOPS 751053 HAS SOUS 683300 HAS SOUPS 683300 WITH SCORE 684051.053
AT ITER 211 NEW BEST:: SOT 4443288 SOS 751010 HAS SOPS 751010 HAS SOUS 683194 HAS SOUPS 683194 WITH SCORE 683945.01
AT ITER 217 NEW BEST:: SOT 4443073 SOS 750580 HAS SOPS 750580 HAS SOUS 682764 HAS SOUPS 682764 WITH SCORE 683514.58
AT ITER 222 NEW BEST:: SOT 4443026 SOS 750105 HAS SOPS 750105 HAS SOUS 682410 HAS SOUPS 682410 WITH SCORE 683160.105
AT ITER 248 NEW BEST:: SOT 4443026 SOS 750026 HAS SOPS 750026 HAS SOUS 682331 HAS SOUPS 682331 WITH SCORE 683081.026
AT ITER 271 NEW BEST:: SOT 4442506 SOS 749506 HAS SOPS 749506 HAS SOUS 681811 HAS SOUPS 681811 WITH SCORE 682560.506
AT ITER 281 NEW BEST:: SOT 4442221 SOS 748936 HAS SOPS 748936 HAS SOUS 681577 HAS SOUPS 681577 WITH SCORE 682325.936
AT ITER 283 NEW BEST:: SOT 4442098 SOS 748690 HAS SOPS 748690 HAS SOUS 681262 HAS SOUPS 681262 WITH SCORE 682010.69
AT ITER 315 NEW BEST:: SOT 4441749 SOS 748552 HAS SOPS 748552 HAS SOUS 680767 HAS SOUPS 680767 WITH SCORE 681515.552
AT ITER 374 NEW BEST:: SOT 4441928 SOS 748910 HAS SOPS 748910 HAS SOUS 680562 HAS SOUPS 680562 WITH SCORE 681310.91
AT ITER 381 NEW BEST:: SOT 4441927 SOS 748908 HAS SOPS 748908 HAS SOUS 680560 HAS SOUPS 680560 WITH SCORE 681308.908
AT ITER 422 NEW BEST:: SOT 4441842 SOS 748738 HAS SOPS 748738 HAS SOUS 680390 HAS SOUPS 680390 WITH SCORE 681138.738
AT ITER 430 NEW BEST:: SOT 4441810 SOS 748674 HAS SOPS 748674 HAS SOUS 680326 HAS SOUPS 680326 WITH SCORE 681074.674
AT ITER 433 NEW BEST:: SOT 4441414 SOS 749150 HAS SOPS 749150 HAS SOUS 680050 HAS SOUPS 680050 WITH SCORE 680799.15
AT ITER 439 NEW BEST:: SOT 4441385 SOS 749121 HAS SOPS 749121 HAS SOUS 680021 HAS SOUPS 680021 WITH SCORE 680770.121
AT ITER 449 NEW BEST:: SOT 4441385 SOS 749121 HAS SOPS 749121 HAS SOUS 679950 HAS SOUPS 679950 WITH SCORE 680699.121
AT ITER 455 NEW BEST:: SOT 4440563 SOS 748451 HAS SOPS 748451 HAS SOUS 679131 HAS SOUPS 679131 WITH SCORE 679879.451
AT ITER 458 NEW BEST:: SOT 4440429 SOS 748317 HAS SOPS 748317 HAS SOUS 678997 HAS SOUPS 678997 WITH SCORE 679745.317
AT ITER 516 NEW BEST:: SOT 4440195 SOS 747849 HAS SOPS 747849 HAS SOUS 678529 HAS SOUPS 678529 WITH SCORE 679276.849
AT ITER 521 NEW BEST:: SOT 4440195 SOS 747849 HAS SOPS 747849 HAS SOUS 678528 HAS SOUPS 678528 WITH SCORE 679275.849
AT ITER 561 NEW BEST:: SOT 4440155 SOS 747769 HAS SOPS 747769 HAS SOUS 678488 HAS SOUPS 678488 WITH SCORE 679235.769
AT ITER 584 NEW BEST:: SOT 4440079 SOS 747617 HAS SOPS 747617 HAS SOUS 678412 HAS SOUPS 678412 WITH SCORE 679159.617
AT ITER 588 NEW BEST:: SOT 4439896 SOS 746913 HAS SOPS 746913 HAS SOUS 677891 HAS SOUPS 677891 WITH SCORE 678637.913
AT ITER 620 NEW BEST:: SOT 4439837 SOS 746795 HAS SOPS 746795 HAS SOUS 677773 HAS SOUPS 677773 WITH SCORE 678519.795
AT ITER 629 NEW BEST:: SOT 4439780 SOS 746784 HAS SOPS 746784 HAS SOUS 677716 HAS SOUPS 677716 WITH SCORE 678462.784
AT ITER 630 NEW BEST:: SOT 4439840 SOS 746904 HAS SOPS 746904 HAS SOUS 677644 HAS SOUPS 677644 WITH SCORE 678390.904
AT ITER 643 NEW BEST:: SOT 4439694 SOS 746612 HAS SOPS 746612 HAS SOUS 677352 HAS SOUPS 677352 WITH SCORE 678098.612
AT ITER 645 NEW BEST:: SOT 4439578 SOS 746510 HAS SOPS 746510 HAS SOUS 677250 HAS SOUPS 677250 WITH SCORE 677996.51
AT ITER 671 NEW BEST:: SOT 4439224 SOS 746164 HAS SOPS 746164 HAS SOUS 676896 HAS SOUPS 676896 WITH SCORE 677642.164
AT ITER 686 NEW BEST:: SOT 4439224 SOS 745980 HAS SOPS 745980 HAS SOUS 676896 HAS SOUPS 676896 WITH SCORE 677641.98
AT ITER 695 NEW BEST:: SOT 4437383 SOS 768378 HAS SOPS 768378 HAS SOUS 675228 HAS SOUPS 675228 WITH SCORE 675996.378
AT ITER 697 NEW BEST:: SOT 4437383 SOS 768378 HAS SOPS 768378 HAS SOUS 675226 HAS SOUPS 675226 WITH SCORE 675994.378
AT ITER 710 NEW BEST:: SOT 4437162 SOS 767936 HAS SOPS 767936 HAS SOUS 675177 HAS SOUPS 675177 WITH SCORE 675944.936
AT ITER 713 NEW BEST:: SOT 4436786 SOS 767846 HAS SOPS 767846 HAS SOUS 674896 HAS SOUPS 674896 WITH SCORE 675663.846
AT ITER 715 NEW BEST:: SOT 4436888 SOS 767751 HAS SOPS 767751 HAS SOUS 674801 HAS SOUPS 674801 WITH SCORE 675568.751
AT ITER 718 NEW BEST:: SOT 4436883 SOS 767741 HAS SOPS 767741 HAS SOUS 674791 HAS SOUPS 674791 WITH SCORE 675558.741
AT ITER 722 NEW BEST:: SOT 4436440 SOS 766855 HAS SOPS 766855 HAS SOUS 674643 HAS SOUPS 674643 WITH SCORE 675409.855
AT ITER 724 NEW BEST:: SOT 4436284 SOS 766699 HAS SOPS 766699 HAS SOUS 674487 HAS SOUPS 674487 WITH SCORE 675253.699
AT ITER 725 NEW BEST:: SOT 4436284 SOS 766591 HAS SOPS 766591 HAS SOUS 674487 HAS SOUPS 674487 WITH SCORE 675253.591
AT ITER 752 NEW BEST:: SOT 4435912 SOS 766219 HAS SOPS 766219 HAS SOUS 674115 HAS SOUPS 674115 WITH SCORE 674881.219
AT ITER 772 NEW BEST:: SOT 4435804 SOS 766128 HAS SOPS 766128 HAS SOUS 674007 HAS SOUPS 674007 WITH SCORE 674773.128
AT ITER 796 NEW BEST:: SOT 4435539 SOS 765598 HAS SOPS 765598 HAS SOUS 673742 HAS SOUPS 673742 WITH SCORE 674507.598
AT ITER 806 NEW BEST:: SOT 4435485 SOS 765490 HAS SOPS 765490 HAS SOUS 673634 HAS SOUPS 673634 WITH SCORE 674399.49
AT ITER 856 NEW BEST:: SOT 4435378 SOS 765490 HAS SOPS 765490 HAS SOUS 673420 HAS SOUPS 673420 WITH SCORE 674185.49
AT ITER 874 NEW BEST:: SOT 4435296 SOS 765326 HAS SOPS 765326 HAS SOUS 673338 HAS SOUPS 673338 WITH SCORE 674103.326
AT ITER 875 NEW BEST:: SOT 4435296 SOS 765326 HAS SOPS 765326 HAS SOUS 673128 HAS SOUPS 673128 WITH SCORE 673893.326
AT ITER 891 NEW BEST:: SOT 4435125 SOS 764984 HAS SOPS 764984 HAS SOUS 672786 HAS SOUPS 672786 WITH SCORE 673550.984
AT ITER 895 NEW BEST:: SOT 4435157 SOS 765048 HAS SOPS 765048 HAS SOUS 672657 HAS SOUPS 672657 WITH SCORE 673422.048
AT ITER 902 NEW BEST:: SOT 4433785 SOS 764345 HAS SOPS 764345 HAS SOUS 671701 HAS SOUPS 671701 WITH SCORE 672465.345
AT ITER 952 NEW BEST:: SOT 4433527 SOS 764405 HAS SOPS 764405 HAS SOUS 671605 HAS SOUPS 671605 WITH SCORE 672369.405
AT ITER 994 NEW BEST:: SOT 4433447 SOS 764245 HAS SOPS 764245 HAS SOUS 671445 HAS SOUPS 671445 WITH SCORE 672209.245
AT ITER 1007 NEW BEST:: SOT 4433447 SOS 764245 HAS SOPS 764245 HAS SOUS 671351 HAS SOUPS 671351 WITH SCORE 672115.245
AT ITER 1018 NEW BEST:: SOT 4433270 SOS 764067 HAS SOPS 764067 HAS SOUS 671349 HAS SOUPS 671349 WITH SCORE 672113.067
AT ITER 1020 NEW BEST:: SOT 4433315 SOS 764157 HAS SOPS 764157 HAS SOUS 671323 HAS SOUPS 671323 WITH SCORE 672087.157
AT ITER 1050 NEW BEST:: SOT 4433278 SOS 764083 HAS SOPS 764083 HAS SOUS 671249 HAS SOUPS 671249 WITH SCORE 672013.083
AT ITER 1080 NEW BEST:: SOT 4433030 SOS 763587 HAS SOPS 763587 HAS SOUS 670958 HAS SOUPS 670958 WITH SCORE 671721.587
AT ITER 1092 NEW BEST:: SOT 4432964 SOS 763824 HAS SOPS 763824 HAS SOUS 670748 HAS SOUPS 670748 WITH SCORE 671511.824
AT ITER 1114 NEW BEST:: SOT 4432813 SOS 763908 HAS SOPS 763908 HAS SOUS 670597 HAS SOUPS 670597 WITH SCORE 671360.908
AT ITER 1123 NEW BEST:: SOT 4432604 SOS 763490 HAS SOPS 763490 HAS SOUS 670179 HAS SOUPS 670179 WITH SCORE 670942.49
AT ITER 1136 NEW BEST:: SOT 4431918 SOS 767844 HAS SOPS 767844 HAS SOUS 669944 HAS SOUPS 669944 WITH SCORE 670711.844
AT ITER 1166 NEW BEST:: SOT 4432001 SOS 767473 HAS SOPS 767473 HAS SOUS 669490 HAS SOUPS 669490 WITH SCORE 670257.473
AT ITER 1169 NEW BEST:: SOT 4431847 SOS 767579 HAS SOPS 767579 HAS SOUS 669336 HAS SOUPS 669336 WITH SCORE 670103.579
AT ITER 1188 NEW BEST:: SOT 4431780 SOS 767444 HAS SOPS 767444 HAS SOUS 669201 HAS SOUPS 669201 WITH SCORE 669968.444
AT ITER 1237 NEW BEST:: SOT 4431496 SOS 767160 HAS SOPS 767160 HAS SOUS 668917 HAS SOUPS 668917 WITH SCORE 669684.16
AT ITER 1248 NEW BEST:: SOT 4431657 SOS 767481 HAS SOPS 767481 HAS SOUS 668906 HAS SOUPS 668906 WITH SCORE 669673.481
AT ITER 1251 NEW BEST:: SOT 4431552 SOS 767271 HAS SOPS 767271 HAS SOUS 668696 HAS SOUPS 668696 WITH SCORE 669463.271
AT ITER 1273 NEW BEST:: SOT 4431489 SOS 767145 HAS SOPS 767145 HAS SOUS 668570 HAS SOUPS 668570 WITH SCORE 669337.145
AT ITER 1284 NEW BEST:: SOT 4431423 SOS 767087 HAS SOPS 767087 HAS SOUS 668510 HAS SOUPS 668510 WITH SCORE 669277.087
AT ITER 1322 NEW BEST:: SOT 4430740 SOS 766465 HAS SOPS 766465 HAS SOUS 667845 HAS SOUPS 667845 WITH SCORE 668611.465
AT ITER 1345 NEW BEST:: SOT 4430384 SOS 765753 HAS SOPS 765753 HAS SOUS 667489 HAS SOUPS 667489 WITH SCORE 668254.753
AT ITER 1352 NEW BEST:: SOT 4430384 SOS 765724 HAS SOPS 765724 HAS SOUS 667489 HAS SOUPS 667489 WITH SCORE 668254.724
AT ITER 1360 NEW BEST:: SOT 4430277 SOS 765510 HAS SOPS 765510 HAS SOUS 667275 HAS SOUPS 667275 WITH SCORE 668040.51
AT ITER 1363 NEW BEST:: SOT 4430277 SOS 765381 HAS SOPS 765381 HAS SOUS 667146 HAS SOUPS 667146 WITH SCORE 667911.381
AT ITER 1365 NEW BEST:: SOT 4430277 SOS 765381 HAS SOPS 765381 HAS SOUS 667127 HAS SOUPS 667127 WITH SCORE 667892.381
AT ITER 1369 NEW BEST:: SOT 4430276 SOS 765379 HAS SOPS 765379 HAS SOUS 667125 HAS SOUPS 667125 WITH SCORE 667890.379
AT ITER 1386 NEW BEST:: SOT 4429946 SOS 764154 HAS SOPS 764154 HAS SOUS 666350 HAS SOUPS 666350 WITH SCORE 667114.154
AT ITER 1388 NEW BEST:: SOT 4429947 SOS 764137 HAS SOPS 764137 HAS SOUS 666333 HAS SOUPS 666333 WITH SCORE 667097.137
AT ITER 1415 NEW BEST:: SOT 4429827 SOS 763897 HAS SOPS 763897 HAS SOUS 666093 HAS SOUPS 666093 WITH SCORE 666856.897
AT ITER 1420 NEW BEST:: SOT 4429815 SOS 763873 HAS SOPS 763873 HAS SOUS 666081 HAS SOUPS 666081 WITH SCORE 666844.873
AT ITER 1434 NEW BEST:: SOT 4429602 SOS 763660 HAS SOPS 763660 HAS SOUS 665868 HAS SOUPS 665868 WITH SCORE 666631.66
AT ITER 1461 NEW BEST:: SOT 4428373 SOS 765780 HAS SOPS 765780 HAS SOUS 664817 HAS SOUPS 664817 WITH SCORE 665582.78
AT ITER 1469 NEW BEST:: SOT 4428453 SOS 765940 HAS SOPS 765940 HAS SOUS 664632 HAS SOUPS 664632 WITH SCORE 665397.94
AT ITER 1542 NEW BEST:: SOT 4428240 SOS 765739 HAS SOPS 765739 HAS SOUS 664431 HAS SOUPS 664431 WITH SCORE 665196.739
AT ITER 1544 NEW BEST:: SOT 4428020 SOS 765299 HAS SOPS 765299 HAS SOUS 663991 HAS SOUPS 663991 WITH SCORE 664756.299
AT ITER 1550 NEW BEST:: SOT 4427915 SOS 765089 HAS SOPS 765089 HAS SOUS 663886 HAS SOUPS 663886 WITH SCORE 664651.089
AT ITER 1569 NEW BEST:: SOT 4427486 SOS 764231 HAS SOPS 764231 HAS SOUS 663282 HAS SOUPS 663282 WITH SCORE 664046.231
AT ITER 1589 NEW BEST:: SOT 4427459 SOS 764177 HAS SOPS 764177 HAS SOUS 663254 HAS SOUPS 663254 WITH SCORE 664018.177
AT ITER 1594 NEW BEST:: SOT 4427446 SOS 764281 HAS SOPS 764281 HAS SOUS 663241 HAS SOUPS 663241 WITH SCORE 664005.281
AT ITER 1621 NEW BEST:: SOT 4427370 SOS 764129 HAS SOPS 764129 HAS SOUS 662966 HAS SOUPS 662966 WITH SCORE 663730.129
AT ITER 1636 NEW BEST:: SOT 4427024 SOS 763783 HAS SOPS 763783 HAS SOUS 662620 HAS SOUPS 662620 WITH SCORE 663383.783
AT ITER 1648 NEW BEST:: SOT 4426874 SOS 763483 HAS SOPS 763483 HAS SOUS 662470 HAS SOUPS 662470 WITH SCORE 663233.483
AT ITER 1675 NEW BEST:: SOT 4426630 SOS 763483 HAS SOPS 763483 HAS SOUS 662226 HAS SOUPS 662226 WITH SCORE 662989.483
AT ITER 1685 NEW BEST:: SOT 4426121 SOS 762465 HAS SOPS 762465 HAS SOUS 661276 HAS SOUPS 661276 WITH SCORE 662038.465
AT ITER 1692 NEW BEST:: SOT 4426121 SOS 762465 HAS SOPS 762465 HAS SOUS 661274 HAS SOUPS 661274 WITH SCORE 662036.465
AT ITER 1725 NEW BEST:: SOT 4425913 SOS 762049 HAS SOPS 762049 HAS SOUS 660858 HAS SOUPS 660858 WITH SCORE 661620.049
AT ITER 1726 NEW BEST:: SOT 4425911 SOS 762047 HAS SOPS 762047 HAS SOUS 660856 HAS SOUPS 660856 WITH SCORE 661618.047
AT ITER 1743 NEW BEST:: SOT 4425738 SOS 761701 HAS SOPS 761701 HAS SOUS 660548 HAS SOUPS 660548 WITH SCORE 661309.701
AT ITER 1748 NEW BEST:: SOT 4425300 SOS 761518 HAS SOPS 761518 HAS SOUS 660350 HAS SOUPS 660350 WITH SCORE 661111.518
AT ITER 1769 NEW BEST:: SOT 4425262 SOS 761644 HAS SOPS 761644 HAS SOUS 660347 HAS SOUPS 660347 WITH SCORE 661108.644
AT ITER 1781 NEW BEST:: SOT 4425262 SOS 761641 HAS SOPS 761641 HAS SOUS 660344 HAS SOUPS 660344 WITH SCORE 661105.641
AT ITER 1783 NEW BEST:: SOT 4425170 SOS 761549 HAS SOPS 761549 HAS SOUS 660252 HAS SOUPS 660252 WITH SCORE 661013.549
AT ITER 1790 NEW BEST:: SOT 4425170 SOS 761399 HAS SOPS 761399 HAS SOUS 660102 HAS SOUPS 660102 WITH SCORE 660863.399
AT ITER 1801 NEW BEST:: SOT 4424994 SOS 761866 HAS SOPS 761866 HAS SOUS 660017 HAS SOUPS 660017 WITH SCORE 660778.866
AT ITER 1823 NEW BEST:: SOT 4424994 SOS 761866 HAS SOPS 761866 HAS SOUS 659894 HAS SOUPS 659894 WITH SCORE 660655.866
AT ITER 1836 NEW BEST:: SOT 4424825 SOS 761840 HAS SOPS 761840 HAS SOUS 659810 HAS SOUPS 659810 WITH SCORE 660571.84
AT ITER 1837 NEW BEST:: SOT 4424585 SOS 761360 HAS SOPS 761360 HAS SOUS 659330 HAS SOUPS 659330 WITH SCORE 660091.36
AT ITER 1842 NEW BEST:: SOT 4424554 SOS 761298 HAS SOPS 761298 HAS SOUS 659268 HAS SOUPS 659268 WITH SCORE 660029.298
AT ITER 1849 NEW BEST:: SOT 4424492 SOS 761298 HAS SOPS 761298 HAS SOUS 659206 HAS SOUPS 659206 WITH SCORE 659967.298
AT ITER 1858 NEW BEST:: SOT 4424308 SOS 760659 HAS SOPS 760659 HAS SOUS 658567 HAS SOUPS 658567 WITH SCORE 659327.659
AT ITER 1864 NEW BEST:: SOT 4424337 SOS 760537 HAS SOPS 760537 HAS SOUS 658445 HAS SOUPS 658445 WITH SCORE 659205.537
AT ITER 1869 NEW BEST:: SOT 4424264 SOS 760919 HAS SOPS 760919 HAS SOUS 658372 HAS SOUPS 658372 WITH SCORE 659132.919
AT ITER 1928 NEW BEST:: SOT 4424257 SOS 760905 HAS SOPS 760905 HAS SOUS 658358 HAS SOUPS 658358 WITH SCORE 659118.905
AT ITER 1957 NEW BEST:: SOT 4423948 SOS 760287 HAS SOPS 760287 HAS SOUS 657740 HAS SOUPS 657740 WITH SCORE 658500.287
AT ITER 1958 NEW BEST:: SOT 4423710 SOS 760100 HAS SOPS 760100 HAS SOUS 657528 HAS SOUPS 657528 WITH SCORE 658288.1
AT ITER 1964 NEW BEST:: SOT 4423688 SOS 760056 HAS SOPS 760056 HAS SOUS 657505 HAS SOUPS 657505 WITH SCORE 658265.056
AT ITER 1973 NEW BEST:: SOT 4423674 SOS 760042 HAS SOPS 760042 HAS SOUS 657491 HAS SOUPS 657491 WITH SCORE 658251.042
AT ITER 1981 NEW BEST:: SOT 4423674 SOS 759751 HAS SOPS 759751 HAS SOUS 657200 HAS SOUPS 657200 WITH SCORE 657959.751
AT ITER 1989 NEW BEST:: SOT 4422973 SOS 758349 HAS SOPS 758349 HAS SOUS 656379 HAS SOUPS 656379 WITH SCORE 657137.349
AT ITER 1993 NEW BEST:: SOT 4422741 SOS 757885 HAS SOPS 757885 HAS SOUS 655915 HAS SOUPS 655915 WITH SCORE 656672.885
AT ITER 2019 NEW BEST:: SOT 4422528 SOS 757459 HAS SOPS 757459 HAS SOUS 655489 HAS SOUPS 655489 WITH SCORE 656246.459
AT ITER 2029 NEW BEST:: SOT 4422527 SOS 757457 HAS SOPS 757457 HAS SOUS 655487 HAS SOUPS 655487 WITH SCORE 656244.457
AT ITER 2041 NEW BEST:: SOT 4422358 SOS 757119 HAS SOPS 757119 HAS SOUS 655149 HAS SOUPS 655149 WITH SCORE 655906.119
AT ITER 2066 NEW BEST:: SOT 4422358 SOS 757119 HAS SOPS 757119 HAS SOUS 655148 HAS SOUPS 655148 WITH SCORE 655905.119
AT ITER 2092 NEW BEST:: SOT 4422350 SOS 757103 HAS SOPS 757103 HAS SOUS 655140 HAS SOUPS 655140 WITH SCORE 655897.103
AT ITER 2137 NEW BEST:: SOT 4422213 SOS 757060 HAS SOPS 757060 HAS SOUS 655080 HAS SOUPS 655080 WITH SCORE 655837.06
AT ITER 2144 NEW BEST:: SOT 4422201 SOS 757036 HAS SOPS 757036 HAS SOUS 655056 HAS SOUPS 655056 WITH SCORE 655813.036
AT ITER 2155 NEW BEST:: SOT 4422006 SOS 756840 HAS SOPS 756840 HAS SOUS 654860 HAS SOUPS 654860 WITH SCORE 655616.84
AT ITER 2167 NEW BEST:: SOT 4421385 SOS 756012 HAS SOPS 756012 HAS SOUS 654032 HAS SOUPS 654032 WITH SCORE 654788.012
AT ITER 2186 NEW BEST:: SOT 4421042 SOS 755519 HAS SOPS 755519 HAS SOUS 653496 HAS SOUPS 653496 WITH SCORE 654251.519
AT ITER 2205 NEW BEST:: SOT 4420886 SOS 755285 HAS SOPS 755285 HAS SOUS 653262 HAS SOUPS 653262 WITH SCORE 654017.285
AT ITER 2218 NEW BEST:: SOT 4420504 SOS 755887 HAS SOPS 755887 HAS SOUS 653116 HAS SOUPS 653116 WITH SCORE 653871.887
AT ITER 2221 NEW BEST:: SOT 4420504 SOS 755839 HAS SOPS 755839 HAS SOUS 653116 HAS SOUPS 653116 WITH SCORE 653871.839
AT ITER 2235 NEW BEST:: SOT 4420458 SOS 755784 HAS SOPS 755784 HAS SOUS 653106 HAS SOUPS 653106 WITH SCORE 653861.784
AT ITER 2253 NEW BEST:: SOT 4420270 SOS 755792 HAS SOPS 755792 HAS SOUS 652989 HAS SOUPS 652989 WITH SCORE 653744.792
AT ITER 2275 NEW BEST:: SOT 4420049 SOS 755582 HAS SOPS 755582 HAS SOUS 652613 HAS SOUPS 652613 WITH SCORE 653368.582
AT ITER 2278 NEW BEST:: SOT 4419917 SOS 755372 HAS SOPS 755372 HAS SOUS 652400 HAS SOUPS 652400 WITH SCORE 653155.372
AT ITER 2311 NEW BEST:: SOT 4419853 SOS 755243 HAS SOPS 755243 HAS SOUS 652271 HAS SOUPS 652271 WITH SCORE 653026.243
AT ITER 2326 NEW BEST:: SOT 4419851 SOS 755239 HAS SOPS 755239 HAS SOUS 652269 HAS SOUPS 652269 WITH SCORE 653024.239
AT ITER 2331 NEW BEST:: SOT 4419665 SOS 754867 HAS SOPS 754867 HAS SOUS 651897 HAS SOUPS 651897 WITH SCORE 652651.867
AT ITER 2357 NEW BEST:: SOT 4419571 SOS 754679 HAS SOPS 754679 HAS SOUS 651709 HAS SOUPS 651709 WITH SCORE 652463.679
AT ITER 2360 NEW BEST:: SOT 4419522 SOS 754581 HAS SOPS 754581 HAS SOUS 651611 HAS SOUPS 651611 WITH SCORE 652365.581
AT ITER 2415 NEW BEST:: SOT 4419522 SOS 754363 HAS SOPS 754363 HAS SOUS 651393 HAS SOUPS 651393 WITH SCORE 652147.363
AT ITER 2449 NEW BEST:: SOT 4419700 SOS 754353 HAS SOPS 754353 HAS SOUS 651224 HAS SOUPS 651224 WITH SCORE 651978.353
AT ITER 2474 NEW BEST:: SOT 4419699 SOS 754351 HAS SOPS 754351 HAS SOUS 651222 HAS SOUPS 651222 WITH SCORE 651976.351
AT ITER 2488 NEW BEST:: SOT 4419609 SOS 754171 HAS SOPS 754171 HAS SOUS 651222 HAS SOUPS 651222 WITH SCORE 651976.171
AT ITER 2510 NEW BEST:: SOT 4419752 SOS 754457 HAS SOPS 754457 HAS SOUS 651187 HAS SOUPS 651187 WITH SCORE 651941.457
AT ITER 2514 NEW BEST:: SOT 4419748 SOS 754449 HAS SOPS 754449 HAS SOUS 651183 HAS SOUPS 651183 WITH SCORE 651937.449
AT ITER 2519 NEW BEST:: SOT 4419551 SOS 754239 HAS SOPS 754239 HAS SOUS 651135 HAS SOUPS 651135 WITH SCORE 651889.239
AT ITER 2522 NEW BEST:: SOT 4419502 SOS 754141 HAS SOPS 754141 HAS SOUS 651037 HAS SOUPS 651037 WITH SCORE 651791.141
AT ITER 2557 NEW BEST:: SOT 4419357 SOS 754081 HAS SOPS 754081 HAS SOUS 650922 HAS SOUPS 650922 WITH SCORE 651676.081
AT ITER 2559 NEW BEST:: SOT 4419360 SOS 754087 HAS SOPS 754087 HAS SOUS 650909 HAS SOUPS 650909 WITH SCORE 651663.087
AT ITER 2619 NEW BEST:: SOT 4418561 SOS 753637 HAS SOPS 753637 HAS SOUS 650129 HAS SOUPS 650129 WITH SCORE 650882.637
AT ITER 2642 NEW BEST:: SOT 4418243 SOS 750774 HAS SOPS 750774 HAS SOUS 649492 HAS SOUPS 649492 WITH SCORE 650242.774
AT ITER 2655 NEW BEST:: SOT 4418303 SOS 750768 HAS SOPS 750768 HAS SOUS 649486 HAS SOUPS 649486 WITH SCORE 650236.768
AT ITER 2682 NEW BEST:: SOT 4418303 SOS 750767 HAS SOPS 750767 HAS SOUS 649466 HAS SOUPS 649466 WITH SCORE 650216.767
AT ITER 2686 NEW BEST:: SOT 4418176 SOS 750766 HAS SOPS 750766 HAS SOUS 649465 HAS SOUPS 649465 WITH SCORE 650215.766
AT ITER 2700 NEW BEST:: SOT 4418176 SOS 750741 HAS SOPS 750741 HAS SOUS 649440 HAS SOUPS 649440 WITH SCORE 650190.741
AT ITER 2701 NEW BEST:: SOT 4418097 SOS 750583 HAS SOPS 750583 HAS SOUS 649397 HAS SOUPS 649397 WITH SCORE 650147.583
AT ITER 2728 NEW BEST:: SOT 4418016 SOS 750421 HAS SOPS 750421 HAS SOUS 649315 HAS SOUPS 649315 WITH SCORE 650065.421
AT ITER 2734 NEW BEST:: SOT 4417999 SOS 750404 HAS SOPS 750404 HAS SOUS 649298 HAS SOUPS 649298 WITH SCORE 650048.404
AT ITER 2751 NEW BEST:: SOT 4417999 SOS 750180 HAS SOPS 750180 HAS SOUS 649074 HAS SOUPS 649074 WITH SCORE 649824.18
AT ITER 2774 NEW BEST:: SOT 4417470 SOS 750230 HAS SOPS 750230 HAS SOUS 648787 HAS SOUPS 648787 WITH SCORE 649537.23
AT ITER 2776 NEW BEST:: SOT 4417420 SOS 750130 HAS SOPS 750130 HAS SOUS 648787 HAS SOUPS 648787 WITH SCORE 649537.13
AT ITER 2804 NEW BEST:: SOT 4417420 SOS 750086 HAS SOPS 750086 HAS SOUS 648743 HAS SOUPS 648743 WITH SCORE 649493.086
AT ITER 2805 NEW BEST:: SOT 4417387 SOS 750020 HAS SOPS 750020 HAS SOUS 648677 HAS SOUPS 648677 WITH SCORE 649427.02
AT ITER 2815 NEW BEST:: SOT 4417356 SOS 749958 HAS SOPS 749958 HAS SOUS 648615 HAS SOUPS 648615 WITH SCORE 649364.958
AT ITER 2837 NEW BEST:: SOT 4417251 SOS 749978 HAS SOPS 749978 HAS SOUS 648510 HAS SOUPS 648510 WITH SCORE 649259.978
AT ITER 2839 NEW BEST:: SOT 4417250 SOS 750158 HAS SOPS 750158 HAS SOUS 648509 HAS SOUPS 648509 WITH SCORE 649259.158
AT ITER 2906 NEW BEST:: SOT 4417154 SOS 750050 HAS SOPS 750050 HAS SOUS 648401 HAS SOUPS 648401 WITH SCORE 649151.05
AT ITER 2910 NEW BEST:: SOT 4416890 SOS 749654 HAS SOPS 749654 HAS SOUS 648005 HAS SOUPS 648005 WITH SCORE 648754.654
AT ITER 2924 NEW BEST:: SOT 4416648 SOS 749170 HAS SOPS 749170 HAS SOUS 647521 HAS SOUPS 647521 WITH SCORE 648270.17
AT ITER 2941 NEW BEST:: SOT 4416647 SOS 749168 HAS SOPS 749168 HAS SOUS 647519 HAS SOUPS 647519 WITH SCORE 648268.168
AT ITER 2952 NEW BEST:: SOT 4416389 SOS 750228 HAS SOPS 750228 HAS SOUS 647458 HAS SOUPS 647458 WITH SCORE 648208.228
AT ITER 2958 NEW BEST:: SOT 4416221 SOS 750060 HAS SOPS 750060 HAS SOUS 647290 HAS SOUPS 647290 WITH SCORE 648040.06
AT ITER 2977 NEW BEST:: SOT 4416023 SOS 749892 HAS SOPS 749892 HAS SOUS 647092 HAS SOUPS 647092 WITH SCORE 647841.892
AT ITER 2992 NEW BEST:: SOT 4416036 SOS 749588 HAS SOPS 749588 HAS SOUS 646953 HAS SOUPS 646953 WITH SCORE 647702.588
AT ITER 3017 NEW BEST:: SOT 4416036 SOS 749500 HAS SOPS 749500 HAS SOUS 646909 HAS SOUPS 646909 WITH SCORE 647658.5
AT ITER 3030 NEW BEST:: SOT 4415647 SOS 748722 HAS SOPS 748722 HAS SOUS 646584 HAS SOUPS 646584 WITH SCORE 647332.722
AT ITER 3032 NEW BEST:: SOT 4415647 SOS 748722 HAS SOPS 748722 HAS SOUS 646558 HAS SOUPS 646558 WITH SCORE 647306.722
AT ITER 3034 NEW BEST:: SOT 4415647 SOS 748721 HAS SOPS 748721 HAS SOUS 646557 HAS SOUPS 646557 WITH SCORE 647305.721
AT ITER 3036 NEW BEST:: SOT 4415647 SOS 748694 HAS SOPS 748694 HAS SOUS 646557 HAS SOUPS 646557 WITH SCORE 647305.694
AT ITER 3077 NEW BEST:: SOT 4415406 SOS 748122 HAS SOPS 748122 HAS SOUS 646182 HAS SOUPS 646182 WITH SCORE 646930.122
AT ITER 3106 NEW BEST:: SOT 4415334 SOS 747978 HAS SOPS 747978 HAS SOUS 645950 HAS SOUPS 645950 WITH SCORE 646697.978
AT ITER 3126 NEW BEST:: SOT 4415345 SOS 748375 HAS SOPS 748375 HAS SOUS 645899 HAS SOUPS 645899 WITH SCORE 646647.375
AT ITER 3134 NEW BEST:: SOT 4415114 SOS 747913 HAS SOPS 747913 HAS SOUS 645742 HAS SOUPS 645742 WITH SCORE 646489.913
AT ITER 3163 NEW BEST:: SOT 4415042 SOS 747887 HAS SOPS 747887 HAS SOUS 645657 HAS SOUPS 645657 WITH SCORE 646404.887
AT ITER 3168 NEW BEST:: SOT 4414868 SOS 747539 HAS SOPS 747539 HAS SOUS 645458 HAS SOUPS 645458 WITH SCORE 646205.539
AT ITER 3170 NEW BEST:: SOT 4414646 SOS 747650 HAS SOPS 747650 HAS SOUS 645347 HAS SOUPS 645347 WITH SCORE 646094.65
AT ITER 3190 NEW BEST:: SOT 4414694 SOS 747697 HAS SOPS 747697 HAS SOUS 645346 HAS SOUPS 645346 WITH SCORE 646093.697
AT ITER 3216 NEW BEST:: SOT 4414694 SOS 747581 HAS SOPS 747581 HAS SOUS 645230 HAS SOUPS 645230 WITH SCORE 645977.581
AT ITER 3220 NEW BEST:: SOT 4414693 SOS 747579 HAS SOPS 747579 HAS SOUS 645229 HAS SOUPS 645229 WITH SCORE 645976.579
AT ITER 3234 NEW BEST:: SOT 4414693 SOS 747578 HAS SOPS 747578 HAS SOUS 645228 HAS SOUPS 645228 WITH SCORE 645975.578
AT ITER 3241 NEW BEST:: SOT 4414650 SOS 747558 HAS SOPS 747558 HAS SOUS 645208 HAS SOUPS 645208 WITH SCORE 645955.558
AT ITER 3262 NEW BEST:: SOT 4414551 SOS 747360 HAS SOPS 747360 HAS SOUS 645109 HAS SOUPS 645109 WITH SCORE 645856.36
AT ITER 3273 NEW BEST:: SOT 4414417 SOS 747092 HAS SOPS 747092 HAS SOUS 644841 HAS SOUPS 644841 WITH SCORE 645588.092
AT ITER 3284 NEW BEST:: SOT 4414284 SOS 746826 HAS SOPS 746826 HAS SOUS 644729 HAS SOUPS 644729 WITH SCORE 645475.826
AT ITER 3301 NEW BEST:: SOT 4414179 SOS 747000 HAS SOPS 747000 HAS SOUS 644562 HAS SOUPS 644562 WITH SCORE 645309.0
AT ITER 3312 NEW BEST:: SOT 4413862 SOS 746366 HAS SOPS 746366 HAS SOUS 644313 HAS SOUPS 644313 WITH SCORE 645059.366
AT ITER 3326 NEW BEST:: SOT 4413629 SOS 746255 HAS SOPS 746255 HAS SOUS 644060 HAS SOUPS 644060 WITH SCORE 644806.255
AT ITER 3341 NEW BEST:: SOT 4413629 SOS 745801 HAS SOPS 745801 HAS SOUS 643606 HAS SOUPS 643606 WITH SCORE 644351.801
AT ITER 3343 NEW BEST:: SOT 4413629 SOS 745753 HAS SOPS 745753 HAS SOUS 643558 HAS SOUPS 643558 WITH SCORE 644303.753
AT ITER 3366 NEW BEST:: SOT 4413611 SOS 745717 HAS SOPS 745717 HAS SOUS 643538 HAS SOUPS 643538 WITH SCORE 644283.717
AT ITER 3379 NEW BEST:: SOT 4413556 SOS 745607 HAS SOPS 745607 HAS SOUS 643472 HAS SOUPS 643472 WITH SCORE 644217.607
AT ITER 3388 NEW BEST:: SOT 4413572 SOS 745845 HAS SOPS 745845 HAS SOUS 643370 HAS SOUPS 643370 WITH SCORE 644115.845
AT ITER 3394 NEW BEST:: SOT 4413539 SOS 745779 HAS SOPS 745779 HAS SOUS 643304 HAS SOUPS 643304 WITH SCORE 644049.779
AT ITER 3401 NEW BEST:: SOT 4413548 SOS 745647 HAS SOPS 745647 HAS SOUS 643174 HAS SOUPS 643174 WITH SCORE 643919.647
AT ITER 3427 NEW BEST:: SOT 4413003 SOS 744880 HAS SOPS 744880 HAS SOUS 642360 HAS SOUPS 642360 WITH SCORE 643104.88
AT ITER 3428 NEW BEST:: SOT 4412889 SOS 744388 HAS SOPS 744388 HAS SOUS 641982 HAS SOUPS 641982 WITH SCORE 642726.388
AT ITER 3429 NEW BEST:: SOT 4412868 SOS 744346 HAS SOPS 744346 HAS SOUS 641960 HAS SOUPS 641960 WITH SCORE 642704.346
AT ITER 3433 NEW BEST:: SOT 4412843 SOS 744451 HAS SOPS 744451 HAS SOUS 641935 HAS SOUPS 641935 WITH SCORE 642679.451
AT ITER 3435 NEW BEST:: SOT 4412805 SOS 744433 HAS SOPS 744433 HAS SOUS 641897 HAS SOUPS 641897 WITH SCORE 642641.433
AT ITER 3438 NEW BEST:: SOT 4412772 SOS 744366 HAS SOPS 744366 HAS SOUS 641830 HAS SOUPS 641830 WITH SCORE 642574.366
AT ITER 3464 NEW BEST:: SOT 4412526 SOS 743874 HAS SOPS 743874 HAS SOUS 641284 HAS SOUPS 641284 WITH SCORE 642027.874
AT ITER 3466 NEW BEST:: SOT 4412526 SOS 743428 HAS SOPS 743428 HAS SOUS 641284 HAS SOUPS 641284 WITH SCORE 642027.428
AT ITER 3490 NEW BEST:: SOT 4412440 SOS 743255 HAS SOPS 743255 HAS SOUS 641111 HAS SOUPS 641111 WITH SCORE 641854.255
AT ITER 3501 NEW BEST:: SOT 4412256 SOS 743071 HAS SOPS 743071 HAS SOUS 640927 HAS SOUPS 640927 WITH SCORE 641670.071
AT ITER 3508 NEW BEST:: SOT 4412130 SOS 742819 HAS SOPS 742819 HAS SOUS 640675 HAS SOUPS 640675 WITH SCORE 641417.819
AT ITER 3549 NEW BEST:: SOT 4411960 SOS 741953 HAS SOPS 741953 HAS SOUS 640157 HAS SOUPS 640157 WITH SCORE 640898.953
AT ITER 3570 NEW BEST:: SOT 4411831 SOS 741695 HAS SOPS 741695 HAS SOUS 639969 HAS SOUPS 639969 WITH SCORE 640710.695
AT ITER 3595 NEW BEST:: SOT 4411831 SOS 741695 HAS SOPS 741695 HAS SOUS 639907 HAS SOUPS 639907 WITH SCORE 640648.695
AT ITER 3619 NEW BEST:: SOT 4411815 SOS 741663 HAS SOPS 741663 HAS SOUS 639891 HAS SOUPS 639891 WITH SCORE 640632.663
AT ITER 3620 NEW BEST:: SOT 4411812 SOS 741657 HAS SOPS 741657 HAS SOUS 639885 HAS SOUPS 639885 WITH SCORE 640626.657
AT ITER 3650 NEW BEST:: SOT 4411721 SOS 741475 HAS SOPS 741475 HAS SOUS 639703 HAS SOUPS 639703 WITH SCORE 640444.475
AT ITER 3651 NEW BEST:: SOT 4411720 SOS 741473 HAS SOPS 741473 HAS SOUS 639702 HAS SOUPS 639702 WITH SCORE 640443.473
AT ITER 3655 NEW BEST:: SOT 4411617 SOS 741267 HAS SOPS 741267 HAS SOUS 639599 HAS SOUPS 639599 WITH SCORE 640340.267
AT ITER 3679 NEW BEST:: SOT 4411739 SOS 740889 HAS SOPS 740889 HAS SOUS 639410 HAS SOUPS 639410 WITH SCORE 640150.889
AT ITER 3681 NEW BEST:: SOT 4411818 SOS 741047 HAS SOPS 741047 HAS SOUS 639278 HAS SOUPS 639278 WITH SCORE 640019.047
AT ITER 3690 NEW BEST:: SOT 4411785 SOS 740981 HAS SOPS 740981 HAS SOUS 639212 HAS SOUPS 639212 WITH SCORE 639952.981
AT ITER 3734 NEW BEST:: SOT 4411782 SOS 740972 HAS SOPS 740972 HAS SOUS 639206 HAS SOUPS 639206 WITH SCORE 639946.972
AT ITER 3772 NEW BEST:: SOT 4411763 SOS 740934 HAS SOPS 740934 HAS SOUS 639168 HAS SOUPS 639168 WITH SCORE 639908.934
AT ITER 3775 NEW BEST:: SOT 4411633 SOS 740674 HAS SOPS 740674 HAS SOUS 638908 HAS SOUPS 638908 WITH SCORE 639648.674
AT ITER 3792 NEW BEST:: SOT 4411557 SOS 740522 HAS SOPS 740522 HAS SOUS 638756 HAS SOUPS 638756 WITH SCORE 639496.522
AT ITER 3850 NEW BEST:: SOT 4411522 SOS 740452 HAS SOPS 740452 HAS SOUS 638686 HAS SOUPS 638686 WITH SCORE 639426.452
AT ITER 3860 NEW BEST:: SOT 4411463 SOS 740413 HAS SOPS 740413 HAS SOUS 638626 HAS SOUPS 638626 WITH SCORE 639366.413
AT ITER 3889 NEW BEST:: SOT 4411294 SOS 740075 HAS SOPS 740075 HAS SOUS 638433 HAS SOUPS 638433 WITH SCORE 639173.075
AT ITER 3894 NEW BEST:: SOT 4410911 SOS 741473 HAS SOPS 741473 HAS SOUS 638285 HAS SOUPS 638285 WITH SCORE 639026.473
AT ITER 3896 NEW BEST:: SOT 4410760 SOS 740745 HAS SOPS 740745 HAS SOUS 638134 HAS SOUPS 638134 WITH SCORE 638874.745
AT ITER 3900 NEW BEST:: SOT 4410577 SOS 740622 HAS SOPS 740622 HAS SOUS 637951 HAS SOUPS 637951 WITH SCORE 638691.622
AT ITER 3913 NEW BEST:: SOT 4410514 SOS 740496 HAS SOPS 740496 HAS SOUS 637790 HAS SOUPS 637790 WITH SCORE 638530.496
AT ITER 3941 NEW BEST:: SOT 4410514 SOS 740489 HAS SOPS 740489 HAS SOUS 637790 HAS SOUPS 637790 WITH SCORE 638530.489
AT ITER 3960 NEW BEST:: SOT 4410549 SOS 740523 HAS SOPS 740523 HAS SOUS 637789 HAS SOUPS 637789 WITH SCORE 638529.523
AT ITER 4016 NEW BEST:: SOT 4410279 SOS 740283 HAS SOPS 740283 HAS SOUS 637549 HAS SOUPS 637549 WITH SCORE 638289.283
AT ITER 4017 NEW BEST:: SOT 4410151 SOS 740027 HAS SOPS 740027 HAS SOUS 637421 HAS SOUPS 637421 WITH SCORE 638161.027
AT ITER 4030 NEW BEST:: SOT 4410077 SOS 740124 HAS SOPS 740124 HAS SOUS 637413 HAS SOUPS 637413 WITH SCORE 638153.124
AT ITER 4040 NEW BEST:: SOT 4410077 SOS 740095 HAS SOPS 740095 HAS SOUS 637384 HAS SOUPS 637384 WITH SCORE 638124.095
AT ITER 4063 NEW BEST:: SOT 4410077 SOS 740071 HAS SOPS 740071 HAS SOUS 637360 HAS SOUPS 637360 WITH SCORE 638100.071
AT ITER 4081 NEW BEST:: SOT 4410071 SOS 739982 HAS SOPS 739982 HAS SOUS 637354 HAS SOUPS 637354 WITH SCORE 638093.982
AT ITER 4092 NEW BEST:: SOT 4410071 SOS 740043 HAS SOPS 740043 HAS SOUS 637353 HAS SOUPS 637353 WITH SCORE 638093.043
AT ITER 4096 NEW BEST:: SOT 4410016 SOS 739933 HAS SOPS 739933 HAS SOUS 637243 HAS SOUPS 637243 WITH SCORE 637982.933
AT ITER 4106 NEW BEST:: SOT 4409854 SOS 739609 HAS SOPS 739609 HAS SOUS 636919 HAS SOUPS 636919 WITH SCORE 637658.609
AT ITER 4107 NEW BEST:: SOT 4409854 SOS 737764 HAS SOPS 737764 HAS SOUS 636874 HAS SOUPS 636874 WITH SCORE 637611.764
AT ITER 4126 NEW BEST:: SOT 4409653 SOS 737560 HAS SOPS 737560 HAS SOUS 636673 HAS SOUPS 636673 WITH SCORE 637410.56
AT ITER 4145 NEW BEST:: SOT 4409733 SOS 737720 HAS SOPS 737720 HAS SOUS 636665 HAS SOUPS 636665 WITH SCORE 637402.72
AT ITER 4156 NEW BEST:: SOT 4409785 SOS 737695 HAS SOPS 737695 HAS SOUS 636639 HAS SOUPS 636639 WITH SCORE 637376.695
AT ITER 4167 NEW BEST:: SOT 4410015 SOS 737683 HAS SOPS 737683 HAS SOUS 636627 HAS SOUPS 636627 WITH SCORE 637364.683
AT ITER 4177 NEW BEST:: SOT 4409926 SOS 737594 HAS SOPS 737594 HAS SOUS 636538 HAS SOUPS 636538 WITH SCORE 637275.594
AT ITER 4194 NEW BEST:: SOT 4409820 SOS 737382 HAS SOPS 737382 HAS SOUS 636432 HAS SOUPS 636432 WITH SCORE 637169.382
AT ITER 4195 NEW BEST:: SOT 4409589 SOS 737152 HAS SOPS 737152 HAS SOUS 636202 HAS SOUPS 636202 WITH SCORE 636939.152
AT ITER 4199 NEW BEST:: SOT 4409500 SOS 736974 HAS SOPS 736974 HAS SOUS 636024 HAS SOUPS 636024 WITH SCORE 636760.974
AT ITER 4243 NEW BEST:: SOT 4409491 SOS 736962 HAS SOPS 736962 HAS SOUS 636012 HAS SOUPS 636012 WITH SCORE 636748.962
AT ITER 4264 NEW BEST:: SOT 4409494 SOS 736968 HAS SOPS 736968 HAS SOUS 635493 HAS SOUPS 635493 WITH SCORE 636229.968
AT ITER 4286 NEW BEST:: SOT 4409336 SOS 736652 HAS SOPS 736652 HAS SOUS 635364 HAS SOUPS 635364 WITH SCORE 636100.652
AT ITER 4311 NEW BEST:: SOT 4409322 SOS 736624 HAS SOPS 736624 HAS SOUS 635336 HAS SOUPS 635336 WITH SCORE 636072.624
AT ITER 4321 NEW BEST:: SOT 4409126 SOS 736232 HAS SOPS 736232 HAS SOUS 635289 HAS SOUPS 635289 WITH SCORE 636025.232
AT ITER 4328 NEW BEST:: SOT 4408822 SOS 735624 HAS SOPS 735624 HAS SOUS 634731 HAS SOUPS 634731 WITH SCORE 635466.624
AT ITER 4334 NEW BEST:: SOT 4408797 SOS 735549 HAS SOPS 735549 HAS SOUS 634681 HAS SOUPS 634681 WITH SCORE 635416.549
AT ITER 4387 NEW BEST:: SOT 4408713 SOS 735465 HAS SOPS 735465 HAS SOUS 634681 HAS SOUPS 634681 WITH SCORE 635416.465
AT ITER 4391 NEW BEST:: SOT 4408538 SOS 735290 HAS SOPS 735290 HAS SOUS 634506 HAS SOUPS 634506 WITH SCORE 635241.29
AT ITER 4392 NEW BEST:: SOT 4408525 SOS 735277 HAS SOPS 735277 HAS SOUS 634493 HAS SOUPS 634493 WITH SCORE 635228.277
AT ITER 4400 NEW BEST:: SOT 4408255 SOS 734396 HAS SOPS 734396 HAS SOUS 633879 HAS SOUPS 633879 WITH SCORE 634613.396
AT ITER 4402 NEW BEST:: SOT 4408247 SOS 734380 HAS SOPS 734380 HAS SOUS 633867 HAS SOUPS 633867 WITH SCORE 634601.38
AT ITER 4415 NEW BEST:: SOT 4408060 SOS 734006 HAS SOPS 734006 HAS SOUS 633493 HAS SOUPS 633493 WITH SCORE 634227.006
AT ITER 4431 NEW BEST:: SOT 4408011 SOS 733835 HAS SOPS 733835 HAS SOUS 633371 HAS SOUPS 633371 WITH SCORE 634104.835
AT ITER 4456 NEW BEST:: SOT 4407963 SOS 733787 HAS SOPS 733787 HAS SOUS 633323 HAS SOUPS 633323 WITH SCORE 634056.787
AT ITER 4466 NEW BEST:: SOT 4407761 SOS 734678 HAS SOPS 734678 HAS SOUS 633266 HAS SOUPS 633266 WITH SCORE 634000.678
AT ITER 4485 NEW BEST:: SOT 4407758 SOS 734672 HAS SOPS 734672 HAS SOUS 633260 HAS SOUPS 633260 WITH SCORE 633994.672
AT ITER 4507 NEW BEST:: SOT 4407757 SOS 734670 HAS SOPS 734670 HAS SOUS 633258 HAS SOUPS 633258 WITH SCORE 633992.67
AT ITER 4547 NEW BEST:: SOT 4407757 SOS 734670 HAS SOPS 734670 HAS SOUS 633001 HAS SOUPS 633001 WITH SCORE 633735.67
AT ITER 4575 NEW BEST:: SOT 4407636 SOS 734428 HAS SOPS 734428 HAS SOUS 632884 HAS SOUPS 632884 WITH SCORE 633618.428
AT ITER 4581 NEW BEST:: SOT 4407636 SOS 734356 HAS SOPS 734356 HAS SOUS 632848 HAS SOUPS 632848 WITH SCORE 633582.356
AT ITER 4593 NEW BEST:: SOT 4407617 SOS 734356 HAS SOPS 734356 HAS SOUS 632829 HAS SOUPS 632829 WITH SCORE 633563.356
AT ITER 4607 NEW BEST:: SOT 4407574 SOS 732882 HAS SOPS 732882 HAS SOUS 632446 HAS SOUPS 632446 WITH SCORE 633178.882
AT ITER 4612 NEW BEST:: SOT 4407377 SOS 732488 HAS SOPS 732488 HAS SOUS 632052 HAS SOUPS 632052 WITH SCORE 632784.488
AT ITER 4616 NEW BEST:: SOT 4407588 SOS 732617 HAS SOPS 732617 HAS SOUS 631970 HAS SOUPS 631970 WITH SCORE 632702.617
AT ITER 4636 NEW BEST:: SOT 4407576 SOS 732593 HAS SOPS 732593 HAS SOUS 631946 HAS SOUPS 631946 WITH SCORE 632678.593
AT ITER 4643 NEW BEST:: SOT 4407542 SOS 732525 HAS SOPS 732525 HAS SOUS 631912 HAS SOUPS 631912 WITH SCORE 632644.525
AT ITER 4662 NEW BEST:: SOT 4407466 SOS 732373 HAS SOPS 732373 HAS SOUS 631760 HAS SOUPS 631760 WITH SCORE 632492.373
AT ITER 4667 NEW BEST:: SOT 4407397 SOS 732235 HAS SOPS 732235 HAS SOUS 631622 HAS SOUPS 631622 WITH SCORE 632354.235
AT ITER 4676 NEW BEST:: SOT 4407397 SOS 732227 HAS SOPS 732227 HAS SOUS 631622 HAS SOUPS 631622 WITH SCORE 632354.227
AT ITER 4689 NEW BEST:: SOT 4407397 SOS 732226 HAS SOPS 732226 HAS SOUS 631621 HAS SOUPS 631621 WITH SCORE 632353.226
AT ITER 4710 NEW BEST:: SOT 4407396 SOS 731834 HAS SOPS 731834 HAS SOUS 631229 HAS SOUPS 631229 WITH SCORE 631960.834
AT ITER 4716 NEW BEST:: SOT 4407258 SOS 731361 HAS SOPS 731361 HAS SOUS 630953 HAS SOUPS 630953 WITH SCORE 631684.361
AT ITER 4725 NEW BEST:: SOT 4406792 SOS 731239 HAS SOPS 731239 HAS SOUS 630791 HAS SOUPS 630791 WITH SCORE 631522.239
AT ITER 4755 NEW BEST:: SOT 4406770 SOS 731195 HAS SOPS 731195 HAS SOUS 630747 HAS SOUPS 630747 WITH SCORE 631478.195
AT ITER 4795 NEW BEST:: SOT 4406717 SOS 731089 HAS SOPS 731089 HAS SOUS 630641 HAS SOUPS 630641 WITH SCORE 631372.089
AT ITER 4818 NEW BEST:: SOT 4406662 SOS 731034 HAS SOPS 731034 HAS SOUS 630583 HAS SOUPS 630583 WITH SCORE 631314.034
AT ITER 4871 NEW BEST:: SOT 4406302 SOS 730686 HAS SOPS 730686 HAS SOUS 630223 HAS SOUPS 630223 WITH SCORE 630953.686
AT ITER 4888 NEW BEST:: SOT 4406259 SOS 730471 HAS SOPS 730471 HAS SOUS 630137 HAS SOUPS 630137 WITH SCORE 630867.471
AT ITER 4918 NEW BEST:: SOT 4406245 SOS 730443 HAS SOPS 730443 HAS SOUS 630123 HAS SOUPS 630123 WITH SCORE 630853.443
AT ITER 4920 NEW BEST:: SOT 4405970 SOS 729893 HAS SOPS 729893 HAS SOUS 629573 HAS SOUPS 629573 WITH SCORE 630302.893
AT ITER 4954 NEW BEST:: SOT 4405869 SOS 729872 HAS SOPS 729872 HAS SOUS 629472 HAS SOUPS 629472 WITH SCORE 630201.872
AT ITER 4979 NEW BEST:: SOT 4405869 SOS 729742 HAS SOPS 729742 HAS SOUS 629342 HAS SOUPS 629342 WITH SCORE 630071.742
AT ITER 5013 NEW BEST:: SOT 4405485 SOS 729583 HAS SOPS 729583 HAS SOUS 629183 HAS SOUPS 629183 WITH SCORE 629912.583
AT ITER 5042 NEW BEST:: SOT 4405549 SOS 729711 HAS SOPS 729711 HAS SOUS 629173 HAS SOUPS 629173 WITH SCORE 629902.711
AT ITER 5068 NEW BEST:: SOT 4405434 SOS 729481 HAS SOPS 729481 HAS SOUS 629057 HAS SOUPS 629057 WITH SCORE 629786.481
AT ITER 5104 NEW BEST:: SOT 4405434 SOS 729481 HAS SOPS 729481 HAS SOUS 628927 HAS SOUPS 628927 WITH SCORE 629656.481
AT ITER 5117 NEW BEST:: SOT 4405434 SOS 729481 HAS SOPS 729481 HAS SOUS 628765 HAS SOUPS 628765 WITH SCORE 629494.481
AT ITER 5121 NEW BEST:: SOT 4405176 SOS 729223 HAS SOPS 729223 HAS SOUS 628507 HAS SOUPS 628507 WITH SCORE 629236.223
AT ITER 5134 NEW BEST:: SOT 4405176 SOS 728912 HAS SOPS 728912 HAS SOUS 628196 HAS SOUPS 628196 WITH SCORE 628924.912
AT ITER 5151 NEW BEST:: SOT 4405133 SOS 728826 HAS SOPS 728826 HAS SOUS 628110 HAS SOUPS 628110 WITH SCORE 628838.826
AT ITER 5155 NEW BEST:: SOT 4404961 SOS 728138 HAS SOPS 728138 HAS SOUS 627766 HAS SOUPS 627766 WITH SCORE 628494.138
AT ITER 5172 NEW BEST:: SOT 4404762 SOS 727740 HAS SOPS 727740 HAS SOUS 627567 HAS SOUPS 627567 WITH SCORE 628294.74
AT ITER 5176 NEW BEST:: SOT 4404758 SOS 727732 HAS SOPS 727732 HAS SOUS 627559 HAS SOUPS 627559 WITH SCORE 628286.732
AT ITER 5178 NEW BEST:: SOT 4404753 SOS 727722 HAS SOPS 727722 HAS SOUS 627554 HAS SOUPS 627554 WITH SCORE 628281.722
AT ITER 5189 NEW BEST:: SOT 4404516 SOS 727248 HAS SOPS 727248 HAS SOUS 627108 HAS SOUPS 627108 WITH SCORE 627835.248
AT ITER 5194 NEW BEST:: SOT 4404670 SOS 727227 HAS SOPS 727227 HAS SOUS 627087 HAS SOUPS 627087 WITH SCORE 627814.227
AT ITER 5203 NEW BEST:: SOT 4404780 SOS 727446 HAS SOPS 727446 HAS SOUS 627081 HAS SOUPS 627081 WITH SCORE 627808.446
AT ITER 5252 NEW BEST:: SOT 4404682 SOS 727250 HAS SOPS 727250 HAS SOUS 627070 HAS SOUPS 627070 WITH SCORE 627797.25
AT ITER 5263 NEW BEST:: SOT 4404682 SOS 727249 HAS SOPS 727249 HAS SOUS 627069 HAS SOUPS 627069 WITH SCORE 627796.249
AT ITER 5265 NEW BEST:: SOT 4404225 SOS 726939 HAS SOPS 726939 HAS SOUS 626688 HAS SOUPS 626688 WITH SCORE 627414.939
AT ITER 5272 NEW BEST:: SOT 4404092 SOS 726824 HAS SOPS 726824 HAS SOUS 626573 HAS SOUPS 626573 WITH SCORE 627299.824
AT ITER 5305 NEW BEST:: SOT 4403898 SOS 726436 HAS SOPS 726436 HAS SOUS 626185 HAS SOUPS 626185 WITH SCORE 626911.436
AT ITER 5311 NEW BEST:: SOT 4403898 SOS 726298 HAS SOPS 726298 HAS SOUS 626047 HAS SOUPS 626047 WITH SCORE 626773.298
AT ITER 5323 NEW BEST:: SOT 4403875 SOS 726252 HAS SOPS 726252 HAS SOUS 626001 HAS SOUPS 626001 WITH SCORE 626727.252
AT ITER 5327 NEW BEST:: SOT 4403906 SOS 726314 HAS SOPS 726314 HAS SOUS 625991 HAS SOUPS 625991 WITH SCORE 626717.314
AT ITER 5330 NEW BEST:: SOT 4403866 SOS 726234 HAS SOPS 726234 HAS SOUS 625911 HAS SOUPS 625911 WITH SCORE 626637.234
AT ITER 5346 NEW BEST:: SOT 4403719 SOS 726066 HAS SOPS 726066 HAS SOUS 625764 HAS SOUPS 625764 WITH SCORE 626490.066
AT ITER 5360 NEW BEST:: SOT 4403719 SOS 726065 HAS SOPS 726065 HAS SOUS 625763 HAS SOUPS 625763 WITH SCORE 626489.065
AT ITER 5368 NEW BEST:: SOT 4403666 SOS 725959 HAS SOPS 725959 HAS SOUS 625657 HAS SOUPS 625657 WITH SCORE 626382.959
AT ITER 5385 NEW BEST:: SOT 4403666 SOS 725897 HAS SOPS 725897 HAS SOUS 625626 HAS SOUPS 625626 WITH SCORE 626351.897
AT ITER 5425 NEW BEST:: SOT 4403643 SOS 725851 HAS SOPS 725851 HAS SOUS 625580 HAS SOUPS 625580 WITH SCORE 626305.851
AT ITER 5454 NEW BEST:: SOT 4403616 SOS 725797 HAS SOPS 725797 HAS SOUS 625473 HAS SOUPS 625473 WITH SCORE 626198.797
AT ITER 5459 NEW BEST:: SOT 4403599 SOS 725763 HAS SOPS 725763 HAS SOUS 625456 HAS SOUPS 625456 WITH SCORE 626181.763
AT ITER 5469 NEW BEST:: SOT 4403443 SOS 725451 HAS SOPS 725451 HAS SOUS 625144 HAS SOUPS 625144 WITH SCORE 625869.451
AT ITER 5472 NEW BEST:: SOT 4403442 SOS 725449 HAS SOPS 725449 HAS SOUS 625142 HAS SOUPS 625142 WITH SCORE 625867.449
AT ITER 5474 NEW BEST:: SOT 4403301 SOS 725167 HAS SOPS 725167 HAS SOUS 624860 HAS SOUPS 624860 WITH SCORE 625585.167
AT ITER 5491 NEW BEST:: SOT 4403299 SOS 725301 HAS SOPS 725301 HAS SOUS 624858 HAS SOUPS 624858 WITH SCORE 625583.301
AT ITER 5506 NEW BEST:: SOT 4403280 SOS 725352 HAS SOPS 725352 HAS SOUS 624839 HAS SOUPS 624839 WITH SCORE 625564.352
AT ITER 5513 NEW BEST:: SOT 4403133 SOS 725205 HAS SOPS 725205 HAS SOUS 624692 HAS SOUPS 624692 WITH SCORE 625417.205
AT ITER 5596 NEW BEST:: SOT 4402924 SOS 724787 HAS SOPS 724787 HAS SOUS 624520 HAS SOUPS 624520 WITH SCORE 625244.787
AT ITER 5606 NEW BEST:: SOT 4401992 SOS 726024 HAS SOPS 726024 HAS SOUS 623724 HAS SOUPS 623724 WITH SCORE 624450.024
AT ITER 5615 NEW BEST:: SOT 4401660 SOS 725360 HAS SOPS 725360 HAS SOUS 623569 HAS SOUPS 623569 WITH SCORE 624294.36
AT ITER 5619 NEW BEST:: SOT 4401660 SOS 725277 HAS SOPS 725277 HAS SOUS 623486 HAS SOUPS 623486 WITH SCORE 624211.277
AT ITER 5627 NEW BEST:: SOT 4401583 SOS 725200 HAS SOPS 725200 HAS SOUS 623486 HAS SOUPS 623486 WITH SCORE 624211.2
AT ITER 5630 NEW BEST:: SOT 4401418 SOS 724870 HAS SOPS 724870 HAS SOUS 623156 HAS SOUPS 623156 WITH SCORE 623880.87
AT ITER 5638 NEW BEST:: SOT 4401417 SOS 724868 HAS SOPS 724868 HAS SOUS 623154 HAS SOUPS 623154 WITH SCORE 623878.868
AT ITER 5671 NEW BEST:: SOT 4401313 SOS 725006 HAS SOPS 725006 HAS SOUS 623019 HAS SOUPS 623019 WITH SCORE 623744.006
AT ITER 5683 NEW BEST:: SOT 4401413 SOS 725206 HAS SOPS 725206 HAS SOUS 623016 HAS SOUPS 623016 WITH SCORE 623741.206
AT ITER 5724 NEW BEST:: SOT 4401259 SOS 725079 HAS SOPS 725079 HAS SOUS 622708 HAS SOUPS 622708 WITH SCORE 623433.079
AT ITER 5741 NEW BEST:: SOT 4401259 SOS 724855 HAS SOPS 724855 HAS SOUS 622596 HAS SOUPS 622596 WITH SCORE 623320.855
AT ITER 5743 NEW BEST:: SOT 4401257 SOS 724851 HAS SOPS 724851 HAS SOUS 622592 HAS SOUPS 622592 WITH SCORE 623316.851
AT ITER 5850 NEW BEST:: SOT 4401038 SOS 724413 HAS SOPS 724413 HAS SOUS 622180 HAS SOUPS 622180 WITH SCORE 622904.413
AT ITER 5911 NEW BEST:: SOT 4401038 SOS 724413 HAS SOPS 724413 HAS SOUS 622124 HAS SOUPS 622124 WITH SCORE 622848.413
AT ITER 5923 NEW BEST:: SOT 4400979 SOS 724295 HAS SOPS 724295 HAS SOUS 622065 HAS SOUPS 622065 WITH SCORE 622789.295
AT ITER 5977 NEW BEST:: SOT 4401171 SOS 724679 HAS SOPS 724679 HAS SOUS 621945 HAS SOUPS 621945 WITH SCORE 622669.679
AT ITER 6001 NEW BEST:: SOT 4401074 SOS 724485 HAS SOPS 724485 HAS SOUS 621751 HAS SOUPS 621751 WITH SCORE 622475.485
AT ITER 6020 NEW BEST:: SOT 4401144 SOS 724442 HAS SOPS 724442 HAS SOUS 621708 HAS SOUPS 621708 WITH SCORE 622432.442
AT ITER 6042 NEW BEST:: SOT 4400976 SOS 724274 HAS SOPS 724274 HAS SOUS 621540 HAS SOUPS 621540 WITH SCORE 622264.274
AT ITER 6049 NEW BEST:: SOT 4400875 SOS 724072 HAS SOPS 724072 HAS SOUS 621430 HAS SOUPS 621430 WITH SCORE 622154.072
AT ITER 6086 NEW BEST:: SOT 4400845 SOS 724012 HAS SOPS 724012 HAS SOUS 621101 HAS SOUPS 621101 WITH SCORE 621825.012
AT ITER 6124 NEW BEST:: SOT 4400780 SOS 723882 HAS SOPS 723882 HAS SOUS 621045 HAS SOUPS 621045 WITH SCORE 621768.882
AT ITER 6156 NEW BEST:: SOT 4400763 SOS 723848 HAS SOPS 723848 HAS SOUS 621011 HAS SOUPS 621011 WITH SCORE 621734.848
AT ITER 6164 NEW BEST:: SOT 4400754 SOS 723658 HAS SOPS 723658 HAS SOUS 620979 HAS SOUPS 620979 WITH SCORE 621702.658
AT ITER 6165 NEW BEST:: SOT 4400385 SOS 722920 HAS SOPS 722920 HAS SOUS 620625 HAS SOUPS 620625 WITH SCORE 621347.92
AT ITER 6196 NEW BEST:: SOT 4400139 SOS 722428 HAS SOPS 722428 HAS SOUS 620133 HAS SOUPS 620133 WITH SCORE 620855.428
AT ITER 6200 NEW BEST:: SOT 4400112 SOS 722374 HAS SOPS 722374 HAS SOUS 620079 HAS SOUPS 620079 WITH SCORE 620801.374
AT ITER 6215 NEW BEST:: SOT 4400059 SOS 722268 HAS SOPS 722268 HAS SOUS 620020 HAS SOUPS 620020 WITH SCORE 620742.268
AT ITER 6294 NEW BEST:: SOT 4400059 SOS 721985 HAS SOPS 721985 HAS SOUS 620020 HAS SOUPS 620020 WITH SCORE 620741.985
AT ITER 6295 NEW BEST:: SOT 4400047 SOS 721973 HAS SOPS 721973 HAS SOUS 620008 HAS SOUPS 620008 WITH SCORE 620729.973
AT ITER 6326 NEW BEST:: SOT 4399831 SOS 721657 HAS SOPS 721657 HAS SOUS 619957 HAS SOUPS 619957 WITH SCORE 620678.657
AT ITER 6341 NEW BEST:: SOT 4399831 SOS 721599 HAS SOPS 721599 HAS SOUS 619899 HAS SOUPS 619899 WITH SCORE 620620.599
AT ITER 6424 NEW BEST:: SOT 4399946 SOS 721586 HAS SOPS 721586 HAS SOUS 619886 HAS SOUPS 619886 WITH SCORE 620607.586
AT ITER 6436 NEW BEST:: SOT 4399903 SOS 721500 HAS SOPS 721500 HAS SOUS 619800 HAS SOUPS 619800 WITH SCORE 620521.5
AT ITER 6443 NEW BEST:: SOT 4399834 SOS 721086 HAS SOPS 721086 HAS SOUS 619662 HAS SOUPS 619662 WITH SCORE 620383.086
AT ITER 6453 NEW BEST:: SOT 4399829 SOS 721026 HAS SOPS 721026 HAS SOUS 619607 HAS SOUPS 619607 WITH SCORE 620328.026
AT ITER 6470 NEW BEST:: SOT 4399719 SOS 720495 HAS SOPS 720495 HAS SOUS 619186 HAS SOUPS 619186 WITH SCORE 619906.495
AT ITER 6489 NEW BEST:: SOT 4399565 SOS 720315 HAS SOPS 720315 HAS SOUS 618987 HAS SOUPS 618987 WITH SCORE 619707.315
AT ITER 6531 NEW BEST:: SOT 4399457 SOS 720099 HAS SOPS 720099 HAS SOUS 618771 HAS SOUPS 618771 WITH SCORE 619491.099
AT ITER 6557 NEW BEST:: SOT 4399457 SOS 720053 HAS SOPS 720053 HAS SOUS 618725 HAS SOUPS 618725 WITH SCORE 619445.053
AT ITER 6558 NEW BEST:: SOT 4399437 SOS 720013 HAS SOPS 720013 HAS SOUS 618685 HAS SOUPS 618685 WITH SCORE 619405.013
AT ITER 6575 NEW BEST:: SOT 4399392 SOS 719923 HAS SOPS 719923 HAS SOUS 618595 HAS SOUPS 618595 WITH SCORE 619314.923
AT ITER 6577 NEW BEST:: SOT 4399432 SOS 720003 HAS SOPS 720003 HAS SOUS 618460 HAS SOUPS 618460 WITH SCORE 619180.003
AT ITER 6588 NEW BEST:: SOT 4399539 SOS 719982 HAS SOPS 719982 HAS SOUS 618439 HAS SOUPS 618439 WITH SCORE 619158.982
AT ITER 6629 NEW BEST:: SOT 4399436 SOS 719776 HAS SOPS 719776 HAS SOUS 618233 HAS SOUPS 618233 WITH SCORE 618952.776
AT ITER 6660 NEW BEST:: SOT 4399641 SOS 719090 HAS SOPS 719090 HAS SOUS 618058 HAS SOUPS 618058 WITH SCORE 618777.09
AT ITER 6688 NEW BEST:: SOT 4399616 SOS 719040 HAS SOPS 719040 HAS SOUS 618033 HAS SOUPS 618033 WITH SCORE 618752.04
AT ITER 6711 NEW BEST:: SOT 4399359 SOS 718785 HAS SOPS 718785 HAS SOUS 617776 HAS SOUPS 617776 WITH SCORE 618494.785
AT ITER 6722 NEW BEST:: SOT 4399297 SOS 718661 HAS SOPS 718661 HAS SOUS 617714 HAS SOUPS 617714 WITH SCORE 618432.661
AT ITER 6736 NEW BEST:: SOT 4399282 SOS 718631 HAS SOPS 718631 HAS SOUS 617684 HAS SOUPS 617684 WITH SCORE 618402.631
AT ITER 6739 NEW BEST:: SOT 4399492 SOS 718718 HAS SOPS 718718 HAS SOUS 617610 HAS SOUPS 617610 WITH SCORE 618328.718
AT ITER 6759 NEW BEST:: SOT 4399491 SOS 718716 HAS SOPS 718716 HAS SOUS 617608 HAS SOUPS 617608 WITH SCORE 618326.716
AT ITER 6767 NEW BEST:: SOT 4399489 SOS 718712 HAS SOPS 718712 HAS SOUS 617604 HAS SOUPS 617604 WITH SCORE 618322.712
AT ITER 6768 NEW BEST:: SOT 4399214 SOS 718162 HAS SOPS 718162 HAS SOUS 617054 HAS SOUPS 617054 WITH SCORE 617772.162
AT ITER 6770 NEW BEST:: SOT 4399121 SOS 717976 HAS SOPS 717976 HAS SOUS 616868 HAS SOUPS 616868 WITH SCORE 617585.976
AT ITER 6847 NEW BEST:: SOT 4399318 SOS 717716 HAS SOPS 717716 HAS SOUS 616738 HAS SOUPS 616738 WITH SCORE 617455.716
AT ITER 6859 NEW BEST:: SOT 4398994 SOS 717689 HAS SOPS 717689 HAS SOUS 616487 HAS SOUPS 616487 WITH SCORE 617204.689
AT ITER 6862 NEW BEST:: SOT 4398994 SOS 717206 HAS SOPS 717206 HAS SOUS 616418 HAS SOUPS 616418 WITH SCORE 617135.206
AT ITER 6881 NEW BEST:: SOT 4398159 SOS 717643 HAS SOPS 717643 HAS SOUS 615869 HAS SOUPS 615869 WITH SCORE 616586.643
AT ITER 6899 NEW BEST:: SOT 4398158 SOS 717276 HAS SOPS 717276 HAS SOUS 615502 HAS SOUPS 615502 WITH SCORE 616219.276
AT ITER 6929 NEW BEST:: SOT 4398158 SOS 717252 HAS SOPS 717252 HAS SOUS 615478 HAS SOUPS 615478 WITH SCORE 616195.252
AT ITER 6953 NEW BEST:: SOT 4397682 SOS 716797 HAS SOPS 716797 HAS SOUS 615008 HAS SOUPS 615008 WITH SCORE 615724.797
AT ITER 6957 NEW BEST:: SOT 4397636 SOS 716615 HAS SOPS 716615 HAS SOUS 614872 HAS SOUPS 614872 WITH SCORE 615588.615
AT ITER 6972 NEW BEST:: SOT 4396997 SOS 715337 HAS SOPS 715337 HAS SOUS 613920 HAS SOUPS 613920 WITH SCORE 614635.337
AT ITER 6979 NEW BEST:: SOT 4396916 SOS 715270 HAS SOPS 715270 HAS SOUS 613853 HAS SOUPS 613853 WITH SCORE 614568.27
AT ITER 7026 NEW BEST:: SOT 4396641 SOS 714720 HAS SOPS 714720 HAS SOUS 613593 HAS SOUPS 613593 WITH SCORE 614307.72
AT ITER 7030 NEW BEST:: SOT 4396580 SOS 714659 HAS SOPS 714659 HAS SOUS 613593 HAS SOUPS 613593 WITH SCORE 614307.659
AT ITER 7048 NEW BEST:: SOT 4396556 SOS 714611 HAS SOPS 714611 HAS SOUS 613572 HAS SOUPS 613572 WITH SCORE 614286.611
AT ITER 7057 NEW BEST:: SOT 4396423 SOS 714547 HAS SOPS 714547 HAS SOUS 613377 HAS SOUPS 613377 WITH SCORE 614091.547
AT ITER 7075 NEW BEST:: SOT 4396422 SOS 714442 HAS SOPS 714442 HAS SOUS 613272 HAS SOUPS 613272 WITH SCORE 613986.442
AT ITER 7088 NEW BEST:: SOT 4396391 SOS 713546 HAS SOPS 713546 HAS SOUS 613175 HAS SOUPS 613175 WITH SCORE 613888.546
AT ITER 7124 NEW BEST:: SOT 4396391 SOS 713546 HAS SOPS 713546 HAS SOUS 613174 HAS SOUPS 613174 WITH SCORE 613887.546
AT ITER 7130 NEW BEST:: SOT 4396441 SOS 713349 HAS SOPS 713349 HAS SOUS 612472 HAS SOUPS 612472 WITH SCORE 613185.349
AT ITER 7133 NEW BEST:: SOT 4396384 SOS 713235 HAS SOPS 713235 HAS SOUS 612358 HAS SOUPS 612358 WITH SCORE 613071.235
AT ITER 7137 NEW BEST:: SOT 4396334 SOS 713135 HAS SOPS 713135 HAS SOUS 612258 HAS SOUPS 612258 WITH SCORE 612971.135
AT ITER 7195 NEW BEST:: SOT 4396333 SOS 713133 HAS SOPS 713133 HAS SOUS 612256 HAS SOUPS 612256 WITH SCORE 612969.133
AT ITER 7246 NEW BEST:: SOT 4396350 SOS 713009 HAS SOPS 713009 HAS SOUS 612203 HAS SOUPS 612203 WITH SCORE 612916.009
AT ITER 7250 NEW BEST:: SOT 4396415 SOS 712554 HAS SOPS 712554 HAS SOUS 611881 HAS SOUPS 611881 WITH SCORE 612593.554
AT ITER 7312 NEW BEST:: SOT 4396461 SOS 712438 HAS SOPS 712438 HAS SOUS 611875 HAS SOUPS 611875 WITH SCORE 612587.438
AT ITER 7327 NEW BEST:: SOT 4396321 SOS 711698 HAS SOPS 711698 HAS SOUS 611275 HAS SOUPS 611275 WITH SCORE 611986.698
AT ITER 7328 NEW BEST:: SOT 4396303 SOS 711644 HAS SOPS 711644 HAS SOUS 611239 HAS SOUPS 611239 WITH SCORE 611950.644
AT ITER 7331 NEW BEST:: SOT 4396254 SOS 711403 HAS SOPS 711403 HAS SOUS 611141 HAS SOUPS 611141 WITH SCORE 611852.403
AT ITER 7353 NEW BEST:: SOT 4396254 SOS 711403 HAS SOPS 711403 HAS SOUS 610982 HAS SOUPS 610982 WITH SCORE 611693.403
AT ITER 7374 NEW BEST:: SOT 4396032 SOS 710959 HAS SOPS 710959 HAS SOUS 610604 HAS SOUPS 610604 WITH SCORE 611314.959
AT ITER 7382 NEW BEST:: SOT 4396024 SOS 710959 HAS SOPS 710959 HAS SOUS 610588 HAS SOUPS 610588 WITH SCORE 611298.959
AT ITER 7387 NEW BEST:: SOT 4396024 SOS 710959 HAS SOPS 710959 HAS SOUS 610535 HAS SOUPS 610535 WITH SCORE 611245.959
AT ITER 7389 NEW BEST:: SOT 4395963 SOS 710898 HAS SOPS 710898 HAS SOUS 610509 HAS SOUPS 610509 WITH SCORE 611219.898
AT ITER 7409 NEW BEST:: SOT 4395905 SOS 710782 HAS SOPS 710782 HAS SOUS 610451 HAS SOUPS 610451 WITH SCORE 611161.782
AT ITER 7412 NEW BEST:: SOT 4395905 SOS 710780 HAS SOPS 710780 HAS SOUS 610448 HAS SOUPS 610448 WITH SCORE 611158.78
AT ITER 7429 NEW BEST:: SOT 4395855 SOS 710613 HAS SOPS 710613 HAS SOUS 610362 HAS SOUPS 610362 WITH SCORE 611072.613
AT ITER 7430 NEW BEST:: SOT 4395830 SOS 710563 HAS SOPS 710563 HAS SOUS 610312 HAS SOUPS 610312 WITH SCORE 611022.563
AT ITER 7456 NEW BEST:: SOT 4395658 SOS 710219 HAS SOPS 710219 HAS SOUS 610170 HAS SOUPS 610170 WITH SCORE 610880.219
AT ITER 7464 NEW BEST:: SOT 4395826 SOS 710364 HAS SOPS 710364 HAS SOUS 610147 HAS SOUPS 610147 WITH SCORE 610857.364
AT ITER 7479 NEW BEST:: SOT 4395826 SOS 710364 HAS SOPS 710364 HAS SOUS 610088 HAS SOUPS 610088 WITH SCORE 610798.364
AT ITER 7497 NEW BEST:: SOT 4395991 SOS 710336 HAS SOPS 710336 HAS SOUS 610062 HAS SOUPS 610062 WITH SCORE 610772.336
AT ITER 7512 NEW BEST:: SOT 4395953 SOS 710023 HAS SOPS 710023 HAS SOUS 609986 HAS SOUPS 609986 WITH SCORE 610696.023
AT ITER 7571 NEW BEST:: SOT 4395736 SOS 709589 HAS SOPS 709589 HAS SOUS 609796 HAS SOUPS 609796 WITH SCORE 610505.589
AT ITER 7582 NEW BEST:: SOT 4395658 SOS 709433 HAS SOPS 709433 HAS SOUS 609640 HAS SOUPS 609640 WITH SCORE 610349.433
AT ITER 7626 NEW BEST:: SOT 4395637 SOS 709391 HAS SOPS 709391 HAS SOUS 609615 HAS SOUPS 609615 WITH SCORE 610324.391
AT ITER 7629 NEW BEST:: SOT 4395574 SOS 709265 HAS SOPS 709265 HAS SOUS 609489 HAS SOUPS 609489 WITH SCORE 610198.265
AT ITER 7643 NEW BEST:: SOT 4395514 SOS 709145 HAS SOPS 709145 HAS SOUS 609429 HAS SOUPS 609429 WITH SCORE 610138.145
AT ITER 7653 NEW BEST:: SOT 4395416 SOS 709047 HAS SOPS 709047 HAS SOUS 609429 HAS SOUPS 609429 WITH SCORE 610138.047
AT ITER 7668 NEW BEST:: SOT 4395299 SOS 708813 HAS SOPS 708813 HAS SOUS 609195 HAS SOUPS 609195 WITH SCORE 609903.813
AT ITER 7716 NEW BEST:: SOT 4395295 SOS 708805 HAS SOPS 708805 HAS SOUS 609187 HAS SOUPS 609187 WITH SCORE 609895.805
AT ITER 7727 NEW BEST:: SOT 4395249 SOS 708713 HAS SOPS 708713 HAS SOUS 609095 HAS SOUPS 609095 WITH SCORE 609803.713
AT ITER 7737 NEW BEST:: SOT 4395077 SOS 708515 HAS SOPS 708515 HAS SOUS 608888 HAS SOUPS 608888 WITH SCORE 609596.515
AT ITER 7799 NEW BEST:: SOT 4394823 SOS 708435 HAS SOPS 708435 HAS SOUS 608808 HAS SOUPS 608808 WITH SCORE 609516.435
AT ITER 7838 NEW BEST:: SOT 4394640 SOS 708226 HAS SOPS 708226 HAS SOUS 608625 HAS SOUPS 608625 WITH SCORE 609333.226
AT ITER 7842 NEW BEST:: SOT 4394581 SOS 708184 HAS SOPS 708184 HAS SOUS 608583 HAS SOUPS 608583 WITH SCORE 609291.184
AT ITER 7942 NEW BEST:: SOT 4394569 SOS 708160 HAS SOPS 708160 HAS SOUS 608559 HAS SOUPS 608559 WITH SCORE 609267.16
AT ITER 7946 NEW BEST:: SOT 4394569 SOS 708160 HAS SOPS 708160 HAS SOUS 608528 HAS SOUPS 608528 WITH SCORE 609236.16
AT ITER 7971 NEW BEST:: SOT 4394528 SOS 708126 HAS SOPS 708126 HAS SOUS 608494 HAS SOUPS 608494 WITH SCORE 609202.126
AT ITER 7978 NEW BEST:: SOT 4394484 SOS 708038 HAS SOPS 708038 HAS SOUS 608406 HAS SOUPS 608406 WITH SCORE 609114.038
AT ITER 8002 NEW BEST:: SOT 4394271 SOS 708276 HAS SOPS 708276 HAS SOUS 608359 HAS SOUPS 608359 WITH SCORE 609067.276
AT ITER 8007 NEW BEST:: SOT 4394183 SOS 708188 HAS SOPS 708188 HAS SOUS 608271 HAS SOUPS 608271 WITH SCORE 608979.188
AT ITER 8012 NEW BEST:: SOT 4394173 SOS 708168 HAS SOPS 708168 HAS SOUS 608261 HAS SOUPS 608261 WITH SCORE 608969.168
AT ITER 8013 NEW BEST:: SOT 4394011 SOS 708320 HAS SOPS 708320 HAS SOUS 608218 HAS SOUPS 608218 WITH SCORE 608926.32
AT ITER 8016 NEW BEST:: SOT 4394060 SOS 708079 HAS SOPS 708079 HAS SOUS 608072 HAS SOUPS 608072 WITH SCORE 608780.079
AT ITER 8039 NEW BEST:: SOT 4393762 SOS 707483 HAS SOPS 707483 HAS SOUS 607482 HAS SOUPS 607482 WITH SCORE 608189.483
AT ITER 8088 NEW BEST:: SOT 4393783 SOS 707440 HAS SOPS 707440 HAS SOUS 607439 HAS SOUPS 607439 WITH SCORE 608146.44
AT ITER 8096 NEW BEST:: SOT 4393774 SOS 707422 HAS SOPS 707422 HAS SOUS 607421 HAS SOUPS 607421 WITH SCORE 608128.422
AT ITER 8121 NEW BEST:: SOT 4393444 SOS 706762 HAS SOPS 706762 HAS SOUS 606800 HAS SOUPS 606800 WITH SCORE 607506.762
AT ITER 8126 NEW BEST:: SOT 4393275 SOS 706804 HAS SOPS 706804 HAS SOUS 606726 HAS SOUPS 606726 WITH SCORE 607432.804
AT ITER 8160 NEW BEST:: SOT 4393141 SOS 706735 HAS SOPS 706735 HAS SOUS 606504 HAS SOUPS 606504 WITH SCORE 607210.735
AT ITER 8185 NEW BEST:: SOT 4393141 SOS 706616 HAS SOPS 706616 HAS SOUS 606504 HAS SOUPS 606504 WITH SCORE 607210.616
AT ITER 8199 NEW BEST:: SOT 4393008 SOS 706350 HAS SOPS 706350 HAS SOUS 606238 HAS SOUPS 606238 WITH SCORE 606944.35
AT ITER 8227 NEW BEST:: SOT 4392977 SOS 706288 HAS SOPS 706288 HAS SOUS 606176 HAS SOUPS 606176 WITH SCORE 606882.288
AT ITER 8244 NEW BEST:: SOT 4392958 SOS 706250 HAS SOPS 706250 HAS SOUS 606157 HAS SOUPS 606157 WITH SCORE 606863.25
AT ITER 8271 NEW BEST:: SOT 4392957 SOS 706249 HAS SOPS 706249 HAS SOUS 606156 HAS SOUPS 606156 WITH SCORE 606862.249
AT ITER 8290 NEW BEST:: SOT 4392814 SOS 705963 HAS SOPS 705963 HAS SOUS 605870 HAS SOUPS 605870 WITH SCORE 606575.963
AT ITER 8311 NEW BEST:: SOT 4392716 SOS 705767 HAS SOPS 705767 HAS SOUS 605807 HAS SOUPS 605807 WITH SCORE 606512.767
AT ITER 8326 NEW BEST:: SOT 4392698 SOS 705731 HAS SOPS 705731 HAS SOUS 605771 HAS SOUPS 605771 WITH SCORE 606476.731
AT ITER 8327 NEW BEST:: SOT 4392698 SOS 705708 HAS SOPS 705708 HAS SOUS 605748 HAS SOUPS 605748 WITH SCORE 606453.708
AT ITER 8355 NEW BEST:: SOT 4392692 SOS 705681 HAS SOPS 705681 HAS SOUS 605737 HAS SOUPS 605737 WITH SCORE 606442.681
AT ITER 8385 NEW BEST:: SOT 4392603 SOS 705503 HAS SOPS 705503 HAS SOUS 605397 HAS SOUPS 605397 WITH SCORE 606102.503
AT ITER 8423 NEW BEST:: SOT 4392245 SOS 705145 HAS SOPS 705145 HAS SOUS 605039 HAS SOUPS 605039 WITH SCORE 605744.145
AT ITER 8425 NEW BEST:: SOT 4392179 SOS 705123 HAS SOPS 705123 HAS SOUS 604994 HAS SOUPS 604994 WITH SCORE 605699.123
AT ITER 8490 NEW BEST:: SOT 4392179 SOS 705122 HAS SOPS 705122 HAS SOUS 604993 HAS SOUPS 604993 WITH SCORE 605698.122
AT ITER 8521 NEW BEST:: SOT 4392182 SOS 705128 HAS SOPS 705128 HAS SOUS 604982 HAS SOUPS 604982 WITH SCORE 605687.128
AT ITER 8545 NEW BEST:: SOT 4392150 SOS 705064 HAS SOPS 705064 HAS SOUS 604932 HAS SOUPS 604932 WITH SCORE 605637.064
AT ITER 8557 NEW BEST:: SOT 4392149 SOS 705085 HAS SOPS 705085 HAS SOUS 604930 HAS SOUPS 604930 WITH SCORE 605635.085
AT ITER 8561 NEW BEST:: SOT 4392138 SOS 705063 HAS SOPS 705063 HAS SOUS 604908 HAS SOUPS 604908 WITH SCORE 605613.063
AT ITER 8602 NEW BEST:: SOT 4392105 SOS 704997 HAS SOPS 704997 HAS SOUS 604842 HAS SOUPS 604842 WITH SCORE 605546.997
AT ITER 8625 NEW BEST:: SOT 4391975 SOS 704773 HAS SOPS 704773 HAS SOUS 604712 HAS SOUPS 604712 WITH SCORE 605416.773
AT ITER 8651 NEW BEST:: SOT 4392127 SOS 704922 HAS SOPS 704922 HAS SOUS 604709 HAS SOUPS 604709 WITH SCORE 605413.922
AT ITER 8678 NEW BEST:: SOT 4391957 SOS 704582 HAS SOPS 704582 HAS SOUS 604387 HAS SOUPS 604387 WITH SCORE 605091.582
AT ITER 8682 NEW BEST:: SOT 4391643 SOS 703954 HAS SOPS 703954 HAS SOUS 603759 HAS SOUPS 603759 WITH SCORE 604462.954
AT ITER 8747 NEW BEST:: SOT 4391515 SOS 703698 HAS SOPS 703698 HAS SOUS 603503 HAS SOUPS 603503 WITH SCORE 604206.698
AT ITER 8771 NEW BEST:: SOT 4391328 SOS 703324 HAS SOPS 703324 HAS SOUS 603416 HAS SOUPS 603416 WITH SCORE 604119.324
AT ITER 8772 NEW BEST:: SOT 4391268 SOS 703292 HAS SOPS 703292 HAS SOUS 603384 HAS SOUPS 603384 WITH SCORE 604087.292
AT ITER 8782 NEW BEST:: SOT 4391175 SOS 703106 HAS SOPS 703106 HAS SOUS 603291 HAS SOUPS 603291 WITH SCORE 603994.106
AT ITER 8792 NEW BEST:: SOT 4391169 SOS 703100 HAS SOPS 703100 HAS SOUS 603285 HAS SOUPS 603285 WITH SCORE 603988.1
AT ITER 8817 NEW BEST:: SOT 4391167 SOS 703096 HAS SOPS 703096 HAS SOUS 603281 HAS SOUPS 603281 WITH SCORE 603984.096
AT ITER 8849 NEW BEST:: SOT 4390909 SOS 702884 HAS SOPS 702884 HAS SOUS 603057 HAS SOUPS 603057 WITH SCORE 603759.884
AT ITER 8879 NEW BEST:: SOT 4390810 SOS 702452 HAS SOPS 702452 HAS SOUS 602625 HAS SOUPS 602625 WITH SCORE 603327.452
AT ITER 8891 NEW BEST:: SOT 4390810 SOS 702451 HAS SOPS 702451 HAS SOUS 602624 HAS SOUPS 602624 WITH SCORE 603326.451
AT ITER 8898 NEW BEST:: SOT 4390765 SOS 702486 HAS SOPS 702486 HAS SOUS 602605 HAS SOUPS 602605 WITH SCORE 603307.486
AT ITER 8899 NEW BEST:: SOT 4390765 SOS 702350 HAS SOPS 702350 HAS SOUS 602537 HAS SOUPS 602537 WITH SCORE 603239.35
AT ITER 8933 NEW BEST:: SOT 4390849 SOS 702518 HAS SOPS 702518 HAS SOUS 602403 HAS SOUPS 602403 WITH SCORE 603105.518
AT ITER 8950 NEW BEST:: SOT 4390749 SOS 702318 HAS SOPS 702318 HAS SOUS 602203 HAS SOUPS 602203 WITH SCORE 602905.318
AT ITER 8959 NEW BEST:: SOT 4390749 SOS 702317 HAS SOPS 702317 HAS SOUS 602202 HAS SOUPS 602202 WITH SCORE 602904.317
AT ITER 8963 NEW BEST:: SOT 4390733 SOS 702237 HAS SOPS 702237 HAS SOUS 602170 HAS SOUPS 602170 WITH SCORE 602872.237
AT ITER 8971 NEW BEST:: SOT 4390707 SOS 702185 HAS SOPS 702185 HAS SOUS 602118 HAS SOUPS 602118 WITH SCORE 602820.185
AT ITER 8988 NEW BEST:: SOT 4390707 SOS 701912 HAS SOPS 701912 HAS SOUS 601845 HAS SOUPS 601845 WITH SCORE 602546.912
AT ITER 8992 NEW BEST:: SOT 4390410 SOS 701318 HAS SOPS 701318 HAS SOUS 601603 HAS SOUPS 601603 WITH SCORE 602304.318
AT ITER 8993 NEW BEST:: SOT 4390182 SOS 701090 HAS SOPS 701090 HAS SOUS 601375 HAS SOUPS 601375 WITH SCORE 602076.09
AT ITER 8995 NEW BEST:: SOT 4390047 SOS 700958 HAS SOPS 700958 HAS SOUS 601243 HAS SOUPS 601243 WITH SCORE 601943.958
AT ITER 9003 NEW BEST:: SOT 4389910 SOS 700821 HAS SOPS 700821 HAS SOUS 601106 HAS SOUPS 601106 WITH SCORE 601806.821
AT ITER 9011 NEW BEST:: SOT 4389825 SOS 700651 HAS SOPS 700651 HAS SOUS 601081 HAS SOUPS 601081 WITH SCORE 601781.651
AT ITER 9017 NEW BEST:: SOT 4389821 SOS 700643 HAS SOPS 700643 HAS SOUS 601073 HAS SOUPS 601073 WITH SCORE 601773.643
AT ITER 9019 NEW BEST:: SOT 4389790 SOS 700452 HAS SOPS 700452 HAS SOUS 601011 HAS SOUPS 601011 WITH SCORE 601711.452
AT ITER 9038 NEW BEST:: SOT 4389701 SOS 700540 HAS SOPS 700540 HAS SOUS 600922 HAS SOUPS 600922 WITH SCORE 601622.54
AT ITER 9066 NEW BEST:: SOT 4389701 SOS 700539 HAS SOPS 700539 HAS SOUS 600722 HAS SOUPS 600722 WITH SCORE 601422.539
AT ITER 9067 NEW BEST:: SOT 4389698 SOS 700445 HAS SOPS 700445 HAS SOUS 600631 HAS SOUPS 600631 WITH SCORE 601331.445
AT ITER 9076 NEW BEST:: SOT 4389768 SOS 700497 HAS SOPS 700497 HAS SOUS 600605 HAS SOUPS 600605 WITH SCORE 601305.497
AT ITER 9109 NEW BEST:: SOT 4389760 SOS 700489 HAS SOPS 700489 HAS SOUS 600589 HAS SOUPS 600589 WITH SCORE 601289.489
AT ITER 9122 NEW BEST:: SOT 4389659 SOS 700287 HAS SOPS 700287 HAS SOUS 600488 HAS SOUPS 600488 WITH SCORE 601188.287
AT ITER 9123 NEW BEST:: SOT 4389659 SOS 700286 HAS SOPS 700286 HAS SOUS 600487 HAS SOUPS 600487 WITH SCORE 601187.286
AT ITER 9141 NEW BEST:: SOT 4389659 SOS 699820 HAS SOPS 699820 HAS SOUS 600487 HAS SOUPS 600487 WITH SCORE 601186.82
AT ITER 9193 NEW BEST:: SOT 4389576 SOS 699654 HAS SOPS 699654 HAS SOUS 600321 HAS SOUPS 600321 WITH SCORE 601020.654
AT ITER 9242 NEW BEST:: SOT 4388041 SOS 698350 HAS SOPS 698350 HAS SOUS 599393 HAS SOUPS 599393 WITH SCORE 600091.35
AT ITER 9311 NEW BEST:: SOT 4387721 SOS 698119 HAS SOPS 698119 HAS SOUS 599110 HAS SOUPS 599110 WITH SCORE 599808.119
AT ITER 9340 NEW BEST:: SOT 4387736 SOS 698089 HAS SOPS 698089 HAS SOUS 599080 HAS SOUPS 599080 WITH SCORE 599778.089
AT ITER 9371 NEW BEST:: SOT 4387736 SOS 698089 HAS SOPS 698089 HAS SOUS 599052 HAS SOUPS 599052 WITH SCORE 599750.089
AT ITER 9455 NEW BEST:: SOT 4387539 SOS 697695 HAS SOPS 697695 HAS SOUS 598658 HAS SOUPS 598658 WITH SCORE 599355.695
AT ITER 9458 NEW BEST:: SOT 4387538 SOS 697693 HAS SOPS 697693 HAS SOUS 598656 HAS SOUPS 598656 WITH SCORE 599353.693
AT ITER 9468 NEW BEST:: SOT 4387535 SOS 697687 HAS SOPS 697687 HAS SOUS 598650 HAS SOUPS 598650 WITH SCORE 599347.687
AT ITER 9474 NEW BEST:: SOT 4387535 SOS 697303 HAS SOPS 697303 HAS SOUS 598650 HAS SOUPS 598650 WITH SCORE 599347.303
AT ITER 9493 NEW BEST:: SOT 4387535 SOS 697181 HAS SOPS 697181 HAS SOUS 598589 HAS SOUPS 598589 WITH SCORE 599286.181
AT ITER 9509 NEW BEST:: SOT 4387553 SOS 697179 HAS SOPS 697179 HAS SOUS 598587 HAS SOUPS 598587 WITH SCORE 599284.179
AT ITER 9528 NEW BEST:: SOT 4387247 SOS 696567 HAS SOPS 696567 HAS SOUS 598186 HAS SOUPS 598186 WITH SCORE 598882.567
AT ITER 9531 NEW BEST:: SOT 4387139 SOS 696567 HAS SOPS 696567 HAS SOUS 598078 HAS SOUPS 598078 WITH SCORE 598774.567
AT ITER 9557 NEW BEST:: SOT 4387125 SOS 696539 HAS SOPS 696539 HAS SOUS 598050 HAS SOUPS 598050 WITH SCORE 598746.539
AT ITER 9565 NEW BEST:: SOT 4386868 SOS 696180 HAS SOPS 696180 HAS SOUS 597691 HAS SOUPS 597691 WITH SCORE 598387.18
AT ITER 9588 NEW BEST:: SOT 4386863 SOS 696170 HAS SOPS 696170 HAS SOUS 597686 HAS SOUPS 597686 WITH SCORE 598382.17
AT ITER 9589 NEW BEST:: SOT 4386831 SOS 696106 HAS SOPS 696106 HAS SOUS 597654 HAS SOUPS 597654 WITH SCORE 598350.106
AT ITER 9675 NEW BEST:: SOT 4386831 SOS 696106 HAS SOPS 696106 HAS SOUS 597606 HAS SOUPS 597606 WITH SCORE 598302.106
AT ITER 9706 NEW BEST:: SOT 4386818 SOS 696058 HAS SOPS 696058 HAS SOUS 597500 HAS SOUPS 597500 WITH SCORE 598196.058
AT ITER 9715 NEW BEST:: SOT 4386503 SOS 695173 HAS SOPS 695173 HAS SOUS 596930 HAS SOUPS 596930 WITH SCORE 597625.173
AT ITER 9725 NEW BEST:: SOT 4386309 SOS 694758 HAS SOPS 694758 HAS SOUS 596515 HAS SOUPS 596515 WITH SCORE 597209.758
AT ITER 9729 NEW BEST:: SOT 4386022 SOS 694184 HAS SOPS 694184 HAS SOUS 595941 HAS SOUPS 595941 WITH SCORE 596635.184
AT ITER 9749 NEW BEST:: SOT 4386021 SOS 694182 HAS SOPS 694182 HAS SOUS 595939 HAS SOUPS 595939 WITH SCORE 596633.182
AT ITER 9786 NEW BEST:: SOT 4385901 SOS 693942 HAS SOPS 693942 HAS SOUS 595699 HAS SOUPS 595699 WITH SCORE 596392.942
AT ITER 9819 NEW BEST:: SOT 4385823 SOS 693786 HAS SOPS 693786 HAS SOUS 595543 HAS SOUPS 595543 WITH SCORE 596236.786
AT ITER 9820 NEW BEST:: SOT 4385823 SOS 693418 HAS SOPS 693418 HAS SOUS 595359 HAS SOUPS 595359 WITH SCORE 596052.418
AT ITER 9929 NEW BEST:: SOT 4385581 SOS 693260 HAS SOPS 693260 HAS SOUS 595199 HAS SOUPS 595199 WITH SCORE 595892.26
AT ITER 9957 NEW BEST:: SOT 4385299 SOS 692696 HAS SOPS 692696 HAS SOUS 594635 HAS SOUPS 594635 WITH SCORE 595327.696
AT ITER 9978 NEW BEST:: SOT 4385049 SOS 692512 HAS SOPS 692512 HAS SOUS 594385 HAS SOUPS 594385 WITH SCORE 595077.512
AT ITER 9981 NEW BEST:: SOT 4384959 SOS 692185 HAS SOPS 692185 HAS SOUS 594148 HAS SOUPS 594148 WITH SCORE 594840.185
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 12190240 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16124688 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-311"
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-311, 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-167814483700088"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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