About the Execution of smart for CloudReconfiguration-PT-312
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15764.300 | 3600000.00 | 3600020.00 | 10.10 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/mnt/tpsp/fkordon/mcc2020-input.r048-ebro-158902541700096.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-312, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902541700096
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 832K
-rw-r--r-- 1 mcc users 3.8K Mar 30 01:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 30 01:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 28 16:13 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K 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.6K Apr 8 14:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K 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 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Mar 27 08:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 27 08:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 26 08:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K 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 1589095451917
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 312
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 4443289 SOS 758943 HAS SOPS 758943 HAS SOUS 699965 HAS SOUPS 699965 WITH SCORE 700723.943
AT ITER 42 NEW BEST:: SOT 4443453 SOS 758777 HAS SOPS 758777 HAS SOUS 699882 HAS SOUPS 699882 WITH SCORE 700640.777
AT ITER 64 NEW BEST:: SOT 4443413 SOS 758697 HAS SOPS 758697 HAS SOUS 699802 HAS SOUPS 699802 WITH SCORE 700560.697
AT ITER 92 NEW BEST:: SOT 4443413 SOS 758697 HAS SOPS 758697 HAS SOUS 699609 HAS SOUPS 699609 WITH SCORE 700367.697
AT ITER 102 NEW BEST:: SOT 4443318 SOS 758507 HAS SOPS 758507 HAS SOUS 699419 HAS SOUPS 699419 WITH SCORE 700177.507
AT ITER 104 NEW BEST:: SOT 4443256 SOS 758321 HAS SOPS 758321 HAS SOUS 699295 HAS SOUPS 699295 WITH SCORE 700053.321
AT ITER 106 NEW BEST:: SOT 4443122 SOS 758053 HAS SOPS 758053 HAS SOUS 699161 HAS SOUPS 699161 WITH SCORE 699919.053
AT ITER 187 NEW BEST:: SOT 4443281 SOS 758371 HAS SOPS 758371 HAS SOUS 699138 HAS SOUPS 699138 WITH SCORE 699896.371
AT ITER 189 NEW BEST:: SOT 4443120 SOS 758292 HAS SOPS 758292 HAS SOUS 698816 HAS SOUPS 698816 WITH SCORE 699574.292
AT ITER 191 NEW BEST:: SOT 4443070 SOS 758274 HAS SOPS 758274 HAS SOUS 698766 HAS SOUPS 698766 WITH SCORE 699524.274
AT ITER 222 NEW BEST:: SOT 4442779 SOS 757692 HAS SOPS 757692 HAS SOUS 698184 HAS SOUPS 698184 WITH SCORE 698941.692
AT ITER 244 NEW BEST:: SOT 4442723 SOS 757788 HAS SOPS 757788 HAS SOUS 698142 HAS SOUPS 698142 WITH SCORE 698899.788
AT ITER 245 NEW BEST:: SOT 4442507 SOS 757140 HAS SOPS 757140 HAS SOUS 697710 HAS SOUPS 697710 WITH SCORE 698467.14
AT ITER 250 NEW BEST:: SOT 4442507 SOS 756940 HAS SOPS 756940 HAS SOUS 697462 HAS SOUPS 697462 WITH SCORE 698218.94
AT ITER 266 NEW BEST:: SOT 4442504 SOS 756680 HAS SOPS 756680 HAS SOUS 697456 HAS SOUPS 697456 WITH SCORE 698212.68
AT ITER 278 NEW BEST:: SOT 4442258 SOS 756434 HAS SOPS 756434 HAS SOUS 697210 HAS SOUPS 697210 WITH SCORE 697966.434
AT ITER 286 NEW BEST:: SOT 4442144 SOS 756434 HAS SOPS 756434 HAS SOUS 697153 HAS SOUPS 697153 WITH SCORE 697909.434
AT ITER 313 NEW BEST:: SOT 4442159 SOS 756464 HAS SOPS 756464 HAS SOUS 697152 HAS SOUPS 697152 WITH SCORE 697908.464
AT ITER 326 NEW BEST:: SOT 4442159 SOS 756464 HAS SOPS 756464 HAS SOUS 697100 HAS SOUPS 697100 WITH SCORE 697856.464
AT ITER 335 NEW BEST:: SOT 4442159 SOS 756317 HAS SOPS 756317 HAS SOUS 696953 HAS SOUPS 696953 WITH SCORE 697709.317
AT ITER 364 NEW BEST:: SOT 4442094 SOS 756569 HAS SOPS 756569 HAS SOUS 696860 HAS SOUPS 696860 WITH SCORE 697616.569
AT ITER 385 NEW BEST:: SOT 4441896 SOS 756371 HAS SOPS 756371 HAS SOUS 696464 HAS SOUPS 696464 WITH SCORE 697220.371
AT ITER 400 NEW BEST:: SOT 4441895 SOS 756369 HAS SOPS 756369 HAS SOUS 696462 HAS SOUPS 696462 WITH SCORE 697218.369
AT ITER 435 NEW BEST:: SOT 4441996 SOS 756291 HAS SOPS 756291 HAS SOUS 696384 HAS SOUPS 696384 WITH SCORE 697140.291
AT ITER 443 NEW BEST:: SOT 4441957 SOS 756213 HAS SOPS 756213 HAS SOUS 696345 HAS SOUPS 696345 WITH SCORE 697101.213
AT ITER 468 NEW BEST:: SOT 4441890 SOS 756079 HAS SOPS 756079 HAS SOUS 696278 HAS SOUPS 696278 WITH SCORE 697034.079
AT ITER 480 NEW BEST:: SOT 4441890 SOS 756031 HAS SOPS 756031 HAS SOUS 696277 HAS SOUPS 696277 WITH SCORE 697033.031
AT ITER 500 NEW BEST:: SOT 4441833 SOS 755917 HAS SOPS 755917 HAS SOUS 696163 HAS SOUPS 696163 WITH SCORE 696918.917
AT ITER 504 NEW BEST:: SOT 4441833 SOS 743911 HAS SOPS 743911 HAS SOUS 696162 HAS SOUPS 696162 WITH SCORE 696905.911
AT ITER 527 NEW BEST:: SOT 4441739 SOS 743723 HAS SOPS 743723 HAS SOUS 695933 HAS SOUPS 695933 WITH SCORE 696676.723
AT ITER 528 NEW BEST:: SOT 4441709 SOS 743663 HAS SOPS 743663 HAS SOUS 695873 HAS SOUPS 695873 WITH SCORE 696616.663
AT ITER 531 NEW BEST:: SOT 4441709 SOS 743662 HAS SOPS 743662 HAS SOUS 695872 HAS SOUPS 695872 WITH SCORE 696615.662
AT ITER 551 NEW BEST:: SOT 4441841 SOS 743855 HAS SOPS 743855 HAS SOUS 695804 HAS SOUPS 695804 WITH SCORE 696547.855
AT ITER 557 NEW BEST:: SOT 4441788 SOS 743802 HAS SOPS 743802 HAS SOUS 695751 HAS SOUPS 695751 WITH SCORE 696494.802
AT ITER 569 NEW BEST:: SOT 4439241 SOS 752316 HAS SOPS 752316 HAS SOUS 693525 HAS SOUPS 693525 WITH SCORE 694277.316
AT ITER 599 NEW BEST:: SOT 4439220 SOS 752274 HAS SOPS 752274 HAS SOUS 693483 HAS SOUPS 693483 WITH SCORE 694235.274
AT ITER 607 NEW BEST:: SOT 4439095 SOS 752024 HAS SOPS 752024 HAS SOUS 693233 HAS SOUPS 693233 WITH SCORE 693985.024
AT ITER 608 NEW BEST:: SOT 4438996 SOS 751727 HAS SOPS 751727 HAS SOUS 693035 HAS SOUPS 693035 WITH SCORE 693786.727
AT ITER 625 NEW BEST:: SOT 4438618 SOS 751349 HAS SOPS 751349 HAS SOUS 692657 HAS SOUPS 692657 WITH SCORE 693408.349
AT ITER 676 NEW BEST:: SOT 4438437 SOS 750987 HAS SOPS 750987 HAS SOUS 692295 HAS SOUPS 692295 WITH SCORE 693045.987
AT ITER 682 NEW BEST:: SOT 4438426 SOS 750965 HAS SOPS 750965 HAS SOUS 692284 HAS SOUPS 692284 WITH SCORE 693034.965
AT ITER 690 NEW BEST:: SOT 4438109 SOS 750863 HAS SOPS 750863 HAS SOUS 692100 HAS SOUPS 692100 WITH SCORE 692850.863
AT ITER 721 NEW BEST:: SOT 4438041 SOS 750946 HAS SOPS 750946 HAS SOUS 692072 HAS SOUPS 692072 WITH SCORE 692822.946
AT ITER 723 NEW BEST:: SOT 4437289 SOS 750395 HAS SOPS 750395 HAS SOUS 691457 HAS SOUPS 691457 WITH SCORE 692207.395
AT ITER 734 NEW BEST:: SOT 4437389 SOS 750595 HAS SOPS 750595 HAS SOUS 691419 HAS SOUPS 691419 WITH SCORE 692169.595
AT ITER 737 NEW BEST:: SOT 4437389 SOS 750572 HAS SOPS 750572 HAS SOUS 691419 HAS SOUPS 691419 WITH SCORE 692169.572
AT ITER 745 NEW BEST:: SOT 4437105 SOS 750288 HAS SOPS 750288 HAS SOUS 691135 HAS SOUPS 691135 WITH SCORE 691885.288
AT ITER 749 NEW BEST:: SOT 4437120 SOS 750318 HAS SOPS 750318 HAS SOUS 691047 HAS SOUPS 691047 WITH SCORE 691797.318
AT ITER 780 NEW BEST:: SOT 4437120 SOS 750288 HAS SOPS 750288 HAS SOUS 691046 HAS SOUPS 691046 WITH SCORE 691796.288
AT ITER 784 NEW BEST:: SOT 4437120 SOS 750256 HAS SOPS 750256 HAS SOUS 691046 HAS SOUPS 691046 WITH SCORE 691796.256
AT ITER 796 NEW BEST:: SOT 4437014 SOS 750222 HAS SOPS 750222 HAS SOUS 691012 HAS SOUPS 691012 WITH SCORE 691762.222
AT ITER 816 NEW BEST:: SOT 4437094 SOS 750382 HAS SOPS 750382 HAS SOUS 690967 HAS SOUPS 690967 WITH SCORE 691717.382
AT ITER 869 NEW BEST:: SOT 4437094 SOS 750381 HAS SOPS 750381 HAS SOUS 690966 HAS SOUPS 690966 WITH SCORE 691716.381
AT ITER 904 NEW BEST:: SOT 4437094 SOS 750317 HAS SOPS 750317 HAS SOUS 690965 HAS SOUPS 690965 WITH SCORE 691715.317
AT ITER 906 NEW BEST:: SOT 4436905 SOS 750128 HAS SOPS 750128 HAS SOUS 690776 HAS SOUPS 690776 WITH SCORE 691526.128
AT ITER 910 NEW BEST:: SOT 4436741 SOS 749800 HAS SOPS 749800 HAS SOUS 690448 HAS SOUPS 690448 WITH SCORE 691197.8
AT ITER 955 NEW BEST:: SOT 4436741 SOS 749691 HAS SOPS 749691 HAS SOUS 690448 HAS SOUPS 690448 WITH SCORE 691197.691
AT ITER 959 NEW BEST:: SOT 4436639 SOS 749487 HAS SOPS 749487 HAS SOUS 690160 HAS SOUPS 690160 WITH SCORE 690909.487
AT ITER 996 NEW BEST:: SOT 4436533 SOS 749381 HAS SOPS 749381 HAS SOUS 690054 HAS SOUPS 690054 WITH SCORE 690803.381
AT ITER 1022 NEW BEST:: SOT 4436533 SOS 749275 HAS SOPS 749275 HAS SOUS 689948 HAS SOUPS 689948 WITH SCORE 690697.275
AT ITER 1029 NEW BEST:: SOT 4436533 SOS 748969 HAS SOPS 748969 HAS SOUS 689948 HAS SOUPS 689948 WITH SCORE 690696.969
AT ITER 1059 NEW BEST:: SOT 4436533 SOS 748489 HAS SOPS 748489 HAS SOUS 689708 HAS SOUPS 689708 WITH SCORE 690456.489
AT ITER 1109 NEW BEST:: SOT 4436447 SOS 748317 HAS SOPS 748317 HAS SOUS 689536 HAS SOUPS 689536 WITH SCORE 690284.317
AT ITER 1156 NEW BEST:: SOT 4436447 SOS 748287 HAS SOPS 748287 HAS SOUS 689506 HAS SOUPS 689506 WITH SCORE 690254.287
AT ITER 1166 NEW BEST:: SOT 4427463 SOS 792395 HAS SOPS 792395 HAS SOUS 683155 HAS SOUPS 683155 WITH SCORE 683947.395
AT ITER 1170 NEW BEST:: SOT 4427301 SOS 792233 HAS SOPS 792233 HAS SOUS 682993 HAS SOUPS 682993 WITH SCORE 683785.233
AT ITER 1176 NEW BEST:: SOT 4427301 SOS 791940 HAS SOPS 791940 HAS SOUS 682993 HAS SOUPS 682993 WITH SCORE 683784.94
AT ITER 1187 NEW BEST:: SOT 4427096 SOS 791735 HAS SOPS 791735 HAS SOUS 682993 HAS SOUPS 682993 WITH SCORE 683784.735
AT ITER 1199 NEW BEST:: SOT 4426843 SOS 791229 HAS SOPS 791229 HAS SOUS 682740 HAS SOUPS 682740 WITH SCORE 683531.229
AT ITER 1237 NEW BEST:: SOT 4426763 SOS 791069 HAS SOPS 791069 HAS SOUS 682691 HAS SOUPS 682691 WITH SCORE 683482.069
AT ITER 1261 NEW BEST:: SOT 4426763 SOS 791069 HAS SOPS 791069 HAS SOUS 682651 HAS SOUPS 682651 WITH SCORE 683442.069
AT ITER 1264 NEW BEST:: SOT 4426638 SOS 790693 HAS SOPS 790693 HAS SOUS 682400 HAS SOUPS 682400 WITH SCORE 683190.693
AT ITER 1266 NEW BEST:: SOT 4426628 SOS 790683 HAS SOPS 790683 HAS SOUS 682390 HAS SOUPS 682390 WITH SCORE 683180.683
AT ITER 1281 NEW BEST:: SOT 4426628 SOS 790471 HAS SOPS 790471 HAS SOUS 682390 HAS SOUPS 682390 WITH SCORE 683180.471
AT ITER 1297 NEW BEST:: SOT 4426627 SOS 790469 HAS SOPS 790469 HAS SOUS 682388 HAS SOUPS 682388 WITH SCORE 683178.469
AT ITER 1334 NEW BEST:: SOT 4426627 SOS 790402 HAS SOPS 790402 HAS SOUS 682387 HAS SOUPS 682387 WITH SCORE 683177.402
AT ITER 1345 NEW BEST:: SOT 4426627 SOS 789946 HAS SOPS 789946 HAS SOUS 682387 HAS SOUPS 682387 WITH SCORE 683176.946
AT ITER 1348 NEW BEST:: SOT 4426561 SOS 789814 HAS SOPS 789814 HAS SOUS 682255 HAS SOUPS 682255 WITH SCORE 683044.814
AT ITER 1383 NEW BEST:: SOT 4426479 SOS 789193 HAS SOPS 789193 HAS SOUS 682173 HAS SOUPS 682173 WITH SCORE 682962.193
AT ITER 1404 NEW BEST:: SOT 4426294 SOS 788823 HAS SOPS 788823 HAS SOUS 681988 HAS SOUPS 681988 WITH SCORE 682776.823
AT ITER 1415 NEW BEST:: SOT 4426269 SOS 788773 HAS SOPS 788773 HAS SOUS 681958 HAS SOUPS 681958 WITH SCORE 682746.773
AT ITER 1417 NEW BEST:: SOT 4425978 SOS 788191 HAS SOPS 788191 HAS SOUS 681376 HAS SOUPS 681376 WITH SCORE 682164.191
AT ITER 1422 NEW BEST:: SOT 4425978 SOS 787851 HAS SOPS 787851 HAS SOUS 681376 HAS SOUPS 681376 WITH SCORE 682163.851
AT ITER 1429 NEW BEST:: SOT 4425978 SOS 787720 HAS SOPS 787720 HAS SOUS 681374 HAS SOUPS 681374 WITH SCORE 682161.72
AT ITER 1467 NEW BEST:: SOT 4426096 SOS 787956 HAS SOPS 787956 HAS SOUS 681297 HAS SOUPS 681297 WITH SCORE 682084.956
AT ITER 1470 NEW BEST:: SOT 4425982 SOS 787728 HAS SOPS 787728 HAS SOUS 680943 HAS SOUPS 680943 WITH SCORE 681730.728
AT ITER 1483 NEW BEST:: SOT 4425616 SOS 789656 HAS SOPS 789656 HAS SOUS 680794 HAS SOUPS 680794 WITH SCORE 681583.656
AT ITER 1492 NEW BEST:: SOT 4425616 SOS 789368 HAS SOPS 789368 HAS SOUS 680727 HAS SOUPS 680727 WITH SCORE 681516.368
AT ITER 1504 NEW BEST:: SOT 4425041 SOS 789823 HAS SOPS 789823 HAS SOUS 680159 HAS SOUPS 680159 WITH SCORE 680948.823
AT ITER 1520 NEW BEST:: SOT 4416329 SOS 796003 HAS SOPS 796003 HAS SOUS 672208 HAS SOUPS 672208 WITH SCORE 673004.003
AT ITER 1530 NEW BEST:: SOT 4416183 SOS 795711 HAS SOPS 795711 HAS SOUS 671916 HAS SOUPS 671916 WITH SCORE 672711.711
AT ITER 1533 NEW BEST:: SOT 4416183 SOS 795677 HAS SOPS 795677 HAS SOUS 671916 HAS SOUPS 671916 WITH SCORE 672711.677
AT ITER 1558 NEW BEST:: SOT 4416069 SOS 795563 HAS SOPS 795563 HAS SOUS 671802 HAS SOUPS 671802 WITH SCORE 672597.563
AT ITER 1563 NEW BEST:: SOT 4415895 SOS 795215 HAS SOPS 795215 HAS SOUS 671454 HAS SOUPS 671454 WITH SCORE 672249.215
AT ITER 1615 NEW BEST:: SOT 4415836 SOS 795097 HAS SOPS 795097 HAS SOUS 671336 HAS SOUPS 671336 WITH SCORE 672131.097
AT ITER 1629 NEW BEST:: SOT 4415581 SOS 794944 HAS SOPS 794944 HAS SOUS 671106 HAS SOUPS 671106 WITH SCORE 671900.944
AT ITER 1639 NEW BEST:: SOT 4415581 SOS 794703 HAS SOPS 794703 HAS SOUS 671106 HAS SOUPS 671106 WITH SCORE 671900.703
AT ITER 1645 NEW BEST:: SOT 4415395 SOS 794606 HAS SOPS 794606 HAS SOUS 670948 HAS SOUPS 670948 WITH SCORE 671742.606
AT ITER 1653 NEW BEST:: SOT 4415327 SOS 794470 HAS SOPS 794470 HAS SOUS 670812 HAS SOUPS 670812 WITH SCORE 671606.47
AT ITER 1657 NEW BEST:: SOT 4415327 SOS 794470 HAS SOPS 794470 HAS SOUS 670583 HAS SOUPS 670583 WITH SCORE 671377.47
AT ITER 1664 NEW BEST:: SOT 4415327 SOS 794366 HAS SOPS 794366 HAS SOUS 670531 HAS SOUPS 670531 WITH SCORE 671325.366
AT ITER 1710 NEW BEST:: SOT 4415332 SOS 793957 HAS SOPS 793957 HAS SOUS 670441 HAS SOUPS 670441 WITH SCORE 671234.957
AT ITER 1730 NEW BEST:: SOT 4414933 SOS 793663 HAS SOPS 793663 HAS SOUS 670091 HAS SOUPS 670091 WITH SCORE 670884.663
AT ITER 1746 NEW BEST:: SOT 4414933 SOS 793206 HAS SOPS 793206 HAS SOUS 670091 HAS SOUPS 670091 WITH SCORE 670884.206
AT ITER 1751 NEW BEST:: SOT 4414933 SOS 792983 HAS SOPS 792983 HAS SOUS 670091 HAS SOUPS 670091 WITH SCORE 670883.983
AT ITER 1754 NEW BEST:: SOT 4414933 SOS 792945 HAS SOPS 792945 HAS SOUS 670091 HAS SOUPS 670091 WITH SCORE 670883.945
AT ITER 1757 NEW BEST:: SOT 4414863 SOS 792875 HAS SOPS 792875 HAS SOUS 670021 HAS SOUPS 670021 WITH SCORE 670813.875
AT ITER 1760 NEW BEST:: SOT 4414715 SOS 792952 HAS SOPS 792952 HAS SOUS 669873 HAS SOUPS 669873 WITH SCORE 670665.952
AT ITER 1834 NEW BEST:: SOT 4414643 SOS 792952 HAS SOPS 792952 HAS SOUS 669837 HAS SOUPS 669837 WITH SCORE 670629.952
AT ITER 1837 NEW BEST:: SOT 4414643 SOS 792870 HAS SOPS 792870 HAS SOUS 669837 HAS SOUPS 669837 WITH SCORE 670629.87
AT ITER 1844 NEW BEST:: SOT 4414378 SOS 792254 HAS SOPS 792254 HAS SOUS 669221 HAS SOUPS 669221 WITH SCORE 670013.254
AT ITER 1848 NEW BEST:: SOT 4414076 SOS 791964 HAS SOPS 791964 HAS SOUS 668928 HAS SOUPS 668928 WITH SCORE 669719.964
AT ITER 1859 NEW BEST:: SOT 4413750 SOS 791638 HAS SOPS 791638 HAS SOUS 668602 HAS SOUPS 668602 WITH SCORE 669393.638
AT ITER 1862 NEW BEST:: SOT 4413616 SOS 791228 HAS SOPS 791228 HAS SOUS 668263 HAS SOUPS 668263 WITH SCORE 669054.228
AT ITER 1899 NEW BEST:: SOT 4413322 SOS 792747 HAS SOPS 792747 HAS SOUS 668067 HAS SOUPS 668067 WITH SCORE 668859.747
AT ITER 1901 NEW BEST:: SOT 4413082 SOS 792615 HAS SOPS 792615 HAS SOUS 667884 HAS SOUPS 667884 WITH SCORE 668676.615
AT ITER 1904 NEW BEST:: SOT 4413042 SOS 792535 HAS SOPS 792535 HAS SOUS 667804 HAS SOUPS 667804 WITH SCORE 668596.535
AT ITER 1908 NEW BEST:: SOT 4412795 SOS 792441 HAS SOPS 792441 HAS SOUS 667609 HAS SOUPS 667609 WITH SCORE 668401.441
AT ITER 1937 NEW BEST:: SOT 4412945 SOS 792741 HAS SOPS 792741 HAS SOUS 667588 HAS SOUPS 667588 WITH SCORE 668380.741
AT ITER 1943 NEW BEST:: SOT 4412944 SOS 792739 HAS SOPS 792739 HAS SOUS 667586 HAS SOUPS 667586 WITH SCORE 668378.739
AT ITER 1953 NEW BEST:: SOT 4412959 SOS 792380 HAS SOPS 792380 HAS SOUS 667421 HAS SOUPS 667421 WITH SCORE 668213.38
AT ITER 1956 NEW BEST:: SOT 4412792 SOS 792046 HAS SOPS 792046 HAS SOUS 667087 HAS SOUPS 667087 WITH SCORE 667879.046
AT ITER 1959 NEW BEST:: SOT 4412592 SOS 791646 HAS SOPS 791646 HAS SOUS 666687 HAS SOUPS 666687 WITH SCORE 667478.646
AT ITER 1970 NEW BEST:: SOT 4412377 SOS 791431 HAS SOPS 791431 HAS SOUS 666472 HAS SOUPS 666472 WITH SCORE 667263.431
AT ITER 1999 NEW BEST:: SOT 4407454 SOS 818293 HAS SOPS 818293 HAS SOUS 662441 HAS SOUPS 662441 WITH SCORE 663259.293
AT ITER 2054 NEW BEST:: SOT 4407454 SOS 818293 HAS SOPS 818293 HAS SOUS 662440 HAS SOUPS 662440 WITH SCORE 663258.293
AT ITER 2062 NEW BEST:: SOT 4407486 SOS 818357 HAS SOPS 818357 HAS SOUS 662401 HAS SOUPS 662401 WITH SCORE 663219.357
AT ITER 2078 NEW BEST:: SOT 4407400 SOS 818271 HAS SOPS 818271 HAS SOUS 662318 HAS SOUPS 662318 WITH SCORE 663136.271
AT ITER 2090 NEW BEST:: SOT 4407212 SOS 817895 HAS SOPS 817895 HAS SOUS 662165 HAS SOUPS 662165 WITH SCORE 662982.895
AT ITER 2128 NEW BEST:: SOT 4407043 SOS 817557 HAS SOPS 817557 HAS SOUS 661827 HAS SOUPS 661827 WITH SCORE 662644.557
AT ITER 2133 NEW BEST:: SOT 4407043 SOS 817380 HAS SOPS 817380 HAS SOUS 661827 HAS SOUPS 661827 WITH SCORE 662644.38
AT ITER 2134 NEW BEST:: SOT 4406762 SOS 817307 HAS SOPS 817307 HAS SOUS 661697 HAS SOUPS 661697 WITH SCORE 662514.307
AT ITER 2139 NEW BEST:: SOT 4406713 SOS 817359 HAS SOPS 817359 HAS SOUS 661648 HAS SOUPS 661648 WITH SCORE 662465.359
AT ITER 2155 NEW BEST:: SOT 4406665 SOS 817263 HAS SOPS 817263 HAS SOUS 661552 HAS SOUPS 661552 WITH SCORE 662369.263
AT ITER 2174 NEW BEST:: SOT 4406664 SOS 817261 HAS SOPS 817261 HAS SOUS 661550 HAS SOUPS 661550 WITH SCORE 662367.261
AT ITER 2189 NEW BEST:: SOT 4406799 SOS 816841 HAS SOPS 816841 HAS SOUS 661475 HAS SOUPS 661475 WITH SCORE 662291.841
AT ITER 2202 NEW BEST:: SOT 4406799 SOS 816731 HAS SOPS 816731 HAS SOUS 661420 HAS SOUPS 661420 WITH SCORE 662236.731
AT ITER 2219 NEW BEST:: SOT 4406618 SOS 816735 HAS SOPS 816735 HAS SOUS 661241 HAS SOUPS 661241 WITH SCORE 662057.735
AT ITER 2251 NEW BEST:: SOT 4406612 SOS 816723 HAS SOPS 816723 HAS SOUS 661229 HAS SOUPS 661229 WITH SCORE 662045.723
AT ITER 2266 NEW BEST:: SOT 4406583 SOS 816694 HAS SOPS 816694 HAS SOUS 661118 HAS SOUPS 661118 WITH SCORE 661934.694
AT ITER 2303 NEW BEST:: SOT 4406483 SOS 816694 HAS SOPS 816694 HAS SOUS 661018 HAS SOUPS 661018 WITH SCORE 661834.694
AT ITER 2371 NEW BEST:: SOT 4406200 SOS 816128 HAS SOPS 816128 HAS SOUS 660452 HAS SOUPS 660452 WITH SCORE 661268.128
AT ITER 2385 NEW BEST:: SOT 4406296 SOS 815210 HAS SOPS 815210 HAS SOUS 660312 HAS SOUPS 660312 WITH SCORE 661127.21
AT ITER 2391 NEW BEST:: SOT 4406186 SOS 815130 HAS SOPS 815130 HAS SOUS 660202 HAS SOUPS 660202 WITH SCORE 661017.13
AT ITER 2447 NEW BEST:: SOT 4406186 SOS 815056 HAS SOPS 815056 HAS SOUS 660128 HAS SOUPS 660128 WITH SCORE 660943.056
AT ITER 2496 NEW BEST:: SOT 4405895 SOS 814474 HAS SOPS 814474 HAS SOUS 659885 HAS SOUPS 659885 WITH SCORE 660699.474
AT ITER 2503 NEW BEST:: SOT 4405797 SOS 814278 HAS SOPS 814278 HAS SOUS 659689 HAS SOUPS 659689 WITH SCORE 660503.278
AT ITER 2538 NEW BEST:: SOT 4405651 SOS 813986 HAS SOPS 813986 HAS SOUS 659597 HAS SOUPS 659597 WITH SCORE 660410.986
AT ITER 2549 NEW BEST:: SOT 4405439 SOS 813773 HAS SOPS 813773 HAS SOUS 659413 HAS SOUPS 659413 WITH SCORE 660226.773
AT ITER 2562 NEW BEST:: SOT 4404984 SOS 813475 HAS SOPS 813475 HAS SOUS 659111 HAS SOUPS 659111 WITH SCORE 659924.475
AT ITER 2573 NEW BEST:: SOT 4403146 SOS 812284 HAS SOPS 812284 HAS SOUS 657620 HAS SOUPS 657620 WITH SCORE 658432.284
AT ITER 2579 NEW BEST:: SOT 4403146 SOS 811836 HAS SOPS 811836 HAS SOUS 657396 HAS SOUPS 657396 WITH SCORE 658207.836
AT ITER 2581 NEW BEST:: SOT 4402772 SOS 811462 HAS SOPS 811462 HAS SOUS 657022 HAS SOUPS 657022 WITH SCORE 657833.462
AT ITER 2582 NEW BEST:: SOT 4402772 SOS 811417 HAS SOPS 811417 HAS SOUS 656977 HAS SOUPS 656977 WITH SCORE 657788.417
AT ITER 2595 NEW BEST:: SOT 4402772 SOS 811417 HAS SOPS 811417 HAS SOUS 656672 HAS SOUPS 656672 WITH SCORE 657483.417
AT ITER 2618 NEW BEST:: SOT 4402469 SOS 810368 HAS SOPS 810368 HAS SOUS 656207 HAS SOUPS 656207 WITH SCORE 657017.368
AT ITER 2632 NEW BEST:: SOT 4402469 SOS 810120 HAS SOPS 810120 HAS SOUS 656206 HAS SOUPS 656206 WITH SCORE 657016.12
AT ITER 2635 NEW BEST:: SOT 4402401 SOS 809984 HAS SOPS 809984 HAS SOUS 656070 HAS SOUPS 656070 WITH SCORE 656879.984
AT ITER 2660 NEW BEST:: SOT 4402401 SOS 810057 HAS SOPS 810057 HAS SOUS 656008 HAS SOUPS 656008 WITH SCORE 656818.057
AT ITER 2668 NEW BEST:: SOT 4402401 SOS 809691 HAS SOPS 809691 HAS SOUS 656008 HAS SOUPS 656008 WITH SCORE 656817.691
AT ITER 2669 NEW BEST:: SOT 4402371 SOS 809631 HAS SOPS 809631 HAS SOUS 655978 HAS SOUPS 655978 WITH SCORE 656787.631
AT ITER 2675 NEW BEST:: SOT 4402152 SOS 809412 HAS SOPS 809412 HAS SOUS 655946 HAS SOUPS 655946 WITH SCORE 656755.412
AT ITER 2690 NEW BEST:: SOT 4402149 SOS 809412 HAS SOPS 809412 HAS SOUS 655943 HAS SOUPS 655943 WITH SCORE 656752.412
AT ITER 2704 NEW BEST:: SOT 4401932 SOS 809278 HAS SOPS 809278 HAS SOUS 655761 HAS SOUPS 655761 WITH SCORE 656570.278
AT ITER 2722 NEW BEST:: SOT 4401910 SOS 809256 HAS SOPS 809256 HAS SOUS 655589 HAS SOUPS 655589 WITH SCORE 656398.256
AT ITER 2725 NEW BEST:: SOT 4401897 SOS 809230 HAS SOPS 809230 HAS SOUS 655563 HAS SOUPS 655563 WITH SCORE 656372.23
AT ITER 2730 NEW BEST:: SOT 4401755 SOS 809670 HAS SOPS 809670 HAS SOUS 655448 HAS SOUPS 655448 WITH SCORE 656257.67
AT ITER 2749 NEW BEST:: SOT 4401745 SOS 809650 HAS SOPS 809650 HAS SOUS 655438 HAS SOUPS 655438 WITH SCORE 656247.65
AT ITER 2766 NEW BEST:: SOT 4401751 SOS 809849 HAS SOPS 809849 HAS SOUS 655357 HAS SOUPS 655357 WITH SCORE 656166.849
AT ITER 2769 NEW BEST:: SOT 4401647 SOS 809641 HAS SOPS 809641 HAS SOUS 655149 HAS SOUPS 655149 WITH SCORE 655958.641
AT ITER 2785 NEW BEST:: SOT 4401267 SOS 809228 HAS SOPS 809228 HAS SOUS 654576 HAS SOUPS 654576 WITH SCORE 655385.228
AT ITER 2812 NEW BEST:: SOT 4401095 SOS 809056 HAS SOPS 809056 HAS SOUS 654576 HAS SOUPS 654576 WITH SCORE 655385.056
AT ITER 2813 NEW BEST:: SOT 4401114 SOS 809094 HAS SOPS 809094 HAS SOUS 654552 HAS SOUPS 654552 WITH SCORE 655361.094
AT ITER 2829 NEW BEST:: SOT 4401114 SOS 809048 HAS SOPS 809048 HAS SOUS 654506 HAS SOUPS 654506 WITH SCORE 655315.048
AT ITER 2835 NEW BEST:: SOT 4401076 SOS 808972 HAS SOPS 808972 HAS SOUS 654430 HAS SOUPS 654430 WITH SCORE 655238.972
AT ITER 2865 NEW BEST:: SOT 4401055 SOS 808930 HAS SOPS 808930 HAS SOUS 654388 HAS SOUPS 654388 WITH SCORE 655196.93
AT ITER 2866 NEW BEST:: SOT 4400801 SOS 808771 HAS SOPS 808771 HAS SOUS 654182 HAS SOUPS 654182 WITH SCORE 654990.771
AT ITER 2880 NEW BEST:: SOT 4400689 SOS 808659 HAS SOPS 808659 HAS SOUS 654070 HAS SOUPS 654070 WITH SCORE 654878.659
AT ITER 2897 NEW BEST:: SOT 4400555 SOS 808255 HAS SOPS 808255 HAS SOUS 653798 HAS SOUPS 653798 WITH SCORE 654606.255
AT ITER 2917 NEW BEST:: SOT 4400555 SOS 808229 HAS SOPS 808229 HAS SOUS 653798 HAS SOUPS 653798 WITH SCORE 654606.229
AT ITER 2928 NEW BEST:: SOT 4400538 SOS 808195 HAS SOPS 808195 HAS SOUS 653781 HAS SOUPS 653781 WITH SCORE 654589.195
AT ITER 2932 NEW BEST:: SOT 4400538 SOS 808171 HAS SOPS 808171 HAS SOUS 653781 HAS SOUPS 653781 WITH SCORE 654589.171
AT ITER 2957 NEW BEST:: SOT 4400482 SOS 808059 HAS SOPS 808059 HAS SOUS 653669 HAS SOUPS 653669 WITH SCORE 654477.059
AT ITER 2965 NEW BEST:: SOT 4400434 SOS 808028 HAS SOPS 808028 HAS SOUS 653636 HAS SOUPS 653636 WITH SCORE 654444.028
AT ITER 2968 NEW BEST:: SOT 4400223 SOS 807606 HAS SOPS 807606 HAS SOUS 653214 HAS SOUPS 653214 WITH SCORE 654021.606
AT ITER 2982 NEW BEST:: SOT 4400077 SOS 807679 HAS SOPS 807679 HAS SOUS 653141 HAS SOUPS 653141 WITH SCORE 653948.679
AT ITER 3112 NEW BEST:: SOT 4400077 SOS 807679 HAS SOPS 807679 HAS SOUS 653118 HAS SOUPS 653118 WITH SCORE 653925.679
AT ITER 3136 NEW BEST:: SOT 4399937 SOS 807399 HAS SOPS 807399 HAS SOUS 652838 HAS SOUPS 652838 WITH SCORE 653645.399
AT ITER 3140 NEW BEST:: SOT 4399937 SOS 807316 HAS SOPS 807316 HAS SOUS 652838 HAS SOUPS 652838 WITH SCORE 653645.316
AT ITER 3148 NEW BEST:: SOT 4399908 SOS 807258 HAS SOPS 807258 HAS SOUS 652809 HAS SOUPS 652809 WITH SCORE 653616.258
AT ITER 3166 NEW BEST:: SOT 4398193 SOS 807958 HAS SOPS 807958 HAS SOUS 651802 HAS SOUPS 651802 WITH SCORE 652609.958
AT ITER 3171 NEW BEST:: SOT 4398193 SOS 807701 HAS SOPS 807701 HAS SOUS 651594 HAS SOUPS 651594 WITH SCORE 652401.701
AT ITER 3181 NEW BEST:: SOT 4397769 SOS 806853 HAS SOPS 806853 HAS SOUS 650902 HAS SOUPS 650902 WITH SCORE 651708.853
AT ITER 3185 NEW BEST:: SOT 4397139 SOS 806328 HAS SOPS 806328 HAS SOUS 650372 HAS SOUPS 650372 WITH SCORE 651178.328
AT ITER 3213 NEW BEST:: SOT 4396840 SOS 806332 HAS SOPS 806332 HAS SOUS 650075 HAS SOUPS 650075 WITH SCORE 650881.332
AT ITER 3216 NEW BEST:: SOT 4396839 SOS 806330 HAS SOPS 806330 HAS SOUS 650073 HAS SOUPS 650073 WITH SCORE 650879.33
AT ITER 3222 NEW BEST:: SOT 4396838 SOS 806328 HAS SOPS 806328 HAS SOUS 650071 HAS SOUPS 650071 WITH SCORE 650877.328
AT ITER 3233 NEW BEST:: SOT 4396718 SOS 806088 HAS SOPS 806088 HAS SOUS 649951 HAS SOUPS 649951 WITH SCORE 650757.088
AT ITER 3298 NEW BEST:: SOT 4396718 SOS 806034 HAS SOPS 806034 HAS SOUS 649951 HAS SOUPS 649951 WITH SCORE 650757.034
AT ITER 3355 NEW BEST:: SOT 4396844 SOS 805650 HAS SOPS 805650 HAS SOUS 649759 HAS SOUPS 649759 WITH SCORE 650564.65
AT ITER 3370 NEW BEST:: SOT 4396820 SOS 806089 HAS SOPS 806089 HAS SOUS 649735 HAS SOUPS 649735 WITH SCORE 650541.089
AT ITER 3397 NEW BEST:: SOT 4396733 SOS 805915 HAS SOPS 805915 HAS SOUS 649561 HAS SOUPS 649561 WITH SCORE 650366.915
AT ITER 3416 NEW BEST:: SOT 4397068 SOS 806104 HAS SOPS 806104 HAS SOUS 649441 HAS SOUPS 649441 WITH SCORE 650247.104
AT ITER 3427 NEW BEST:: SOT 4397068 SOS 806086 HAS SOPS 806086 HAS SOUS 649441 HAS SOUPS 649441 WITH SCORE 650247.086
AT ITER 3438 NEW BEST:: SOT 4396827 SOS 805868 HAS SOPS 805868 HAS SOUS 649121 HAS SOUPS 649121 WITH SCORE 649926.868
AT ITER 3534 NEW BEST:: SOT 4395663 SOS 805767 HAS SOPS 805767 HAS SOUS 648119 HAS SOUPS 648119 WITH SCORE 648924.767
AT ITER 3562 NEW BEST:: SOT 4395577 SOS 805408 HAS SOPS 805408 HAS SOUS 648033 HAS SOUPS 648033 WITH SCORE 648838.408
AT ITER 3616 NEW BEST:: SOT 4395654 SOS 805562 HAS SOPS 805562 HAS SOUS 647946 HAS SOUPS 647946 WITH SCORE 648751.562
AT ITER 3620 NEW BEST:: SOT 4395654 SOS 805396 HAS SOPS 805396 HAS SOUS 647946 HAS SOUPS 647946 WITH SCORE 648751.396
AT ITER 3622 NEW BEST:: SOT 4395595 SOS 805278 HAS SOPS 805278 HAS SOUS 647828 HAS SOUPS 647828 WITH SCORE 648633.278
AT ITER 3627 NEW BEST:: SOT 4395675 SOS 805177 HAS SOPS 805177 HAS SOUS 647531 HAS SOUPS 647531 WITH SCORE 648336.177
AT ITER 3649 NEW BEST:: SOT 4395634 SOS 805136 HAS SOPS 805136 HAS SOUS 647530 HAS SOUPS 647530 WITH SCORE 648335.136
AT ITER 3675 NEW BEST:: SOT 4395634 SOS 805136 HAS SOPS 805136 HAS SOUS 647404 HAS SOUPS 647404 WITH SCORE 648209.136
AT ITER 3728 NEW BEST:: SOT 4395419 SOS 805092 HAS SOPS 805092 HAS SOUS 647350 HAS SOUPS 647350 WITH SCORE 648155.092
AT ITER 3757 NEW BEST:: SOT 4395413 SOS 805080 HAS SOPS 805080 HAS SOUS 647095 HAS SOUPS 647095 WITH SCORE 647900.08
AT ITER 3762 NEW BEST:: SOT 4395422 SOS 804847 HAS SOPS 804847 HAS SOUS 646862 HAS SOUPS 646862 WITH SCORE 647666.847
AT ITER 3779 NEW BEST:: SOT 4395393 SOS 804789 HAS SOPS 804789 HAS SOUS 646804 HAS SOUPS 646804 WITH SCORE 647608.789
AT ITER 3782 NEW BEST:: SOT 4395393 SOS 804720 HAS SOPS 804720 HAS SOUS 646735 HAS SOUPS 646735 WITH SCORE 647539.72
AT ITER 3832 NEW BEST:: SOT 4395069 SOS 805296 HAS SOPS 805296 HAS SOUS 646645 HAS SOUPS 646645 WITH SCORE 647450.296
AT ITER 3839 NEW BEST:: SOT 4395006 SOS 805170 HAS SOPS 805170 HAS SOUS 646519 HAS SOUPS 646519 WITH SCORE 647324.17
AT ITER 3841 NEW BEST:: SOT 4394972 SOS 805102 HAS SOPS 805102 HAS SOUS 646451 HAS SOUPS 646451 WITH SCORE 647256.102
AT ITER 3842 NEW BEST:: SOT 4394802 SOS 804762 HAS SOPS 804762 HAS SOUS 646028 HAS SOUPS 646028 WITH SCORE 646832.762
AT ITER 3845 NEW BEST:: SOT 4394802 SOS 804468 HAS SOPS 804468 HAS SOUS 645734 HAS SOUPS 645734 WITH SCORE 646538.468
AT ITER 3853 NEW BEST:: SOT 4394788 SOS 804491 HAS SOPS 804491 HAS SOUS 645706 HAS SOUPS 645706 WITH SCORE 646510.491
AT ITER 3854 NEW BEST:: SOT 4394772 SOS 804459 HAS SOPS 804459 HAS SOUS 645674 HAS SOUPS 645674 WITH SCORE 646478.459
AT ITER 3862 NEW BEST:: SOT 4394709 SOS 804333 HAS SOPS 804333 HAS SOUS 645210 HAS SOUPS 645210 WITH SCORE 646014.333
AT ITER 3867 NEW BEST:: SOT 4394709 SOS 804158 HAS SOPS 804158 HAS SOUS 645210 HAS SOUPS 645210 WITH SCORE 646014.158
AT ITER 3930 NEW BEST:: SOT 4394434 SOS 803608 HAS SOPS 803608 HAS SOUS 644660 HAS SOUPS 644660 WITH SCORE 645463.608
AT ITER 3942 NEW BEST:: SOT 4394434 SOS 803608 HAS SOPS 803608 HAS SOUS 644547 HAS SOUPS 644547 WITH SCORE 645350.608
AT ITER 3990 NEW BEST:: SOT 4394354 SOS 803368 HAS SOPS 803368 HAS SOUS 644466 HAS SOUPS 644466 WITH SCORE 645269.368
AT ITER 4002 NEW BEST:: SOT 4394210 SOS 803080 HAS SOPS 803080 HAS SOUS 644178 HAS SOUPS 644178 WITH SCORE 644981.08
AT ITER 4004 NEW BEST:: SOT 4394210 SOS 803080 HAS SOPS 803080 HAS SOUS 644123 HAS SOUPS 644123 WITH SCORE 644926.08
AT ITER 4005 NEW BEST:: SOT 4393940 SOS 791200 HAS SOPS 791200 HAS SOUS 643583 HAS SOUPS 643583 WITH SCORE 644374.2
AT ITER 4022 NEW BEST:: SOT 4393863 SOS 791417 HAS SOPS 791417 HAS SOUS 643429 HAS SOUPS 643429 WITH SCORE 644220.417
AT ITER 4026 NEW BEST:: SOT 4393785 SOS 791690 HAS SOPS 791690 HAS SOUS 643428 HAS SOUPS 643428 WITH SCORE 644219.69
AT ITER 4028 NEW BEST:: SOT 4393785 SOS 791471 HAS SOPS 791471 HAS SOUS 643427 HAS SOUPS 643427 WITH SCORE 644218.471
AT ITER 4046 NEW BEST:: SOT 4393780 SOS 791461 HAS SOPS 791461 HAS SOUS 643177 HAS SOUPS 643177 WITH SCORE 643968.461
AT ITER 4065 NEW BEST:: SOT 4393780 SOS 791461 HAS SOPS 791461 HAS SOUS 643166 HAS SOUPS 643166 WITH SCORE 643957.461
AT ITER 4080 NEW BEST:: SOT 4393780 SOS 791375 HAS SOPS 791375 HAS SOUS 643080 HAS SOUPS 643080 WITH SCORE 643871.375
AT ITER 4126 NEW BEST:: SOT 4393760 SOS 791335 HAS SOPS 791335 HAS SOUS 642974 HAS SOUPS 642974 WITH SCORE 643765.335
AT ITER 4144 NEW BEST:: SOT 4393760 SOS 791335 HAS SOPS 791335 HAS SOUS 642883 HAS SOUPS 642883 WITH SCORE 643674.335
AT ITER 4145 NEW BEST:: SOT 4393584 SOS 791159 HAS SOPS 791159 HAS SOUS 642770 HAS SOUPS 642770 WITH SCORE 643561.159
AT ITER 4164 NEW BEST:: SOT 4393410 SOS 790811 HAS SOPS 790811 HAS SOUS 642422 HAS SOUPS 642422 WITH SCORE 643212.811
AT ITER 4181 NEW BEST:: SOT 4393410 SOS 790779 HAS SOPS 790779 HAS SOUS 642406 HAS SOUPS 642406 WITH SCORE 643196.779
AT ITER 4252 NEW BEST:: SOT 4393181 SOS 790608 HAS SOPS 790608 HAS SOUS 642177 HAS SOUPS 642177 WITH SCORE 642967.608
AT ITER 4255 NEW BEST:: SOT 4392995 SOS 790451 HAS SOPS 790451 HAS SOUS 641991 HAS SOUPS 641991 WITH SCORE 642781.451
AT ITER 4260 NEW BEST:: SOT 4392994 SOS 790473 HAS SOPS 790473 HAS SOUS 641989 HAS SOUPS 641989 WITH SCORE 642779.473
AT ITER 4346 NEW BEST:: SOT 4392704 SOS 790273 HAS SOPS 790273 HAS SOUS 641758 HAS SOUPS 641758 WITH SCORE 642548.273
AT ITER 4357 NEW BEST:: SOT 4387896 SOS 785791 HAS SOPS 785791 HAS SOUS 637530 HAS SOUPS 637530 WITH SCORE 638315.791
AT ITER 4359 NEW BEST:: SOT 4387690 SOS 785641 HAS SOPS 785641 HAS SOUS 637380 HAS SOUPS 637380 WITH SCORE 638165.641
AT ITER 4371 NEW BEST:: SOT 4387689 SOS 785781 HAS SOPS 785781 HAS SOUS 637378 HAS SOUPS 637378 WITH SCORE 638163.781
AT ITER 4411 NEW BEST:: SOT 4387642 SOS 785687 HAS SOPS 785687 HAS SOUS 637331 HAS SOUPS 637331 WITH SCORE 638116.687
AT ITER 4412 NEW BEST:: SOT 4387584 SOS 785571 HAS SOPS 785571 HAS SOUS 637273 HAS SOUPS 637273 WITH SCORE 638058.571
AT ITER 4421 NEW BEST:: SOT 4387360 SOS 785379 HAS SOPS 785379 HAS SOUS 637064 HAS SOUPS 637064 WITH SCORE 637849.379
AT ITER 4428 NEW BEST:: SOT 4387099 SOS 784857 HAS SOPS 784857 HAS SOUS 636803 HAS SOUPS 636803 WITH SCORE 637587.857
AT ITER 4448 NEW BEST:: SOT 4386986 SOS 784631 HAS SOPS 784631 HAS SOUS 636370 HAS SOUPS 636370 WITH SCORE 637154.631
AT ITER 4471 NEW BEST:: SOT 4386871 SOS 784401 HAS SOPS 784401 HAS SOUS 636255 HAS SOUPS 636255 WITH SCORE 637039.401
AT ITER 4531 NEW BEST:: SOT 4386871 SOS 784134 HAS SOPS 784134 HAS SOUS 636255 HAS SOUPS 636255 WITH SCORE 637039.134
AT ITER 4574 NEW BEST:: SOT 4386871 SOS 783881 HAS SOPS 783881 HAS SOUS 636253 HAS SOUPS 636253 WITH SCORE 637036.881
AT ITER 4592 NEW BEST:: SOT 4386670 SOS 783680 HAS SOPS 783680 HAS SOUS 636052 HAS SOUPS 636052 WITH SCORE 636835.68
AT ITER 4609 NEW BEST:: SOT 4386674 SOS 783551 HAS SOPS 783551 HAS SOUS 635575 HAS SOUPS 635575 WITH SCORE 636358.551
AT ITER 4631 NEW BEST:: SOT 4386420 SOS 783043 HAS SOPS 783043 HAS SOUS 635067 HAS SOUPS 635067 WITH SCORE 635850.043
AT ITER 4640 NEW BEST:: SOT 4386402 SOS 783007 HAS SOPS 783007 HAS SOUS 635049 HAS SOUPS 635049 WITH SCORE 635832.007
AT ITER 4647 NEW BEST:: SOT 4386395 SOS 782993 HAS SOPS 782993 HAS SOUS 635042 HAS SOUPS 635042 WITH SCORE 635824.993
AT ITER 4687 NEW BEST:: SOT 4386121 SOS 782719 HAS SOPS 782719 HAS SOUS 634768 HAS SOUPS 634768 WITH SCORE 635550.719
AT ITER 4704 NEW BEST:: SOT 4385890 SOS 782257 HAS SOPS 782257 HAS SOUS 634590 HAS SOUPS 634590 WITH SCORE 635372.257
AT ITER 4711 NEW BEST:: SOT 4385617 SOS 781711 HAS SOPS 781711 HAS SOUS 634044 HAS SOUPS 634044 WITH SCORE 634825.711
AT ITER 4732 NEW BEST:: SOT 4385444 SOS 781621 HAS SOPS 781621 HAS SOUS 633951 HAS SOUPS 633951 WITH SCORE 634732.621
AT ITER 4754 NEW BEST:: SOT 4385443 SOS 781401 HAS SOPS 781401 HAS SOUS 633949 HAS SOUPS 633949 WITH SCORE 634730.401
AT ITER 4756 NEW BEST:: SOT 4385311 SOS 781363 HAS SOPS 781363 HAS SOUS 633816 HAS SOUPS 633816 WITH SCORE 634597.363
AT ITER 4764 NEW BEST:: SOT 4385380 SOS 781329 HAS SOPS 781329 HAS SOUS 633782 HAS SOUPS 633782 WITH SCORE 634563.329
AT ITER 4774 NEW BEST:: SOT 4385409 SOS 781387 HAS SOPS 781387 HAS SOUS 633553 HAS SOUPS 633553 WITH SCORE 634334.387
AT ITER 4775 NEW BEST:: SOT 4385400 SOS 781114 HAS SOPS 781114 HAS SOUS 633535 HAS SOUPS 633535 WITH SCORE 634316.114
AT ITER 4810 NEW BEST:: SOT 4385137 SOS 780588 HAS SOPS 780588 HAS SOUS 633009 HAS SOUPS 633009 WITH SCORE 633789.588
AT ITER 4832 NEW BEST:: SOT 4384798 SOS 780131 HAS SOPS 780131 HAS SOUS 632670 HAS SOUPS 632670 WITH SCORE 633450.131
AT ITER 4857 NEW BEST:: SOT 4384788 SOS 780111 HAS SOPS 780111 HAS SOUS 632650 HAS SOUPS 632650 WITH SCORE 633430.111
AT ITER 4860 NEW BEST:: SOT 4384666 SOS 779867 HAS SOPS 779867 HAS SOUS 632312 HAS SOUPS 632312 WITH SCORE 633091.867
AT ITER 4861 NEW BEST:: SOT 4384647 SOS 779829 HAS SOPS 779829 HAS SOUS 632274 HAS SOUPS 632274 WITH SCORE 633053.829
AT ITER 4863 NEW BEST:: SOT 4384553 SOS 779479 HAS SOPS 779479 HAS SOUS 632209 HAS SOUPS 632209 WITH SCORE 632988.479
AT ITER 4876 NEW BEST:: SOT 4384510 SOS 779436 HAS SOPS 779436 HAS SOUS 632166 HAS SOUPS 632166 WITH SCORE 632945.436
AT ITER 4887 NEW BEST:: SOT 4384509 SOS 779434 HAS SOPS 779434 HAS SOUS 632164 HAS SOUPS 632164 WITH SCORE 632943.434
AT ITER 4896 NEW BEST:: SOT 4384509 SOS 779332 HAS SOPS 779332 HAS SOUS 632062 HAS SOUPS 632062 WITH SCORE 632841.332
AT ITER 4911 NEW BEST:: SOT 4384475 SOS 779230 HAS SOPS 779230 HAS SOUS 631994 HAS SOUPS 631994 WITH SCORE 632773.23
AT ITER 4924 NEW BEST:: SOT 4384475 SOS 779081 HAS SOPS 779081 HAS SOUS 631994 HAS SOUPS 631994 WITH SCORE 632773.081
AT ITER 4935 NEW BEST:: SOT 4384470 SOS 779071 HAS SOPS 779071 HAS SOUS 631989 HAS SOUPS 631989 WITH SCORE 632768.071
AT ITER 4986 NEW BEST:: SOT 4384400 SOS 778931 HAS SOPS 778931 HAS SOUS 631849 HAS SOUPS 631849 WITH SCORE 632627.931
AT ITER 5016 NEW BEST:: SOT 4384446 SOS 778423 HAS SOPS 778423 HAS SOUS 631722 HAS SOUPS 631722 WITH SCORE 632500.423
AT ITER 5024 NEW BEST:: SOT 4384385 SOS 778301 HAS SOPS 778301 HAS SOUS 631600 HAS SOUPS 631600 WITH SCORE 632378.301
AT ITER 5050 NEW BEST:: SOT 4384385 SOS 778300 HAS SOPS 778300 HAS SOUS 631599 HAS SOUPS 631599 WITH SCORE 632377.3
AT ITER 5078 NEW BEST:: SOT 4384352 SOS 778181 HAS SOPS 778181 HAS SOUS 631513 HAS SOUPS 631513 WITH SCORE 632291.181
AT ITER 5099 NEW BEST:: SOT 4384395 SOS 778267 HAS SOPS 778267 HAS SOUS 631403 HAS SOUPS 631403 WITH SCORE 632181.267
AT ITER 5100 NEW BEST:: SOT 4384394 SOS 777338 HAS SOPS 777338 HAS SOUS 630937 HAS SOUPS 630937 WITH SCORE 631714.338
AT ITER 5214 NEW BEST:: SOT 4384366 SOS 777310 HAS SOPS 777310 HAS SOUS 630881 HAS SOUPS 630881 WITH SCORE 631658.31
AT ITER 5216 NEW BEST:: SOT 4384208 SOS 776779 HAS SOPS 776779 HAS SOUS 630722 HAS SOUPS 630722 WITH SCORE 631498.779
AT ITER 5269 NEW BEST:: SOT 4383948 SOS 776521 HAS SOPS 776521 HAS SOUS 630464 HAS SOUPS 630464 WITH SCORE 631240.521
AT ITER 5272 NEW BEST:: SOT 4383746 SOS 776927 HAS SOPS 776927 HAS SOUS 630405 HAS SOUPS 630405 WITH SCORE 631181.927
AT ITER 5273 NEW BEST:: SOT 4383720 SOS 776875 HAS SOPS 776875 HAS SOUS 630379 HAS SOUPS 630379 WITH SCORE 631155.875
AT ITER 5279 NEW BEST:: SOT 4383920 SOS 776779 HAS SOPS 776779 HAS SOUS 630370 HAS SOUPS 630370 WITH SCORE 631146.779
AT ITER 5282 NEW BEST:: SOT 4383900 SOS 776779 HAS SOPS 776779 HAS SOUS 630369 HAS SOUPS 630369 WITH SCORE 631145.779
AT ITER 5287 NEW BEST:: SOT 4383223 SOS 775425 HAS SOPS 775425 HAS SOUS 629777 HAS SOUPS 629777 WITH SCORE 630552.425
AT ITER 5289 NEW BEST:: SOT 4383070 SOS 775272 HAS SOPS 775272 HAS SOUS 629624 HAS SOUPS 629624 WITH SCORE 630399.272
AT ITER 5321 NEW BEST:: SOT 4383039 SOS 775210 HAS SOPS 775210 HAS SOUS 629562 HAS SOUPS 629562 WITH SCORE 630337.21
AT ITER 5350 NEW BEST:: SOT 4382835 SOS 775006 HAS SOPS 775006 HAS SOUS 629256 HAS SOUPS 629256 WITH SCORE 630031.006
AT ITER 5411 NEW BEST:: SOT 4382827 SOS 774990 HAS SOPS 774990 HAS SOUS 629248 HAS SOUPS 629248 WITH SCORE 630022.99
AT ITER 5421 NEW BEST:: SOT 4382611 SOS 774558 HAS SOPS 774558 HAS SOUS 629248 HAS SOUPS 629248 WITH SCORE 630022.558
AT ITER 5446 NEW BEST:: SOT 4382610 SOS 774556 HAS SOPS 774556 HAS SOUS 629246 HAS SOUPS 629246 WITH SCORE 630020.556
AT ITER 5457 NEW BEST:: SOT 4382454 SOS 774471 HAS SOPS 774471 HAS SOUS 629141 HAS SOUPS 629141 WITH SCORE 629915.471
AT ITER 5481 NEW BEST:: SOT 4382454 SOS 774471 HAS SOPS 774471 HAS SOUS 628947 HAS SOUPS 628947 WITH SCORE 629721.471
AT ITER 5517 NEW BEST:: SOT 4382289 SOS 774141 HAS SOPS 774141 HAS SOUS 628617 HAS SOUPS 628617 WITH SCORE 629391.141
AT ITER 5519 NEW BEST:: SOT 4382281 SOS 774125 HAS SOPS 774125 HAS SOUS 628601 HAS SOUPS 628601 WITH SCORE 629375.125
AT ITER 5524 NEW BEST:: SOT 4382281 SOS 774125 HAS SOPS 774125 HAS SOUS 628575 HAS SOUPS 628575 WITH SCORE 629349.125
AT ITER 5526 NEW BEST:: SOT 4381909 SOS 773703 HAS SOPS 773703 HAS SOUS 628133 HAS SOUPS 628133 WITH SCORE 628906.703
AT ITER 5585 NEW BEST:: SOT 4381902 SOS 773689 HAS SOPS 773689 HAS SOUS 628126 HAS SOUPS 628126 WITH SCORE 628899.689
AT ITER 5601 NEW BEST:: SOT 4381901 SOS 773687 HAS SOPS 773687 HAS SOUS 628124 HAS SOUPS 628124 WITH SCORE 628897.687
AT ITER 5602 NEW BEST:: SOT 4381849 SOS 773350 HAS SOPS 773350 HAS SOUS 627854 HAS SOUPS 627854 WITH SCORE 628627.35
AT ITER 5616 NEW BEST:: SOT 4381694 SOS 773040 HAS SOPS 773040 HAS SOUS 627471 HAS SOUPS 627471 WITH SCORE 628244.04
AT ITER 5639 NEW BEST:: SOT 4381512 SOS 772676 HAS SOPS 772676 HAS SOUS 626928 HAS SOUPS 626928 WITH SCORE 627700.676
AT ITER 5648 NEW BEST:: SOT 4381590 SOS 772832 HAS SOPS 772832 HAS SOUS 626745 HAS SOUPS 626745 WITH SCORE 627517.832
AT ITER 5675 NEW BEST:: SOT 4381589 SOS 772830 HAS SOPS 772830 HAS SOUS 626743 HAS SOUPS 626743 WITH SCORE 627515.83
AT ITER 5692 NEW BEST:: SOT 4381372 SOS 772613 HAS SOPS 772613 HAS SOUS 626743 HAS SOUPS 626743 WITH SCORE 627515.613
AT ITER 5693 NEW BEST:: SOT 4381297 SOS 772463 HAS SOPS 772463 HAS SOUS 626593 HAS SOUPS 626593 WITH SCORE 627365.463
AT ITER 5695 NEW BEST:: SOT 4381192 SOS 772070 HAS SOPS 772070 HAS SOUS 626567 HAS SOUPS 626567 WITH SCORE 627339.07
AT ITER 5700 NEW BEST:: SOT 4380930 SOS 771546 HAS SOPS 771546 HAS SOUS 626043 HAS SOUPS 626043 WITH SCORE 626814.546
AT ITER 5701 NEW BEST:: SOT 4380385 SOS 770958 HAS SOPS 770958 HAS SOUS 625367 HAS SOUPS 625367 WITH SCORE 626137.958
AT ITER 5710 NEW BEST:: SOT 4380385 SOS 770992 HAS SOPS 770992 HAS SOUS 625333 HAS SOUPS 625333 WITH SCORE 626103.992
AT ITER 5720 NEW BEST:: SOT 4380384 SOS 770990 HAS SOPS 770990 HAS SOUS 625331 HAS SOUPS 625331 WITH SCORE 626101.99
AT ITER 5738 NEW BEST:: SOT 4380384 SOS 770695 HAS SOPS 770695 HAS SOUS 625036 HAS SOUPS 625036 WITH SCORE 625806.695
AT ITER 5743 NEW BEST:: SOT 4380357 SOS 770641 HAS SOPS 770641 HAS SOUS 624830 HAS SOUPS 624830 WITH SCORE 625600.641
AT ITER 5784 NEW BEST:: SOT 4380290 SOS 770507 HAS SOPS 770507 HAS SOUS 624696 HAS SOUPS 624696 WITH SCORE 625466.507
AT ITER 5793 NEW BEST:: SOT 4380252 SOS 770431 HAS SOPS 770431 HAS SOUS 624648 HAS SOUPS 624648 WITH SCORE 625418.431
AT ITER 5800 NEW BEST:: SOT 4380252 SOS 770431 HAS SOPS 770431 HAS SOUS 624647 HAS SOUPS 624647 WITH SCORE 625417.431
AT ITER 5807 NEW BEST:: SOT 4380252 SOS 770431 HAS SOPS 770431 HAS SOUS 624527 HAS SOUPS 624527 WITH SCORE 625297.431
AT ITER 5840 NEW BEST:: SOT 4380081 SOS 770450 HAS SOPS 770450 HAS SOUS 624481 HAS SOUPS 624481 WITH SCORE 625251.45
AT ITER 5843 NEW BEST:: SOT 4380081 SOS 770399 HAS SOPS 770399 HAS SOUS 624481 HAS SOUPS 624481 WITH SCORE 625251.399
AT ITER 5844 NEW BEST:: SOT 4380081 SOS 770224 HAS SOPS 770224 HAS SOUS 624481 HAS SOUPS 624481 WITH SCORE 625251.224
AT ITER 5892 NEW BEST:: SOT 4380060 SOS 770203 HAS SOPS 770203 HAS SOUS 624460 HAS SOUPS 624460 WITH SCORE 625230.203
AT ITER 5893 NEW BEST:: SOT 4380120 SOS 770113 HAS SOPS 770113 HAS SOUS 624310 HAS SOUPS 624310 WITH SCORE 625080.113
AT ITER 5985 NEW BEST:: SOT 4380073 SOS 770112 HAS SOPS 770112 HAS SOUS 624278 HAS SOUPS 624278 WITH SCORE 625048.112
AT ITER 5998 NEW BEST:: SOT 4380073 SOS 769829 HAS SOPS 769829 HAS SOUS 624278 HAS SOUPS 624278 WITH SCORE 625047.829
AT ITER 6003 NEW BEST:: SOT 4380042 SOS 769767 HAS SOPS 769767 HAS SOUS 624216 HAS SOUPS 624216 WITH SCORE 624985.767
AT ITER 6052 NEW BEST:: SOT 4379900 SOS 769483 HAS SOPS 769483 HAS SOUS 623932 HAS SOUPS 623932 WITH SCORE 624701.483
AT ITER 6059 NEW BEST:: SOT 4380010 SOS 769127 HAS SOPS 769127 HAS SOUS 623581 HAS SOUPS 623581 WITH SCORE 624350.127
AT ITER 6060 NEW BEST:: SOT 4380009 SOS 769125 HAS SOPS 769125 HAS SOUS 623579 HAS SOUPS 623579 WITH SCORE 624348.125
AT ITER 6072 NEW BEST:: SOT 4379741 SOS 768239 HAS SOPS 768239 HAS SOUS 623038 HAS SOUPS 623038 WITH SCORE 623806.239
AT ITER 6076 NEW BEST:: SOT 4379639 SOS 768137 HAS SOPS 768137 HAS SOUS 622936 HAS SOUPS 622936 WITH SCORE 623704.137
AT ITER 6089 NEW BEST:: SOT 4379478 SOS 767815 HAS SOPS 767815 HAS SOUS 622775 HAS SOUPS 622775 WITH SCORE 623542.815
AT ITER 6116 NEW BEST:: SOT 4379218 SOS 767702 HAS SOPS 767702 HAS SOUS 622662 HAS SOUPS 622662 WITH SCORE 623429.702
AT ITER 6117 NEW BEST:: SOT 4379034 SOS 767334 HAS SOPS 767334 HAS SOUS 622477 HAS SOUPS 622477 WITH SCORE 623244.334
AT ITER 6137 NEW BEST:: SOT 4378780 SOS 767080 HAS SOPS 767080 HAS SOUS 622223 HAS SOUPS 622223 WITH SCORE 622990.08
AT ITER 6144 NEW BEST:: SOT 4378780 SOS 767056 HAS SOPS 767056 HAS SOUS 622175 HAS SOUPS 622175 WITH SCORE 622942.056
AT ITER 6150 NEW BEST:: SOT 4378711 SOS 766993 HAS SOPS 766993 HAS SOUS 622112 HAS SOUPS 622112 WITH SCORE 622878.993
AT ITER 6215 NEW BEST:: SOT 4378558 SOS 766841 HAS SOPS 766841 HAS SOUS 622112 HAS SOUPS 622112 WITH SCORE 622878.841
AT ITER 6247 NEW BEST:: SOT 4378299 SOS 766323 HAS SOPS 766323 HAS SOUS 621837 HAS SOUPS 621837 WITH SCORE 622603.323
AT ITER 6248 NEW BEST:: SOT 4378300 SOS 766157 HAS SOPS 766157 HAS SOUS 621766 HAS SOUPS 621766 WITH SCORE 622532.157
AT ITER 6264 NEW BEST:: SOT 4378301 SOS 765742 HAS SOPS 765742 HAS SOUS 621601 HAS SOUPS 621601 WITH SCORE 622366.742
AT ITER 6316 NEW BEST:: SOT 4378301 SOS 765742 HAS SOPS 765742 HAS SOUS 621564 HAS SOUPS 621564 WITH SCORE 622329.742
AT ITER 6395 NEW BEST:: SOT 4378294 SOS 765728 HAS SOPS 765728 HAS SOUS 621557 HAS SOUPS 621557 WITH SCORE 622322.728
AT ITER 6400 NEW BEST:: SOT 4377966 SOS 765072 HAS SOPS 765072 HAS SOUS 621065 HAS SOUPS 621065 WITH SCORE 621830.072
AT ITER 6409 NEW BEST:: SOT 4377898 SOS 764936 HAS SOPS 764936 HAS SOUS 620929 HAS SOUPS 620929 WITH SCORE 621693.936
AT ITER 6410 NEW BEST:: SOT 4377897 SOS 764934 HAS SOPS 764934 HAS SOUS 620927 HAS SOUPS 620927 WITH SCORE 621691.934
AT ITER 6413 NEW BEST:: SOT 4377897 SOS 764934 HAS SOPS 764934 HAS SOUS 620881 HAS SOUPS 620881 WITH SCORE 621645.934
AT ITER 6417 NEW BEST:: SOT 4377714 SOS 764568 HAS SOPS 764568 HAS SOUS 620698 HAS SOUPS 620698 WITH SCORE 621462.568
AT ITER 6419 NEW BEST:: SOT 4377476 SOS 764092 HAS SOPS 764092 HAS SOUS 620256 HAS SOUPS 620256 WITH SCORE 621020.092
AT ITER 6437 NEW BEST:: SOT 4377296 SOS 763732 HAS SOPS 763732 HAS SOUS 620227 HAS SOUPS 620227 WITH SCORE 620990.732
AT ITER 6490 NEW BEST:: SOT 4377283 SOS 763719 HAS SOPS 763719 HAS SOUS 620214 HAS SOUPS 620214 WITH SCORE 620977.719
AT ITER 6523 NEW BEST:: SOT 4377218 SOS 763589 HAS SOPS 763589 HAS SOUS 620084 HAS SOUPS 620084 WITH SCORE 620847.589
AT ITER 6526 NEW BEST:: SOT 4377217 SOS 763524 HAS SOPS 763524 HAS SOUS 620020 HAS SOUPS 620020 WITH SCORE 620783.524
AT ITER 6548 NEW BEST:: SOT 4376836 SOS 763357 HAS SOPS 763357 HAS SOUS 619758 HAS SOUPS 619758 WITH SCORE 620521.357
AT ITER 6569 NEW BEST:: SOT 4374212 SOS 761219 HAS SOPS 761219 HAS SOUS 617619 HAS SOUPS 617619 WITH SCORE 618380.219
AT ITER 6572 NEW BEST:: SOT 4374211 SOS 761269 HAS SOPS 761269 HAS SOUS 617617 HAS SOUPS 617617 WITH SCORE 618378.269
AT ITER 6582 NEW BEST:: SOT 4374181 SOS 761209 HAS SOPS 761209 HAS SOUS 617557 HAS SOUPS 617557 WITH SCORE 618318.209
AT ITER 6620 NEW BEST:: SOT 4374127 SOS 761101 HAS SOPS 761101 HAS SOUS 617356 HAS SOUPS 617356 WITH SCORE 618117.101
AT ITER 6632 NEW BEST:: SOT 4374207 SOS 760541 HAS SOPS 760541 HAS SOUS 617256 HAS SOUPS 617256 WITH SCORE 618016.541
AT ITER 6674 NEW BEST:: SOT 4374111 SOS 760349 HAS SOPS 760349 HAS SOUS 616991 HAS SOUPS 616991 WITH SCORE 617751.349
AT ITER 6709 NEW BEST:: SOT 4374111 SOS 760260 HAS SOPS 760260 HAS SOUS 616902 HAS SOUPS 616902 WITH SCORE 617662.26
AT ITER 6722 NEW BEST:: SOT 4374110 SOS 760258 HAS SOPS 760258 HAS SOUS 616900 HAS SOUPS 616900 WITH SCORE 617660.258
AT ITER 6735 NEW BEST:: SOT 4373726 SOS 759942 HAS SOPS 759942 HAS SOUS 616552 HAS SOUPS 616552 WITH SCORE 617311.942
AT ITER 6740 NEW BEST:: SOT 4373669 SOS 759828 HAS SOPS 759828 HAS SOUS 616438 HAS SOUPS 616438 WITH SCORE 617197.828
AT ITER 6745 NEW BEST:: SOT 4373668 SOS 759827 HAS SOPS 759827 HAS SOUS 616436 HAS SOUPS 616436 WITH SCORE 617195.827
AT ITER 6789 NEW BEST:: SOT 4373071 SOS 758066 HAS SOPS 758066 HAS SOUS 615595 HAS SOUPS 615595 WITH SCORE 616353.066
AT ITER 6793 NEW BEST:: SOT 4372932 SOS 757788 HAS SOPS 757788 HAS SOUS 615489 HAS SOUPS 615489 WITH SCORE 616246.788
AT ITER 6797 NEW BEST:: SOT 4372887 SOS 757698 HAS SOPS 757698 HAS SOUS 615399 HAS SOUPS 615399 WITH SCORE 616156.698
AT ITER 6804 NEW BEST:: SOT 4372877 SOS 757678 HAS SOPS 757678 HAS SOUS 615379 HAS SOUPS 615379 WITH SCORE 616136.678
AT ITER 6812 NEW BEST:: SOT 4372797 SOS 757518 HAS SOPS 757518 HAS SOUS 615299 HAS SOUPS 615299 WITH SCORE 616056.518
AT ITER 6837 NEW BEST:: SOT 4372797 SOS 757475 HAS SOPS 757475 HAS SOUS 615299 HAS SOUPS 615299 WITH SCORE 616056.475
AT ITER 6859 NEW BEST:: SOT 4372858 SOS 757398 HAS SOPS 757398 HAS SOUS 615222 HAS SOUPS 615222 WITH SCORE 615979.398
AT ITER 6882 NEW BEST:: SOT 4372770 SOS 757355 HAS SOPS 757355 HAS SOUS 615178 HAS SOUPS 615178 WITH SCORE 615935.355
AT ITER 6915 NEW BEST:: SOT 4372744 SOS 757174 HAS SOPS 757174 HAS SOUS 615126 HAS SOUPS 615126 WITH SCORE 615883.174
AT ITER 6923 NEW BEST:: SOT 4372694 SOS 757074 HAS SOPS 757074 HAS SOUS 615026 HAS SOUPS 615026 WITH SCORE 615783.074
AT ITER 6935 NEW BEST:: SOT 4372623 SOS 757422 HAS SOPS 757422 HAS SOUS 615025 HAS SOUPS 615025 WITH SCORE 615782.422
AT ITER 6970 NEW BEST:: SOT 4372622 SOS 757420 HAS SOPS 757420 HAS SOUS 615023 HAS SOUPS 615023 WITH SCORE 615780.42
AT ITER 6972 NEW BEST:: SOT 4372621 SOS 757419 HAS SOPS 757419 HAS SOUS 615021 HAS SOUPS 615021 WITH SCORE 615778.419
AT ITER 6978 NEW BEST:: SOT 4372776 SOS 757729 HAS SOPS 757729 HAS SOUS 615009 HAS SOUPS 615009 WITH SCORE 615766.729
AT ITER 6986 NEW BEST:: SOT 4372643 SOS 757463 HAS SOPS 757463 HAS SOUS 614750 HAS SOUPS 614750 WITH SCORE 615507.463
AT ITER 6994 NEW BEST:: SOT 4372342 SOS 756996 HAS SOPS 756996 HAS SOUS 614314 HAS SOUPS 614314 WITH SCORE 615070.996
AT ITER 6997 NEW BEST:: SOT 4372294 SOS 756778 HAS SOPS 756778 HAS SOUS 614218 HAS SOUPS 614218 WITH SCORE 614974.778
AT ITER 7000 NEW BEST:: SOT 4372287 SOS 756764 HAS SOPS 756764 HAS SOUS 614204 HAS SOUPS 614204 WITH SCORE 614960.764
AT ITER 7013 NEW BEST:: SOT 4371928 SOS 756046 HAS SOPS 756046 HAS SOUS 613845 HAS SOUPS 613845 WITH SCORE 614601.046
AT ITER 7026 NEW BEST:: SOT 4371457 SOS 756198 HAS SOPS 756198 HAS SOUS 613450 HAS SOUPS 613450 WITH SCORE 614206.198
AT ITER 7028 NEW BEST:: SOT 4371456 SOS 756250 HAS SOPS 756250 HAS SOUS 613448 HAS SOUPS 613448 WITH SCORE 614204.25
AT ITER 7036 NEW BEST:: SOT 4371392 SOS 756122 HAS SOPS 756122 HAS SOUS 613320 HAS SOUPS 613320 WITH SCORE 614076.122
AT ITER 7045 NEW BEST:: SOT 4371448 SOS 755604 HAS SOPS 755604 HAS SOUS 613172 HAS SOUPS 613172 WITH SCORE 613927.604
AT ITER 7111 NEW BEST:: SOT 4371445 SOS 755570 HAS SOPS 755570 HAS SOUS 613098 HAS SOUPS 613098 WITH SCORE 613853.57
AT ITER 7149 NEW BEST:: SOT 4371339 SOS 755252 HAS SOPS 755252 HAS SOUS 612886 HAS SOUPS 612886 WITH SCORE 613641.252
AT ITER 7178 NEW BEST:: SOT 4371366 SOS 754926 HAS SOPS 754926 HAS SOUS 612736 HAS SOUPS 612736 WITH SCORE 613490.926
AT ITER 7215 NEW BEST:: SOT 4371366 SOS 754926 HAS SOPS 754926 HAS SOUS 612735 HAS SOUPS 612735 WITH SCORE 613489.926
AT ITER 7218 NEW BEST:: SOT 4371366 SOS 754718 HAS SOPS 754718 HAS SOUS 612631 HAS SOUPS 612631 WITH SCORE 613385.718
AT ITER 7288 NEW BEST:: SOT 4371308 SOS 754602 HAS SOPS 754602 HAS SOUS 612515 HAS SOUPS 612515 WITH SCORE 613269.602
AT ITER 7324 NEW BEST:: SOT 4371285 SOS 754579 HAS SOPS 754579 HAS SOUS 612492 HAS SOUPS 612492 WITH SCORE 613246.579
AT ITER 7395 NEW BEST:: SOT 4371280 SOS 754569 HAS SOPS 754569 HAS SOUS 612487 HAS SOUPS 612487 WITH SCORE 613241.569
AT ITER 7451 NEW BEST:: SOT 4371067 SOS 753930 HAS SOPS 753930 HAS SOUS 612061 HAS SOUPS 612061 WITH SCORE 612814.93
AT ITER 7456 NEW BEST:: SOT 4371067 SOS 753617 HAS SOPS 753617 HAS SOUS 611748 HAS SOUPS 611748 WITH SCORE 612501.617
AT ITER 7480 NEW BEST:: SOT 4371067 SOS 753617 HAS SOPS 753617 HAS SOUS 611746 HAS SOUPS 611746 WITH SCORE 612499.617
AT ITER 7522 NEW BEST:: SOT 4370976 SOS 753526 HAS SOPS 753526 HAS SOUS 611655 HAS SOUPS 611655 WITH SCORE 612408.526
AT ITER 7534 NEW BEST:: SOT 4370481 SOS 752536 HAS SOPS 752536 HAS SOUS 610860 HAS SOUPS 610860 WITH SCORE 611612.536
AT ITER 7553 NEW BEST:: SOT 4370503 SOS 752580 HAS SOPS 752580 HAS SOUS 610850 HAS SOUPS 610850 WITH SCORE 611602.58
AT ITER 7565 NEW BEST:: SOT 4370019 SOS 759886 HAS SOPS 759886 HAS SOUS 610563 HAS SOUPS 610563 WITH SCORE 611322.886
AT ITER 7609 NEW BEST:: SOT 4370019 SOS 759703 HAS SOPS 759703 HAS SOUS 610563 HAS SOUPS 610563 WITH SCORE 611322.703
AT ITER 7626 NEW BEST:: SOT 4369798 SOS 759261 HAS SOPS 759261 HAS SOUS 610342 HAS SOUPS 610342 WITH SCORE 611101.261
AT ITER 7676 NEW BEST:: SOT 4369754 SOS 758920 HAS SOPS 758920 HAS SOUS 610152 HAS SOUPS 610152 WITH SCORE 610910.92
AT ITER 7681 NEW BEST:: SOT 4369708 SOS 758828 HAS SOPS 758828 HAS SOUS 610106 HAS SOUPS 610106 WITH SCORE 610864.828
AT ITER 7737 NEW BEST:: SOT 4369676 SOS 758764 HAS SOPS 758764 HAS SOUS 610074 HAS SOUPS 610074 WITH SCORE 610832.764
AT ITER 7759 NEW BEST:: SOT 4369707 SOS 758715 HAS SOPS 758715 HAS SOUS 610029 HAS SOUPS 610029 WITH SCORE 610787.715
AT ITER 7772 NEW BEST:: SOT 4369690 SOS 758681 HAS SOPS 758681 HAS SOUS 609995 HAS SOUPS 609995 WITH SCORE 610753.681
AT ITER 7797 NEW BEST:: SOT 4369690 SOS 758681 HAS SOPS 758681 HAS SOUS 609915 HAS SOUPS 609915 WITH SCORE 610673.681
AT ITER 7809 NEW BEST:: SOT 4369685 SOS 758671 HAS SOPS 758671 HAS SOUS 609905 HAS SOUPS 609905 WITH SCORE 610663.671
AT ITER 7830 NEW BEST:: SOT 4369685 SOS 758644 HAS SOPS 758644 HAS SOUS 609905 HAS SOUPS 609905 WITH SCORE 610663.644
AT ITER 7849 NEW BEST:: SOT 4369466 SOS 758206 HAS SOPS 758206 HAS SOUS 609749 HAS SOUPS 609749 WITH SCORE 610507.206
AT ITER 7863 NEW BEST:: SOT 4369436 SOS 758176 HAS SOPS 758176 HAS SOUS 609719 HAS SOUPS 609719 WITH SCORE 610477.176
AT ITER 7869 NEW BEST:: SOT 4369400 SOS 758176 HAS SOPS 758176 HAS SOUS 609701 HAS SOUPS 609701 WITH SCORE 610459.176
AT ITER 7901 NEW BEST:: SOT 4369379 SOS 758389 HAS SOPS 758389 HAS SOUS 609691 HAS SOUPS 609691 WITH SCORE 610449.389
AT ITER 7924 NEW BEST:: SOT 4369361 SOS 758353 HAS SOPS 758353 HAS SOUS 609655 HAS SOUPS 609655 WITH SCORE 610413.353
AT ITER 7965 NEW BEST:: SOT 4369358 SOS 758347 HAS SOPS 758347 HAS SOUS 609652 HAS SOUPS 609652 WITH SCORE 610410.347
AT ITER 7975 NEW BEST:: SOT 4369086 SOS 758348 HAS SOPS 758348 HAS SOUS 609489 HAS SOUPS 609489 WITH SCORE 610247.348
AT ITER 7987 NEW BEST:: SOT 4369213 SOS 758226 HAS SOPS 758226 HAS SOUS 609367 HAS SOUPS 609367 WITH SCORE 610125.226
AT ITER 8007 NEW BEST:: SOT 4369142 SOS 758084 HAS SOPS 758084 HAS SOUS 608989 HAS SOUPS 608989 WITH SCORE 609747.084
AT ITER 8035 NEW BEST:: SOT 4369061 SOS 757240 HAS SOPS 757240 HAS SOUS 608610 HAS SOUPS 608610 WITH SCORE 609367.24
AT ITER 8057 NEW BEST:: SOT 4369061 SOS 757148 HAS SOPS 757148 HAS SOUS 608610 HAS SOUPS 608610 WITH SCORE 609367.148
AT ITER 8143 NEW BEST:: SOT 4369040 SOS 757106 HAS SOPS 757106 HAS SOUS 608484 HAS SOUPS 608484 WITH SCORE 609241.106
AT ITER 8150 NEW BEST:: SOT 4369036 SOS 757098 HAS SOPS 757098 HAS SOUS 608476 HAS SOUPS 608476 WITH SCORE 609233.098
AT ITER 8181 NEW BEST:: SOT 4368870 SOS 756960 HAS SOPS 756960 HAS SOUS 608322 HAS SOUPS 608322 WITH SCORE 609078.96
AT ITER 8190 NEW BEST:: SOT 4368671 SOS 756761 HAS SOPS 756761 HAS SOUS 608123 HAS SOUPS 608123 WITH SCORE 608879.761
AT ITER 8199 NEW BEST:: SOT 4368583 SOS 756585 HAS SOPS 756585 HAS SOUS 608035 HAS SOUPS 608035 WITH SCORE 608791.585
AT ITER 8213 NEW BEST:: SOT 4368350 SOS 756119 HAS SOPS 756119 HAS SOUS 607802 HAS SOUPS 607802 WITH SCORE 608558.119
AT ITER 8222 NEW BEST:: SOT 4368533 SOS 755420 HAS SOPS 755420 HAS SOUS 607772 HAS SOUPS 607772 WITH SCORE 608527.42
AT ITER 8226 NEW BEST:: SOT 4368474 SOS 755302 HAS SOPS 755302 HAS SOUS 607654 HAS SOUPS 607654 WITH SCORE 608409.302
AT ITER 8233 NEW BEST:: SOT 4368452 SOS 755258 HAS SOPS 755258 HAS SOUS 607610 HAS SOUPS 607610 WITH SCORE 608365.258
AT ITER 8239 NEW BEST:: SOT 4368319 SOS 754992 HAS SOPS 754992 HAS SOUS 607344 HAS SOUPS 607344 WITH SCORE 608098.992
AT ITER 8267 NEW BEST:: SOT 4368317 SOS 754988 HAS SOPS 754988 HAS SOUS 607340 HAS SOUPS 607340 WITH SCORE 608094.988
AT ITER 8280 NEW BEST:: SOT 4368032 SOS 754741 HAS SOPS 754741 HAS SOUS 607093 HAS SOUPS 607093 WITH SCORE 607847.741
AT ITER 8281 NEW BEST:: SOT 4368025 SOS 754727 HAS SOPS 754727 HAS SOUS 607079 HAS SOUPS 607079 WITH SCORE 607833.727
AT ITER 8328 NEW BEST:: SOT 4367977 SOS 754587 HAS SOPS 754587 HAS SOUS 606983 HAS SOUPS 606983 WITH SCORE 607737.587
AT ITER 8369 NEW BEST:: SOT 4367794 SOS 754221 HAS SOPS 754221 HAS SOUS 606800 HAS SOUPS 606800 WITH SCORE 607554.221
AT ITER 8396 NEW BEST:: SOT 4367796 SOS 754174 HAS SOPS 754174 HAS SOUS 606753 HAS SOUPS 606753 WITH SCORE 607507.174
AT ITER 8427 NEW BEST:: SOT 4367487 SOS 753826 HAS SOPS 753826 HAS SOUS 606402 HAS SOUPS 606402 WITH SCORE 607155.826
AT ITER 8435 NEW BEST:: SOT 4367487 SOS 753826 HAS SOPS 753826 HAS SOUS 606377 HAS SOUPS 606377 WITH SCORE 607130.826
AT ITER 8453 NEW BEST:: SOT 4367487 SOS 753399 HAS SOPS 753399 HAS SOUS 606377 HAS SOUPS 606377 WITH SCORE 607130.399
AT ITER 8503 NEW BEST:: SOT 4367157 SOS 752739 HAS SOPS 752739 HAS SOUS 606125 HAS SOUPS 606125 WITH SCORE 606877.739
AT ITER 8506 NEW BEST:: SOT 4367037 SOS 752499 HAS SOPS 752499 HAS SOUS 606005 HAS SOUPS 606005 WITH SCORE 606757.499
AT ITER 8519 NEW BEST:: SOT 4366616 SOS 752021 HAS SOPS 752021 HAS SOUS 605454 HAS SOUPS 605454 WITH SCORE 606206.021
AT ITER 8534 NEW BEST:: SOT 4366616 SOS 751935 HAS SOPS 751935 HAS SOUS 605454 HAS SOUPS 605454 WITH SCORE 606205.935
AT ITER 8539 NEW BEST:: SOT 4366083 SOS 751236 HAS SOPS 751236 HAS SOUS 604615 HAS SOUPS 604615 WITH SCORE 605366.236
AT ITER 8542 NEW BEST:: SOT 4366011 SOS 751164 HAS SOPS 751164 HAS SOUS 604543 HAS SOUPS 604543 WITH SCORE 605294.164
AT ITER 8544 NEW BEST:: SOT 4365997 SOS 751150 HAS SOPS 751150 HAS SOUS 604529 HAS SOUPS 604529 WITH SCORE 605280.15
AT ITER 8555 NEW BEST:: SOT 4365996 SOS 751082 HAS SOPS 751082 HAS SOUS 604528 HAS SOUPS 604528 WITH SCORE 605279.082
AT ITER 8563 NEW BEST:: SOT 4365996 SOS 750788 HAS SOPS 750788 HAS SOUS 604528 HAS SOUPS 604528 WITH SCORE 605278.788
AT ITER 8611 NEW BEST:: SOT 4365956 SOS 750748 HAS SOPS 750748 HAS SOUS 604460 HAS SOUPS 604460 WITH SCORE 605210.748
AT ITER 8654 NEW BEST:: SOT 4365706 SOS 750248 HAS SOPS 750248 HAS SOUS 603960 HAS SOUPS 603960 WITH SCORE 604710.248
AT ITER 8659 NEW BEST:: SOT 4365706 SOS 750248 HAS SOPS 750248 HAS SOUS 603928 HAS SOUPS 603928 WITH SCORE 604678.248
AT ITER 8694 NEW BEST:: SOT 4365669 SOS 750234 HAS SOPS 750234 HAS SOUS 603891 HAS SOUPS 603891 WITH SCORE 604641.234
AT ITER 8733 NEW BEST:: SOT 4365647 SOS 750212 HAS SOPS 750212 HAS SOUS 603891 HAS SOUPS 603891 WITH SCORE 604641.212
AT ITER 8735 NEW BEST:: SOT 4365610 SOS 750101 HAS SOPS 750101 HAS SOUS 603817 HAS SOUPS 603817 WITH SCORE 604567.101
AT ITER 8749 NEW BEST:: SOT 4365489 SOS 749980 HAS SOPS 749980 HAS SOUS 603575 HAS SOUPS 603575 WITH SCORE 604324.98
AT ITER 8751 NEW BEST:: SOT 4365460 SOS 749951 HAS SOPS 749951 HAS SOUS 603574 HAS SOUPS 603574 WITH SCORE 604323.951
AT ITER 8754 NEW BEST:: SOT 4365425 SOS 749916 HAS SOPS 749916 HAS SOUS 603479 HAS SOUPS 603479 WITH SCORE 604228.916
AT ITER 8760 NEW BEST:: SOT 4365386 SOS 749838 HAS SOPS 749838 HAS SOUS 603440 HAS SOUPS 603440 WITH SCORE 604189.838
AT ITER 8773 NEW BEST:: SOT 4365369 SOS 749787 HAS SOPS 749787 HAS SOUS 603406 HAS SOUPS 603406 WITH SCORE 604155.787
AT ITER 8800 NEW BEST:: SOT 4365369 SOS 749443 HAS SOPS 749443 HAS SOUS 603219 HAS SOUPS 603219 WITH SCORE 603968.443
AT ITER 8811 NEW BEST:: SOT 4365338 SOS 749381 HAS SOPS 749381 HAS SOUS 603157 HAS SOUPS 603157 WITH SCORE 603906.381
AT ITER 8823 NEW BEST:: SOT 4365340 SOS 749385 HAS SOPS 749385 HAS SOUS 603090 HAS SOUPS 603090 WITH SCORE 603839.385
AT ITER 8848 NEW BEST:: SOT 4365111 SOS 749156 HAS SOPS 749156 HAS SOUS 602861 HAS SOUPS 602861 WITH SCORE 603610.156
AT ITER 8874 NEW BEST:: SOT 4365110 SOS 749155 HAS SOPS 749155 HAS SOUS 602859 HAS SOUPS 602859 WITH SCORE 603608.155
AT ITER 8880 NEW BEST:: SOT 4364974 SOS 749019 HAS SOPS 749019 HAS SOUS 602723 HAS SOUPS 602723 WITH SCORE 603472.019
AT ITER 8894 NEW BEST:: SOT 4364874 SOS 748819 HAS SOPS 748819 HAS SOUS 602523 HAS SOUPS 602523 WITH SCORE 603271.819
AT ITER 8900 NEW BEST:: SOT 4364474 SOS 748019 HAS SOPS 748019 HAS SOUS 602471 HAS SOUPS 602471 WITH SCORE 603219.019
AT ITER 8905 NEW BEST:: SOT 4364453 SOS 747977 HAS SOPS 747977 HAS SOUS 602429 HAS SOUPS 602429 WITH SCORE 603176.977
AT ITER 8931 NEW BEST:: SOT 4364376 SOS 747823 HAS SOPS 747823 HAS SOUS 602275 HAS SOUPS 602275 WITH SCORE 603022.823
AT ITER 8938 NEW BEST:: SOT 4364366 SOS 747803 HAS SOPS 747803 HAS SOUS 602265 HAS SOUPS 602265 WITH SCORE 603012.803
AT ITER 8953 NEW BEST:: SOT 4364244 SOS 747803 HAS SOPS 747803 HAS SOUS 602204 HAS SOUPS 602204 WITH SCORE 602951.803
AT ITER 8955 NEW BEST:: SOT 4364204 SOS 747723 HAS SOPS 747723 HAS SOUS 602124 HAS SOUPS 602124 WITH SCORE 602871.723
AT ITER 8998 NEW BEST:: SOT 4363672 SOS 747333 HAS SOPS 747333 HAS SOUS 601729 HAS SOUPS 601729 WITH SCORE 602476.333
AT ITER 9004 NEW BEST:: SOT 4363672 SOS 747333 HAS SOPS 747333 HAS SOUS 601727 HAS SOUPS 601727 WITH SCORE 602474.333
AT ITER 9012 NEW BEST:: SOT 4363732 SOS 747260 HAS SOPS 747260 HAS SOUS 601654 HAS SOUPS 601654 WITH SCORE 602401.26
AT ITER 9014 NEW BEST:: SOT 4363681 SOS 747158 HAS SOPS 747158 HAS SOUS 601654 HAS SOUPS 601654 WITH SCORE 602401.158
AT ITER 9019 NEW BEST:: SOT 4363491 SOS 746778 HAS SOPS 746778 HAS SOUS 601274 HAS SOUPS 601274 WITH SCORE 602020.778
AT ITER 9041 NEW BEST:: SOT 4363491 SOS 746759 HAS SOPS 746759 HAS SOUS 601274 HAS SOUPS 601274 WITH SCORE 602020.759
AT ITER 9102 NEW BEST:: SOT 4363357 SOS 746625 HAS SOPS 746625 HAS SOUS 601140 HAS SOUPS 601140 WITH SCORE 601886.625
AT ITER 9109 NEW BEST:: SOT 4363116 SOS 746467 HAS SOPS 746467 HAS SOUS 600941 HAS SOUPS 600941 WITH SCORE 601687.467
AT ITER 9122 NEW BEST:: SOT 4362899 SOS 746033 HAS SOPS 746033 HAS SOUS 600668 HAS SOUPS 600668 WITH SCORE 601414.033
AT ITER 9137 NEW BEST:: SOT 4362792 SOS 745819 HAS SOPS 745819 HAS SOUS 600561 HAS SOUPS 600561 WITH SCORE 601306.819
AT ITER 9161 NEW BEST:: SOT 4362792 SOS 745819 HAS SOPS 745819 HAS SOUS 600483 HAS SOUPS 600483 WITH SCORE 601228.819
AT ITER 9162 NEW BEST:: SOT 4362747 SOS 745729 HAS SOPS 745729 HAS SOUS 600393 HAS SOUPS 600393 WITH SCORE 601138.729
AT ITER 9184 NEW BEST:: SOT 4362747 SOS 745489 HAS SOPS 745489 HAS SOUS 600153 HAS SOUPS 600153 WITH SCORE 600898.489
AT ITER 9203 NEW BEST:: SOT 4362725 SOS 745410 HAS SOPS 745410 HAS SOUS 600087 HAS SOUPS 600087 WITH SCORE 600832.41
AT ITER 9234 NEW BEST:: SOT 4362705 SOS 745370 HAS SOPS 745370 HAS SOUS 600067 HAS SOUPS 600067 WITH SCORE 600812.37
AT ITER 9258 NEW BEST:: SOT 4362406 SOS 745071 HAS SOPS 745071 HAS SOUS 599768 HAS SOUPS 599768 WITH SCORE 600513.071
AT ITER 9272 NEW BEST:: SOT 4362398 SOS 745055 HAS SOPS 745055 HAS SOUS 599752 HAS SOUPS 599752 WITH SCORE 600497.055
AT ITER 9297 NEW BEST:: SOT 4362398 SOS 744976 HAS SOPS 744976 HAS SOUS 599673 HAS SOUPS 599673 WITH SCORE 600417.976
AT ITER 9341 NEW BEST:: SOT 4362278 SOS 744736 HAS SOPS 744736 HAS SOUS 599564 HAS SOUPS 599564 WITH SCORE 600308.736
AT ITER 9343 NEW BEST:: SOT 4362267 SOS 744714 HAS SOPS 744714 HAS SOUS 599457 HAS SOUPS 599457 WITH SCORE 600201.714
AT ITER 9351 NEW BEST:: SOT 4362264 SOS 744708 HAS SOPS 744708 HAS SOUS 599454 HAS SOUPS 599454 WITH SCORE 600198.708
AT ITER 9380 NEW BEST:: SOT 4362240 SOS 744684 HAS SOPS 744684 HAS SOUS 599454 HAS SOUPS 599454 WITH SCORE 600198.684
AT ITER 9387 NEW BEST:: SOT 4362119 SOS 744442 HAS SOPS 744442 HAS SOUS 599333 HAS SOUPS 599333 WITH SCORE 600077.442
AT ITER 9418 NEW BEST:: SOT 4362119 SOS 744424 HAS SOPS 744424 HAS SOUS 599333 HAS SOUPS 599333 WITH SCORE 600077.424
AT ITER 9428 NEW BEST:: SOT 4362100 SOS 744424 HAS SOPS 744424 HAS SOUS 599314 HAS SOUPS 599314 WITH SCORE 600058.424
AT ITER 9437 NEW BEST:: SOT 4362089 SOS 744402 HAS SOPS 744402 HAS SOUS 599292 HAS SOUPS 599292 WITH SCORE 600036.402
AT ITER 9440 NEW BEST:: SOT 4362061 SOS 744392 HAS SOPS 744392 HAS SOUS 599264 HAS SOUPS 599264 WITH SCORE 600008.392
AT ITER 9452 NEW BEST:: SOT 4362039 SOS 744348 HAS SOPS 744348 HAS SOUS 598978 HAS SOUPS 598978 WITH SCORE 599722.348
AT ITER 9464 NEW BEST:: SOT 4361888 SOS 744271 HAS SOPS 744271 HAS SOUS 598849 HAS SOUPS 598849 WITH SCORE 599593.271
AT ITER 9475 NEW BEST:: SOT 4361886 SOS 744267 HAS SOPS 744267 HAS SOUS 598792 HAS SOUPS 598792 WITH SCORE 599536.267
AT ITER 9484 NEW BEST:: SOT 4361882 SOS 744316 HAS SOPS 744316 HAS SOUS 598788 HAS SOUPS 598788 WITH SCORE 599532.316
AT ITER 9497 NEW BEST:: SOT 4361755 SOS 744062 HAS SOPS 744062 HAS SOUS 598534 HAS SOUPS 598534 WITH SCORE 599278.062
AT ITER 9513 NEW BEST:: SOT 4361742 SOS 744036 HAS SOPS 744036 HAS SOUS 598508 HAS SOUPS 598508 WITH SCORE 599252.036
AT ITER 9551 NEW BEST:: SOT 4361601 SOS 743754 HAS SOPS 743754 HAS SOUS 598226 HAS SOUPS 598226 WITH SCORE 598969.754
AT ITER 9553 NEW BEST:: SOT 4361611 SOS 743774 HAS SOPS 743774 HAS SOUS 598221 HAS SOUPS 598221 WITH SCORE 598964.774
AT ITER 9556 NEW BEST:: SOT 4361608 SOS 743768 HAS SOPS 743768 HAS SOUS 598215 HAS SOUPS 598215 WITH SCORE 598958.768
AT ITER 9567 NEW BEST:: SOT 4361552 SOS 743766 HAS SOPS 743766 HAS SOUS 598213 HAS SOUPS 598213 WITH SCORE 598956.766
AT ITER 9571 NEW BEST:: SOT 4361551 SOS 743635 HAS SOPS 743635 HAS SOUS 598211 HAS SOUPS 598211 WITH SCORE 598954.635
AT ITER 9574 NEW BEST:: SOT 4361527 SOS 743614 HAS SOPS 743614 HAS SOUS 598190 HAS SOUPS 598190 WITH SCORE 598933.614
AT ITER 9631 NEW BEST:: SOT 4361485 SOS 743629 HAS SOPS 743629 HAS SOUS 598148 HAS SOUPS 598148 WITH SCORE 598891.629
AT ITER 9642 NEW BEST:: SOT 4361478 SOS 744028 HAS SOPS 744028 HAS SOUS 598141 HAS SOUPS 598141 WITH SCORE 598885.028
AT ITER 9653 NEW BEST:: SOT 4361790 SOS 744652 HAS SOPS 744652 HAS SOUS 598021 HAS SOUPS 598021 WITH SCORE 598765.652
AT ITER 9665 NEW BEST:: SOT 4361747 SOS 744876 HAS SOPS 744876 HAS SOUS 597932 HAS SOUPS 597932 WITH SCORE 598676.876
AT ITER 9673 NEW BEST:: SOT 4361765 SOS 744912 HAS SOPS 744912 HAS SOUS 597916 HAS SOUPS 597916 WITH SCORE 598660.912
AT ITER 9683 NEW BEST:: SOT 4361752 SOS 744926 HAS SOPS 744926 HAS SOUS 597910 HAS SOUPS 597910 WITH SCORE 598654.926
AT ITER 9698 NEW BEST:: SOT 4361678 SOS 744778 HAS SOPS 744778 HAS SOUS 597762 HAS SOUPS 597762 WITH SCORE 598506.778
AT ITER 9708 NEW BEST:: SOT 4361478 SOS 743977 HAS SOPS 743977 HAS SOUS 597256 HAS SOUPS 597256 WITH SCORE 597999.977
AT ITER 9712 NEW BEST:: SOT 4361466 SOS 743941 HAS SOPS 743941 HAS SOUS 597232 HAS SOUPS 597232 WITH SCORE 597975.941
AT ITER 9740 NEW BEST:: SOT 4361484 SOS 743779 HAS SOPS 743779 HAS SOUS 597058 HAS SOUPS 597058 WITH SCORE 597801.779
AT ITER 9774 NEW BEST:: SOT 4361469 SOS 743749 HAS SOPS 743749 HAS SOUS 597028 HAS SOUPS 597028 WITH SCORE 597771.749
AT ITER 9782 NEW BEST:: SOT 4361097 SOS 743005 HAS SOPS 743005 HAS SOUS 596735 HAS SOUPS 596735 WITH SCORE 597478.005
AT ITER 9799 NEW BEST:: SOT 4361003 SOS 743083 HAS SOPS 743083 HAS SOUS 596700 HAS SOUPS 596700 WITH SCORE 597443.083
AT ITER 9801 NEW BEST:: SOT 4360880 SOS 742714 HAS SOPS 742714 HAS SOUS 596577 HAS SOUPS 596577 WITH SCORE 597319.714
AT ITER 9804 NEW BEST:: SOT 4360845 SOS 742679 HAS SOPS 742679 HAS SOUS 596577 HAS SOUPS 596577 WITH SCORE 597319.679
AT ITER 9807 NEW BEST:: SOT 4360815 SOS 742151 HAS SOPS 742151 HAS SOUS 596313 HAS SOUPS 596313 WITH SCORE 597055.151
AT ITER 9808 NEW BEST:: SOT 4360659 SOS 741683 HAS SOPS 741683 HAS SOUS 596001 HAS SOUPS 596001 WITH SCORE 596742.683
AT ITER 9828 NEW BEST:: SOT 4360591 SOS 741581 HAS SOPS 741581 HAS SOUS 595933 HAS SOUPS 595933 WITH SCORE 596674.581
AT ITER 9834 NEW BEST:: SOT 4360591 SOS 741581 HAS SOPS 741581 HAS SOUS 595928 HAS SOUPS 595928 WITH SCORE 596669.581
AT ITER 9835 NEW BEST:: SOT 4360500 SOS 741399 HAS SOPS 741399 HAS SOUS 595775 HAS SOUPS 595775 WITH SCORE 596516.399
AT ITER 9846 NEW BEST:: SOT 4360494 SOS 741387 HAS SOPS 741387 HAS SOUS 595763 HAS SOUPS 595763 WITH SCORE 596504.387
AT ITER 9848 NEW BEST:: SOT 4360494 SOS 741383 HAS SOPS 741383 HAS SOUS 595763 HAS SOUPS 595763 WITH SCORE 596504.383
AT ITER 9868 NEW BEST:: SOT 4360494 SOS 741107 HAS SOPS 741107 HAS SOUS 595763 HAS SOUPS 595763 WITH SCORE 596504.107
AT ITER 9878 NEW BEST:: SOT 4360593 SOS 740817 HAS SOPS 740817 HAS SOUS 595717 HAS SOUPS 595717 WITH SCORE 596457.817
AT ITER 9881 NEW BEST:: SOT 4360583 SOS 740797 HAS SOPS 740797 HAS SOUS 595697 HAS SOUPS 595697 WITH SCORE 596437.797
AT ITER 9895 NEW BEST:: SOT 4360548 SOS 740727 HAS SOPS 740727 HAS SOUS 595684 HAS SOUPS 595684 WITH SCORE 596424.727
AT ITER 9917 NEW BEST:: SOT 4360548 SOS 740727 HAS SOPS 740727 HAS SOUS 595676 HAS SOUPS 595676 WITH SCORE 596416.727
AT ITER 9927 NEW BEST:: SOT 4360390 SOS 740543 HAS SOPS 740543 HAS SOUS 595481 HAS SOUPS 595481 WITH SCORE 596221.543
AT ITER 9933 NEW BEST:: SOT 4360390 SOS 740543 HAS SOPS 740543 HAS SOUS 595462 HAS SOUPS 595462 WITH SCORE 596202.543
AT ITER 9974 NEW BEST:: SOT 4360371 SOS 740528 HAS SOPS 740528 HAS SOUS 595424 HAS SOUPS 595424 WITH SCORE 596164.528
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-312"
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-312, 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-158902541700096"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CloudReconfiguration-PT-312.tgz
mv CloudReconfiguration-PT-312 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 '
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 ;