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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 6.5K Feb 25 11:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 68K Feb 25 11:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.1K Feb 25 11:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 29K 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.4K Feb 25 15:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.5K Feb 25 11:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 82K Feb 25 11:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.2K Feb 25 11:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 67K 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 1678329629102

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

Filename model.pnml
Petri model created: 2585 places, 3095 transitions, 6463 arcs.
AT ITER 0 NEW BEST:: SOT 4448374 SOS 744558 HAS SOPS 744558 HAS SOUS 686884 HAS SOUPS 686884 WITH SCORE 687628.558
AT ITER 14 NEW BEST:: SOT 4448083 SOS 743976 HAS SOPS 743976 HAS SOUS 686302 HAS SOUPS 686302 WITH SCORE 687045.976
AT ITER 24 NEW BEST:: SOT 4448083 SOS 743869 HAS SOPS 743869 HAS SOUS 686302 HAS SOUPS 686302 WITH SCORE 687045.869
AT ITER 48 NEW BEST:: SOT 4447908 SOS 743763 HAS SOPS 743763 HAS SOUS 686162 HAS SOUPS 686162 WITH SCORE 686905.763
AT ITER 64 NEW BEST:: SOT 4448011 SOS 743969 HAS SOPS 743969 HAS SOUS 685957 HAS SOUPS 685957 WITH SCORE 686700.969
AT ITER 70 NEW BEST:: SOT 4442855 SOS 781957 HAS SOPS 781957 HAS SOUS 682557 HAS SOUPS 682557 WITH SCORE 683338.957
AT ITER 104 NEW BEST:: SOT 4442534 SOS 781636 HAS SOPS 781636 HAS SOUS 682236 HAS SOUPS 682236 WITH SCORE 683017.636
AT ITER 117 NEW BEST:: SOT 4442534 SOS 781542 HAS SOPS 781542 HAS SOUS 682142 HAS SOUPS 682142 WITH SCORE 682923.542
AT ITER 119 NEW BEST:: SOT 4442288 SOS 781050 HAS SOPS 781050 HAS SOUS 681650 HAS SOUPS 681650 WITH SCORE 682431.05
AT ITER 128 NEW BEST:: SOT 4442288 SOS 781038 HAS SOPS 781038 HAS SOUS 681638 HAS SOUPS 681638 WITH SCORE 682419.038
AT ITER 137 NEW BEST:: SOT 4442288 SOS 781019 HAS SOPS 781019 HAS SOUS 681638 HAS SOUPS 681638 WITH SCORE 682419.019
AT ITER 151 NEW BEST:: SOT 4441964 SOS 781843 HAS SOPS 781843 HAS SOUS 681538 HAS SOUPS 681538 WITH SCORE 682319.843
AT ITER 155 NEW BEST:: SOT 4441691 SOS 781297 HAS SOPS 781297 HAS SOUS 681365 HAS SOUPS 681365 WITH SCORE 682146.297
AT ITER 172 NEW BEST:: SOT 4441022 SOS 780851 HAS SOPS 780851 HAS SOUS 680919 HAS SOUPS 680919 WITH SCORE 681699.851
AT ITER 184 NEW BEST:: SOT 4440997 SOS 780801 HAS SOPS 780801 HAS SOUS 680869 HAS SOUPS 680869 WITH SCORE 681649.801
AT ITER 201 NEW BEST:: SOT 4440997 SOS 780650 HAS SOPS 780650 HAS SOUS 680718 HAS SOUPS 680718 WITH SCORE 681498.65
AT ITER 212 NEW BEST:: SOT 4440895 SOS 780548 HAS SOPS 780548 HAS SOUS 680717 HAS SOUPS 680717 WITH SCORE 681497.548
AT ITER 294 NEW BEST:: SOT 4440873 SOS 780526 HAS SOPS 780526 HAS SOUS 680716 HAS SOUPS 680716 WITH SCORE 681496.526
AT ITER 299 NEW BEST:: SOT 4440724 SOS 780228 HAS SOPS 780228 HAS SOUS 680302 HAS SOUPS 680302 WITH SCORE 681082.228
AT ITER 304 NEW BEST:: SOT 4440549 SOS 779878 HAS SOPS 779878 HAS SOUS 679692 HAS SOUPS 679692 WITH SCORE 680471.878
AT ITER 305 NEW BEST:: SOT 4440289 SOS 779358 HAS SOPS 779358 HAS SOUS 679172 HAS SOUPS 679172 WITH SCORE 679951.358
AT ITER 308 NEW BEST:: SOT 4440265 SOS 779310 HAS SOPS 779310 HAS SOUS 679124 HAS SOUPS 679124 WITH SCORE 679903.31
AT ITER 357 NEW BEST:: SOT 4440161 SOS 779102 HAS SOPS 779102 HAS SOUS 678916 HAS SOUPS 678916 WITH SCORE 679695.102
AT ITER 369 NEW BEST:: SOT 4440000 SOS 778780 HAS SOPS 778780 HAS SOUS 678594 HAS SOUPS 678594 WITH SCORE 679372.78
AT ITER 381 NEW BEST:: SOT 4439786 SOS 778566 HAS SOPS 778566 HAS SOUS 678380 HAS SOUPS 678380 WITH SCORE 679158.566
AT ITER 388 NEW BEST:: SOT 4439736 SOS 778518 HAS SOPS 778518 HAS SOUS 678278 HAS SOUPS 678278 WITH SCORE 679056.518
AT ITER 409 NEW BEST:: SOT 4439288 SOS 777846 HAS SOPS 777846 HAS SOUS 677606 HAS SOUPS 677606 WITH SCORE 678383.846
AT ITER 429 NEW BEST:: SOT 4439213 SOS 777696 HAS SOPS 777696 HAS SOUS 677531 HAS SOUPS 677531 WITH SCORE 678308.696
AT ITER 440 NEW BEST:: SOT 4439225 SOS 777831 HAS SOPS 777831 HAS SOUS 677444 HAS SOUPS 677444 WITH SCORE 678221.831
AT ITER 470 NEW BEST:: SOT 4439118 SOS 777724 HAS SOPS 777724 HAS SOUS 677337 HAS SOUPS 677337 WITH SCORE 678114.724
AT ITER 476 NEW BEST:: SOT 4438759 SOS 777996 HAS SOPS 777996 HAS SOUS 677256 HAS SOUPS 677256 WITH SCORE 678033.996
AT ITER 494 NEW BEST:: SOT 4438748 SOS 777974 HAS SOPS 777974 HAS SOUS 677234 HAS SOUPS 677234 WITH SCORE 678011.974
AT ITER 504 NEW BEST:: SOT 4438479 SOS 777705 HAS SOPS 777705 HAS SOUS 676875 HAS SOUPS 676875 WITH SCORE 677652.705
AT ITER 508 NEW BEST:: SOT 4438508 SOS 777697 HAS SOPS 777697 HAS SOUS 676871 HAS SOUPS 676871 WITH SCORE 677648.697
AT ITER 511 NEW BEST:: SOT 4438268 SOS 777504 HAS SOPS 777504 HAS SOUS 676655 HAS SOUPS 676655 WITH SCORE 677432.504
AT ITER 512 NEW BEST:: SOT 4438262 SOS 777650 HAS SOPS 777650 HAS SOUS 676648 HAS SOUPS 676648 WITH SCORE 677425.65
AT ITER 528 NEW BEST:: SOT 4438096 SOS 777318 HAS SOPS 777318 HAS SOUS 676316 HAS SOUPS 676316 WITH SCORE 677093.318
AT ITER 530 NEW BEST:: SOT 4437986 SOS 777098 HAS SOPS 777098 HAS SOUS 675896 HAS SOUPS 675896 WITH SCORE 676673.098
AT ITER 536 NEW BEST:: SOT 4437801 SOS 776728 HAS SOPS 776728 HAS SOUS 675526 HAS SOUPS 675526 WITH SCORE 676302.728
AT ITER 540 NEW BEST:: SOT 4437706 SOS 776301 HAS SOPS 776301 HAS SOUS 675336 HAS SOUPS 675336 WITH SCORE 676112.301
AT ITER 542 NEW BEST:: SOT 4437706 SOS 776207 HAS SOPS 776207 HAS SOUS 675242 HAS SOUPS 675242 WITH SCORE 676018.207
AT ITER 560 NEW BEST:: SOT 4437731 SOS 776257 HAS SOPS 776257 HAS SOUS 674954 HAS SOUPS 674954 WITH SCORE 675730.257
AT ITER 583 NEW BEST:: SOT 4437572 SOS 776316 HAS SOPS 776316 HAS SOUS 674795 HAS SOUPS 674795 WITH SCORE 675571.316
AT ITER 647 NEW BEST:: SOT 4437532 SOS 776236 HAS SOPS 776236 HAS SOUS 674748 HAS SOUPS 674748 WITH SCORE 675524.236
AT ITER 662 NEW BEST:: SOT 4437454 SOS 776080 HAS SOPS 776080 HAS SOUS 674285 HAS SOUPS 674285 WITH SCORE 675061.08
AT ITER 666 NEW BEST:: SOT 4437454 SOS 775870 HAS SOPS 775870 HAS SOUS 674285 HAS SOUPS 674285 WITH SCORE 675060.87
AT ITER 672 NEW BEST:: SOT 4437478 SOS 775783 HAS SOPS 775783 HAS SOUS 674198 HAS SOUPS 674198 WITH SCORE 674973.783
AT ITER 696 NEW BEST:: SOT 4437258 SOS 775702 HAS SOPS 775702 HAS SOUS 674117 HAS SOUPS 674117 WITH SCORE 674892.702
AT ITER 717 NEW BEST:: SOT 4437256 SOS 775584 HAS SOPS 775584 HAS SOUS 674001 HAS SOUPS 674001 WITH SCORE 674776.584
AT ITER 718 NEW BEST:: SOT 4437076 SOS 775433 HAS SOPS 775433 HAS SOUS 673850 HAS SOUPS 673850 WITH SCORE 674625.433
AT ITER 723 NEW BEST:: SOT 4437076 SOS 775214 HAS SOPS 775214 HAS SOUS 673850 HAS SOUPS 673850 WITH SCORE 674625.214
AT ITER 724 NEW BEST:: SOT 4437075 SOS 775212 HAS SOPS 775212 HAS SOUS 673848 HAS SOUPS 673848 WITH SCORE 674623.212
AT ITER 725 NEW BEST:: SOT 4437232 SOS 775159 HAS SOPS 775159 HAS SOUS 673839 HAS SOUPS 673839 WITH SCORE 674614.159
AT ITER 748 NEW BEST:: SOT 4436786 SOS 774921 HAS SOPS 774921 HAS SOUS 673601 HAS SOUPS 673601 WITH SCORE 674375.921
AT ITER 753 NEW BEST:: SOT 4436705 SOS 774867 HAS SOPS 774867 HAS SOUS 673520 HAS SOUPS 673520 WITH SCORE 674294.867
AT ITER 755 NEW BEST:: SOT 4436559 SOS 774384 HAS SOPS 774384 HAS SOUS 673183 HAS SOUPS 673183 WITH SCORE 673957.384
AT ITER 787 NEW BEST:: SOT 4434463 SOS 781775 HAS SOPS 781775 HAS SOUS 671602 HAS SOUPS 671602 WITH SCORE 672383.775
AT ITER 804 NEW BEST:: SOT 4434451 SOS 781751 HAS SOPS 781751 HAS SOUS 671578 HAS SOUPS 671578 WITH SCORE 672359.751
AT ITER 819 NEW BEST:: SOT 4434171 SOS 781476 HAS SOPS 781476 HAS SOUS 671303 HAS SOUPS 671303 WITH SCORE 672084.476
AT ITER 867 NEW BEST:: SOT 4434171 SOS 781413 HAS SOPS 781413 HAS SOUS 671303 HAS SOUPS 671303 WITH SCORE 672084.413
AT ITER 901 NEW BEST:: SOT 4434170 SOS 781411 HAS SOPS 781411 HAS SOUS 671302 HAS SOUPS 671302 WITH SCORE 672083.411
AT ITER 906 NEW BEST:: SOT 4433878 SOS 781695 HAS SOPS 781695 HAS SOUS 671010 HAS SOUPS 671010 WITH SCORE 671791.695
AT ITER 909 NEW BEST:: SOT 4433877 SOS 781693 HAS SOPS 781693 HAS SOUS 671008 HAS SOUPS 671008 WITH SCORE 671789.693
AT ITER 913 NEW BEST:: SOT 4433858 SOS 781636 HAS SOPS 781636 HAS SOUS 670989 HAS SOUPS 670989 WITH SCORE 671770.636
AT ITER 954 NEW BEST:: SOT 4433788 SOS 781566 HAS SOPS 781566 HAS SOUS 670919 HAS SOUPS 670919 WITH SCORE 671700.566
AT ITER 968 NEW BEST:: SOT 4433874 SOS 780894 HAS SOPS 780894 HAS SOUS 670721 HAS SOUPS 670721 WITH SCORE 671501.894
AT ITER 969 NEW BEST:: SOT 4433856 SOS 780876 HAS SOPS 780876 HAS SOUS 670703 HAS SOUPS 670703 WITH SCORE 671483.876
AT ITER 989 NEW BEST:: SOT 4433163 SOS 780414 HAS SOPS 780414 HAS SOUS 670010 HAS SOUPS 670010 WITH SCORE 670790.414
AT ITER 1001 NEW BEST:: SOT 4433030 SOS 780529 HAS SOPS 780529 HAS SOUS 669942 HAS SOUPS 669942 WITH SCORE 670722.529
AT ITER 1002 NEW BEST:: SOT 4432892 SOS 780391 HAS SOPS 780391 HAS SOUS 669804 HAS SOUPS 669804 WITH SCORE 670584.391
AT ITER 1026 NEW BEST:: SOT 4432862 SOS 780331 HAS SOPS 780331 HAS SOUS 669744 HAS SOUPS 669744 WITH SCORE 670524.331
AT ITER 1121 NEW BEST:: SOT 4433008 SOS 780269 HAS SOPS 780269 HAS SOUS 669726 HAS SOUPS 669726 WITH SCORE 670506.269
AT ITER 1122 NEW BEST:: SOT 4432969 SOS 780191 HAS SOPS 780191 HAS SOUS 669687 HAS SOUPS 669687 WITH SCORE 670467.191
AT ITER 1130 NEW BEST:: SOT 4432969 SOS 780165 HAS SOPS 780165 HAS SOUS 669687 HAS SOUPS 669687 WITH SCORE 670467.165
AT ITER 1152 NEW BEST:: SOT 4432969 SOS 780053 HAS SOPS 780053 HAS SOUS 669687 HAS SOUPS 669687 WITH SCORE 670467.053
AT ITER 1168 NEW BEST:: SOT 4432891 SOS 779990 HAS SOPS 779990 HAS SOUS 669624 HAS SOUPS 669624 WITH SCORE 670403.99
AT ITER 1180 NEW BEST:: SOT 4433093 SOS 780041 HAS SOPS 780041 HAS SOUS 669576 HAS SOUPS 669576 WITH SCORE 670356.041
AT ITER 1215 NEW BEST:: SOT 4433004 SOS 779477 HAS SOPS 779477 HAS SOUS 669398 HAS SOUPS 669398 WITH SCORE 670177.477
AT ITER 1247 NEW BEST:: SOT 4432993 SOS 779455 HAS SOPS 779455 HAS SOUS 669376 HAS SOUPS 669376 WITH SCORE 670155.455
AT ITER 1257 NEW BEST:: SOT 4432993 SOS 779335 HAS SOPS 779335 HAS SOUS 669376 HAS SOUPS 669376 WITH SCORE 670155.335
AT ITER 1276 NEW BEST:: SOT 4432994 SOS 779337 HAS SOPS 779337 HAS SOUS 669068 HAS SOUPS 669068 WITH SCORE 669847.337
AT ITER 1288 NEW BEST:: SOT 4432994 SOS 779337 HAS SOPS 779337 HAS SOUS 669047 HAS SOUPS 669047 WITH SCORE 669826.337
AT ITER 1310 NEW BEST:: SOT 4432778 SOS 779291 HAS SOPS 779291 HAS SOUS 668831 HAS SOUPS 668831 WITH SCORE 669610.291
AT ITER 1321 NEW BEST:: SOT 4432777 SOS 779289 HAS SOPS 779289 HAS SOUS 668829 HAS SOUPS 668829 WITH SCORE 669608.289
AT ITER 1327 NEW BEST:: SOT 4432988 SOS 779711 HAS SOPS 779711 HAS SOUS 668704 HAS SOUPS 668704 WITH SCORE 669483.711
AT ITER 1396 NEW BEST:: SOT 4432498 SOS 779625 HAS SOPS 779625 HAS SOUS 668375 HAS SOUPS 668375 WITH SCORE 669154.625
AT ITER 1410 NEW BEST:: SOT 4432599 SOS 779375 HAS SOPS 779375 HAS SOUS 668351 HAS SOUPS 668351 WITH SCORE 669130.375
AT ITER 1422 NEW BEST:: SOT 4432471 SOS 779119 HAS SOPS 779119 HAS SOUS 668249 HAS SOUPS 668249 WITH SCORE 669028.119
AT ITER 1425 NEW BEST:: SOT 4432409 SOS 778995 HAS SOPS 778995 HAS SOUS 668103 HAS SOUPS 668103 WITH SCORE 668881.995
AT ITER 1447 NEW BEST:: SOT 4432897 SOS 778841 HAS SOPS 778841 HAS SOUS 668037 HAS SOUPS 668037 WITH SCORE 668815.841
AT ITER 1452 NEW BEST:: SOT 4432897 SOS 778841 HAS SOPS 778841 HAS SOUS 667894 HAS SOUPS 667894 WITH SCORE 668672.841
AT ITER 1459 NEW BEST:: SOT 4432849 SOS 778793 HAS SOPS 778793 HAS SOUS 667846 HAS SOUPS 667846 WITH SCORE 668624.793
AT ITER 1472 NEW BEST:: SOT 4432779 SOS 778723 HAS SOPS 778723 HAS SOUS 667776 HAS SOUPS 667776 WITH SCORE 668554.723
AT ITER 1485 NEW BEST:: SOT 4431820 SOS 779241 HAS SOPS 779241 HAS SOUS 667095 HAS SOUPS 667095 WITH SCORE 667874.241
AT ITER 1514 NEW BEST:: SOT 4431484 SOS 779589 HAS SOPS 779589 HAS SOUS 666978 HAS SOUPS 666978 WITH SCORE 667757.589
AT ITER 1520 NEW BEST:: SOT 4431484 SOS 779368 HAS SOPS 779368 HAS SOUS 666977 HAS SOUPS 666977 WITH SCORE 667756.368
AT ITER 1561 NEW BEST:: SOT 4431210 SOS 779094 HAS SOPS 779094 HAS SOUS 666932 HAS SOUPS 666932 WITH SCORE 667711.094
AT ITER 1600 NEW BEST:: SOT 4431077 SOS 779075 HAS SOPS 779075 HAS SOUS 666674 HAS SOUPS 666674 WITH SCORE 667453.075
AT ITER 1618 NEW BEST:: SOT 4431077 SOS 778878 HAS SOPS 778878 HAS SOUS 666653 HAS SOUPS 666653 WITH SCORE 667431.878
AT ITER 1654 NEW BEST:: SOT 4430849 SOS 778650 HAS SOPS 778650 HAS SOUS 666425 HAS SOUPS 666425 WITH SCORE 667203.65
AT ITER 1655 NEW BEST:: SOT 4430849 SOS 778596 HAS SOPS 778596 HAS SOUS 666424 HAS SOUPS 666424 WITH SCORE 667202.596
AT ITER 1673 NEW BEST:: SOT 4429151 SOS 791387 HAS SOPS 791387 HAS SOUS 665212 HAS SOUPS 665212 WITH SCORE 666003.387
AT ITER 1675 NEW BEST:: SOT 4429151 SOS 791265 HAS SOPS 791265 HAS SOUS 665211 HAS SOUPS 665211 WITH SCORE 666002.265
AT ITER 1708 NEW BEST:: SOT 4428977 SOS 791091 HAS SOPS 791091 HAS SOUS 665153 HAS SOUPS 665153 WITH SCORE 665944.091
AT ITER 1718 NEW BEST:: SOT 4428648 SOS 790729 HAS SOPS 790729 HAS SOUS 664716 HAS SOUPS 664716 WITH SCORE 665506.729
AT ITER 1739 NEW BEST:: SOT 4427513 SOS 789747 HAS SOPS 789747 HAS SOUS 663581 HAS SOUPS 663581 WITH SCORE 664370.747
AT ITER 1749 NEW BEST:: SOT 4427424 SOS 789569 HAS SOPS 789569 HAS SOUS 663194 HAS SOUPS 663194 WITH SCORE 663983.569
AT ITER 1753 NEW BEST:: SOT 4427594 SOS 789461 HAS SOPS 789461 HAS SOUS 663086 HAS SOUPS 663086 WITH SCORE 663875.461
AT ITER 1820 NEW BEST:: SOT 4426994 SOS 788861 HAS SOPS 788861 HAS SOUS 662486 HAS SOUPS 662486 WITH SCORE 663274.861
AT ITER 1827 NEW BEST:: SOT 4426916 SOS 788705 HAS SOPS 788705 HAS SOUS 662195 HAS SOUPS 662195 WITH SCORE 662983.705
AT ITER 1836 NEW BEST:: SOT 4427016 SOS 788905 HAS SOPS 788905 HAS SOUS 662076 HAS SOUPS 662076 WITH SCORE 662864.905
AT ITER 1844 NEW BEST:: SOT 4426883 SOS 788639 HAS SOPS 788639 HAS SOUS 661810 HAS SOUPS 661810 WITH SCORE 662598.639
AT ITER 1847 NEW BEST:: SOT 4426883 SOS 788454 HAS SOPS 788454 HAS SOUS 661809 HAS SOUPS 661809 WITH SCORE 662597.454
AT ITER 1880 NEW BEST:: SOT 4426882 SOS 788452 HAS SOPS 788452 HAS SOUS 661807 HAS SOUPS 661807 WITH SCORE 662595.452
AT ITER 1886 NEW BEST:: SOT 4426882 SOS 788362 HAS SOPS 788362 HAS SOUS 661717 HAS SOUPS 661717 WITH SCORE 662505.362
AT ITER 1895 NEW BEST:: SOT 4426755 SOS 788503 HAS SOPS 788503 HAS SOUS 661711 HAS SOUPS 661711 WITH SCORE 662499.503
AT ITER 1927 NEW BEST:: SOT 4426760 SOS 788123 HAS SOPS 788123 HAS SOUS 661521 HAS SOUPS 661521 WITH SCORE 662309.123
AT ITER 1942 NEW BEST:: SOT 4426748 SOS 788099 HAS SOPS 788099 HAS SOUS 661497 HAS SOUPS 661497 WITH SCORE 662285.099
AT ITER 2000 NEW BEST:: SOT 4426661 SOS 787925 HAS SOPS 787925 HAS SOUS 661323 HAS SOUPS 661323 WITH SCORE 662110.925
AT ITER 2046 NEW BEST:: SOT 4426468 SOS 787732 HAS SOPS 787732 HAS SOUS 661130 HAS SOUPS 661130 WITH SCORE 661917.732
AT ITER 2066 NEW BEST:: SOT 4426140 SOS 787503 HAS SOPS 787503 HAS SOUS 661120 HAS SOUPS 661120 WITH SCORE 661907.503
AT ITER 2077 NEW BEST:: SOT 4423678 SOS 818069 HAS SOPS 818069 HAS SOUS 660068 HAS SOUPS 660068 WITH SCORE 660886.069
AT ITER 2078 NEW BEST:: SOT 4423526 SOS 817765 HAS SOPS 817765 HAS SOUS 660008 HAS SOUPS 660008 WITH SCORE 660825.765
AT ITER 2130 NEW BEST:: SOT 4423406 SOS 817525 HAS SOPS 817525 HAS SOUS 659828 HAS SOUPS 659828 WITH SCORE 660645.525
AT ITER 2140 NEW BEST:: SOT 4423388 SOS 817489 HAS SOPS 817489 HAS SOUS 659792 HAS SOUPS 659792 WITH SCORE 660609.489
AT ITER 2147 NEW BEST:: SOT 4423387 SOS 817487 HAS SOPS 817487 HAS SOUS 659790 HAS SOUPS 659790 WITH SCORE 660607.487
AT ITER 2148 NEW BEST:: SOT 4423329 SOS 817208 HAS SOPS 817208 HAS SOUS 659521 HAS SOUPS 659521 WITH SCORE 660338.208
AT ITER 2170 NEW BEST:: SOT 4423555 SOS 817660 HAS SOPS 817660 HAS SOUS 659340 HAS SOUPS 659340 WITH SCORE 660157.66
AT ITER 2178 NEW BEST:: SOT 4423497 SOS 817486 HAS SOPS 817486 HAS SOUS 659224 HAS SOUPS 659224 WITH SCORE 660041.486
AT ITER 2190 NEW BEST:: SOT 4423469 SOS 817430 HAS SOPS 817430 HAS SOUS 659168 HAS SOUPS 659168 WITH SCORE 659985.43
AT ITER 2237 NEW BEST:: SOT 4423389 SOS 817270 HAS SOPS 817270 HAS SOUS 659088 HAS SOUPS 659088 WITH SCORE 659905.27
AT ITER 2272 NEW BEST:: SOT 4423029 SOS 817070 HAS SOPS 817070 HAS SOUS 658783 HAS SOUPS 658783 WITH SCORE 659600.07
AT ITER 2286 NEW BEST:: SOT 4422942 SOS 816896 HAS SOPS 816896 HAS SOUS 658398 HAS SOUPS 658398 WITH SCORE 659214.896
AT ITER 2290 NEW BEST:: SOT 4422878 SOS 816768 HAS SOPS 816768 HAS SOUS 658270 HAS SOUPS 658270 WITH SCORE 659086.768
AT ITER 2306 NEW BEST:: SOT 4422844 SOS 816201 HAS SOPS 816201 HAS SOUS 657701 HAS SOUPS 657701 WITH SCORE 658517.201
AT ITER 2307 NEW BEST:: SOT 4422844 SOS 816163 HAS SOPS 816163 HAS SOUS 657663 HAS SOUPS 657663 WITH SCORE 658479.163
AT ITER 2308 NEW BEST:: SOT 4422843 SOS 816161 HAS SOPS 816161 HAS SOUS 657661 HAS SOUPS 657661 WITH SCORE 658477.161
AT ITER 2311 NEW BEST:: SOT 4421899 SOS 815701 HAS SOPS 815701 HAS SOUS 656841 HAS SOUPS 656841 WITH SCORE 657656.701
AT ITER 2328 NEW BEST:: SOT 4421675 SOS 815477 HAS SOPS 815477 HAS SOUS 656617 HAS SOUPS 656617 WITH SCORE 657432.477
AT ITER 2336 NEW BEST:: SOT 4421466 SOS 815268 HAS SOPS 815268 HAS SOUS 656292 HAS SOUPS 656292 WITH SCORE 657107.268
AT ITER 2359 NEW BEST:: SOT 4421466 SOS 815199 HAS SOPS 815199 HAS SOUS 656223 HAS SOUPS 656223 WITH SCORE 657038.199
AT ITER 2391 NEW BEST:: SOT 4421424 SOS 815236 HAS SOPS 815236 HAS SOUS 656181 HAS SOUPS 656181 WITH SCORE 656996.236
AT ITER 2393 NEW BEST:: SOT 4421424 SOS 815119 HAS SOPS 815119 HAS SOUS 655947 HAS SOUPS 655947 WITH SCORE 656762.119
AT ITER 2394 NEW BEST:: SOT 4421534 SOS 815339 HAS SOPS 815339 HAS SOUS 655842 HAS SOUPS 655842 WITH SCORE 656657.339
AT ITER 2428 NEW BEST:: SOT 4421486 SOS 815103 HAS SOPS 815103 HAS SOUS 655746 HAS SOUPS 655746 WITH SCORE 656561.103
AT ITER 2436 NEW BEST:: SOT 4421335 SOS 814952 HAS SOPS 814952 HAS SOUS 655704 HAS SOUPS 655704 WITH SCORE 656518.952
AT ITER 2463 NEW BEST:: SOT 4421059 SOS 814400 HAS SOPS 814400 HAS SOUS 655578 HAS SOUPS 655578 WITH SCORE 656392.4
AT ITER 2481 NEW BEST:: SOT 4420835 SOS 813952 HAS SOPS 813952 HAS SOUS 655354 HAS SOUPS 655354 WITH SCORE 656167.952
AT ITER 2492 NEW BEST:: SOT 4420728 SOS 813738 HAS SOPS 813738 HAS SOUS 655140 HAS SOUPS 655140 WITH SCORE 655953.738
AT ITER 2498 NEW BEST:: SOT 4420995 SOS 813736 HAS SOPS 813736 HAS SOUS 655138 HAS SOUPS 655138 WITH SCORE 655951.736
AT ITER 2546 NEW BEST:: SOT 4420784 SOS 813476 HAS SOPS 813476 HAS SOUS 654878 HAS SOUPS 654878 WITH SCORE 655691.476
AT ITER 2562 NEW BEST:: SOT 4420727 SOS 813362 HAS SOPS 813362 HAS SOUS 654764 HAS SOUPS 654764 WITH SCORE 655577.362
AT ITER 2565 NEW BEST:: SOT 4420656 SOS 813048 HAS SOPS 813048 HAS SOUS 654622 HAS SOUPS 654622 WITH SCORE 655435.048
AT ITER 2569 NEW BEST:: SOT 4420655 SOS 813046 HAS SOPS 813046 HAS SOUS 654620 HAS SOUPS 654620 WITH SCORE 655433.046
AT ITER 2581 NEW BEST:: SOT 4420655 SOS 812740 HAS SOPS 812740 HAS SOUS 654314 HAS SOUPS 654314 WITH SCORE 655126.74
AT ITER 2592 NEW BEST:: SOT 4420648 SOS 812726 HAS SOPS 812726 HAS SOUS 654278 HAS SOUPS 654278 WITH SCORE 655090.726
AT ITER 2596 NEW BEST:: SOT 4420580 SOS 812590 HAS SOPS 812590 HAS SOUS 654142 HAS SOUPS 654142 WITH SCORE 654954.59
AT ITER 2604 NEW BEST:: SOT 4420446 SOS 812590 HAS SOPS 812590 HAS SOUS 654141 HAS SOUPS 654141 WITH SCORE 654953.59
AT ITER 2634 NEW BEST:: SOT 4420398 SOS 812494 HAS SOPS 812494 HAS SOUS 654116 HAS SOUPS 654116 WITH SCORE 654928.494
AT ITER 2659 NEW BEST:: SOT 4420376 SOS 812450 HAS SOPS 812450 HAS SOUS 654072 HAS SOUPS 654072 WITH SCORE 654884.45
AT ITER 2664 NEW BEST:: SOT 4420324 SOS 812346 HAS SOPS 812346 HAS SOUS 654020 HAS SOUPS 654020 WITH SCORE 654832.346
AT ITER 2668 NEW BEST:: SOT 4420230 SOS 812252 HAS SOPS 812252 HAS SOUS 653926 HAS SOUPS 653926 WITH SCORE 654738.252
AT ITER 2688 NEW BEST:: SOT 4420109 SOS 812010 HAS SOPS 812010 HAS SOUS 653805 HAS SOUPS 653805 WITH SCORE 654617.01
AT ITER 2699 NEW BEST:: SOT 4420109 SOS 811864 HAS SOPS 811864 HAS SOUS 653805 HAS SOUPS 653805 WITH SCORE 654616.864
AT ITER 2720 NEW BEST:: SOT 4419839 SOS 811594 HAS SOPS 811594 HAS SOUS 653556 HAS SOUPS 653556 WITH SCORE 654367.594
AT ITER 2737 NEW BEST:: SOT 4419609 SOS 811364 HAS SOPS 811364 HAS SOUS 653326 HAS SOUPS 653326 WITH SCORE 654137.364
AT ITER 2745 NEW BEST:: SOT 4419609 SOS 811322 HAS SOPS 811322 HAS SOUS 653284 HAS SOUPS 653284 WITH SCORE 654095.322
AT ITER 2747 NEW BEST:: SOT 4419081 SOS 810442 HAS SOPS 810442 HAS SOUS 652580 HAS SOUPS 652580 WITH SCORE 653390.442
AT ITER 2757 NEW BEST:: SOT 4418858 SOS 809616 HAS SOPS 809616 HAS SOUS 652051 HAS SOUPS 652051 WITH SCORE 652860.616
AT ITER 2794 NEW BEST:: SOT 4418848 SOS 809596 HAS SOPS 809596 HAS SOUS 652031 HAS SOUPS 652031 WITH SCORE 652840.596
AT ITER 2799 NEW BEST:: SOT 4418787 SOS 809550 HAS SOPS 809550 HAS SOUS 651985 HAS SOUPS 651985 WITH SCORE 652794.55
AT ITER 2832 NEW BEST:: SOT 4418787 SOS 809139 HAS SOPS 809139 HAS SOUS 651985 HAS SOUPS 651985 WITH SCORE 652794.139
AT ITER 2874 NEW BEST:: SOT 4418773 SOS 809125 HAS SOPS 809125 HAS SOUS 651971 HAS SOUPS 651971 WITH SCORE 652780.125
AT ITER 2875 NEW BEST:: SOT 4418332 SOS 808710 HAS SOPS 808710 HAS SOUS 651556 HAS SOUPS 651556 WITH SCORE 652364.71
AT ITER 2876 NEW BEST:: SOT 4417938 SOS 808316 HAS SOPS 808316 HAS SOUS 651162 HAS SOUPS 651162 WITH SCORE 651970.316
AT ITER 2878 NEW BEST:: SOT 4417817 SOS 808602 HAS SOPS 808602 HAS SOUS 651041 HAS SOUPS 651041 WITH SCORE 651849.602
AT ITER 2880 NEW BEST:: SOT 4417816 SOS 808562 HAS SOPS 808562 HAS SOUS 651039 HAS SOUPS 651039 WITH SCORE 651847.562
AT ITER 2886 NEW BEST:: SOT 4417748 SOS 808411 HAS SOPS 808411 HAS SOUS 650815 HAS SOUPS 650815 WITH SCORE 651623.411
AT ITER 2891 NEW BEST:: SOT 4417435 SOS 808505 HAS SOPS 808505 HAS SOUS 650367 HAS SOUPS 650367 WITH SCORE 651175.505
AT ITER 2902 NEW BEST:: SOT 4417210 SOS 808523 HAS SOPS 808523 HAS SOUS 650224 HAS SOUPS 650224 WITH SCORE 651032.523
AT ITER 2922 NEW BEST:: SOT 4416984 SOS 808297 HAS SOPS 808297 HAS SOUS 649998 HAS SOUPS 649998 WITH SCORE 650806.297
AT ITER 2928 NEW BEST:: SOT 4416680 SOS 807689 HAS SOPS 807689 HAS SOUS 649390 HAS SOUPS 649390 WITH SCORE 650197.689
AT ITER 2945 NEW BEST:: SOT 4416679 SOS 807193 HAS SOPS 807193 HAS SOUS 649388 HAS SOUPS 649388 WITH SCORE 650195.193
AT ITER 2959 NEW BEST:: SOT 4416608 SOS 807051 HAS SOPS 807051 HAS SOUS 649317 HAS SOUPS 649317 WITH SCORE 650124.051
AT ITER 2976 NEW BEST:: SOT 4416516 SOS 806867 HAS SOPS 806867 HAS SOUS 649133 HAS SOUPS 649133 WITH SCORE 649939.867
AT ITER 3038 NEW BEST:: SOT 4416516 SOS 806795 HAS SOPS 806795 HAS SOUS 649061 HAS SOUPS 649061 WITH SCORE 649867.795
AT ITER 3066 NEW BEST:: SOT 4416516 SOS 806615 HAS SOPS 806615 HAS SOUS 649061 HAS SOUPS 649061 WITH SCORE 649867.615
AT ITER 3075 NEW BEST:: SOT 4416452 SOS 806487 HAS SOPS 806487 HAS SOUS 648933 HAS SOUPS 648933 WITH SCORE 649739.487
AT ITER 3088 NEW BEST:: SOT 4416312 SOS 806207 HAS SOPS 806207 HAS SOUS 648805 HAS SOUPS 648805 WITH SCORE 649611.207
AT ITER 3134 NEW BEST:: SOT 4416213 SOS 806108 HAS SOPS 806108 HAS SOUS 648782 HAS SOUPS 648782 WITH SCORE 649588.108
AT ITER 3136 NEW BEST:: SOT 4415931 SOS 805544 HAS SOPS 805544 HAS SOUS 648218 HAS SOUPS 648218 WITH SCORE 649023.544
AT ITER 3166 NEW BEST:: SOT 4415208 SOS 806557 HAS SOPS 806557 HAS SOUS 647991 HAS SOUPS 647991 WITH SCORE 648797.557
AT ITER 3203 NEW BEST:: SOT 4415185 SOS 806511 HAS SOPS 806511 HAS SOUS 647945 HAS SOUPS 647945 WITH SCORE 648751.511
AT ITER 3208 NEW BEST:: SOT 4415160 SOS 806461 HAS SOPS 806461 HAS SOUS 647920 HAS SOUPS 647920 WITH SCORE 648726.461
AT ITER 3213 NEW BEST:: SOT 4415098 SOS 806337 HAS SOPS 806337 HAS SOUS 647879 HAS SOUPS 647879 WITH SCORE 648685.337
AT ITER 3233 NEW BEST:: SOT 4415097 SOS 806335 HAS SOPS 806335 HAS SOUS 647877 HAS SOUPS 647877 WITH SCORE 648683.335
AT ITER 3250 NEW BEST:: SOT 4414642 SOS 806321 HAS SOPS 806321 HAS SOUS 647639 HAS SOUPS 647639 WITH SCORE 648445.321
AT ITER 3272 NEW BEST:: SOT 4414586 SOS 806209 HAS SOPS 806209 HAS SOUS 647527 HAS SOUPS 647527 WITH SCORE 648333.209
AT ITER 3308 NEW BEST:: SOT 4414220 SOS 805477 HAS SOPS 805477 HAS SOUS 646795 HAS SOUPS 646795 WITH SCORE 647600.477
AT ITER 3315 NEW BEST:: SOT 4414034 SOS 805291 HAS SOPS 805291 HAS SOUS 646774 HAS SOUPS 646774 WITH SCORE 647579.291
AT ITER 3330 NEW BEST:: SOT 4414034 SOS 805291 HAS SOPS 805291 HAS SOUS 646628 HAS SOUPS 646628 WITH SCORE 647433.291
AT ITER 3337 NEW BEST:: SOT 4413887 SOS 805217 HAS SOPS 805217 HAS SOUS 646449 HAS SOUPS 646449 WITH SCORE 647254.217
AT ITER 3345 NEW BEST:: SOT 4413762 SOS 805268 HAS SOPS 805268 HAS SOUS 646373 HAS SOUPS 646373 WITH SCORE 647178.268
AT ITER 3373 NEW BEST:: SOT 4413714 SOS 805172 HAS SOPS 805172 HAS SOUS 646277 HAS SOUPS 646277 WITH SCORE 647082.172
AT ITER 3415 NEW BEST:: SOT 4413714 SOS 805005 HAS SOPS 805005 HAS SOUS 646277 HAS SOUPS 646277 WITH SCORE 647082.005
AT ITER 3447 NEW BEST:: SOT 4413645 SOS 804867 HAS SOPS 804867 HAS SOUS 646173 HAS SOUPS 646173 WITH SCORE 646977.867
AT ITER 3459 NEW BEST:: SOT 4413467 SOS 804689 HAS SOPS 804689 HAS SOUS 645995 HAS SOUPS 645995 WITH SCORE 646799.689
AT ITER 3472 NEW BEST:: SOT 4413247 SOS 804612 HAS SOPS 804612 HAS SOUS 645826 HAS SOUPS 645826 WITH SCORE 646630.612
AT ITER 3481 NEW BEST:: SOT 4412716 SOS 803550 HAS SOPS 803550 HAS SOUS 645535 HAS SOUPS 645535 WITH SCORE 646338.55
AT ITER 3491 NEW BEST:: SOT 4412716 SOS 803497 HAS SOPS 803497 HAS SOUS 645535 HAS SOUPS 645535 WITH SCORE 646338.497
AT ITER 3499 NEW BEST:: SOT 4412716 SOS 803497 HAS SOPS 803497 HAS SOUS 645454 HAS SOUPS 645454 WITH SCORE 646257.497
AT ITER 3509 NEW BEST:: SOT 4412716 SOS 803490 HAS SOPS 803490 HAS SOUS 645454 HAS SOUPS 645454 WITH SCORE 646257.49
AT ITER 3515 NEW BEST:: SOT 4412709 SOS 803171 HAS SOPS 803171 HAS SOUS 645440 HAS SOUPS 645440 WITH SCORE 646243.171
AT ITER 3542 NEW BEST:: SOT 4412793 SOS 803339 HAS SOPS 803339 HAS SOUS 645344 HAS SOUPS 645344 WITH SCORE 646147.339
AT ITER 3559 NEW BEST:: SOT 4412793 SOS 803139 HAS SOPS 803139 HAS SOUS 645243 HAS SOUPS 645243 WITH SCORE 646046.139
AT ITER 3560 NEW BEST:: SOT 4412709 SOS 802971 HAS SOPS 802971 HAS SOUS 645075 HAS SOUPS 645075 WITH SCORE 645877.971
AT ITER 3580 NEW BEST:: SOT 4412547 SOS 802647 HAS SOPS 802647 HAS SOUS 644751 HAS SOUPS 644751 WITH SCORE 645553.647
AT ITER 3585 NEW BEST:: SOT 4412400 SOS 802451 HAS SOPS 802451 HAS SOUS 644555 HAS SOUPS 644555 WITH SCORE 645357.451
AT ITER 3586 NEW BEST:: SOT 4412184 SOS 801597 HAS SOPS 801597 HAS SOUS 644023 HAS SOUPS 644023 WITH SCORE 644824.597
AT ITER 3597 NEW BEST:: SOT 4412272 SOS 783679 HAS SOPS 783679 HAS SOUS 643851 HAS SOUPS 643851 WITH SCORE 644634.679
AT ITER 3694 NEW BEST:: SOT 4412271 SOS 783602 HAS SOPS 783602 HAS SOUS 643849 HAS SOUPS 643849 WITH SCORE 644632.602
AT ITER 3707 NEW BEST:: SOT 4412166 SOS 783392 HAS SOPS 783392 HAS SOUS 643744 HAS SOUPS 643744 WITH SCORE 644527.392
AT ITER 3713 NEW BEST:: SOT 4411806 SOS 782986 HAS SOPS 782986 HAS SOUS 643607 HAS SOUPS 643607 WITH SCORE 644389.986
AT ITER 3734 NEW BEST:: SOT 4411800 SOS 782974 HAS SOPS 782974 HAS SOUS 643595 HAS SOUPS 643595 WITH SCORE 644377.974
AT ITER 3747 NEW BEST:: SOT 4411764 SOS 782837 HAS SOPS 782837 HAS SOUS 643507 HAS SOUPS 643507 WITH SCORE 644289.837
AT ITER 3749 NEW BEST:: SOT 4411465 SOS 782239 HAS SOPS 782239 HAS SOUS 642858 HAS SOUPS 642858 WITH SCORE 643640.239
AT ITER 3760 NEW BEST:: SOT 4411291 SOS 782082 HAS SOPS 782082 HAS SOUS 642693 HAS SOUPS 642693 WITH SCORE 643475.082
AT ITER 3763 NEW BEST:: SOT 4411291 SOS 782069 HAS SOPS 782069 HAS SOUS 642680 HAS SOUPS 642680 WITH SCORE 643462.069
AT ITER 3765 NEW BEST:: SOT 4411233 SOS 782005 HAS SOPS 782005 HAS SOUS 642591 HAS SOUPS 642591 WITH SCORE 643373.005
AT ITER 3768 NEW BEST:: SOT 4411097 SOS 781733 HAS SOPS 781733 HAS SOUS 642455 HAS SOUPS 642455 WITH SCORE 643236.733
AT ITER 3792 NEW BEST:: SOT 4411097 SOS 781733 HAS SOPS 781733 HAS SOUS 642311 HAS SOUPS 642311 WITH SCORE 643092.733
AT ITER 3829 NEW BEST:: SOT 4411046 SOS 781631 HAS SOPS 781631 HAS SOUS 642260 HAS SOUPS 642260 WITH SCORE 643041.631
AT ITER 3850 NEW BEST:: SOT 4411019 SOS 781577 HAS SOPS 781577 HAS SOUS 642259 HAS SOUPS 642259 WITH SCORE 643040.577
AT ITER 3860 NEW BEST:: SOT 4410734 SOS 781007 HAS SOPS 781007 HAS SOUS 641689 HAS SOUPS 641689 WITH SCORE 642470.007
AT ITER 3867 NEW BEST:: SOT 4410505 SOS 780549 HAS SOPS 780549 HAS SOUS 641231 HAS SOUPS 641231 WITH SCORE 642011.549
AT ITER 3869 NEW BEST:: SOT 4410505 SOS 780303 HAS SOPS 780303 HAS SOUS 641231 HAS SOUPS 641231 WITH SCORE 642011.303
AT ITER 3884 NEW BEST:: SOT 4410229 SOS 780027 HAS SOPS 780027 HAS SOUS 640955 HAS SOUPS 640955 WITH SCORE 641735.027
AT ITER 3891 NEW BEST:: SOT 4409828 SOS 779771 HAS SOPS 779771 HAS SOUS 640554 HAS SOUPS 640554 WITH SCORE 641333.771
AT ITER 3912 NEW BEST:: SOT 4409356 SOS 778346 HAS SOPS 778346 HAS SOUS 639610 HAS SOUPS 639610 WITH SCORE 640388.346
AT ITER 3921 NEW BEST:: SOT 4408985 SOS 780634 HAS SOPS 780634 HAS SOUS 639325 HAS SOUPS 639325 WITH SCORE 640105.634
AT ITER 3929 NEW BEST:: SOT 4408918 SOS 780500 HAS SOPS 780500 HAS SOUS 639258 HAS SOUPS 639258 WITH SCORE 640038.5
AT ITER 3940 NEW BEST:: SOT 4408857 SOS 780378 HAS SOPS 780378 HAS SOUS 639136 HAS SOUPS 639136 WITH SCORE 639916.378
AT ITER 3941 NEW BEST:: SOT 4408515 SOS 780150 HAS SOPS 780150 HAS SOUS 638794 HAS SOUPS 638794 WITH SCORE 639574.15
AT ITER 3958 NEW BEST:: SOT 4408440 SOS 780000 HAS SOPS 780000 HAS SOUS 638719 HAS SOUPS 638719 WITH SCORE 639499.0
AT ITER 3967 NEW BEST:: SOT 4408439 SOS 779998 HAS SOPS 779998 HAS SOUS 638717 HAS SOUPS 638717 WITH SCORE 639496.998
AT ITER 3969 NEW BEST:: SOT 4408315 SOS 779750 HAS SOPS 779750 HAS SOUS 638469 HAS SOUPS 638469 WITH SCORE 639248.75
AT ITER 3975 NEW BEST:: SOT 4408300 SOS 779735 HAS SOPS 779735 HAS SOUS 638413 HAS SOUPS 638413 WITH SCORE 639192.735
AT ITER 4013 NEW BEST:: SOT 4408085 SOS 779305 HAS SOPS 779305 HAS SOUS 637983 HAS SOUPS 637983 WITH SCORE 638762.305
AT ITER 4021 NEW BEST:: SOT 4408070 SOS 779289 HAS SOPS 779289 HAS SOUS 637982 HAS SOUPS 637982 WITH SCORE 638761.289
AT ITER 4031 NEW BEST:: SOT 4408031 SOS 779211 HAS SOPS 779211 HAS SOUS 637943 HAS SOUPS 637943 WITH SCORE 638722.211
AT ITER 4051 NEW BEST:: SOT 4407874 SOS 778897 HAS SOPS 778897 HAS SOUS 637868 HAS SOUPS 637868 WITH SCORE 638646.897
AT ITER 4053 NEW BEST:: SOT 4407780 SOS 778616 HAS SOPS 778616 HAS SOUS 637773 HAS SOUPS 637773 WITH SCORE 638551.616
AT ITER 4078 NEW BEST:: SOT 4407580 SOS 778216 HAS SOPS 778216 HAS SOUS 637573 HAS SOUPS 637573 WITH SCORE 638351.216
AT ITER 4080 NEW BEST:: SOT 4407548 SOS 778203 HAS SOPS 778203 HAS SOUS 637560 HAS SOUPS 637560 WITH SCORE 638338.203
AT ITER 4087 NEW BEST:: SOT 4407411 SOS 778066 HAS SOPS 778066 HAS SOUS 637423 HAS SOUPS 637423 WITH SCORE 638201.066
AT ITER 4102 NEW BEST:: SOT 4407411 SOS 777890 HAS SOPS 777890 HAS SOUS 637334 HAS SOUPS 637334 WITH SCORE 638111.89
AT ITER 4120 NEW BEST:: SOT 4407410 SOS 777893 HAS SOPS 777893 HAS SOUS 637332 HAS SOUPS 637332 WITH SCORE 638109.893
AT ITER 4123 NEW BEST:: SOT 4407273 SOS 777619 HAS SOPS 777619 HAS SOUS 637190 HAS SOUPS 637190 WITH SCORE 637967.619
AT ITER 4143 NEW BEST:: SOT 4407271 SOS 777615 HAS SOPS 777615 HAS SOUS 637186 HAS SOUPS 637186 WITH SCORE 637963.615
AT ITER 4148 NEW BEST:: SOT 4407200 SOS 777473 HAS SOPS 777473 HAS SOUS 637044 HAS SOUPS 637044 WITH SCORE 637821.473
AT ITER 4167 NEW BEST:: SOT 4407163 SOS 777436 HAS SOPS 777436 HAS SOUS 637007 HAS SOUPS 637007 WITH SCORE 637784.436
AT ITER 4169 NEW BEST:: SOT 4407027 SOS 777164 HAS SOPS 777164 HAS SOUS 636871 HAS SOUPS 636871 WITH SCORE 637648.164
AT ITER 4188 NEW BEST:: SOT 4406915 SOS 777052 HAS SOPS 777052 HAS SOUS 636759 HAS SOUPS 636759 WITH SCORE 637536.052
AT ITER 4200 NEW BEST:: SOT 4406915 SOS 777049 HAS SOPS 777049 HAS SOUS 636756 HAS SOUPS 636756 WITH SCORE 637533.049
AT ITER 4238 NEW BEST:: SOT 4406838 SOS 776895 HAS SOPS 776895 HAS SOUS 636756 HAS SOUPS 636756 WITH SCORE 637532.895
AT ITER 4264 NEW BEST:: SOT 4406837 SOS 776893 HAS SOPS 776893 HAS SOUS 636754 HAS SOUPS 636754 WITH SCORE 637530.893
AT ITER 4296 NEW BEST:: SOT 4406837 SOS 776885 HAS SOPS 776885 HAS SOUS 636754 HAS SOUPS 636754 WITH SCORE 637530.885
AT ITER 4302 NEW BEST:: SOT 4406837 SOS 776861 HAS SOPS 776861 HAS SOUS 636754 HAS SOUPS 636754 WITH SCORE 637530.861
AT ITER 4305 NEW BEST:: SOT 4406837 SOS 776583 HAS SOPS 776583 HAS SOUS 636476 HAS SOUPS 636476 WITH SCORE 637252.583
AT ITER 4314 NEW BEST:: SOT 4406489 SOS 775887 HAS SOPS 775887 HAS SOUS 635780 HAS SOUPS 635780 WITH SCORE 636555.887
AT ITER 4390 NEW BEST:: SOT 4406182 SOS 775253 HAS SOPS 775253 HAS SOUS 634979 HAS SOUPS 634979 WITH SCORE 635754.253
AT ITER 4400 NEW BEST:: SOT 4406182 SOS 775255 HAS SOPS 775255 HAS SOUS 634977 HAS SOUPS 634977 WITH SCORE 635752.255
AT ITER 4404 NEW BEST:: SOT 4406135 SOS 774928 HAS SOPS 774928 HAS SOUS 634697 HAS SOUPS 634697 WITH SCORE 635471.928
AT ITER 4445 NEW BEST:: SOT 4406135 SOS 774959 HAS SOPS 774959 HAS SOUS 634666 HAS SOUPS 634666 WITH SCORE 635440.959
AT ITER 4477 NEW BEST:: SOT 4406219 SOS 774846 HAS SOPS 774846 HAS SOUS 634617 HAS SOUPS 634617 WITH SCORE 635391.846
AT ITER 4478 NEW BEST:: SOT 4406207 SOS 774846 HAS SOPS 774846 HAS SOUS 634605 HAS SOUPS 634605 WITH SCORE 635379.846
AT ITER 4485 NEW BEST:: SOT 4406178 SOS 774788 HAS SOPS 774788 HAS SOUS 634521 HAS SOUPS 634521 WITH SCORE 635295.788
AT ITER 4496 NEW BEST:: SOT 4406048 SOS 775269 HAS SOPS 775269 HAS SOUS 634437 HAS SOUPS 634437 WITH SCORE 635212.269
AT ITER 4499 NEW BEST:: SOT 4405894 SOS 774568 HAS SOPS 774568 HAS SOUS 634350 HAS SOUPS 634350 WITH SCORE 635124.568
AT ITER 4503 NEW BEST:: SOT 4405848 SOS 774476 HAS SOPS 774476 HAS SOUS 634258 HAS SOUPS 634258 WITH SCORE 635032.476
AT ITER 4506 NEW BEST:: SOT 4405673 SOS 774486 HAS SOPS 774486 HAS SOUS 634149 HAS SOUPS 634149 WITH SCORE 634923.486
AT ITER 4525 NEW BEST:: SOT 4405492 SOS 774270 HAS SOPS 774270 HAS SOUS 633895 HAS SOUPS 633895 WITH SCORE 634669.27
AT ITER 4528 NEW BEST:: SOT 4405492 SOS 774188 HAS SOPS 774188 HAS SOUS 633895 HAS SOUPS 633895 WITH SCORE 634669.188
AT ITER 4533 NEW BEST:: SOT 4405426 SOS 774056 HAS SOPS 774056 HAS SOUS 633829 HAS SOUPS 633829 WITH SCORE 634603.056
AT ITER 4547 NEW BEST:: SOT 4405295 SOS 768423 HAS SOPS 768423 HAS SOUS 633698 HAS SOUPS 633698 WITH SCORE 634466.423
AT ITER 4549 NEW BEST:: SOT 4405033 SOS 767899 HAS SOPS 767899 HAS SOUS 633619 HAS SOUPS 633619 WITH SCORE 634386.899
AT ITER 4566 NEW BEST:: SOT 4405013 SOS 767859 HAS SOPS 767859 HAS SOUS 633476 HAS SOUPS 633476 WITH SCORE 634243.859
AT ITER 4567 NEW BEST:: SOT 4405031 SOS 767730 HAS SOPS 767730 HAS SOUS 633347 HAS SOUPS 633347 WITH SCORE 634114.73
AT ITER 4582 NEW BEST:: SOT 4405016 SOS 767700 HAS SOPS 767700 HAS SOUS 633317 HAS SOUPS 633317 WITH SCORE 634084.7
AT ITER 4603 NEW BEST:: SOT 4404942 SOS 767552 HAS SOPS 767552 HAS SOUS 633169 HAS SOUPS 633169 WITH SCORE 633936.552
AT ITER 4604 NEW BEST:: SOT 4404942 SOS 767492 HAS SOPS 767492 HAS SOUS 633109 HAS SOUPS 633109 WITH SCORE 633876.492
AT ITER 4627 NEW BEST:: SOT 4404940 SOS 767388 HAS SOPS 767388 HAS SOUS 633067 HAS SOUPS 633067 WITH SCORE 633834.388
AT ITER 4632 NEW BEST:: SOT 4404743 SOS 767121 HAS SOPS 767121 HAS SOUS 632800 HAS SOUPS 632800 WITH SCORE 633567.121
AT ITER 4667 NEW BEST:: SOT 4404545 SOS 766923 HAS SOPS 766923 HAS SOUS 632602 HAS SOUPS 632602 WITH SCORE 633368.923
AT ITER 4695 NEW BEST:: SOT 4404443 SOS 766719 HAS SOPS 766719 HAS SOUS 632398 HAS SOUPS 632398 WITH SCORE 633164.719
AT ITER 4712 NEW BEST:: SOT 4403773 SOS 766819 HAS SOPS 766819 HAS SOUS 632064 HAS SOUPS 632064 WITH SCORE 632830.819
AT ITER 4719 NEW BEST:: SOT 4403591 SOS 766637 HAS SOPS 766637 HAS SOUS 631882 HAS SOUPS 631882 WITH SCORE 632648.637
AT ITER 4726 NEW BEST:: SOT 4403578 SOS 766611 HAS SOPS 766611 HAS SOUS 631856 HAS SOUPS 631856 WITH SCORE 632622.611
AT ITER 4737 NEW BEST:: SOT 4403204 SOS 765863 HAS SOPS 765863 HAS SOUS 631175 HAS SOUPS 631175 WITH SCORE 631940.863
AT ITER 4774 NEW BEST:: SOT 4403204 SOS 765786 HAS SOPS 765786 HAS SOUS 631175 HAS SOUPS 631175 WITH SCORE 631940.786
AT ITER 4794 NEW BEST:: SOT 4403064 SOS 765576 HAS SOPS 765576 HAS SOUS 630965 HAS SOUPS 630965 WITH SCORE 631730.576
AT ITER 4808 NEW BEST:: SOT 4402977 SOS 765402 HAS SOPS 765402 HAS SOUS 630791 HAS SOUPS 630791 WITH SCORE 631556.402
AT ITER 4811 NEW BEST:: SOT 4402934 SOS 765316 HAS SOPS 765316 HAS SOUS 630705 HAS SOUPS 630705 WITH SCORE 631470.316
AT ITER 4825 NEW BEST:: SOT 4402917 SOS 765316 HAS SOPS 765316 HAS SOUS 630698 HAS SOUPS 630698 WITH SCORE 631463.316
AT ITER 4855 NEW BEST:: SOT 4402802 SOS 765086 HAS SOPS 765086 HAS SOUS 630468 HAS SOUPS 630468 WITH SCORE 631233.086
AT ITER 4859 NEW BEST:: SOT 4402802 SOS 764955 HAS SOPS 764955 HAS SOUS 630466 HAS SOUPS 630466 WITH SCORE 631230.955
AT ITER 4888 NEW BEST:: SOT 4402746 SOS 764843 HAS SOPS 764843 HAS SOUS 630410 HAS SOUPS 630410 WITH SCORE 631174.843
AT ITER 4913 NEW BEST:: SOT 4402642 SOS 764218 HAS SOPS 764218 HAS SOUS 630202 HAS SOUPS 630202 WITH SCORE 630966.218
AT ITER 4929 NEW BEST:: SOT 4402653 SOS 763740 HAS SOPS 763740 HAS SOUS 629461 HAS SOUPS 629461 WITH SCORE 630224.74
AT ITER 4930 NEW BEST:: SOT 4402653 SOS 763638 HAS SOPS 763638 HAS SOUS 629359 HAS SOUPS 629359 WITH SCORE 630122.638
AT ITER 4933 NEW BEST:: SOT 4402652 SOS 763636 HAS SOPS 763636 HAS SOUS 629357 HAS SOUPS 629357 WITH SCORE 630120.636
AT ITER 4942 NEW BEST:: SOT 4402651 SOS 763634 HAS SOPS 763634 HAS SOUS 629355 HAS SOUPS 629355 WITH SCORE 630118.634
AT ITER 4951 NEW BEST:: SOT 4402650 SOS 763632 HAS SOPS 763632 HAS SOUS 629353 HAS SOUPS 629353 WITH SCORE 630116.632
AT ITER 4981 NEW BEST:: SOT 4402578 SOS 763416 HAS SOPS 763416 HAS SOUS 629209 HAS SOUPS 629209 WITH SCORE 629972.416
AT ITER 4986 NEW BEST:: SOT 4402578 SOS 763297 HAS SOPS 763297 HAS SOUS 629209 HAS SOUPS 629209 WITH SCORE 629972.297
AT ITER 5023 NEW BEST:: SOT 4402523 SOS 763187 HAS SOPS 763187 HAS SOUS 629099 HAS SOUPS 629099 WITH SCORE 629862.187
AT ITER 5070 NEW BEST:: SOT 4402660 SOS 763119 HAS SOPS 763119 HAS SOUS 629065 HAS SOUPS 629065 WITH SCORE 629828.119
AT ITER 5076 NEW BEST:: SOT 4402632 SOS 763063 HAS SOPS 763063 HAS SOUS 629009 HAS SOUPS 629009 WITH SCORE 629772.063
AT ITER 5088 NEW BEST:: SOT 4402393 SOS 763329 HAS SOPS 763329 HAS SOUS 628877 HAS SOUPS 628877 WITH SCORE 629640.329
AT ITER 5092 NEW BEST:: SOT 4402334 SOS 763211 HAS SOPS 763211 HAS SOUS 628759 HAS SOUPS 628759 WITH SCORE 629522.211
AT ITER 5094 NEW BEST:: SOT 4402231 SOS 763005 HAS SOPS 763005 HAS SOUS 628553 HAS SOUPS 628553 WITH SCORE 629316.005
AT ITER 5095 NEW BEST:: SOT 4402231 SOS 763005 HAS SOPS 763005 HAS SOUS 628438 HAS SOUPS 628438 WITH SCORE 629201.005
AT ITER 5114 NEW BEST:: SOT 4402332 SOS 762844 HAS SOPS 762844 HAS SOUS 628134 HAS SOUPS 628134 WITH SCORE 628896.844
AT ITER 5119 NEW BEST:: SOT 4402276 SOS 762732 HAS SOPS 762732 HAS SOUS 627980 HAS SOUPS 627980 WITH SCORE 628742.732
AT ITER 5129 NEW BEST:: SOT 4402226 SOS 762573 HAS SOPS 762573 HAS SOUS 627930 HAS SOUPS 627930 WITH SCORE 628692.573
AT ITER 5132 NEW BEST:: SOT 4402121 SOS 762363 HAS SOPS 762363 HAS SOUS 627720 HAS SOUPS 627720 WITH SCORE 628482.363
AT ITER 5140 NEW BEST:: SOT 4402074 SOS 762269 HAS SOPS 762269 HAS SOUS 627673 HAS SOUPS 627673 WITH SCORE 628435.269
AT ITER 5145 NEW BEST:: SOT 4402020 SOS 762161 HAS SOPS 762161 HAS SOUS 627565 HAS SOUPS 627565 WITH SCORE 628327.161
AT ITER 5158 NEW BEST:: SOT 4401994 SOS 762109 HAS SOPS 762109 HAS SOUS 627513 HAS SOUPS 627513 WITH SCORE 628275.109
AT ITER 5167 NEW BEST:: SOT 4401886 SOS 761893 HAS SOPS 761893 HAS SOUS 626864 HAS SOUPS 626864 WITH SCORE 627625.893
AT ITER 5178 NEW BEST:: SOT 4401759 SOS 761639 HAS SOPS 761639 HAS SOUS 626733 HAS SOUPS 626733 WITH SCORE 627494.639
AT ITER 5223 NEW BEST:: SOT 4401838 SOS 761325 HAS SOPS 761325 HAS SOUS 626419 HAS SOUPS 626419 WITH SCORE 627180.325
AT ITER 5233 NEW BEST:: SOT 4401894 SOS 761121 HAS SOPS 761121 HAS SOUS 626215 HAS SOUPS 626215 WITH SCORE 626976.121
AT ITER 5283 NEW BEST:: SOT 4401855 SOS 761043 HAS SOPS 761043 HAS SOUS 626137 HAS SOUPS 626137 WITH SCORE 626898.043
AT ITER 5315 NEW BEST:: SOT 4400735 SOS 774478 HAS SOPS 774478 HAS SOUS 625961 HAS SOUPS 625961 WITH SCORE 626735.478
AT ITER 5349 NEW BEST:: SOT 4400735 SOS 774478 HAS SOPS 774478 HAS SOUS 625896 HAS SOUPS 625896 WITH SCORE 626670.478
AT ITER 5355 NEW BEST:: SOT 4400369 SOS 773746 HAS SOPS 773746 HAS SOUS 625347 HAS SOUPS 625347 WITH SCORE 626120.746
AT ITER 5368 NEW BEST:: SOT 4400261 SOS 773638 HAS SOPS 773638 HAS SOUS 625239 HAS SOUPS 625239 WITH SCORE 626012.638
AT ITER 5411 NEW BEST:: SOT 4400536 SOS 774188 HAS SOPS 774188 HAS SOUS 625227 HAS SOUPS 625227 WITH SCORE 626001.188
AT ITER 5422 NEW BEST:: SOT 4400515 SOS 774016 HAS SOPS 774016 HAS SOUS 625185 HAS SOUPS 625185 WITH SCORE 625959.016
AT ITER 5426 NEW BEST:: SOT 4400399 SOS 773784 HAS SOPS 773784 HAS SOUS 624953 HAS SOUPS 624953 WITH SCORE 625726.784
AT ITER 5442 NEW BEST:: SOT 4400394 SOS 773381 HAS SOPS 773381 HAS SOUS 624817 HAS SOUPS 624817 WITH SCORE 625590.381
AT ITER 5459 NEW BEST:: SOT 4400345 SOS 773283 HAS SOPS 773283 HAS SOUS 624719 HAS SOUPS 624719 WITH SCORE 625492.283
AT ITER 5466 NEW BEST:: SOT 4400261 SOS 773115 HAS SOPS 773115 HAS SOUS 624551 HAS SOUPS 624551 WITH SCORE 625324.115
AT ITER 5468 NEW BEST:: SOT 4400195 SOS 773062 HAS SOPS 773062 HAS SOUS 624498 HAS SOUPS 624498 WITH SCORE 625271.062
AT ITER 5479 NEW BEST:: SOT 4400014 SOS 772881 HAS SOPS 772881 HAS SOUS 624347 HAS SOUPS 624347 WITH SCORE 625119.881
AT ITER 5480 NEW BEST:: SOT 4400178 SOS 773209 HAS SOPS 773209 HAS SOUS 624181 HAS SOUPS 624181 WITH SCORE 624954.209
AT ITER 5554 NEW BEST:: SOT 4400162 SOS 773177 HAS SOPS 773177 HAS SOUS 624165 HAS SOUPS 624165 WITH SCORE 624938.177
AT ITER 5563 NEW BEST:: SOT 4400075 SOS 773119 HAS SOPS 773119 HAS SOUS 624107 HAS SOUPS 624107 WITH SCORE 624880.119
AT ITER 5570 NEW BEST:: SOT 4399847 SOS 772910 HAS SOPS 772910 HAS SOUS 623891 HAS SOUPS 623891 WITH SCORE 624663.91
AT ITER 5586 NEW BEST:: SOT 4399775 SOS 772766 HAS SOPS 772766 HAS SOUS 623747 HAS SOUPS 623747 WITH SCORE 624519.766
AT ITER 5598 NEW BEST:: SOT 4399775 SOS 772766 HAS SOPS 772766 HAS SOUS 623586 HAS SOUPS 623586 WITH SCORE 624358.766
AT ITER 5613 NEW BEST:: SOT 4399775 SOS 772411 HAS SOPS 772411 HAS SOUS 623487 HAS SOUPS 623487 WITH SCORE 624259.411
AT ITER 5632 NEW BEST:: SOT 4399630 SOS 772121 HAS SOPS 772121 HAS SOUS 623342 HAS SOUPS 623342 WITH SCORE 624114.121
AT ITER 5634 NEW BEST:: SOT 4399377 SOS 771868 HAS SOPS 771868 HAS SOUS 623208 HAS SOUPS 623208 WITH SCORE 623979.868
AT ITER 5656 NEW BEST:: SOT 4399152 SOS 771419 HAS SOPS 771419 HAS SOUS 623016 HAS SOUPS 623016 WITH SCORE 623787.419
AT ITER 5658 NEW BEST:: SOT 4398955 SOS 771025 HAS SOPS 771025 HAS SOUS 622819 HAS SOUPS 622819 WITH SCORE 623590.025
AT ITER 5668 NEW BEST:: SOT 4398954 SOS 770049 HAS SOPS 770049 HAS SOUS 622355 HAS SOUPS 622355 WITH SCORE 623125.049
AT ITER 5672 NEW BEST:: SOT 4398794 SOS 769729 HAS SOPS 769729 HAS SOUS 622035 HAS SOUPS 622035 WITH SCORE 622804.729
AT ITER 5687 NEW BEST:: SOT 4398690 SOS 769521 HAS SOPS 769521 HAS SOUS 621913 HAS SOUPS 621913 WITH SCORE 622682.521
AT ITER 5701 NEW BEST:: SOT 4398652 SOS 768958 HAS SOPS 768958 HAS SOUS 621783 HAS SOUPS 621783 WITH SCORE 622551.958
AT ITER 5734 NEW BEST:: SOT 4398652 SOS 768866 HAS SOPS 768866 HAS SOUS 621737 HAS SOUPS 621737 WITH SCORE 622505.866
AT ITER 5743 NEW BEST:: SOT 4398652 SOS 768866 HAS SOPS 768866 HAS SOUS 621723 HAS SOUPS 621723 WITH SCORE 622491.866
AT ITER 5748 NEW BEST:: SOT 4398652 SOS 768860 HAS SOPS 768860 HAS SOUS 621723 HAS SOUPS 621723 WITH SCORE 622491.86
AT ITER 5756 NEW BEST:: SOT 4398564 SOS 768684 HAS SOPS 768684 HAS SOUS 621547 HAS SOUPS 621547 WITH SCORE 622315.684
AT ITER 5762 NEW BEST:: SOT 4398267 SOS 768090 HAS SOPS 768090 HAS SOUS 620953 HAS SOUPS 620953 WITH SCORE 621721.09
AT ITER 5787 NEW BEST:: SOT 4398205 SOS 767966 HAS SOPS 767966 HAS SOUS 620829 HAS SOUPS 620829 WITH SCORE 621596.966
AT ITER 5819 NEW BEST:: SOT 4398261 SOS 768078 HAS SOPS 768078 HAS SOUS 620726 HAS SOUPS 620726 WITH SCORE 621494.078
AT ITER 5825 NEW BEST:: SOT 4398136 SOS 767703 HAS SOPS 767703 HAS SOUS 620476 HAS SOUPS 620476 WITH SCORE 621243.703
AT ITER 5828 NEW BEST:: SOT 4398004 SOS 767439 HAS SOPS 767439 HAS SOUS 620282 HAS SOUPS 620282 WITH SCORE 621049.439
AT ITER 5832 NEW BEST:: SOT 4398004 SOS 767158 HAS SOPS 767158 HAS SOUS 620011 HAS SOUPS 620011 WITH SCORE 620778.158
AT ITER 5834 NEW BEST:: SOT 4397985 SOS 767120 HAS SOPS 767120 HAS SOUS 619992 HAS SOUPS 619992 WITH SCORE 620759.12
AT ITER 5835 NEW BEST:: SOT 4398008 SOS 766968 HAS SOPS 766968 HAS SOUS 619916 HAS SOUPS 619916 WITH SCORE 620682.968
AT ITER 5836 NEW BEST:: SOT 4397711 SOS 766374 HAS SOPS 766374 HAS SOUS 619322 HAS SOUPS 619322 WITH SCORE 620088.374
AT ITER 5839 NEW BEST:: SOT 4397553 SOS 766216 HAS SOPS 766216 HAS SOUS 619164 HAS SOUPS 619164 WITH SCORE 619930.216
AT ITER 5873 NEW BEST:: SOT 4397553 SOS 766037 HAS SOPS 766037 HAS SOUS 619164 HAS SOUPS 619164 WITH SCORE 619930.037
AT ITER 5920 NEW BEST:: SOT 4397553 SOS 765814 HAS SOPS 765814 HAS SOUS 619164 HAS SOUPS 619164 WITH SCORE 619929.814
AT ITER 5944 NEW BEST:: SOT 4397553 SOS 765754 HAS SOPS 765754 HAS SOUS 619159 HAS SOUPS 619159 WITH SCORE 619924.754
AT ITER 5945 NEW BEST:: SOT 4397428 SOS 765504 HAS SOPS 765504 HAS SOUS 618946 HAS SOUPS 618946 WITH SCORE 619711.504
AT ITER 5967 NEW BEST:: SOT 4397014 SOS 751917 HAS SOPS 751917 HAS SOUS 618488 HAS SOUPS 618488 WITH SCORE 619239.917
AT ITER 5988 NEW BEST:: SOT 4396968 SOS 751825 HAS SOPS 751825 HAS SOUS 618370 HAS SOUPS 618370 WITH SCORE 619121.825
AT ITER 5996 NEW BEST:: SOT 4396922 SOS 751733 HAS SOPS 751733 HAS SOUS 618324 HAS SOUPS 618324 WITH SCORE 619075.733
AT ITER 5997 NEW BEST:: SOT 4396904 SOS 751697 HAS SOPS 751697 HAS SOUS 618306 HAS SOUPS 618306 WITH SCORE 619057.697
AT ITER 6007 NEW BEST:: SOT 4396902 SOS 751693 HAS SOPS 751693 HAS SOUS 618302 HAS SOUPS 618302 WITH SCORE 619053.693
AT ITER 6025 NEW BEST:: SOT 4396880 SOS 751649 HAS SOPS 751649 HAS SOUS 618280 HAS SOUPS 618280 WITH SCORE 619031.649
AT ITER 6039 NEW BEST:: SOT 4396880 SOS 751575 HAS SOPS 751575 HAS SOUS 618280 HAS SOUPS 618280 WITH SCORE 619031.575
AT ITER 6047 NEW BEST:: SOT 4396613 SOS 750653 HAS SOPS 750653 HAS SOUS 617746 HAS SOUPS 617746 WITH SCORE 618496.653
AT ITER 6069 NEW BEST:: SOT 4396129 SOS 750169 HAS SOPS 750169 HAS SOUS 617262 HAS SOUPS 617262 WITH SCORE 618012.169
AT ITER 6079 NEW BEST:: SOT 4396203 SOS 750317 HAS SOPS 750317 HAS SOUS 617150 HAS SOUPS 617150 WITH SCORE 617900.317
AT ITER 6098 NEW BEST:: SOT 4395975 SOS 749861 HAS SOPS 749861 HAS SOUS 616921 HAS SOUPS 616921 WITH SCORE 617670.861
AT ITER 6110 NEW BEST:: SOT 4395279 SOS 750119 HAS SOPS 750119 HAS SOUS 616555 HAS SOUPS 616555 WITH SCORE 617305.119
AT ITER 6147 NEW BEST:: SOT 4395279 SOS 750119 HAS SOPS 750119 HAS SOUS 616553 HAS SOUPS 616553 WITH SCORE 617303.119
AT ITER 6182 NEW BEST:: SOT 4395214 SOS 749989 HAS SOPS 749989 HAS SOUS 616527 HAS SOUPS 616527 WITH SCORE 617276.989
AT ITER 6195 NEW BEST:: SOT 4395182 SOS 749925 HAS SOPS 749925 HAS SOUS 616332 HAS SOUPS 616332 WITH SCORE 617081.925
AT ITER 6203 NEW BEST:: SOT 4395004 SOS 749569 HAS SOPS 749569 HAS SOUS 615976 HAS SOUPS 615976 WITH SCORE 616725.569
AT ITER 6240 NEW BEST:: SOT 4394958 SOS 749686 HAS SOPS 749686 HAS SOUS 615930 HAS SOUPS 615930 WITH SCORE 616679.686
AT ITER 6242 NEW BEST:: SOT 4394586 SOS 748570 HAS SOPS 748570 HAS SOUS 615186 HAS SOUPS 615186 WITH SCORE 615934.57
AT ITER 6258 NEW BEST:: SOT 4394720 SOS 748460 HAS SOPS 748460 HAS SOUS 615110 HAS SOUPS 615110 WITH SCORE 615858.46
AT ITER 6265 NEW BEST:: SOT 4394624 SOS 748268 HAS SOPS 748268 HAS SOUS 614918 HAS SOUPS 614918 WITH SCORE 615666.268
AT ITER 6267 NEW BEST:: SOT 4394615 SOS 748250 HAS SOPS 748250 HAS SOUS 614900 HAS SOUPS 614900 WITH SCORE 615648.25
AT ITER 6270 NEW BEST:: SOT 4394562 SOS 748144 HAS SOPS 748144 HAS SOUS 614794 HAS SOUPS 614794 WITH SCORE 615542.144
AT ITER 6331 NEW BEST:: SOT 4394538 SOS 748096 HAS SOPS 748096 HAS SOUS 614746 HAS SOUPS 614746 WITH SCORE 615494.096
AT ITER 6336 NEW BEST:: SOT 4394355 SOS 747730 HAS SOPS 747730 HAS SOUS 614380 HAS SOUPS 614380 WITH SCORE 615127.73
AT ITER 6348 NEW BEST:: SOT 4394158 SOS 747336 HAS SOPS 747336 HAS SOUS 614183 HAS SOUPS 614183 WITH SCORE 614930.336
AT ITER 6351 NEW BEST:: SOT 4394265 SOS 747900 HAS SOPS 747900 HAS SOUS 613980 HAS SOUPS 613980 WITH SCORE 614727.9
AT ITER 6367 NEW BEST:: SOT 4394125 SOS 747620 HAS SOPS 747620 HAS SOUS 613700 HAS SOUPS 613700 WITH SCORE 614447.62
AT ITER 6386 NEW BEST:: SOT 4394100 SOS 747595 HAS SOPS 747595 HAS SOUS 613700 HAS SOUPS 613700 WITH SCORE 614447.595
AT ITER 6457 NEW BEST:: SOT 4394097 SOS 747589 HAS SOPS 747589 HAS SOUS 613694 HAS SOUPS 613694 WITH SCORE 614441.589
AT ITER 6462 NEW BEST:: SOT 4394097 SOS 747547 HAS SOPS 747547 HAS SOUS 613694 HAS SOUPS 613694 WITH SCORE 614441.547
AT ITER 6464 NEW BEST:: SOT 4394097 SOS 747547 HAS SOPS 747547 HAS SOUS 613625 HAS SOUPS 613625 WITH SCORE 614372.547
AT ITER 6477 NEW BEST:: SOT 4394008 SOS 747366 HAS SOPS 747366 HAS SOUS 613444 HAS SOUPS 613444 WITH SCORE 614191.366
AT ITER 6485 NEW BEST:: SOT 4393728 SOS 746806 HAS SOPS 746806 HAS SOUS 612702 HAS SOUPS 612702 WITH SCORE 613448.806
AT ITER 6535 NEW BEST:: SOT 4393509 SOS 747340 HAS SOPS 747340 HAS SOUS 612623 HAS SOUPS 612623 WITH SCORE 613370.34
AT ITER 6546 NEW BEST:: SOT 4392694 SOS 746535 HAS SOPS 746535 HAS SOUS 611780 HAS SOUPS 611780 WITH SCORE 612526.535
AT ITER 6558 NEW BEST:: SOT 4392693 SOS 746533 HAS SOPS 746533 HAS SOUS 611778 HAS SOUPS 611778 WITH SCORE 612524.533
AT ITER 6559 NEW BEST:: SOT 4392668 SOS 746483 HAS SOPS 746483 HAS SOUS 611728 HAS SOUPS 611728 WITH SCORE 612474.483
AT ITER 6589 NEW BEST:: SOT 4392569 SOS 746285 HAS SOPS 746285 HAS SOUS 611629 HAS SOUPS 611629 WITH SCORE 612375.285
AT ITER 6593 NEW BEST:: SOT 4392569 SOS 745920 HAS SOPS 745920 HAS SOUS 611376 HAS SOUPS 611376 WITH SCORE 612121.92
AT ITER 6620 NEW BEST:: SOT 4392344 SOS 745782 HAS SOPS 745782 HAS SOUS 611160 HAS SOUPS 611160 WITH SCORE 611905.782
AT ITER 6628 NEW BEST:: SOT 4392343 SOS 746054 HAS SOPS 746054 HAS SOUS 611158 HAS SOUPS 611158 WITH SCORE 611904.054
AT ITER 6630 NEW BEST:: SOT 4392222 SOS 745812 HAS SOPS 745812 HAS SOUS 610916 HAS SOUPS 610916 WITH SCORE 611661.812
AT ITER 6643 NEW BEST:: SOT 4392222 SOS 745762 HAS SOPS 745762 HAS SOUS 610916 HAS SOUPS 610916 WITH SCORE 611661.762
AT ITER 6699 NEW BEST:: SOT 4392204 SOS 745726 HAS SOPS 745726 HAS SOUS 610884 HAS SOUPS 610884 WITH SCORE 611629.726
AT ITER 6715 NEW BEST:: SOT 4392203 SOS 745622 HAS SOPS 745622 HAS SOUS 610882 HAS SOUPS 610882 WITH SCORE 611627.622
AT ITER 6720 NEW BEST:: SOT 4392164 SOS 745583 HAS SOPS 745583 HAS SOUS 610804 HAS SOUPS 610804 WITH SCORE 611549.583
AT ITER 6732 NEW BEST:: SOT 4392102 SOS 745392 HAS SOPS 745392 HAS SOUS 610675 HAS SOUPS 610675 WITH SCORE 611420.392
AT ITER 6794 NEW BEST:: SOT 4391967 SOS 745266 HAS SOPS 745266 HAS SOUS 610549 HAS SOUPS 610549 WITH SCORE 611294.266
AT ITER 6819 NEW BEST:: SOT 4391817 SOS 744966 HAS SOPS 744966 HAS SOUS 610324 HAS SOUPS 610324 WITH SCORE 611068.966
AT ITER 6825 NEW BEST:: SOT 4391710 SOS 744700 HAS SOPS 744700 HAS SOUS 610230 HAS SOUPS 610230 WITH SCORE 610974.7
AT ITER 6834 NEW BEST:: SOT 4391497 SOS 744274 HAS SOPS 744274 HAS SOUS 609804 HAS SOUPS 609804 WITH SCORE 610548.274
AT ITER 6878 NEW BEST:: SOT 4390364 SOS 750381 HAS SOPS 750381 HAS SOUS 608671 HAS SOUPS 608671 WITH SCORE 609421.381
AT ITER 6900 NEW BEST:: SOT 4390276 SOS 750355 HAS SOPS 750355 HAS SOUS 608495 HAS SOUPS 608495 WITH SCORE 609245.355
AT ITER 6909 NEW BEST:: SOT 4390145 SOS 750909 HAS SOPS 750909 HAS SOUS 608466 HAS SOUPS 608466 WITH SCORE 609216.909
AT ITER 6913 NEW BEST:: SOT 4390179 SOS 750522 HAS SOPS 750522 HAS SOUS 608077 HAS SOUPS 608077 WITH SCORE 608827.522
AT ITER 6915 NEW BEST:: SOT 4390147 SOS 750458 HAS SOPS 750458 HAS SOUS 608013 HAS SOUPS 608013 WITH SCORE 608763.458
AT ITER 6919 NEW BEST:: SOT 4389933 SOS 750030 HAS SOPS 750030 HAS SOUS 607585 HAS SOUPS 607585 WITH SCORE 608335.03
AT ITER 6927 NEW BEST:: SOT 4389851 SOS 749866 HAS SOPS 749866 HAS SOUS 607503 HAS SOUPS 607503 WITH SCORE 608252.866
AT ITER 6981 NEW BEST:: SOT 4389749 SOS 749662 HAS SOPS 749662 HAS SOUS 607299 HAS SOUPS 607299 WITH SCORE 608048.662
AT ITER 7008 NEW BEST:: SOT 4389650 SOS 749530 HAS SOPS 749530 HAS SOUS 607167 HAS SOUPS 607167 WITH SCORE 607916.53
AT ITER 7024 NEW BEST:: SOT 4389608 SOS 749594 HAS SOPS 749594 HAS SOUS 607145 HAS SOUPS 607145 WITH SCORE 607894.594
AT ITER 7062 NEW BEST:: SOT 4389464 SOS 749164 HAS SOPS 749164 HAS SOUS 606857 HAS SOUPS 606857 WITH SCORE 607606.164
AT ITER 7076 NEW BEST:: SOT 4389278 SOS 748252 HAS SOPS 748252 HAS SOUS 606563 HAS SOUPS 606563 WITH SCORE 607311.252
AT ITER 7130 NEW BEST:: SOT 4389329 SOS 748303 HAS SOPS 748303 HAS SOUS 606525 HAS SOUPS 606525 WITH SCORE 607273.303
AT ITER 7140 NEW BEST:: SOT 4389216 SOS 748077 HAS SOPS 748077 HAS SOUS 606299 HAS SOUPS 606299 WITH SCORE 607047.077
AT ITER 7180 NEW BEST:: SOT 4389207 SOS 748059 HAS SOPS 748059 HAS SOUS 606281 HAS SOUPS 606281 WITH SCORE 607029.059
AT ITER 7181 NEW BEST:: SOT 4388566 SOS 750257 HAS SOPS 750257 HAS SOUS 606257 HAS SOUPS 606257 WITH SCORE 607007.257
AT ITER 7188 NEW BEST:: SOT 4388540 SOS 750205 HAS SOPS 750205 HAS SOUS 606231 HAS SOUPS 606231 WITH SCORE 606981.205
AT ITER 7218 NEW BEST:: SOT 4388426 SOS 749857 HAS SOPS 749857 HAS SOUS 606058 HAS SOUPS 606058 WITH SCORE 606807.857
AT ITER 7237 NEW BEST:: SOT 4388142 SOS 749289 HAS SOPS 749289 HAS SOUS 605490 HAS SOUPS 605490 WITH SCORE 606239.289
AT ITER 7274 NEW BEST:: SOT 4387937 SOS 748879 HAS SOPS 748879 HAS SOUS 605080 HAS SOUPS 605080 WITH SCORE 605828.879
AT ITER 7281 NEW BEST:: SOT 4387820 SOS 748645 HAS SOPS 748645 HAS SOUS 604846 HAS SOUPS 604846 WITH SCORE 605594.645
AT ITER 7296 NEW BEST:: SOT 4387657 SOS 748319 HAS SOPS 748319 HAS SOUS 604683 HAS SOUPS 604683 WITH SCORE 605431.319
AT ITER 7297 NEW BEST:: SOT 4387594 SOS 748193 HAS SOPS 748193 HAS SOUS 604620 HAS SOUPS 604620 WITH SCORE 605368.193
AT ITER 7342 NEW BEST:: SOT 4387478 SOS 747655 HAS SOPS 747655 HAS SOUS 604351 HAS SOUPS 604351 WITH SCORE 605098.655
AT ITER 7390 NEW BEST:: SOT 4387448 SOS 747595 HAS SOPS 747595 HAS SOUS 604291 HAS SOUPS 604291 WITH SCORE 605038.595
AT ITER 7429 NEW BEST:: SOT 4387403 SOS 747737 HAS SOPS 747737 HAS SOUS 604246 HAS SOUPS 604246 WITH SCORE 604993.737
AT ITER 7438 NEW BEST:: SOT 4387398 SOS 747737 HAS SOPS 747737 HAS SOUS 604241 HAS SOUPS 604241 WITH SCORE 604988.737
AT ITER 7539 NEW BEST:: SOT 4387150 SOS 746824 HAS SOPS 746824 HAS SOUS 603745 HAS SOUPS 603745 WITH SCORE 604491.824
AT ITER 7559 NEW BEST:: SOT 4387142 SOS 746808 HAS SOPS 746808 HAS SOUS 603737 HAS SOUPS 603737 WITH SCORE 604483.808
AT ITER 7569 NEW BEST:: SOT 4387059 SOS 746642 HAS SOPS 746642 HAS SOUS 603571 HAS SOUPS 603571 WITH SCORE 604317.642
AT ITER 7586 NEW BEST:: SOT 4387087 SOS 746698 HAS SOPS 746698 HAS SOUS 603456 HAS SOUPS 603456 WITH SCORE 604202.698
AT ITER 7627 NEW BEST:: SOT 4387026 SOS 746472 HAS SOPS 746472 HAS SOUS 603334 HAS SOUPS 603334 WITH SCORE 604080.472
AT ITER 7641 NEW BEST:: SOT 4386658 SOS 745393 HAS SOPS 745393 HAS SOUS 603170 HAS SOUPS 603170 WITH SCORE 603915.393
AT ITER 7662 NEW BEST:: SOT 4386538 SOS 745081 HAS SOPS 745081 HAS SOUS 602858 HAS SOUPS 602858 WITH SCORE 603603.081
AT ITER 7672 NEW BEST:: SOT 4386518 SOS 745041 HAS SOPS 745041 HAS SOUS 602838 HAS SOUPS 602838 WITH SCORE 603583.041
AT ITER 7713 NEW BEST:: SOT 4386424 SOS 744853 HAS SOPS 744853 HAS SOUS 602749 HAS SOUPS 602749 WITH SCORE 603493.853
AT ITER 7725 NEW BEST:: SOT 4386423 SOS 744851 HAS SOPS 744851 HAS SOUS 602747 HAS SOUPS 602747 WITH SCORE 603491.851
AT ITER 7764 NEW BEST:: SOT 4386421 SOS 744849 HAS SOPS 744849 HAS SOUS 602745 HAS SOUPS 602745 WITH SCORE 603489.849
AT ITER 7773 NEW BEST:: SOT 4386506 SOS 744806 HAS SOPS 744806 HAS SOUS 602702 HAS SOUPS 602702 WITH SCORE 603446.806
AT ITER 7778 NEW BEST:: SOT 4386522 SOS 744712 HAS SOPS 744712 HAS SOUS 602571 HAS SOUPS 602571 WITH SCORE 603315.712
AT ITER 7798 NEW BEST:: SOT 4386515 SOS 744698 HAS SOPS 744698 HAS SOUS 602557 HAS SOUPS 602557 WITH SCORE 603301.698
AT ITER 7877 NEW BEST:: SOT 4386471 SOS 744720 HAS SOPS 744720 HAS SOUS 602513 HAS SOUPS 602513 WITH SCORE 603257.72
AT ITER 7914 NEW BEST:: SOT 4386462 SOS 744702 HAS SOPS 744702 HAS SOUS 602495 HAS SOUPS 602495 WITH SCORE 603239.702
AT ITER 7932 NEW BEST:: SOT 4386290 SOS 744358 HAS SOPS 744358 HAS SOUS 602323 HAS SOUPS 602323 WITH SCORE 603067.358
AT ITER 7940 NEW BEST:: SOT 4386186 SOS 744143 HAS SOPS 744143 HAS SOUS 602226 HAS SOUPS 602226 WITH SCORE 602970.143
AT ITER 7947 NEW BEST:: SOT 4385894 SOS 743559 HAS SOPS 743559 HAS SOUS 601642 HAS SOUPS 601642 WITH SCORE 602385.559
AT ITER 7959 NEW BEST:: SOT 4385894 SOS 743227 HAS SOPS 743227 HAS SOUS 601476 HAS SOUPS 601476 WITH SCORE 602219.227
AT ITER 7969 NEW BEST:: SOT 4385629 SOS 742697 HAS SOPS 742697 HAS SOUS 601211 HAS SOUPS 601211 WITH SCORE 601953.697
AT ITER 8030 NEW BEST:: SOT 4385506 SOS 741771 HAS SOPS 741771 HAS SOUS 600718 HAS SOUPS 600718 WITH SCORE 601459.771
AT ITER 8065 NEW BEST:: SOT 4385431 SOS 741747 HAS SOPS 741747 HAS SOUS 600617 HAS SOUPS 600617 WITH SCORE 601358.747
AT ITER 8126 NEW BEST:: SOT 4385357 SOS 741673 HAS SOPS 741673 HAS SOUS 600543 HAS SOUPS 600543 WITH SCORE 601284.673
AT ITER 8139 NEW BEST:: SOT 4385110 SOS 741553 HAS SOPS 741553 HAS SOUS 600423 HAS SOUPS 600423 WITH SCORE 601164.553
AT ITER 8149 NEW BEST:: SOT 4385054 SOS 741441 HAS SOPS 741441 HAS SOUS 600228 HAS SOUPS 600228 WITH SCORE 600969.441
AT ITER 8178 NEW BEST:: SOT 4385054 SOS 741364 HAS SOPS 741364 HAS SOUS 600151 HAS SOUPS 600151 WITH SCORE 600892.364
AT ITER 8219 NEW BEST:: SOT 4385054 SOS 741364 HAS SOPS 741364 HAS SOUS 600098 HAS SOUPS 600098 WITH SCORE 600839.364
AT ITER 8228 NEW BEST:: SOT 4385047 SOS 741350 HAS SOPS 741350 HAS SOUS 600084 HAS SOUPS 600084 WITH SCORE 600825.35
AT ITER 8230 NEW BEST:: SOT 4385037 SOS 741345 HAS SOPS 741345 HAS SOUS 600079 HAS SOUPS 600079 WITH SCORE 600820.345
AT ITER 8263 NEW BEST:: SOT 4385028 SOS 741327 HAS SOPS 741327 HAS SOUS 600061 HAS SOUPS 600061 WITH SCORE 600802.327
AT ITER 8322 NEW BEST:: SOT 4384992 SOS 740595 HAS SOPS 740595 HAS SOUS 599787 HAS SOUPS 599787 WITH SCORE 600527.595
AT ITER 8340 NEW BEST:: SOT 4384903 SOS 740506 HAS SOPS 740506 HAS SOUS 599698 HAS SOUPS 599698 WITH SCORE 600438.506
AT ITER 8347 NEW BEST:: SOT 4384847 SOS 740394 HAS SOPS 740394 HAS SOUS 599586 HAS SOUPS 599586 WITH SCORE 600326.394
AT ITER 8357 NEW BEST:: SOT 4384553 SOS 740100 HAS SOPS 740100 HAS SOUS 599292 HAS SOUPS 599292 WITH SCORE 600032.1
AT ITER 8373 NEW BEST:: SOT 4384553 SOS 740010 HAS SOPS 740010 HAS SOUS 599292 HAS SOUPS 599292 WITH SCORE 600032.01
AT ITER 8401 NEW BEST:: SOT 4384439 SOS 739896 HAS SOPS 739896 HAS SOUS 599207 HAS SOUPS 599207 WITH SCORE 599946.896
AT ITER 8410 NEW BEST:: SOT 4384617 SOS 739791 HAS SOPS 739791 HAS SOUS 599113 HAS SOUPS 599113 WITH SCORE 599852.791
AT ITER 8433 NEW BEST:: SOT 4384616 SOS 739790 HAS SOPS 739790 HAS SOUS 599111 HAS SOUPS 599111 WITH SCORE 599850.79
AT ITER 8453 NEW BEST:: SOT 4384223 SOS 739004 HAS SOPS 739004 HAS SOUS 598325 HAS SOUPS 598325 WITH SCORE 599064.004
AT ITER 8467 NEW BEST:: SOT 4384043 SOS 738644 HAS SOPS 738644 HAS SOUS 597965 HAS SOUPS 597965 WITH SCORE 598703.644
AT ITER 8479 NEW BEST:: SOT 4383930 SOS 738418 HAS SOPS 738418 HAS SOUS 597739 HAS SOUPS 597739 WITH SCORE 598477.418
AT ITER 8512 NEW BEST:: SOT 4383930 SOS 738418 HAS SOPS 738418 HAS SOUS 597727 HAS SOUPS 597727 WITH SCORE 598465.418
AT ITER 8526 NEW BEST:: SOT 4383836 SOS 738230 HAS SOPS 738230 HAS SOUS 597647 HAS SOUPS 597647 WITH SCORE 598385.23
AT ITER 8527 NEW BEST:: SOT 4383740 SOS 738169 HAS SOPS 738169 HAS SOUS 597568 HAS SOUPS 597568 WITH SCORE 598306.169
AT ITER 8572 NEW BEST:: SOT 4383432 SOS 738005 HAS SOPS 738005 HAS SOUS 597272 HAS SOUPS 597272 WITH SCORE 598010.005
AT ITER 8573 NEW BEST:: SOT 4383488 SOS 737768 HAS SOPS 737768 HAS SOUS 597109 HAS SOUPS 597109 WITH SCORE 597846.768
AT ITER 8586 NEW BEST:: SOT 4383480 SOS 737752 HAS SOPS 737752 HAS SOUS 597101 HAS SOUPS 597101 WITH SCORE 597838.752
AT ITER 8596 NEW BEST:: SOT 4383480 SOS 737155 HAS SOPS 737155 HAS SOUS 596753 HAS SOUPS 596753 WITH SCORE 597490.155
AT ITER 8612 NEW BEST:: SOT 4383679 SOS 737356 HAS SOPS 737356 HAS SOUS 596556 HAS SOUPS 596556 WITH SCORE 597293.356
AT ITER 8614 NEW BEST:: SOT 4383679 SOS 737253 HAS SOPS 737253 HAS SOUS 596453 HAS SOUPS 596453 WITH SCORE 597190.253
AT ITER 8625 NEW BEST:: SOT 4383629 SOS 737103 HAS SOPS 737103 HAS SOUS 596303 HAS SOUPS 596303 WITH SCORE 597040.103
AT ITER 8641 NEW BEST:: SOT 4383601 SOS 737047 HAS SOPS 737047 HAS SOUS 596247 HAS SOUPS 596247 WITH SCORE 596984.047
AT ITER 8677 NEW BEST:: SOT 4383634 SOS 736934 HAS SOPS 736934 HAS SOUS 596134 HAS SOUPS 596134 WITH SCORE 596870.934
AT ITER 8732 NEW BEST:: SOT 4383368 SOS 736092 HAS SOPS 736092 HAS SOUS 595677 HAS SOUPS 595677 WITH SCORE 596413.092
AT ITER 8790 NEW BEST:: SOT 4383368 SOS 735876 HAS SOPS 735876 HAS SOUS 595461 HAS SOUPS 595461 WITH SCORE 596196.876
AT ITER 8798 NEW BEST:: SOT 4383332 SOS 735484 HAS SOPS 735484 HAS SOUS 595304 HAS SOUPS 595304 WITH SCORE 596039.484
AT ITER 8843 NEW BEST:: SOT 4383332 SOS 735327 HAS SOPS 735327 HAS SOUS 595304 HAS SOUPS 595304 WITH SCORE 596039.327
AT ITER 8863 NEW BEST:: SOT 4382878 SOS 734939 HAS SOPS 734939 HAS SOUS 594929 HAS SOUPS 594929 WITH SCORE 595663.939
AT ITER 8867 NEW BEST:: SOT 4382536 SOS 735547 HAS SOPS 735547 HAS SOUS 594910 HAS SOUPS 594910 WITH SCORE 595645.547
AT ITER 8888 NEW BEST:: SOT 4382530 SOS 735342 HAS SOPS 735342 HAS SOUS 594731 HAS SOUPS 594731 WITH SCORE 595466.342
AT ITER 8912 NEW BEST:: SOT 4382419 SOS 735547 HAS SOPS 735547 HAS SOUS 594509 HAS SOUPS 594509 WITH SCORE 595244.547
AT ITER 8927 NEW BEST:: SOT 4382467 SOS 735605 HAS SOPS 735605 HAS SOUS 594323 HAS SOUPS 594323 WITH SCORE 595058.605
AT ITER 8942 NEW BEST:: SOT 4382471 SOS 735461 HAS SOPS 735461 HAS SOUS 594179 HAS SOUPS 594179 WITH SCORE 594914.461
AT ITER 8965 NEW BEST:: SOT 4382471 SOS 735333 HAS SOPS 735333 HAS SOUS 594179 HAS SOUPS 594179 WITH SCORE 594914.333
AT ITER 8973 NEW BEST:: SOT 4382500 SOS 735261 HAS SOPS 735261 HAS SOUS 594107 HAS SOUPS 594107 WITH SCORE 594842.261
AT ITER 8993 NEW BEST:: SOT 4382500 SOS 735202 HAS SOPS 735202 HAS SOUS 594085 HAS SOUPS 594085 WITH SCORE 594820.202
AT ITER 9000 NEW BEST:: SOT 4382310 SOS 734491 HAS SOPS 734491 HAS SOUS 593651 HAS SOUPS 593651 WITH SCORE 594385.491
AT ITER 9077 NEW BEST:: SOT 4382014 SOS 734508 HAS SOPS 734508 HAS SOUS 593558 HAS SOUPS 593558 WITH SCORE 594292.508
AT ITER 9131 NEW BEST:: SOT 4381843 SOS 734166 HAS SOPS 734166 HAS SOUS 593216 HAS SOUPS 593216 WITH SCORE 593950.166
AT ITER 9176 NEW BEST:: SOT 4381768 SOS 734139 HAS SOPS 734139 HAS SOUS 593189 HAS SOUPS 593189 WITH SCORE 593923.139
AT ITER 9294 NEW BEST:: SOT 4381742 SOS 734113 HAS SOPS 734113 HAS SOUS 593171 HAS SOUPS 593171 WITH SCORE 593905.113
AT ITER 9336 NEW BEST:: SOT 4381742 SOS 734028 HAS SOPS 734028 HAS SOUS 593171 HAS SOUPS 593171 WITH SCORE 593905.028
AT ITER 9341 NEW BEST:: SOT 4381726 SOS 733996 HAS SOPS 733996 HAS SOUS 593155 HAS SOUPS 593155 WITH SCORE 593888.996
AT ITER 9358 NEW BEST:: SOT 4381726 SOS 733915 HAS SOPS 733915 HAS SOUS 593155 HAS SOUPS 593155 WITH SCORE 593888.915
AT ITER 9397 NEW BEST:: SOT 4381725 SOS 733913 HAS SOPS 733913 HAS SOUS 593153 HAS SOUPS 593153 WITH SCORE 593886.913
AT ITER 9404 NEW BEST:: SOT 4381774 SOS 734373 HAS SOPS 734373 HAS SOUS 592874 HAS SOUPS 592874 WITH SCORE 593608.373
AT ITER 9420 NEW BEST:: SOT 4381698 SOS 734221 HAS SOPS 734221 HAS SOUS 592788 HAS SOUPS 592788 WITH SCORE 593522.221
AT ITER 9425 NEW BEST:: SOT 4381182 SOS 734771 HAS SOPS 734771 HAS SOUS 592611 HAS SOUPS 592611 WITH SCORE 593345.771
AT ITER 9433 NEW BEST:: SOT 4381182 SOS 734562 HAS SOPS 734562 HAS SOUS 592611 HAS SOUPS 592611 WITH SCORE 593345.562
AT ITER 9437 NEW BEST:: SOT 4381139 SOS 734476 HAS SOPS 734476 HAS SOUS 592525 HAS SOUPS 592525 WITH SCORE 593259.476
AT ITER 9462 NEW BEST:: SOT 4381124 SOS 734446 HAS SOPS 734446 HAS SOUS 592510 HAS SOUPS 592510 WITH SCORE 593244.446
AT ITER 9470 NEW BEST:: SOT 4381227 SOS 733696 HAS SOPS 733696 HAS SOUS 592426 HAS SOUPS 592426 WITH SCORE 593159.696
AT ITER 9490 NEW BEST:: SOT 4381227 SOS 733617 HAS SOPS 733617 HAS SOUS 592347 HAS SOUPS 592347 WITH SCORE 593080.617
AT ITER 9493 NEW BEST:: SOT 4381105 SOS 733373 HAS SOPS 733373 HAS SOUS 592103 HAS SOUPS 592103 WITH SCORE 592836.373
AT ITER 9494 NEW BEST:: SOT 4381143 SOS 733680 HAS SOPS 733680 HAS SOUS 592057 HAS SOUPS 592057 WITH SCORE 592790.68
AT ITER 9502 NEW BEST:: SOT 4381124 SOS 733623 HAS SOPS 733623 HAS SOUS 592026 HAS SOUPS 592026 WITH SCORE 592759.623
AT ITER 9506 NEW BEST:: SOT 4380769 SOS 732913 HAS SOPS 732913 HAS SOUS 591521 HAS SOUPS 591521 WITH SCORE 592253.913
AT ITER 9516 NEW BEST:: SOT 4380577 SOS 732901 HAS SOPS 732901 HAS SOUS 591324 HAS SOUPS 591324 WITH SCORE 592056.901
AT ITER 9520 NEW BEST:: SOT 4380468 SOS 732258 HAS SOPS 732258 HAS SOUS 591071 HAS SOUPS 591071 WITH SCORE 591803.258
AT ITER 9538 NEW BEST:: SOT 4380415 SOS 732201 HAS SOPS 732201 HAS SOUS 591008 HAS SOUPS 591008 WITH SCORE 591740.201
AT ITER 9541 NEW BEST:: SOT 4380415 SOS 732197 HAS SOPS 732197 HAS SOUS 591004 HAS SOUPS 591004 WITH SCORE 591736.197
AT ITER 9544 NEW BEST:: SOT 4380415 SOS 732204 HAS SOPS 732204 HAS SOUS 590997 HAS SOUPS 590997 WITH SCORE 591729.204
AT ITER 9554 NEW BEST:: SOT 4380415 SOS 732204 HAS SOPS 732204 HAS SOUS 590996 HAS SOUPS 590996 WITH SCORE 591728.204
AT ITER 9555 NEW BEST:: SOT 4380353 SOS 732064 HAS SOPS 732064 HAS SOUS 590752 HAS SOUPS 590752 WITH SCORE 591484.064
AT ITER 9585 NEW BEST:: SOT 4380352 SOS 732062 HAS SOPS 732062 HAS SOUS 590750 HAS SOUPS 590750 WITH SCORE 591482.062
AT ITER 9616 NEW BEST:: SOT 4380312 SOS 731982 HAS SOPS 731982 HAS SOUS 590670 HAS SOUPS 590670 WITH SCORE 591401.982
AT ITER 9636 NEW BEST:: SOT 4380283 SOS 731924 HAS SOPS 731924 HAS SOUS 590612 HAS SOUPS 590612 WITH SCORE 591343.924
AT ITER 9641 NEW BEST:: SOT 4380281 SOS 731920 HAS SOPS 731920 HAS SOUS 590608 HAS SOUPS 590608 WITH SCORE 591339.92
AT ITER 9645 NEW BEST:: SOT 4380197 SOS 731689 HAS SOPS 731689 HAS SOUS 590550 HAS SOUPS 590550 WITH SCORE 591281.689
AT ITER 9647 NEW BEST:: SOT 4379923 SOS 731131 HAS SOPS 731131 HAS SOUS 590286 HAS SOUPS 590286 WITH SCORE 591017.131
AT ITER 9664 NEW BEST:: SOT 4379824 SOS 730933 HAS SOPS 730933 HAS SOUS 590179 HAS SOUPS 590179 WITH SCORE 590909.933
AT ITER 9667 NEW BEST:: SOT 4379824 SOS 730933 HAS SOPS 730933 HAS SOUS 590169 HAS SOUPS 590169 WITH SCORE 590899.933
AT ITER 9688 NEW BEST:: SOT 4379452 SOS 730189 HAS SOPS 730189 HAS SOUS 589425 HAS SOUPS 589425 WITH SCORE 590155.189
AT ITER 9698 NEW BEST:: SOT 4379188 SOS 729661 HAS SOPS 729661 HAS SOUS 588897 HAS SOUPS 588897 WITH SCORE 589626.661
AT ITER 9713 NEW BEST:: SOT 4378921 SOS 729483 HAS SOPS 729483 HAS SOUS 588501 HAS SOUPS 588501 WITH SCORE 589230.483
AT ITER 9728 NEW BEST:: SOT 4378915 SOS 729477 HAS SOPS 729477 HAS SOUS 588495 HAS SOUPS 588495 WITH SCORE 589224.477
AT ITER 9757 NEW BEST:: SOT 4378808 SOS 729431 HAS SOPS 729431 HAS SOUS 588472 HAS SOUPS 588472 WITH SCORE 589201.431
AT ITER 9759 NEW BEST:: SOT 4378717 SOS 729249 HAS SOPS 729249 HAS SOUS 588334 HAS SOUPS 588334 WITH SCORE 589063.249
AT ITER 9762 NEW BEST:: SOT 4378641 SOS 729097 HAS SOPS 729097 HAS SOUS 588182 HAS SOUPS 588182 WITH SCORE 588911.097
AT ITER 9785 NEW BEST:: SOT 4378590 SOS 729039 HAS SOPS 729039 HAS SOUS 588081 HAS SOUPS 588081 WITH SCORE 588810.039
AT ITER 9809 NEW BEST:: SOT 4378596 SOS 728972 HAS SOPS 728972 HAS SOUS 588008 HAS SOUPS 588008 WITH SCORE 588736.972
AT ITER 9843 NEW BEST:: SOT 4378596 SOS 728959 HAS SOPS 728959 HAS SOUS 587995 HAS SOUPS 587995 WITH SCORE 588723.959
AT ITER 9869 NEW BEST:: SOT 4378596 SOS 728951 HAS SOPS 728951 HAS SOUS 587987 HAS SOUPS 587987 WITH SCORE 588715.951
AT ITER 9872 NEW BEST:: SOT 4378706 SOS 728541 HAS SOPS 728541 HAS SOUS 587971 HAS SOUPS 587971 WITH SCORE 588699.541
AT ITER 9880 NEW BEST:: SOT 4378647 SOS 728423 HAS SOPS 728423 HAS SOUS 587853 HAS SOUPS 587853 WITH SCORE 588581.423
AT ITER 9892 NEW BEST:: SOT 4378460 SOS 727914 HAS SOPS 727914 HAS SOUS 587685 HAS SOUPS 587685 WITH SCORE 588412.914
AT ITER 9897 NEW BEST:: SOT 4378444 SOS 727882 HAS SOPS 727882 HAS SOUS 587669 HAS SOUPS 587669 WITH SCORE 588396.882
AT ITER 9900 NEW BEST:: SOT 4378342 SOS 727554 HAS SOPS 727554 HAS SOUS 587465 HAS SOUPS 587465 WITH SCORE 588192.554
AT ITER 9909 NEW BEST:: SOT 4378342 SOS 727554 HAS SOPS 727554 HAS SOUS 587454 HAS SOUPS 587454 WITH SCORE 588181.554
AT ITER 9910 NEW BEST:: SOT 4377826 SOS 727057 HAS SOPS 727057 HAS SOUS 586957 HAS SOUPS 586957 WITH SCORE 587684.057
AT ITER 9917 NEW BEST:: SOT 4377631 SOS 726667 HAS SOPS 726667 HAS SOUS 586762 HAS SOUPS 586762 WITH SCORE 587488.667
AT ITER 9948 NEW BEST:: SOT 4377591 SOS 726501 HAS SOPS 726501 HAS SOUS 586596 HAS SOUPS 586596 WITH SCORE 587322.501
AT ITER 9960 NEW BEST:: SOT 4377591 SOS 726501 HAS SOPS 726501 HAS SOUS 586494 HAS SOUPS 586494 WITH SCORE 587220.501
AT ITER 9973 NEW BEST:: SOT 4377324 SOS 726759 HAS SOPS 726759 HAS SOUS 586356 HAS SOUPS 586356 WITH SCORE 587082.759
AT ITER 9995 NEW BEST:: SOT 4377311 SOS 726733 HAS SOPS 726733 HAS SOUS 586330 HAS SOUPS 586330 WITH SCORE 587056.733
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 11809560 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16125192 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CloudReconfiguration-PT-314"
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-314, 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-167814483800112"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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