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-158902541700080.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-310, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902541700080
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 820K
-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.9K Mar 28 16:13 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K 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.5K Apr 8 14:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 27 08:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 27 08:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 26 08:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K 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 1589091772081

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 310
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 4442383 SOS 722657 HAS SOPS 722657 HAS SOUS 696293 HAS SOUPS 696293 WITH SCORE 697015.657
AT ITER 36 NEW BEST:: SOT 4442237 SOS 722531 HAS SOPS 722531 HAS SOUS 696167 HAS SOUPS 696167 WITH SCORE 696889.531
AT ITER 43 NEW BEST:: SOT 4442132 SOS 722321 HAS SOPS 722321 HAS SOUS 695957 HAS SOUPS 695957 WITH SCORE 696679.321
AT ITER 46 NEW BEST:: SOT 4442131 SOS 722319 HAS SOPS 722319 HAS SOUS 695955 HAS SOUPS 695955 WITH SCORE 696677.319
AT ITER 53 NEW BEST:: SOT 4441919 SOS 722369 HAS SOPS 722369 HAS SOUS 695829 HAS SOUPS 695829 WITH SCORE 696551.369
AT ITER 76 NEW BEST:: SOT 4441685 SOS 722135 HAS SOPS 722135 HAS SOUS 695595 HAS SOUPS 695595 WITH SCORE 696317.135
AT ITER 86 NEW BEST:: SOT 4441639 SOS 722691 HAS SOPS 722691 HAS SOUS 695470 HAS SOUPS 695470 WITH SCORE 696192.691
AT ITER 115 NEW BEST:: SOT 4441195 SOS 722310 HAS SOPS 722310 HAS SOUS 695089 HAS SOUPS 695089 WITH SCORE 695811.31
AT ITER 129 NEW BEST:: SOT 4440985 SOS 721890 HAS SOPS 721890 HAS SOUS 694669 HAS SOUPS 694669 WITH SCORE 695390.89
AT ITER 144 NEW BEST:: SOT 4440985 SOS 721890 HAS SOPS 721890 HAS SOUS 694666 HAS SOUPS 694666 WITH SCORE 695387.89
AT ITER 151 NEW BEST:: SOT 4439205 SOS 720220 HAS SOPS 720220 HAS SOUS 692916 HAS SOUPS 692916 WITH SCORE 693636.22
AT ITER 154 NEW BEST:: SOT 4439054 SOS 719918 HAS SOPS 719918 HAS SOUS 692542 HAS SOUPS 692542 WITH SCORE 693261.918
AT ITER 196 NEW BEST:: SOT 4438088 SOS 720926 HAS SOPS 720926 HAS SOUS 692347 HAS SOUPS 692347 WITH SCORE 693067.926
AT ITER 206 NEW BEST:: SOT 4438088 SOS 720926 HAS SOPS 720926 HAS SOUS 692346 HAS SOUPS 692346 WITH SCORE 693066.926
AT ITER 217 NEW BEST:: SOT 4438088 SOS 720925 HAS SOPS 720925 HAS SOUS 692345 HAS SOUPS 692345 WITH SCORE 693065.925
AT ITER 225 NEW BEST:: SOT 4438103 SOS 720847 HAS SOPS 720847 HAS SOUS 692267 HAS SOUPS 692267 WITH SCORE 692987.847
AT ITER 231 NEW BEST:: SOT 4435312 SOS 718604 HAS SOPS 718604 HAS SOUS 689619 HAS SOUPS 689619 WITH SCORE 690337.604
AT ITER 257 NEW BEST:: SOT 4435312 SOS 718546 HAS SOPS 718546 HAS SOUS 689561 HAS SOUPS 689561 WITH SCORE 690279.546
AT ITER 260 NEW BEST:: SOT 4435237 SOS 718396 HAS SOPS 718396 HAS SOUS 689411 HAS SOUPS 689411 WITH SCORE 690129.396
AT ITER 264 NEW BEST:: SOT 4435105 SOS 718396 HAS SOPS 718396 HAS SOUS 689279 HAS SOUPS 689279 WITH SCORE 689997.396
AT ITER 270 NEW BEST:: SOT 4434956 SOS 718098 HAS SOPS 718098 HAS SOUS 689130 HAS SOUPS 689130 WITH SCORE 689848.098
AT ITER 310 NEW BEST:: SOT 4434934 SOS 718076 HAS SOPS 718076 HAS SOUS 689108 HAS SOUPS 689108 WITH SCORE 689826.076
AT ITER 313 NEW BEST:: SOT 4434719 SOS 717953 HAS SOPS 717953 HAS SOUS 688977 HAS SOUPS 688977 WITH SCORE 689694.953
AT ITER 323 NEW BEST:: SOT 4434647 SOS 717809 HAS SOPS 717809 HAS SOUS 688905 HAS SOUPS 688905 WITH SCORE 689622.809
AT ITER 338 NEW BEST:: SOT 4434461 SOS 717677 HAS SOPS 717677 HAS SOUS 688740 HAS SOUPS 688740 WITH SCORE 689457.677
AT ITER 388 NEW BEST:: SOT 4434461 SOS 717298 HAS SOPS 717298 HAS SOUS 688467 HAS SOUPS 688467 WITH SCORE 689184.298
AT ITER 419 NEW BEST:: SOT 4434461 SOS 717168 HAS SOPS 717168 HAS SOUS 688337 HAS SOUPS 688337 WITH SCORE 689054.168
AT ITER 427 NEW BEST:: SOT 4434461 SOS 717013 HAS SOPS 717013 HAS SOUS 688182 HAS SOUPS 688182 WITH SCORE 688899.013
AT ITER 484 NEW BEST:: SOT 4434461 SOS 716688 HAS SOPS 716688 HAS SOUS 687857 HAS SOUPS 687857 WITH SCORE 688573.688
AT ITER 508 NEW BEST:: SOT 4434365 SOS 716274 HAS SOPS 716274 HAS SOUS 687565 HAS SOUPS 687565 WITH SCORE 688281.274
AT ITER 538 NEW BEST:: SOT 4434365 SOS 716274 HAS SOPS 716274 HAS SOUS 687564 HAS SOUPS 687564 WITH SCORE 688280.274
AT ITER 558 NEW BEST:: SOT 4434365 SOS 716266 HAS SOPS 716266 HAS SOUS 687556 HAS SOUPS 687556 WITH SCORE 688272.266
AT ITER 566 NEW BEST:: SOT 4434339 SOS 716214 HAS SOPS 716214 HAS SOUS 687530 HAS SOUPS 687530 WITH SCORE 688246.214
AT ITER 628 NEW BEST:: SOT 4434295 SOS 716196 HAS SOPS 716196 HAS SOUS 687482 HAS SOUPS 687482 WITH SCORE 688198.196
AT ITER 678 NEW BEST:: SOT 4425615 SOS 708166 HAS SOPS 708166 HAS SOUS 679235 HAS SOUPS 679235 WITH SCORE 679943.166
AT ITER 688 NEW BEST:: SOT 4425615 SOS 708166 HAS SOPS 708166 HAS SOUS 679124 HAS SOUPS 679124 WITH SCORE 679832.166
AT ITER 690 NEW BEST:: SOT 4425558 SOS 708109 HAS SOPS 708109 HAS SOUS 679067 HAS SOUPS 679067 WITH SCORE 679775.109
AT ITER 700 NEW BEST:: SOT 4425193 SOS 707744 HAS SOPS 707744 HAS SOUS 678702 HAS SOUPS 678702 WITH SCORE 679409.744
AT ITER 726 NEW BEST:: SOT 4425075 SOS 707823 HAS SOPS 707823 HAS SOUS 678584 HAS SOUPS 678584 WITH SCORE 679291.823
AT ITER 765 NEW BEST:: SOT 4425125 SOS 707801 HAS SOPS 707801 HAS SOUS 678512 HAS SOUPS 678512 WITH SCORE 679219.801
AT ITER 769 NEW BEST:: SOT 4424897 SOS 707696 HAS SOPS 707696 HAS SOUS 678350 HAS SOUPS 678350 WITH SCORE 679057.696
AT ITER 787 NEW BEST:: SOT 4424735 SOS 707534 HAS SOPS 707534 HAS SOUS 678188 HAS SOUPS 678188 WITH SCORE 678895.534
AT ITER 795 NEW BEST:: SOT 4424531 SOS 707534 HAS SOPS 707534 HAS SOUS 678086 HAS SOUPS 678086 WITH SCORE 678793.534
AT ITER 878 NEW BEST:: SOT 4424517 SOS 707506 HAS SOPS 707506 HAS SOUS 678072 HAS SOUPS 678072 WITH SCORE 678779.506
AT ITER 905 NEW BEST:: SOT 4424230 SOS 706932 HAS SOPS 706932 HAS SOUS 677498 HAS SOUPS 677498 WITH SCORE 678204.932
AT ITER 908 NEW BEST:: SOT 4424230 SOS 706858 HAS SOPS 706858 HAS SOUS 677498 HAS SOUPS 677498 WITH SCORE 678204.858
AT ITER 914 NEW BEST:: SOT 4424213 SOS 706824 HAS SOPS 706824 HAS SOUS 677481 HAS SOUPS 677481 WITH SCORE 678187.824
AT ITER 933 NEW BEST:: SOT 4424191 SOS 706807 HAS SOPS 706807 HAS SOUS 677463 HAS SOUPS 677463 WITH SCORE 678169.807
AT ITER 943 NEW BEST:: SOT 4423885 SOS 706603 HAS SOPS 706603 HAS SOUS 677259 HAS SOUPS 677259 WITH SCORE 677965.603
AT ITER 982 NEW BEST:: SOT 4423810 SOS 706603 HAS SOPS 706603 HAS SOUS 677184 HAS SOUPS 677184 WITH SCORE 677890.603
AT ITER 1079 NEW BEST:: SOT 4421042 SOS 714087 HAS SOPS 714087 HAS SOUS 674726 HAS SOUPS 674726 WITH SCORE 675440.087
AT ITER 1096 NEW BEST:: SOT 4420767 SOS 713812 HAS SOPS 713812 HAS SOUS 674451 HAS SOUPS 674451 WITH SCORE 675164.812
AT ITER 1099 NEW BEST:: SOT 4420767 SOS 713811 HAS SOPS 713811 HAS SOUS 674450 HAS SOUPS 674450 WITH SCORE 675163.811
AT ITER 1111 NEW BEST:: SOT 4420767 SOS 713743 HAS SOPS 713743 HAS SOUS 674450 HAS SOUPS 674450 WITH SCORE 675163.743
AT ITER 1118 NEW BEST:: SOT 4419954 SOS 716117 HAS SOPS 716117 HAS SOUS 673456 HAS SOUPS 673456 WITH SCORE 674172.117
AT ITER 1121 NEW BEST:: SOT 4420062 SOS 716333 HAS SOPS 716333 HAS SOUS 673352 HAS SOUPS 673352 WITH SCORE 674068.333
AT ITER 1131 NEW BEST:: SOT 4419898 SOS 716333 HAS SOPS 716333 HAS SOUS 673270 HAS SOUPS 673270 WITH SCORE 673986.333
AT ITER 1146 NEW BEST:: SOT 4420023 SOS 716583 HAS SOPS 716583 HAS SOUS 673082 HAS SOUPS 673082 WITH SCORE 673798.583
AT ITER 1176 NEW BEST:: SOT 4420022 SOS 716576 HAS SOPS 716576 HAS SOUS 673080 HAS SOUPS 673080 WITH SCORE 673796.576
AT ITER 1213 NEW BEST:: SOT 4420155 SOS 716842 HAS SOPS 716842 HAS SOUS 673022 HAS SOUPS 673022 WITH SCORE 673738.842
AT ITER 1220 NEW BEST:: SOT 4420092 SOS 716716 HAS SOPS 716716 HAS SOUS 672805 HAS SOUPS 672805 WITH SCORE 673521.716
AT ITER 1249 NEW BEST:: SOT 4420092 SOS 716615 HAS SOPS 716615 HAS SOUS 672760 HAS SOUPS 672760 WITH SCORE 673476.615
AT ITER 1265 NEW BEST:: SOT 4420092 SOS 716311 HAS SOPS 716311 HAS SOUS 672608 HAS SOUPS 672608 WITH SCORE 673324.311
AT ITER 1293 NEW BEST:: SOT 4420107 SOS 716341 HAS SOPS 716341 HAS SOUS 672396 HAS SOUPS 672396 WITH SCORE 673112.341
AT ITER 1317 NEW BEST:: SOT 4420106 SOS 716339 HAS SOPS 716339 HAS SOUS 672394 HAS SOUPS 672394 WITH SCORE 673110.339
AT ITER 1318 NEW BEST:: SOT 4420106 SOS 716339 HAS SOPS 716339 HAS SOUS 672393 HAS SOUPS 672393 WITH SCORE 673109.339
AT ITER 1320 NEW BEST:: SOT 4419947 SOS 716246 HAS SOPS 716246 HAS SOUS 672128 HAS SOUPS 672128 WITH SCORE 672844.246
AT ITER 1322 NEW BEST:: SOT 4419742 SOS 715836 HAS SOPS 715836 HAS SOUS 671804 HAS SOUPS 671804 WITH SCORE 672519.836
AT ITER 1331 NEW BEST:: SOT 4419720 SOS 715886 HAS SOPS 715886 HAS SOUS 671801 HAS SOUPS 671801 WITH SCORE 672516.886
AT ITER 1348 NEW BEST:: SOT 4419709 SOS 715863 HAS SOPS 715863 HAS SOUS 671778 HAS SOUPS 671778 WITH SCORE 672493.863
AT ITER 1355 NEW BEST:: SOT 4419433 SOS 715587 HAS SOPS 715587 HAS SOUS 671502 HAS SOUPS 671502 WITH SCORE 672217.587
AT ITER 1357 NEW BEST:: SOT 4419268 SOS 715853 HAS SOPS 715853 HAS SOUS 671314 HAS SOUPS 671314 WITH SCORE 672029.853
AT ITER 1377 NEW BEST:: SOT 4419250 SOS 715817 HAS SOPS 715817 HAS SOUS 671294 HAS SOUPS 671294 WITH SCORE 672009.817
AT ITER 1378 NEW BEST:: SOT 4419233 SOS 715783 HAS SOPS 715783 HAS SOUS 671277 HAS SOUPS 671277 WITH SCORE 671992.783
AT ITER 1379 NEW BEST:: SOT 4419233 SOS 715783 HAS SOPS 715783 HAS SOUS 671164 HAS SOUPS 671164 WITH SCORE 671879.783
AT ITER 1384 NEW BEST:: SOT 4418783 SOS 715445 HAS SOPS 715445 HAS SOUS 670753 HAS SOUPS 670753 WITH SCORE 671468.445
AT ITER 1394 NEW BEST:: SOT 4418393 SOS 714917 HAS SOPS 714917 HAS SOUS 670220 HAS SOUPS 670220 WITH SCORE 670934.917
AT ITER 1395 NEW BEST:: SOT 4418393 SOS 714883 HAS SOPS 714883 HAS SOUS 670220 HAS SOUPS 670220 WITH SCORE 670934.883
AT ITER 1426 NEW BEST:: SOT 4418223 SOS 714543 HAS SOPS 714543 HAS SOUS 669752 HAS SOUPS 669752 WITH SCORE 670466.543
AT ITER 1431 NEW BEST:: SOT 4418206 SOS 714509 HAS SOPS 714509 HAS SOUS 669685 HAS SOUPS 669685 WITH SCORE 670399.509
AT ITER 1440 NEW BEST:: SOT 4418191 SOS 714479 HAS SOPS 714479 HAS SOUS 669655 HAS SOUPS 669655 WITH SCORE 670369.479
AT ITER 1506 NEW BEST:: SOT 4418209 SOS 714515 HAS SOPS 714515 HAS SOUS 669489 HAS SOUPS 669489 WITH SCORE 670203.515
AT ITER 1539 NEW BEST:: SOT 4418087 SOS 714531 HAS SOPS 714531 HAS SOUS 669434 HAS SOUPS 669434 WITH SCORE 670148.531
AT ITER 1544 NEW BEST:: SOT 4418087 SOS 714530 HAS SOPS 714530 HAS SOUS 669433 HAS SOUPS 669433 WITH SCORE 670147.53
AT ITER 1545 NEW BEST:: SOT 4418087 SOS 714530 HAS SOPS 714530 HAS SOUS 669207 HAS SOUPS 669207 WITH SCORE 669921.53
AT ITER 1550 NEW BEST:: SOT 4418025 SOS 714616 HAS SOPS 714616 HAS SOUS 669145 HAS SOUPS 669145 WITH SCORE 669859.616
AT ITER 1564 NEW BEST:: SOT 4418025 SOS 714552 HAS SOPS 714552 HAS SOUS 669081 HAS SOUPS 669081 WITH SCORE 669795.552
AT ITER 1592 NEW BEST:: SOT 4417932 SOS 714366 HAS SOPS 714366 HAS SOUS 668835 HAS SOUPS 668835 WITH SCORE 669549.366
AT ITER 1615 NEW BEST:: SOT 4417905 SOS 714312 HAS SOPS 714312 HAS SOUS 668781 HAS SOUPS 668781 WITH SCORE 669495.312
AT ITER 1623 NEW BEST:: SOT 4417889 SOS 714280 HAS SOPS 714280 HAS SOUS 668749 HAS SOUPS 668749 WITH SCORE 669463.28
AT ITER 1652 NEW BEST:: SOT 4417716 SOS 714133 HAS SOPS 714133 HAS SOUS 668602 HAS SOUPS 668602 WITH SCORE 669316.133
AT ITER 1674 NEW BEST:: SOT 4417859 SOS 714034 HAS SOPS 714034 HAS SOUS 668443 HAS SOUPS 668443 WITH SCORE 669157.034
AT ITER 1677 NEW BEST:: SOT 4417761 SOS 713887 HAS SOPS 713887 HAS SOUS 668296 HAS SOUPS 668296 WITH SCORE 669009.887
AT ITER 1684 NEW BEST:: SOT 4417289 SOS 713801 HAS SOPS 713801 HAS SOUS 668207 HAS SOUPS 668207 WITH SCORE 668920.801
AT ITER 1721 NEW BEST:: SOT 4417171 SOS 713565 HAS SOPS 713565 HAS SOUS 667971 HAS SOUPS 667971 WITH SCORE 668684.565
AT ITER 1754 NEW BEST:: SOT 4417111 SOS 713378 HAS SOPS 713378 HAS SOUS 667844 HAS SOUPS 667844 WITH SCORE 668557.378
AT ITER 1783 NEW BEST:: SOT 4417110 SOS 713376 HAS SOPS 713376 HAS SOUS 667842 HAS SOUPS 667842 WITH SCORE 668555.376
AT ITER 1788 NEW BEST:: SOT 4417049 SOS 713254 HAS SOPS 713254 HAS SOUS 667720 HAS SOUPS 667720 WITH SCORE 668433.254
AT ITER 1804 NEW BEST:: SOT 4417049 SOS 713253 HAS SOPS 713253 HAS SOUS 667719 HAS SOUPS 667719 WITH SCORE 668432.253
AT ITER 1824 NEW BEST:: SOT 4416872 SOS 713076 HAS SOPS 713076 HAS SOUS 667542 HAS SOUPS 667542 WITH SCORE 668255.076
AT ITER 1829 NEW BEST:: SOT 4417017 SOS 713366 HAS SOPS 713366 HAS SOUS 667503 HAS SOUPS 667503 WITH SCORE 668216.366
AT ITER 1840 NEW BEST:: SOT 4416777 SOS 712886 HAS SOPS 712886 HAS SOUS 667023 HAS SOUPS 667023 WITH SCORE 667735.886
AT ITER 1849 NEW BEST:: SOT 4416619 SOS 712728 HAS SOPS 712728 HAS SOUS 666865 HAS SOUPS 666865 WITH SCORE 667577.728
AT ITER 1865 NEW BEST:: SOT 4416483 SOS 712592 HAS SOPS 712592 HAS SOUS 666729 HAS SOUPS 666729 WITH SCORE 667441.592
AT ITER 1872 NEW BEST:: SOT 4416332 SOS 712105 HAS SOPS 712105 HAS SOUS 666393 HAS SOUPS 666393 WITH SCORE 667105.105
AT ITER 1913 NEW BEST:: SOT 4416028 SOS 711757 HAS SOPS 711757 HAS SOUS 665868 HAS SOUPS 665868 WITH SCORE 666579.757
AT ITER 1916 NEW BEST:: SOT 4415847 SOS 711643 HAS SOPS 711643 HAS SOUS 665754 HAS SOUPS 665754 WITH SCORE 666465.643
AT ITER 1994 NEW BEST:: SOT 4415798 SOS 711337 HAS SOPS 711337 HAS SOUS 665448 HAS SOUPS 665448 WITH SCORE 666159.337
AT ITER 1996 NEW BEST:: SOT 4415478 SOS 711005 HAS SOPS 711005 HAS SOUS 665116 HAS SOUPS 665116 WITH SCORE 665827.005
AT ITER 2000 NEW BEST:: SOT 4415478 SOS 711004 HAS SOPS 711004 HAS SOUS 665115 HAS SOUPS 665115 WITH SCORE 665826.004
AT ITER 2030 NEW BEST:: SOT 4415163 SOS 710374 HAS SOPS 710374 HAS SOUS 664485 HAS SOUPS 664485 WITH SCORE 665195.374
AT ITER 2041 NEW BEST:: SOT 4415134 SOS 710316 HAS SOPS 710316 HAS SOUS 664427 HAS SOUPS 664427 WITH SCORE 665137.316
AT ITER 2052 NEW BEST:: SOT 4414647 SOS 709699 HAS SOPS 709699 HAS SOUS 663733 HAS SOUPS 663733 WITH SCORE 664442.699
AT ITER 2059 NEW BEST:: SOT 4414451 SOS 709307 HAS SOPS 709307 HAS SOUS 663684 HAS SOUPS 663684 WITH SCORE 664393.307
AT ITER 2095 NEW BEST:: SOT 4414221 SOS 709077 HAS SOPS 709077 HAS SOUS 663454 HAS SOUPS 663454 WITH SCORE 664163.077
AT ITER 2101 NEW BEST:: SOT 4414098 SOS 708831 HAS SOPS 708831 HAS SOUS 663014 HAS SOUPS 663014 WITH SCORE 663722.831
AT ITER 2127 NEW BEST:: SOT 4414098 SOS 708831 HAS SOPS 708831 HAS SOUS 663013 HAS SOUPS 663013 WITH SCORE 663721.831
AT ITER 2129 NEW BEST:: SOT 4414089 SOS 708813 HAS SOPS 708813 HAS SOUS 663004 HAS SOUPS 663004 WITH SCORE 663712.813
AT ITER 2156 NEW BEST:: SOT 4414067 SOS 708769 HAS SOPS 708769 HAS SOUS 662960 HAS SOUPS 662960 WITH SCORE 663668.769
AT ITER 2167 NEW BEST:: SOT 4414067 SOS 708574 HAS SOPS 708574 HAS SOUS 662960 HAS SOUPS 662960 WITH SCORE 663668.574
AT ITER 2203 NEW BEST:: SOT 4414067 SOS 708573 HAS SOPS 708573 HAS SOUS 662864 HAS SOUPS 662864 WITH SCORE 663572.573
AT ITER 2235 NEW BEST:: SOT 4413834 SOS 708225 HAS SOPS 708225 HAS SOUS 662503 HAS SOUPS 662503 WITH SCORE 663211.225
AT ITER 2260 NEW BEST:: SOT 4413886 SOS 708329 HAS SOPS 708329 HAS SOUS 662284 HAS SOUPS 662284 WITH SCORE 662992.329
AT ITER 2270 NEW BEST:: SOT 4413684 SOS 708331 HAS SOPS 708331 HAS SOUS 662219 HAS SOUPS 662219 WITH SCORE 662927.331
AT ITER 2271 NEW BEST:: SOT 4413684 SOS 708171 HAS SOPS 708171 HAS SOUS 662059 HAS SOUPS 662059 WITH SCORE 662767.171
AT ITER 2284 NEW BEST:: SOT 4413550 SOS 708048 HAS SOPS 708048 HAS SOUS 661925 HAS SOUPS 661925 WITH SCORE 662633.048
AT ITER 2289 NEW BEST:: SOT 4413383 SOS 707714 HAS SOPS 707714 HAS SOUS 661758 HAS SOUPS 661758 WITH SCORE 662465.714
AT ITER 2320 NEW BEST:: SOT 4413375 SOS 707698 HAS SOPS 707698 HAS SOUS 661750 HAS SOUPS 661750 WITH SCORE 662457.698
AT ITER 2336 NEW BEST:: SOT 4413347 SOS 707677 HAS SOPS 707677 HAS SOUS 661687 HAS SOUPS 661687 WITH SCORE 662394.677
AT ITER 2340 NEW BEST:: SOT 4413258 SOS 706890 HAS SOPS 706890 HAS SOUS 661134 HAS SOUPS 661134 WITH SCORE 661840.89
AT ITER 2409 NEW BEST:: SOT 4406831 SOS 706419 HAS SOPS 706419 HAS SOUS 655282 HAS SOUPS 655282 WITH SCORE 655988.419
AT ITER 2419 NEW BEST:: SOT 4406605 SOS 706193 HAS SOPS 706193 HAS SOUS 655056 HAS SOUPS 655056 WITH SCORE 655762.193
AT ITER 2459 NEW BEST:: SOT 4406604 SOS 706191 HAS SOPS 706191 HAS SOUS 655054 HAS SOUPS 655054 WITH SCORE 655760.191
AT ITER 2476 NEW BEST:: SOT 4406419 SOS 705821 HAS SOPS 705821 HAS SOUS 654869 HAS SOUPS 654869 WITH SCORE 655574.821
AT ITER 2482 NEW BEST:: SOT 4406406 SOS 705820 HAS SOPS 705820 HAS SOUS 654868 HAS SOUPS 654868 WITH SCORE 655573.82
AT ITER 2543 NEW BEST:: SOT 4406393 SOS 705794 HAS SOPS 705794 HAS SOUS 654842 HAS SOUPS 654842 WITH SCORE 655547.794
AT ITER 2544 NEW BEST:: SOT 4406284 SOS 705576 HAS SOPS 705576 HAS SOUS 654624 HAS SOUPS 654624 WITH SCORE 655329.576
AT ITER 2552 NEW BEST:: SOT 4406278 SOS 705564 HAS SOPS 705564 HAS SOUS 654612 HAS SOUPS 654612 WITH SCORE 655317.564
AT ITER 2573 NEW BEST:: SOT 4406158 SOS 705324 HAS SOPS 705324 HAS SOUS 654491 HAS SOUPS 654491 WITH SCORE 655196.324
AT ITER 2621 NEW BEST:: SOT 4405868 SOS 705174 HAS SOPS 705174 HAS SOUS 654274 HAS SOUPS 654274 WITH SCORE 654979.174
AT ITER 2631 NEW BEST:: SOT 4405825 SOS 705240 HAS SOPS 705240 HAS SOUS 654269 HAS SOUPS 654269 WITH SCORE 654974.24
AT ITER 2673 NEW BEST:: SOT 4405825 SOS 704874 HAS SOPS 704874 HAS SOUS 653905 HAS SOUPS 653905 WITH SCORE 654609.874
AT ITER 2685 NEW BEST:: SOT 4405761 SOS 704846 HAS SOPS 704846 HAS SOUS 653777 HAS SOUPS 653777 WITH SCORE 654481.846
AT ITER 2777 NEW BEST:: SOT 4405665 SOS 704654 HAS SOPS 704654 HAS SOUS 653777 HAS SOUPS 653777 WITH SCORE 654481.654
AT ITER 2821 NEW BEST:: SOT 4405693 SOS 704626 HAS SOPS 704626 HAS SOUS 653777 HAS SOUPS 653777 WITH SCORE 654481.626
AT ITER 2839 NEW BEST:: SOT 4405692 SOS 704624 HAS SOPS 704624 HAS SOUS 653775 HAS SOUPS 653775 WITH SCORE 654479.624
AT ITER 2860 NEW BEST:: SOT 4405433 SOS 704364 HAS SOPS 704364 HAS SOUS 653774 HAS SOUPS 653774 WITH SCORE 654478.364
AT ITER 2911 NEW BEST:: SOT 4405008 SOS 703116 HAS SOPS 703116 HAS SOUS 653454 HAS SOUPS 653454 WITH SCORE 654157.116
AT ITER 2964 NEW BEST:: SOT 4405024 SOS 703081 HAS SOPS 703081 HAS SOUS 653420 HAS SOUPS 653420 WITH SCORE 654123.081
AT ITER 2988 NEW BEST:: SOT 4405024 SOS 703080 HAS SOPS 703080 HAS SOUS 653419 HAS SOUPS 653419 WITH SCORE 654122.08
AT ITER 3053 NEW BEST:: SOT 4404935 SOS 702902 HAS SOPS 702902 HAS SOUS 653329 HAS SOUPS 653329 WITH SCORE 654031.902
AT ITER 3058 NEW BEST:: SOT 4404913 SOS 702901 HAS SOPS 702901 HAS SOUS 653328 HAS SOUPS 653328 WITH SCORE 654030.901
AT ITER 3067 NEW BEST:: SOT 4404913 SOS 702836 HAS SOPS 702836 HAS SOUS 653263 HAS SOUPS 653263 WITH SCORE 653965.836
AT ITER 3115 NEW BEST:: SOT 4404875 SOS 702760 HAS SOPS 702760 HAS SOUS 653187 HAS SOUPS 653187 WITH SCORE 653889.76
AT ITER 3117 NEW BEST:: SOT 4404911 SOS 702832 HAS SOPS 702832 HAS SOUS 653130 HAS SOUPS 653130 WITH SCORE 653832.832
AT ITER 3125 NEW BEST:: SOT 4404699 SOS 702693 HAS SOPS 702693 HAS SOUS 652911 HAS SOUPS 652911 WITH SCORE 653613.693
AT ITER 3128 NEW BEST:: SOT 4404560 SOS 702415 HAS SOPS 702415 HAS SOUS 652841 HAS SOUPS 652841 WITH SCORE 653543.415
AT ITER 3130 NEW BEST:: SOT 4404560 SOS 702343 HAS SOPS 702343 HAS SOUS 652769 HAS SOUPS 652769 WITH SCORE 653471.343
AT ITER 3139 NEW BEST:: SOT 4404560 SOS 702264 HAS SOPS 702264 HAS SOUS 652690 HAS SOUPS 652690 WITH SCORE 653392.264
AT ITER 3164 NEW BEST:: SOT 4404283 SOS 702080 HAS SOPS 702080 HAS SOUS 652506 HAS SOUPS 652506 WITH SCORE 653208.08
AT ITER 3168 NEW BEST:: SOT 4404283 SOS 702054 HAS SOPS 702054 HAS SOUS 652480 HAS SOUPS 652480 WITH SCORE 653182.054
AT ITER 3170 NEW BEST:: SOT 4404170 SOS 701692 HAS SOPS 701692 HAS SOUS 652243 HAS SOUPS 652243 WITH SCORE 652944.692
AT ITER 3176 NEW BEST:: SOT 4403881 SOS 701114 HAS SOPS 701114 HAS SOUS 651665 HAS SOUPS 651665 WITH SCORE 652366.114
AT ITER 3185 NEW BEST:: SOT 4403722 SOS 700796 HAS SOPS 700796 HAS SOUS 651133 HAS SOUPS 651133 WITH SCORE 651833.796
AT ITER 3198 NEW BEST:: SOT 4403601 SOS 700554 HAS SOPS 700554 HAS SOUS 650891 HAS SOUPS 650891 WITH SCORE 651591.554
AT ITER 3224 NEW BEST:: SOT 4403072 SOS 700033 HAS SOPS 700033 HAS SOUS 650370 HAS SOUPS 650370 WITH SCORE 651070.033
AT ITER 3246 NEW BEST:: SOT 4402894 SOS 699467 HAS SOPS 699467 HAS SOUS 650014 HAS SOUPS 650014 WITH SCORE 650713.467
AT ITER 3276 NEW BEST:: SOT 4402891 SOS 699461 HAS SOPS 699461 HAS SOUS 650011 HAS SOUPS 650011 WITH SCORE 650710.461
AT ITER 3294 NEW BEST:: SOT 4402846 SOS 699370 HAS SOPS 699370 HAS SOUS 649994 HAS SOUPS 649994 WITH SCORE 650693.37
AT ITER 3334 NEW BEST:: SOT 4402789 SOS 699199 HAS SOPS 699199 HAS SOUS 649936 HAS SOUPS 649936 WITH SCORE 650635.199
AT ITER 3339 NEW BEST:: SOT 4402789 SOS 699199 HAS SOPS 699199 HAS SOUS 649873 HAS SOUPS 649873 WITH SCORE 650572.199
AT ITER 3352 NEW BEST:: SOT 4402942 SOS 699505 HAS SOPS 699505 HAS SOUS 649845 HAS SOUPS 649845 WITH SCORE 650544.505
AT ITER 3353 NEW BEST:: SOT 4402667 SOS 714201 HAS SOPS 714201 HAS SOUS 649777 HAS SOUPS 649777 WITH SCORE 650491.201
AT ITER 3380 NEW BEST:: SOT 4402466 SOS 713799 HAS SOPS 713799 HAS SOUS 649576 HAS SOUPS 649576 WITH SCORE 650289.799
AT ITER 3383 NEW BEST:: SOT 4402216 SOS 713953 HAS SOPS 713953 HAS SOUS 649324 HAS SOUPS 649324 WITH SCORE 650037.953
AT ITER 3398 NEW BEST:: SOT 4401562 SOS 713163 HAS SOPS 713163 HAS SOUS 648472 HAS SOUPS 648472 WITH SCORE 649185.163
AT ITER 3406 NEW BEST:: SOT 4401378 SOS 713275 HAS SOPS 713275 HAS SOUS 648307 HAS SOUPS 648307 WITH SCORE 649020.275
AT ITER 3434 NEW BEST:: SOT 4401366 SOS 713251 HAS SOPS 713251 HAS SOUS 648283 HAS SOUPS 648283 WITH SCORE 648996.251
AT ITER 3441 NEW BEST:: SOT 4401070 SOS 713003 HAS SOPS 713003 HAS SOUS 648012 HAS SOUPS 648012 WITH SCORE 648725.003
AT ITER 3451 NEW BEST:: SOT 4401064 SOS 712997 HAS SOPS 712997 HAS SOUS 648006 HAS SOUPS 648006 WITH SCORE 648718.997
AT ITER 3459 NEW BEST:: SOT 4401013 SOS 712895 HAS SOPS 712895 HAS SOUS 647666 HAS SOUPS 647666 WITH SCORE 648378.895
AT ITER 3473 NEW BEST:: SOT 4400980 SOS 712829 HAS SOPS 712829 HAS SOUS 647633 HAS SOUPS 647633 WITH SCORE 648345.829
AT ITER 3497 NEW BEST:: SOT 4400739 SOS 712347 HAS SOPS 712347 HAS SOUS 647151 HAS SOUPS 647151 WITH SCORE 647863.347
AT ITER 3543 NEW BEST:: SOT 4400662 SOS 712193 HAS SOPS 712193 HAS SOUS 646997 HAS SOUPS 646997 WITH SCORE 647709.193
AT ITER 3545 NEW BEST:: SOT 4400497 SOS 712028 HAS SOPS 712028 HAS SOUS 646832 HAS SOUPS 646832 WITH SCORE 647544.028
AT ITER 3557 NEW BEST:: SOT 4400335 SOS 711704 HAS SOPS 711704 HAS SOUS 646670 HAS SOUPS 646670 WITH SCORE 647381.704
AT ITER 3565 NEW BEST:: SOT 4400334 SOS 711468 HAS SOPS 711468 HAS SOUS 646668 HAS SOUPS 646668 WITH SCORE 647379.468
AT ITER 3570 NEW BEST:: SOT 4400150 SOS 711215 HAS SOPS 711215 HAS SOUS 646415 HAS SOUPS 646415 WITH SCORE 647126.215
AT ITER 3587 NEW BEST:: SOT 4400150 SOS 711214 HAS SOPS 711214 HAS SOUS 646414 HAS SOUPS 646414 WITH SCORE 647125.214
AT ITER 3590 NEW BEST:: SOT 4399886 SOS 710686 HAS SOPS 710686 HAS SOUS 646150 HAS SOUPS 646150 WITH SCORE 646860.686
AT ITER 3596 NEW BEST:: SOT 4399840 SOS 710594 HAS SOPS 710594 HAS SOUS 646058 HAS SOUPS 646058 WITH SCORE 646768.594
AT ITER 3605 NEW BEST:: SOT 4399772 SOS 710563 HAS SOPS 710563 HAS SOUS 646009 HAS SOUPS 646009 WITH SCORE 646719.563
AT ITER 3638 NEW BEST:: SOT 4399704 SOS 710427 HAS SOPS 710427 HAS SOUS 645873 HAS SOUPS 645873 WITH SCORE 646583.427
AT ITER 3667 NEW BEST:: SOT 4399704 SOS 710411 HAS SOPS 710411 HAS SOUS 645857 HAS SOUPS 645857 WITH SCORE 646567.411
AT ITER 3691 NEW BEST:: SOT 4399721 SOS 710109 HAS SOPS 710109 HAS SOUS 645555 HAS SOUPS 645555 WITH SCORE 646265.109
AT ITER 3703 NEW BEST:: SOT 4399620 SOS 709907 HAS SOPS 709907 HAS SOUS 645447 HAS SOUPS 645447 WITH SCORE 646156.907
AT ITER 3704 NEW BEST:: SOT 4399440 SOS 709547 HAS SOPS 709547 HAS SOUS 645267 HAS SOUPS 645267 WITH SCORE 645976.547
AT ITER 3706 NEW BEST:: SOT 4399308 SOS 708691 HAS SOPS 708691 HAS SOUS 645069 HAS SOUPS 645069 WITH SCORE 645777.691
AT ITER 3714 NEW BEST:: SOT 4399269 SOS 708652 HAS SOPS 708652 HAS SOUS 645030 HAS SOUPS 645030 WITH SCORE 645738.652
AT ITER 3720 NEW BEST:: SOT 4399189 SOS 708492 HAS SOPS 708492 HAS SOUS 644870 HAS SOUPS 644870 WITH SCORE 645578.492
AT ITER 3815 NEW BEST:: SOT 4399376 SOS 707868 HAS SOPS 707868 HAS SOUS 644757 HAS SOUPS 644757 WITH SCORE 645464.868
AT ITER 3835 NEW BEST:: SOT 4399314 SOS 707783 HAS SOPS 707783 HAS SOUS 644734 HAS SOUPS 644734 WITH SCORE 645441.783
AT ITER 3838 NEW BEST:: SOT 4399127 SOS 707409 HAS SOPS 707409 HAS SOUS 644547 HAS SOUPS 644547 WITH SCORE 645254.409
AT ITER 3839 NEW BEST:: SOT 4399079 SOS 707313 HAS SOPS 707313 HAS SOUS 644451 HAS SOUPS 644451 WITH SCORE 645158.313
AT ITER 3844 NEW BEST:: SOT 4398987 SOS 707129 HAS SOPS 707129 HAS SOUS 644267 HAS SOUPS 644267 WITH SCORE 644974.129
AT ITER 3846 NEW BEST:: SOT 4398987 SOS 707129 HAS SOPS 707129 HAS SOUS 644221 HAS SOUPS 644221 WITH SCORE 644928.129
AT ITER 3860 NEW BEST:: SOT 4398986 SOS 707127 HAS SOPS 707127 HAS SOUS 644060 HAS SOUPS 644060 WITH SCORE 644767.127
AT ITER 3888 NEW BEST:: SOT 4399100 SOS 706759 HAS SOPS 706759 HAS SOUS 643899 HAS SOUPS 643899 WITH SCORE 644605.759
AT ITER 3915 NEW BEST:: SOT 4398903 SOS 706365 HAS SOPS 706365 HAS SOUS 643702 HAS SOUPS 643702 WITH SCORE 644408.365
AT ITER 3926 NEW BEST:: SOT 4398740 SOS 706039 HAS SOPS 706039 HAS SOUS 643376 HAS SOUPS 643376 WITH SCORE 644082.039
AT ITER 3929 NEW BEST:: SOT 4398570 SOS 706054 HAS SOPS 706054 HAS SOUS 643211 HAS SOUPS 643211 WITH SCORE 643917.054
AT ITER 3974 NEW BEST:: SOT 4398077 SOS 705068 HAS SOPS 705068 HAS SOUS 642394 HAS SOUPS 642394 WITH SCORE 643099.068
AT ITER 4005 NEW BEST:: SOT 4398069 SOS 705052 HAS SOPS 705052 HAS SOUS 642378 HAS SOUPS 642378 WITH SCORE 643083.052
AT ITER 4061 NEW BEST:: SOT 4397238 SOS 705370 HAS SOPS 705370 HAS SOUS 641888 HAS SOUPS 641888 WITH SCORE 642593.37
AT ITER 4063 NEW BEST:: SOT 4397117 SOS 705128 HAS SOPS 705128 HAS SOUS 641646 HAS SOUPS 641646 WITH SCORE 642351.128
AT ITER 4064 NEW BEST:: SOT 4396523 SOS 705134 HAS SOPS 705134 HAS SOUS 640952 HAS SOUPS 640952 WITH SCORE 641657.134
AT ITER 4084 NEW BEST:: SOT 4396523 SOS 705134 HAS SOPS 705134 HAS SOUS 640883 HAS SOUPS 640883 WITH SCORE 641588.134
AT ITER 4118 NEW BEST:: SOT 4396263 SOS 704614 HAS SOPS 704614 HAS SOUS 640292 HAS SOUPS 640292 WITH SCORE 640996.614
AT ITER 4128 NEW BEST:: SOT 4396140 SOS 704368 HAS SOPS 704368 HAS SOUS 640046 HAS SOUPS 640046 WITH SCORE 640750.368
AT ITER 4132 NEW BEST:: SOT 4396125 SOS 704338 HAS SOPS 704338 HAS SOUS 640016 HAS SOUPS 640016 WITH SCORE 640720.338
AT ITER 4148 NEW BEST:: SOT 4396179 SOS 703668 HAS SOPS 703668 HAS SOUS 639747 HAS SOUPS 639747 WITH SCORE 640450.668
AT ITER 4154 NEW BEST:: SOT 4395818 SOS 702946 HAS SOPS 702946 HAS SOUS 639233 HAS SOUPS 639233 WITH SCORE 639935.946
AT ITER 4180 NEW BEST:: SOT 4395720 SOS 702750 HAS SOPS 702750 HAS SOUS 638962 HAS SOUPS 638962 WITH SCORE 639664.75
AT ITER 4196 NEW BEST:: SOT 4395719 SOS 702874 HAS SOPS 702874 HAS SOUS 638960 HAS SOUPS 638960 WITH SCORE 639662.874
AT ITER 4210 NEW BEST:: SOT 4395668 SOS 702772 HAS SOPS 702772 HAS SOUS 638858 HAS SOUPS 638858 WITH SCORE 639560.772
AT ITER 4228 NEW BEST:: SOT 4395457 SOS 702561 HAS SOPS 702561 HAS SOUS 638858 HAS SOUPS 638858 WITH SCORE 639560.561
AT ITER 4233 NEW BEST:: SOT 4395452 SOS 702551 HAS SOPS 702551 HAS SOUS 638650 HAS SOUPS 638650 WITH SCORE 639352.551
AT ITER 4242 NEW BEST:: SOT 4395583 SOS 702420 HAS SOPS 702420 HAS SOUS 638519 HAS SOUPS 638519 WITH SCORE 639221.42
AT ITER 4262 NEW BEST:: SOT 4395385 SOS 702024 HAS SOPS 702024 HAS SOUS 638474 HAS SOUPS 638474 WITH SCORE 639176.024
AT ITER 4291 NEW BEST:: SOT 4395385 SOS 702024 HAS SOPS 702024 HAS SOUS 638394 HAS SOUPS 638394 WITH SCORE 639096.024
AT ITER 4298 NEW BEST:: SOT 4395346 SOS 701946 HAS SOPS 701946 HAS SOUS 638355 HAS SOUPS 638355 WITH SCORE 639056.946
AT ITER 4310 NEW BEST:: SOT 4395346 SOS 701925 HAS SOPS 701925 HAS SOUS 638334 HAS SOUPS 638334 WITH SCORE 639035.925
AT ITER 4324 NEW BEST:: SOT 4395090 SOS 701413 HAS SOPS 701413 HAS SOUS 638100 HAS SOUPS 638100 WITH SCORE 638801.413
AT ITER 4328 NEW BEST:: SOT 4394943 SOS 701275 HAS SOPS 701275 HAS SOUS 637962 HAS SOUPS 637962 WITH SCORE 638663.275
AT ITER 4342 NEW BEST:: SOT 4394943 SOS 701243 HAS SOPS 701243 HAS SOUS 637962 HAS SOUPS 637962 WITH SCORE 638663.243
AT ITER 4370 NEW BEST:: SOT 4394866 SOS 701089 HAS SOPS 701089 HAS SOUS 637885 HAS SOUPS 637885 WITH SCORE 638586.089
AT ITER 4398 NEW BEST:: SOT 4394796 SOS 700949 HAS SOPS 700949 HAS SOUS 637745 HAS SOUPS 637745 WITH SCORE 638445.949
AT ITER 4425 NEW BEST:: SOT 4394650 SOS 700803 HAS SOPS 700803 HAS SOUS 637599 HAS SOUPS 637599 WITH SCORE 638299.803
AT ITER 4467 NEW BEST:: SOT 4394569 SOS 700641 HAS SOPS 700641 HAS SOUS 637437 HAS SOUPS 637437 WITH SCORE 638137.641
AT ITER 4474 NEW BEST:: SOT 4394568 SOS 700661 HAS SOPS 700661 HAS SOUS 637435 HAS SOUPS 637435 WITH SCORE 638135.661
AT ITER 4475 NEW BEST:: SOT 4394543 SOS 700586 HAS SOPS 700586 HAS SOUS 637385 HAS SOUPS 637385 WITH SCORE 638085.586
AT ITER 4482 NEW BEST:: SOT 4394543 SOS 700532 HAS SOPS 700532 HAS SOUS 637358 HAS SOUPS 637358 WITH SCORE 638058.532
AT ITER 4494 NEW BEST:: SOT 4394398 SOS 700437 HAS SOPS 700437 HAS SOUS 637263 HAS SOUPS 637263 WITH SCORE 637963.437
AT ITER 4591 NEW BEST:: SOT 4394138 SOS 699917 HAS SOPS 699917 HAS SOUS 636743 HAS SOUPS 636743 WITH SCORE 637442.917
AT ITER 4593 NEW BEST:: SOT 4393899 SOS 699923 HAS SOPS 699923 HAS SOUS 636625 HAS SOUPS 636625 WITH SCORE 637324.923
AT ITER 4631 NEW BEST:: SOT 4393899 SOS 699922 HAS SOPS 699922 HAS SOUS 636624 HAS SOUPS 636624 WITH SCORE 637323.922
AT ITER 4634 NEW BEST:: SOT 4393867 SOS 699858 HAS SOPS 699858 HAS SOUS 636560 HAS SOUPS 636560 WITH SCORE 637259.858
AT ITER 4643 NEW BEST:: SOT 4393885 SOS 699894 HAS SOPS 699894 HAS SOUS 636548 HAS SOUPS 636548 WITH SCORE 637247.894
AT ITER 4690 NEW BEST:: SOT 4393885 SOS 699893 HAS SOPS 699893 HAS SOUS 636547 HAS SOUPS 636547 WITH SCORE 637246.893
AT ITER 4718 NEW BEST:: SOT 4393885 SOS 699610 HAS SOPS 699610 HAS SOUS 636547 HAS SOUPS 636547 WITH SCORE 637246.61
AT ITER 4721 NEW BEST:: SOT 4393590 SOS 699020 HAS SOPS 699020 HAS SOUS 635957 HAS SOUPS 635957 WITH SCORE 636656.02
AT ITER 4726 NEW BEST:: SOT 4393590 SOS 699020 HAS SOPS 699020 HAS SOUS 635780 HAS SOUPS 635780 WITH SCORE 636479.02
AT ITER 4735 NEW BEST:: SOT 4393472 SOS 698902 HAS SOPS 698902 HAS SOUS 635544 HAS SOUPS 635544 WITH SCORE 636242.902
AT ITER 4768 NEW BEST:: SOT 4393415 SOS 698788 HAS SOPS 698788 HAS SOUS 635430 HAS SOUPS 635430 WITH SCORE 636128.788
AT ITER 4776 NEW BEST:: SOT 4393415 SOS 698788 HAS SOPS 698788 HAS SOUS 635361 HAS SOUPS 635361 WITH SCORE 636059.788
AT ITER 4786 NEW BEST:: SOT 4393379 SOS 698716 HAS SOPS 698716 HAS SOUS 635228 HAS SOUPS 635228 WITH SCORE 635926.716
AT ITER 4798 NEW BEST:: SOT 4393178 SOS 698602 HAS SOPS 698602 HAS SOUS 635059 HAS SOUPS 635059 WITH SCORE 635757.602
AT ITER 4816 NEW BEST:: SOT 4393178 SOS 698602 HAS SOPS 698602 HAS SOUS 635051 HAS SOUPS 635051 WITH SCORE 635749.602
AT ITER 4824 NEW BEST:: SOT 4393158 SOS 698542 HAS SOPS 698542 HAS SOUS 634991 HAS SOUPS 634991 WITH SCORE 635689.542
AT ITER 4863 NEW BEST:: SOT 4393154 SOS 698308 HAS SOPS 698308 HAS SOUS 634800 HAS SOUPS 634800 WITH SCORE 635498.308
AT ITER 4866 NEW BEST:: SOT 4392413 SOS 697567 HAS SOPS 697567 HAS SOUS 633812 HAS SOUPS 633812 WITH SCORE 634509.567
AT ITER 4873 NEW BEST:: SOT 4392411 SOS 697563 HAS SOPS 697563 HAS SOUS 633810 HAS SOUPS 633810 WITH SCORE 634507.563
AT ITER 4926 NEW BEST:: SOT 4392183 SOS 697107 HAS SOPS 697107 HAS SOUS 633735 HAS SOUPS 633735 WITH SCORE 634432.107
AT ITER 4933 NEW BEST:: SOT 4392183 SOS 697082 HAS SOPS 697082 HAS SOUS 633710 HAS SOUPS 633710 WITH SCORE 634407.082
AT ITER 4936 NEW BEST:: SOT 4392183 SOS 697002 HAS SOPS 697002 HAS SOUS 633630 HAS SOUPS 633630 WITH SCORE 634327.002
AT ITER 4965 NEW BEST:: SOT 4392151 SOS 697031 HAS SOPS 697031 HAS SOUS 633627 HAS SOUPS 633627 WITH SCORE 634324.031
AT ITER 4995 NEW BEST:: SOT 4392053 SOS 696835 HAS SOPS 696835 HAS SOUS 633431 HAS SOUPS 633431 WITH SCORE 634127.835
AT ITER 5010 NEW BEST:: SOT 4392053 SOS 696835 HAS SOPS 696835 HAS SOUS 633325 HAS SOUPS 633325 WITH SCORE 634021.835
AT ITER 5028 NEW BEST:: SOT 4392023 SOS 696478 HAS SOPS 696478 HAS SOUS 633025 HAS SOUPS 633025 WITH SCORE 633721.478
AT ITER 5033 NEW BEST:: SOT 4391894 SOS 696349 HAS SOPS 696349 HAS SOUS 633025 HAS SOUPS 633025 WITH SCORE 633721.349
AT ITER 5035 NEW BEST:: SOT 4391784 SOS 696301 HAS SOPS 696301 HAS SOUS 632918 HAS SOUPS 632918 WITH SCORE 633614.301
AT ITER 5047 NEW BEST:: SOT 4391768 SOS 696269 HAS SOPS 696269 HAS SOUS 632886 HAS SOUPS 632886 WITH SCORE 633582.269
AT ITER 5142 NEW BEST:: SOT 4391556 SOS 696269 HAS SOPS 696269 HAS SOUS 632780 HAS SOUPS 632780 WITH SCORE 633476.269
AT ITER 5193 NEW BEST:: SOT 4391510 SOS 695873 HAS SOPS 695873 HAS SOUS 632475 HAS SOUPS 632475 WITH SCORE 633170.873
AT ITER 5205 NEW BEST:: SOT 4391458 SOS 695769 HAS SOPS 695769 HAS SOUS 632371 HAS SOUPS 632371 WITH SCORE 633066.769
AT ITER 5210 NEW BEST:: SOT 4391383 SOS 695694 HAS SOPS 695694 HAS SOUS 632296 HAS SOUPS 632296 WITH SCORE 632991.694
AT ITER 5216 NEW BEST:: SOT 4391383 SOS 695580 HAS SOPS 695580 HAS SOUS 632182 HAS SOUPS 632182 WITH SCORE 632877.58
AT ITER 5242 NEW BEST:: SOT 4391127 SOS 695068 HAS SOPS 695068 HAS SOUS 631670 HAS SOUPS 631670 WITH SCORE 632365.068
AT ITER 5261 NEW BEST:: SOT 4390977 SOS 694933 HAS SOPS 694933 HAS SOUS 631557 HAS SOUPS 631557 WITH SCORE 632251.933
AT ITER 5283 NEW BEST:: SOT 4390885 SOS 694749 HAS SOPS 694749 HAS SOUS 631373 HAS SOUPS 631373 WITH SCORE 632067.749
AT ITER 5289 NEW BEST:: SOT 4390668 SOS 694100 HAS SOPS 694100 HAS SOUS 630734 HAS SOUPS 630734 WITH SCORE 631428.1
AT ITER 5295 NEW BEST:: SOT 4390659 SOS 694082 HAS SOPS 694082 HAS SOUS 630716 HAS SOUPS 630716 WITH SCORE 631410.082
AT ITER 5307 NEW BEST:: SOT 4390659 SOS 694082 HAS SOPS 694082 HAS SOUS 630642 HAS SOUPS 630642 WITH SCORE 631336.082
AT ITER 5348 NEW BEST:: SOT 4389898 SOS 694364 HAS SOPS 694364 HAS SOUS 630335 HAS SOUPS 630335 WITH SCORE 631029.364
AT ITER 5361 NEW BEST:: SOT 4389876 SOS 694320 HAS SOPS 694320 HAS SOUS 630302 HAS SOUPS 630302 WITH SCORE 630996.32
AT ITER 5378 NEW BEST:: SOT 4389787 SOS 693350 HAS SOPS 693350 HAS SOUS 630033 HAS SOUPS 630033 WITH SCORE 630726.35
AT ITER 5388 NEW BEST:: SOT 4389787 SOS 693350 HAS SOPS 693350 HAS SOUS 630023 HAS SOUPS 630023 WITH SCORE 630716.35
AT ITER 5399 NEW BEST:: SOT 4389673 SOS 693350 HAS SOPS 693350 HAS SOUS 629966 HAS SOUPS 629966 WITH SCORE 630659.35
AT ITER 5413 NEW BEST:: SOT 4389673 SOS 693350 HAS SOPS 693350 HAS SOUS 629963 HAS SOUPS 629963 WITH SCORE 630656.35
AT ITER 5416 NEW BEST:: SOT 4389452 SOS 692908 HAS SOPS 692908 HAS SOUS 629742 HAS SOUPS 629742 WITH SCORE 630434.908
AT ITER 5431 NEW BEST:: SOT 4389416 SOS 692836 HAS SOPS 692836 HAS SOUS 629670 HAS SOUPS 629670 WITH SCORE 630362.836
AT ITER 5442 NEW BEST:: SOT 4389241 SOS 692486 HAS SOPS 692486 HAS SOUS 629477 HAS SOUPS 629477 WITH SCORE 630169.486
AT ITER 5474 NEW BEST:: SOT 4389225 SOS 692454 HAS SOPS 692454 HAS SOUS 629444 HAS SOUPS 629444 WITH SCORE 630136.454
AT ITER 5488 NEW BEST:: SOT 4389191 SOS 692420 HAS SOPS 692420 HAS SOUS 629444 HAS SOUPS 629444 WITH SCORE 630136.42
AT ITER 5527 NEW BEST:: SOT 4389172 SOS 692382 HAS SOPS 692382 HAS SOUS 629406 HAS SOUPS 629406 WITH SCORE 630098.382
AT ITER 5539 NEW BEST:: SOT 4389172 SOS 692382 HAS SOPS 692382 HAS SOUS 629405 HAS SOUPS 629405 WITH SCORE 630097.382
AT ITER 5542 NEW BEST:: SOT 4388978 SOS 691993 HAS SOPS 691993 HAS SOUS 628913 HAS SOUPS 628913 WITH SCORE 629604.993
AT ITER 5553 NEW BEST:: SOT 4388955 SOS 691989 HAS SOPS 691989 HAS SOUS 628909 HAS SOUPS 628909 WITH SCORE 629600.989
AT ITER 5559 NEW BEST:: SOT 4388931 SOS 691941 HAS SOPS 691941 HAS SOUS 628781 HAS SOUPS 628781 WITH SCORE 629472.941
AT ITER 5563 NEW BEST:: SOT 4389005 SOS 692089 HAS SOPS 692089 HAS SOUS 628612 HAS SOUPS 628612 WITH SCORE 629304.089
AT ITER 5587 NEW BEST:: SOT 4387588 SOS 712775 HAS SOPS 712775 HAS SOUS 628281 HAS SOUPS 628281 WITH SCORE 628993.775
AT ITER 5603 NEW BEST:: SOT 4387339 SOS 712277 HAS SOPS 712277 HAS SOUS 628190 HAS SOUPS 628190 WITH SCORE 628902.277
AT ITER 5629 NEW BEST:: SOT 4387278 SOS 712155 HAS SOPS 712155 HAS SOUS 628068 HAS SOUPS 628068 WITH SCORE 628780.155
AT ITER 5634 NEW BEST:: SOT 4387089 SOS 711536 HAS SOPS 711536 HAS SOUS 627690 HAS SOUPS 627690 WITH SCORE 628401.536
AT ITER 5661 NEW BEST:: SOT 4387069 SOS 711496 HAS SOPS 711496 HAS SOUS 627650 HAS SOUPS 627650 WITH SCORE 628361.496
AT ITER 5671 NEW BEST:: SOT 4387015 SOS 711515 HAS SOPS 711515 HAS SOUS 627605 HAS SOUPS 627605 WITH SCORE 628316.515
AT ITER 5716 NEW BEST:: SOT 4387015 SOS 711514 HAS SOPS 711514 HAS SOUS 627604 HAS SOUPS 627604 WITH SCORE 628315.514
AT ITER 5761 NEW BEST:: SOT 4387001 SOS 711486 HAS SOPS 711486 HAS SOUS 627576 HAS SOUPS 627576 WITH SCORE 628287.486
AT ITER 5778 NEW BEST:: SOT 4386899 SOS 711350 HAS SOPS 711350 HAS SOUS 627440 HAS SOUPS 627440 WITH SCORE 628151.35
AT ITER 5793 NEW BEST:: SOT 4386741 SOS 711650 HAS SOPS 711650 HAS SOUS 627370 HAS SOUPS 627370 WITH SCORE 628081.65
AT ITER 5819 NEW BEST:: SOT 4386650 SOS 711468 HAS SOPS 711468 HAS SOUS 627188 HAS SOUPS 627188 WITH SCORE 627899.468
AT ITER 5829 NEW BEST:: SOT 4386302 SOS 711119 HAS SOPS 711119 HAS SOUS 627186 HAS SOUPS 627186 WITH SCORE 627897.119
AT ITER 5830 NEW BEST:: SOT 4386199 SOS 711119 HAS SOPS 711119 HAS SOUS 627083 HAS SOUPS 627083 WITH SCORE 627794.119
AT ITER 5842 NEW BEST:: SOT 4385826 SOS 710032 HAS SOPS 710032 HAS SOUS 626535 HAS SOUPS 626535 WITH SCORE 627245.032
AT ITER 5871 NEW BEST:: SOT 4385708 SOS 709914 HAS SOPS 709914 HAS SOUS 626417 HAS SOUPS 626417 WITH SCORE 627126.914
AT ITER 5887 NEW BEST:: SOT 4385706 SOS 709651 HAS SOPS 709651 HAS SOUS 626156 HAS SOUPS 626156 WITH SCORE 626865.651
AT ITER 5921 NEW BEST:: SOT 4385692 SOS 709340 HAS SOPS 709340 HAS SOUS 625859 HAS SOUPS 625859 WITH SCORE 626568.34
AT ITER 5963 NEW BEST:: SOT 4385692 SOS 709329 HAS SOPS 709329 HAS SOUS 625848 HAS SOUPS 625848 WITH SCORE 626557.329
AT ITER 5970 NEW BEST:: SOT 4385506 SOS 715230 HAS SOPS 715230 HAS SOUS 625776 HAS SOUPS 625776 WITH SCORE 626491.23
AT ITER 5983 NEW BEST:: SOT 4385272 SOS 721687 HAS SOPS 721687 HAS SOUS 625736 HAS SOUPS 625736 WITH SCORE 626457.687
AT ITER 5990 NEW BEST:: SOT 4385079 SOS 721592 HAS SOPS 721592 HAS SOUS 625641 HAS SOUPS 625641 WITH SCORE 626362.592
AT ITER 6040 NEW BEST:: SOT 4385078 SOS 721731 HAS SOPS 721731 HAS SOUS 625639 HAS SOUPS 625639 WITH SCORE 626360.731
AT ITER 6062 NEW BEST:: SOT 4385078 SOS 721684 HAS SOPS 721684 HAS SOUS 625638 HAS SOUPS 625638 WITH SCORE 626359.684
AT ITER 6131 NEW BEST:: SOT 4385078 SOS 721585 HAS SOPS 721585 HAS SOUS 625638 HAS SOUPS 625638 WITH SCORE 626359.585
AT ITER 6139 NEW BEST:: SOT 4385064 SOS 721557 HAS SOPS 721557 HAS SOUS 625610 HAS SOUPS 625610 WITH SCORE 626331.557
AT ITER 6154 NEW BEST:: SOT 4384968 SOS 721365 HAS SOPS 721365 HAS SOUS 625418 HAS SOUPS 625418 WITH SCORE 626139.365
AT ITER 6164 NEW BEST:: SOT 4384950 SOS 721415 HAS SOPS 721415 HAS SOUS 625415 HAS SOUPS 625415 WITH SCORE 626136.415
AT ITER 6197 NEW BEST:: SOT 4384929 SOS 721373 HAS SOPS 721373 HAS SOUS 625394 HAS SOUPS 625394 WITH SCORE 626115.373
AT ITER 6200 NEW BEST:: SOT 4384929 SOS 721197 HAS SOPS 721197 HAS SOUS 625218 HAS SOUPS 625218 WITH SCORE 625939.197
AT ITER 6218 NEW BEST:: SOT 4384735 SOS 720809 HAS SOPS 720809 HAS SOUS 624830 HAS SOUPS 624830 WITH SCORE 625550.809
AT ITER 6223 NEW BEST:: SOT 4384629 SOS 720703 HAS SOPS 720703 HAS SOUS 624724 HAS SOUPS 624724 WITH SCORE 625444.703
AT ITER 6244 NEW BEST:: SOT 4384784 SOS 721012 HAS SOPS 721012 HAS SOUS 624694 HAS SOUPS 624694 WITH SCORE 625415.012
AT ITER 6253 NEW BEST:: SOT 4383750 SOS 721704 HAS SOPS 721704 HAS SOUS 624224 HAS SOUPS 624224 WITH SCORE 624945.704
AT ITER 6255 NEW BEST:: SOT 4383750 SOS 721688 HAS SOPS 721688 HAS SOUS 624208 HAS SOUPS 624208 WITH SCORE 624929.688
AT ITER 6263 NEW BEST:: SOT 4383500 SOS 721188 HAS SOPS 721188 HAS SOUS 623708 HAS SOUPS 623708 WITH SCORE 624429.188
AT ITER 6268 NEW BEST:: SOT 4383371 SOS 721059 HAS SOPS 721059 HAS SOUS 623707 HAS SOUPS 623707 WITH SCORE 624428.059
AT ITER 6292 NEW BEST:: SOT 4383039 SOS 720653 HAS SOPS 720653 HAS SOUS 623266 HAS SOUPS 623266 WITH SCORE 623986.653
AT ITER 6299 NEW BEST:: SOT 4383003 SOS 720581 HAS SOPS 720581 HAS SOUS 623194 HAS SOUPS 623194 WITH SCORE 623914.581
AT ITER 6306 NEW BEST:: SOT 4379053 SOS 719563 HAS SOPS 719563 HAS SOUS 619567 HAS SOUPS 619567 WITH SCORE 620286.563
AT ITER 6312 NEW BEST:: SOT 4379010 SOS 719477 HAS SOPS 719477 HAS SOUS 619467 HAS SOUPS 619467 WITH SCORE 620186.477
AT ITER 6342 NEW BEST:: SOT 4378995 SOS 719447 HAS SOPS 719447 HAS SOUS 619437 HAS SOUPS 619437 WITH SCORE 620156.447
AT ITER 6359 NEW BEST:: SOT 4378438 SOS 722662 HAS SOPS 722662 HAS SOUS 619421 HAS SOUPS 619421 WITH SCORE 620143.662
AT ITER 6361 NEW BEST:: SOT 4378449 SOS 722537 HAS SOPS 722537 HAS SOUS 619296 HAS SOUPS 619296 WITH SCORE 620018.537
AT ITER 6365 NEW BEST:: SOT 4378435 SOS 722509 HAS SOPS 722509 HAS SOUS 619268 HAS SOUPS 619268 WITH SCORE 619990.509
AT ITER 6385 NEW BEST:: SOT 4378390 SOS 722478 HAS SOPS 722478 HAS SOUS 619237 HAS SOUPS 619237 WITH SCORE 619959.478
AT ITER 6387 NEW BEST:: SOT 4378390 SOS 722428 HAS SOPS 722428 HAS SOUS 619187 HAS SOUPS 619187 WITH SCORE 619909.428
AT ITER 6390 NEW BEST:: SOT 4378226 SOS 721847 HAS SOPS 721847 HAS SOUS 618859 HAS SOUPS 618859 WITH SCORE 619580.847
AT ITER 6391 NEW BEST:: SOT 4378214 SOS 721835 HAS SOPS 721835 HAS SOUS 618847 HAS SOUPS 618847 WITH SCORE 619568.835
AT ITER 6408 NEW BEST:: SOT 4378207 SOS 721821 HAS SOPS 721821 HAS SOUS 618833 HAS SOUPS 618833 WITH SCORE 619554.821
AT ITER 6413 NEW BEST:: SOT 4377876 SOS 721965 HAS SOPS 721965 HAS SOUS 618716 HAS SOUPS 618716 WITH SCORE 619437.965
AT ITER 6456 NEW BEST:: SOT 4377764 SOS 721941 HAS SOPS 721941 HAS SOUS 618604 HAS SOUPS 618604 WITH SCORE 619325.941
AT ITER 6478 NEW BEST:: SOT 4377756 SOS 721925 HAS SOPS 721925 HAS SOUS 618588 HAS SOUPS 618588 WITH SCORE 619309.925
AT ITER 6490 NEW BEST:: SOT 4377609 SOS 721795 HAS SOPS 721795 HAS SOUS 618441 HAS SOUPS 618441 WITH SCORE 619162.795
AT ITER 6491 NEW BEST:: SOT 4377476 SOS 721604 HAS SOPS 721604 HAS SOUS 618250 HAS SOUPS 618250 WITH SCORE 618971.604
AT ITER 6516 NEW BEST:: SOT 4377288 SOS 721228 HAS SOPS 721228 HAS SOUS 617874 HAS SOUPS 617874 WITH SCORE 618595.228
AT ITER 6546 NEW BEST:: SOT 4377257 SOS 721166 HAS SOPS 721166 HAS SOUS 617812 HAS SOUPS 617812 WITH SCORE 618533.166
AT ITER 6554 NEW BEST:: SOT 4377256 SOS 721164 HAS SOPS 721164 HAS SOUS 617810 HAS SOUPS 617810 WITH SCORE 618531.164
AT ITER 6571 NEW BEST:: SOT 4377181 SOS 721014 HAS SOPS 721014 HAS SOUS 617733 HAS SOUPS 617733 WITH SCORE 618454.014
AT ITER 6577 NEW BEST:: SOT 4376753 SOS 720158 HAS SOPS 720158 HAS SOUS 617269 HAS SOUPS 617269 WITH SCORE 617989.158
AT ITER 6588 NEW BEST:: SOT 4376753 SOS 720046 HAS SOPS 720046 HAS SOUS 617269 HAS SOUPS 617269 WITH SCORE 617989.046
AT ITER 6592 NEW BEST:: SOT 4376736 SOS 720012 HAS SOPS 720012 HAS SOUS 617235 HAS SOUPS 617235 WITH SCORE 617955.012
AT ITER 6624 NEW BEST:: SOT 4376565 SOS 719876 HAS SOPS 719876 HAS SOUS 616858 HAS SOUPS 616858 WITH SCORE 617577.876
AT ITER 6625 NEW BEST:: SOT 4376233 SOS 719649 HAS SOPS 719649 HAS SOUS 616789 HAS SOUPS 616789 WITH SCORE 617508.649
AT ITER 6634 NEW BEST:: SOT 4376233 SOS 719479 HAS SOPS 719479 HAS SOUS 616619 HAS SOUPS 616619 WITH SCORE 617338.479
AT ITER 6659 NEW BEST:: SOT 4376667 SOS 720347 HAS SOPS 720347 HAS SOUS 616567 HAS SOUPS 616567 WITH SCORE 617287.347
AT ITER 6663 NEW BEST:: SOT 4376643 SOS 720518 HAS SOPS 720518 HAS SOUS 616543 HAS SOUPS 616543 WITH SCORE 617263.518
AT ITER 6691 NEW BEST:: SOT 4376544 SOS 720320 HAS SOPS 720320 HAS SOUS 616151 HAS SOUPS 616151 WITH SCORE 616871.32
AT ITER 6692 NEW BEST:: SOT 4376284 SOS 719800 HAS SOPS 719800 HAS SOUS 615891 HAS SOUPS 615891 WITH SCORE 616610.8
AT ITER 6724 NEW BEST:: SOT 4376284 SOS 719799 HAS SOPS 719799 HAS SOUS 615890 HAS SOUPS 615890 WITH SCORE 616609.799
AT ITER 6743 NEW BEST:: SOT 4376281 SOS 719793 HAS SOPS 719793 HAS SOUS 615884 HAS SOUPS 615884 WITH SCORE 616603.793
AT ITER 6746 NEW BEST:: SOT 4376435 SOS 720101 HAS SOPS 720101 HAS SOUS 615870 HAS SOUPS 615870 WITH SCORE 616590.101
AT ITER 6750 NEW BEST:: SOT 4376491 SOS 720213 HAS SOPS 720213 HAS SOUS 615810 HAS SOUPS 615810 WITH SCORE 616530.213
AT ITER 6762 NEW BEST:: SOT 4376401 SOS 720033 HAS SOPS 720033 HAS SOUS 615647 HAS SOUPS 615647 WITH SCORE 616367.033
AT ITER 6778 NEW BEST:: SOT 4376155 SOS 719541 HAS SOPS 719541 HAS SOUS 615444 HAS SOUPS 615444 WITH SCORE 616163.541
AT ITER 6782 NEW BEST:: SOT 4376135 SOS 719409 HAS SOPS 719409 HAS SOUS 615385 HAS SOUPS 615385 WITH SCORE 616104.409
AT ITER 6799 NEW BEST:: SOT 4376135 SOS 719289 HAS SOPS 719289 HAS SOUS 615385 HAS SOUPS 615385 WITH SCORE 616104.289
AT ITER 6814 NEW BEST:: SOT 4376134 SOS 719287 HAS SOPS 719287 HAS SOUS 615383 HAS SOUPS 615383 WITH SCORE 616102.287
AT ITER 6821 NEW BEST:: SOT 4376137 SOS 719103 HAS SOPS 719103 HAS SOUS 615199 HAS SOUPS 615199 WITH SCORE 615918.103
AT ITER 6825 NEW BEST:: SOT 4376137 SOS 719103 HAS SOPS 719103 HAS SOUS 615198 HAS SOUPS 615198 WITH SCORE 615917.103
AT ITER 6846 NEW BEST:: SOT 4375647 SOS 718753 HAS SOPS 718753 HAS SOUS 614808 HAS SOUPS 614808 WITH SCORE 615526.753
AT ITER 6895 NEW BEST:: SOT 4375252 SOS 717963 HAS SOPS 717963 HAS SOUS 614413 HAS SOUPS 614413 WITH SCORE 615130.963
AT ITER 6916 NEW BEST:: SOT 4375177 SOS 717813 HAS SOPS 717813 HAS SOUS 614263 HAS SOUPS 614263 WITH SCORE 614980.813
AT ITER 6924 NEW BEST:: SOT 4375679 SOS 717783 HAS SOPS 717783 HAS SOUS 614250 HAS SOUPS 614250 WITH SCORE 614967.783
AT ITER 6925 NEW BEST:: SOT 4375501 SOS 717427 HAS SOPS 717427 HAS SOUS 613893 HAS SOUPS 613893 WITH SCORE 614610.427
AT ITER 6932 NEW BEST:: SOT 4375501 SOS 717404 HAS SOPS 717404 HAS SOUS 613893 HAS SOUPS 613893 WITH SCORE 614610.404
AT ITER 6935 NEW BEST:: SOT 4375200 SOS 716983 HAS SOPS 716983 HAS SOUS 613472 HAS SOUPS 613472 WITH SCORE 614188.983
AT ITER 6963 NEW BEST:: SOT 4375119 SOS 716821 HAS SOPS 716821 HAS SOUS 613310 HAS SOUPS 613310 WITH SCORE 614026.821
AT ITER 6964 NEW BEST:: SOT 4375119 SOS 716821 HAS SOPS 716821 HAS SOUS 613304 HAS SOUPS 613304 WITH SCORE 614020.821
AT ITER 6997 NEW BEST:: SOT 4375119 SOS 716792 HAS SOPS 716792 HAS SOUS 613304 HAS SOUPS 613304 WITH SCORE 614020.792
AT ITER 7019 NEW BEST:: SOT 4375043 SOS 716792 HAS SOPS 716792 HAS SOUS 613266 HAS SOUPS 613266 WITH SCORE 613982.792
AT ITER 7044 NEW BEST:: SOT 4374824 SOS 716354 HAS SOPS 716354 HAS SOUS 613083 HAS SOUPS 613083 WITH SCORE 613799.354
AT ITER 7146 NEW BEST:: SOT 4374824 SOS 715869 HAS SOPS 715869 HAS SOUS 613083 HAS SOUPS 613083 WITH SCORE 613798.869
AT ITER 7178 NEW BEST:: SOT 4374797 SOS 715815 HAS SOPS 715815 HAS SOUS 613056 HAS SOUPS 613056 WITH SCORE 613771.815
AT ITER 7188 NEW BEST:: SOT 4374797 SOS 715507 HAS SOPS 715507 HAS SOUS 613055 HAS SOUPS 613055 WITH SCORE 613770.507
AT ITER 7212 NEW BEST:: SOT 4374605 SOS 715813 HAS SOPS 715813 HAS SOUS 613036 HAS SOUPS 613036 WITH SCORE 613751.813
AT ITER 7216 NEW BEST:: SOT 4374604 SOS 715811 HAS SOPS 715811 HAS SOUS 613034 HAS SOUPS 613034 WITH SCORE 613749.811
AT ITER 7258 NEW BEST:: SOT 4374535 SOS 715673 HAS SOPS 715673 HAS SOUS 612965 HAS SOUPS 612965 WITH SCORE 613680.673
AT ITER 7261 NEW BEST:: SOT 4374597 SOS 715787 HAS SOPS 715787 HAS SOUS 612878 HAS SOUPS 612878 WITH SCORE 613593.787
AT ITER 7274 NEW BEST:: SOT 4374535 SOS 715517 HAS SOPS 715517 HAS SOUS 612816 HAS SOUPS 612816 WITH SCORE 613531.517
AT ITER 7303 NEW BEST:: SOT 4374364 SOS 715503 HAS SOPS 715503 HAS SOUS 612474 HAS SOUPS 612474 WITH SCORE 613189.503
AT ITER 7313 NEW BEST:: SOT 4374532 SOS 715488 HAS SOPS 715488 HAS SOUS 612291 HAS SOUPS 612291 WITH SCORE 613006.488
AT ITER 7320 NEW BEST:: SOT 4374532 SOS 715468 HAS SOPS 715468 HAS SOUS 611984 HAS SOUPS 611984 WITH SCORE 612699.468
AT ITER 7335 NEW BEST:: SOT 4374532 SOS 715405 HAS SOPS 715405 HAS SOUS 611921 HAS SOUPS 611921 WITH SCORE 612636.405
AT ITER 7336 NEW BEST:: SOT 4371450 SOS 746057 HAS SOPS 746057 HAS SOUS 610151 HAS SOUPS 610151 WITH SCORE 610897.057
AT ITER 7391 NEW BEST:: SOT 4365472 SOS 740257 HAS SOPS 740257 HAS SOUS 604350 HAS SOUPS 604350 WITH SCORE 605090.257
AT ITER 7395 NEW BEST:: SOT 4365450 SOS 740205 HAS SOPS 740205 HAS SOUS 604296 HAS SOUPS 604296 WITH SCORE 605036.205
AT ITER 7421 NEW BEST:: SOT 4365361 SOS 740482 HAS SOPS 740482 HAS SOUS 604250 HAS SOUPS 604250 WITH SCORE 604990.482
AT ITER 7442 NEW BEST:: SOT 4365306 SOS 740739 HAS SOPS 740739 HAS SOUS 604195 HAS SOUPS 604195 WITH SCORE 604935.739
AT ITER 7473 NEW BEST:: SOT 4365090 SOS 714368 HAS SOPS 714368 HAS SOUS 603763 HAS SOUPS 603763 WITH SCORE 604477.368
AT ITER 7480 NEW BEST:: SOT 4365077 SOS 714342 HAS SOPS 714342 HAS SOUS 603750 HAS SOUPS 603750 WITH SCORE 604464.342
AT ITER 7481 NEW BEST:: SOT 4365059 SOS 714306 HAS SOPS 714306 HAS SOUS 603714 HAS SOUPS 603714 WITH SCORE 604428.306
AT ITER 7484 NEW BEST:: SOT 4364777 SOS 714306 HAS SOPS 714306 HAS SOUS 603573 HAS SOUPS 603573 WITH SCORE 604287.306
AT ITER 7485 NEW BEST:: SOT 4364774 SOS 714302 HAS SOPS 714302 HAS SOUS 603569 HAS SOUPS 603569 WITH SCORE 604283.302
AT ITER 7488 NEW BEST:: SOT 4364738 SOS 714230 HAS SOPS 714230 HAS SOUS 603532 HAS SOUPS 603532 WITH SCORE 604246.23
AT ITER 7494 NEW BEST:: SOT 4364736 SOS 714226 HAS SOPS 714226 HAS SOUS 603528 HAS SOUPS 603528 WITH SCORE 604242.226
AT ITER 7522 NEW BEST:: SOT 4364736 SOS 714225 HAS SOPS 714225 HAS SOUS 603527 HAS SOUPS 603527 WITH SCORE 604241.225
AT ITER 7542 NEW BEST:: SOT 4364728 SOS 714221 HAS SOPS 714221 HAS SOUS 603519 HAS SOUPS 603519 WITH SCORE 604233.221
AT ITER 7550 NEW BEST:: SOT 4364513 SOS 713791 HAS SOPS 713791 HAS SOUS 603304 HAS SOUPS 603304 WITH SCORE 604017.791
AT ITER 7563 NEW BEST:: SOT 4364453 SOS 713806 HAS SOPS 713806 HAS SOUS 603259 HAS SOUPS 603259 WITH SCORE 603972.806
AT ITER 7582 NEW BEST:: SOT 4364513 SOS 713926 HAS SOPS 713926 HAS SOUS 602924 HAS SOUPS 602924 WITH SCORE 603637.926
AT ITER 7595 NEW BEST:: SOT 4364568 SOS 712514 HAS SOPS 712514 HAS SOUS 602360 HAS SOUPS 602360 WITH SCORE 603072.514
AT ITER 7597 NEW BEST:: SOT 4364423 SOS 712224 HAS SOPS 712224 HAS SOUS 602204 HAS SOUPS 602204 WITH SCORE 602916.224
AT ITER 7610 NEW BEST:: SOT 4364419 SOS 712216 HAS SOPS 712216 HAS SOUS 602196 HAS SOUPS 602196 WITH SCORE 602908.216
AT ITER 7613 NEW BEST:: SOT 4364418 SOS 712214 HAS SOPS 712214 HAS SOUS 602194 HAS SOUPS 602194 WITH SCORE 602906.214
AT ITER 7627 NEW BEST:: SOT 4364415 SOS 712205 HAS SOPS 712205 HAS SOUS 602191 HAS SOUPS 602191 WITH SCORE 602903.205
AT ITER 7629 NEW BEST:: SOT 4364366 SOS 712107 HAS SOPS 712107 HAS SOUS 602093 HAS SOUPS 602093 WITH SCORE 602805.107
AT ITER 7650 NEW BEST:: SOT 4364207 SOS 711789 HAS SOPS 711789 HAS SOUS 601924 HAS SOUPS 601924 WITH SCORE 602635.789
AT ITER 7676 NEW BEST:: SOT 4364206 SOS 711787 HAS SOPS 711787 HAS SOUS 601922 HAS SOUPS 601922 WITH SCORE 602633.787
AT ITER 7689 NEW BEST:: SOT 4364180 SOS 711761 HAS SOPS 711761 HAS SOUS 601896 HAS SOUPS 601896 WITH SCORE 602607.761
AT ITER 7694 NEW BEST:: SOT 4364149 SOS 711834 HAS SOPS 711834 HAS SOUS 601865 HAS SOUPS 601865 WITH SCORE 602576.834
AT ITER 7712 NEW BEST:: SOT 4364093 SOS 711722 HAS SOPS 711722 HAS SOUS 601753 HAS SOUPS 601753 WITH SCORE 602464.722
AT ITER 7763 NEW BEST:: SOT 4363790 SOS 711116 HAS SOPS 711116 HAS SOUS 601147 HAS SOUPS 601147 WITH SCORE 601858.116
AT ITER 7828 NEW BEST:: SOT 4363525 SOS 710586 HAS SOPS 710586 HAS SOUS 600617 HAS SOUPS 600617 WITH SCORE 601327.586
AT ITER 7832 NEW BEST:: SOT 4363119 SOS 710968 HAS SOPS 710968 HAS SOUS 600211 HAS SOUPS 600211 WITH SCORE 600921.968
AT ITER 7846 NEW BEST:: SOT 4363113 SOS 710956 HAS SOPS 710956 HAS SOUS 600199 HAS SOUPS 600199 WITH SCORE 600909.956
AT ITER 7854 NEW BEST:: SOT 4362865 SOS 710731 HAS SOPS 710731 HAS SOUS 599963 HAS SOUPS 599963 WITH SCORE 600673.731
AT ITER 7864 NEW BEST:: SOT 4362865 SOS 710731 HAS SOPS 710731 HAS SOUS 599787 HAS SOUPS 599787 WITH SCORE 600497.731
AT ITER 7869 NEW BEST:: SOT 4362864 SOS 710729 HAS SOPS 710729 HAS SOUS 599785 HAS SOUPS 599785 WITH SCORE 600495.729
AT ITER 7872 NEW BEST:: SOT 4362748 SOS 710613 HAS SOPS 710613 HAS SOUS 599669 HAS SOUPS 599669 WITH SCORE 600379.613
AT ITER 7903 NEW BEST:: SOT 4362412 SOS 709941 HAS SOPS 709941 HAS SOUS 599395 HAS SOUPS 599395 WITH SCORE 600104.941
AT ITER 7911 NEW BEST:: SOT 4362259 SOS 709635 HAS SOPS 709635 HAS SOUS 599242 HAS SOUPS 599242 WITH SCORE 599951.635
AT ITER 7944 NEW BEST:: SOT 4362185 SOS 709487 HAS SOPS 709487 HAS SOUS 599094 HAS SOUPS 599094 WITH SCORE 599803.487
AT ITER 7977 NEW BEST:: SOT 4362167 SOS 709451 HAS SOPS 709451 HAS SOUS 599058 HAS SOUPS 599058 WITH SCORE 599767.451
AT ITER 7980 NEW BEST:: SOT 4362230 SOS 709391 HAS SOPS 709391 HAS SOUS 599028 HAS SOUPS 599028 WITH SCORE 599737.391
AT ITER 8001 NEW BEST:: SOT 4362109 SOS 709149 HAS SOPS 709149 HAS SOUS 598786 HAS SOUPS 598786 WITH SCORE 599495.149
AT ITER 8016 NEW BEST:: SOT 4362081 SOS 709093 HAS SOPS 709093 HAS SOUS 598627 HAS SOUPS 598627 WITH SCORE 599336.093
AT ITER 8043 NEW BEST:: SOT 4361926 SOS 708488 HAS SOPS 708488 HAS SOUS 598610 HAS SOUPS 598610 WITH SCORE 599318.488
AT ITER 8044 NEW BEST:: SOT 4361632 SOS 707606 HAS SOPS 707606 HAS SOUS 598022 HAS SOUPS 598022 WITH SCORE 598729.606
AT ITER 8057 NEW BEST:: SOT 4361588 SOS 707518 HAS SOPS 707518 HAS SOUS 597934 HAS SOUPS 597934 WITH SCORE 598641.518
AT ITER 8160 NEW BEST:: SOT 4361141 SOS 706624 HAS SOPS 706624 HAS SOUS 597214 HAS SOUPS 597214 WITH SCORE 597920.624
AT ITER 8165 NEW BEST:: SOT 4361103 SOS 706548 HAS SOPS 706548 HAS SOUS 597176 HAS SOUPS 597176 WITH SCORE 597882.548
AT ITER 8184 NEW BEST:: SOT 4361099 SOS 706540 HAS SOPS 706540 HAS SOUS 597168 HAS SOUPS 597168 WITH SCORE 597874.54
AT ITER 8185 NEW BEST:: SOT 4361099 SOS 706540 HAS SOPS 706540 HAS SOUS 597163 HAS SOUPS 597163 WITH SCORE 597869.54
AT ITER 8234 NEW BEST:: SOT 4361095 SOS 706532 HAS SOPS 706532 HAS SOUS 597159 HAS SOUPS 597159 WITH SCORE 597865.532
AT ITER 8243 NEW BEST:: SOT 4360829 SOS 706000 HAS SOPS 706000 HAS SOUS 596760 HAS SOUPS 596760 WITH SCORE 597466.0
AT ITER 8247 NEW BEST:: SOT 4360677 SOS 705983 HAS SOPS 705983 HAS SOUS 596713 HAS SOUPS 596713 WITH SCORE 597418.983
AT ITER 8259 NEW BEST:: SOT 4360607 SOS 705913 HAS SOPS 705913 HAS SOUS 596643 HAS SOUPS 596643 WITH SCORE 597348.913
AT ITER 8270 NEW BEST:: SOT 4360579 SOS 705857 HAS SOPS 705857 HAS SOUS 596615 HAS SOUPS 596615 WITH SCORE 597320.857
AT ITER 8294 NEW BEST:: SOT 4360550 SOS 705828 HAS SOPS 705828 HAS SOUS 596586 HAS SOUPS 596586 WITH SCORE 597291.828
AT ITER 8300 NEW BEST:: SOT 4360571 SOS 705870 HAS SOPS 705870 HAS SOUS 596519 HAS SOUPS 596519 WITH SCORE 597224.87
AT ITER 8386 NEW BEST:: SOT 4360296 SOS 705602 HAS SOPS 705602 HAS SOUS 596251 HAS SOUPS 596251 WITH SCORE 596956.602
AT ITER 8389 NEW BEST:: SOT 4359934 SOS 705240 HAS SOPS 705240 HAS SOUS 595708 HAS SOUPS 595708 WITH SCORE 596413.24
AT ITER 8403 NEW BEST:: SOT 4359691 SOS 704754 HAS SOPS 704754 HAS SOUS 595222 HAS SOUPS 595222 WITH SCORE 595926.754
AT ITER 8445 NEW BEST:: SOT 4359295 SOS 704358 HAS SOPS 704358 HAS SOUS 594628 HAS SOUPS 594628 WITH SCORE 595332.358
AT ITER 8454 NEW BEST:: SOT 4359295 SOS 704177 HAS SOPS 704177 HAS SOUS 594538 HAS SOUPS 594538 WITH SCORE 595242.177
AT ITER 8467 NEW BEST:: SOT 4359295 SOS 704151 HAS SOPS 704151 HAS SOUS 594538 HAS SOUPS 594538 WITH SCORE 595242.151
AT ITER 8486 NEW BEST:: SOT 4359275 SOS 704151 HAS SOPS 704151 HAS SOUS 594518 HAS SOUPS 594518 WITH SCORE 595222.151
AT ITER 8494 NEW BEST:: SOT 4359054 SOS 703709 HAS SOPS 703709 HAS SOUS 594118 HAS SOUPS 594118 WITH SCORE 594821.709
AT ITER 8497 NEW BEST:: SOT 4358958 SOS 703517 HAS SOPS 703517 HAS SOUS 593830 HAS SOUPS 593830 WITH SCORE 594533.517
AT ITER 8551 NEW BEST:: SOT 4358958 SOS 703517 HAS SOPS 703517 HAS SOUS 593700 HAS SOUPS 593700 WITH SCORE 594403.517
AT ITER 8558 NEW BEST:: SOT 4358958 SOS 703502 HAS SOPS 703502 HAS SOUS 593685 HAS SOUPS 593685 WITH SCORE 594388.502
AT ITER 8578 NEW BEST:: SOT 4358668 SOS 703212 HAS SOPS 703212 HAS SOUS 593395 HAS SOUPS 593395 WITH SCORE 594098.212
AT ITER 8626 NEW BEST:: SOT 4358496 SOS 702868 HAS SOPS 702868 HAS SOUS 593051 HAS SOUPS 593051 WITH SCORE 593753.868
AT ITER 8649 NEW BEST:: SOT 4358197 SOS 702270 HAS SOPS 702270 HAS SOUS 592453 HAS SOUPS 592453 WITH SCORE 593155.27
AT ITER 8652 NEW BEST:: SOT 4358253 SOS 699778 HAS SOPS 699778 HAS SOUS 592447 HAS SOUPS 592447 WITH SCORE 593146.778
AT ITER 8653 NEW BEST:: SOT 4358253 SOS 699769 HAS SOPS 699769 HAS SOUS 592438 HAS SOUPS 592438 WITH SCORE 593137.769
AT ITER 8660 NEW BEST:: SOT 4358253 SOS 699624 HAS SOPS 699624 HAS SOUS 592375 HAS SOUPS 592375 WITH SCORE 593074.624
AT ITER 8716 NEW BEST:: SOT 4358155 SOS 699526 HAS SOPS 699526 HAS SOUS 592375 HAS SOUPS 592375 WITH SCORE 593074.526
AT ITER 8781 NEW BEST:: SOT 4358085 SOS 699386 HAS SOPS 699386 HAS SOUS 592235 HAS SOUPS 592235 WITH SCORE 592934.386
AT ITER 8801 NEW BEST:: SOT 4358088 SOS 699392 HAS SOPS 699392 HAS SOUS 592014 HAS SOUPS 592014 WITH SCORE 592713.392
AT ITER 8810 NEW BEST:: SOT 4358165 SOS 699546 HAS SOPS 699546 HAS SOUS 591921 HAS SOUPS 591921 WITH SCORE 592620.546
AT ITER 8873 NEW BEST:: SOT 4358128 SOS 699112 HAS SOPS 699112 HAS SOUS 591865 HAS SOUPS 591865 WITH SCORE 592564.112
AT ITER 8882 NEW BEST:: SOT 4358124 SOS 699104 HAS SOPS 699104 HAS SOUS 591857 HAS SOUPS 591857 WITH SCORE 592556.104
AT ITER 8895 NEW BEST:: SOT 4358106 SOS 699068 HAS SOPS 699068 HAS SOUS 591821 HAS SOUPS 591821 WITH SCORE 592520.068
AT ITER 8903 NEW BEST:: SOT 4357890 SOS 698636 HAS SOPS 698636 HAS SOUS 591603 HAS SOUPS 591603 WITH SCORE 592301.636
AT ITER 8924 NEW BEST:: SOT 4357866 SOS 698612 HAS SOPS 698612 HAS SOUS 591579 HAS SOUPS 591579 WITH SCORE 592277.612
AT ITER 8938 NEW BEST:: SOT 4357847 SOS 698574 HAS SOPS 698574 HAS SOUS 591541 HAS SOUPS 591541 WITH SCORE 592239.574
AT ITER 8988 NEW BEST:: SOT 4357834 SOS 698548 HAS SOPS 698548 HAS SOUS 591515 HAS SOUPS 591515 WITH SCORE 592213.548
AT ITER 8989 NEW BEST:: SOT 4357800 SOS 698514 HAS SOPS 698514 HAS SOUS 591481 HAS SOUPS 591481 WITH SCORE 592179.514
AT ITER 9004 NEW BEST:: SOT 4357748 SOS 698587 HAS SOPS 698587 HAS SOUS 591460 HAS SOUPS 591460 WITH SCORE 592158.587
AT ITER 9005 NEW BEST:: SOT 4357747 SOS 698585 HAS SOPS 698585 HAS SOUS 591458 HAS SOUPS 591458 WITH SCORE 592156.585
AT ITER 9010 NEW BEST:: SOT 4357605 SOS 698301 HAS SOPS 698301 HAS SOUS 591174 HAS SOUPS 591174 WITH SCORE 591872.301
AT ITER 9023 NEW BEST:: SOT 4357605 SOS 698227 HAS SOPS 698227 HAS SOUS 591100 HAS SOUPS 591100 WITH SCORE 591798.227
AT ITER 9033 NEW BEST:: SOT 4357567 SOS 698151 HAS SOPS 698151 HAS SOUS 591027 HAS SOUPS 591027 WITH SCORE 591725.151
AT ITER 9041 NEW BEST:: SOT 4356682 SOS 699630 HAS SOPS 699630 HAS SOUS 590529 HAS SOUPS 590529 WITH SCORE 591228.63
AT ITER 9042 NEW BEST:: SOT 4356683 SOS 699551 HAS SOPS 699551 HAS SOUS 590491 HAS SOUPS 590491 WITH SCORE 591190.551
AT ITER 9057 NEW BEST:: SOT 4356652 SOS 699295 HAS SOPS 699295 HAS SOUS 590421 HAS SOUPS 590421 WITH SCORE 591120.295
AT ITER 9077 NEW BEST:: SOT 4356652 SOS 699232 HAS SOPS 699232 HAS SOUS 590420 HAS SOUPS 590420 WITH SCORE 591119.232
AT ITER 9092 NEW BEST:: SOT 4356602 SOS 699082 HAS SOPS 699082 HAS SOUS 590320 HAS SOUPS 590320 WITH SCORE 591019.082
AT ITER 9098 NEW BEST:: SOT 4356575 SOS 699028 HAS SOPS 699028 HAS SOUS 590239 HAS SOUPS 590239 WITH SCORE 590938.028
AT ITER 9100 NEW BEST:: SOT 4356539 SOS 698900 HAS SOPS 698900 HAS SOUS 590147 HAS SOUPS 590147 WITH SCORE 590845.9
AT ITER 9104 NEW BEST:: SOT 4356482 SOS 698898 HAS SOPS 698898 HAS SOUS 590145 HAS SOUPS 590145 WITH SCORE 590843.898
AT ITER 9118 NEW BEST:: SOT 4356434 SOS 698802 HAS SOPS 698802 HAS SOUS 590116 HAS SOUPS 590116 WITH SCORE 590814.802
AT ITER 9122 NEW BEST:: SOT 4356149 SOS 698460 HAS SOPS 698460 HAS SOUS 589774 HAS SOUPS 589774 WITH SCORE 590472.46
AT ITER 9128 NEW BEST:: SOT 4356178 SOS 698518 HAS SOPS 698518 HAS SOUS 589718 HAS SOUPS 589718 WITH SCORE 590416.518
AT ITER 9152 NEW BEST:: SOT 4356171 SOS 698504 HAS SOPS 698504 HAS SOUS 589638 HAS SOUPS 589638 WITH SCORE 590336.504
AT ITER 9157 NEW BEST:: SOT 4356170 SOS 698459 HAS SOPS 698459 HAS SOUS 589636 HAS SOUPS 589636 WITH SCORE 590334.459
AT ITER 9199 NEW BEST:: SOT 4356135 SOS 698445 HAS SOPS 698445 HAS SOUS 589601 HAS SOUPS 589601 WITH SCORE 590299.445
AT ITER 9220 NEW BEST:: SOT 4356134 SOS 698436 HAS SOPS 698436 HAS SOUS 589599 HAS SOUPS 589599 WITH SCORE 590297.436
AT ITER 9223 NEW BEST:: SOT 4356102 SOS 698404 HAS SOPS 698404 HAS SOUS 589567 HAS SOUPS 589567 WITH SCORE 590265.404
AT ITER 9304 NEW BEST:: SOT 4355995 SOS 698190 HAS SOPS 698190 HAS SOUS 589460 HAS SOUPS 589460 WITH SCORE 590158.19
AT ITER 9356 NEW BEST:: SOT 4356190 SOS 698174 HAS SOPS 698174 HAS SOUS 589452 HAS SOUPS 589452 WITH SCORE 590150.174
AT ITER 9357 NEW BEST:: SOT 4356086 SOS 698070 HAS SOPS 698070 HAS SOUS 589348 HAS SOUPS 589348 WITH SCORE 590046.07
AT ITER 9370 NEW BEST:: SOT 4356085 SOS 698013 HAS SOPS 698013 HAS SOUS 589346 HAS SOUPS 589346 WITH SCORE 590044.013
AT ITER 9371 NEW BEST:: SOT 4356051 SOS 697911 HAS SOPS 697911 HAS SOUS 589278 HAS SOUPS 589278 WITH SCORE 589975.911
AT ITER 9383 NEW BEST:: SOT 4356066 SOS 697876 HAS SOPS 697876 HAS SOUS 589243 HAS SOUPS 589243 WITH SCORE 589940.876
AT ITER 9416 NEW BEST:: SOT 4355994 SOS 697732 HAS SOPS 697732 HAS SOUS 589171 HAS SOUPS 589171 WITH SCORE 589868.732
AT ITER 9424 NEW BEST:: SOT 4355978 SOS 697716 HAS SOPS 697716 HAS SOUS 589155 HAS SOUPS 589155 WITH SCORE 589852.716
AT ITER 9459 NEW BEST:: SOT 4355978 SOS 697496 HAS SOPS 697496 HAS SOUS 589155 HAS SOUPS 589155 WITH SCORE 589852.496
AT ITER 9463 NEW BEST:: SOT 4355978 SOS 697496 HAS SOPS 697496 HAS SOUS 589124 HAS SOUPS 589124 WITH SCORE 589821.496
AT ITER 9474 NEW BEST:: SOT 4355978 SOS 697496 HAS SOPS 697496 HAS SOUS 589123 HAS SOUPS 589123 WITH SCORE 589820.496
AT ITER 9559 NEW BEST:: SOT 4355983 SOS 697506 HAS SOPS 697506 HAS SOUS 589113 HAS SOUPS 589113 WITH SCORE 589810.506
AT ITER 9590 NEW BEST:: SOT 4356116 SOS 697480 HAS SOPS 697480 HAS SOUS 589087 HAS SOUPS 589087 WITH SCORE 589784.48
AT ITER 9610 NEW BEST:: SOT 4356116 SOS 697471 HAS SOPS 697471 HAS SOUS 589087 HAS SOUPS 589087 WITH SCORE 589784.471
AT ITER 9612 NEW BEST:: SOT 4356070 SOS 697168 HAS SOPS 697168 HAS SOUS 588995 HAS SOUPS 588995 WITH SCORE 589692.168
AT ITER 9645 NEW BEST:: SOT 4355949 SOS 697306 HAS SOPS 697306 HAS SOUS 588964 HAS SOUPS 588964 WITH SCORE 589661.306
AT ITER 9652 NEW BEST:: SOT 4355949 SOS 697234 HAS SOPS 697234 HAS SOUS 588964 HAS SOUPS 588964 WITH SCORE 589661.234
AT ITER 9691 NEW BEST:: SOT 4355934 SOS 697204 HAS SOPS 697204 HAS SOUS 588934 HAS SOUPS 588934 WITH SCORE 589631.204
AT ITER 9700 NEW BEST:: SOT 4355912 SOS 697160 HAS SOPS 697160 HAS SOUS 588890 HAS SOUPS 588890 WITH SCORE 589587.16
AT ITER 9714 NEW BEST:: SOT 4355850 SOS 697067 HAS SOPS 697067 HAS SOUS 588797 HAS SOUPS 588797 WITH SCORE 589494.067
AT ITER 9731 NEW BEST:: SOT 4355787 SOS 696941 HAS SOPS 696941 HAS SOUS 588671 HAS SOUPS 588671 WITH SCORE 589367.941
AT ITER 9789 NEW BEST:: SOT 4355508 SOS 697773 HAS SOPS 697773 HAS SOUS 588670 HAS SOUPS 588670 WITH SCORE 589367.773
AT ITER 9800 NEW BEST:: SOT 4355456 SOS 697669 HAS SOPS 697669 HAS SOUS 588449 HAS SOUPS 588449 WITH SCORE 589146.669
AT ITER 9848 NEW BEST:: SOT 4355391 SOS 697061 HAS SOPS 697061 HAS SOUS 588286 HAS SOUPS 588286 WITH SCORE 588983.061
AT ITER 9894 NEW BEST:: SOT 4355391 SOS 697061 HAS SOPS 697061 HAS SOUS 588253 HAS SOUPS 588253 WITH SCORE 588950.061
AT ITER 9933 NEW BEST:: SOT 4355080 SOS 696439 HAS SOPS 696439 HAS SOUS 588253 HAS SOUPS 588253 WITH SCORE 588949.439
AT ITER 9956 NEW BEST:: SOT 4354503 SOS 695691 HAS SOPS 695691 HAS SOUS 587466 HAS SOUPS 587466 WITH SCORE 588161.691
AT ITER 9967 NEW BEST:: SOT 4354471 SOS 695627 HAS SOPS 695627 HAS SOUS 587434 HAS SOUPS 587434 WITH SCORE 588129.627

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-310"
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-310, 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-158902541700080"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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