Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r048-ebro-158902541700088.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
........................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is CloudReconfiguration-PT-311, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902541700088
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 828K
-rw-r--r-- 1 mcc users 3.5K Mar 30 01:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 30 01:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 28 16:13 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 28 16:13 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Apr 8 14:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Apr 8 14:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 27 08:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 27 08:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 26 08:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 26 08:13 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 660K Mar 24 05:37 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 1589095451891

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 311
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/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 9 NEW BEST:: SOT 4449283 SOS 709634 HAS SOPS 709634 HAS SOUS 687795 HAS SOUPS 687795 WITH SCORE 688504.634
AT ITER 26 NEW BEST:: SOT 4449231 SOS 709436 HAS SOPS 709436 HAS SOUS 687649 HAS SOUPS 687649 WITH SCORE 688358.436
AT ITER 27 NEW BEST:: SOT 4449203 SOS 709423 HAS SOPS 709423 HAS SOUS 687633 HAS SOUPS 687633 WITH SCORE 688342.423
AT ITER 47 NEW BEST:: SOT 4447548 SOS 708458 HAS SOPS 708458 HAS SOUS 686306 HAS SOUPS 686306 WITH SCORE 687014.458
AT ITER 82 NEW BEST:: SOT 4447310 SOS 708220 HAS SOPS 708220 HAS SOUS 686068 HAS SOUPS 686068 WITH SCORE 686776.22
AT ITER 176 NEW BEST:: SOT 4447256 SOS 708112 HAS SOPS 708112 HAS SOUS 685950 HAS SOUPS 685950 WITH SCORE 686658.112
AT ITER 181 NEW BEST:: SOT 4445114 SOS 705970 HAS SOPS 705970 HAS SOUS 683808 HAS SOUPS 683808 WITH SCORE 684513.97
AT ITER 191 NEW BEST:: SOT 4444968 SOS 705678 HAS SOPS 705678 HAS SOUS 683452 HAS SOUPS 683452 WITH SCORE 684157.678
AT ITER 206 NEW BEST:: SOT 4444553 SOS 705600 HAS SOPS 705600 HAS SOUS 683077 HAS SOUPS 683077 WITH SCORE 683782.6
AT ITER 231 NEW BEST:: SOT 4444012 SOS 705484 HAS SOPS 705484 HAS SOUS 682611 HAS SOUPS 682611 WITH SCORE 683316.484
AT ITER 248 NEW BEST:: SOT 4444004 SOS 705644 HAS SOPS 705644 HAS SOUS 682603 HAS SOUPS 682603 WITH SCORE 683308.644
AT ITER 251 NEW BEST:: SOT 4444004 SOS 705591 HAS SOPS 705591 HAS SOUS 682550 HAS SOUPS 682550 WITH SCORE 683255.591
AT ITER 258 NEW BEST:: SOT 4443948 SOS 705479 HAS SOPS 705479 HAS SOUS 682438 HAS SOUPS 682438 WITH SCORE 683143.479
AT ITER 303 NEW BEST:: SOT 4443659 SOS 704900 HAS SOPS 704900 HAS SOUS 681714 HAS SOUPS 681714 WITH SCORE 682418.9
AT ITER 332 NEW BEST:: SOT 4443645 SOS 704872 HAS SOPS 704872 HAS SOUS 681686 HAS SOUPS 681686 WITH SCORE 682390.872
AT ITER 340 NEW BEST:: SOT 4443644 SOS 704870 HAS SOPS 704870 HAS SOUS 681684 HAS SOUPS 681684 WITH SCORE 682388.87
AT ITER 342 NEW BEST:: SOT 4443664 SOS 704910 HAS SOPS 704910 HAS SOUS 681443 HAS SOUPS 681443 WITH SCORE 682147.91
AT ITER 349 NEW BEST:: SOT 4443621 SOS 704824 HAS SOPS 704824 HAS SOUS 681357 HAS SOUPS 681357 WITH SCORE 682061.824
AT ITER 383 NEW BEST:: SOT 4443511 SOS 704494 HAS SOPS 704494 HAS SOUS 681137 HAS SOUPS 681137 WITH SCORE 681841.494
AT ITER 402 NEW BEST:: SOT 4443530 SOS 704532 HAS SOPS 704532 HAS SOUS 680823 HAS SOUPS 680823 WITH SCORE 681527.532
AT ITER 404 NEW BEST:: SOT 4443274 SOS 704020 HAS SOPS 704020 HAS SOUS 680311 HAS SOUPS 680311 WITH SCORE 681015.02
AT ITER 428 NEW BEST:: SOT 4443081 SOS 704018 HAS SOPS 704018 HAS SOUS 680242 HAS SOUPS 680242 WITH SCORE 680946.018
AT ITER 438 NEW BEST:: SOT 4443080 SOS 704016 HAS SOPS 704016 HAS SOUS 680240 HAS SOUPS 680240 WITH SCORE 680944.016
AT ITER 485 NEW BEST:: SOT 4442851 SOS 703558 HAS SOPS 703558 HAS SOUS 679782 HAS SOUPS 679782 WITH SCORE 680485.558
AT ITER 519 NEW BEST:: SOT 4442831 SOS 703518 HAS SOPS 703518 HAS SOUS 679742 HAS SOUPS 679742 WITH SCORE 680445.518
AT ITER 534 NEW BEST:: SOT 4442831 SOS 703480 HAS SOPS 703480 HAS SOUS 679704 HAS SOUPS 679704 WITH SCORE 680407.48
AT ITER 555 NEW BEST:: SOT 4442831 SOS 703264 HAS SOPS 703264 HAS SOUS 679488 HAS SOUPS 679488 WITH SCORE 680191.264
AT ITER 574 NEW BEST:: SOT 4442745 SOS 703400 HAS SOPS 703400 HAS SOUS 679477 HAS SOUPS 679477 WITH SCORE 680180.4
AT ITER 582 NEW BEST:: SOT 4442612 SOS 703400 HAS SOPS 703400 HAS SOUS 679344 HAS SOUPS 679344 WITH SCORE 680047.4
AT ITER 596 NEW BEST:: SOT 4442469 SOS 703114 HAS SOPS 703114 HAS SOUS 679058 HAS SOUPS 679058 WITH SCORE 679761.114
AT ITER 615 NEW BEST:: SOT 4442379 SOS 702934 HAS SOPS 702934 HAS SOUS 678878 HAS SOUPS 678878 WITH SCORE 679580.934
AT ITER 637 NEW BEST:: SOT 4442188 SOS 702552 HAS SOPS 702552 HAS SOUS 678461 HAS SOUPS 678461 WITH SCORE 679163.552
AT ITER 638 NEW BEST:: SOT 4441845 SOS 702208 HAS SOPS 702208 HAS SOUS 678117 HAS SOUPS 678117 WITH SCORE 678819.208
AT ITER 641 NEW BEST:: SOT 4441748 SOS 702296 HAS SOPS 702296 HAS SOUS 678045 HAS SOUPS 678045 WITH SCORE 678747.296
AT ITER 663 NEW BEST:: SOT 4441669 SOS 702206 HAS SOPS 702206 HAS SOUS 677932 HAS SOUPS 677932 WITH SCORE 678634.206
AT ITER 679 NEW BEST:: SOT 4441279 SOS 701946 HAS SOPS 701946 HAS SOUS 677672 HAS SOUPS 677672 WITH SCORE 678373.946
AT ITER 726 NEW BEST:: SOT 4441162 SOS 701712 HAS SOPS 701712 HAS SOUS 677438 HAS SOUPS 677438 WITH SCORE 678139.712
AT ITER 756 NEW BEST:: SOT 4441096 SOS 701580 HAS SOPS 701580 HAS SOUS 677306 HAS SOUPS 677306 WITH SCORE 678007.58
AT ITER 759 NEW BEST:: SOT 4441096 SOS 701580 HAS SOPS 701580 HAS SOUS 677300 HAS SOUPS 677300 WITH SCORE 678001.58
AT ITER 762 NEW BEST:: SOT 4441026 SOS 701440 HAS SOPS 701440 HAS SOUS 677160 HAS SOUPS 677160 WITH SCORE 677861.44
AT ITER 779 NEW BEST:: SOT 4440963 SOS 701377 HAS SOPS 701377 HAS SOUS 677094 HAS SOUPS 677094 WITH SCORE 677795.377
AT ITER 794 NEW BEST:: SOT 4439181 SOS 707053 HAS SOPS 707053 HAS SOUS 675529 HAS SOUPS 675529 WITH SCORE 676236.053
AT ITER 818 NEW BEST:: SOT 4438918 SOS 706526 HAS SOPS 706526 HAS SOUS 675002 HAS SOUPS 675002 WITH SCORE 675708.526
AT ITER 824 NEW BEST:: SOT 4438893 SOS 706002 HAS SOPS 706002 HAS SOUS 674657 HAS SOUPS 674657 WITH SCORE 675363.002
AT ITER 852 NEW BEST:: SOT 4438882 SOS 705980 HAS SOPS 705980 HAS SOUS 674574 HAS SOUPS 674574 WITH SCORE 675279.98
AT ITER 896 NEW BEST:: SOT 4438882 SOS 705980 HAS SOPS 705980 HAS SOUS 674571 HAS SOUPS 674571 WITH SCORE 675276.98
AT ITER 905 NEW BEST:: SOT 4438662 SOS 705909 HAS SOPS 705909 HAS SOUS 674351 HAS SOUPS 674351 WITH SCORE 675056.909
AT ITER 906 NEW BEST:: SOT 4438617 SOS 705864 HAS SOPS 705864 HAS SOUS 674306 HAS SOUPS 674306 WITH SCORE 675011.864
AT ITER 958 NEW BEST:: SOT 4438587 SOS 705804 HAS SOPS 705804 HAS SOUS 674276 HAS SOUPS 674276 WITH SCORE 674981.804
AT ITER 996 NEW BEST:: SOT 4438587 SOS 705804 HAS SOPS 705804 HAS SOUS 674270 HAS SOUPS 674270 WITH SCORE 674975.804
AT ITER 1025 NEW BEST:: SOT 4438394 SOS 705645 HAS SOPS 705645 HAS SOUS 674111 HAS SOUPS 674111 WITH SCORE 674816.645
AT ITER 1029 NEW BEST:: SOT 4438393 SOS 705643 HAS SOPS 705643 HAS SOUS 674109 HAS SOUPS 674109 WITH SCORE 674814.643
AT ITER 1031 NEW BEST:: SOT 4438184 SOS 704987 HAS SOPS 704987 HAS SOUS 673453 HAS SOUPS 673453 WITH SCORE 674157.987
AT ITER 1051 NEW BEST:: SOT 4434614 SOS 773111 HAS SOPS 773111 HAS SOUS 673057 HAS SOUPS 673057 WITH SCORE 673830.111
AT ITER 1056 NEW BEST:: SOT 4434581 SOS 773109 HAS SOPS 773109 HAS SOUS 673055 HAS SOUPS 673055 WITH SCORE 673828.109
AT ITER 1088 NEW BEST:: SOT 4434432 SOS 772811 HAS SOPS 772811 HAS SOUS 672757 HAS SOUPS 672757 WITH SCORE 673529.811
AT ITER 1123 NEW BEST:: SOT 4434378 SOS 772703 HAS SOPS 772703 HAS SOUS 672718 HAS SOUPS 672718 WITH SCORE 673490.703
AT ITER 1135 NEW BEST:: SOT 4434285 SOS 772610 HAS SOPS 772610 HAS SOUS 672625 HAS SOUPS 672625 WITH SCORE 673397.61
AT ITER 1151 NEW BEST:: SOT 4433902 SOS 772300 HAS SOPS 772300 HAS SOUS 672263 HAS SOUPS 672263 WITH SCORE 673035.3
AT ITER 1172 NEW BEST:: SOT 4433848 SOS 772192 HAS SOPS 772192 HAS SOUS 672209 HAS SOUPS 672209 WITH SCORE 672981.192
AT ITER 1186 NEW BEST:: SOT 4433789 SOS 772015 HAS SOPS 772015 HAS SOUS 672091 HAS SOUPS 672091 WITH SCORE 672863.015
AT ITER 1239 NEW BEST:: SOT 4433756 SOS 771949 HAS SOPS 771949 HAS SOUS 672025 HAS SOUPS 672025 WITH SCORE 672796.949
AT ITER 1253 NEW BEST:: SOT 4433247 SOS 771643 HAS SOPS 771643 HAS SOUS 671525 HAS SOUPS 671525 WITH SCORE 672296.643
AT ITER 1267 NEW BEST:: SOT 4432664 SOS 771114 HAS SOPS 771114 HAS SOUS 670981 HAS SOUPS 670981 WITH SCORE 671752.114
AT ITER 1269 NEW BEST:: SOT 4432662 SOS 771110 HAS SOPS 771110 HAS SOUS 670977 HAS SOUPS 670977 WITH SCORE 671748.11
AT ITER 1281 NEW BEST:: SOT 4432290 SOS 770614 HAS SOPS 770614 HAS SOUS 670481 HAS SOUPS 670481 WITH SCORE 671251.614
AT ITER 1310 NEW BEST:: SOT 4431921 SOS 770203 HAS SOPS 770203 HAS SOUS 670126 HAS SOUPS 670126 WITH SCORE 670896.203
AT ITER 1332 NEW BEST:: SOT 4431441 SOS 772708 HAS SOPS 772708 HAS SOUS 669857 HAS SOUPS 669857 WITH SCORE 670629.708
AT ITER 1351 NEW BEST:: SOT 4431688 SOS 773202 HAS SOPS 773202 HAS SOUS 669818 HAS SOUPS 669818 WITH SCORE 670591.202
AT ITER 1352 NEW BEST:: SOT 4432027 SOS 773277 HAS SOPS 773277 HAS SOUS 669730 HAS SOUPS 669730 WITH SCORE 670503.277
AT ITER 1379 NEW BEST:: SOT 4432011 SOS 773311 HAS SOPS 773311 HAS SOUS 669714 HAS SOUPS 669714 WITH SCORE 670487.311
AT ITER 1397 NEW BEST:: SOT 4432011 SOS 773247 HAS SOPS 773247 HAS SOUS 669714 HAS SOUPS 669714 WITH SCORE 670487.247
AT ITER 1414 NEW BEST:: SOT 4432000 SOS 773225 HAS SOPS 773225 HAS SOUS 669692 HAS SOUPS 669692 WITH SCORE 670465.225
AT ITER 1432 NEW BEST:: SOT 4432000 SOS 773225 HAS SOPS 773225 HAS SOUS 669691 HAS SOUPS 669691 WITH SCORE 670464.225
AT ITER 1471 NEW BEST:: SOT 4431844 SOS 772913 HAS SOPS 772913 HAS SOUS 669379 HAS SOUPS 669379 WITH SCORE 670151.913
AT ITER 1478 NEW BEST:: SOT 4431854 SOS 772793 HAS SOPS 772793 HAS SOUS 669259 HAS SOUPS 669259 WITH SCORE 670031.793
AT ITER 1481 NEW BEST:: SOT 4431853 SOS 772664 HAS SOPS 772664 HAS SOUS 669131 HAS SOUPS 669131 WITH SCORE 669903.664
AT ITER 1486 NEW BEST:: SOT 4431273 SOS 772050 HAS SOPS 772050 HAS SOUS 668419 HAS SOUPS 668419 WITH SCORE 669191.05
AT ITER 1496 NEW BEST:: SOT 4431202 SOS 772016 HAS SOPS 772016 HAS SOUS 668348 HAS SOUPS 668348 WITH SCORE 669120.016
AT ITER 1499 NEW BEST:: SOT 4431145 SOS 771902 HAS SOPS 771902 HAS SOUS 668234 HAS SOUPS 668234 WITH SCORE 669005.902
AT ITER 1506 NEW BEST:: SOT 4431145 SOS 771781 HAS SOPS 771781 HAS SOUS 668113 HAS SOUPS 668113 WITH SCORE 668884.781
AT ITER 1551 NEW BEST:: SOT 4430906 SOS 772063 HAS SOPS 772063 HAS SOUS 667985 HAS SOUPS 667985 WITH SCORE 668757.063
AT ITER 1561 NEW BEST:: SOT 4430906 SOS 772063 HAS SOPS 772063 HAS SOUS 667961 HAS SOUPS 667961 WITH SCORE 668733.063
AT ITER 1578 NEW BEST:: SOT 4430905 SOS 772061 HAS SOPS 772061 HAS SOUS 667959 HAS SOUPS 667959 WITH SCORE 668731.061
AT ITER 1631 NEW BEST:: SOT 4430905 SOS 772061 HAS SOPS 772061 HAS SOUS 667809 HAS SOUPS 667809 WITH SCORE 668581.061
AT ITER 1632 NEW BEST:: SOT 4430783 SOS 771817 HAS SOPS 771817 HAS SOUS 667770 HAS SOUPS 667770 WITH SCORE 668541.817
AT ITER 1667 NEW BEST:: SOT 4430586 SOS 772782 HAS SOPS 772782 HAS SOUS 667627 HAS SOUPS 667627 WITH SCORE 668399.782
AT ITER 1680 NEW BEST:: SOT 4430024 SOS 772332 HAS SOPS 772332 HAS SOUS 667104 HAS SOUPS 667104 WITH SCORE 667876.332
AT ITER 1697 NEW BEST:: SOT 4429858 SOS 772000 HAS SOPS 772000 HAS SOUS 666855 HAS SOUPS 666855 WITH SCORE 667627.0
AT ITER 1699 NEW BEST:: SOT 4429761 SOS 771903 HAS SOPS 771903 HAS SOUS 666758 HAS SOUPS 666758 WITH SCORE 667529.903
AT ITER 1704 NEW BEST:: SOT 4429511 SOS 771653 HAS SOPS 771653 HAS SOUS 666508 HAS SOUPS 666508 WITH SCORE 667279.653
AT ITER 1713 NEW BEST:: SOT 4429496 SOS 771623 HAS SOPS 771623 HAS SOUS 666507 HAS SOUPS 666507 WITH SCORE 667278.623
AT ITER 1720 NEW BEST:: SOT 4429425 SOS 771481 HAS SOPS 771481 HAS SOUS 666365 HAS SOUPS 666365 WITH SCORE 667136.481
AT ITER 1739 NEW BEST:: SOT 4429173 SOS 770977 HAS SOPS 770977 HAS SOUS 665861 HAS SOUPS 665861 WITH SCORE 666631.977
AT ITER 1757 NEW BEST:: SOT 4429104 SOS 770839 HAS SOPS 770839 HAS SOUS 665723 HAS SOUPS 665723 WITH SCORE 666493.839
AT ITER 1776 NEW BEST:: SOT 4428988 SOS 770607 HAS SOPS 770607 HAS SOUS 665491 HAS SOUPS 665491 WITH SCORE 666261.607
AT ITER 1806 NEW BEST:: SOT 4428988 SOS 770606 HAS SOPS 770606 HAS SOUS 665490 HAS SOUPS 665490 WITH SCORE 666260.606
AT ITER 1807 NEW BEST:: SOT 4429080 SOS 770563 HAS SOPS 770563 HAS SOUS 665447 HAS SOUPS 665447 WITH SCORE 666217.563
AT ITER 1831 NEW BEST:: SOT 4429167 SOS 770471 HAS SOPS 770471 HAS SOUS 665355 HAS SOUPS 665355 WITH SCORE 666125.471
AT ITER 1836 NEW BEST:: SOT 4429128 SOS 770393 HAS SOPS 770393 HAS SOUS 665313 HAS SOUPS 665313 WITH SCORE 666083.393
AT ITER 1855 NEW BEST:: SOT 4429128 SOS 770393 HAS SOPS 770393 HAS SOUS 665312 HAS SOUPS 665312 WITH SCORE 666082.393
AT ITER 1864 NEW BEST:: SOT 4429127 SOS 770391 HAS SOPS 770391 HAS SOUS 665310 HAS SOUPS 665310 WITH SCORE 666080.391
AT ITER 1885 NEW BEST:: SOT 4429096 SOS 770329 HAS SOPS 770329 HAS SOUS 665248 HAS SOUPS 665248 WITH SCORE 666018.329
AT ITER 1891 NEW BEST:: SOT 4429035 SOS 770015 HAS SOPS 770015 HAS SOUS 665237 HAS SOUPS 665237 WITH SCORE 666007.015
AT ITER 1916 NEW BEST:: SOT 4428934 SOS 769813 HAS SOPS 769813 HAS SOUS 665035 HAS SOUPS 665035 WITH SCORE 665804.813
AT ITER 1928 NEW BEST:: SOT 4428927 SOS 769799 HAS SOPS 769799 HAS SOUS 665021 HAS SOUPS 665021 WITH SCORE 665790.799
AT ITER 1938 NEW BEST:: SOT 4428865 SOS 769491 HAS SOPS 769491 HAS SOUS 664800 HAS SOUPS 664800 WITH SCORE 665569.491
AT ITER 1945 NEW BEST:: SOT 4428842 SOS 769445 HAS SOPS 769445 HAS SOUS 664800 HAS SOUPS 664800 WITH SCORE 665569.445
AT ITER 1982 NEW BEST:: SOT 4428906 SOS 769331 HAS SOPS 769331 HAS SOUS 664686 HAS SOUPS 664686 WITH SCORE 665455.331
AT ITER 1988 NEW BEST:: SOT 4428866 SOS 769251 HAS SOPS 769251 HAS SOUS 664606 HAS SOUPS 664606 WITH SCORE 665375.251
AT ITER 2014 NEW BEST:: SOT 4428565 SOS 768649 HAS SOPS 768649 HAS SOUS 664428 HAS SOUPS 664428 WITH SCORE 665196.649
AT ITER 2047 NEW BEST:: SOT 4428438 SOS 768613 HAS SOPS 768613 HAS SOUS 664356 HAS SOUPS 664356 WITH SCORE 665124.613
AT ITER 2052 NEW BEST:: SOT 4428421 SOS 768579 HAS SOPS 768579 HAS SOUS 664322 HAS SOUPS 664322 WITH SCORE 665090.579
AT ITER 2076 NEW BEST:: SOT 4428421 SOS 768578 HAS SOPS 768578 HAS SOUS 664321 HAS SOUPS 664321 WITH SCORE 665089.578
AT ITER 2100 NEW BEST:: SOT 4428050 SOS 721636 HAS SOPS 721636 HAS SOUS 663553 HAS SOUPS 663553 WITH SCORE 664274.636
AT ITER 2127 NEW BEST:: SOT 4428045 SOS 721626 HAS SOPS 721626 HAS SOUS 663523 HAS SOUPS 663523 WITH SCORE 664244.626
AT ITER 2131 NEW BEST:: SOT 4427838 SOS 721212 HAS SOPS 721212 HAS SOUS 663109 HAS SOUPS 663109 WITH SCORE 663830.212
AT ITER 2193 NEW BEST:: SOT 4427771 SOS 721078 HAS SOPS 721078 HAS SOUS 662975 HAS SOUPS 662975 WITH SCORE 663696.078
AT ITER 2198 NEW BEST:: SOT 4427874 SOS 721284 HAS SOPS 721284 HAS SOUS 662795 HAS SOUPS 662795 WITH SCORE 663516.284
AT ITER 2212 NEW BEST:: SOT 4427873 SOS 721282 HAS SOPS 721282 HAS SOUS 662793 HAS SOUPS 662793 WITH SCORE 663514.282
AT ITER 2222 NEW BEST:: SOT 4427872 SOS 721279 HAS SOPS 721279 HAS SOUS 662790 HAS SOUPS 662790 WITH SCORE 663511.279
AT ITER 2238 NEW BEST:: SOT 4427834 SOS 721472 HAS SOPS 721472 HAS SOUS 662741 HAS SOUPS 662741 WITH SCORE 663462.472
AT ITER 2240 NEW BEST:: SOT 4427792 SOS 721388 HAS SOPS 721388 HAS SOUS 662475 HAS SOUPS 662475 WITH SCORE 663196.388
AT ITER 2243 NEW BEST:: SOT 4427776 SOS 721372 HAS SOPS 721372 HAS SOUS 662459 HAS SOUPS 662459 WITH SCORE 663180.372
AT ITER 2247 NEW BEST:: SOT 4427499 SOS 720818 HAS SOPS 720818 HAS SOUS 661905 HAS SOUPS 661905 WITH SCORE 662625.818
AT ITER 2270 NEW BEST:: SOT 4427437 SOS 720756 HAS SOPS 720756 HAS SOUS 661843 HAS SOUPS 661843 WITH SCORE 662563.756
AT ITER 2283 NEW BEST:: SOT 4427435 SOS 720731 HAS SOPS 720731 HAS SOUS 661840 HAS SOUPS 661840 WITH SCORE 662560.731
AT ITER 2308 NEW BEST:: SOT 4427526 SOS 720729 HAS SOPS 720729 HAS SOUS 661839 HAS SOUPS 661839 WITH SCORE 662559.729
AT ITER 2317 NEW BEST:: SOT 4427243 SOS 720163 HAS SOPS 720163 HAS SOUS 661814 HAS SOUPS 661814 WITH SCORE 662534.163
AT ITER 2323 NEW BEST:: SOT 4427377 SOS 720216 HAS SOPS 720216 HAS SOUS 661733 HAS SOUPS 661733 WITH SCORE 662453.216
AT ITER 2331 NEW BEST:: SOT 4427395 SOS 720252 HAS SOPS 720252 HAS SOUS 661452 HAS SOUPS 661452 WITH SCORE 662172.252
AT ITER 2335 NEW BEST:: SOT 4426916 SOS 719916 HAS SOPS 719916 HAS SOUS 661116 HAS SOUPS 661116 WITH SCORE 661835.916
AT ITER 2343 NEW BEST:: SOT 4426720 SOS 719523 HAS SOPS 719523 HAS SOUS 660636 HAS SOUPS 660636 WITH SCORE 661355.523
AT ITER 2365 NEW BEST:: SOT 4425981 SOS 719501 HAS SOPS 719501 HAS SOUS 660012 HAS SOUPS 660012 WITH SCORE 660731.501
AT ITER 2375 NEW BEST:: SOT 4425974 SOS 719487 HAS SOPS 719487 HAS SOUS 660012 HAS SOUPS 660012 WITH SCORE 660731.487
AT ITER 2413 NEW BEST:: SOT 4425931 SOS 719401 HAS SOPS 719401 HAS SOUS 659926 HAS SOUPS 659926 WITH SCORE 660645.401
AT ITER 2447 NEW BEST:: SOT 4425811 SOS 719321 HAS SOPS 719321 HAS SOUS 659816 HAS SOUPS 659816 WITH SCORE 660535.321
AT ITER 2478 NEW BEST:: SOT 4425800 SOS 718875 HAS SOPS 718875 HAS SOUS 659794 HAS SOUPS 659794 WITH SCORE 660512.875
AT ITER 2507 NEW BEST:: SOT 4425657 SOS 718732 HAS SOPS 718732 HAS SOUS 659651 HAS SOUPS 659651 WITH SCORE 660369.732
AT ITER 2524 NEW BEST:: SOT 4425094 SOS 717606 HAS SOPS 717606 HAS SOUS 658947 HAS SOUPS 658947 WITH SCORE 659664.606
AT ITER 2534 NEW BEST:: SOT 4424944 SOS 717632 HAS SOPS 717632 HAS SOUS 658866 HAS SOUPS 658866 WITH SCORE 659583.632
AT ITER 2551 NEW BEST:: SOT 4425007 SOS 717695 HAS SOPS 717695 HAS SOUS 658864 HAS SOUPS 658864 WITH SCORE 659581.695
AT ITER 2592 NEW BEST:: SOT 4424787 SOS 717255 HAS SOPS 717255 HAS SOUS 658534 HAS SOUPS 658534 WITH SCORE 659251.255
AT ITER 2617 NEW BEST:: SOT 4424787 SOS 717255 HAS SOPS 717255 HAS SOUS 658509 HAS SOUPS 658509 WITH SCORE 659226.255
AT ITER 2641 NEW BEST:: SOT 4424668 SOS 717017 HAS SOPS 717017 HAS SOUS 658271 HAS SOUPS 658271 WITH SCORE 658988.017
AT ITER 2647 NEW BEST:: SOT 4424668 SOS 717017 HAS SOPS 717017 HAS SOUS 658270 HAS SOUPS 658270 WITH SCORE 658987.017
AT ITER 2661 NEW BEST:: SOT 4424576 SOS 716833 HAS SOPS 716833 HAS SOUS 658086 HAS SOUPS 658086 WITH SCORE 658802.833
AT ITER 2684 NEW BEST:: SOT 4424226 SOS 716133 HAS SOPS 716133 HAS SOUS 657386 HAS SOUPS 657386 WITH SCORE 658102.133
AT ITER 2697 NEW BEST:: SOT 4424134 SOS 716041 HAS SOPS 716041 HAS SOUS 657294 HAS SOUPS 657294 WITH SCORE 658010.041
AT ITER 2707 NEW BEST:: SOT 4424134 SOS 715949 HAS SOPS 715949 HAS SOUS 657294 HAS SOUPS 657294 WITH SCORE 658009.949
AT ITER 2726 NEW BEST:: SOT 4424179 SOS 715848 HAS SOPS 715848 HAS SOUS 657148 HAS SOUPS 657148 WITH SCORE 657863.848
AT ITER 2731 NEW BEST:: SOT 4424030 SOS 715550 HAS SOPS 715550 HAS SOUS 656850 HAS SOUPS 656850 WITH SCORE 657565.55
AT ITER 2732 NEW BEST:: SOT 4423998 SOS 715486 HAS SOPS 715486 HAS SOUS 656596 HAS SOUPS 656596 WITH SCORE 657311.486
AT ITER 2749 NEW BEST:: SOT 4423958 SOS 715406 HAS SOPS 715406 HAS SOUS 656516 HAS SOUPS 656516 WITH SCORE 657231.406
AT ITER 2756 NEW BEST:: SOT 4423892 SOS 715340 HAS SOPS 715340 HAS SOUS 656450 HAS SOUPS 656450 WITH SCORE 657165.34
AT ITER 2798 NEW BEST:: SOT 4423706 SOS 714968 HAS SOPS 714968 HAS SOUS 656078 HAS SOUPS 656078 WITH SCORE 656792.968
AT ITER 2808 NEW BEST:: SOT 4423915 SOS 715105 HAS SOPS 715105 HAS SOUS 655956 HAS SOUPS 655956 WITH SCORE 656671.105
AT ITER 2818 NEW BEST:: SOT 4423859 SOS 715049 HAS SOPS 715049 HAS SOUS 655900 HAS SOUPS 655900 WITH SCORE 656615.049
AT ITER 2821 NEW BEST:: SOT 4423834 SOS 714999 HAS SOPS 714999 HAS SOUS 655875 HAS SOUPS 655875 WITH SCORE 656589.999
AT ITER 2849 NEW BEST:: SOT 4423749 SOS 714828 HAS SOPS 714828 HAS SOUS 655704 HAS SOUPS 655704 WITH SCORE 656418.828
AT ITER 2898 NEW BEST:: SOT 4423495 SOS 714574 HAS SOPS 714574 HAS SOUS 655450 HAS SOUPS 655450 WITH SCORE 656164.574
AT ITER 2911 NEW BEST:: SOT 4423178 SOS 714109 HAS SOPS 714109 HAS SOUS 654975 HAS SOUPS 654975 WITH SCORE 655689.109
AT ITER 2914 NEW BEST:: SOT 4423170 SOS 714093 HAS SOPS 714093 HAS SOUS 654959 HAS SOUPS 654959 WITH SCORE 655673.093
AT ITER 2921 NEW BEST:: SOT 4423142 SOS 713925 HAS SOPS 713925 HAS SOUS 654903 HAS SOUPS 654903 WITH SCORE 655616.925
AT ITER 2951 NEW BEST:: SOT 4423122 SOS 713885 HAS SOPS 713885 HAS SOUS 654883 HAS SOUPS 654883 WITH SCORE 655596.885
AT ITER 2967 NEW BEST:: SOT 4423117 SOS 713875 HAS SOPS 713875 HAS SOUS 654873 HAS SOUPS 654873 WITH SCORE 655586.875
AT ITER 2985 NEW BEST:: SOT 4423069 SOS 713726 HAS SOPS 713726 HAS SOUS 654822 HAS SOUPS 654822 WITH SCORE 655535.726
AT ITER 3002 NEW BEST:: SOT 4422975 SOS 713538 HAS SOPS 713538 HAS SOUS 654634 HAS SOUPS 654634 WITH SCORE 655347.538
AT ITER 3018 NEW BEST:: SOT 4422886 SOS 713500 HAS SOPS 713500 HAS SOUS 654594 HAS SOUPS 654594 WITH SCORE 655307.5
AT ITER 3021 NEW BEST:: SOT 4422711 SOS 713150 HAS SOPS 713150 HAS SOUS 654503 HAS SOUPS 654503 WITH SCORE 655216.15
AT ITER 3043 NEW BEST:: SOT 4422294 SOS 713453 HAS SOPS 713453 HAS SOUS 654501 HAS SOUPS 654501 WITH SCORE 655214.453
AT ITER 3054 NEW BEST:: SOT 4422294 SOS 713452 HAS SOPS 713452 HAS SOUS 654500 HAS SOUPS 654500 WITH SCORE 655213.452
AT ITER 3075 NEW BEST:: SOT 4421852 SOS 713010 HAS SOPS 713010 HAS SOUS 654058 HAS SOUPS 654058 WITH SCORE 654771.01
AT ITER 3096 NEW BEST:: SOT 4421801 SOS 712959 HAS SOPS 712959 HAS SOUS 654007 HAS SOUPS 654007 WITH SCORE 654719.959
AT ITER 3108 NEW BEST:: SOT 4421542 SOS 712441 HAS SOPS 712441 HAS SOUS 653489 HAS SOUPS 653489 WITH SCORE 654201.441
AT ITER 3124 NEW BEST:: SOT 4421347 SOS 712051 HAS SOPS 712051 HAS SOUS 653293 HAS SOUPS 653293 WITH SCORE 654005.051
AT ITER 3125 NEW BEST:: SOT 4421255 SOS 711959 HAS SOPS 711959 HAS SOUS 653201 HAS SOUPS 653201 WITH SCORE 653912.959
AT ITER 3143 NEW BEST:: SOT 4421255 SOS 711959 HAS SOPS 711959 HAS SOUS 652950 HAS SOUPS 652950 WITH SCORE 653661.959
AT ITER 3149 NEW BEST:: SOT 4421254 SOS 711957 HAS SOPS 711957 HAS SOUS 652948 HAS SOUPS 652948 WITH SCORE 653659.957
AT ITER 3188 NEW BEST:: SOT 4421157 SOS 711763 HAS SOPS 711763 HAS SOUS 652754 HAS SOUPS 652754 WITH SCORE 653465.763
AT ITER 3190 NEW BEST:: SOT 4421025 SOS 711773 HAS SOPS 711773 HAS SOUS 652689 HAS SOUPS 652689 WITH SCORE 653400.773
AT ITER 3197 NEW BEST:: SOT 4420891 SOS 711505 HAS SOPS 711505 HAS SOUS 652105 HAS SOUPS 652105 WITH SCORE 652816.505
AT ITER 3204 NEW BEST:: SOT 4420868 SOS 711485 HAS SOPS 711485 HAS SOUS 652082 HAS SOUPS 652082 WITH SCORE 652793.485
AT ITER 3227 NEW BEST:: SOT 4420868 SOS 711422 HAS SOPS 711422 HAS SOUS 652019 HAS SOUPS 652019 WITH SCORE 652730.422
AT ITER 3239 NEW BEST:: SOT 4420846 SOS 711400 HAS SOPS 711400 HAS SOUS 651975 HAS SOUPS 651975 WITH SCORE 652686.4
AT ITER 3240 NEW BEST:: SOT 4420868 SOS 711294 HAS SOPS 711294 HAS SOUS 651869 HAS SOUPS 651869 WITH SCORE 652580.294
AT ITER 3289 NEW BEST:: SOT 4420818 SOS 711194 HAS SOPS 711194 HAS SOUS 651769 HAS SOUPS 651769 WITH SCORE 652480.194
AT ITER 3298 NEW BEST:: SOT 4420755 SOS 711131 HAS SOPS 711131 HAS SOUS 651706 HAS SOUPS 651706 WITH SCORE 652417.131
AT ITER 3314 NEW BEST:: SOT 4420633 SOS 711240 HAS SOPS 711240 HAS SOUS 651431 HAS SOUPS 651431 WITH SCORE 652142.24
AT ITER 3319 NEW BEST:: SOT 4420632 SOS 711238 HAS SOPS 711238 HAS SOUS 651429 HAS SOUPS 651429 WITH SCORE 652140.238
AT ITER 3345 NEW BEST:: SOT 4420601 SOS 711176 HAS SOPS 711176 HAS SOUS 651367 HAS SOUPS 651367 WITH SCORE 652078.176
AT ITER 3379 NEW BEST:: SOT 4421015 SOS 711360 HAS SOPS 711360 HAS SOUS 651361 HAS SOUPS 651361 WITH SCORE 652072.36
AT ITER 3381 NEW BEST:: SOT 4421015 SOS 711360 HAS SOPS 711360 HAS SOUS 651139 HAS SOUPS 651139 WITH SCORE 651850.36
AT ITER 3390 NEW BEST:: SOT 4421147 SOS 711162 HAS SOPS 711162 HAS SOUS 650809 HAS SOUPS 650809 WITH SCORE 651520.162
AT ITER 3401 NEW BEST:: SOT 4419785 SOS 736116 HAS SOPS 736116 HAS SOUS 650270 HAS SOUPS 650270 WITH SCORE 651006.116
AT ITER 3417 NEW BEST:: SOT 4419811 SOS 736071 HAS SOPS 736071 HAS SOUS 650260 HAS SOUPS 650260 WITH SCORE 650996.071
AT ITER 3425 NEW BEST:: SOT 4419766 SOS 736041 HAS SOPS 736041 HAS SOUS 650217 HAS SOUPS 650217 WITH SCORE 650953.041
AT ITER 3460 NEW BEST:: SOT 4419703 SOS 735915 HAS SOPS 735915 HAS SOUS 650188 HAS SOUPS 650188 WITH SCORE 650923.915
AT ITER 3478 NEW BEST:: SOT 4419703 SOS 735829 HAS SOPS 735829 HAS SOUS 650102 HAS SOUPS 650102 WITH SCORE 650837.829
AT ITER 3480 NEW BEST:: SOT 4419675 SOS 735773 HAS SOPS 735773 HAS SOUS 650046 HAS SOUPS 650046 WITH SCORE 650781.773
AT ITER 3500 NEW BEST:: SOT 4419675 SOS 735456 HAS SOPS 735456 HAS SOUS 649729 HAS SOUPS 649729 WITH SCORE 650464.456
AT ITER 3513 NEW BEST:: SOT 4419563 SOS 735232 HAS SOPS 735232 HAS SOUS 649505 HAS SOUPS 649505 WITH SCORE 650240.232
AT ITER 3520 NEW BEST:: SOT 4419266 SOS 734638 HAS SOPS 734638 HAS SOUS 648911 HAS SOUPS 648911 WITH SCORE 649645.638
AT ITER 3543 NEW BEST:: SOT 4419210 SOS 734526 HAS SOPS 734526 HAS SOUS 648799 HAS SOUPS 648799 WITH SCORE 649533.526
AT ITER 3559 NEW BEST:: SOT 4419069 SOS 734244 HAS SOPS 734244 HAS SOUS 648517 HAS SOUPS 648517 WITH SCORE 649251.244
AT ITER 3572 NEW BEST:: SOT 4418910 SOS 734085 HAS SOPS 734085 HAS SOUS 648358 HAS SOUPS 648358 WITH SCORE 649092.085
AT ITER 3607 NEW BEST:: SOT 4418475 SOS 734407 HAS SOPS 734407 HAS SOUS 648221 HAS SOUPS 648221 WITH SCORE 648955.407
AT ITER 3625 NEW BEST:: SOT 4418305 SOS 734302 HAS SOPS 734302 HAS SOUS 648116 HAS SOUPS 648116 WITH SCORE 648850.302
AT ITER 3629 NEW BEST:: SOT 4418175 SOS 734172 HAS SOPS 734172 HAS SOUS 647986 HAS SOUPS 647986 WITH SCORE 648720.172
AT ITER 3631 NEW BEST:: SOT 4418027 SOS 734024 HAS SOPS 734024 HAS SOUS 647838 HAS SOUPS 647838 WITH SCORE 648572.024
AT ITER 3645 NEW BEST:: SOT 4417964 SOS 733898 HAS SOPS 733898 HAS SOUS 647712 HAS SOUPS 647712 WITH SCORE 648445.898
AT ITER 3650 NEW BEST:: SOT 4417963 SOS 733896 HAS SOPS 733896 HAS SOUS 647710 HAS SOUPS 647710 WITH SCORE 648443.896
AT ITER 3674 NEW BEST:: SOT 4417900 SOS 733770 HAS SOPS 733770 HAS SOUS 647349 HAS SOUPS 647349 WITH SCORE 648082.77
AT ITER 3677 NEW BEST:: SOT 4417652 SOS 733274 HAS SOPS 733274 HAS SOUS 647086 HAS SOUPS 647086 WITH SCORE 647819.274
AT ITER 3694 NEW BEST:: SOT 4416831 SOS 733816 HAS SOPS 733816 HAS SOUS 646567 HAS SOUPS 646567 WITH SCORE 647300.816
AT ITER 3709 NEW BEST:: SOT 4416831 SOS 733816 HAS SOPS 733816 HAS SOUS 646561 HAS SOUPS 646561 WITH SCORE 647294.816
AT ITER 3712 NEW BEST:: SOT 4416806 SOS 733766 HAS SOPS 733766 HAS SOUS 646536 HAS SOUPS 646536 WITH SCORE 647269.766
AT ITER 3737 NEW BEST:: SOT 4416684 SOS 733522 HAS SOPS 733522 HAS SOUS 646292 HAS SOUPS 646292 WITH SCORE 647025.522
AT ITER 3741 NEW BEST:: SOT 4416583 SOS 733320 HAS SOPS 733320 HAS SOUS 646090 HAS SOUPS 646090 WITH SCORE 646823.32
AT ITER 3752 NEW BEST:: SOT 4416530 SOS 733214 HAS SOPS 733214 HAS SOUS 645984 HAS SOUPS 645984 WITH SCORE 646717.214
AT ITER 3773 NEW BEST:: SOT 4416163 SOS 732480 HAS SOPS 732480 HAS SOUS 645386 HAS SOUPS 645386 WITH SCORE 646118.48
AT ITER 3791 NEW BEST:: SOT 4416150 SOS 732454 HAS SOPS 732454 HAS SOUS 645373 HAS SOUPS 645373 WITH SCORE 646105.454
AT ITER 3809 NEW BEST:: SOT 4415950 SOS 732250 HAS SOPS 732250 HAS SOUS 645216 HAS SOUPS 645216 WITH SCORE 645948.25
AT ITER 3811 NEW BEST:: SOT 4415997 SOS 732135 HAS SOPS 732135 HAS SOUS 645174 HAS SOUPS 645174 WITH SCORE 645906.135
AT ITER 3834 NEW BEST:: SOT 4415878 SOS 732016 HAS SOPS 732016 HAS SOUS 645055 HAS SOUPS 645055 WITH SCORE 645787.016
AT ITER 3835 NEW BEST:: SOT 4415977 SOS 731978 HAS SOPS 731978 HAS SOUS 645017 HAS SOUPS 645017 WITH SCORE 645748.978
AT ITER 3875 NEW BEST:: SOT 4415821 SOS 731860 HAS SOPS 731860 HAS SOUS 644878 HAS SOUPS 644878 WITH SCORE 645609.86
AT ITER 3888 NEW BEST:: SOT 4416128 SOS 732474 HAS SOPS 732474 HAS SOUS 644549 HAS SOUPS 644549 WITH SCORE 645281.474
AT ITER 3931 NEW BEST:: SOT 4416077 SOS 732297 HAS SOPS 732297 HAS SOUS 644423 HAS SOUPS 644423 WITH SCORE 645155.297
AT ITER 3985 NEW BEST:: SOT 4415907 SOS 732127 HAS SOPS 732127 HAS SOUS 644253 HAS SOUPS 644253 WITH SCORE 644985.127
AT ITER 4001 NEW BEST:: SOT 4415611 SOS 731535 HAS SOPS 731535 HAS SOUS 643661 HAS SOUPS 643661 WITH SCORE 644392.535
AT ITER 4019 NEW BEST:: SOT 4415611 SOS 731491 HAS SOPS 731491 HAS SOUS 643661 HAS SOUPS 643661 WITH SCORE 644392.491
AT ITER 4026 NEW BEST:: SOT 4415782 SOS 731477 HAS SOPS 731477 HAS SOUS 643654 HAS SOUPS 643654 WITH SCORE 644385.477
AT ITER 4051 NEW BEST:: SOT 4415632 SOS 731177 HAS SOPS 731177 HAS SOUS 643504 HAS SOUPS 643504 WITH SCORE 644235.177
AT ITER 4062 NEW BEST:: SOT 4415632 SOS 731176 HAS SOPS 731176 HAS SOUS 643503 HAS SOUPS 643503 WITH SCORE 644234.176
AT ITER 4063 NEW BEST:: SOT 4415686 SOS 731046 HAS SOPS 731046 HAS SOUS 643373 HAS SOUPS 643373 WITH SCORE 644104.046
AT ITER 4081 NEW BEST:: SOT 4415685 SOS 731044 HAS SOPS 731044 HAS SOUS 643371 HAS SOUPS 643371 WITH SCORE 644102.044
AT ITER 4119 NEW BEST:: SOT 4415654 SOS 730578 HAS SOPS 730578 HAS SOUS 643032 HAS SOUPS 643032 WITH SCORE 643762.578
AT ITER 4124 NEW BEST:: SOT 4415614 SOS 730647 HAS SOPS 730647 HAS SOUS 643019 HAS SOUPS 643019 WITH SCORE 643749.647
AT ITER 4125 NEW BEST:: SOT 4415568 SOS 730584 HAS SOPS 730584 HAS SOUS 642956 HAS SOUPS 642956 WITH SCORE 643686.584
AT ITER 4129 NEW BEST:: SOT 4415568 SOS 730584 HAS SOPS 730584 HAS SOUS 642773 HAS SOUPS 642773 WITH SCORE 643503.584
AT ITER 4130 NEW BEST:: SOT 4415568 SOS 730239 HAS SOPS 730239 HAS SOUS 642773 HAS SOUPS 642773 WITH SCORE 643503.239
AT ITER 4147 NEW BEST:: SOT 4415492 SOS 730087 HAS SOPS 730087 HAS SOUS 642621 HAS SOUPS 642621 WITH SCORE 643351.087
AT ITER 4156 NEW BEST:: SOT 4415454 SOS 730011 HAS SOPS 730011 HAS SOUS 642545 HAS SOUPS 642545 WITH SCORE 643275.011
AT ITER 4168 NEW BEST:: SOT 4415454 SOS 729944 HAS SOPS 729944 HAS SOUS 642478 HAS SOUPS 642478 WITH SCORE 643207.944
AT ITER 4178 NEW BEST:: SOT 4415454 SOS 729755 HAS SOPS 729755 HAS SOUS 642289 HAS SOUPS 642289 WITH SCORE 643018.755
AT ITER 4190 NEW BEST:: SOT 4415422 SOS 729691 HAS SOPS 729691 HAS SOUS 642225 HAS SOUPS 642225 WITH SCORE 642954.691
AT ITER 4194 NEW BEST:: SOT 4415104 SOS 730242 HAS SOPS 730242 HAS SOUS 642122 HAS SOUPS 642122 WITH SCORE 642852.242
AT ITER 4211 NEW BEST:: SOT 4415034 SOS 730102 HAS SOPS 730102 HAS SOUS 642052 HAS SOUPS 642052 WITH SCORE 642782.102
AT ITER 4225 NEW BEST:: SOT 4414909 SOS 730226 HAS SOPS 730226 HAS SOUS 641926 HAS SOUPS 641926 WITH SCORE 642656.226
AT ITER 4276 NEW BEST:: SOT 4414904 SOS 730216 HAS SOPS 730216 HAS SOUS 641921 HAS SOUPS 641921 WITH SCORE 642651.216
AT ITER 4281 NEW BEST:: SOT 4414851 SOS 730110 HAS SOPS 730110 HAS SOUS 641746 HAS SOUPS 641746 WITH SCORE 642476.11
AT ITER 4329 NEW BEST:: SOT 4415002 SOS 730003 HAS SOPS 730003 HAS SOUS 641639 HAS SOUPS 641639 WITH SCORE 642369.003
AT ITER 4333 NEW BEST:: SOT 4414944 SOS 729945 HAS SOPS 729945 HAS SOUS 641581 HAS SOUPS 641581 WITH SCORE 642310.945
AT ITER 4335 NEW BEST:: SOT 4414944 SOS 729945 HAS SOPS 729945 HAS SOUS 641547 HAS SOUPS 641547 WITH SCORE 642276.945
AT ITER 4348 NEW BEST:: SOT 4414944 SOS 729944 HAS SOPS 729944 HAS SOUS 641546 HAS SOUPS 641546 WITH SCORE 642275.944
AT ITER 4352 NEW BEST:: SOT 4414925 SOS 729906 HAS SOPS 729906 HAS SOUS 641508 HAS SOUPS 641508 WITH SCORE 642237.906
AT ITER 4389 NEW BEST:: SOT 4414669 SOS 729757 HAS SOPS 729757 HAS SOUS 641305 HAS SOUPS 641305 WITH SCORE 642034.757
AT ITER 4432 NEW BEST:: SOT 4414659 SOS 729746 HAS SOPS 729746 HAS SOUS 641294 HAS SOUPS 641294 WITH SCORE 642023.746
AT ITER 4438 NEW BEST:: SOT 4414472 SOS 729372 HAS SOPS 729372 HAS SOUS 641281 HAS SOUPS 641281 WITH SCORE 642010.372
AT ITER 4489 NEW BEST:: SOT 4414379 SOS 729248 HAS SOPS 729248 HAS SOUS 641157 HAS SOUPS 641157 WITH SCORE 641886.248
AT ITER 4517 NEW BEST:: SOT 4414177 SOS 728844 HAS SOPS 728844 HAS SOUS 640549 HAS SOUPS 640549 WITH SCORE 641277.844
AT ITER 4521 NEW BEST:: SOT 4414044 SOS 728578 HAS SOPS 728578 HAS SOUS 640283 HAS SOUPS 640283 WITH SCORE 641011.578
AT ITER 4529 NEW BEST:: SOT 4414050 SOS 728428 HAS SOPS 728428 HAS SOUS 640127 HAS SOUPS 640127 WITH SCORE 640855.428
AT ITER 4538 NEW BEST:: SOT 4413940 SOS 728226 HAS SOPS 728226 HAS SOUS 640107 HAS SOUPS 640107 WITH SCORE 640835.226
AT ITER 4543 NEW BEST:: SOT 4413938 SOS 728222 HAS SOPS 728222 HAS SOUS 640105 HAS SOUPS 640105 WITH SCORE 640833.222
AT ITER 4544 NEW BEST:: SOT 4413875 SOS 728169 HAS SOPS 728169 HAS SOUS 640049 HAS SOUPS 640049 WITH SCORE 640777.169
AT ITER 4549 NEW BEST:: SOT 4413699 SOS 727817 HAS SOPS 727817 HAS SOUS 639697 HAS SOUPS 639697 WITH SCORE 640424.817
AT ITER 4552 NEW BEST:: SOT 4413638 SOS 727407 HAS SOPS 727407 HAS SOUS 639381 HAS SOUPS 639381 WITH SCORE 640108.407
AT ITER 4574 NEW BEST:: SOT 4413576 SOS 727361 HAS SOPS 727361 HAS SOUS 639241 HAS SOUPS 639241 WITH SCORE 639968.361
AT ITER 4579 NEW BEST:: SOT 4413514 SOS 727361 HAS SOPS 727361 HAS SOUS 639210 HAS SOUPS 639210 WITH SCORE 639937.361
AT ITER 4598 NEW BEST:: SOT 4413453 SOS 727300 HAS SOPS 727300 HAS SOUS 639105 HAS SOUPS 639105 WITH SCORE 639832.3
AT ITER 4604 NEW BEST:: SOT 4413362 SOS 727118 HAS SOPS 727118 HAS SOUS 639014 HAS SOUPS 639014 WITH SCORE 639741.118
AT ITER 4620 NEW BEST:: SOT 4413262 SOS 726918 HAS SOPS 726918 HAS SOUS 638814 HAS SOUPS 638814 WITH SCORE 639540.918
AT ITER 4636 NEW BEST:: SOT 4412881 SOS 726664 HAS SOPS 726664 HAS SOUS 638433 HAS SOUPS 638433 WITH SCORE 639159.664
AT ITER 4646 NEW BEST:: SOT 4412797 SOS 726496 HAS SOPS 726496 HAS SOUS 638245 HAS SOUPS 638245 WITH SCORE 638971.496
AT ITER 4668 NEW BEST:: SOT 4412739 SOS 726380 HAS SOPS 726380 HAS SOUS 638100 HAS SOUPS 638100 WITH SCORE 638826.38
AT ITER 4673 NEW BEST:: SOT 4412573 SOS 726214 HAS SOPS 726214 HAS SOUS 637934 HAS SOUPS 637934 WITH SCORE 638660.214
AT ITER 4692 NEW BEST:: SOT 4412565 SOS 726198 HAS SOPS 726198 HAS SOUS 637918 HAS SOUPS 637918 WITH SCORE 638644.198
AT ITER 4701 NEW BEST:: SOT 4412413 SOS 725894 HAS SOPS 725894 HAS SOUS 637733 HAS SOUPS 637733 WITH SCORE 638458.894
AT ITER 4714 NEW BEST:: SOT 4412390 SOS 725848 HAS SOPS 725848 HAS SOUS 637710 HAS SOUPS 637710 WITH SCORE 638435.848
AT ITER 4731 NEW BEST:: SOT 4412344 SOS 725756 HAS SOPS 725756 HAS SOUS 637618 HAS SOUPS 637618 WITH SCORE 638343.756
AT ITER 4736 NEW BEST:: SOT 4412218 SOS 725630 HAS SOPS 725630 HAS SOUS 637492 HAS SOUPS 637492 WITH SCORE 638217.63
AT ITER 4755 NEW BEST:: SOT 4412125 SOS 725537 HAS SOPS 725537 HAS SOUS 637399 HAS SOUPS 637399 WITH SCORE 638124.537
AT ITER 4771 NEW BEST:: SOT 4412002 SOS 725291 HAS SOPS 725291 HAS SOUS 637153 HAS SOUPS 637153 WITH SCORE 637878.291
AT ITER 4795 NEW BEST:: SOT 4412077 SOS 725202 HAS SOPS 725202 HAS SOUS 637064 HAS SOUPS 637064 WITH SCORE 637789.202
AT ITER 4809 NEW BEST:: SOT 4412057 SOS 725162 HAS SOPS 725162 HAS SOUS 637044 HAS SOUPS 637044 WITH SCORE 637769.162
AT ITER 4811 NEW BEST:: SOT 4412028 SOS 725104 HAS SOPS 725104 HAS SOUS 637015 HAS SOUPS 637015 WITH SCORE 637740.104
AT ITER 4813 NEW BEST:: SOT 4411754 SOS 725424 HAS SOPS 725424 HAS SOUS 636869 HAS SOUPS 636869 WITH SCORE 637594.424
AT ITER 4815 NEW BEST:: SOT 4411629 SOS 724655 HAS SOPS 724655 HAS SOUS 636379 HAS SOUPS 636379 WITH SCORE 637103.655
AT ITER 4826 NEW BEST:: SOT 4411554 SOS 724505 HAS SOPS 724505 HAS SOUS 636304 HAS SOUPS 636304 WITH SCORE 637028.505
AT ITER 4832 NEW BEST:: SOT 4411538 SOS 724473 HAS SOPS 724473 HAS SOUS 636272 HAS SOUPS 636272 WITH SCORE 636996.473
AT ITER 4884 NEW BEST:: SOT 4411424 SOS 724245 HAS SOPS 724245 HAS SOUS 636044 HAS SOUPS 636044 WITH SCORE 636768.245
AT ITER 4889 NEW BEST:: SOT 4411299 SOS 724120 HAS SOPS 724120 HAS SOUS 635919 HAS SOUPS 635919 WITH SCORE 636643.12
AT ITER 4922 NEW BEST:: SOT 4411238 SOS 723998 HAS SOPS 723998 HAS SOUS 635797 HAS SOUPS 635797 WITH SCORE 636520.998
AT ITER 4953 NEW BEST:: SOT 4411078 SOS 723873 HAS SOPS 723873 HAS SOUS 635672 HAS SOUPS 635672 WITH SCORE 636395.873
AT ITER 4954 NEW BEST:: SOT 4411078 SOS 723657 HAS SOPS 723657 HAS SOUS 635456 HAS SOUPS 635456 WITH SCORE 636179.657
AT ITER 4963 NEW BEST:: SOT 4411030 SOS 723561 HAS SOPS 723561 HAS SOUS 635384 HAS SOUPS 635384 WITH SCORE 636107.561
AT ITER 4976 NEW BEST:: SOT 4410748 SOS 723198 HAS SOPS 723198 HAS SOUS 635021 HAS SOUPS 635021 WITH SCORE 635744.198
AT ITER 4987 NEW BEST:: SOT 4410622 SOS 723114 HAS SOPS 723114 HAS SOUS 634895 HAS SOUPS 634895 WITH SCORE 635618.114
AT ITER 4994 NEW BEST:: SOT 4410331 SOS 722532 HAS SOPS 722532 HAS SOUS 634313 HAS SOUPS 634313 WITH SCORE 635035.532
AT ITER 4999 NEW BEST:: SOT 4410233 SOS 722336 HAS SOPS 722336 HAS SOUS 634117 HAS SOUPS 634117 WITH SCORE 634839.336
AT ITER 5054 NEW BEST:: SOT 4410162 SOS 722530 HAS SOPS 722530 HAS SOUS 634110 HAS SOUPS 634110 WITH SCORE 634832.53
AT ITER 5090 NEW BEST:: SOT 4410153 SOS 722512 HAS SOPS 722512 HAS SOUS 634092 HAS SOUPS 634092 WITH SCORE 634814.512
AT ITER 5095 NEW BEST:: SOT 4410090 SOS 723282 HAS SOPS 723282 HAS SOUS 634029 HAS SOUPS 634029 WITH SCORE 634752.282
AT ITER 5108 NEW BEST:: SOT 4410060 SOS 723222 HAS SOPS 723222 HAS SOUS 633984 HAS SOUPS 633984 WITH SCORE 634707.222
AT ITER 5182 NEW BEST:: SOT 4410021 SOS 723144 HAS SOPS 723144 HAS SOUS 633906 HAS SOUPS 633906 WITH SCORE 634629.144
AT ITER 5206 NEW BEST:: SOT 4410006 SOS 723129 HAS SOPS 723129 HAS SOUS 633891 HAS SOUPS 633891 WITH SCORE 634614.129
AT ITER 5237 NEW BEST:: SOT 4410006 SOS 723129 HAS SOPS 723129 HAS SOUS 633806 HAS SOUPS 633806 WITH SCORE 634529.129
AT ITER 5243 NEW BEST:: SOT 4409890 SOS 722897 HAS SOPS 722897 HAS SOUS 633690 HAS SOUPS 633690 WITH SCORE 634412.897
AT ITER 5314 NEW BEST:: SOT 4409476 SOS 722415 HAS SOPS 722415 HAS SOUS 633208 HAS SOUPS 633208 WITH SCORE 633930.415
AT ITER 5336 NEW BEST:: SOT 4409476 SOS 722415 HAS SOPS 722415 HAS SOUS 633182 HAS SOUPS 633182 WITH SCORE 633904.415
AT ITER 5345 NEW BEST:: SOT 4409497 SOS 722373 HAS SOPS 722373 HAS SOUS 633182 HAS SOUPS 633182 WITH SCORE 633904.373
AT ITER 5350 NEW BEST:: SOT 4409404 SOS 722331 HAS SOPS 722331 HAS SOUS 633058 HAS SOUPS 633058 WITH SCORE 633780.331
AT ITER 5353 NEW BEST:: SOT 4409310 SOS 722143 HAS SOPS 722143 HAS SOUS 632684 HAS SOUPS 632684 WITH SCORE 633406.143
AT ITER 5402 NEW BEST:: SOT 4409298 SOS 722119 HAS SOPS 722119 HAS SOUS 632660 HAS SOUPS 632660 WITH SCORE 633382.119
AT ITER 5409 NEW BEST:: SOT 4408651 SOS 721826 HAS SOPS 721826 HAS SOUS 632022 HAS SOUPS 632022 WITH SCORE 632743.826
AT ITER 5426 NEW BEST:: SOT 4408376 SOS 721452 HAS SOPS 721452 HAS SOUS 631837 HAS SOUPS 631837 WITH SCORE 632558.452
AT ITER 5448 NEW BEST:: SOT 4408142 SOS 720955 HAS SOPS 720955 HAS SOUS 631518 HAS SOUPS 631518 WITH SCORE 632238.955
AT ITER 5475 NEW BEST:: SOT 4408058 SOS 720787 HAS SOPS 720787 HAS SOUS 631350 HAS SOUPS 631350 WITH SCORE 632070.787
AT ITER 5488 NEW BEST:: SOT 4407710 SOS 720439 HAS SOPS 720439 HAS SOUS 631002 HAS SOUPS 631002 WITH SCORE 631722.439
AT ITER 5493 NEW BEST:: SOT 4407710 SOS 720438 HAS SOPS 720438 HAS SOUS 631001 HAS SOUPS 631001 WITH SCORE 631721.438
AT ITER 5499 NEW BEST:: SOT 4407782 SOS 720222 HAS SOPS 720222 HAS SOUS 631001 HAS SOUPS 631001 WITH SCORE 631721.222
AT ITER 5531 NEW BEST:: SOT 4407782 SOS 720204 HAS SOPS 720204 HAS SOUS 631001 HAS SOUPS 631001 WITH SCORE 631721.204
AT ITER 5558 NEW BEST:: SOT 4407638 SOS 720041 HAS SOPS 720041 HAS SOUS 630857 HAS SOUPS 630857 WITH SCORE 631577.041
AT ITER 5594 NEW BEST:: SOT 4407632 SOS 720149 HAS SOPS 720149 HAS SOUS 630851 HAS SOUPS 630851 WITH SCORE 631571.149
AT ITER 5604 NEW BEST:: SOT 4407448 SOS 719965 HAS SOPS 719965 HAS SOUS 630667 HAS SOUPS 630667 WITH SCORE 631386.965
AT ITER 5605 NEW BEST:: SOT 4407418 SOS 720293 HAS SOPS 720293 HAS SOUS 630637 HAS SOUPS 630637 WITH SCORE 631357.293
AT ITER 5627 NEW BEST:: SOT 4407396 SOS 720249 HAS SOPS 720249 HAS SOUS 630604 HAS SOUPS 630604 WITH SCORE 631324.249
AT ITER 5631 NEW BEST:: SOT 4407325 SOS 720107 HAS SOPS 720107 HAS SOUS 630532 HAS SOUPS 630532 WITH SCORE 631252.107
AT ITER 5672 NEW BEST:: SOT 4407325 SOS 719944 HAS SOPS 719944 HAS SOUS 630472 HAS SOUPS 630472 WITH SCORE 631191.944
AT ITER 5673 NEW BEST:: SOT 4407257 SOS 719808 HAS SOPS 719808 HAS SOUS 630336 HAS SOUPS 630336 WITH SCORE 631055.808
AT ITER 5693 NEW BEST:: SOT 4407249 SOS 719792 HAS SOPS 719792 HAS SOUS 630320 HAS SOUPS 630320 WITH SCORE 631039.792
AT ITER 5696 NEW BEST:: SOT 4407022 SOS 719088 HAS SOPS 719088 HAS SOUS 629843 HAS SOUPS 629843 WITH SCORE 630562.088
AT ITER 5701 NEW BEST:: SOT 4407068 SOS 719180 HAS SOPS 719180 HAS SOUS 629787 HAS SOUPS 629787 WITH SCORE 630506.18
AT ITER 5720 NEW BEST:: SOT 4407067 SOS 719178 HAS SOPS 719178 HAS SOUS 629786 HAS SOUPS 629786 WITH SCORE 630505.178
AT ITER 5726 NEW BEST:: SOT 4407066 SOS 719176 HAS SOPS 719176 HAS SOUS 629784 HAS SOUPS 629784 WITH SCORE 630503.176
AT ITER 5831 NEW BEST:: SOT 4407065 SOS 719174 HAS SOPS 719174 HAS SOUS 629782 HAS SOUPS 629782 WITH SCORE 630501.174
AT ITER 5859 NEW BEST:: SOT 4407052 SOS 719373 HAS SOPS 719373 HAS SOUS 629767 HAS SOUPS 629767 WITH SCORE 630486.373
AT ITER 5917 NEW BEST:: SOT 4407052 SOS 719439 HAS SOPS 719439 HAS SOUS 629766 HAS SOUPS 629766 WITH SCORE 630485.439
AT ITER 5922 NEW BEST:: SOT 4407063 SOS 719674 HAS SOPS 719674 HAS SOUS 629535 HAS SOUPS 629535 WITH SCORE 630254.674
AT ITER 5950 NEW BEST:: SOT 4407050 SOS 719717 HAS SOPS 719717 HAS SOUS 629522 HAS SOUPS 629522 WITH SCORE 630241.717
AT ITER 5996 NEW BEST:: SOT 4407010 SOS 719637 HAS SOPS 719637 HAS SOUS 629442 HAS SOUPS 629442 WITH SCORE 630161.637
AT ITER 6015 NEW BEST:: SOT 4406958 SOS 719533 HAS SOPS 719533 HAS SOUS 629390 HAS SOUPS 629390 WITH SCORE 630109.533
AT ITER 6018 NEW BEST:: SOT 4406789 SOS 719067 HAS SOPS 719067 HAS SOUS 629355 HAS SOUPS 629355 WITH SCORE 630074.067
AT ITER 6057 NEW BEST:: SOT 4406770 SOS 719067 HAS SOPS 719067 HAS SOUS 629317 HAS SOUPS 629317 WITH SCORE 630036.067
AT ITER 6069 NEW BEST:: SOT 4406674 SOS 718875 HAS SOPS 718875 HAS SOUS 629125 HAS SOUPS 629125 WITH SCORE 629843.875
AT ITER 6095 NEW BEST:: SOT 4406538 SOS 718603 HAS SOPS 718603 HAS SOUS 628853 HAS SOUPS 628853 WITH SCORE 629571.603
AT ITER 6097 NEW BEST:: SOT 4406538 SOS 718481 HAS SOPS 718481 HAS SOUS 628731 HAS SOUPS 628731 WITH SCORE 629449.481
AT ITER 6127 NEW BEST:: SOT 4406380 SOS 718165 HAS SOPS 718165 HAS SOUS 628391 HAS SOUPS 628391 WITH SCORE 629109.165
AT ITER 6131 NEW BEST:: SOT 4406111 SOS 717627 HAS SOPS 717627 HAS SOUS 627853 HAS SOUPS 627853 WITH SCORE 628570.627
AT ITER 6152 NEW BEST:: SOT 4405891 SOS 718053 HAS SOPS 718053 HAS SOUS 627802 HAS SOUPS 627802 WITH SCORE 628520.053
AT ITER 6176 NEW BEST:: SOT 4405880 SOS 717984 HAS SOPS 717984 HAS SOUS 627731 HAS SOUPS 627731 WITH SCORE 628448.984
AT ITER 6179 NEW BEST:: SOT 4405929 SOS 718082 HAS SOPS 718082 HAS SOUS 627424 HAS SOUPS 627424 WITH SCORE 628142.082
AT ITER 6217 NEW BEST:: SOT 4405787 SOS 717472 HAS SOPS 717472 HAS SOUS 627004 HAS SOUPS 627004 WITH SCORE 627721.472
AT ITER 6223 NEW BEST:: SOT 4405730 SOS 717358 HAS SOPS 717358 HAS SOUS 626946 HAS SOUPS 626946 WITH SCORE 627663.358
AT ITER 6226 NEW BEST:: SOT 4405650 SOS 717278 HAS SOPS 717278 HAS SOUS 626866 HAS SOUPS 626866 WITH SCORE 627583.278
AT ITER 6282 NEW BEST:: SOT 4405650 SOS 717162 HAS SOPS 717162 HAS SOUS 626866 HAS SOUPS 626866 WITH SCORE 627583.162
AT ITER 6333 NEW BEST:: SOT 4405308 SOS 716916 HAS SOPS 716916 HAS SOUS 626572 HAS SOUPS 626572 WITH SCORE 627288.916
AT ITER 6355 NEW BEST:: SOT 4405248 SOS 716856 HAS SOPS 716856 HAS SOUS 626512 HAS SOUPS 626512 WITH SCORE 627228.856
AT ITER 6421 NEW BEST:: SOT 4404932 SOS 716449 HAS SOPS 716449 HAS SOUS 626468 HAS SOUPS 626468 WITH SCORE 627184.449
AT ITER 6425 NEW BEST:: SOT 4404862 SOS 716309 HAS SOPS 716309 HAS SOUS 626328 HAS SOUPS 626328 WITH SCORE 627044.309
AT ITER 6430 NEW BEST:: SOT 4404862 SOS 715950 HAS SOPS 715950 HAS SOUS 626328 HAS SOUPS 626328 WITH SCORE 627043.95
AT ITER 6432 NEW BEST:: SOT 4405079 SOS 715696 HAS SOPS 715696 HAS SOUS 626264 HAS SOUPS 626264 WITH SCORE 626979.696
AT ITER 6435 NEW BEST:: SOT 4405344 SOS 715598 HAS SOPS 715598 HAS SOUS 625975 HAS SOUPS 625975 WITH SCORE 626690.598
AT ITER 6450 NEW BEST:: SOT 4405315 SOS 715594 HAS SOPS 715594 HAS SOUS 625945 HAS SOUPS 625945 WITH SCORE 626660.594
AT ITER 6455 NEW BEST:: SOT 4405205 SOS 715374 HAS SOPS 715374 HAS SOUS 625944 HAS SOUPS 625944 WITH SCORE 626659.374
AT ITER 6481 NEW BEST:: SOT 4405137 SOS 715238 HAS SOPS 715238 HAS SOUS 625876 HAS SOUPS 625876 WITH SCORE 626591.238
AT ITER 6482 NEW BEST:: SOT 4405016 SOS 715682 HAS SOPS 715682 HAS SOUS 625718 HAS SOUPS 625718 WITH SCORE 626433.682
AT ITER 6508 NEW BEST:: SOT 4404114 SOS 716859 HAS SOPS 716859 HAS SOUS 625491 HAS SOUPS 625491 WITH SCORE 626207.859
AT ITER 6517 NEW BEST:: SOT 4404000 SOS 717052 HAS SOPS 717052 HAS SOUS 625377 HAS SOUPS 625377 WITH SCORE 626094.052
AT ITER 6587 NEW BEST:: SOT 4403656 SOS 716741 HAS SOPS 716741 HAS SOUS 625066 HAS SOUPS 625066 WITH SCORE 625782.741
AT ITER 6612 NEW BEST:: SOT 4403622 SOS 716673 HAS SOPS 716673 HAS SOUS 624998 HAS SOUPS 624998 WITH SCORE 625714.673
AT ITER 6615 NEW BEST:: SOT 4403617 SOS 716668 HAS SOPS 716668 HAS SOUS 624993 HAS SOUPS 624993 WITH SCORE 625709.668
AT ITER 6632 NEW BEST:: SOT 4403605 SOS 716656 HAS SOPS 716656 HAS SOUS 624981 HAS SOUPS 624981 WITH SCORE 625697.656
AT ITER 6634 NEW BEST:: SOT 4403598 SOS 716642 HAS SOPS 716642 HAS SOUS 624951 HAS SOUPS 624951 WITH SCORE 625667.642
AT ITER 6662 NEW BEST:: SOT 4403508 SOS 716587 HAS SOPS 716587 HAS SOUS 624886 HAS SOUPS 624886 WITH SCORE 625602.587
AT ITER 6673 NEW BEST:: SOT 4403017 SOS 716027 HAS SOPS 716027 HAS SOUS 624235 HAS SOUPS 624235 WITH SCORE 624951.027
AT ITER 6701 NEW BEST:: SOT 4403000 SOS 715993 HAS SOPS 715993 HAS SOUS 624201 HAS SOUPS 624201 WITH SCORE 624916.993
AT ITER 6711 NEW BEST:: SOT 4403003 SOS 715990 HAS SOPS 715990 HAS SOUS 624195 HAS SOUPS 624195 WITH SCORE 624910.99
AT ITER 6713 NEW BEST:: SOT 4402525 SOS 715904 HAS SOPS 715904 HAS SOUS 623811 HAS SOUPS 623811 WITH SCORE 624526.904
AT ITER 6731 NEW BEST:: SOT 4402520 SOS 715894 HAS SOPS 715894 HAS SOUS 623801 HAS SOUPS 623801 WITH SCORE 624516.894
AT ITER 6734 NEW BEST:: SOT 4402165 SOS 715394 HAS SOPS 715394 HAS SOUS 623236 HAS SOUPS 623236 WITH SCORE 623951.394
AT ITER 6765 NEW BEST:: SOT 4401895 SOS 715123 HAS SOPS 715123 HAS SOUS 622965 HAS SOUPS 622965 WITH SCORE 623680.123
AT ITER 6818 NEW BEST:: SOT 4401826 SOS 714985 HAS SOPS 714985 HAS SOUS 622827 HAS SOUPS 622827 WITH SCORE 623541.985
AT ITER 6831 NEW BEST:: SOT 4401706 SOS 714565 HAS SOPS 714565 HAS SOUS 622545 HAS SOUPS 622545 WITH SCORE 623259.565
AT ITER 6855 NEW BEST:: SOT 4401882 SOS 714388 HAS SOPS 714388 HAS SOUS 621830 HAS SOUPS 621830 WITH SCORE 622544.388
AT ITER 6893 NEW BEST:: SOT 4401876 SOS 714376 HAS SOPS 714376 HAS SOUS 621824 HAS SOUPS 621824 WITH SCORE 622538.376
AT ITER 6950 NEW BEST:: SOT 4401768 SOS 714268 HAS SOPS 714268 HAS SOUS 621716 HAS SOUPS 621716 WITH SCORE 622430.268
AT ITER 6975 NEW BEST:: SOT 4401567 SOS 714052 HAS SOPS 714052 HAS SOUS 621515 HAS SOUPS 621515 WITH SCORE 622229.052
AT ITER 6990 NEW BEST:: SOT 4401526 SOS 714111 HAS SOPS 714111 HAS SOUS 621445 HAS SOUPS 621445 WITH SCORE 622159.111
AT ITER 6998 NEW BEST:: SOT 4401396 SOS 713997 HAS SOPS 713997 HAS SOUS 621315 HAS SOUPS 621315 WITH SCORE 622028.997
AT ITER 7020 NEW BEST:: SOT 4401326 SOS 713857 HAS SOPS 713857 HAS SOUS 621231 HAS SOUPS 621231 WITH SCORE 621944.857
AT ITER 7024 NEW BEST:: SOT 4401140 SOS 713485 HAS SOPS 713485 HAS SOUS 621044 HAS SOUPS 621044 WITH SCORE 621757.485
AT ITER 7044 NEW BEST:: SOT 4401068 SOS 713416 HAS SOPS 713416 HAS SOUS 620962 HAS SOUPS 620962 WITH SCORE 621675.416
AT ITER 7048 NEW BEST:: SOT 4401014 SOS 713308 HAS SOPS 713308 HAS SOUS 620908 HAS SOUPS 620908 WITH SCORE 621621.308
AT ITER 7063 NEW BEST:: SOT 4400849 SOS 712914 HAS SOPS 712914 HAS SOUS 620762 HAS SOUPS 620762 WITH SCORE 621474.914
AT ITER 7070 NEW BEST:: SOT 4400746 SOS 712708 HAS SOPS 712708 HAS SOUS 620758 HAS SOUPS 620758 WITH SCORE 621470.708
AT ITER 7107 NEW BEST:: SOT 4400581 SOS 712378 HAS SOPS 712378 HAS SOUS 620593 HAS SOUPS 620593 WITH SCORE 621305.378
AT ITER 7148 NEW BEST:: SOT 4400456 SOS 712003 HAS SOPS 712003 HAS SOUS 620343 HAS SOUPS 620343 WITH SCORE 621055.003
AT ITER 7158 NEW BEST:: SOT 4400451 SOS 712063 HAS SOPS 712063 HAS SOUS 620338 HAS SOUPS 620338 WITH SCORE 621050.063
AT ITER 7173 NEW BEST:: SOT 4400548 SOS 712256 HAS SOPS 712256 HAS SOUS 620165 HAS SOUPS 620165 WITH SCORE 620877.256
AT ITER 7225 NEW BEST:: SOT 4400540 SOS 712232 HAS SOPS 712232 HAS SOUS 620157 HAS SOUPS 620157 WITH SCORE 620869.232
AT ITER 7231 NEW BEST:: SOT 4400456 SOS 712064 HAS SOPS 712064 HAS SOUS 619989 HAS SOUPS 619989 WITH SCORE 620701.064
AT ITER 7259 NEW BEST:: SOT 4400456 SOS 712005 HAS SOPS 712005 HAS SOUS 619989 HAS SOUPS 619989 WITH SCORE 620701.005
AT ITER 7282 NEW BEST:: SOT 4400456 SOS 711408 HAS SOPS 711408 HAS SOUS 619690 HAS SOUPS 619690 WITH SCORE 620401.408
AT ITER 7284 NEW BEST:: SOT 4400034 SOS 711006 HAS SOPS 711006 HAS SOUS 619288 HAS SOUPS 619288 WITH SCORE 619999.006
AT ITER 7287 NEW BEST:: SOT 4399932 SOS 710802 HAS SOPS 710802 HAS SOUS 619186 HAS SOUPS 619186 WITH SCORE 619896.802
AT ITER 7291 NEW BEST:: SOT 4399900 SOS 710738 HAS SOPS 710738 HAS SOUS 619122 HAS SOUPS 619122 WITH SCORE 619832.738
AT ITER 7321 NEW BEST:: SOT 4399846 SOS 710630 HAS SOPS 710630 HAS SOUS 619014 HAS SOUPS 619014 WITH SCORE 619724.63
AT ITER 7322 NEW BEST:: SOT 4399824 SOS 710663 HAS SOPS 710663 HAS SOUS 619003 HAS SOUPS 619003 WITH SCORE 619713.663
AT ITER 7338 NEW BEST:: SOT 4399373 SOS 709891 HAS SOPS 709891 HAS SOUS 618565 HAS SOUPS 618565 WITH SCORE 619274.891
AT ITER 7347 NEW BEST:: SOT 4399350 SOS 709845 HAS SOPS 709845 HAS SOUS 618519 HAS SOUPS 618519 WITH SCORE 619228.845
AT ITER 7377 NEW BEST:: SOT 4399349 SOS 709843 HAS SOPS 709843 HAS SOUS 618517 HAS SOUPS 618517 WITH SCORE 619226.843
AT ITER 7380 NEW BEST:: SOT 4399282 SOS 709763 HAS SOPS 709763 HAS SOUS 618437 HAS SOUPS 618437 WITH SCORE 619146.763
AT ITER 7429 NEW BEST:: SOT 4399265 SOS 709729 HAS SOPS 709729 HAS SOUS 618403 HAS SOUPS 618403 WITH SCORE 619112.729
AT ITER 7439 NEW BEST:: SOT 4399265 SOS 709729 HAS SOPS 709729 HAS SOUS 618385 HAS SOUPS 618385 WITH SCORE 619094.729
AT ITER 7442 NEW BEST:: SOT 4399264 SOS 709727 HAS SOPS 709727 HAS SOUS 618383 HAS SOUPS 618383 WITH SCORE 619092.727
AT ITER 7516 NEW BEST:: SOT 4399259 SOS 709717 HAS SOPS 709717 HAS SOUS 618373 HAS SOUPS 618373 WITH SCORE 619082.717
AT ITER 7545 NEW BEST:: SOT 4399313 SOS 709613 HAS SOPS 709613 HAS SOUS 618269 HAS SOUPS 618269 WITH SCORE 618978.613
AT ITER 7560 NEW BEST:: SOT 4399313 SOS 709566 HAS SOPS 709566 HAS SOUS 618269 HAS SOUPS 618269 WITH SCORE 618978.566
AT ITER 7627 NEW BEST:: SOT 4399144 SOS 709228 HAS SOPS 709228 HAS SOUS 618263 HAS SOUPS 618263 WITH SCORE 618972.228
AT ITER 7663 NEW BEST:: SOT 4399030 SOS 709000 HAS SOPS 709000 HAS SOUS 618149 HAS SOUPS 618149 WITH SCORE 618858.0
AT ITER 7665 NEW BEST:: SOT 4398977 SOS 708894 HAS SOPS 708894 HAS SOUS 618043 HAS SOUPS 618043 WITH SCORE 618751.894
AT ITER 7673 NEW BEST:: SOT 4398970 SOS 708880 HAS SOPS 708880 HAS SOUS 618036 HAS SOUPS 618036 WITH SCORE 618744.88
AT ITER 7698 NEW BEST:: SOT 4399082 SOS 709104 HAS SOPS 709104 HAS SOUS 618028 HAS SOUPS 618028 WITH SCORE 618737.104
AT ITER 7722 NEW BEST:: SOT 4398760 SOS 708460 HAS SOPS 708460 HAS SOUS 617384 HAS SOUPS 617384 WITH SCORE 618092.46
AT ITER 7732 NEW BEST:: SOT 4398781 SOS 708260 HAS SOPS 708260 HAS SOUS 617312 HAS SOUPS 617312 WITH SCORE 618020.26
AT ITER 7751 NEW BEST:: SOT 4398670 SOS 708149 HAS SOPS 708149 HAS SOUS 617201 HAS SOUPS 617201 WITH SCORE 617909.149
AT ITER 7758 NEW BEST:: SOT 4398616 SOS 708041 HAS SOPS 708041 HAS SOUS 617039 HAS SOUPS 617039 WITH SCORE 617747.041
AT ITER 7763 NEW BEST:: SOT 4398332 SOS 707473 HAS SOPS 707473 HAS SOUS 616471 HAS SOUPS 616471 WITH SCORE 617178.473
AT ITER 7780 NEW BEST:: SOT 4398029 SOS 707181 HAS SOPS 707181 HAS SOUS 616066 HAS SOUPS 616066 WITH SCORE 616773.181
AT ITER 7798 NEW BEST:: SOT 4397859 SOS 707273 HAS SOPS 707273 HAS SOUS 615876 HAS SOUPS 615876 WITH SCORE 616583.273
AT ITER 7856 NEW BEST:: SOT 4397850 SOS 707237 HAS SOPS 707237 HAS SOUS 615858 HAS SOUPS 615858 WITH SCORE 616565.237
AT ITER 7888 NEW BEST:: SOT 4397445 SOS 706768 HAS SOPS 706768 HAS SOUS 615112 HAS SOUPS 615112 WITH SCORE 615818.768
AT ITER 7940 NEW BEST:: SOT 4397284 SOS 706938 HAS SOPS 706938 HAS SOUS 615035 HAS SOUPS 615035 WITH SCORE 615741.938
AT ITER 7999 NEW BEST:: SOT 4397270 SOS 706910 HAS SOPS 706910 HAS SOUS 615035 HAS SOUPS 615035 WITH SCORE 615741.91
AT ITER 8034 NEW BEST:: SOT 4397270 SOS 706844 HAS SOPS 706844 HAS SOUS 615035 HAS SOUPS 615035 WITH SCORE 615741.844
AT ITER 8044 NEW BEST:: SOT 4397357 SOS 706313 HAS SOPS 706313 HAS SOUS 614940 HAS SOUPS 614940 WITH SCORE 615646.313
AT ITER 8047 NEW BEST:: SOT 4397357 SOS 706312 HAS SOPS 706312 HAS SOUS 614939 HAS SOUPS 614939 WITH SCORE 615645.312
AT ITER 8094 NEW BEST:: SOT 4397227 SOS 706052 HAS SOPS 706052 HAS SOUS 614679 HAS SOUPS 614679 WITH SCORE 615385.052
AT ITER 8110 NEW BEST:: SOT 4397085 SOS 705772 HAS SOPS 705772 HAS SOUS 614537 HAS SOUPS 614537 WITH SCORE 615242.772
AT ITER 8136 NEW BEST:: SOT 4397061 SOS 705784 HAS SOPS 705784 HAS SOUS 614525 HAS SOUPS 614525 WITH SCORE 615230.784
AT ITER 8141 NEW BEST:: SOT 4397047 SOS 705756 HAS SOPS 705756 HAS SOUS 614523 HAS SOUPS 614523 WITH SCORE 615228.756
AT ITER 8143 NEW BEST:: SOT 4397162 SOS 705755 HAS SOPS 705755 HAS SOUS 614522 HAS SOUPS 614522 WITH SCORE 615227.755
AT ITER 8167 NEW BEST:: SOT 4396730 SOS 705755 HAS SOPS 705755 HAS SOUS 614306 HAS SOUPS 614306 WITH SCORE 615011.755
AT ITER 8174 NEW BEST:: SOT 4396679 SOS 705653 HAS SOPS 705653 HAS SOUS 614204 HAS SOUPS 614204 WITH SCORE 614909.653
AT ITER 8200 NEW BEST:: SOT 4396607 SOS 705575 HAS SOPS 705575 HAS SOUS 614132 HAS SOUPS 614132 WITH SCORE 614837.575
AT ITER 8212 NEW BEST:: SOT 4396600 SOS 705561 HAS SOPS 705561 HAS SOUS 614123 HAS SOUPS 614123 WITH SCORE 614828.561
AT ITER 8228 NEW BEST:: SOT 4396546 SOS 705453 HAS SOPS 705453 HAS SOUS 614015 HAS SOUPS 614015 WITH SCORE 614720.453
AT ITER 8247 NEW BEST:: SOT 4396626 SOS 705441 HAS SOPS 705441 HAS SOUS 614003 HAS SOUPS 614003 WITH SCORE 614708.441
AT ITER 8263 NEW BEST:: SOT 4396626 SOS 705441 HAS SOPS 705441 HAS SOUS 613960 HAS SOUPS 613960 WITH SCORE 614665.441
AT ITER 8287 NEW BEST:: SOT 4396602 SOS 705393 HAS SOPS 705393 HAS SOUS 613935 HAS SOUPS 613935 WITH SCORE 614640.393
AT ITER 8342 NEW BEST:: SOT 4396601 SOS 705391 HAS SOPS 705391 HAS SOUS 613933 HAS SOUPS 613933 WITH SCORE 614638.391
AT ITER 8348 NEW BEST:: SOT 4396513 SOS 705215 HAS SOPS 705215 HAS SOUS 613757 HAS SOUPS 613757 WITH SCORE 614462.215
AT ITER 8367 NEW BEST:: SOT 4396332 SOS 704853 HAS SOPS 704853 HAS SOUS 613395 HAS SOUPS 613395 WITH SCORE 614099.853
AT ITER 8372 NEW BEST:: SOT 4396271 SOS 704731 HAS SOPS 704731 HAS SOUS 613273 HAS SOUPS 613273 WITH SCORE 613977.731
AT ITER 8419 NEW BEST:: SOT 4396200 SOS 704589 HAS SOPS 704589 HAS SOUS 613131 HAS SOUPS 613131 WITH SCORE 613835.589
AT ITER 8440 NEW BEST:: SOT 4396067 SOS 704323 HAS SOPS 704323 HAS SOUS 612865 HAS SOUPS 612865 WITH SCORE 613569.323
AT ITER 8449 NEW BEST:: SOT 4396067 SOS 704043 HAS SOPS 704043 HAS SOUS 612795 HAS SOUPS 612795 WITH SCORE 613499.043
AT ITER 8451 NEW BEST:: SOT 4396002 SOS 703913 HAS SOPS 703913 HAS SOUS 612771 HAS SOUPS 612771 WITH SCORE 613474.913
AT ITER 8475 NEW BEST:: SOT 4396000 SOS 703917 HAS SOPS 703917 HAS SOUS 612769 HAS SOUPS 612769 WITH SCORE 613472.917
AT ITER 8497 NEW BEST:: SOT 4395949 SOS 703407 HAS SOPS 703407 HAS SOUS 612667 HAS SOUPS 612667 WITH SCORE 613370.407
AT ITER 8509 NEW BEST:: SOT 4395786 SOS 703081 HAS SOPS 703081 HAS SOUS 612341 HAS SOUPS 612341 WITH SCORE 613044.081
AT ITER 8520 NEW BEST:: SOT 4395779 SOS 703067 HAS SOPS 703067 HAS SOUS 612327 HAS SOUPS 612327 WITH SCORE 613030.067
AT ITER 8528 NEW BEST:: SOT 4395662 SOS 702833 HAS SOPS 702833 HAS SOUS 612093 HAS SOUPS 612093 WITH SCORE 612795.833
AT ITER 8539 NEW BEST:: SOT 4395673 SOS 702382 HAS SOPS 702382 HAS SOUS 612082 HAS SOUPS 612082 WITH SCORE 612784.382
AT ITER 8560 NEW BEST:: SOT 4395633 SOS 702302 HAS SOPS 702302 HAS SOUS 612002 HAS SOUPS 612002 WITH SCORE 612704.302
AT ITER 8598 NEW BEST:: SOT 4395614 SOS 702264 HAS SOPS 702264 HAS SOUS 611964 HAS SOUPS 611964 WITH SCORE 612666.264
AT ITER 8602 NEW BEST:: SOT 4395638 SOS 702256 HAS SOPS 702256 HAS SOUS 611956 HAS SOUPS 611956 WITH SCORE 612658.256
AT ITER 8603 NEW BEST:: SOT 4395620 SOS 702220 HAS SOPS 702220 HAS SOUS 611923 HAS SOUPS 611923 WITH SCORE 612625.22
AT ITER 8643 NEW BEST:: SOT 4395620 SOS 702220 HAS SOPS 702220 HAS SOUS 611916 HAS SOUPS 611916 WITH SCORE 612618.22
AT ITER 8650 NEW BEST:: SOT 4395124 SOS 701682 HAS SOPS 701682 HAS SOUS 611460 HAS SOUPS 611460 WITH SCORE 612161.682
AT ITER 8663 NEW BEST:: SOT 4395124 SOS 701682 HAS SOPS 701682 HAS SOUS 611364 HAS SOUPS 611364 WITH SCORE 612065.682
AT ITER 8664 NEW BEST:: SOT 4395106 SOS 701646 HAS SOPS 701646 HAS SOUS 611346 HAS SOUPS 611346 WITH SCORE 612047.646
AT ITER 8669 NEW BEST:: SOT 4395048 SOS 701530 HAS SOPS 701530 HAS SOUS 611310 HAS SOUPS 611310 WITH SCORE 612011.53
AT ITER 8683 NEW BEST:: SOT 4395076 SOS 701334 HAS SOPS 701334 HAS SOUS 611310 HAS SOUPS 611310 WITH SCORE 612011.334
AT ITER 8733 NEW BEST:: SOT 4394905 SOS 700992 HAS SOPS 700992 HAS SOUS 610968 HAS SOUPS 610968 WITH SCORE 611668.992
AT ITER 8815 NEW BEST:: SOT 4394843 SOS 700492 HAS SOPS 700492 HAS SOUS 610844 HAS SOUPS 610844 WITH SCORE 611544.492
AT ITER 8828 NEW BEST:: SOT 4394843 SOS 700492 HAS SOPS 700492 HAS SOUS 610843 HAS SOUPS 610843 WITH SCORE 611543.492
AT ITER 8830 NEW BEST:: SOT 4394843 SOS 700435 HAS SOPS 700435 HAS SOUS 610786 HAS SOUPS 610786 WITH SCORE 611486.435
AT ITER 8854 NEW BEST:: SOT 4394780 SOS 700309 HAS SOPS 700309 HAS SOUS 610660 HAS SOUPS 610660 WITH SCORE 611360.309
AT ITER 8911 NEW BEST:: SOT 4394780 SOS 700225 HAS SOPS 700225 HAS SOUS 610576 HAS SOUPS 610576 WITH SCORE 611276.225
AT ITER 8936 NEW BEST:: SOT 4394834 SOS 699847 HAS SOPS 699847 HAS SOUS 610387 HAS SOUPS 610387 WITH SCORE 611086.847
AT ITER 8956 NEW BEST:: SOT 4394750 SOS 699763 HAS SOPS 699763 HAS SOUS 610303 HAS SOUPS 610303 WITH SCORE 611002.763
AT ITER 8967 NEW BEST:: SOT 4394702 SOS 699667 HAS SOPS 699667 HAS SOUS 610207 HAS SOUPS 610207 WITH SCORE 610906.667
AT ITER 8991 NEW BEST:: SOT 4394574 SOS 699411 HAS SOPS 699411 HAS SOUS 610079 HAS SOUPS 610079 WITH SCORE 610778.411
AT ITER 9018 NEW BEST:: SOT 4394573 SOS 699409 HAS SOPS 699409 HAS SOUS 610077 HAS SOUPS 610077 WITH SCORE 610776.409
AT ITER 9025 NEW BEST:: SOT 4394572 SOS 699292 HAS SOPS 699292 HAS SOUS 609961 HAS SOUPS 609961 WITH SCORE 610660.292
AT ITER 9030 NEW BEST:: SOT 4394508 SOS 699164 HAS SOPS 699164 HAS SOUS 609833 HAS SOUPS 609833 WITH SCORE 610532.164
AT ITER 9058 NEW BEST:: SOT 4394494 SOS 699136 HAS SOPS 699136 HAS SOUS 609812 HAS SOUPS 609812 WITH SCORE 610511.136
AT ITER 9061 NEW BEST:: SOT 4394338 SOS 698824 HAS SOPS 698824 HAS SOUS 609500 HAS SOUPS 609500 WITH SCORE 610198.824
AT ITER 9171 NEW BEST:: SOT 4394316 SOS 698780 HAS SOPS 698780 HAS SOUS 609478 HAS SOUPS 609478 WITH SCORE 610176.78
AT ITER 9195 NEW BEST:: SOT 4394316 SOS 698780 HAS SOPS 698780 HAS SOUS 609424 HAS SOUPS 609424 WITH SCORE 610122.78
AT ITER 9202 NEW BEST:: SOT 4394076 SOS 698300 HAS SOPS 698300 HAS SOUS 609194 HAS SOUPS 609194 WITH SCORE 609892.3
AT ITER 9213 NEW BEST:: SOT 4394055 SOS 698258 HAS SOPS 698258 HAS SOUS 609172 HAS SOUPS 609172 WITH SCORE 609870.258
AT ITER 9229 NEW BEST:: SOT 4394001 SOS 698150 HAS SOPS 698150 HAS SOUS 609064 HAS SOUPS 609064 WITH SCORE 609762.15
AT ITER 9243 NEW BEST:: SOT 4393872 SOS 698036 HAS SOPS 698036 HAS SOUS 608950 HAS SOUPS 608950 WITH SCORE 609648.036
AT ITER 9254 NEW BEST:: SOT 4393817 SOS 697871 HAS SOPS 697871 HAS SOUS 608840 HAS SOUPS 608840 WITH SCORE 609537.871
AT ITER 9267 NEW BEST:: SOT 4393548 SOS 697602 HAS SOPS 697602 HAS SOUS 608571 HAS SOUPS 608571 WITH SCORE 609268.602
AT ITER 9281 NEW BEST:: SOT 4393501 SOS 697741 HAS SOPS 697741 HAS SOUS 608403 HAS SOUPS 608403 WITH SCORE 609100.741
AT ITER 9313 NEW BEST:: SOT 4393492 SOS 697723 HAS SOPS 697723 HAS SOUS 608394 HAS SOUPS 608394 WITH SCORE 609091.723
AT ITER 9320 NEW BEST:: SOT 4393491 SOS 697733 HAS SOPS 697733 HAS SOUS 608381 HAS SOUPS 608381 WITH SCORE 609078.733
AT ITER 9327 NEW BEST:: SOT 4393402 SOS 697377 HAS SOPS 697377 HAS SOUS 608292 HAS SOUPS 608292 WITH SCORE 608989.377
AT ITER 9329 NEW BEST:: SOT 4393402 SOS 697357 HAS SOPS 697357 HAS SOUS 608272 HAS SOUPS 608272 WITH SCORE 608969.357
AT ITER 9343 NEW BEST:: SOT 4393402 SOS 697357 HAS SOPS 697357 HAS SOUS 608122 HAS SOUPS 608122 WITH SCORE 608819.357
AT ITER 9350 NEW BEST:: SOT 4393444 SOS 697351 HAS SOPS 697351 HAS SOUS 608116 HAS SOUPS 608116 WITH SCORE 608813.351
AT ITER 9407 NEW BEST:: SOT 4393448 SOS 697359 HAS SOPS 697359 HAS SOUS 608007 HAS SOUPS 608007 WITH SCORE 608704.359
AT ITER 9412 NEW BEST:: SOT 4393446 SOS 697355 HAS SOPS 697355 HAS SOUS 608003 HAS SOUPS 608003 WITH SCORE 608700.355
AT ITER 9438 NEW BEST:: SOT 4393237 SOS 697220 HAS SOPS 697220 HAS SOUS 607848 HAS SOUPS 607848 WITH SCORE 608545.22
AT ITER 9452 NEW BEST:: SOT 4393243 SOS 697299 HAS SOPS 697299 HAS SOUS 607829 HAS SOUPS 607829 WITH SCORE 608526.299
AT ITER 9453 NEW BEST:: SOT 4393140 SOS 697196 HAS SOPS 697196 HAS SOUS 607726 HAS SOUPS 607726 WITH SCORE 608423.196
AT ITER 9455 NEW BEST:: SOT 4392847 SOS 696821 HAS SOPS 696821 HAS SOUS 607287 HAS SOUPS 607287 WITH SCORE 607983.821
AT ITER 9458 NEW BEST:: SOT 4392683 SOS 696493 HAS SOPS 696493 HAS SOUS 607061 HAS SOUPS 607061 WITH SCORE 607757.493
AT ITER 9474 NEW BEST:: SOT 4392604 SOS 696335 HAS SOPS 696335 HAS SOUS 606903 HAS SOUPS 606903 WITH SCORE 607599.335
AT ITER 9481 NEW BEST:: SOT 4392554 SOS 696235 HAS SOPS 696235 HAS SOUS 606853 HAS SOUPS 606853 WITH SCORE 607549.235
AT ITER 9499 NEW BEST:: SOT 4392474 SOS 696075 HAS SOPS 696075 HAS SOUS 606822 HAS SOUPS 606822 WITH SCORE 607518.075
AT ITER 9519 NEW BEST:: SOT 4392473 SOS 696073 HAS SOPS 696073 HAS SOUS 606820 HAS SOUPS 606820 WITH SCORE 607516.073
AT ITER 9551 NEW BEST:: SOT 4392382 SOS 696099 HAS SOPS 696099 HAS SOUS 606729 HAS SOUPS 606729 WITH SCORE 607425.099
AT ITER 9559 NEW BEST:: SOT 4392266 SOS 695807 HAS SOPS 695807 HAS SOUS 606697 HAS SOUPS 606697 WITH SCORE 607392.807
AT ITER 9598 NEW BEST:: SOT 4392134 SOS 695840 HAS SOPS 695840 HAS SOUS 606609 HAS SOUPS 606609 WITH SCORE 607304.84
AT ITER 9629 NEW BEST:: SOT 4392130 SOS 695832 HAS SOPS 695832 HAS SOUS 606605 HAS SOUPS 606605 WITH SCORE 607300.832
AT ITER 9667 NEW BEST:: SOT 4391946 SOS 695092 HAS SOPS 695092 HAS SOUS 606115 HAS SOUPS 606115 WITH SCORE 606810.092
AT ITER 9685 NEW BEST:: SOT 4391934 SOS 695068 HAS SOPS 695068 HAS SOUS 606103 HAS SOUPS 606103 WITH SCORE 606798.068
AT ITER 9708 NEW BEST:: SOT 4391926 SOS 695060 HAS SOPS 695060 HAS SOUS 606095 HAS SOUPS 606095 WITH SCORE 606790.06
AT ITER 9711 NEW BEST:: SOT 4391713 SOS 694908 HAS SOPS 694908 HAS SOUS 605928 HAS SOUPS 605928 WITH SCORE 606622.908
AT ITER 9716 NEW BEST:: SOT 4391713 SOS 694722 HAS SOPS 694722 HAS SOUS 605835 HAS SOUPS 605835 WITH SCORE 606529.722
AT ITER 9718 NEW BEST:: SOT 4391619 SOS 694628 HAS SOPS 694628 HAS SOUS 605741 HAS SOUPS 605741 WITH SCORE 606435.628
AT ITER 9744 NEW BEST:: SOT 4391508 SOS 694517 HAS SOPS 694517 HAS SOUS 605717 HAS SOUPS 605717 WITH SCORE 606411.517
AT ITER 9745 NEW BEST:: SOT 4391312 SOS 694125 HAS SOPS 694125 HAS SOUS 605179 HAS SOUPS 605179 WITH SCORE 605873.125
AT ITER 9774 NEW BEST:: SOT 4391010 SOS 693869 HAS SOPS 693869 HAS SOUS 605158 HAS SOUPS 605158 WITH SCORE 605851.869
AT ITER 9793 NEW BEST:: SOT 4391009 SOS 693867 HAS SOPS 693867 HAS SOUS 605156 HAS SOUPS 605156 WITH SCORE 605849.867
AT ITER 9806 NEW BEST:: SOT 4391048 SOS 693945 HAS SOPS 693945 HAS SOUS 605085 HAS SOUPS 605085 WITH SCORE 605778.945
AT ITER 9807 NEW BEST:: SOT 4391020 SOS 693889 HAS SOPS 693889 HAS SOUS 605029 HAS SOUPS 605029 WITH SCORE 605722.889
AT ITER 9815 NEW BEST:: SOT 4391020 SOS 693888 HAS SOPS 693888 HAS SOUS 605028 HAS SOUPS 605028 WITH SCORE 605721.888
AT ITER 9837 NEW BEST:: SOT 4390799 SOS 693446 HAS SOPS 693446 HAS SOUS 604999 HAS SOUPS 604999 WITH SCORE 605692.446
AT ITER 9845 NEW BEST:: SOT 4390666 SOS 693362 HAS SOPS 693362 HAS SOUS 604853 HAS SOUPS 604853 WITH SCORE 605546.362
AT ITER 9851 NEW BEST:: SOT 4390260 SOS 692550 HAS SOPS 692550 HAS SOUS 604501 HAS SOUPS 604501 WITH SCORE 605193.55
AT ITER 9874 NEW BEST:: SOT 4390257 SOS 692544 HAS SOPS 692544 HAS SOUS 604495 HAS SOUPS 604495 WITH SCORE 605187.544
AT ITER 9901 NEW BEST:: SOT 4390256 SOS 692542 HAS SOPS 692542 HAS SOUS 604493 HAS SOUPS 604493 WITH SCORE 605185.542
AT ITER 9971 NEW BEST:: SOT 4390052 SOS 692326 HAS SOPS 692326 HAS SOUS 604277 HAS SOUPS 604277 WITH SCORE 604969.326
AT ITER 9990 NEW BEST:: SOT 4390141 SOS 692132 HAS SOPS 692132 HAS SOUS 604180 HAS SOUPS 604180 WITH SCORE 604872.132
AT ITER 9998 NEW BEST:: SOT 4390153 SOS 692156 HAS SOPS 692156 HAS SOUS 604176 HAS SOUPS 604176 WITH SCORE 604868.156

BK_TIME_CONFINEMENT_REACHED

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

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="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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-4028"
echo " Executing tool smart"
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 1"
echo " Run identifier is r048-ebro-158902541700088"
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 ;